0.38/0.59 c DEBUG: probabilities of action success (DCM model):
0.38/0.59 c pb/competition_2010/bsolo_pb10-l1 : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
0.38/0.59 c pb/competition_2010/bsolo_pb10-l2 : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
0.38/0.59 c pb/competition_2010/bsolo_pb10-l3 : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
0.38/0.59 c pb/competition_2010/wbo1.4a : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
0.38/0.59 c pb/competition_2010/wbo1.4b : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
0.38/0.59 c pb/other/clasp-1.3.3 : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
0.38/0.59 c pb/other/sat4j-pb-v20090829 : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
0.38/0.59 c pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
0.46/0.60 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=446776164', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
0.55/0.71 c DEBUG: probabilities of action success (DCM model):
0.55/0.71 c pb/competition_2010/bsolo_pb10-l1 : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
0.55/0.71 c pb/competition_2010/bsolo_pb10-l2 : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
0.55/0.71 c pb/competition_2010/bsolo_pb10-l3 : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
0.55/0.71 c pb/competition_2010/wbo1.4a : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
0.55/0.71 c pb/competition_2010/wbo1.4b : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
0.55/0.71 c pb/other/clasp-1.3.3 : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
0.55/0.71 c pb/other/sat4j-pb-v20090829 : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
0.55/0.71 c pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
0.55/0.71 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=827771339', u'HOME/instance-3737922-1338718746.opb'] for 0:00:50
0.64/0.82 c DEBUG: probabilities of action success (DCM model):
0.64/0.82 c pb/competition_2010/bsolo_pb10-l1 : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
0.64/0.82 c pb/competition_2010/bsolo_pb10-l2 : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
0.64/0.82 c pb/competition_2010/bsolo_pb10-l3 : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
0.64/0.82 c pb/competition_2010/wbo1.4a : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
0.64/0.82 c pb/competition_2010/wbo1.4b : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
0.64/0.82 c pb/other/clasp-1.3.3 : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
0.64/0.82 c pb/other/sat4j-pb-v20090829 : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
0.64/0.82 c pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
0.64/0.82 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3737922-1338718746.opb'] for 0:00:50
53.55/51.20 c DEBUG: probabilities of action success (DCM model):
53.55/51.20 c pb/competition_2010/bsolo_pb10-l1 : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
53.55/51.20 c pb/competition_2010/bsolo_pb10-l2 : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
53.55/51.20 c pb/competition_2010/bsolo_pb10-l3 : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
53.55/51.20 c pb/competition_2010/wbo1.4a : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
53.55/51.20 c pb/competition_2010/wbo1.4b : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
53.55/51.20 c pb/other/clasp-1.3.3 : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
53.55/51.20 c pb/other/sat4j-pb-v20090829 : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
53.55/51.20 c pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
53.55/51.20 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=758378031', u'HOME/instance-3737922-1338718746.opb'] for 0:01:40
53.64/51.31 c DEBUG: probabilities of action success (DCM model):
53.64/51.31 c pb/competition_2010/bsolo_pb10-l1 : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
53.64/51.31 c pb/competition_2010/bsolo_pb10-l2 : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
53.64/51.31 c pb/competition_2010/bsolo_pb10-l3 : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
53.64/51.31 c pb/competition_2010/wbo1.4a : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
53.64/51.31 c pb/competition_2010/wbo1.4b : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
53.64/51.31 c pb/other/clasp-1.3.3 : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
53.64/51.31 c pb/other/sat4j-pb-v20090829 : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
53.64/51.31 c pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
53.64/51.31 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3737922-1338718746.opb'] for 0:01:40
159.07/152.06 c DEBUG: probabilities of action success (DCM model):
159.07/152.06 c pb/competition_2010/bsolo_pb10-l1 : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
159.07/152.06 c pb/competition_2010/bsolo_pb10-l2 : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
159.07/152.06 c pb/competition_2010/bsolo_pb10-l3 : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
159.07/152.06 c pb/competition_2010/wbo1.4a : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
159.07/152.06 c pb/competition_2010/wbo1.4b : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
159.07/152.06 c pb/other/clasp-1.3.3 : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
159.07/152.06 c pb/other/sat4j-pb-v20090829 : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
159.07/152.06 c pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
159.07/152.06 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3737922-1338718746.opb'] for 0:00:50
212.05/202.35 c DEBUG: probabilities of action success (DCM model):
212.05/202.35 c pb/competition_2010/bsolo_pb10-l1 : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
212.05/202.35 c pb/competition_2010/bsolo_pb10-l2 : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
212.05/202.35 c pb/competition_2010/bsolo_pb10-l3 : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
212.05/202.35 c pb/competition_2010/wbo1.4a : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
212.05/202.35 c pb/competition_2010/wbo1.4b : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
212.05/202.35 c pb/other/clasp-1.3.3 : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
212.05/202.35 c pb/other/sat4j-pb-v20090829 : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
212.05/202.35 c pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
212.05/202.35 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-3737922-1338718746.opb'] for 0:01:40
317.49/300.74 c DEBUG: probabilities of action success (DCM model):
317.49/300.74 c pb/competition_2010/bsolo_pb10-l1 : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
317.49/300.74 c pb/competition_2010/bsolo_pb10-l2 : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
317.49/300.74 c pb/competition_2010/bsolo_pb10-l3 : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
317.49/300.74 c pb/competition_2010/wbo1.4a : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
317.49/300.74 c pb/competition_2010/wbo1.4b : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
317.49/300.74 c pb/other/clasp-1.3.3 : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
317.49/300.74 c pb/other/sat4j-pb-v20090829 : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
317.49/300.74 c pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
317.49/300.74 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3737922-1338718746.opb'] for 0:01:40
422.70/401.19 c DEBUG: probabilities of action success (DCM model):
422.70/401.19 c pb/competition_2010/bsolo_pb10-l1 : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
422.70/401.19 c pb/competition_2010/bsolo_pb10-l2 : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
422.70/401.19 c pb/competition_2010/bsolo_pb10-l3 : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
422.70/401.19 c pb/competition_2010/wbo1.4a : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
422.70/401.19 c pb/competition_2010/wbo1.4b : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
422.70/401.19 c pb/other/clasp-1.3.3 : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
422.70/401.19 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
422.70/401.19 c pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
422.84/401.20 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3737922-1338718746.opb'] for 0:00:50
475.33/451.29 c DEBUG: probabilities of action success (DCM model):
475.33/451.29 c pb/competition_2010/bsolo_pb10-l1 : 0.0056 0.0070 0.0350 0.0875 0.1379 0.1679 0.2779
475.33/451.29 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0082 0.0206 0.0285 0.1112
475.33/451.29 c pb/competition_2010/bsolo_pb10-l3 : 0.0271 0.0006 0.0648 0.0663 0.0694 0.0943 0.1707
475.33/451.29 c pb/competition_2010/wbo1.4a : 0.0418 0.0058 0.0048 0.2383 0.3810 0.4683 0.7449
475.33/451.29 c pb/competition_2010/wbo1.4b : 0.0319 0.0007 0.0234 0.2842 0.4328 0.5290 0.7099
475.33/451.29 c pb/other/clasp-1.3.3 : 0.0466 0.0429 0.0715 0.5647 0.6728 0.7172 0.8274
475.33/451.29 c pb/other/sat4j-pb-v20090829 : 0.0089 0.0393 0.0011 0.1832 0.2460 0.2933 0.4648
475.33/451.29 c pb/other/sat4j-pb-v20090829-cutting : 0.0049 0.0225 0.0232 0.0376 0.0774 0.0936 0.2247
475.33/451.30 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=471989490', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
475.55/451.41 c DEBUG: probabilities of action success (DCM model):
475.55/451.41 c pb/competition_2010/bsolo_pb10-l1 : 0.0048 0.0062 0.0356 0.0901 0.1429 0.1729 0.2823
475.55/451.41 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0085 0.0216 0.0299 0.1142
475.55/451.41 c pb/competition_2010/bsolo_pb10-l3 : 0.0284 0.0006 0.0660 0.0675 0.0708 0.0964 0.1746
475.55/451.41 c pb/competition_2010/wbo1.4a : 0.0419 0.0061 0.0050 0.2416 0.3851 0.4718 0.7463
475.55/451.41 c pb/competition_2010/wbo1.4b : 0.0313 0.0007 0.0242 0.2884 0.4409 0.5368 0.7143
475.55/451.41 c pb/other/clasp-1.3.3 : 0.0432 0.0422 0.0717 0.5642 0.6732 0.7178 0.8280
475.55/451.41 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0402 0.0011 0.1889 0.2523 0.3000 0.4690
475.55/451.41 c pb/other/sat4j-pb-v20090829-cutting : 0.0041 0.0196 0.0203 0.0354 0.0744 0.0909 0.2215
475.55/451.42 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1250154421', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
475.66/451.53 c DEBUG: probabilities of action success (DCM model):
475.66/451.53 c pb/competition_2010/bsolo_pb10-l1 : 0.0043 0.0058 0.0365 0.0929 0.1481 0.1780 0.2865
475.66/451.53 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0089 0.0225 0.0312 0.1171
475.66/451.53 c pb/competition_2010/bsolo_pb10-l3 : 0.0297 0.0007 0.0671 0.0686 0.0720 0.0984 0.1784
475.66/451.53 c pb/competition_2010/wbo1.4a : 0.0419 0.0064 0.0052 0.2447 0.3890 0.4751 0.7470
475.66/451.53 c pb/competition_2010/wbo1.4b : 0.0310 0.0007 0.0249 0.2925 0.4487 0.5442 0.7181
475.66/451.53 c pb/other/clasp-1.3.3 : 0.0408 0.0415 0.0717 0.5640 0.6738 0.7185 0.8288
475.66/451.53 c pb/other/sat4j-pb-v20090829 : 0.0081 0.0414 0.0012 0.1953 0.2599 0.3078 0.4741
475.66/451.53 c pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0182 0.0189 0.0346 0.0729 0.0895 0.2196
475.66/451.54 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
486.48/461.64 c DEBUG: probabilities of action success (DCM model):
486.48/461.64 c pb/competition_2010/bsolo_pb10-l1 : 0.0042 0.0051 0.0367 0.0952 0.1515 0.1809 0.2919
486.48/461.64 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0091 0.0232 0.0322 0.1217
486.48/461.64 c pb/competition_2010/bsolo_pb10-l3 : 0.0308 0.0006 0.0658 0.0668 0.0704 0.0979 0.1806
486.48/461.64 c pb/competition_2010/wbo1.4a : 0.0007 0.0062 0.0054 0.2431 0.3935 0.4830 0.7552
486.48/461.64 c pb/competition_2010/wbo1.4b : 0.0322 0.0006 0.0259 0.2941 0.4539 0.5495 0.7272
486.48/461.64 c pb/other/clasp-1.3.3 : 0.0407 0.0412 0.0702 0.5773 0.6906 0.7332 0.8386
486.48/461.64 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0415 0.0012 0.1996 0.2666 0.3166 0.4896
486.48/461.64 c pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0187 0.0192 0.0349 0.0747 0.0916 0.2271
486.48/461.65 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=310453543', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
486.61/461.77 c DEBUG: probabilities of action success (DCM model):
486.61/461.77 c pb/competition_2010/bsolo_pb10-l1 : 0.0039 0.0049 0.0378 0.0982 0.1569 0.1862 0.2962
486.61/461.77 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0095 0.0242 0.0336 0.1245
486.61/461.77 c pb/competition_2010/bsolo_pb10-l3 : 0.0321 0.0007 0.0669 0.0680 0.0717 0.1000 0.1846
486.61/461.77 c pb/competition_2010/wbo1.4a : 0.0007 0.0064 0.0056 0.2461 0.3974 0.4861 0.7556
486.61/461.77 c pb/competition_2010/wbo1.4b : 0.0321 0.0006 0.0266 0.2983 0.4618 0.5570 0.7307
486.61/461.77 c pb/other/clasp-1.3.3 : 0.0387 0.0405 0.0702 0.5772 0.6912 0.7339 0.8394
486.61/461.77 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0428 0.0012 0.2064 0.2748 0.3250 0.4951
486.61/461.77 c pb/other/sat4j-pb-v20090829-cutting : 0.0036 0.0179 0.0184 0.0347 0.0737 0.0907 0.2256
486.61/461.77 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1287177095', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
486.70/461.89 c DEBUG: probabilities of action success (DCM model):
486.70/461.89 c pb/competition_2010/bsolo_pb10-l1 : 0.0037 0.0048 0.0389 0.1012 0.1623 0.1915 0.3004
486.70/461.89 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0099 0.0251 0.0349 0.1274
486.70/461.89 c pb/competition_2010/bsolo_pb10-l3 : 0.0334 0.0007 0.0680 0.0691 0.0729 0.1020 0.1884
486.70/461.89 c pb/competition_2010/wbo1.4a : 0.0008 0.0067 0.0057 0.2490 0.4011 0.4892 0.7558
486.70/461.89 c pb/competition_2010/wbo1.4b : 0.0320 0.0006 0.0273 0.3025 0.4695 0.5642 0.7341
486.70/461.89 c pb/other/clasp-1.3.3 : 0.0369 0.0398 0.0702 0.5772 0.6919 0.7347 0.8403
486.70/461.89 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0442 0.0013 0.2134 0.2832 0.3336 0.5007
486.70/461.89 c pb/other/sat4j-pb-v20090829-cutting : 0.0034 0.0174 0.0179 0.0348 0.0730 0.0901 0.2243
486.70/461.89 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=900989283', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
486.92/462.01 c DEBUG: probabilities of action success (DCM model):
486.92/462.01 c pb/competition_2010/bsolo_pb10-l1 : 0.0036 0.0047 0.0401 0.1043 0.1677 0.1967 0.3047
486.92/462.01 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0103 0.0261 0.0362 0.1301
486.92/462.01 c pb/competition_2010/bsolo_pb10-l3 : 0.0347 0.0007 0.0690 0.0701 0.0742 0.1041 0.1923
486.92/462.01 c pb/competition_2010/wbo1.4a : 0.0008 0.0069 0.0059 0.2519 0.4048 0.4922 0.7560
486.92/462.01 c pb/competition_2010/wbo1.4b : 0.0319 0.0006 0.0280 0.3065 0.4771 0.5714 0.7375
486.92/462.01 c pb/other/clasp-1.3.3 : 0.0352 0.0390 0.0701 0.5772 0.6926 0.7356 0.8412
486.92/462.01 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0456 0.0013 0.2203 0.2917 0.3422 0.5065
486.92/462.01 c pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0170 0.0176 0.0351 0.0725 0.0897 0.2232
486.92/462.01 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1104099832', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
487.01/462.13 c DEBUG: probabilities of action success (DCM model):
487.01/462.13 c pb/competition_2010/bsolo_pb10-l1 : 0.0035 0.0046 0.0414 0.1073 0.1730 0.2020 0.3089
487.01/462.13 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0106 0.0270 0.0376 0.1328
487.01/462.13 c pb/competition_2010/bsolo_pb10-l3 : 0.0359 0.0007 0.0700 0.0712 0.0753 0.1061 0.1960
487.01/462.13 c pb/competition_2010/wbo1.4a : 0.0008 0.0071 0.0061 0.2547 0.4085 0.4952 0.7561
487.01/462.13 c pb/competition_2010/wbo1.4b : 0.0318 0.0006 0.0287 0.3105 0.4845 0.5783 0.7407
487.01/462.13 c pb/other/clasp-1.3.3 : 0.0337 0.0383 0.0700 0.5774 0.6935 0.7365 0.8422
487.01/462.13 c pb/other/sat4j-pb-v20090829 : 0.0085 0.0471 0.0014 0.2273 0.3002 0.3509 0.5123
487.01/462.13 c pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0168 0.0174 0.0356 0.0721 0.0895 0.2223
487.01/462.13 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
497.65/472.21 c DEBUG: probabilities of action success (DCM model):
497.65/472.21 c pb/competition_2010/bsolo_pb10-l1 : 0.0035 0.0046 0.0335 0.0887 0.1422 0.1723 0.2831
497.65/472.21 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0110 0.0239 0.0348 0.1243
497.65/472.21 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0006 0.0633 0.0644 0.0688 0.0951 0.1792
497.65/472.21 c pb/competition_2010/wbo1.4a : 0.0008 0.0074 0.0063 0.2548 0.4004 0.4857 0.7517
497.65/472.21 c pb/competition_2010/wbo1.4b : 0.0330 0.0006 0.0260 0.3033 0.4653 0.5626 0.7311
497.65/472.21 c pb/other/clasp-1.3.3 : 0.0349 0.0397 0.0725 0.5710 0.6821 0.7268 0.8363
497.65/472.21 c pb/other/sat4j-pb-v20090829 : 0.0088 0.0488 0.0013 0.2079 0.2742 0.3267 0.4941
497.65/472.21 c pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0174 0.0180 0.0367 0.0746 0.0926 0.2304
497.65/472.21 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1032249974', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
497.76/472.33 c DEBUG: probabilities of action success (DCM model):
497.76/472.33 c pb/competition_2010/bsolo_pb10-l1 : 0.0034 0.0046 0.0345 0.0912 0.1467 0.1766 0.2865
497.76/472.33 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0114 0.0247 0.0360 0.1268
497.76/472.33 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0006 0.0641 0.0652 0.0697 0.0968 0.1824
497.76/472.33 c pb/competition_2010/wbo1.4a : 0.0008 0.0077 0.0065 0.2576 0.4039 0.4884 0.7517
497.76/472.33 c pb/competition_2010/wbo1.4b : 0.0330 0.0006 0.0266 0.3071 0.4722 0.5692 0.7341
497.76/472.33 c pb/other/clasp-1.3.3 : 0.0335 0.0390 0.0725 0.5709 0.6826 0.7274 0.8371
497.76/472.33 c pb/other/sat4j-pb-v20090829 : 0.0089 0.0504 0.0014 0.2144 0.2821 0.3348 0.4995
497.76/472.33 c pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0173 0.0179 0.0373 0.0744 0.0926 0.2299
497.76/472.33 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-3737922-1338718746.opb'] for 0:00:50
550.85/521.35 c DEBUG: probabilities of action success (DCM model):
550.85/521.35 c pb/competition_2010/bsolo_pb10-l1 : 0.0027 0.0033 0.0343 0.0933 0.1487 0.1802 0.2953
550.85/521.35 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0068 0.0207 0.0275 0.1219
550.85/521.35 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0674 0.0680 0.0719 0.1000 0.1870
550.85/521.35 c pb/competition_2010/wbo1.4a : 0.0006 0.0066 0.0068 0.2480 0.3953 0.4814 0.7562
550.85/521.35 c pb/competition_2010/wbo1.4b : 0.0339 0.0006 0.0270 0.3026 0.4612 0.5528 0.7230
550.85/521.35 c pb/other/clasp-1.3.3 : 0.0351 0.0409 0.0745 0.5713 0.6785 0.7222 0.8293
550.85/521.35 c pb/other/sat4j-pb-v20090829 : 0.0060 0.0004 0.0011 0.1829 0.2472 0.3019 0.4737
550.85/521.35 c pb/other/sat4j-pb-v20090829-cutting : 0.0026 0.0140 0.0144 0.0310 0.0693 0.0875 0.2214
550.85/521.35 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=859180793', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
550.90/521.47 c DEBUG: probabilities of action success (DCM model):
550.90/521.47 c pb/competition_2010/bsolo_pb10-l1 : 0.0027 0.0033 0.0354 0.0960 0.1534 0.1848 0.2992
550.90/521.47 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0071 0.0214 0.0284 0.1243
550.90/521.47 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0683 0.0690 0.0730 0.1019 0.1906
550.90/521.47 c pb/competition_2010/wbo1.4a : 0.0006 0.0068 0.0070 0.2506 0.3986 0.4840 0.7563
550.90/521.47 c pb/competition_2010/wbo1.4b : 0.0339 0.0006 0.0276 0.3064 0.4679 0.5590 0.7256
550.90/521.47 c pb/other/clasp-1.3.3 : 0.0338 0.0402 0.0745 0.5713 0.6790 0.7228 0.8299
550.90/521.47 c pb/other/sat4j-pb-v20090829 : 0.0061 0.0004 0.0012 0.1887 0.2544 0.3093 0.4786
550.90/521.47 c pb/other/sat4j-pb-v20090829-cutting : 0.0025 0.0141 0.0144 0.0316 0.0691 0.0875 0.2207
550.90/521.47 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
561.73/531.59 c DEBUG: probabilities of action success (DCM model):
561.73/531.59 c pb/competition_2010/bsolo_pb10-l1 : 0.0021 0.0027 0.0359 0.0961 0.1555 0.1853 0.2919
561.73/531.59 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0073 0.0222 0.0294 0.1169
561.73/531.59 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0706 0.0713 0.0755 0.1030 0.1852
561.73/531.59 c pb/competition_2010/wbo1.4a : 0.0007 0.0065 0.0052 0.2439 0.3901 0.4758 0.7496
561.73/531.59 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0267 0.2960 0.4524 0.5454 0.7179
561.73/531.59 c pb/other/clasp-1.3.3 : 0.0338 0.0415 0.0712 0.5594 0.6694 0.7147 0.8248
561.73/531.59 c pb/other/sat4j-pb-v20090829 : 0.0056 0.0004 0.0012 0.1911 0.2541 0.3010 0.4646
561.73/531.59 c pb/other/sat4j-pb-v20090829-cutting : 0.0020 0.0120 0.0123 0.0301 0.0690 0.0845 0.2092
561.73/531.59 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1296499505', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
561.95/531.71 c DEBUG: probabilities of action success (DCM model):
561.95/531.71 c pb/competition_2010/bsolo_pb10-l1 : 0.0021 0.0027 0.0371 0.0989 0.1604 0.1901 0.2959
561.95/531.71 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0076 0.0230 0.0305 0.1193
561.95/531.71 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0716 0.0723 0.0767 0.1049 0.1888
561.95/531.71 c pb/competition_2010/wbo1.4a : 0.0007 0.0067 0.0053 0.2464 0.3934 0.4784 0.7497
561.95/531.71 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0273 0.2998 0.4592 0.5516 0.7206
561.95/531.71 c pb/other/clasp-1.3.3 : 0.0326 0.0409 0.0712 0.5595 0.6700 0.7154 0.8255
561.95/531.71 c pb/other/sat4j-pb-v20090829 : 0.0057 0.0004 0.0012 0.1971 0.2615 0.3086 0.4696
561.95/531.71 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0120 0.0124 0.0308 0.0689 0.0846 0.2085
561.95/531.71 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=651222722', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
562.05/531.83 c DEBUG: probabilities of action success (DCM model):
562.05/531.83 c pb/competition_2010/bsolo_pb10-l1 : 0.0020 0.0027 0.0382 0.1017 0.1653 0.1949 0.2998
562.05/531.83 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0078 0.0237 0.0315 0.1217
562.05/531.83 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0726 0.0733 0.0778 0.1068 0.1923
562.05/531.83 c pb/competition_2010/wbo1.4a : 0.0007 0.0069 0.0055 0.2489 0.3967 0.4810 0.7498
562.05/531.83 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0279 0.3035 0.4659 0.5577 0.7233
562.05/531.83 c pb/other/clasp-1.3.3 : 0.0314 0.0402 0.0712 0.5597 0.6707 0.7161 0.8262
562.05/531.83 c pb/other/sat4j-pb-v20090829 : 0.0058 0.0004 0.0013 0.2031 0.2690 0.3163 0.4747
562.05/531.83 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0121 0.0125 0.0315 0.0689 0.0847 0.2079
562.05/531.83 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=24998261', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
562.16/531.95 c DEBUG: probabilities of action success (DCM model):
562.16/531.95 c pb/competition_2010/bsolo_pb10-l1 : 0.0020 0.0027 0.0394 0.1045 0.1701 0.1997 0.3036
562.16/531.95 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0081 0.0245 0.0325 0.1240
562.16/531.95 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0735 0.0742 0.0789 0.1086 0.1958
562.16/531.95 c pb/competition_2010/wbo1.4a : 0.0007 0.0072 0.0056 0.2514 0.3999 0.4836 0.7499
562.16/531.95 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0286 0.3071 0.4724 0.5638 0.7259
562.16/531.95 c pb/other/clasp-1.3.3 : 0.0302 0.0396 0.0712 0.5599 0.6714 0.7169 0.8270
562.16/531.95 c pb/other/sat4j-pb-v20090829 : 0.0059 0.0004 0.0013 0.2091 0.2764 0.3239 0.4798
562.16/531.95 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0122 0.0126 0.0322 0.0689 0.0848 0.2073
562.16/531.95 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=591207364', u'HOME/instance-3737922-1338718746.opb'] for 0:05:00
562.26/532.07 c DEBUG: probabilities of action success (DCM model):
562.26/532.07 c pb/competition_2010/bsolo_pb10-l1 : 0.0012 0.0012 0.0216 0.0535 0.0928 0.1260 0.1855
562.26/532.07 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0090 0.0182 0.0273 0.0580
562.26/532.07 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0009 0.0884 0.0884 0.0919 0.1067 0.1442
562.26/532.07 c pb/competition_2010/wbo1.4a : 0.0007 0.0059 0.0051 0.2297 0.3012 0.3408 0.6113
562.26/532.07 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0135 0.2740 0.3801 0.4819 0.5905
562.26/532.07 c pb/other/clasp-1.3.3 : 0.0308 0.0436 0.0752 0.1586 0.4271 0.5030 0.6902
562.26/532.07 c pb/other/sat4j-pb-v20090829 : 0.0057 0.0004 0.0008 0.1472 0.1817 0.1915 0.2495
562.26/532.07 c pb/other/sat4j-pb-v20090829-cutting : 0.0011 0.0079 0.0079 0.0220 0.0407 0.0447 0.0950
562.26/532.07 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3737922-1338718746.opb'] for 0:01:40
667.27/632.27 c DEBUG: probabilities of action success (DCM model):
667.27/632.27 c pb/competition_2010/bsolo_pb10-l1 : 0.0012 0.0012 0.0180 0.0450 0.0793 0.1122 0.1736
667.27/632.27 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0099 0.0175 0.0274 0.0555
667.27/632.27 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0839 0.0877 0.1006 0.1362
667.27/632.27 c pb/competition_2010/wbo1.4a : 0.0007 0.0064 0.0054 0.2315 0.3015 0.3421 0.6136
667.27/632.27 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0125 0.2708 0.3725 0.4767 0.5917
667.27/632.27 c pb/other/clasp-1.3.3 : 0.0312 0.0441 0.0751 0.1644 0.4310 0.5068 0.6935
667.27/632.27 c pb/other/sat4j-pb-v20090829 : 0.0062 0.0004 0.0008 0.1446 0.1768 0.1876 0.2511
667.27/632.27 c pb/other/sat4j-pb-v20090829-cutting : 0.0012 0.0085 0.0085 0.0240 0.0446 0.0489 0.1041
667.27/632.27 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=37430554', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
667.39/632.39 c DEBUG: probabilities of action success (DCM model):
667.39/632.39 c pb/competition_2010/bsolo_pb10-l1 : 0.0012 0.0012 0.0186 0.0463 0.0818 0.1145 0.1754
667.39/632.39 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0102 0.0180 0.0283 0.0571
667.39/632.39 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0841 0.0881 0.1013 0.1380
667.39/632.39 c pb/competition_2010/wbo1.4a : 0.0007 0.0066 0.0055 0.2333 0.3039 0.3444 0.6141
667.39/632.39 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0129 0.2730 0.3767 0.4808 0.5942
667.39/632.39 c pb/other/clasp-1.3.3 : 0.0302 0.0437 0.0749 0.1639 0.4325 0.5082 0.6948
667.39/632.39 c pb/other/sat4j-pb-v20090829 : 0.0064 0.0004 0.0008 0.1491 0.1822 0.1932 0.2556
667.39/632.39 c pb/other/sat4j-pb-v20090829-cutting : 0.0012 0.0087 0.0087 0.0246 0.0449 0.0493 0.1046
667.39/632.39 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=705310318', u'HOME/instance-3737922-1338718746.opb'] for 0:01:40
667.61/632.51 c DEBUG: probabilities of action success (DCM model):
667.61/632.51 c pb/competition_2010/bsolo_pb10-l1 : 0.0013 0.0013 0.0200 0.0495 0.0869 0.1187 0.1793
667.61/632.51 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0110 0.0194 0.0305 0.0600
667.61/632.51 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0838 0.0876 0.1017 0.1392
667.61/632.51 c pb/competition_2010/wbo1.4a : 0.0007 0.0065 0.0058 0.2319 0.3067 0.3500 0.6188
667.61/632.51 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0131 0.2717 0.3784 0.4836 0.6011
667.61/632.51 c pb/other/clasp-1.3.3 : 0.0300 0.0437 0.0685 0.1631 0.4447 0.5190 0.7025
667.61/632.51 c pb/other/sat4j-pb-v20090829 : 0.0068 0.0004 0.0008 0.1572 0.1922 0.2026 0.2680
667.61/632.51 c pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0088 0.0088 0.0241 0.0455 0.0499 0.1080
667.61/632.51 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1954363209', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
667.70/632.63 c DEBUG: probabilities of action success (DCM model):
667.70/632.63 c pb/competition_2010/bsolo_pb10-l1 : 0.0013 0.0013 0.0206 0.0509 0.0895 0.1211 0.1813
667.70/632.63 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0114 0.0200 0.0314 0.0617
667.70/632.63 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0840 0.0880 0.1025 0.1410
667.70/632.63 c pb/competition_2010/wbo1.4a : 0.0007 0.0067 0.0059 0.2338 0.3092 0.3523 0.6192
667.70/632.63 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0135 0.2740 0.3827 0.4878 0.6036
667.70/632.63 c pb/other/clasp-1.3.3 : 0.0290 0.0433 0.0683 0.1625 0.4462 0.5205 0.7038
667.70/632.63 c pb/other/sat4j-pb-v20090829 : 0.0070 0.0005 0.0009 0.1619 0.1978 0.2084 0.2727
667.70/632.63 c pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0090 0.0090 0.0247 0.0458 0.0502 0.1085
667.70/632.63 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1010415530', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
667.80/632.75 c DEBUG: probabilities of action success (DCM model):
667.80/632.75 c pb/competition_2010/bsolo_pb10-l1 : 0.0013 0.0013 0.0211 0.0524 0.0921 0.1236 0.1832
667.80/632.75 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0117 0.0206 0.0324 0.0633
667.80/632.75 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0843 0.0883 0.1033 0.1428
667.80/632.75 c pb/competition_2010/wbo1.4a : 0.0007 0.0069 0.0060 0.2356 0.3117 0.3546 0.6197
667.80/632.75 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0139 0.2763 0.3870 0.4921 0.6061
667.80/632.75 c pb/other/clasp-1.3.3 : 0.0281 0.0428 0.0681 0.1619 0.4478 0.5220 0.7051
667.80/632.75 c pb/other/sat4j-pb-v20090829 : 0.0072 0.0005 0.0009 0.1666 0.2035 0.2143 0.2774
667.80/632.75 c pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0091 0.0091 0.0253 0.0461 0.0506 0.1090
667.80/632.75 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=631875296', u'HOME/instance-3737922-1338718746.opb'] for 0:00:50
667.90/632.87 c DEBUG: probabilities of action success (DCM model):
667.90/632.87 c pb/competition_2010/bsolo_pb10-l1 : 0.0013 0.0013 0.0221 0.0547 0.0962 0.1275 0.1865
667.90/632.87 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0122 0.0215 0.0338 0.0661
667.90/632.87 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0848 0.0890 0.1046 0.1458
667.90/632.87 c pb/competition_2010/wbo1.4a : 0.0007 0.0071 0.0062 0.2386 0.3157 0.3579 0.6201
667.90/632.87 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0145 0.2803 0.3943 0.4990 0.6098
667.90/632.87 c pb/other/clasp-1.3.3 : 0.0277 0.0371 0.0679 0.1611 0.4496 0.5239 0.7068
667.90/632.87 c pb/other/sat4j-pb-v20090829 : 0.0075 0.0005 0.0009 0.1737 0.2123 0.2235 0.2844
667.90/632.87 c pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0094 0.0094 0.0263 0.0464 0.0512 0.1097
667.90/632.87 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1087222838', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
668.00/632.99 c DEBUG: probabilities of action success (DCM model):
668.00/632.99 c pb/competition_2010/bsolo_pb10-l1 : 0.0013 0.0013 0.0227 0.0562 0.0989 0.1300 0.1885
668.00/632.99 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0125 0.0221 0.0347 0.0678
668.00/632.99 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0850 0.0893 0.1053 0.1477
668.00/632.99 c pb/competition_2010/wbo1.4a : 0.0007 0.0073 0.0064 0.2405 0.3183 0.3603 0.6207
668.00/632.99 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0149 0.2825 0.3986 0.5033 0.6124
668.00/632.99 c pb/other/clasp-1.3.3 : 0.0268 0.0368 0.0677 0.1606 0.4514 0.5256 0.7083
668.00/632.99 c pb/other/sat4j-pb-v20090829 : 0.0077 0.0005 0.0010 0.1786 0.2181 0.2295 0.2893
668.00/632.99 c pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0096 0.0096 0.0269 0.0467 0.0516 0.1103
668.00/632.99 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=886758370', u'HOME/instance-3737922-1338718746.opb'] for 0:01:40
668.21/633.11 c DEBUG: probabilities of action success (DCM model):
668.21/633.11 c pb/competition_2010/bsolo_pb10-l1 : 0.0014 0.0014 0.0243 0.0599 0.1051 0.1352 0.1936
668.21/633.11 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0134 0.0237 0.0372 0.0717
668.21/633.11 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0845 0.0888 0.1059 0.1499
668.21/633.11 c pb/competition_2010/wbo1.4a : 0.0006 0.0074 0.0067 0.2407 0.3231 0.3681 0.6266
668.21/633.11 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0154 0.2829 0.4030 0.5086 0.6212
668.21/633.11 c pb/other/clasp-1.3.3 : 0.0266 0.0363 0.0632 0.1609 0.4655 0.5381 0.7173
668.21/633.11 c pb/other/sat4j-pb-v20090829 : 0.0082 0.0005 0.0010 0.1888 0.2307 0.2420 0.3051
668.21/633.11 c pb/other/sat4j-pb-v20090829-cutting : 0.0014 0.0099 0.0099 0.0272 0.0481 0.0530 0.1150
668.21/633.11 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=284242583', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
668.31/633.23 c DEBUG: probabilities of action success (DCM model):
668.31/633.23 c pb/competition_2010/bsolo_pb10-l1 : 0.0014 0.0014 0.0249 0.0615 0.1079 0.1378 0.1957
668.31/633.23 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0138 0.0244 0.0382 0.0735
668.31/633.23 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0848 0.0892 0.1067 0.1518
668.31/633.23 c pb/competition_2010/wbo1.4a : 0.0006 0.0076 0.0068 0.2425 0.3258 0.3706 0.6272
668.31/633.23 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0158 0.2852 0.4075 0.5130 0.6239
668.31/633.23 c pb/other/clasp-1.3.3 : 0.0257 0.0360 0.0629 0.1602 0.4674 0.5399 0.7188
668.31/633.23 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0005 0.0010 0.1938 0.2368 0.2483 0.3102
668.31/633.23 c pb/other/sat4j-pb-v20090829-cutting : 0.0014 0.0100 0.0100 0.0278 0.0484 0.0534 0.1156
668.31/633.23 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1450470594', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
668.40/633.35 c DEBUG: probabilities of action success (DCM model):
668.40/633.35 c pb/competition_2010/bsolo_pb10-l1 : 0.0014 0.0014 0.0255 0.0630 0.1107 0.1404 0.1978
668.40/633.35 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0141 0.0250 0.0392 0.0753
668.40/633.35 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0008 0.0008 0.0850 0.0896 0.1075 0.1537
668.40/633.35 c pb/competition_2010/wbo1.4a : 0.0006 0.0078 0.0069 0.2444 0.3285 0.3731 0.6278
668.40/633.35 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0162 0.2876 0.4120 0.5174 0.6267
668.40/633.35 c pb/other/clasp-1.3.3 : 0.0249 0.0356 0.0626 0.1596 0.4693 0.5418 0.7204
668.40/633.35 c pb/other/sat4j-pb-v20090829 : 0.0086 0.0006 0.0011 0.1988 0.2428 0.2545 0.3153
668.40/633.35 c pb/other/sat4j-pb-v20090829-cutting : 0.0014 0.0102 0.0102 0.0284 0.0487 0.0538 0.1162
668.40/633.35 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2045863982', u'HOME/instance-3737922-1338718746.opb'] for 0:01:40
668.51/633.47 c DEBUG: probabilities of action success (DCM model):
668.51/633.47 c pb/competition_2010/bsolo_pb10-l1 : 0.0015 0.0015 0.0272 0.0670 0.1173 0.1461 0.2034
668.51/633.47 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0151 0.0266 0.0418 0.0795
668.51/633.47 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0008 0.0008 0.0845 0.0891 0.1081 0.1564
668.51/633.47 c pb/competition_2010/wbo1.4a : 0.0006 0.0079 0.0073 0.2453 0.3343 0.3817 0.6341
668.51/633.47 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0169 0.2886 0.4175 0.5237 0.6363
668.51/633.47 c pb/other/clasp-1.3.3 : 0.0246 0.0350 0.0588 0.1603 0.4842 0.5551 0.7298
668.51/633.47 c pb/other/sat4j-pb-v20090829 : 0.0091 0.0006 0.0011 0.2100 0.2566 0.2684 0.3324
668.51/633.47 c pb/other/sat4j-pb-v20090829-cutting : 0.0015 0.0106 0.0106 0.0290 0.0504 0.0556 0.1215
668.51/633.47 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1962645113', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
668.61/633.59 c DEBUG: probabilities of action success (DCM model):
668.61/633.59 c pb/competition_2010/bsolo_pb10-l1 : 0.0015 0.0015 0.0278 0.0686 0.1202 0.1488 0.2056
668.61/633.59 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0154 0.0273 0.0428 0.0814
668.61/633.59 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0008 0.0008 0.0847 0.0894 0.1090 0.1584
668.61/633.59 c pb/competition_2010/wbo1.4a : 0.0006 0.0081 0.0074 0.2472 0.3370 0.3842 0.6348
668.61/633.59 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0173 0.2910 0.4222 0.5283 0.6391
668.61/633.59 c pb/other/clasp-1.3.3 : 0.0239 0.0347 0.0585 0.1597 0.4862 0.5569 0.7314
668.61/633.59 c pb/other/sat4j-pb-v20090829 : 0.0093 0.0006 0.0011 0.2151 0.2628 0.2749 0.3377
668.61/633.59 c pb/other/sat4j-pb-v20090829-cutting : 0.0015 0.0107 0.0107 0.0296 0.0506 0.0560 0.1221
668.61/633.59 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1680759690', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
668.80/633.71 c DEBUG: probabilities of action success (DCM model):
668.80/633.71 c pb/competition_2010/bsolo_pb10-l1 : 0.0015 0.0015 0.0285 0.0702 0.1231 0.1515 0.2078
668.80/633.71 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0158 0.0280 0.0439 0.0833
668.80/633.71 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0008 0.0008 0.0850 0.0898 0.1098 0.1603
668.80/633.71 c pb/competition_2010/wbo1.4a : 0.0006 0.0083 0.0075 0.2491 0.3397 0.3868 0.6354
668.80/633.71 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0177 0.2934 0.4267 0.5328 0.6420
668.80/633.71 c pb/other/clasp-1.3.3 : 0.0231 0.0343 0.0582 0.1590 0.4882 0.5588 0.7331
668.80/633.71 c pb/other/sat4j-pb-v20090829 : 0.0095 0.0006 0.0012 0.2203 0.2690 0.2812 0.3429
668.80/633.71 c pb/other/sat4j-pb-v20090829-cutting : 0.0015 0.0108 0.0108 0.0302 0.0509 0.0564 0.1228
668.80/633.71 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1483846596', u'HOME/instance-3737922-1338718746.opb'] for 0:01:40
668.89/633.83 c DEBUG: probabilities of action success (DCM model):
668.89/633.83 c pb/competition_2010/bsolo_pb10-l1 : 0.0016 0.0016 0.0302 0.0743 0.1301 0.1574 0.2138
668.89/633.83 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0168 0.0297 0.0465 0.0878
668.89/633.83 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0008 0.0008 0.0844 0.0894 0.1105 0.1633
668.89/633.83 c pb/competition_2010/wbo1.4a : 0.0006 0.0085 0.0079 0.2504 0.3461 0.3960 0.6420
668.89/633.83 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0185 0.2949 0.4330 0.5398 0.6520
668.89/633.83 c pb/other/clasp-1.3.3 : 0.0228 0.0337 0.0547 0.1599 0.5034 0.5725 0.7428
668.89/633.83 c pb/other/sat4j-pb-v20090829 : 0.0101 0.0006 0.0012 0.2321 0.2837 0.2961 0.3610
668.89/633.83 c pb/other/sat4j-pb-v20090829-cutting : 0.0016 0.0113 0.0113 0.0310 0.0527 0.0584 0.1284
668.89/633.83 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=22287639', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
669.00/633.95 c DEBUG: probabilities of action success (DCM model):
669.00/633.95 c pb/competition_2010/bsolo_pb10-l1 : 0.0016 0.0016 0.0309 0.0760 0.1331 0.1602 0.2160
669.00/633.95 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0172 0.0304 0.0476 0.0898
669.00/633.95 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0008 0.0008 0.0847 0.0898 0.1114 0.1653
669.00/633.95 c pb/competition_2010/wbo1.4a : 0.0006 0.0087 0.0080 0.2523 0.3488 0.3986 0.6426
669.00/633.95 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0189 0.2973 0.4378 0.5445 0.6549
669.00/633.95 c pb/other/clasp-1.3.3 : 0.0221 0.0333 0.0544 0.1592 0.5055 0.5744 0.7445
669.00/633.95 c pb/other/sat4j-pb-v20090829 : 0.0103 0.0007 0.0013 0.2374 0.2901 0.3027 0.3664
669.00/633.95 c pb/other/sat4j-pb-v20090829-cutting : 0.0016 0.0114 0.0114 0.0316 0.0530 0.0587 0.1290
669.00/633.95 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1633003362', u'HOME/instance-3737922-1338718746.opb'] for 0:00:50
669.10/634.07 c DEBUG: probabilities of action success (DCM model):
669.10/634.07 c pb/competition_2010/bsolo_pb10-l1 : 0.0017 0.0017 0.0319 0.0786 0.1376 0.1645 0.2197
669.10/634.07 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0177 0.0314 0.0492 0.0928
669.10/634.07 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0008 0.0008 0.0849 0.0901 0.1125 0.1683
669.10/634.07 c pb/competition_2010/wbo1.4a : 0.0006 0.0089 0.0082 0.2550 0.3533 0.4032 0.6445
669.10/634.07 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0196 0.3007 0.4446 0.5512 0.6599
669.10/634.07 c pb/other/clasp-1.3.3 : 0.0217 0.0301 0.0537 0.1589 0.5103 0.5789 0.7479
669.10/634.07 c pb/other/sat4j-pb-v20090829 : 0.0106 0.0007 0.0013 0.2454 0.2998 0.3129 0.3757
669.10/634.07 c pb/other/sat4j-pb-v20090829-cutting : 0.0016 0.0118 0.0118 0.0326 0.0538 0.0597 0.1308
669.10/634.07 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1703938612', u'HOME/instance-3737922-1338718746.opb'] for 0:01:40
669.21/634.19 c DEBUG: probabilities of action success (DCM model):
669.21/634.19 c pb/competition_2010/bsolo_pb10-l1 : 0.0017 0.0017 0.0337 0.0829 0.1449 0.1707 0.2259
669.21/634.19 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0187 0.0332 0.0520 0.0975
669.21/634.19 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0008 0.0008 0.0844 0.0897 0.1133 0.1715
669.21/634.19 c pb/competition_2010/wbo1.4a : 0.0006 0.0092 0.0086 0.2566 0.3600 0.4127 0.6511
669.21/634.19 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0204 0.3025 0.4515 0.5588 0.6703
669.21/634.19 c pb/other/clasp-1.3.3 : 0.0214 0.0294 0.0505 0.1597 0.5257 0.5927 0.7578
669.21/634.19 c pb/other/sat4j-pb-v20090829 : 0.0112 0.0007 0.0014 0.2578 0.3151 0.3285 0.3943
669.21/634.19 c pb/other/sat4j-pb-v20090829-cutting : 0.0017 0.0123 0.0123 0.0335 0.0557 0.0618 0.1365
669.21/634.19 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=520330617', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
669.41/634.31 c DEBUG: probabilities of action success (DCM model):
669.41/634.31 c pb/competition_2010/bsolo_pb10-l1 : 0.0017 0.0017 0.0344 0.0846 0.1480 0.1736 0.2283
669.41/634.31 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0191 0.0339 0.0531 0.0995
669.41/634.31 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0008 0.0008 0.0847 0.0901 0.1142 0.1736
669.41/634.31 c pb/competition_2010/wbo1.4a : 0.0006 0.0094 0.0087 0.2585 0.3628 0.4154 0.6518
669.41/634.31 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0208 0.3050 0.4564 0.5636 0.6733
669.41/634.31 c pb/other/clasp-1.3.3 : 0.0207 0.0291 0.0501 0.1590 0.5278 0.5947 0.7595
669.41/634.31 c pb/other/sat4j-pb-v20090829 : 0.0114 0.0007 0.0014 0.2633 0.3218 0.3353 0.3999
669.41/634.31 c pb/other/sat4j-pb-v20090829-cutting : 0.0017 0.0124 0.0124 0.0341 0.0560 0.0622 0.1372
669.41/634.31 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=504058322', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
669.52/634.43 c DEBUG: probabilities of action success (DCM model):
669.52/634.43 c pb/competition_2010/bsolo_pb10-l1 : 0.0017 0.0017 0.0351 0.0864 0.1511 0.1765 0.2306
669.52/634.43 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0195 0.0346 0.0542 0.1015
669.52/634.43 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0008 0.0008 0.0850 0.0905 0.1151 0.1757
669.52/634.43 c pb/competition_2010/wbo1.4a : 0.0006 0.0095 0.0089 0.2604 0.3657 0.4181 0.6525
669.52/634.43 c pb/competition_2010/wbo1.4b : 0.0001 0.0003 0.0212 0.3075 0.4612 0.5684 0.6764
669.52/634.43 c pb/other/clasp-1.3.3 : 0.0201 0.0287 0.0498 0.1583 0.5300 0.5968 0.7613
669.52/634.43 c pb/other/sat4j-pb-v20090829 : 0.0117 0.0007 0.0014 0.2687 0.3283 0.3421 0.4055
669.52/634.43 c pb/other/sat4j-pb-v20090829-cutting : 0.0017 0.0125 0.0125 0.0347 0.0562 0.0626 0.1378
669.52/634.43 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=178857551', u'HOME/instance-3737922-1338718746.opb'] for 0:01:40
669.61/634.55 c DEBUG: probabilities of action success (DCM model):
669.61/634.55 c pb/competition_2010/bsolo_pb10-l1 : 0.0018 0.0018 0.0370 0.0907 0.1585 0.1829 0.2369
669.61/634.55 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0206 0.0364 0.0570 0.1064
669.61/634.55 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0008 0.0008 0.0845 0.0901 0.1160 0.1791
669.61/634.55 c pb/competition_2010/wbo1.4a : 0.0005 0.0098 0.0092 0.2623 0.3726 0.4276 0.6591
669.61/634.55 c pb/competition_2010/wbo1.4b : 0.0001 0.0003 0.0221 0.3096 0.4685 0.5764 0.6869
669.61/634.55 c pb/other/clasp-1.3.3 : 0.0197 0.0280 0.0468 0.1591 0.5454 0.6105 0.7712
669.61/634.55 c pb/other/sat4j-pb-v20090829 : 0.0123 0.0008 0.0015 0.2814 0.3440 0.3580 0.4243
669.61/634.55 c pb/other/sat4j-pb-v20090829-cutting : 0.0018 0.0130 0.0130 0.0356 0.0581 0.0647 0.1435
669.61/634.55 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=345924862', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
669.72/634.67 c DEBUG: probabilities of action success (DCM model):
669.72/634.67 c pb/competition_2010/bsolo_pb10-l1 : 0.0018 0.0018 0.0377 0.0925 0.1617 0.1858 0.2393
669.72/634.67 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0210 0.0371 0.0582 0.1084
669.72/634.67 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0008 0.0008 0.0848 0.0905 0.1169 0.1812
669.72/634.67 c pb/competition_2010/wbo1.4a : 0.0005 0.0100 0.0094 0.2642 0.3754 0.4303 0.6598
669.72/634.67 c pb/competition_2010/wbo1.4b : 0.0001 0.0003 0.0225 0.3121 0.4734 0.5812 0.6899
669.72/634.67 c pb/other/clasp-1.3.3 : 0.0191 0.0276 0.0464 0.1584 0.5475 0.6126 0.7729
669.72/634.67 c pb/other/sat4j-pb-v20090829 : 0.0125 0.0008 0.0015 0.2870 0.3507 0.3649 0.4299
669.72/634.67 c pb/other/sat4j-pb-v20090829-cutting : 0.0018 0.0131 0.0131 0.0362 0.0584 0.0650 0.1441
669.72/634.67 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1701418073', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
669.82/634.79 c DEBUG: probabilities of action success (DCM model):
669.82/634.79 c pb/competition_2010/bsolo_pb10-l1 : 0.0018 0.0018 0.0384 0.0942 0.1648 0.1887 0.2416
669.82/634.79 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0214 0.0378 0.0593 0.1104
669.82/634.79 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0008 0.0008 0.0851 0.0909 0.1178 0.1832
669.82/634.79 c pb/competition_2010/wbo1.4a : 0.0005 0.0102 0.0096 0.2661 0.3783 0.4330 0.6604
669.82/634.79 c pb/competition_2010/wbo1.4b : 0.0001 0.0003 0.0229 0.3146 0.4782 0.5860 0.6929
669.82/634.79 c pb/other/clasp-1.3.3 : 0.0185 0.0273 0.0461 0.1577 0.5497 0.6146 0.7747
669.82/634.79 c pb/other/sat4j-pb-v20090829 : 0.0127 0.0008 0.0016 0.2924 0.3573 0.3717 0.4355
669.82/634.79 c pb/other/sat4j-pb-v20090829-cutting : 0.0018 0.0132 0.0132 0.0368 0.0586 0.0654 0.1447
669.82/634.79 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1886447076', u'HOME/instance-3737922-1338718746.opb'] for 0:01:40
670.02/634.91 c DEBUG: probabilities of action success (DCM model):
670.02/634.91 c pb/competition_2010/bsolo_pb10-l1 : 0.0019 0.0019 0.0402 0.0987 0.1723 0.1952 0.2480
670.02/634.91 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0224 0.0397 0.0621 0.1154
670.02/634.91 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0008 0.0008 0.0846 0.0906 0.1187 0.1867
670.02/634.91 c pb/competition_2010/wbo1.4a : 0.0005 0.0104 0.0099 0.2681 0.3853 0.4426 0.6669
670.02/634.91 c pb/competition_2010/wbo1.4b : 0.0001 0.0003 0.0238 0.3169 0.4858 0.5942 0.7034
670.02/634.91 c pb/other/clasp-1.3.3 : 0.0182 0.0265 0.0432 0.1585 0.5648 0.6282 0.7844
670.02/634.91 c pb/other/sat4j-pb-v20090829 : 0.0133 0.0009 0.0016 0.3053 0.3731 0.3879 0.4543
670.02/634.91 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0137 0.0137 0.0378 0.0605 0.0675 0.1503
670.02/634.91 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1289503548', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
670.12/635.03 c DEBUG: probabilities of action success (DCM model):
670.12/635.03 c pb/competition_2010/bsolo_pb10-l1 : 0.0019 0.0019 0.0409 0.1004 0.1754 0.1981 0.2504
670.12/635.03 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0228 0.0404 0.0633 0.1174
670.12/635.03 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0008 0.0008 0.0849 0.0910 0.1196 0.1888
670.12/635.03 c pb/competition_2010/wbo1.4a : 0.0005 0.0106 0.0101 0.2700 0.3881 0.4453 0.6676
670.12/635.03 c pb/competition_2010/wbo1.4b : 0.0001 0.0003 0.0242 0.3194 0.4907 0.5991 0.7065
670.12/635.03 c pb/other/clasp-1.3.3 : 0.0176 0.0262 0.0429 0.1577 0.5669 0.6303 0.7862
670.12/635.03 c pb/other/sat4j-pb-v20090829 : 0.0135 0.0009 0.0016 0.3108 0.3798 0.3948 0.4600
670.12/635.03 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0138 0.0138 0.0384 0.0607 0.0678 0.1509
670.12/635.03 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=29528287', u'HOME/instance-3737922-1338718746.opb'] for 0:00:10
670.22/635.14 s UNKNOWN
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-3737922-1338718746/watcher-3737922-1338718746 -o /tmp/evaluation-result-3737922-1338718746/solver-3737922-1338718746 -C 1800 -W 1900 -M 15500 solver HOME/instance-3737922-1338718746.opb 1212839763
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.25 2.21 2.11 3/177 27614
/proc/meminfo: memFree=28796456/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/27614/stat : 27614 (python) D 27612 27614 22930 0 -1 4202496 878 0 0 0 0 0 0 0 20 0 1 0 337999482 15749120 629 33554432000 4194304 5683644 140735973617072 140735973557560 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 3845 629 333 364 0 287 0
[startup+0.0498829 s]
/proc/loadavg: 2.25 2.21 2.11 3/177 27614
/proc/meminfo: memFree=28796456/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=20936 CPUtime=0.02 cores=0,2,4,6
/proc/27614/stat : 27614 (python) R 27612 27614 22930 0 -1 4202496 2693 0 0 0 2 0 0 0 20 0 1 0 337999482 21438464 1121 33554432000 4194304 4196484 140736399188944 140736399038936 233220575051 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/27614/statm: 5234 1125 446 1 0 652 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20936
[startup+0.100287 s]
/proc/loadavg: 2.25 2.21 2.11 3/177 27614
/proc/meminfo: memFree=28796456/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=57144 CPUtime=0.06 cores=0,2,4,6
/proc/27614/stat : 27614 (python) D 27612 27614 22930 0 -1 4202496 4085 0 0 0 4 2 0 0 20 0 1 0 337999482 58515456 2236 33554432000 4194304 4196484 140736399188944 140736399044472 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/27614/statm: 14286 2236 603 1 0 1624 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 57144
[startup+0.300262 s]
/proc/loadavg: 2.25 2.21 2.11 3/177 27614
/proc/meminfo: memFree=28796456/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=103804 CPUtime=0.23 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 6752 508 0 0 16 7 0 0 20 0 1 0 337999482 106295296 4265 33554432000 4194304 4196484 140736399188944 140736399154904 233220949376 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 25951 4267 1052 1 0 3237 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 103804
[startup+0.700256 s]
/proc/loadavg: 2.25 2.21 2.11 3/177 27614
/proc/meminfo: memFree=28796456/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=134456 CPUtime=0.55 cores=0,2,4,6
/proc/27614/stat : 27614 (python) R 27612 27614 22930 0 -1 4202496 11237 1014 0 0 41 14 0 0 20 0 1 0 337999482 137682944 6349 33554432000 4194304 4196484 140736399188944 140736399180704 233220989879 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 33614 6349 1170 1 0 5186 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 134456
[startup+1.50022 s]
/proc/loadavg: 2.25 2.21 2.11 4/179 27626
/proc/meminfo: memFree=28769888/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=0.89 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 13619 3936 0 0 70 17 1 1 20 0 1 0 337999482 139792384 6374 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 34129 6374 1180 1 0 5186 0
[pid=27626] ppid=27614 vsize=9888 CPUtime=0.66 cores=0,2,4,6
/proc/27626/stat : 27626 (wbo1.4a) R 27614 27626 27626 0 -1 4202496 2341 0 0 0 65 1 0 0 20 0 1 0 337999565 10125312 1988 33554432000 134512640 135751879 4287544336 4287542588 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/27626/statm: 2472 1988 139 303 0 2167 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 146404
[startup+3.10027 s]
/proc/loadavg: 2.23 2.20 2.10 3/179 27626
/proc/meminfo: memFree=28761456/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=0.98 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 13628 3936 0 0 77 19 1 1 20 0 1 0 337999482 139792384 6374 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 34129 6374 1180 1 0 5186 0
[pid=27626] ppid=27614 vsize=16600 CPUtime=2.26 cores=0,2,4,6
/proc/27626/stat : 27626 (wbo1.4a) R 27614 27626 27626 0 -1 4202496 4019 0 0 0 224 2 0 0 20 0 1 0 337999565 16998400 3666 33554432000 134512640 135751879 4287544336 4287542588 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/27626/statm: 4150 3666 139 303 0 3845 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 153116
[startup+6.30022 s]
/proc/loadavg: 2.23 2.20 2.10 3/179 27626
/proc/meminfo: memFree=28746684/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=1.15 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 13641 3936 0 0 92 21 1 1 20 0 1 0 337999482 139792384 6374 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 34129 6374 1180 1 0 5186 0
[pid=27626] ppid=27614 vsize=23944 CPUtime=5.45 cores=0,2,4,6
/proc/27626/stat : 27626 (wbo1.4a) R 27614 27626 27626 0 -1 4202496 5861 0 0 0 543 2 0 0 20 0 1 0 337999565 24518656 5508 33554432000 134512640 135751879 4287544336 4287542400 134603007 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/27626/statm: 5986 5508 139 303 0 5681 0
Current children cumulated CPU time (s) 6.6
Current children cumulated vsize (KiB) 160460
[startup+12.7003 s]
/proc/loadavg: 2.19 2.20 2.10 3/179 27626
/proc/meminfo: memFree=28714964/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=1.45 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 13658 3936 0 0 118 25 1 1 20 0 1 0 337999482 139792384 6374 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 34129 6374 1180 1 0 5186 0
[pid=27626] ppid=27614 vsize=43052 CPUtime=11.86 cores=0,2,4,6
/proc/27626/stat : 27626 (wbo1.4a) R 27614 27626 27626 0 -1 4202496 10611 0 0 0 1180 6 0 0 20 0 1 0 337999565 44085248 10258 33554432000 134512640 135751879 4287544336 4287542512 134616514 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/27626/statm: 10763 10258 139 303 0 10458 0
Current children cumulated CPU time (s) 13.31
Current children cumulated vsize (KiB) 179568
[startup+25.5003 s]
/proc/loadavg: 2.16 2.19 2.10 3/179 27626
/proc/meminfo: memFree=28651824/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=2.03 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 13683 3936 0 0 168 33 1 1 20 0 1 0 337999482 139792384 6374 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 34129 6374 1180 1 0 5186 0
[pid=27626] ppid=27614 vsize=58752 CPUtime=24.66 cores=0,2,4,6
/proc/27626/stat : 27626 (wbo1.4a) R 27614 27626 27626 0 -1 4202496 14542 0 0 0 2458 8 0 0 20 0 1 0 337999565 60162048 14189 33554432000 134512640 135751879 4287544336 4287542512 134616516 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/27626/statm: 14688 14189 139 303 0 14383 0
Current children cumulated CPU time (s) 26.69
Current children cumulated vsize (KiB) 195268
[startup+51.1003 s]
/proc/loadavg: 2.04 2.16 2.09 3/197 27647
/proc/meminfo: memFree=28634676/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=3.17 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 13700 3936 0 0 267 48 1 1 20 0 1 0 337999482 139792384 6374 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 34129 6374 1180 1 0 5186 0
[pid=27626] ppid=27614 vsize=94728 CPUtime=50.24 cores=0,2,4,6
/proc/27626/stat : 27626 (wbo1.4a) R 27614 27626 27626 0 -1 4202496 23513 0 0 0 5011 13 0 0 20 0 1 0 337999565 97001472 23160 33554432000 134512640 135751879 4287544336 4287542512 134616514 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/27626/statm: 23682 23160 139 303 0 23377 0
Current children cumulated CPU time (s) 53.41
Current children cumulated vsize (KiB) 231244
[startup+102.307 s]
/proc/loadavg: 2.01 2.13 2.08 3/198 27656
/proc/meminfo: memFree=28491992/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=56.22 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 16221 29847 0 0 498 87 5021 16 20 0 1 0 337999482 139792384 6377 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27614/statm: 34129 6377 1180 1 0 5186 0
[pid=27653] ppid=27614 vsize=95108 CPUtime=50.97 cores=0,2,4,6
/proc/27653/stat : 27653 (wbo1.4a) R 27614 27653 27653 0 -1 4202496 23599 0 0 0 5083 14 0 0 20 0 1 0 338004614 97390592 23246 33554432000 134512640 135751879 4291202576 4291200752 134616532 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/27653/statm: 23777 23246 139 303 0 23472 0
Current children cumulated CPU time (s) 107.19
Current children cumulated vsize (KiB) 231624
[startup+162.3 s]
/proc/loadavg: 2.00 2.10 2.08 3/179 27663
/proc/meminfo: memFree=28720444/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=159.92 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 17500 78807 0 0 758 126 15063 45 20 0 1 0 337999482 139792384 6379 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6379 1180 1 0 5186 0
[pid=27663] ppid=27614 vsize=42296 CPUtime=10.23 cores=0,2,4,6
/proc/27663/stat : 27663 (wbo1.4b) R 27614 27663 27663 0 -1 4202496 10801 0 0 0 1019 4 0 0 20 0 1 0 338014688 43311104 10070 33554432000 134512640 135751879 4290710080 4290708088 134516982 0 0 16781312 3 0 0 0 17 2 0 0 0 0 0
/proc/27663/statm: 10574 10070 144 303 0 10269 0
Current children cumulated CPU time (s) 170.15
Current children cumulated vsize (KiB) 178812
[startup+222.301 s]
/proc/loadavg: 2.24 2.16 2.10 3/197 27684
/proc/meminfo: memFree=28079716/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=213.12 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 18767 104178 0 0 1015 161 20077 59 20 0 1 0 337999482 139792384 6380 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6380 1180 1 0 5186 0
[pid=27666] ppid=27614 vsize=2715136 CPUtime=21.29 cores=0,2,4,6
/proc/27666/stat : 27666 (java) S 27614 27666 27666 0 -1 4202496 12373 0 1 0 2108 21 0 0 20 0 19 0 338019718 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140735788017424 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/27666/statm: 678784 124659 2271 9 0 669477 0
[pid=27666/tid=27667] ppid=27614 vsize=2715136 CPUtime=19.6 cores=0,2,4,6
/proc/27666/task/27667/stat : 27667 (java) R 27614 27666 27666 0 -1 4202560 2914 0 1 0 1954 6 0 0 20 0 19 0 338019719 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611112414576 140610938629701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27666/tid=27668] ppid=27614 vsize=2715136 CPUtime=0.06 cores=0,2,4,6
/proc/27666/task/27668/stat : 27668 (java) S 27614 27666 27666 0 -1 4202560 31 0 0 0 4 2 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611096865576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27666/tid=27669] ppid=27614 vsize=2715136 CPUtime=0.06 cores=0,2,4,6
/proc/27666/task/27669/stat : 27669 (java) S 27614 27666 27666 0 -1 4202560 25 0 0 0 4 2 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611095812776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27666/tid=27670] ppid=27614 vsize=2715136 CPUtime=0.08 cores=0,2,4,6
/proc/27666/task/27670/stat : 27670 (java) S 27614 27666 27666 0 -1 4202560 29 0 0 0 6 2 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611094760488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27666/tid=27671] ppid=27614 vsize=2715136 CPUtime=0.05 cores=0,2,4,6
/proc/27666/task/27671/stat : 27671 (java) S 27614 27666 27666 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611093707688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27666/tid=27672] ppid=27614 vsize=2715136 CPUtime=0.07 cores=0,2,4,6
/proc/27666/task/27672/stat : 27672 (java) S 27614 27666 27666 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611092654376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27666/tid=27673] ppid=27614 vsize=2715136 CPUtime=0.1 cores=0,2,4,6
/proc/27666/task/27673/stat : 27673 (java) S 27614 27666 27666 0 -1 4202560 37 0 0 0 8 2 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611091601576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27666/tid=27674] ppid=27614 vsize=2715136 CPUtime=0.07 cores=0,2,4,6
/proc/27666/task/27674/stat : 27674 (java) S 27614 27666 27666 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611090549288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27666/tid=27675] ppid=27614 vsize=2715136 CPUtime=0.08 cores=0,2,4,6
/proc/27666/task/27675/stat : 27675 (java) S 27614 27666 27666 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 19 0 338019720 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611089496488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27666/tid=27676] ppid=27614 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/27666/task/27676/stat : 27676 (java) S 27614 27666 27666 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338019722 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611077085928 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27666/tid=27677] ppid=27614 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/27666/task/27677/stat : 27677 (java) S 27614 27666 27666 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338019722 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611076031992 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27666/tid=27678] ppid=27614 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/27666/task/27678/stat : 27678 (java) S 27614 27666 27666 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338019722 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611074979592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27666/tid=27679] ppid=27614 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/27666/task/27679/stat : 27679 (java) S 27614 27666 27666 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338019725 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611073928080 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27666/tid=27680] ppid=27614 vsize=2715136 CPUtime=0.44 cores=0,2,4,6
/proc/27666/task/27680/stat : 27680 (java) S 27614 27666 27666 0 -1 4202560 4081 0 0 0 44 0 0 0 20 0 19 0 338019725 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611072874680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27666/tid=27681] ppid=27614 vsize=2715136 CPUtime=0.48 cores=0,2,4,6
/proc/27666/task/27681/stat : 27681 (java) S 27614 27666 27666 0 -1 4202560 3609 0 0 0 48 0 0 0 20 0 19 0 338019725 2780299264 124659 33554432000 1073741824 1073778376 140735788026288 140611071821880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27666/tid=27682] ppid=27614 vsize=2715136 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=27666/tid=27683] ppid=27614 vsize=2715136 CPUtime=0.02 cores=0,2,4,6
/proc/27666/task/27683/stat : 27683 (java) S 27614 27666 27666 0 -1 4202560 7 0 0 0 0 2 0 0 20 0 19 0 338019725 2780299264 188764 33554432000 1073741824 1073778376 140735788026288 140611069717192 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27666/tid=27684] ppid=27614 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/27666/task/27684/stat : 27684 (java) S 27614 27666 27666 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338019934 2780299264 188764 33554432000 1073741824 1073778376 140735788026288 140611068663208 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 317.49
Current children cumulated vsize (KiB) 2851652
[startup+300.801 s]
/proc/loadavg: 2.10 2.13 2.09 3/197 27942
/proc/meminfo: memFree=27995444/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=317.42 cores=0,2,4,6
/proc/27614/stat : 27614 (python) R 27612 27614 22930 0 -1 4202496 20054 118009 0 1 1344 208 30073 117 20 0 1 0 337999482 139792384 6380 33554432000 4194304 4196484 140736399188944 140736399177768 233220989834 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6380 1180 1 0 5186 0
Current children cumulated CPU time (s) 317.42
Current children cumulated vsize (KiB) 136516
#
############
[startup+342.3 s]
/proc/loadavg: 2.11 2.13 2.09 3/179 27951
/proc/meminfo: memFree=28679772/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=319.63 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 20077 118009 0 1 1539 234 30073 117 20 0 1 0 337999482 139792384 6381 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6381 1180 1 0 5186 0
[pid=27945] ppid=27614 vsize=91188 CPUtime=41.54 cores=0,2,4,6
/proc/27945/stat : 27945 (wbo1.4b) R 27614 27945 27945 0 -1 4202496 23005 0 0 0 4142 12 0 0 20 0 1 0 338029556 93376512 22296 33554432000 134512640 135751879 4293108192 4293106200 134516982 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/27945/statm: 22797 22296 144 303 0 22492 0
Current children cumulated CPU time (s) 361.17
Current children cumulated vsize (KiB) 227704
[startup+402.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/179 27954
/proc/meminfo: memFree=28586416/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=422.93 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 21327 169150 0 1 1790 272 40084 147 20 0 1 0 337999482 139792384 6381 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6381 1180 1 0 5186 0
[pid=27954] ppid=27614 vsize=17704 CPUtime=1.09 cores=0,2,4,6
/proc/27954/stat : 27954 (bsolo_pb10) R 27614 27954 27954 0 -1 4202496 2296 0 0 0 109 0 0 0 20 0 1 0 338039602 18128896 1941 33554432000 134512640 137138936 4291503008 4291347140 136500305 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/27954/statm: 4426 1941 185 642 0 3782 0
Current children cumulated CPU time (s) 424.02
Current children cumulated vsize (KiB) 154220
[startup+462.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/179 27976
/proc/meminfo: memFree=28714492/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=487.12 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 31389 202520 0 1 2132 327 46089 164 20 0 1 0 337999482 139792384 6385 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6385 1180 1 0 5186 0
Current children cumulated CPU time (s) 487.12
Current children cumulated vsize (KiB) 136516
[startup+522.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/215 28027
/proc/meminfo: memFree=27736068/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=551.21 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 36386 222024 0 2 2420 369 52118 214 20 0 1 0 337999482 139792384 6388 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6388 1180 1 0 5186 0
Current children cumulated CPU time (s) 551.21
Current children cumulated vsize (KiB) 136516
[startup+582.3 s]
/proc/loadavg: 2.34 2.19 2.12 3/179 28051
/proc/meminfo: memFree=28760008/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=564.83 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 42626 239592 0 2 2726 410 53125 222 20 0 1 0 337999482 139792384 6390 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6390 1180 1 0 5186 0
[pid=28048] ppid=27614 vsize=55800 CPUtime=50.21 cores=0,2,4,6
/proc/28048/stat : 28048 (bsolo_pb10) R 27614 28048 28048 0 -1 4202496 12268 0 0 0 5015 6 0 0 20 0 1 0 338052689 57139200 11520 33554432000 134512640 137138936 4292124816 4292123744 134542508 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/28048/statm: 13950 11520 192 642 0 13306 0
Current children cumulated CPU time (s) 615.04
Current children cumulated vsize (KiB) 192316
Solver just ended. Dumping a history of the last processes samples
[startup+588.7 s]
/proc/loadavg: 2.39 2.21 2.12 3/179 28051
/proc/meminfo: memFree=28732224/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=565.14 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 42628 239592 0 2 2752 415 53125 222 20 0 1 0 337999482 139792384 6390 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6390 1180 1 0 5186 0
[pid=28048] ppid=27614 vsize=60396 CPUtime=56.6 cores=0,2,4,6
/proc/28048/stat : 28048 (bsolo_pb10) R 27614 28048 28048 0 -1 4202496 13430 0 0 0 5653 7 0 0 20 0 1 0 338052689 61845504 12675 33554432000 134512640 137138936 4292124816 4292123744 134542480 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/28048/statm: 15099 12675 192 642 0 14455 0
Current children cumulated CPU time (s) 621.74
Current children cumulated vsize (KiB) 196912
[startup+614.3 s]
/proc/loadavg: 2.32 2.20 2.12 3/179 28051
/proc/meminfo: memFree=28643780/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=566.35 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 42639 239592 0 2 2856 432 53125 222 20 0 1 0 337999482 139792384 6390 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6390 1180 1 0 5186 0
[pid=28048] ppid=27614 vsize=77080 CPUtime=82.17 cores=0,2,4,6
/proc/28048/stat : 28048 (bsolo_pb10) R 27614 28048 28048 0 -1 4202496 17592 0 0 0 8209 8 0 0 20 0 1 0 338052689 78929920 16814 33554432000 134512640 137138936 4292124816 4292123744 134542808 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/28048/statm: 19270 16814 192 642 0 18626 0
Current children cumulated CPU time (s) 648.52
Current children cumulated vsize (KiB) 213596
[startup+627.1 s]
/proc/loadavg: 2.25 2.19 2.12 3/179 28051
/proc/meminfo: memFree=28594588/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=566.97 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 42644 239592 0 2 2909 441 53125 222 20 0 1 0 337999482 139792384 6390 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6390 1180 1 0 5186 0
[pid=28048] ppid=27614 vsize=81772 CPUtime=94.98 cores=0,2,4,6
/proc/28048/stat : 28048 (bsolo_pb10) R 27614 28048 28048 0 -1 4202496 18794 0 0 0 9489 9 0 0 20 0 1 0 338052689 83734528 18016 33554432000 134512640 137138936 4292124816 4292123744 134542787 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/28048/statm: 20443 18016 192 642 0 19799 0
Current children cumulated CPU time (s) 661.95
Current children cumulated vsize (KiB) 218288
[startup+630.307 s]
/proc/loadavg: 2.25 2.19 2.12 3/179 28051
/proc/meminfo: memFree=28585164/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136516 CPUtime=567.11 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 42646 239592 0 2 2922 442 53125 222 20 0 1 0 337999482 139792384 6390 33554432000 4194304 4196484 140736399188944 140736399180704 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34129 6390 1180 1 0 5186 0
[pid=28048] ppid=27614 vsize=82668 CPUtime=98.18 cores=0,2,4,6
/proc/28048/stat : 28048 (bsolo_pb10) R 27614 28048 28048 0 -1 4202496 18988 0 0 0 9809 9 0 0 20 0 1 0 338052689 84652032 18210 33554432000 134512640 137138936 4292124816 4292123932 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/28048/statm: 20667 18210 192 642 0 20023 0
Current children cumulated CPU time (s) 665.29
Current children cumulated vsize (KiB) 219184
[startup+633.5 s]
/proc/loadavg: 2.31 2.21 2.12 3/179 28084
/proc/meminfo: memFree=28648156/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136648 CPUtime=668.61 cores=0,2,4,6
/proc/27614/stat : 27614 (python) R 27612 27614 22930 0 -1 4202496 56344 274223 0 2 3031 458 63135 237 20 0 1 0 337999482 139927552 6394 33554432000 4194304 4196484 140736399188944 140736399180704 233220989879 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34162 6394 1180 1 0 5219 0
[pid=28084] ppid=27614 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/28084/stat : 28084 (clasp-1.3.3-x86) Z 27614 28084 28084 0 -1 4202508 526 0 0 0 0 0 0 0 20 0 1 0 338062830 0 0 33554432000 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28084/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 668.61
Current children cumulated vsize (KiB) 136648
[startup+634.3 s]
/proc/loadavg: 2.31 2.21 2.12 3/179 28084
/proc/meminfo: memFree=28648156/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136648 CPUtime=669.41 cores=0,2,4,6
/proc/27614/stat : 27614 (python) S 27612 27614 22930 0 -1 4202496 63847 283563 0 2 3095 468 63137 241 20 0 1 0 337999482 139927552 6396 33554432000 4194304 4196484 140736399188944 140736399178912 233224335390 0 0 16781312 2 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34162 6396 1180 1 0 5219 0
Current children cumulated CPU time (s) 669.41
Current children cumulated vsize (KiB) 136648
[startup+634.706 s]
/proc/loadavg: 2.31 2.21 2.12 3/179 28111
/proc/meminfo: memFree=28645412/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136648 CPUtime=669.82 cores=0,2,4,6
/proc/27614/stat : 27614 (python) R 27612 27614 22930 0 -1 4202496 68672 288897 0 2 3127 472 63139 244 20 0 1 0 337999482 139927552 6399 33554432000 4194304 4196484 140736399188944 140736399180704 139985718745589 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34162 6399 1180 1 0 5219 0
Current children cumulated CPU time (s) 669.82
Current children cumulated vsize (KiB) 136648
[startup+635.1 s]
/proc/loadavg: 2.31 2.21 2.12 3/179 28111
/proc/meminfo: memFree=28645412/32873844 swapFree=7120/7120
[pid=27614] ppid=27612 vsize=136648 CPUtime=670.22 cores=0,2,4,6
/proc/27614/stat : 27614 (python) R 27612 27614 22930 0 -1 4202496 72387 293302 0 2 3159 477 63140 246 20 0 1 0 337999482 139927552 6400 33554432000 4194304 4196484 140736399188944 140736399180704 139985718309814 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/27614/statm: 34162 6400 1180 1 0 5219 0
Current children cumulated CPU time (s) 670.22
Current children cumulated vsize (KiB) 136648
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.0700073
# lost CPU user time (s): 0.220001
# lost CPU system time (s): -0.15
Real time (s): 635.178
CPU time (s): 670.387
CPU user time (s): 663.279
CPU system time (s): 7.1079
CPU usage (%): 105.543
Max. virtual memory (cumulated for all children) (KiB): 2851656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 663.059
system time used= 7.2579
maximum resident set size= 755056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372053
page faults= 2
swaps= 0
block input operations= 216
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8378
involuntary context switches= 7435
runsolver used 1.21381 second user time and 3.01454 second system time
The end