0.43/0.60 c DEBUG: probabilities of action success (DCM model):
0.43/0.60 c pb/competition_2010/bsolo_pb10-l1 : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
0.43/0.60 c pb/competition_2010/bsolo_pb10-l2 : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
0.43/0.60 c pb/competition_2010/bsolo_pb10-l3 : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
0.43/0.60 c pb/competition_2010/wbo1.4a : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
0.43/0.60 c pb/competition_2010/wbo1.4b : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
0.43/0.60 c pb/other/clasp-1.3.3 : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
0.43/0.60 c pb/other/sat4j-pb-v20090829 : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
0.43/0.60 c pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
0.43/0.61 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1921770459', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
11.21/10.92 c DEBUG: probabilities of action success (DCM model):
11.21/10.92 c pb/competition_2010/bsolo_pb10-l1 : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
11.21/10.92 c pb/competition_2010/bsolo_pb10-l2 : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
11.21/10.92 c pb/competition_2010/bsolo_pb10-l3 : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
11.21/10.92 c pb/competition_2010/wbo1.4a : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
11.21/10.92 c pb/competition_2010/wbo1.4b : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
11.21/10.92 c pb/other/clasp-1.3.3 : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
11.21/10.92 c pb/other/sat4j-pb-v20090829 : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
11.21/10.92 c pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
11.21/10.92 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1250261669', u'HOME/instance-3740808-1338720939.opb'] for 0:00:50
64.20/61.55 c DEBUG: probabilities of action success (DCM model):
64.20/61.55 c pb/competition_2010/bsolo_pb10-l1 : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
64.20/61.55 c pb/competition_2010/bsolo_pb10-l2 : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
64.20/61.55 c pb/competition_2010/bsolo_pb10-l3 : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
64.20/61.55 c pb/competition_2010/wbo1.4a : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
64.20/61.55 c pb/competition_2010/wbo1.4b : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
64.20/61.55 c pb/other/clasp-1.3.3 : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
64.20/61.55 c pb/other/sat4j-pb-v20090829 : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
64.20/61.55 c pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
64.20/61.56 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3740808-1338720939.opb'] for 0:00:50
117.71/112.43 c DEBUG: probabilities of action success (DCM model):
117.71/112.43 c pb/competition_2010/bsolo_pb10-l1 : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
117.71/112.43 c pb/competition_2010/bsolo_pb10-l2 : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
117.71/112.43 c pb/competition_2010/bsolo_pb10-l3 : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
117.71/112.43 c pb/competition_2010/wbo1.4a : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
117.71/112.43 c pb/competition_2010/wbo1.4b : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
117.71/112.43 c pb/other/clasp-1.3.3 : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
117.71/112.43 c pb/other/sat4j-pb-v20090829 : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
117.71/112.43 c pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
117.71/112.43 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=607601004', u'HOME/instance-3740808-1338720939.opb'] for 0:01:40
222.92/212.98 c DEBUG: probabilities of action success (DCM model):
222.92/212.98 c pb/competition_2010/bsolo_pb10-l1 : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
222.92/212.98 c pb/competition_2010/bsolo_pb10-l2 : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
222.92/212.98 c pb/competition_2010/bsolo_pb10-l3 : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
222.92/212.98 c pb/competition_2010/wbo1.4a : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
222.92/212.98 c pb/competition_2010/wbo1.4b : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
222.92/212.98 c pb/other/clasp-1.3.3 : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
222.92/212.98 c pb/other/sat4j-pb-v20090829 : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
222.92/212.98 c pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
222.92/212.98 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3740808-1338720939.opb'] for 0:01:40
328.67/313.76 c DEBUG: probabilities of action success (DCM model):
328.67/313.76 c pb/competition_2010/bsolo_pb10-l1 : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
328.67/313.76 c pb/competition_2010/bsolo_pb10-l2 : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
328.67/313.76 c pb/competition_2010/bsolo_pb10-l3 : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
328.67/313.76 c pb/competition_2010/wbo1.4a : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
328.67/313.76 c pb/competition_2010/wbo1.4b : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
328.67/313.76 c pb/other/clasp-1.3.3 : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
328.67/313.76 c pb/other/sat4j-pb-v20090829 : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
328.67/313.76 c pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
328.67/313.76 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3740808-1338720939.opb'] for 0:00:50
382.33/364.76 c DEBUG: probabilities of action success (DCM model):
382.33/364.76 c pb/competition_2010/bsolo_pb10-l1 : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
382.33/364.76 c pb/competition_2010/bsolo_pb10-l2 : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
382.33/364.76 c pb/competition_2010/bsolo_pb10-l3 : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
382.33/364.76 c pb/competition_2010/wbo1.4a : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
382.33/364.76 c pb/competition_2010/wbo1.4b : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
382.33/364.76 c pb/other/clasp-1.3.3 : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
382.33/364.76 c pb/other/sat4j-pb-v20090829 : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
382.33/364.76 c pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
382.33/364.76 c DETAIL: running [u'java', u'-server', u'-Xms1300m', u'-Xmx1300m', u'-jar', u'HOME/etc/solvers/other/sat4j-pb-v20090826/org.sat4j.pb.jar', u'HOME/instance-3740808-1338720939.opb'] for 0:01:40
488.03/453.75 c DEBUG: probabilities of action success (DCM model):
488.03/453.75 c pb/competition_2010/bsolo_pb10-l1 : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
488.03/453.75 c pb/competition_2010/bsolo_pb10-l2 : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
488.03/453.75 c pb/competition_2010/bsolo_pb10-l3 : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
488.03/453.75 c pb/competition_2010/wbo1.4a : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
488.03/453.75 c pb/competition_2010/wbo1.4b : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
488.03/453.75 c pb/other/clasp-1.3.3 : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
488.03/453.75 c pb/other/sat4j-pb-v20090829 : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
488.03/453.75 c pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
488.03/453.75 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3740808-1338720939.opb'] for 0:01:40
593.97/554.44 c DEBUG: probabilities of action success (DCM model):
593.97/554.44 c pb/competition_2010/bsolo_pb10-l1 : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
593.97/554.44 c pb/competition_2010/bsolo_pb10-l2 : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
593.97/554.44 c pb/competition_2010/bsolo_pb10-l3 : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
593.97/554.44 c pb/competition_2010/wbo1.4a : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
593.97/554.44 c pb/competition_2010/wbo1.4b : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
593.97/554.44 c pb/other/clasp-1.3.3 : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
593.97/554.44 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
593.97/554.44 c pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
593.97/554.44 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3740808-1338720939.opb'] for 0:00:50
647.61/605.69 c DEBUG: probabilities of action success (DCM model):
647.61/605.69 c pb/competition_2010/bsolo_pb10-l1 : 0.0056 0.0070 0.0350 0.0875 0.1379 0.1679 0.2779
647.61/605.69 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0082 0.0206 0.0285 0.1112
647.61/605.69 c pb/competition_2010/bsolo_pb10-l3 : 0.0271 0.0006 0.0648 0.0663 0.0694 0.0943 0.1707
647.61/605.69 c pb/competition_2010/wbo1.4a : 0.0418 0.0058 0.0048 0.2383 0.3810 0.4683 0.7449
647.61/605.69 c pb/competition_2010/wbo1.4b : 0.0319 0.0007 0.0234 0.2842 0.4328 0.5290 0.7099
647.61/605.69 c pb/other/clasp-1.3.3 : 0.0466 0.0429 0.0715 0.5647 0.6728 0.7172 0.8274
647.61/605.69 c pb/other/sat4j-pb-v20090829 : 0.0089 0.0393 0.0011 0.1832 0.2460 0.2933 0.4648
647.61/605.69 c pb/other/sat4j-pb-v20090829-cutting : 0.0049 0.0225 0.0232 0.0376 0.0774 0.0936 0.2247
647.61/605.69 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2118430587', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
658.94/616.41 c DEBUG: probabilities of action success (DCM model):
658.94/616.41 c pb/competition_2010/bsolo_pb10-l1 : 0.0048 0.0062 0.0356 0.0901 0.1429 0.1729 0.2823
658.94/616.41 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0085 0.0216 0.0299 0.1142
658.94/616.41 c pb/competition_2010/bsolo_pb10-l3 : 0.0284 0.0006 0.0660 0.0675 0.0708 0.0964 0.1746
658.94/616.41 c pb/competition_2010/wbo1.4a : 0.0419 0.0061 0.0050 0.2416 0.3851 0.4718 0.7463
658.94/616.41 c pb/competition_2010/wbo1.4b : 0.0313 0.0007 0.0242 0.2884 0.4409 0.5368 0.7143
658.94/616.41 c pb/other/clasp-1.3.3 : 0.0432 0.0422 0.0717 0.5642 0.6732 0.7178 0.8280
658.94/616.41 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0402 0.0011 0.1889 0.2523 0.3000 0.4690
658.94/616.41 c pb/other/sat4j-pb-v20090829-cutting : 0.0041 0.0196 0.0203 0.0354 0.0744 0.0909 0.2215
658.94/616.41 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2076270907', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
670.19/627.10 c DEBUG: probabilities of action success (DCM model):
670.19/627.10 c pb/competition_2010/bsolo_pb10-l1 : 0.0043 0.0058 0.0365 0.0929 0.1481 0.1780 0.2865
670.19/627.10 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0089 0.0225 0.0312 0.1171
670.19/627.10 c pb/competition_2010/bsolo_pb10-l3 : 0.0297 0.0007 0.0671 0.0686 0.0720 0.0984 0.1784
670.19/627.10 c pb/competition_2010/wbo1.4a : 0.0419 0.0064 0.0052 0.2447 0.3890 0.4751 0.7470
670.19/627.10 c pb/competition_2010/wbo1.4b : 0.0310 0.0007 0.0249 0.2925 0.4487 0.5442 0.7181
670.19/627.10 c pb/other/clasp-1.3.3 : 0.0408 0.0415 0.0717 0.5640 0.6738 0.7185 0.8288
670.19/627.10 c pb/other/sat4j-pb-v20090829 : 0.0081 0.0414 0.0012 0.1953 0.2599 0.3078 0.4741
670.19/627.10 c pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0182 0.0189 0.0346 0.0729 0.0895 0.2196
670.19/627.10 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
681.33/637.70 c DEBUG: probabilities of action success (DCM model):
681.33/637.70 c pb/competition_2010/bsolo_pb10-l1 : 0.0042 0.0051 0.0367 0.0952 0.1515 0.1809 0.2919
681.33/637.70 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0091 0.0232 0.0322 0.1217
681.33/637.70 c pb/competition_2010/bsolo_pb10-l3 : 0.0308 0.0006 0.0658 0.0668 0.0704 0.0979 0.1806
681.33/637.70 c pb/competition_2010/wbo1.4a : 0.0007 0.0062 0.0054 0.2431 0.3935 0.4830 0.7552
681.33/637.70 c pb/competition_2010/wbo1.4b : 0.0322 0.0006 0.0259 0.2941 0.4539 0.5495 0.7272
681.33/637.70 c pb/other/clasp-1.3.3 : 0.0407 0.0412 0.0702 0.5773 0.6906 0.7332 0.8386
681.33/637.70 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0415 0.0012 0.1996 0.2666 0.3166 0.4896
681.33/637.70 c pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0187 0.0192 0.0349 0.0747 0.0916 0.2271
681.33/637.70 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=973799222', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
692.44/648.40 c DEBUG: probabilities of action success (DCM model):
692.44/648.40 c pb/competition_2010/bsolo_pb10-l1 : 0.0039 0.0049 0.0378 0.0982 0.1569 0.1862 0.2962
692.44/648.40 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0095 0.0242 0.0336 0.1245
692.44/648.40 c pb/competition_2010/bsolo_pb10-l3 : 0.0321 0.0007 0.0669 0.0680 0.0717 0.1000 0.1846
692.44/648.40 c pb/competition_2010/wbo1.4a : 0.0007 0.0064 0.0056 0.2461 0.3974 0.4861 0.7556
692.44/648.40 c pb/competition_2010/wbo1.4b : 0.0321 0.0006 0.0266 0.2983 0.4618 0.5570 0.7307
692.44/648.40 c pb/other/clasp-1.3.3 : 0.0387 0.0405 0.0702 0.5772 0.6912 0.7339 0.8394
692.44/648.40 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0428 0.0012 0.2064 0.2748 0.3250 0.4951
692.44/648.40 c pb/other/sat4j-pb-v20090829-cutting : 0.0036 0.0179 0.0184 0.0347 0.0737 0.0907 0.2256
692.44/648.40 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2074299940', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
703.69/659.09 c DEBUG: probabilities of action success (DCM model):
703.69/659.09 c pb/competition_2010/bsolo_pb10-l1 : 0.0037 0.0048 0.0389 0.1012 0.1623 0.1915 0.3004
703.69/659.09 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0099 0.0251 0.0349 0.1274
703.69/659.09 c pb/competition_2010/bsolo_pb10-l3 : 0.0334 0.0007 0.0680 0.0691 0.0729 0.1020 0.1884
703.69/659.09 c pb/competition_2010/wbo1.4a : 0.0008 0.0067 0.0057 0.2490 0.4011 0.4892 0.7558
703.69/659.09 c pb/competition_2010/wbo1.4b : 0.0320 0.0006 0.0273 0.3025 0.4695 0.5642 0.7341
703.69/659.09 c pb/other/clasp-1.3.3 : 0.0369 0.0398 0.0702 0.5772 0.6919 0.7347 0.8403
703.69/659.09 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0442 0.0013 0.2134 0.2832 0.3336 0.5007
703.69/659.09 c pb/other/sat4j-pb-v20090829-cutting : 0.0034 0.0174 0.0179 0.0348 0.0730 0.0901 0.2243
703.69/659.09 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=16130545', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
714.93/669.79 c DEBUG: probabilities of action success (DCM model):
714.93/669.79 c pb/competition_2010/bsolo_pb10-l1 : 0.0036 0.0047 0.0401 0.1043 0.1677 0.1967 0.3047
714.93/669.79 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0103 0.0261 0.0362 0.1301
714.93/669.79 c pb/competition_2010/bsolo_pb10-l3 : 0.0347 0.0007 0.0690 0.0701 0.0742 0.1041 0.1923
714.93/669.79 c pb/competition_2010/wbo1.4a : 0.0008 0.0069 0.0059 0.2519 0.4048 0.4922 0.7560
714.93/669.79 c pb/competition_2010/wbo1.4b : 0.0319 0.0006 0.0280 0.3065 0.4771 0.5714 0.7375
714.93/669.79 c pb/other/clasp-1.3.3 : 0.0352 0.0390 0.0701 0.5772 0.6926 0.7356 0.8412
714.93/669.79 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0456 0.0013 0.2203 0.2917 0.3422 0.5065
714.93/669.79 c pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0170 0.0176 0.0351 0.0725 0.0897 0.2232
715.07/669.80 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1961056446', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
726.32/680.51 c DEBUG: probabilities of action success (DCM model):
726.32/680.51 c pb/competition_2010/bsolo_pb10-l1 : 0.0035 0.0046 0.0414 0.1073 0.1730 0.2020 0.3089
726.32/680.51 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0106 0.0270 0.0376 0.1328
726.32/680.51 c pb/competition_2010/bsolo_pb10-l3 : 0.0359 0.0007 0.0700 0.0712 0.0753 0.1061 0.1960
726.32/680.51 c pb/competition_2010/wbo1.4a : 0.0008 0.0071 0.0061 0.2547 0.4085 0.4952 0.7561
726.32/680.51 c pb/competition_2010/wbo1.4b : 0.0318 0.0006 0.0287 0.3105 0.4845 0.5783 0.7407
726.32/680.51 c pb/other/clasp-1.3.3 : 0.0337 0.0383 0.0700 0.5774 0.6935 0.7365 0.8422
726.32/680.51 c pb/other/sat4j-pb-v20090829 : 0.0085 0.0471 0.0014 0.2273 0.3002 0.3509 0.5123
726.32/680.51 c pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0168 0.0174 0.0356 0.0721 0.0895 0.2223
726.32/680.51 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
737.45/691.11 c DEBUG: probabilities of action success (DCM model):
737.45/691.11 c pb/competition_2010/bsolo_pb10-l1 : 0.0035 0.0046 0.0335 0.0887 0.1422 0.1723 0.2831
737.45/691.11 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0110 0.0239 0.0348 0.1243
737.45/691.11 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0006 0.0633 0.0644 0.0688 0.0951 0.1792
737.45/691.11 c pb/competition_2010/wbo1.4a : 0.0008 0.0074 0.0063 0.2548 0.4004 0.4857 0.7517
737.45/691.11 c pb/competition_2010/wbo1.4b : 0.0330 0.0006 0.0260 0.3033 0.4653 0.5626 0.7311
737.45/691.11 c pb/other/clasp-1.3.3 : 0.0349 0.0397 0.0725 0.5710 0.6821 0.7268 0.8363
737.45/691.11 c pb/other/sat4j-pb-v20090829 : 0.0088 0.0488 0.0013 0.2079 0.2742 0.3267 0.4941
737.45/691.11 c pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0174 0.0180 0.0367 0.0746 0.0926 0.2304
737.45/691.11 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1281395026', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
748.69/701.80 c DEBUG: probabilities of action success (DCM model):
748.69/701.80 c pb/competition_2010/bsolo_pb10-l1 : 0.0034 0.0046 0.0345 0.0912 0.1467 0.1766 0.2865
748.69/701.80 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0114 0.0247 0.0360 0.1268
748.69/701.80 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0006 0.0641 0.0652 0.0697 0.0968 0.1824
748.69/701.80 c pb/competition_2010/wbo1.4a : 0.0008 0.0077 0.0065 0.2576 0.4039 0.4884 0.7517
748.69/701.80 c pb/competition_2010/wbo1.4b : 0.0330 0.0006 0.0266 0.3071 0.4722 0.5692 0.7341
748.69/701.80 c pb/other/clasp-1.3.3 : 0.0335 0.0390 0.0725 0.5709 0.6826 0.7274 0.8371
748.69/701.80 c pb/other/sat4j-pb-v20090829 : 0.0089 0.0504 0.0014 0.2144 0.2821 0.3348 0.4995
748.69/701.80 c pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0173 0.0179 0.0373 0.0744 0.0926 0.2299
748.69/701.80 c DETAIL: running [u'java', u'-server', u'-Xms1300m', u'-Xmx1300m', u'-jar', u'HOME/etc/solvers/other/sat4j-pb-v20090826/org.sat4j.pb.jar', u'HOME/instance-3740808-1338720939.opb'] for 0:00:50
801.78/740.01 c DEBUG: probabilities of action success (DCM model):
801.78/740.01 c pb/competition_2010/bsolo_pb10-l1 : 0.0027 0.0033 0.0343 0.0933 0.1487 0.1802 0.2953
801.78/740.01 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0068 0.0207 0.0275 0.1219
801.78/740.01 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0674 0.0680 0.0719 0.1000 0.1870
801.78/740.01 c pb/competition_2010/wbo1.4a : 0.0006 0.0066 0.0068 0.2480 0.3953 0.4814 0.7562
801.78/740.01 c pb/competition_2010/wbo1.4b : 0.0339 0.0006 0.0270 0.3026 0.4612 0.5528 0.7230
801.78/740.01 c pb/other/clasp-1.3.3 : 0.0351 0.0409 0.0745 0.5713 0.6785 0.7222 0.8293
801.78/740.01 c pb/other/sat4j-pb-v20090829 : 0.0060 0.0004 0.0011 0.1829 0.2472 0.3019 0.4737
801.78/740.01 c pb/other/sat4j-pb-v20090829-cutting : 0.0026 0.0140 0.0144 0.0310 0.0693 0.0875 0.2214
801.78/740.01 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1373778782', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
813.03/750.70 c DEBUG: probabilities of action success (DCM model):
813.03/750.70 c pb/competition_2010/bsolo_pb10-l1 : 0.0027 0.0033 0.0354 0.0960 0.1534 0.1848 0.2992
813.03/750.70 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0071 0.0214 0.0284 0.1243
813.03/750.70 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0683 0.0690 0.0730 0.1019 0.1906
813.03/750.70 c pb/competition_2010/wbo1.4a : 0.0006 0.0068 0.0070 0.2506 0.3986 0.4840 0.7563
813.03/750.70 c pb/competition_2010/wbo1.4b : 0.0339 0.0006 0.0276 0.3064 0.4679 0.5590 0.7256
813.03/750.70 c pb/other/clasp-1.3.3 : 0.0338 0.0402 0.0745 0.5713 0.6790 0.7228 0.8299
813.03/750.70 c pb/other/sat4j-pb-v20090829 : 0.0061 0.0004 0.0012 0.1887 0.2544 0.3093 0.4786
813.03/750.70 c pb/other/sat4j-pb-v20090829-cutting : 0.0025 0.0141 0.0144 0.0316 0.0691 0.0875 0.2207
813.03/750.70 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
824.19/761.32 c DEBUG: probabilities of action success (DCM model):
824.19/761.32 c pb/competition_2010/bsolo_pb10-l1 : 0.0021 0.0027 0.0359 0.0961 0.1555 0.1853 0.2919
824.19/761.32 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0073 0.0222 0.0294 0.1169
824.19/761.32 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0706 0.0713 0.0755 0.1030 0.1852
824.19/761.32 c pb/competition_2010/wbo1.4a : 0.0007 0.0065 0.0052 0.2439 0.3901 0.4758 0.7496
824.19/761.32 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0267 0.2960 0.4524 0.5454 0.7179
824.19/761.32 c pb/other/clasp-1.3.3 : 0.0338 0.0415 0.0712 0.5594 0.6694 0.7147 0.8248
824.19/761.32 c pb/other/sat4j-pb-v20090829 : 0.0056 0.0004 0.0012 0.1911 0.2541 0.3010 0.4646
824.19/761.32 c pb/other/sat4j-pb-v20090829-cutting : 0.0020 0.0120 0.0123 0.0301 0.0690 0.0845 0.2092
824.19/761.32 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=449605876', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
835.42/772.01 c DEBUG: probabilities of action success (DCM model):
835.42/772.01 c pb/competition_2010/bsolo_pb10-l1 : 0.0021 0.0027 0.0371 0.0989 0.1604 0.1901 0.2959
835.42/772.01 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0076 0.0230 0.0305 0.1193
835.42/772.01 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0716 0.0723 0.0767 0.1049 0.1888
835.42/772.01 c pb/competition_2010/wbo1.4a : 0.0007 0.0067 0.0053 0.2464 0.3934 0.4784 0.7497
835.42/772.01 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0273 0.2998 0.4592 0.5516 0.7206
835.42/772.01 c pb/other/clasp-1.3.3 : 0.0326 0.0409 0.0712 0.5595 0.6700 0.7154 0.8255
835.42/772.01 c pb/other/sat4j-pb-v20090829 : 0.0057 0.0004 0.0012 0.1971 0.2615 0.3086 0.4696
835.42/772.01 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0120 0.0124 0.0308 0.0689 0.0846 0.2085
835.42/772.01 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1826059158', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
846.68/782.72 c DEBUG: probabilities of action success (DCM model):
846.68/782.72 c pb/competition_2010/bsolo_pb10-l1 : 0.0020 0.0027 0.0382 0.1017 0.1653 0.1949 0.2998
846.68/782.72 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0078 0.0237 0.0315 0.1217
846.68/782.72 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0726 0.0733 0.0778 0.1068 0.1923
846.68/782.72 c pb/competition_2010/wbo1.4a : 0.0007 0.0069 0.0055 0.2489 0.3967 0.4810 0.7498
846.68/782.72 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0279 0.3035 0.4659 0.5577 0.7233
846.68/782.72 c pb/other/clasp-1.3.3 : 0.0314 0.0402 0.0712 0.5597 0.6707 0.7161 0.8262
846.68/782.72 c pb/other/sat4j-pb-v20090829 : 0.0058 0.0004 0.0013 0.2031 0.2690 0.3163 0.4747
846.68/782.72 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0121 0.0125 0.0315 0.0689 0.0847 0.2079
846.68/782.72 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1982225094', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
857.91/793.44 c DEBUG: probabilities of action success (DCM model):
857.91/793.44 c pb/competition_2010/bsolo_pb10-l1 : 0.0020 0.0027 0.0394 0.1045 0.1701 0.1997 0.3036
857.91/793.44 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0081 0.0245 0.0325 0.1240
857.91/793.44 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0735 0.0742 0.0789 0.1086 0.1958
857.91/793.44 c pb/competition_2010/wbo1.4a : 0.0007 0.0072 0.0056 0.2514 0.3999 0.4836 0.7499
857.91/793.44 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0286 0.3071 0.4724 0.5638 0.7259
857.91/793.44 c pb/other/clasp-1.3.3 : 0.0302 0.0396 0.0712 0.5599 0.6714 0.7169 0.8270
857.91/793.44 c pb/other/sat4j-pb-v20090829 : 0.0059 0.0004 0.0013 0.2091 0.2764 0.3239 0.4798
857.91/793.44 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0122 0.0126 0.0322 0.0689 0.0848 0.2073
857.91/793.44 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=10254120', u'HOME/instance-3740808-1338720939.opb'] for 0:05:00
1172.81/1094.20 c DEBUG: probabilities of action success (DCM model):
1172.81/1094.20 c pb/competition_2010/bsolo_pb10-l1 : 0.0012 0.0012 0.0216 0.0535 0.0928 0.1260 0.1855
1172.81/1094.20 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0090 0.0182 0.0273 0.0580
1172.81/1094.20 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0009 0.0884 0.0884 0.0919 0.1067 0.1442
1172.81/1094.20 c pb/competition_2010/wbo1.4a : 0.0007 0.0059 0.0051 0.2297 0.3012 0.3408 0.6113
1172.81/1094.20 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0135 0.2740 0.3801 0.4819 0.5905
1172.81/1094.20 c pb/other/clasp-1.3.3 : 0.0308 0.0436 0.0752 0.1586 0.4271 0.5030 0.6902
1172.81/1094.20 c pb/other/sat4j-pb-v20090829 : 0.0057 0.0004 0.0008 0.1472 0.1817 0.1915 0.2495
1172.81/1094.20 c pb/other/sat4j-pb-v20090829-cutting : 0.0011 0.0079 0.0079 0.0220 0.0407 0.0447 0.0950
1172.81/1094.20 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3740808-1338720939.opb'] for 0:01:40
1278.82/1195.40 c DEBUG: probabilities of action success (DCM model):
1278.82/1195.40 c pb/competition_2010/bsolo_pb10-l1 : 0.0012 0.0012 0.0180 0.0450 0.0793 0.1122 0.1736
1278.82/1195.40 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0099 0.0175 0.0274 0.0555
1278.82/1195.40 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0839 0.0877 0.1006 0.1362
1278.82/1195.40 c pb/competition_2010/wbo1.4a : 0.0007 0.0064 0.0054 0.2315 0.3015 0.3421 0.6136
1278.82/1195.40 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0125 0.2708 0.3725 0.4767 0.5917
1278.82/1195.40 c pb/other/clasp-1.3.3 : 0.0312 0.0441 0.0751 0.1644 0.4310 0.5068 0.6935
1278.82/1195.40 c pb/other/sat4j-pb-v20090829 : 0.0062 0.0004 0.0008 0.1446 0.1768 0.1876 0.2511
1278.82/1195.40 c pb/other/sat4j-pb-v20090829-cutting : 0.0012 0.0085 0.0085 0.0240 0.0446 0.0489 0.1041
1278.82/1195.40 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=775098691', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
1289.93/1206.08 c DEBUG: probabilities of action success (DCM model):
1289.93/1206.08 c pb/competition_2010/bsolo_pb10-l1 : 0.0012 0.0012 0.0186 0.0463 0.0818 0.1145 0.1754
1289.93/1206.08 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0102 0.0180 0.0283 0.0571
1289.93/1206.08 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0841 0.0881 0.1013 0.1380
1289.93/1206.08 c pb/competition_2010/wbo1.4a : 0.0007 0.0066 0.0055 0.2333 0.3039 0.3444 0.6141
1289.93/1206.08 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0129 0.2730 0.3767 0.4808 0.5942
1289.93/1206.08 c pb/other/clasp-1.3.3 : 0.0302 0.0437 0.0749 0.1639 0.4325 0.5082 0.6948
1289.93/1206.08 c pb/other/sat4j-pb-v20090829 : 0.0064 0.0004 0.0008 0.1491 0.1822 0.1932 0.2556
1289.93/1206.08 c pb/other/sat4j-pb-v20090829-cutting : 0.0012 0.0087 0.0087 0.0246 0.0449 0.0493 0.1046
1289.93/1206.08 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=563070316', u'HOME/instance-3740808-1338720939.opb'] for 0:01:40
1395.30/1306.62 c DEBUG: probabilities of action success (DCM model):
1395.30/1306.62 c pb/competition_2010/bsolo_pb10-l1 : 0.0013 0.0013 0.0200 0.0495 0.0869 0.1187 0.1793
1395.30/1306.62 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0110 0.0194 0.0305 0.0600
1395.30/1306.62 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0838 0.0876 0.1017 0.1392
1395.30/1306.62 c pb/competition_2010/wbo1.4a : 0.0007 0.0065 0.0058 0.2319 0.3067 0.3500 0.6188
1395.30/1306.62 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0131 0.2717 0.3784 0.4836 0.6011
1395.30/1306.62 c pb/other/clasp-1.3.3 : 0.0300 0.0437 0.0685 0.1631 0.4447 0.5190 0.7025
1395.30/1306.62 c pb/other/sat4j-pb-v20090829 : 0.0068 0.0004 0.0008 0.1572 0.1922 0.2026 0.2680
1395.30/1306.62 c pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0088 0.0088 0.0241 0.0455 0.0499 0.1080
1395.30/1306.62 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=144233694', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
1406.55/1317.33 c DEBUG: probabilities of action success (DCM model):
1406.55/1317.33 c pb/competition_2010/bsolo_pb10-l1 : 0.0013 0.0013 0.0206 0.0509 0.0895 0.1211 0.1813
1406.55/1317.33 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0114 0.0200 0.0314 0.0617
1406.55/1317.33 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0840 0.0880 0.1025 0.1410
1406.55/1317.33 c pb/competition_2010/wbo1.4a : 0.0007 0.0067 0.0059 0.2338 0.3092 0.3523 0.6192
1406.55/1317.33 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0135 0.2740 0.3827 0.4878 0.6036
1406.55/1317.33 c pb/other/clasp-1.3.3 : 0.0290 0.0433 0.0683 0.1625 0.4462 0.5205 0.7038
1406.55/1317.33 c pb/other/sat4j-pb-v20090829 : 0.0070 0.0005 0.0009 0.1619 0.1978 0.2084 0.2727
1406.55/1317.33 c pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0090 0.0090 0.0247 0.0458 0.0502 0.1085
1406.55/1317.34 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=800009240', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
1417.78/1328.03 c DEBUG: probabilities of action success (DCM model):
1417.78/1328.03 c pb/competition_2010/bsolo_pb10-l1 : 0.0013 0.0013 0.0211 0.0524 0.0921 0.1236 0.1832
1417.78/1328.03 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0117 0.0206 0.0324 0.0633
1417.78/1328.03 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0843 0.0883 0.1033 0.1428
1417.78/1328.03 c pb/competition_2010/wbo1.4a : 0.0007 0.0069 0.0060 0.2356 0.3117 0.3546 0.6197
1417.78/1328.03 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0139 0.2763 0.3870 0.4921 0.6061
1417.78/1328.03 c pb/other/clasp-1.3.3 : 0.0281 0.0428 0.0681 0.1619 0.4478 0.5220 0.7051
1417.78/1328.03 c pb/other/sat4j-pb-v20090829 : 0.0072 0.0005 0.0009 0.1666 0.2035 0.2143 0.2774
1417.78/1328.03 c pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0091 0.0091 0.0253 0.0461 0.0506 0.1090
1417.78/1328.03 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1212487600', u'HOME/instance-3740808-1338720939.opb'] for 0:00:50
1470.77/1378.67 c DEBUG: probabilities of action success (DCM model):
1470.77/1378.67 c pb/competition_2010/bsolo_pb10-l1 : 0.0013 0.0013 0.0221 0.0547 0.0962 0.1275 0.1865
1470.77/1378.67 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0122 0.0215 0.0338 0.0661
1470.77/1378.67 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0848 0.0890 0.1046 0.1458
1470.77/1378.67 c pb/competition_2010/wbo1.4a : 0.0007 0.0071 0.0062 0.2386 0.3157 0.3579 0.6201
1470.77/1378.67 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0145 0.2803 0.3943 0.4990 0.6098
1470.77/1378.67 c pb/other/clasp-1.3.3 : 0.0277 0.0371 0.0679 0.1611 0.4496 0.5239 0.7068
1470.77/1378.67 c pb/other/sat4j-pb-v20090829 : 0.0075 0.0005 0.0009 0.1737 0.2123 0.2235 0.2844
1470.77/1378.67 c pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0094 0.0094 0.0263 0.0464 0.0512 0.1097
1470.77/1378.67 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=29887108', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
1482.03/1389.35 c DEBUG: probabilities of action success (DCM model):
1482.03/1389.35 c pb/competition_2010/bsolo_pb10-l1 : 0.0013 0.0013 0.0227 0.0562 0.0989 0.1300 0.1885
1482.03/1389.35 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0125 0.0221 0.0347 0.0678
1482.03/1389.35 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0850 0.0893 0.1053 0.1477
1482.03/1389.35 c pb/competition_2010/wbo1.4a : 0.0007 0.0073 0.0064 0.2405 0.3183 0.3603 0.6207
1482.03/1389.35 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0149 0.2825 0.3986 0.5033 0.6124
1482.03/1389.35 c pb/other/clasp-1.3.3 : 0.0268 0.0368 0.0677 0.1606 0.4514 0.5256 0.7083
1482.03/1389.35 c pb/other/sat4j-pb-v20090829 : 0.0077 0.0005 0.0010 0.1786 0.2181 0.2295 0.2893
1482.03/1389.35 c pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0096 0.0096 0.0269 0.0467 0.0516 0.1103
1482.03/1389.35 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1632278174', u'HOME/instance-3740808-1338720939.opb'] for 0:01:40
1587.39/1489.91 c DEBUG: probabilities of action success (DCM model):
1587.39/1489.91 c pb/competition_2010/bsolo_pb10-l1 : 0.0014 0.0014 0.0243 0.0599 0.1051 0.1352 0.1936
1587.39/1489.91 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0134 0.0237 0.0372 0.0717
1587.39/1489.91 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0845 0.0888 0.1059 0.1499
1587.39/1489.91 c pb/competition_2010/wbo1.4a : 0.0006 0.0074 0.0067 0.2407 0.3231 0.3681 0.6266
1587.39/1489.91 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0154 0.2829 0.4030 0.5086 0.6212
1587.39/1489.91 c pb/other/clasp-1.3.3 : 0.0266 0.0363 0.0632 0.1609 0.4655 0.5381 0.7173
1587.39/1489.91 c pb/other/sat4j-pb-v20090829 : 0.0082 0.0005 0.0010 0.1888 0.2307 0.2420 0.3051
1587.39/1489.91 c pb/other/sat4j-pb-v20090829-cutting : 0.0014 0.0099 0.0099 0.0272 0.0481 0.0530 0.1150
1587.39/1489.91 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=123759708', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
1598.48/1500.59 c DEBUG: probabilities of action success (DCM model):
1598.48/1500.59 c pb/competition_2010/bsolo_pb10-l1 : 0.0014 0.0014 0.0249 0.0615 0.1079 0.1378 0.1957
1598.48/1500.59 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0138 0.0244 0.0382 0.0735
1598.48/1500.59 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0848 0.0892 0.1067 0.1518
1598.48/1500.59 c pb/competition_2010/wbo1.4a : 0.0006 0.0076 0.0068 0.2425 0.3258 0.3706 0.6272
1598.48/1500.59 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0158 0.2852 0.4075 0.5130 0.6239
1598.48/1500.59 c pb/other/clasp-1.3.3 : 0.0257 0.0360 0.0629 0.1602 0.4674 0.5399 0.7188
1598.48/1500.59 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0005 0.0010 0.1938 0.2368 0.2483 0.3102
1598.48/1500.59 c pb/other/sat4j-pb-v20090829-cutting : 0.0014 0.0100 0.0100 0.0278 0.0484 0.0534 0.1156
1598.61/1500.60 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1073417474', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
1609.70/1511.28 c DEBUG: probabilities of action success (DCM model):
1609.70/1511.28 c pb/competition_2010/bsolo_pb10-l1 : 0.0014 0.0014 0.0255 0.0630 0.1107 0.1404 0.1978
1609.70/1511.28 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0141 0.0250 0.0392 0.0753
1609.70/1511.28 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0850 0.0896 0.1075 0.1537
1609.70/1511.28 c pb/competition_2010/wbo1.4a : 0.0006 0.0078 0.0069 0.2444 0.3285 0.3731 0.6278
1609.70/1511.28 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0162 0.2876 0.4120 0.5174 0.6267
1609.70/1511.28 c pb/other/clasp-1.3.3 : 0.0249 0.0356 0.0626 0.1596 0.4693 0.5418 0.7204
1609.70/1511.28 c pb/other/sat4j-pb-v20090829 : 0.0086 0.0006 0.0011 0.1988 0.2428 0.2545 0.3153
1609.70/1511.28 c pb/other/sat4j-pb-v20090829-cutting : 0.0014 0.0102 0.0102 0.0284 0.0487 0.0538 0.1162
1609.70/1511.28 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1883825574', u'HOME/instance-3740808-1338720939.opb'] for 0:01:40
1715.10/1611.86 c DEBUG: probabilities of action success (DCM model):
1715.10/1611.86 c pb/competition_2010/bsolo_pb10-l1 : 0.0015 0.0015 0.0272 0.0670 0.1173 0.1461 0.2034
1715.10/1611.86 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0151 0.0266 0.0418 0.0795
1715.10/1611.86 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0008 0.0008 0.0845 0.0891 0.1081 0.1564
1715.10/1611.86 c pb/competition_2010/wbo1.4a : 0.0006 0.0079 0.0073 0.2453 0.3343 0.3817 0.6341
1715.10/1611.86 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0169 0.2886 0.4175 0.5237 0.6363
1715.10/1611.86 c pb/other/clasp-1.3.3 : 0.0246 0.0350 0.0588 0.1603 0.4842 0.5551 0.7298
1715.10/1611.86 c pb/other/sat4j-pb-v20090829 : 0.0091 0.0006 0.0011 0.2100 0.2566 0.2684 0.3324
1715.10/1611.86 c pb/other/sat4j-pb-v20090829-cutting : 0.0015 0.0106 0.0106 0.0290 0.0504 0.0556 0.1215
1715.10/1611.86 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=872224905', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
1726.34/1622.57 c DEBUG: probabilities of action success (DCM model):
1726.34/1622.57 c pb/competition_2010/bsolo_pb10-l1 : 0.0015 0.0015 0.0278 0.0686 0.1202 0.1488 0.2056
1726.34/1622.57 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0154 0.0273 0.0428 0.0814
1726.34/1622.57 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0008 0.0008 0.0847 0.0894 0.1090 0.1584
1726.34/1622.57 c pb/competition_2010/wbo1.4a : 0.0006 0.0081 0.0074 0.2472 0.3370 0.3842 0.6348
1726.34/1622.57 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0173 0.2910 0.4222 0.5283 0.6391
1726.34/1622.57 c pb/other/clasp-1.3.3 : 0.0239 0.0347 0.0585 0.1597 0.4862 0.5569 0.7314
1726.34/1622.57 c pb/other/sat4j-pb-v20090829 : 0.0093 0.0006 0.0011 0.2151 0.2628 0.2749 0.3377
1726.34/1622.57 c pb/other/sat4j-pb-v20090829-cutting : 0.0015 0.0107 0.0107 0.0296 0.0506 0.0560 0.1221
1726.34/1622.57 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=269192479', u'HOME/instance-3740808-1338720939.opb'] for 0:00:10
1737.71/1633.30 c DEBUG: probabilities of action success (DCM model):
1737.71/1633.30 c pb/competition_2010/bsolo_pb10-l1 : 0.0015 0.0015 0.0285 0.0702 0.1231 0.1515 0.2078
1737.71/1633.30 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0158 0.0280 0.0439 0.0833
1737.71/1633.30 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0008 0.0008 0.0850 0.0898 0.1098 0.1603
1737.71/1633.30 c pb/competition_2010/wbo1.4a : 0.0006 0.0083 0.0075 0.2491 0.3397 0.3868 0.6354
1737.71/1633.30 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0177 0.2934 0.4267 0.5328 0.6420
1737.71/1633.30 c pb/other/clasp-1.3.3 : 0.0231 0.0343 0.0582 0.1590 0.4882 0.5588 0.7331
1737.71/1633.30 c pb/other/sat4j-pb-v20090829 : 0.0095 0.0006 0.0012 0.2203 0.2690 0.2812 0.3429
1737.71/1633.30 c pb/other/sat4j-pb-v20090829-cutting : 0.0015 0.0108 0.0108 0.0302 0.0509 0.0564 0.1228
1737.71/1633.31 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1295127729', u'HOME/instance-3740808-1338720939.opb'] for 0:01:40
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3740808-1338720939/watcher-3740808-1338720939 -o /tmp/evaluation-result-3740808-1338720939/solver-3740808-1338720939 -C 1800 -W 1900 -M 15500 solver HOME/instance-3740808-1338720939.opb 479694181
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.09 2.08 3/179 14933
/proc/meminfo: memFree=28335128/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/14933/stat : 14933 (python) R 14931 14933 11290 0 -1 4202496 848 0 0 0 0 0 0 0 20 0 1 0 338219317 15749120 601 33554432000 4194304 5683644 140735062161968 140735062134152 215143124884 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/14933/statm: 3845 607 332 364 0 287 0
[startup+0.0814651 s]
/proc/loadavg: 2.05 2.09 2.08 3/179 14933
/proc/meminfo: memFree=28335128/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=38488 CPUtime=0.04 cores=0,2,4,6
/proc/14933/stat : 14933 (python) D 14931 14933 11290 0 -1 4202496 3055 0 0 0 3 1 0 0 20 0 1 0 338219317 39411712 1416 33554432000 4194304 4196484 140735291857312 140735291739352 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 6 0 0 0 0 0
/proc/14933/statm: 9622 1416 479 1 0 898 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 38488
[startup+0.10024 s]
/proc/loadavg: 2.05 2.09 2.08 3/179 14933
/proc/meminfo: memFree=28335128/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=51900 CPUtime=0.06 cores=0,2,4,6
/proc/14933/stat : 14933 (python) D 14931 14933 11290 0 -1 4202496 3780 0 0 0 4 2 0 0 20 0 1 0 338219317 53145600 2012 33554432000 4194304 4196484 140735291857312 140735291680792 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 6 0 0 0 0 0
/proc/14933/statm: 12975 2012 567 1 0 1382 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 51900
[startup+0.300146 s]
/proc/loadavg: 2.05 2.09 2.08 3/179 14933
/proc/meminfo: memFree=28335128/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=101564 CPUtime=0.22 cores=0,2,4,6
/proc/14933/stat : 14933 (python) R 14931 14933 11290 0 -1 4202496 6639 507 0 0 15 7 0 0 20 0 1 0 338219317 104001536 4250 33554432000 4194304 4196484 140735291857312 140735291823272 140461918414931 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 25391 4250 1049 1 0 3193 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 101564
[startup+0.700145 s]
/proc/loadavg: 2.05 2.09 2.08 3/179 14933
/proc/meminfo: memFree=28335128/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=134488 CPUtime=0.47 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 11241 1012 0 0 35 12 0 0 20 0 1 0 338219317 137715712 6347 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/14933/statm: 33622 6347 1170 1 0 5194 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 134488
[startup+1.50024 s]
/proc/loadavg: 2.05 2.09 2.08 3/181 14939
/proc/meminfo: memFree=28261748/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=134488 CPUtime=0.49 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 11245 1012 0 0 37 12 0 0 20 0 1 0 338219317 137715712 6347 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/14933/statm: 33622 6347 1170 1 0 5194 0
[pid=14939] ppid=14933 vsize=86852 CPUtime=0.88 cores=0,2,4,6
/proc/14939/stat : 14939 (clasp-1.3.3-x86) R 14933 14939 14939 0 -1 4202496 19690 0 0 0 84 4 0 0 20 0 1 0 338219378 88936448 20856 33554432000 134512640 136080129 4292917312 4292914244 135505028 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/14939/statm: 21713 20857 165 383 0 21328 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 221340
[startup+3.10023 s]
/proc/loadavg: 2.05 2.09 2.08 2/178 14940
/proc/meminfo: memFree=28197736/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=134488 CPUtime=0.57 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 11249 1012 0 0 44 13 0 0 20 0 1 0 338219317 137715712 6347 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/14933/statm: 33622 6347 1170 1 0 5194 0
[pid=14939] ppid=14933 vsize=191568 CPUtime=2.48 cores=0,2,4,6
/proc/14939/stat : 14939 (clasp-1.3.3-x86) R 14933 14939 14939 0 -1 4202496 46031 0 0 0 237 11 0 0 20 0 1 0 338219378 196165632 47020 33554432000 134512640 136080129 4292917312 4292913988 135505028 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/14939/statm: 47892 47021 165 383 0 47507 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 326056
[startup+6.3003 s]
/proc/loadavg: 2.13 2.10 2.09 3/181 14983
/proc/meminfo: memFree=27961824/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=134488 CPUtime=0.73 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 11261 1012 0 0 58 15 0 0 20 0 1 0 338219317 137715712 6348 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/14933/statm: 33622 6348 1170 1 0 5194 0
[pid=14939] ppid=14933 vsize=377328 CPUtime=5.68 cores=0,2,4,6
/proc/14939/stat : 14939 (clasp-1.3.3-x86) R 14933 14939 14939 0 -1 4202496 90336 0 0 0 546 22 0 0 20 0 1 0 338219378 386383872 92590 33554432000 134512640 136080129 4292917312 4292916192 135520271 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/14939/statm: 94332 92590 174 383 0 93947 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 511816
[startup+12.7067 s]
/proc/loadavg: 2.12 2.10 2.09 3/181 14986
/proc/meminfo: memFree=28173160/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=11.33 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 12501 95774 0 0 85 19 1003 26 20 0 1 0 338219317 139825152 6368 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6368 1180 1 0 5194 0
[pid=14986] ppid=14933 vsize=149656 CPUtime=1.76 cores=0,2,4,6
/proc/14986/stat : 14986 (clasp-1.3.3-x86) R 14933 14986 14986 0 -1 4202496 35419 0 0 0 168 8 0 0 20 0 1 0 338220409 153247744 36413 33554432000 134512640 136080129 4289166880 4289163764 135505028 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/14986/statm: 37414 36413 165 383 0 37029 0
Current children cumulated CPU time (s) 13.09
Current children cumulated vsize (KiB) 286204
[startup+25.5003 s]
/proc/loadavg: 2.17 2.11 2.09 3/181 14989
/proc/meminfo: memFree=27924936/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=11.96 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 12527 95774 0 0 141 26 1003 26 20 0 1 0 338219317 139825152 6368 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6368 1180 1 0 5194 0
[pid=14986] ppid=14933 vsize=392684 CPUtime=14.56 cores=0,2,4,6
/proc/14986/stat : 14986 (clasp-1.3.3-x86) R 14933 14986 14986 0 -1 4202496 94079 0 0 0 1434 22 0 0 20 0 1 0 338220409 402108416 96338 33554432000 134512640 136080129 4289166880 4289165968 134836690 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/14986/statm: 98171 96338 176 383 0 97786 0
Current children cumulated CPU time (s) 26.52
Current children cumulated vsize (KiB) 529232
[startup+51.1003 s]
/proc/loadavg: 2.11 2.10 2.09 3/180 14989
/proc/meminfo: memFree=27871592/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=13.17 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 12551 95774 0 0 247 41 1003 26 20 0 1 0 338219317 139825152 6368 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6368 1180 1 0 5194 0
[pid=14986] ppid=14933 vsize=436032 CPUtime=40.15 cores=0,2,4,6
/proc/14986/stat : 14986 (clasp-1.3.3-x86) R 14933 14986 14986 0 -1 4202496 104854 0 0 0 3990 25 0 0 20 0 1 0 338220409 446496768 107104 33554432000 134512640 136080129 4289166880 4289165748 135505028 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/14986/statm: 109008 107104 176 383 0 108623 0
Current children cumulated CPU time (s) 53.32
Current children cumulated vsize (KiB) 572580
[startup+102.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/181 14996
/proc/meminfo: memFree=27817300/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=66.4 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 13735 206569 0 0 477 73 6034 56 20 0 1 0 338219317 139825152 6373 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6373 1180 1 0 5194 0
[pid=14993] ppid=14933 vsize=505252 CPUtime=40.7 cores=0,2,4,6
/proc/14993/stat : 14993 (wbo1.4a) R 14933 14993 14993 0 -1 4202496 181258 0 0 0 4040 30 0 0 20 0 1 0 338225473 517378048 119657 33554432000 134512640 135751879 4293381216 4293379468 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/14993/statm: 126313 119657 139 303 0 126008 0
Current children cumulated CPU time (s) 107.1
Current children cumulated vsize (KiB) 641800
[startup+162.307 s]
/proc/loadavg: 2.11 2.11 2.09 4/181 15002
/proc/meminfo: memFree=27837492/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=120.14 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 14968 390892 0 0 731 110 11081 92 20 0 1 0 338219317 139825152 6374 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6374 1180 1 0 5194 0
[pid=14999] ppid=14933 vsize=466356 CPUtime=49.83 cores=0,2,4,6
/proc/14999/stat : 14999 (clasp-1.3.3-x86) R 14933 14999 14999 0 -1 4202496 112455 0 0 0 4958 25 0 0 20 0 1 0 338230560 477548544 114706 33554432000 134512640 136080129 4286986896 4286985968 134849659 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/14999/statm: 116589 114706 176 383 0 116204 0
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (KiB) 602904
[startup+222.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/181 15008
/proc/meminfo: memFree=28126564/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=223.49 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 16193 522755 0 0 982 147 21093 127 20 0 1 0 338219317 139825152 6374 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6374 1180 1 0 5194 0
[pid=15005] ppid=14933 vsize=476572 CPUtime=9.3 cores=0,2,4,6
/proc/15005/stat : 15005 (wbo1.4a) R 14933 15005 15005 0 -1 4202496 81956 0 0 0 920 10 0 0 20 0 1 0 338240615 488009728 82305 33554432000 134512640 135751879 4289904304 4288853752 135206651 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15005/statm: 119143 82305 31067 303 0 52675 0
Current children cumulated CPU time (s) 232.79
Current children cumulated vsize (KiB) 613120
[startup+282.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/182 15011
/proc/meminfo: memFree=27778796/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=226.52 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 16244 522755 0 0 1250 182 21093 127 20 0 1 0 338219317 139825152 6375 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6375 1180 1 0 5194 0
[pid=15005] ppid=14933 vsize=532384 CPUtime=69.26 cores=0,2,4,6
/proc/15005/stat : 15005 (wbo1.4a) R 14933 15005 15005 0 -1 4202496 186752 0 0 0 6888 38 0 0 20 0 1 0 338240615 545161216 125643 33554432000 134512640 135751879 4289904304 4289902556 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15005/statm: 133096 125643 139 303 0 132791 0
Current children cumulated CPU time (s) 295.78
Current children cumulated vsize (KiB) 668932
[startup+342.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/182 15040
/proc/meminfo: memFree=27738380/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=330.19 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 17468 717585 0 0 1503 225 31115 176 20 0 1 0 338219317 139825152 6376 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6376 1180 1 0 5194 0
[pid=15014] ppid=14933 vsize=597548 CPUtime=28.51 cores=0,2,4,6
/proc/15014/stat : 15014 (wbo1.4b) R 14933 15014 15014 0 -1 4202496 204505 0 0 0 2822 29 0 0 20 0 1 0 338250693 611889152 141382 33554432000 134512640 135751879 4293058464 4293056512 134524019 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15014/statm: 149387 141382 141 303 0 149082 0
Current children cumulated CPU time (s) 358.7
Current children cumulated vsize (KiB) 734096
[startup+402.304 s]
/proc/loadavg: 2.56 2.20 2.12 5/217 15083
/proc/meminfo: memFree=26568764/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=384.24 cores=0,2,4,6
################
# More data... #
################
/proc/15222/statm: 174417 172689 176 383 0 174032 0
Current children cumulated CPU time (s) 1076.6
Current children cumulated vsize (KiB) 834216
[startup+1062.3 s]
/proc/loadavg: 2.02 2.14 2.13 3/181 15232
/proc/meminfo: memFree=27512804/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=870.7 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 40861 2944189 0 2 4604 682 80864 920 20 0 1 0 338219317 139825152 6385 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6385 1180 1 0 5194 0
[pid=15222] ppid=14933 vsize=753764 CPUtime=268.71 cores=0,2,4,6
/proc/15222/stat : 15222 (clasp-1.3.3-x86) R 14933 15222 15222 0 -1 4202496 184128 0 0 0 26820 51 0 0 20 0 1 0 338298661 771854336 187015 33554432000 134512640 136080129 4291039616 4291038688 134849656 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15222/statm: 188441 187015 176 383 0 188056 0
Current children cumulated CPU time (s) 1139.41
Current children cumulated vsize (KiB) 890312
[startup+1122.3 s]
/proc/loadavg: 2.09 2.14 2.13 3/181 15238
/proc/meminfo: memFree=27299580/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1174.17 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 42091 3137298 0 2 4854 721 110864 978 20 0 1 0 338219317 139825152 6385 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6385 1180 1 0 5194 0
[pid=15235] ppid=14933 vsize=1012300 CPUtime=28.08 cores=0,2,4,6
/proc/15235/stat : 15235 (bsolo_pb10) R 14933 15235 15235 0 -1 4202496 316445 0 0 0 2752 56 0 0 20 0 1 0 338328737 1036595200 249551 33554432000 134512640 137138936 4292289760 4289304352 134542199 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/15235/statm: 253075 249551 184 642 0 252431 0
Current children cumulated CPU time (s) 1202.25
Current children cumulated vsize (KiB) 1148848
[startup+1182.3 s]
/proc/loadavg: 2.07 2.13 2.13 3/181 15238
/proc/meminfo: memFree=26910984/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1177.02 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 42116 3137298 0 2 5103 757 110864 978 20 0 1 0 338219317 139825152 6385 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6385 1180 1 0 5194 0
[pid=15235] ppid=14933 vsize=1360784 CPUtime=88.06 cores=0,2,4,6
/proc/15235/stat : 15235 (bsolo_pb10) R 14933 15235 15235 0 -1 4202496 402041 0 0 0 8716 90 0 0 20 0 1 0 338328737 1393442816 336680 33554432000 134512640 137138936 4292289760 4289304348 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/15235/statm: 340196 336680 185 642 0 339552 0
Current children cumulated CPU time (s) 1265.08
Current children cumulated vsize (KiB) 1497332
[startup+1242.3 s]
/proc/loadavg: 2.07 2.12 2.12 4/181 15250
/proc/meminfo: memFree=27865024/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1291.79 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 44573 3635226 0 2 5363 791 121919 1106 20 0 1 0 338219317 139825152 6386 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6386 1180 1 0 5194 0
[pid=15244] ppid=14933 vsize=445448 CPUtime=36.19 cores=0,2,4,6
/proc/15244/stat : 15244 (clasp-1.3.3-x86) R 14933 15244 15244 0 -1 4202496 107404 0 0 0 3590 29 0 0 20 0 1 0 338339925 456138752 109650 33554432000 134512640 136080129 4286607104 4286606176 134849103 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15244/statm: 111362 109650 176 383 0 110977 0
Current children cumulated CPU time (s) 1327.98
Current children cumulated vsize (KiB) 581996
[startup+1302.3 s]
/proc/loadavg: 2.02 2.09 2.11 3/181 15251
/proc/meminfo: memFree=27736588/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1294.62 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 44599 3635226 0 2 5608 829 121919 1106 20 0 1 0 338219317 139825152 6386 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6386 1180 1 0 5194 0
[pid=15244] ppid=14933 vsize=551108 CPUtime=96.16 cores=0,2,4,6
/proc/15244/stat : 15244 (clasp-1.3.3-x86) R 14933 15244 15244 0 -1 4202496 133644 0 0 0 9578 38 0 0 20 0 1 0 338339925 564334592 135916 33554432000 134512640 136080129 4286607104 4286606304 134579207 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15244/statm: 137777 135916 176 383 0 137392 0
Current children cumulated CPU time (s) 1390.78
Current children cumulated vsize (KiB) 687656
[startup+1362.3 s]
/proc/loadavg: 2.17 2.13 2.12 3/181 15269
/proc/meminfo: memFree=27871968/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1419.48 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 48315 3961839 0 2 5869 868 134007 1204 20 0 1 0 338219317 139825152 6387 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6387 1180 1 0 5194 0
[pid=15263] ppid=14933 vsize=437640 CPUtime=34.25 cores=0,2,4,6
/proc/15263/stat : 15263 (clasp-1.3.3-x86) R 14933 15263 15263 0 -1 4202496 105474 0 0 0 3401 24 0 0 20 0 1 0 338352120 448143360 107718 33554432000 134512640 136080129 4294608144 4294607216 134849241 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15263/statm: 109410 107718 176 383 0 109025 0
Current children cumulated CPU time (s) 1453.73
Current children cumulated vsize (KiB) 574188
[startup+1422.3 s]
/proc/loadavg: 2.17 2.14 2.12 3/181 15281
/proc/meminfo: memFree=27899308/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1483.7 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 50810 4169586 0 2 6124 908 140079 1259 20 0 1 0 338219317 139825152 6387 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6387 1180 1 0 5194 0
[pid=15275] ppid=14933 vsize=412684 CPUtime=32.92 cores=0,2,4,6
/proc/15275/stat : 15275 (clasp-1.3.3-x86) R 14933 15275 15275 0 -1 4202496 99074 0 0 0 3269 23 0 0 20 0 1 0 338358252 422588416 101328 33554432000 134512640 136080129 4287761824 4287760900 134850021 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 103171 101328 176 383 0 102786 0
Current children cumulated CPU time (s) 1516.62
Current children cumulated vsize (KiB) 549232
[startup+1482.31 s]
/proc/loadavg: 2.06 2.11 2.11 3/182 15284
/proc/meminfo: memFree=27773344/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1486.52 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 50837 4169586 0 2 6369 945 140079 1259 20 0 1 0 338219317 139825152 6387 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6387 1180 1 0 5194 0
[pid=15275] ppid=14933 vsize=512368 CPUtime=92.9 cores=0,2,4,6
/proc/15275/stat : 15275 (clasp-1.3.3-x86) R 14933 15275 15275 0 -1 4202496 123750 0 0 0 9259 31 0 0 20 0 1 0 338358252 524664832 126028 33554432000 134512640 136080129 4287761824 4287760896 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 128092 126028 176 383 0 127707 0
Current children cumulated CPU time (s) 1579.42
Current children cumulated vsize (KiB) 648916
[startup+1542.3 s]
/proc/loadavg: 2.09 2.11 2.10 3/181 15302
/proc/meminfo: memFree=27896208/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1611.34 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 54563 4486949 0 2 6629 984 152173 1348 20 0 1 0 338219317 139825152 6388 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6388 1180 1 0 5194 0
[pid=15296] ppid=14933 vsize=414180 CPUtime=30.99 cores=0,2,4,6
/proc/15296/stat : 15296 (clasp-1.3.3-x86) R 14933 15296 15296 0 -1 4202496 99626 0 0 0 3075 24 0 0 20 0 1 0 338370445 424120320 101864 33554432000 134512640 136080129 4293746976 4293746064 134836693 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15296/statm: 103545 101864 176 383 0 103160 0
Current children cumulated CPU time (s) 1642.33
Current children cumulated vsize (KiB) 550728
[startup+1602.3 s]
/proc/loadavg: 2.15 2.13 2.11 3/181 15303
/proc/meminfo: memFree=27794432/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1614.2 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 54590 4486949 0 2 6876 1023 152173 1348 20 0 1 0 338219317 139825152 6388 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6388 1180 1 0 5194 0
[pid=15296] ppid=14933 vsize=504756 CPUtime=90.95 cores=0,2,4,6
/proc/15296/stat : 15296 (clasp-1.3.3-x86) R 14933 15296 15296 0 -1 4202496 122065 0 0 0 9063 32 0 0 20 0 1 0 338370445 516870144 124314 33554432000 134512640 136080129 4293746976 4293745700 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15296/statm: 126189 124314 176 383 0 125804 0
Current children cumulated CPU time (s) 1705.15
Current children cumulated vsize (KiB) 641304
[startup+1662.3 s]
/proc/loadavg: 2.09 2.12 2.10 3/181 15321
/proc/meminfo: memFree=27888272/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1739.12 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 58322 4804047 0 2 7138 1061 164278 1435 20 0 1 0 338219317 139825152 6388 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6388 1180 1 0 5194 0
[pid=15315] ppid=14933 vsize=425380 CPUtime=28.96 cores=0,2,4,6
/proc/15315/stat : 15315 (clasp-1.3.3-x86) R 14933 15315 15315 0 -1 4202496 102404 0 0 0 2871 25 0 0 20 0 1 0 338382648 435589120 104649 33554432000 134512640 136080129 4289904144 4289903136 134588765 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15315/statm: 106345 104649 176 383 0 105960 0
Current children cumulated CPU time (s) 1768.08
Current children cumulated vsize (KiB) 561928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1692.8 s]
/proc/loadavg: 2.05 2.11 2.10 3/181 15321
/proc/meminfo: memFree=27818412/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1740.57 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 58336 4804047 0 2 7263 1081 164278 1435 20 0 1 0 338219317 139825152 6388 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6388 1180 1 0 5194 0
[pid=15315] ppid=14933 vsize=483096 CPUtime=59.44 cores=0,2,4,6
/proc/15315/stat : 15315 (clasp-1.3.3-x86) R 14933 15315 15315 0 -1 4202496 116754 0 0 0 5916 28 0 0 20 0 1 0 338382648 494690304 118991 33554432000 134512640 136080129 4289904144 4289903216 134849694 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15315/statm: 120774 118991 176 383 0 120389 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 619644
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14933 and gives
# childrusage.ru_utime.tv_sec=1715
# childrusage.ru_utime.tv_usec=418216
# childrusage.ru_stime.tv_sec=25
# childrusage.ru_stime.tv_usec=173173
# CPU time returned by wait4() is 1740.59
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1692.81
CPU time (s): 1800.01
CPU user time (s): 1774.57
CPU system time (s): 25.44
CPU usage (%): 106.332
Max. virtual memory (cumulated for all children) (KiB): 2851688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1715.42
system time used= 25.1732
maximum resident set size= 1347740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4862383
page faults= 2
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17532
involuntary context switches= 55114
runsolver used 3.70144 second user time and 9.42357 second system time
The end