conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 0
[140210403084096] time: real 9.12649 user 9.12528 sys 0
result: 11866.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 1
[139923812079424] time: real 10.1729 user 10.1704 sys 0.001143
result: 11870.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 2
[140219789272896] time: real 9.47117 user 9.4685 sys 0.001409
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 3
[140240359999296] time: real 10.1341 user 10.132 sys 0.000777
result: 11587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 4
[139675095533376] time: real 10.2961 user 10.2947 sys 7.7e-05
result: 11826.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 5
[139720614557504] time: real 10.7228 user 10.7214 sys 0
result: 12110.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 6
[140525254195008] time: real 11.6165 user 11.6148 sys 0.000252
result: 12164.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 7
[140406655752000] time: real 10.1199 user 10.1186 sys 0
result: 11979.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 8
[140678133028672] time: real 10.3863 user 10.3849 sys 0
result: 12010.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 9
[140355750856512] time: real 11.468 user 11.4665 sys 0
result: 12355.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 10
[140378470729536] time: real 11.263 user 11.2615 sys 0
result: 11607.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 11
[139746197792576] time: real 10.8374 user 10.8357 sys 0.000286
result: 11747.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 12
[139681219831616] time: real 9.81507 user 9.81378 sys 0
result: 11963.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 13
[140202682308416] time: real 10.7642 user 10.7625 sys 0.000183
result: 12015.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 14
[140646111684416] time: real 9.71452 user 9.71305 sys 0.000189
result: 11799.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 15
[140195526592320] time: real 11.5857 user 11.5836 sys 0.00055
result: 12039.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 16
[139949546616640] time: real 10.725 user 10.7226 sys 0.00102
result: 12143.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 17
[140301643761472] time: real 11.0434 user 11.0415 sys 0.000469
result: 11721.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 18
[140365357487936] time: real 9.71089 user 9.70843 sys 0.001203
result: 11582.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 1, seed: 19
[140093438175040] time: real 10.6116 user 10.6102 sys 0
result: 11515.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 0
[139638536566592] time: real 4.66533 user 9.05103 sys 0
result: 11866.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 1
[140048494556992] time: real 5.16787 user 10.1847 sys 0
result: 11870.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 2
[140320458368832] time: real 5.18439 user 9.45595 sys 0.001108
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 3
[139719208941376] time: real 5.08187 user 10.1323 sys 0.001774
result: 11587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 4
[139765749794624] time: real 5.44276 user 10.2409 sys 0
result: 11826.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 5
[139894353016640] time: real 5.75763 user 10.7219 sys 0
result: 12110.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 6
[140217787955008] time: real 6.34655 user 11.6039 sys 0.000148
result: 12164.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 7
[140661824874304] time: real 5.15931 user 10.1298 sys 0.001
result: 11979.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 8
[140468961941312] time: real 5.77634 user 10.3671 sys 0.000147
result: 12010.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 9
[140303071078208] time: real 5.84808 user 11.4289 sys 0.000106
result: 12355.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 10
[140424465434432] time: real 6.11038 user 11.2431 sys 0.001126
result: 11607.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 11
[140335917254464] time: real 5.50884 user 10.8438 sys 0.000628
result: 11747.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 12
[139962112374592] time: real 5.0403 user 9.84021 sys 0.001044
result: 11963.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 13
[140289556686656] time: real 5.41521 user 10.7475 sys 0.001266
result: 12015.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 14
[139779997701952] time: real 4.92148 user 9.71012 sys 0.001661
result: 11799.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 15
[139743913432896] time: real 5.89337 user 11.5486 sys 0.003216
result: 12039.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 16
[140703695157056] time: real 5.45209 user 10.704 sys 0.001783
result: 12143.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 17
[140380171904832] time: real 5.60887 user 11.055 sys 0
result: 11721.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 18
[140541428778816] time: real 5.00425 user 9.69607 sys 0
result: 11582.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 2, seed: 19
[139993187903296] time: real 5.77101 user 10.6243 sys 0
result: 11515.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 0
[140427741972288] time: real 2.80856 user 9.97453 sys 0.000702
result: 11866.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 1
[139933085361984] time: real 3.31395 user 11.1485 sys 0.001969
result: 11870.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 2
[139986348754752] time: real 3.03072 user 10.3986 sys 0.001598
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 3
[139813302167360] time: real 2.98556 user 11.163 sys 0.001779
result: 11587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 4
[140188113012544] time: real 3.17841 user 11.2439 sys 0.001817
result: 11826.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 5
[140148791363392] time: real 3.27681 user 11.7793 sys 0.000771
result: 12110.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 6
[140233460442944] time: real 3.71375 user 12.7305 sys 0.001139
result: 12164.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 7
[139870661044032] time: real 3.08717 user 11.1391 sys 0.004649
result: 11979.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 8
[140186720094016] time: real 3.31259 user 11.3367 sys 0.002916
result: 12010.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 9
[140621423601472] time: real 3.32349 user 12.6679 sys 0
result: 12355.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 10
[140514932238144] time: real 3.45156 user 12.3112 sys 0.003795
result: 11607.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 11
[140106105493312] time: real 3.38942 user 11.8787 sys 0.00267
result: 11747.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 12
[140653688432448] time: real 2.98707 user 10.8315 sys 0.000131
result: 11963.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 13
[140703123265344] time: real 3.36606 user 11.7949 sys 0.001444
result: 12015.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 14
[140423626790720] time: real 2.80485 user 10.7568 sys 0.001315
result: 11799.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 15
[139672879875904] time: real 3.5895 user 12.7051 sys 0.002553
result: 12039.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 16
[139999249131328] time: real 3.17041 user 11.8509 sys 0.000144
result: 12143.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 17
[140384885462848] time: real 3.21389 user 12.1962 sys 0.005769
result: 11721.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 18
[140692811720512] time: real 2.96505 user 10.6564 sys 0.001581
result: 11582.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 4, seed: 19
[139848992700224] time: real 3.52333 user 11.5962 sys 0.001932
result: 11515.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 0
[140625702823744] time: real 2.84926 user 10.0307 sys 0.003391
result: 11866.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 1
[140177931970368] time: real 3.31731 user 11.1199 sys 0.005156
result: 11870.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 2
[140592263415616] time: real 3.01241 user 10.3903 sys 0.002106
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 3
[139695132448576] time: real 2.99682 user 11.2147 sys 0.0018
result: 11587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 4
[140217013282624] time: real 3.15857 user 11.2948 sys 0.00207
result: 11826.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 5
[140494676006720] time: real 3.29874 user 11.8089 sys 0.002419
result: 12110.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 6
[140526561400640] time: real 3.7459 user 12.7179 sys 0.002922
result: 12164.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 7
[140345948903232] time: real 3.07225 user 11.1023 sys 0.001213
result: 11979.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 8
[139908950198080] time: real 3.28904 user 11.3771 sys 0.00213
result: 12010.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 9
[140146712028992] time: real 3.25139 user 12.5952 sys 0.006285
result: 12355.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 10
[140645049620288] time: real 3.45567 user 12.3619 sys 0.001723
result: 11607.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 11
[140503249123136] time: real 3.36731 user 11.8934 sys 0.001873
result: 11747.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 12
[139927117387584] time: real 2.97202 user 10.8028 sys 0.00235
result: 11963.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 13
[139927662270272] time: real 3.36824 user 11.7861 sys 0.000528
result: 12015.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 14
[139863216301888] time: real 2.81522 user 10.8521 sys 0.005919
result: 11799.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 15
[140593262016320] time: real 3.56457 user 12.7326 sys 0.003036
result: 12039.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 16
[140030954215232] time: real 3.11753 user 11.8021 sys 0.001387
result: 12143.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 17
[140665007388480] time: real 3.20364 user 12.1871 sys 0.003246
result: 11721.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 18
[140272404596544] time: real 2.99207 user 10.638 sys 0.003082
result: 11582.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 6, seed: 19
[139849898596160] time: real 3.53986 user 11.6864 sys 0.001792
result: 11515.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 0
[139954653964096] time: real 2.02479 user 11.0078 sys 0.00267
result: 11866.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 1
[139767373252416] time: real 2.51489 user 12.1897 sys 0.001858
result: 11870.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 2
[140506515068736] time: real 2.28916 user 11.1964 sys 0.004128
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 3
[140625570334528] time: real 2.23295 user 12.1517 sys 0.003356
result: 11587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 4
[139873283876672] time: real 2.87397 user 14.9742 sys 0
result: 11826.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 5
[140185043965760] time: real 2.37867 user 12.7975 sys 0.001907
result: 12110.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 6
[139785362929472] time: real 2.81235 user 13.791 sys 0.001127
result: 12164.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 7
[140523814352704] time: real 2.44769 user 12.1079 sys 0
result: 11979.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 8
[140003576366912] time: real 2.42894 user 12.4779 sys 0.003624
result: 12010.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 9
[139670036846400] time: real 2.4026 user 13.6862 sys 0.002738
result: 12355.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 10
[140621597583168] time: real 2.65925 user 13.4871 sys 0
result: 11607.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 11
[140591265732416] time: real 2.55542 user 12.8707 sys 0.005841
result: 11747.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 12
[139932824897344] time: real 2.2858 user 11.7164 sys 0.005216
result: 11963.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 13
[140684405864256] time: real 2.68355 user 12.7649 sys 0.004062
result: 12015.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 14
[140061785077568] time: real 2.20241 user 11.7567 sys 0.005488
result: 11799.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 15
[139817137047360] time: real 2.8823 user 13.9338 sys 0.002357
result: 12039.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 16
[140631887058752] time: real 2.30881 user 12.8639 sys 0.003292
result: 12143.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 17
[140644520589120] time: real 2.67143 user 13.1518 sys 0.00176
result: 11721.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 18
[140376548398912] time: real 2.3188 user 11.8447 sys 0.006771
result: 11582.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 8, seed: 19
[140542820747072] time: real 2.75546 user 12.5688 sys 0.002918
result: 11515.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 0
[139773239936832] time: real 2.02668 user 11.0311 sys 0.0045
result: 11866.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 1
[139749320144704] time: real 2.55902 user 12.2617 sys 0.006439
result: 11870.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 2
[140122278508352] time: real 2.27908 user 11.3023 sys 0.003352
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 3
[140390827603776] time: real 2.22788 user 12.0733 sys 0.000753
result: 11587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 4
[140484491577152] time: real 2.46606 user 12.3404 sys 0.00267
result: 11826.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 5
[140154214938432] time: real 2.37343 user 12.8894 sys 0.00263
result: 12110.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 6
[140502063404864] time: real 2.79965 user 13.7026 sys 0.001837
result: 12164.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 7
[140394489624384] time: real 2.51107 user 12.1609 sys 0.004761
result: 11979.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 8
[140093683701568] time: real 2.41791 user 12.4711 sys 0.003719
result: 12010.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 9
[140290688001856] time: real 2.3871 user 13.6451 sys 0.002786
result: 12355.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 10
[140412661581632] time: real 2.65808 user 13.4951 sys 0.000663
result: 11607.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 11
[139745608136512] time: real 2.55967 user 12.8818 sys 0.002941
result: 11747.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 12
[140223778371392] time: real 2.24756 user 11.6405 sys 0.005278
result: 11963.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 13
[140420263176000] time: real 2.68524 user 12.7555 sys 0.003158
result: 12015.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 14
[140500101150528] time: real 2.18683 user 11.7684 sys 0.001769
result: 11799.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 15
[140034748229440] time: real 2.85593 user 13.8265 sys 0.001792
result: 12039.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 16
[140506847835968] time: real 2.34479 user 12.7572 sys 0.001401
result: 12143.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 17
[140469805401920] time: real 2.65453 user 13.1223 sys 0.003923
result: 11721.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 18
[139824810764096] time: real 2.31899 user 11.7772 sys 0.001735
result: 11582.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 10, seed: 19
[139853215774528] time: real 2.95773 user 13.4333 sys 0.00379
result: 11515.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 0
[140505235027776] time: real 1.71149 user 11.6381 sys 0.003409
result: 11866.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 1
[139791603849024] time: real 2.1442 user 12.7977 sys 0.001618
result: 11870.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 2
[139806299846464] time: real 1.89415 user 12.1101 sys 0.003884
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 3
[140418660755264] time: real 2.03643 user 12.6344 sys 0.005164
result: 11587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 4
[139655323600704] time: real 2.20683 user 13.0996 sys 0.004382
result: 11826.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 5
[139930828674880] time: real 2.00891 user 13.6118 sys 0.006178
result: 12110.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 6
[139878404622144] time: real 2.49484 user 14.2773 sys 0.006213
result: 12164.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 7
[140695634925376] time: real 2.24559 user 12.9607 sys 0.001349
result: 11979.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 8
[140570311280448] time: real 2.21351 user 13.0401 sys 0.004932
result: 12010.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 9
[139927515830080] time: real 2.08057 user 14.1846 sys 0.006856
result: 12355.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 10
[139946495330112] time: real 2.36522 user 14.2672 sys 0.003287
result: 11607.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 11
[139675295164224] time: real 2.22499 user 13.5347 sys 0.006215
result: 11747.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 12
[139970929715008] time: real 1.98639 user 12.4295 sys 0.005091
result: 11963.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 13
[140160140609344] time: real 2.23791 user 13.6858 sys 0.006159
result: 12015.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 14
[140623039166272] time: real 1.9191 user 12.376 sys 0.006866
result: 11799.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 15
[140506614458176] time: real 2.52932 user 14.4888 sys 0.002848
result: 12039.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 16
[140305231742784] time: real 2.11519 user 13.4721 sys 0.006671
result: 12143.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 17
[140388836837184] time: real 2.35476 user 13.9471 sys 0.005765
result: 11721.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 18
[140257284351808] time: real 2.02036 user 12.3363 sys 0.003712
result: 11582.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 12, seed: 19
[140685329012544] time: real 2.64195 user 13.3898 sys 0.003856
result: 11515.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 0
[140396715861824] time: real 1.69913 user 11.5582 sys 0.003017
result: 11866.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 1
[139721964922688] time: real 2.14911 user 12.792 sys 0.006213
result: 11870.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 2
[139869460064064] time: real 1.84664 user 12.089 sys 0.007145
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 3
[140419879028544] time: real 2.02845 user 12.6529 sys 0.006879
result: 11587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 4
[139726283573056] time: real 2.25991 user 13.0363 sys 0.00338
result: 11826.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 5
[140228238042944] time: real 1.95481 user 13.4722 sys 0.00627
result: 12110.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 6
[139668992272192] time: real 2.53866 user 14.4155 sys 0.004465
result: 12164.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 7
[139638010263360] time: real 2.21543 user 12.8595 sys 0.005371
result: 11979.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 8
[140597227239232] time: real 2.25977 user 13.0774 sys 0.006841
result: 12010.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 9
[140431394375488] time: real 2.03365 user 14.1393 sys 0.003428
result: 12355.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 10
[139927586875200] time: real 2.35937 user 14.179 sys 0.004404
result: 11607.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 11
[140317435840320] time: real 2.14872 user 13.5559 sys 0.003931
result: 11747.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 12
[139957117749056] time: real 2.06366 user 12.5698 sys 0.004072
result: 11963.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 13
[139988629133120] time: real 2.15495 user 13.6062 sys 0.002212
result: 12015.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 14
[140441212036928] time: real 1.90803 user 12.3796 sys 0.003124
result: 11799.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 15
[140112934324032] time: real 2.50121 user 14.3633 sys 0.007217
result: 12039.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 16
[140228737464128] time: real 2.12669 user 13.4671 sys 0.005207
result: 12143.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 17
[139639947851584] time: real 2.37902 user 13.7705 sys 0.002797
result: 11721.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 18
[139981247256384] time: real 2.14365 user 13.1887 sys 0.003092
result: 11582.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 14, seed: 19
[140595481044800] time: real 2.58985 user 13.2085 sys 0.004329
result: 11515.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 0
[139882100381504] time: real 1.56176 user 12.2311 sys 0.001131
result: 11866.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 1
[140474268563264] time: real 1.98511 user 13.783 sys 0.010687
result: 11870.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 2
[140597516326720] time: real 1.90879 user 12.6445 sys 0.008314
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 3
[140327244044096] time: real 1.85438 user 13.2355 sys 0.005304
result: 11587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 4
[140277128189760] time: real 2.12633 user 13.6885 sys 0.004101
result: 11826.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 5
[139873066637120] time: real 1.89599 user 14.2665 sys 0.007301
result: 12110.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 6
[139644372141888] time: real 2.35322 user 15.2939 sys 0.007805
result: 12164.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 7
[140484209194816] time: real 2.04833 user 13.6601 sys 0.005794
result: 11979.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 8
[140681207105344] time: real 1.99944 user 14.0052 sys 0.007773
result: 12010.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 9
[139772498380608] time: real 1.85502 user 14.6783 sys 0.00428
result: 12355.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 10
[140046107096896] time: real 2.27344 user 14.8767 sys 0.002228
result: 11607.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 11
[140707538286400] time: real 2.22948 user 14.2962 sys 0.008826
result: 11747.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 12
[140193639495488] time: real 1.85807 user 13.2306 sys 0.000823
result: 11963.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 13
[140562942998336] time: real 2.09496 user 14.0083 sys 0.003937
result: 12015.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 14
[140700788086592] time: real 1.91718 user 13.0883 sys 0.003692
result: 11799.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 15
[140223816980288] time: real 2.35257 user 15.0918 sys 0.004792
result: 12039.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 16
[140268683126592] time: real 1.91526 user 14.1617 sys 0.005748
result: 12143.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 17
[140056304531264] time: real 2.31152 user 14.461 sys 0.003313
result: 11721.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 18
[139687676913472] time: real 1.98691 user 13.2842 sys 0.005001
result: 11582.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 16, seed: 19
[139831094896448] time: real 2.23801 user 13.9664 sys 0.006482
result: 11515.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 0
[140513522272064] time: real 1.60437 user 12.3606 sys 0.010111
result: 11866.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 1
[140074108684096] time: real 2.00177 user 13.8305 sys 0.003852
result: 11870.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 2
[140437235255104] time: real 1.92501 user 12.4537 sys 0.005068
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 3
[140014146791232] time: real 1.8896 user 13.5603 sys 0.006912
result: 11587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 4
[139765361194816] time: real 2.07061 user 13.6828 sys 0.005818
result: 11826.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 5
[140624961537856] time: real 1.93162 user 14.3726 sys 0.00586
result: 12110.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 6
[139967059511104] time: real 2.33667 user 15.2074 sys 0.008603
result: 12164.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 7
[140428658677568] time: real 2.05192 user 13.7207 sys 0.010673
result: 11979.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 8
[139862482360128] time: real 2.02961 user 13.7988 sys 0.002835
result: 12010.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 9
[139651146819392] time: real 1.91732 user 14.8584 sys 0.008005
result: 12355.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 10
[139918327625536] time: real 2.26374 user 14.8148 sys 0.003425
result: 11607.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 11
[139830055814976] time: real 2.191 user 14.2708 sys 0.003937
result: 11747.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 12
[140115996100416] time: real 1.82891 user 13.099 sys 0.009807
result: 11963.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 13
[139665448552256] time: real 2.12029 user 14.0482 sys 0.005857
result: 12015.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 14
[139986253731648] time: real 1.8716 user 13.2805 sys 0.011572
result: 11799.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 15
[140032442369856] time: real 2.35263 user 15.2565 sys 0.009861
result: 12039.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 16
[140252524799808] time: real 1.9417 user 14.2419 sys 0.005101
result: 12143.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 17
[140470608607040] time: real 2.25698 user 14.3845 sys 0.004717
result: 11721.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 18
[139761352595264] time: real 1.92768 user 13.2667 sys 0.00369
result: 11582.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 4, inner: 20, threads: 18, seed: 19
[140448463050560] time: real 2.2288 user 14.0004 sys 0.004262
result: 11515.9
