conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 0
[139960523786048] time: real 62.2095 user 62.1994 sys 0.002088
result: 10656.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 1
[140513870378816] time: real 63.6556 user 63.6468 sys 0.000539
result: 10587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 2
[140497795700544] time: real 60.6998 user 60.692 sys 0
result: 10666.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 3
[140105545267008] time: real 62.8336 user 62.8254 sys 1.9e-05
result: 10317.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 4
[140494025606976] time: real 62.5287 user 62.5202 sys 0.00042
result: 10708
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 5
[139689319548736] time: real 68.3927 user 68.3805 sys 0.003372
result: 10603.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 6
[140386280220480] time: real 63.6642 user 63.6531 sys 0.002807
result: 10761.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 7
[140595591075648] time: real 66.0287 user 66.0182 sys 0.001966
result: 10541.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 8
[139938970257216] time: real 66.8151 user 66.8018 sys 0.004641
result: 10377
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 9
[139894546589504] time: real 64.1586 user 64.1444 sys 0.005892
result: 10755.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 10
[140302776002368] time: real 64.3419 user 64.3307 sys 0.002794
result: 10207
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 11
[140627317192512] time: real 62.641 user 62.633 sys 0
result: 10745.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 12
[140608499877696] time: real 63.0396 user 63.0298 sys 0.001618
result: 10738.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 13
[140510610044736] time: real 66.6635 user 66.6549 sys 0
result: 10557.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 14
[140605449664320] time: real 62.4519 user 62.4418 sys 0.001982
result: 10471.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 15
[140309856212800] time: real 64.3351 user 64.3263 sys 0.000514
result: 10907.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 16
[139709584009024] time: real 64.8221 user 64.8137 sys 0
result: 10606.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 17
[140547334604608] time: real 62.5365 user 62.5267 sys 0.001715
result: 10723.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 18
[140374561056576] time: real 62.0235 user 62.0155 sys 0
result: 10433.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 1, seed: 19
[140629887014720] time: real 66.1346 user 66.1244 sys 0.001591
result: 10538.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 0
[140709766797120] time: real 32.9655 user 62.1657 sys 0.00172
result: 10656.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 1
[139752138098496] time: real 32.5114 user 63.3862 sys 0.001195
result: 10587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 2
[140372701423424] time: real 30.5027 user 60.4561 sys 0
result: 10666.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 3
[140015338575680] time: real 31.4059 user 62.7119 sys 0.002612
result: 10317.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 4
[140053638637376] time: real 31.5705 user 62.3306 sys 0.000842
result: 10708
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 5
[140012848715584] time: real 36.5653 user 68.3801 sys 0.001592
result: 10603.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 6
[140331011671872] time: real 33.424 user 63.6681 sys 0
result: 10761.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 7
[139999183664960] time: real 33.241 user 65.9427 sys 0.001898
result: 10541.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 8
[140692069734208] time: real 33.4814 user 66.5825 sys 0.000909
result: 10377
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 9
[140117595830080] time: real 34.3976 user 66.6658 sys 0
result: 10755.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 10
[140236654274368] time: real 34.3803 user 64.2518 sys 0.00078
result: 10207
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 11
[140410956044096] time: real 31.3353 user 62.5608 sys 0.000999
result: 10745.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 12
[140333562767168] time: real 32.2587 user 62.8421 sys 0
result: 10738.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 13
[140381250553664] time: real 34.6916 user 66.4707 sys 0.003005
result: 10557.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 14
[140011202942784] time: real 32.3327 user 62.3451 sys 0.002541
result: 10471.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 15
[140507806721856] time: real 33.5465 user 64.1144 sys 0.001792
result: 10907.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 16
[140328759584576] time: real 33.8452 user 64.6821 sys 1.5e-05
result: 10606.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 17
[139653370140480] time: real 32.4775 user 62.395 sys 0.002056
result: 10723.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 18
[140093049018176] time: real 32.7343 user 61.8286 sys 0.003504
result: 10433.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 2, seed: 19
[139843666638656] time: real 33.9256 user 66.0641 sys 0.00125
result: 10538.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 0
[139811056691008] time: real 18.8122 user 67.9141 sys 0.003692
result: 10656.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 1
[140448542811968] time: real 18.9794 user 69.6119 sys 0.005673
result: 10587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 2
[139933055903552] time: real 17.628 user 66.2486 sys 0.003348
result: 10666.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 3
[139839916435264] time: real 18.7508 user 68.3789 sys 0.001747
result: 10317.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 4
[140025981175616] time: real 18.4819 user 68.2615 sys 0
result: 10708
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 5
[139624793212736] time: real 21.9025 user 74.6675 sys 0.000763
result: 10603.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 6
[139650861143872] time: real 19.3847 user 69.543 sys 0.006203
result: 10761.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 7
[139729471113024] time: real 18.8025 user 72.2163 sys 0.002118
result: 10541.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 8
[140084526966592] time: real 19.4117 user 72.9213 sys 0.001653
result: 10377
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 9
[140414613366592] time: real 18.8679 user 70.2991 sys 0.001551
result: 10755.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 10
[139722283120448] time: real 18.8955 user 70.2653 sys 0.003098
result: 10207
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 11
[139655033939776] time: real 18.2156 user 68.5702 sys 0.000334
result: 10745.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 12
[140520441046848] time: real 18.1954 user 68.8932 sys 0.000703
result: 10738.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 13
[139960483800896] time: real 20.5083 user 72.5044 sys 0.000588
result: 10557.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 14
[140649111050048] time: real 18.3307 user 68.4495 sys 0.001047
result: 10471.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 15
[140424818685760] time: real 19.591 user 70.3409 sys 0.003199
result: 10907.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 16
[140272559052608] time: real 18.9938 user 70.8761 sys 0.00269
result: 10606.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 17
[140145425921856] time: real 18.0005 user 68.2273 sys 0.006811
result: 10723.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 18
[140393383913280] time: real 19.0162 user 67.724 sys 2.6e-05
result: 10433.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 4, seed: 19
[139789343307584] time: real 19.65 user 72.5081 sys 0.002509
result: 10538.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 0
[139735857661760] time: real 18.7996 user 67.8536 sys 0.003045
result: 10656.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 1
[139795198641984] time: real 18.9935 user 69.7176 sys 0.000632
result: 10587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 2
[140289403414336] time: real 17.7345 user 66.713 sys 0.002084
result: 10666.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 3
[140569704875840] time: real 18.8456 user 68.7062 sys 0.001767
result: 10317.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 4
[140629380069184] time: real 18.5374 user 68.5022 sys 0.002447
result: 10708
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 5
[139824944699200] time: real 21.8883 user 74.6073 sys 0.005191
result: 10603.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 6
[139727158114112] time: real 19.4332 user 69.771 sys 0.004109
result: 10761.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 7
[139784053245760] time: real 18.8448 user 72.5395 sys 0.006122
result: 10541.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 8
[140184759904064] time: real 19.4733 user 73.1624 sys 0.002638
result: 10377
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 9
[140002914551616] time: real 18.9631 user 70.6048 sys 0.002193
result: 10755.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 10
[140028992087872] time: real 18.9391 user 70.395 sys 0.005761
result: 10207
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 11
[140363760056128] time: real 18.2912 user 68.8677 sys 0.003655
result: 10745.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 12
[140195382314816] time: real 18.2218 user 69.091 sys 0.004053
result: 10738.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 13
[140562890520384] time: real 20.6564 user 72.8265 sys 0.001561
result: 10557.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 14
[140338369615680] time: real 18.4217 user 68.7275 sys 0.001165
result: 10471.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 15
[139881453975360] time: real 19.5595 user 70.3654 sys 0.002678
result: 10907.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 16
[140114097411904] time: real 19.0511 user 71.1636 sys 0.001089
result: 10606.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 17
[139987495671616] time: real 17.9396 user 68.271 sys 0.002784
result: 10723.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 18
[139911923775296] time: real 19.157 user 68.2847 sys 0.001078
result: 10433.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 6, seed: 19
[140051989600064] time: real 19.5733 user 72.4685 sys 0.00372
result: 10538.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 0
[140710628378432] time: real 12.4797 user 75.9599 sys 0.008197
result: 10656.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 1
[139846566213440] time: real 12.8622 user 77.3819 sys 0.00655
result: 10587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 2
[140397000726336] time: real 12.0737 user 74.5246 sys 0.006057
result: 10666.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 3
[140407746254656] time: real 12.5279 user 76.4116 sys 0.00578
result: 10317.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 4
[139834303055680] time: real 12.3881 user 76.3067 sys 0.004531
result: 10708
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 5
[139928124229440] time: real 14.6889 user 83.0916 sys 0.005177
result: 10603.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 6
[139635396130624] time: real 12.7129 user 77.4097 sys 0.004122
result: 10761.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 7
[140324834899776] time: real 13.2035 user 81.1395 sys 0.00969
result: 10541.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 8
[139878650001216] time: real 13.2914 user 81.8233 sys 0.007166
result: 10377
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 9
[140346523957056] time: real 12.8168 user 78.8345 sys 0.004651
result: 10755.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 10
[139626903873344] time: real 12.6537 user 78.6485 sys 0.006043
result: 10207
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 11
[140043541759808] time: real 12.2295 user 76.877 sys 0.004669
result: 10745.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 12
[140314457556800] time: real 12.3133 user 77.5548 sys 0.008216
result: 10738.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 13
[140478269986624] time: real 13.4305 user 80.7796 sys 0.002999
result: 10557.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 14
[140402300999488] time: real 12.4687 user 77.1098 sys 0.007067
result: 10471.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 15
[140093424109376] time: real 13.5366 user 78.9442 sys 0.005302
result: 10907.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 16
[139656700294976] time: real 12.6224 user 78.8225 sys 0.004688
result: 10606.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 17
[139680202950464] time: real 12.0963 user 76.6438 sys 0.006816
result: 10723.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 18
[139722484361024] time: real 12.9366 user 76.497 sys 0.001974
result: 10433.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 8, seed: 19
[139856827496256] time: real 13.2909 user 80.9417 sys 0.005743
result: 10538.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 0
[140327463823168] time: real 12.4648 user 75.7956 sys 0.007047
result: 10656.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 1
[139771505579840] time: real 12.9166 user 77.3713 sys 0.00437
result: 10587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 2
[140253981067072] time: real 12.1426 user 74.5281 sys 0.007205
result: 10666.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 3
[140474517063488] time: real 12.5477 user 76.4361 sys 0.006181
result: 10317.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 4
[139858582955840] time: real 12.4265 user 76.5723 sys 0.009713
result: 10708
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 5
[140054711285568] time: real 14.6338 user 82.7018 sys 0.00408
result: 10603.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 6
[139745726035776] time: real 12.7361 user 77.4748 sys 0.004887
result: 10761.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 7
[140020550645568] time: real 13.1447 user 81.1111 sys 0.006564
result: 10541.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 8
[139739609507648] time: real 13.5235 user 83.2216 sys 0.008311
result: 10377
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 9
[140682124388160] time: real 12.8451 user 78.8341 sys 0.004371
result: 10755.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 10
[139797493094208] time: real 12.6693 user 78.5828 sys 0.004887
result: 10207
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 11
[139987508094784] time: real 12.2499 user 76.8578 sys 0.006709
result: 10745.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 12
[140409517729600] time: real 12.219 user 77.2877 sys 0.005674
result: 10738.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 13
[139950190581568] time: real 13.3825 user 80.6412 sys 0.006197
result: 10557.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 14
[140318708795200] time: real 12.4433 user 76.9674 sys 0.003632
result: 10471.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 15
[140368351930176] time: real 13.5388 user 78.9554 sys 0.009336
result: 10907.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 16
[139757522413376] time: real 12.6529 user 79.0026 sys 0.004837
result: 10606.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 17
[139739776522048] time: real 12.1503 user 76.692 sys 0.008682
result: 10723.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 18
[140483573077824] time: real 12.9003 user 76.5399 sys 0.006365
result: 10433.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 10, seed: 19
[140503961356096] time: real 13.2976 user 80.9717 sys 0.005153
result: 10538.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 0
[139801466201920] time: real 10.4887 user 82.9344 sys 0.011875
result: 10656.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 1
[140131227113280] time: real 10.2556 user 83.7267 sys 0.011023
result: 10587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 2
[140702224435008] time: real 9.83914 user 80.9306 sys 0.00831
result: 10666.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 3
[140315012044608] time: real 10.2836 user 83.257 sys 0.009099
result: 10317.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 4
[140077835638592] time: real 10.2547 user 83.5382 sys 0.011161
result: 10708
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 5
[139758764808000] time: real 11.6832 user 89.483 sys 0.011316
result: 10603.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 6
[140198948558656] time: real 10.6787 user 84.0628 sys 0.007635
result: 10761.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 7
[139687449704256] time: real 10.567 user 87.5744 sys 0.011155
result: 10541.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 8
[140424566236992] time: real 10.8856 user 88.1559 sys 0.009908
result: 10377
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 9
[140373009860416] time: real 10.7116 user 85.5449 sys 0.010736
result: 10755.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 10
[139882599946048] time: real 10.6555 user 85.0866 sys 0.005433
result: 10207
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 11
[140628556367680] time: real 9.78189 user 82.6683 sys 0.013156
result: 10745.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 12
[140421780805440] time: real 9.84217 user 84.2464 sys 0.006139
result: 10738.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 13
[139622223898432] time: real 10.9841 user 87.3025 sys 0.007255
result: 10557.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 14
[140487790679872] time: real 10.423 user 83.347 sys 0.008003
result: 10471.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 15
[140051656238912] time: real 10.8989 user 84.9637 sys 0.011421
result: 10907.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 16
[140554840930112] time: real 10.2534 user 85.7716 sys 0.008719
result: 10606.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 17
[139862071899968] time: real 9.99324 user 83.2077 sys 0.009635
result: 10723.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 18
[140660863264576] time: real 10.452 user 82.7074 sys 0.009997
result: 10433.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 12, seed: 19
[140273816823616] time: real 11.2031 user 88.048 sys 0.010584
result: 10538.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 0
[140121941378880] time: real 10.4884 user 82.8037 sys 0.011773
result: 10656.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 1
[139632271005504] time: real 10.2831 user 83.7641 sys 0.005329
result: 10587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 2
[140081901184832] time: real 9.84211 user 81.0255 sys 0.007771
result: 10666.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 3
[140587160745792] time: real 10.2395 user 83.2761 sys 0.009628
result: 10317.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 4
[139838689126208] time: real 10.2226 user 83.436 sys 0.006834
result: 10708
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 5
[140304958506816] time: real 11.7582 user 89.3263 sys 0.009581
result: 10603.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 6
[139662180648768] time: real 10.7583 user 84.439 sys 0.010594
result: 10761.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 7
[139848574371648] time: real 10.667 user 87.5056 sys 0.011106
result: 10541.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 8
[140142922487616] time: real 10.8135 user 88.342 sys 0.006747
result: 10377
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 9
[140382933542720] time: real 10.644 user 85.4282 sys 0.00867
result: 10755.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 10
[139715722127168] time: real 10.6148 user 85.2704 sys 0.009673
result: 10207
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 11
[140648530896704] time: real 9.88384 user 82.6978 sys 0.005062
result: 10745.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 12
[140401969948480] time: real 9.95212 user 84.2144 sys 0.008221
result: 10738.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 13
[140544659097408] time: real 10.966 user 87.2153 sys 0.00674
result: 10557.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 14
[139745285982016] time: real 10.3817 user 83.3216 sys 0.01088
result: 10471.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 15
[139802917869376] time: real 10.9247 user 84.7764 sys 0.008221
result: 10907.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 16
[140381074462528] time: real 10.2797 user 85.4095 sys 0.008424
result: 10606.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 17
[139755150452544] time: real 9.92044 user 83.1965 sys 0.008238
result: 10723.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 18
[139713855522624] time: real 10.4642 user 82.8522 sys 0.010771
result: 10433.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 14, seed: 19
[139994567911232] time: real 11.1703 user 88.1948 sys 0.00959
result: 10538.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 0
[140368676087616] time: real 9.08132 user 89.5204 sys 0.009512
result: 10656.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 1
[139784416769856] time: real 9.49189 user 90.6048 sys 0.016564
result: 10587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 2
[139981102290752] time: real 9.20405 user 88.0009 sys 0.016133
result: 10666.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 3
[140069604804416] time: real 9.02603 user 89.4507 sys 0.009712
result: 10317.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 4
[140520823760704] time: real 9.15201 user 90.5021 sys 0.01623
result: 10708
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 5
[139923181532992] time: real 10.5081 user 95.9446 sys 0.012539
result: 10603.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 6
[140202114139968] time: real 9.46291 user 90.9463 sys 0.017435
result: 10761.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 7
[140447132673856] time: real 9.65389 user 94.0092 sys 0.018795
result: 10541.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 8
[140641963517760] time: real 9.5497 user 94.982 sys 0.012645
result: 10377
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 9
[140718854289216] time: real 9.52143 user 91.5715 sys 0.010398
result: 10755.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 10
[140493509711680] time: real 9.47642 user 92.034 sys 0.008811
result: 10207
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 11
[140320785594176] time: real 9.18177 user 90.0033 sys 0.013686
result: 10745.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 12
[140625111463744] time: real 8.83416 user 90.2983 sys 0.011686
result: 10738.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 13
[139718714787648] time: real 9.9944 user 94.196 sys 0.01219
result: 10557.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 14
[139802560517952] time: real 8.97281 user 89.9749 sys 0.011544
result: 10471.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 15
[140639194482496] time: real 10.2681 user 92.2258 sys 0.014255
result: 10907.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 16
[139985048999744] time: real 8.98571 user 92.4807 sys 0.011131
result: 10606.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 17
[140382852507456] time: real 8.84067 user 88.0772 sys 0.008792
result: 10723.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 18
[140152898668352] time: real 9.54962 user 89.5864 sys 0.016104
result: 10433.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 16, seed: 19
[140219573720896] time: real 10.0163 user 94.6378 sys 0.012329
result: 10538.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 0
[140184408246080] time: real 9.09234 user 90.1328 sys 0.016015
result: 10656.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 1
[140002486667072] time: real 9.46127 user 90.4173 sys 0.021809
result: 10587.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 2
[140107461281600] time: real 9.94021 user 97.8341 sys 0.016441
result: 10666.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 3
[140606723159872] time: real 9.03394 user 89.7771 sys 0.006807
result: 10317.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 4
[139784530097984] time: real 9.03993 user 90.2736 sys 0.011775
result: 10708
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 5
[139848641382208] time: real 10.4327 user 95.7878 sys 0.015835
result: 10603.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 6
[140601916999488] time: real 9.43877 user 90.9112 sys 0.010664
result: 10761.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 7
[140198492043072] time: real 9.53671 user 94.1947 sys 0.014521
result: 10541.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 8
[140618445596480] time: real 9.58547 user 94.8924 sys 0.014754
result: 10377
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 9
[140372333266752] time: real 9.50621 user 91.4593 sys 0.008899
result: 10755.7
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 10
[140082314331968] time: real 9.39578 user 91.8059 sys 0.011382
result: 10207
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 11
[139843145791296] time: real 9.07961 user 89.6688 sys 0.013209
result: 10745.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 12
[140010152556352] time: real 8.82166 user 90.609 sys 0.005923
result: 10738.5
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 13
[139637670479680] time: real 9.95375 user 94.0518 sys 0.015754
result: 10557.1
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 14
[140598722684736] time: real 9.06731 user 90.4624 sys 0.019721
result: 10471.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 15
[140495309301568] time: real 10.267 user 92.5026 sys 0.011185
result: 10907.2
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 16
[140229977143104] time: real 9.13314 user 92.7054 sys 0.01175
result: 10606.4
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 17
[139986629994304] time: real 8.80939 user 88.3013 sys 0.008796
result: 10723.3
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 18
[140107444410176] time: real 9.53562 user 90.0424 sys 0.014107
result: 10433.6
conf: f: sk_par_staticpool, data: "./data/qa194", grasp: 4, outer: 40, inner: 20, threads: 18, seed: 19
[139897287956288] time: real 9.98443 user 94.3585 sys 0.010312
result: 10538.7
