conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 0
[139625155614528] time: real 15.9084 user 15.9045 sys 0.001795
result: 11644.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 1
[139734164059968] time: real 16.5363 user 16.5322 sys 0.001999
result: 11467.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 2
[139809358104384] time: real 15.5195 user 15.5175 sys 0
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 3
[140509586614080] time: real 17.3403 user 17.3367 sys 0.001318
result: 11487.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 4
[139922673239872] time: real 17.0089 user 17.006 sys 0.000737
result: 11667
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 5
[140485284865856] time: real 19.8777 user 19.8751 sys 3.3e-05
result: 11525.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 6
[140184186599232] time: real 19.0934 user 19.091 sys 0
result: 11824.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 7
[139724781803328] time: real 18.3822 user 18.3798 sys 0
result: 11909.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 8
[139662898775872] time: real 17.7699 user 17.7675 sys 0.000103
result: 11691.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 9
[140253438437184] time: real 19.1394 user 19.1357 sys 0.001132
result: 12028.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 10
[139953064347456] time: real 17.9017 user 17.8994 sys 0
result: 11209.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 11
[140109448312640] time: real 17.14 user 17.1373 sys 0.000433
result: 11629
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 12
[140610313131840] time: real 16.4418 user 16.4386 sys 0.000988
result: 11853.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 13
[140358724015936] time: real 18.2386 user 18.2351 sys 0.001134
result: 11633.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 14
[140709667686208] time: real 15.4489 user 15.4462 sys 0.000716
result: 11436.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 15
[140317209560896] time: real 18.8999 user 18.897 sys 0.000417
result: 11540.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 16
[140379031562048] time: real 18.2834 user 18.281 sys 0
result: 11879
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 17
[140273211815744] time: real 18.0395 user 18.0371 sys 8.7e-05
result: 11288.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 18
[140647331993408] time: real 16.0906 user 16.0885 sys 1e-06
result: 11225.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 1, seed: 19
[140467821967168] time: real 17.9357 user 17.9334 sys 0
result: 11393.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 0
[140709415245632] time: real 8.3687 user 16.0301 sys 7e-06
result: 11644.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 1
[140072417724224] time: real 8.50777 user 16.6554 sys 0
result: 11467.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 2
[140299775584064] time: real 8.7574 user 15.8807 sys 0.000293
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 3
[140519874987840] time: real 9.07887 user 17.4538 sys 0.000676
result: 11487.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 4
[139736080164672] time: real 8.97737 user 17.1042 sys 0.001017
result: 11667
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 5
[140275136186176] time: real 10.0287 user 19.9622 sys 0.001435
result: 11525.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 6
[139878947641152] time: real 10.4786 user 19.1825 sys 0.001977
result: 11824.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 7
[140254608340800] time: real 9.28931 user 18.4959 sys 0.001267
result: 11909.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 8
[139810503513920] time: real 9.75798 user 17.8698 sys 8.8e-05
result: 11691.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 9
[139891786860352] time: real 9.68821 user 19.2569 sys 0.000156
result: 12028.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 10
[139975362422592] time: real 9.78328 user 17.9936 sys 0.000554
result: 11209.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 11
[140338839275328] time: real 9.02327 user 17.251 sys 0.000115
result: 11629
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 12
[140298166175552] time: real 8.33625 user 16.5079 sys 0.001092
result: 11853.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 13
[139929682777920] time: real 9.35806 user 18.3146 sys 0.002171
result: 11633.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 14
[140472479749952] time: real 7.8479 user 15.581 sys 0.001029
result: 11436.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 15
[140714792802112] time: real 9.68051 user 18.9831 sys 0.001331
result: 11540.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 16
[140707121465152] time: real 9.48233 user 18.3633 sys 0.002026
result: 11879
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 17
[139835476752192] time: real 9.54397 user 18.1676 sys 0.001463
result: 11288.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 18
[139876711216960] time: real 8.32885 user 16.2186 sys 0.000216
result: 11225.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 2, seed: 19
[139630204442432] time: real 9.39088 user 18.0674 sys 0.00123
result: 11393.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 0
[140166667999040] time: real 4.73444 user 17.4707 sys 0.001465
result: 11644.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 1
[140219102639936] time: real 5.07428 user 18.1582 sys 0.001043
result: 11467.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 2
[140193547441984] time: real 5.10558 user 16.9961 sys 0.003043
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 3
[140452577077056] time: real 5.35496 user 18.979 sys 0.004354
result: 11487.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 4
[139994389931840] time: real 5.26902 user 18.6554 sys 0.00165
result: 11667
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 5
[140562082060096] time: real 6.16595 user 21.7839 sys 0.002623
result: 11525.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 6
[140570840917824] time: real 5.94023 user 20.9284 sys 0.001851
result: 11824.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 7
[140532939085632] time: real 5.6852 user 20.1577 sys 0.001299
result: 11909.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 8
[139994985215808] time: real 5.46842 user 19.4675 sys 0.001277
result: 11691.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 9
[139854980425536] time: real 5.54783 user 21.076 sys 0.000984
result: 12028.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 10
[139629425084224] time: real 5.40288 user 19.6571 sys 0.002033
result: 11209.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 11
[140351751255872] time: real 5.40227 user 18.806 sys 0.000745
result: 11629
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 12
[140407826745152] time: real 4.77537 user 18.0843 sys 0.003148
result: 11853.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 13
[140258193512256] time: real 5.66212 user 19.8835 sys 0.00434
result: 11633.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 14
[140497608877888] time: real 4.33587 user 17.0816 sys 0
result: 11436.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 15
[140494347118400] time: real 5.80718 user 20.6978 sys 0.003786
result: 11540.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 16
[139629244409664] time: real 5.75576 user 20.0814 sys 0.001445
result: 11879
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 17
[139965298108224] time: real 5.52156 user 19.8932 sys 0.001556
result: 11288.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 18
[140032887531328] time: real 4.77452 user 17.7586 sys 0.000774
result: 11225.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 4, seed: 19
[139621828675392] time: real 5.45713 user 19.7227 sys 0.002489
result: 11393.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 0
[140708323288896] time: real 4.74846 user 17.5381 sys 0.000592
result: 11644.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 1
[140181771876160] time: real 5.08299 user 18.1908 sys 0.00071
result: 11467.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 2
[139692348041024] time: real 5.07342 user 17.0363 sys 0.000579
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 3
[139763310458688] time: real 5.3567 user 18.9877 sys 0.006264
result: 11487.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 4
[139945664108352] time: real 5.26713 user 18.6767 sys 0.002161
result: 11667
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 5
[140202606012224] time: real 6.2114 user 21.8228 sys 0.002502
result: 11525.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 6
[140405947086656] time: real 5.92188 user 21.0004 sys 0.00159
result: 11824.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 7
[140674837309248] time: real 5.6442 user 20.1035 sys 0.003182
result: 11909.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 8
[139651471636288] time: real 5.4618 user 19.4868 sys 0.002608
result: 11691.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 9
[140714302936896] time: real 5.55244 user 21.1046 sys 0.001762
result: 12028.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 10
[140280163002176] time: real 5.37452 user 19.5902 sys 0.003589
result: 11209.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 11
[140042945832768] time: real 5.41973 user 18.8889 sys 0.006298
result: 11629
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 12
[140000232380224] time: real 4.78063 user 18.0979 sys 0
result: 11853.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 13
[139727470577472] time: real 5.70895 user 20.0346 sys 0.00306
result: 11633.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 14
[139728372086592] time: real 4.34289 user 17.0997 sys 6.1e-05
result: 11436.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 15
[140336803841856] time: real 5.82522 user 20.7569 sys 0.002092
result: 11540.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 16
[139927850731328] time: real 5.75829 user 20.0296 sys 0.002637
result: 11879
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 17
[140142662199104] time: real 5.53974 user 19.8202 sys 0.004213
result: 11288.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 18
[140478871619392] time: real 4.74104 user 17.7354 sys 0.002062
result: 11225.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 6, seed: 19
[140591668700992] time: real 5.46578 user 19.7836 sys 0.001601
result: 11393.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 0
[140388677109568] time: real 3.28259 user 19.3175 sys 0.003008
result: 11644.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 1
[139877753255744] time: real 3.74768 user 20.0926 sys 0.004078
result: 11467.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 2
[140286090553152] time: real 3.675 user 18.9193 sys 0.00212
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 3
[140678294476608] time: real 3.87399 user 20.5604 sys 0.001139
result: 11487.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 4
[139850107430720] time: real 3.77136 user 20.4164 sys 0.005492
result: 11667
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 5
[139662791472960] time: real 4.14494 user 24.0082 sys 0.003262
result: 11525.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 6
[140481469740864] time: real 4.32965 user 22.9244 sys 0.004057
result: 11824.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 7
[140706755524416] time: real 4.25135 user 22.2028 sys 0.001732
result: 11909.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 8
[140713580083008] time: real 3.91927 user 21.5253 sys 0.00519
result: 11691.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 9
[139740876261184] time: real 3.80144 user 23.0528 sys 0
result: 12028.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 10
[140360097101632] time: real 3.8935 user 21.6594 sys 0.004108
result: 11209.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 11
[140332419348288] time: real 3.91114 user 20.6187 sys 0.004998
result: 11629
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 12
[140161762449216] time: real 3.43875 user 19.8125 sys 0.001999
result: 11853.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 13
[140144092436288] time: real 3.99511 user 21.7928 sys 0.002385
result: 11633.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 14
[140669922359104] time: real 3.15289 user 19.0736 sys 0.000356
result: 11436.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 15
[140546800965440] time: real 4.22717 user 22.7016 sys 0.002779
result: 11540.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 16
[139731210209088] time: real 4.08023 user 21.8124 sys 0.005079
result: 11879
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 17
[140456192468800] time: real 4.18702 user 21.8745 sys 0.004487
result: 11288.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 18
[139935124768576] time: real 3.60199 user 19.8433 sys 0.006544
result: 11225.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 8, seed: 19
[140069076465472] time: real 3.9784 user 21.5558 sys 0.00299
result: 11393.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 0
[139922089989952] time: real 3.22345 user 19.2931 sys 0.001221
result: 11644.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 1
[140237337511744] time: real 3.74599 user 19.9901 sys 0.004938
result: 11467.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 2
[140718171813696] time: real 3.67599 user 18.9454 sys 0.002542
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 3
[139876644001600] time: real 3.89345 user 20.596 sys 0.00383
result: 11487.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 4
[140651725997888] time: real 3.80728 user 20.4824 sys 0.002121
result: 11667
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 5
[139978548406080] time: real 4.12403 user 23.8818 sys 0.003915
result: 11525.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 6
[139790809220928] time: real 4.3332 user 23.0206 sys 0.003385
result: 11824.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 7
[140441057285952] time: real 4.25022 user 22.1509 sys 0.002099
result: 11909.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 8
[140357987440448] time: real 3.9444 user 21.6084 sys 0.004468
result: 11691.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 9
[140582836213568] time: real 3.78602 user 23.0408 sys 0.00383
result: 12028.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 10
[140029121701696] time: real 3.87715 user 21.5979 sys 0.005126
result: 11209.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 11
[139633663784768] time: real 3.9213 user 20.5429 sys 0.004741
result: 11629
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 12
[140146295473984] time: real 3.43235 user 19.7913 sys 0.003532
result: 11853.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 13
[140220335454016] time: real 3.99136 user 21.9794 sys 0.005723
result: 11633.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 14
[140132804613952] time: real 3.18475 user 19.0205 sys 0.003906
result: 11436.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 15
[139952495404864] time: real 4.18189 user 22.7216 sys 0.001764
result: 11540.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 16
[139938010683200] time: real 4.06807 user 21.796 sys 0.005347
result: 11879
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 17
[139712297170752] time: real 4.15809 user 21.7657 sys 0.002672
result: 11288.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 18
[140092529792832] time: real 3.60657 user 19.8009 sys 0.003376
result: 11225.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 10, seed: 19
[140628519188288] time: real 3.96727 user 21.6069 sys 0.002152
result: 11393.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 0
[139841762973504] time: real 2.79702 user 20.5124 sys 0.007223
result: 11644.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 1
[140344210364224] time: real 3.04719 user 21.4644 sys 0.005481
result: 11467.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 2
[139695710041920] time: real 2.96399 user 19.9091 sys 0.005704
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 3
[140299129415488] time: real 3.2367 user 21.9864 sys 0.004842
result: 11487.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 4
[140061749233472] time: real 3.4746 user 22.3752 sys 0.004147
result: 11667
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 5
[139715381475136] time: real 3.2025 user 25.1586 sys 0.011357
result: 11525.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 6
[140216014985024] time: real 3.66333 user 24.3767 sys 0.007837
result: 11824.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 7
[140607352006464] time: real 3.46226 user 23.5973 sys 0.007757
result: 11909.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 8
[140566840649536] time: real 3.47896 user 22.688 sys 0.003931
result: 11691.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 9
[140101613135680] time: real 3.11526 user 24.3563 sys 0.007174
result: 12028.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 10
[140717419308864] time: real 3.39306 user 23.0541 sys 0.001995
result: 11209.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 11
[140253398271808] time: real 3.30144 user 21.7815 sys 0.002778
result: 11629
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 12
[140148776118080] time: real 2.87858 user 21.3407 sys 0.004172
result: 11853.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 13
[140650402998080] time: real 3.2779 user 23.2745 sys 0.007223
result: 11633.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 14
[140698799310656] time: real 2.75868 user 20.2373 sys 0.001789
result: 11436.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 15
[140278226667328] time: real 3.56949 user 24.0399 sys 0.003185
result: 11540.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 16
[139915872585536] time: real 3.2981 user 23.2556 sys 0.003159
result: 11879
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 17
[139819661276992] time: real 3.6055 user 23.2964 sys 0.00305
result: 11288.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 18
[140554504673088] time: real 2.91418 user 20.8693 sys 0.004728
result: 11225.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 12, seed: 19
[139899598894912] time: real 3.58447 user 22.9672 sys 0.00625
result: 11393.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 0
[140156537755456] time: real 2.73797 user 20.5219 sys 0.00556
result: 11644.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 1
[140705159292736] time: real 3.00942 user 21.3592 sys 0.004749
result: 11467.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 2
[139914860660544] time: real 2.92637 user 20.099 sys 0.006987
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 3
[140296854550336] time: real 3.23207 user 21.9014 sys 0.008689
result: 11487.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 4
[140466966296384] time: real 3.47725 user 22.1086 sys 0.005731
result: 11667
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 5
[139730743408448] time: real 3.26392 user 25.346 sys 0.004516
result: 11525.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 6
[139878551017280] time: real 3.65139 user 24.3934 sys 0.005766
result: 11824.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 7
[140575659939648] time: real 3.47959 user 23.6447 sys 0.006191
result: 11909.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 8
[140259189937984] time: real 3.50406 user 22.8234 sys 0.004832
result: 11691.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 9
[140565298976576] time: real 3.14238 user 24.3646 sys 0.007295
result: 12028.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 10
[140574530246464] time: real 3.37551 user 22.7914 sys 0.005652
result: 11209.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 11
[140628568180544] time: real 3.28766 user 21.9481 sys 0.006511
result: 11629
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 12
[139756375435072] time: real 2.98538 user 21.5654 sys 0.002259
result: 11853.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 13
[139848072353600] time: real 3.29188 user 23.3996 sys 0.007865
result: 11633.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 14
[139667083392832] time: real 2.80698 user 20.3096 sys 0.00478
result: 11436.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 15
[140551610550080] time: real 3.51176 user 23.8341 sys 0.005733
result: 11540.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 16
[140366917007168] time: real 3.24394 user 23.1169 sys 0.000457
result: 11879
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 17
[140650341668672] time: real 3.58096 user 22.9908 sys 0.003203
result: 11288.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 18
[140263428523840] time: real 2.90083 user 20.8704 sys 0.005966
result: 11225.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 14, seed: 19
[140494276462400] time: real 3.57367 user 23.1318 sys 0.00383
result: 11393.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 0
[140578378663744] time: real 2.45517 user 21.781 sys 0.005479
result: 11644.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 1
[140227037980480] time: real 2.7937 user 22.7333 sys 0.003935
result: 11467.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 2
[140512902301504] time: real 2.84952 user 21.816 sys 0.005525
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 3
[139734999304000] time: real 2.9415 user 23.3192 sys 0.011355
result: 11487.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 4
[139963012761408] time: real 3.23436 user 23.5796 sys 0.003344
result: 11667
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 5
[139761395894080] time: real 3.0971 user 26.9052 sys 0.003803
result: 11525.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 6
[140298216986432] time: real 3.35192 user 25.5529 sys 0.006761
result: 11824.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 7
[140275621791552] time: real 3.21183 user 24.9383 sys 0.005245
result: 11909.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 8
[139973252581184] time: real 3.09835 user 24.44 sys 0.00704
result: 11691.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 9
[140443253606208] time: real 2.89206 user 25.5252 sys 0.007873
result: 12028.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 10
[139979387209536] time: real 3.09011 user 24.2243 sys 0.006711
result: 11209.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 11
[139680677500736] time: real 3.14708 user 23.3461 sys 0.009513
result: 11629
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 12
[140434973161280] time: real 2.79252 user 22.6524 sys 0.005721
result: 11853.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 13
[139795436992320] time: real 2.9816 user 24.1378 sys 0.007937
result: 11633.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 14
[140696043853632] time: real 2.63972 user 21.4394 sys 0.008777
result: 11436.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 15
[140683320227648] time: real 3.44568 user 25.2238 sys 0.007018
result: 11540.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 16
[140476826511168] time: real 3.0574 user 24.7504 sys 0.007071
result: 11879
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 17
[140165568206656] time: real 3.30028 user 24.0547 sys 0.008183
result: 11288.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 18
[140646157936448] time: real 2.78783 user 22.6913 sys 0.005892
result: 11225.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 16, seed: 19
[140335055349568] time: real 3.05455 user 24.2187 sys 0.0074
result: 11393.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 0
[140678920054592] time: real 2.45923 user 21.9177 sys 0.001441
result: 11644.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 1
[140163995723584] time: real 2.82976 user 22.7921 sys 0.00432
result: 11467.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 2
[140191759996736] time: real 2.83163 user 21.7677 sys 0.010064
result: 11205.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 3
[140258770601792] time: real 2.91786 user 23.3316 sys 0.006506
result: 11487.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 4
[139797502187328] time: real 3.13414 user 23.6975 sys 0.010835
result: 11667
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 5
[140600621487936] time: real 3.06131 user 26.8674 sys 0.001748
result: 11525.8
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 6
[140364746667840] time: real 3.33886 user 25.475 sys 0.008352
result: 11824.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 7
[139915478374208] time: real 3.22143 user 25.0638 sys 0.010381
result: 11909.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 8
[139635151787840] time: real 3.07619 user 24.3687 sys 0.00765
result: 11691.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 9
[139660752639808] time: real 2.91113 user 25.5457 sys 0.006795
result: 12028.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 10
[140013470361408] time: real 3.07951 user 24.3014 sys 0.00529
result: 11209.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 11
[139722280544064] time: real 3.14757 user 23.2128 sys 0.007097
result: 11629
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 12
[140359037159232] time: real 2.7925 user 22.6723 sys 0.00079
result: 11853.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 13
[139895867754304] time: real 3.03626 user 24.3338 sys 0.003768
result: 11633.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 14
[139997551195968] time: real 2.66427 user 21.8365 sys 0.004859
result: 11436.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 15
[139726330718016] time: real 3.43638 user 25.3893 sys 0.005756
result: 11540.9
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 16
[140349304878912] time: real 3.08894 user 24.6987 sys 0.00688
result: 11879
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 17
[140012239509312] time: real 3.37447 user 24.1223 sys 0.00958
result: 11288.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 18
[140205225273152] time: real 2.79933 user 22.4692 sys 0.006701
result: 11225.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 8, inner: 20, threads: 18, seed: 19
[139645735843648] time: real 3.02377 user 24.308 sys 0.007662
result: 11393.6
