1.06/1.57 c DEBUG: probabilities of action success (DCM model):
1.06/1.57 c pb/competition_2010/bsolo_pb10-l1 : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
1.06/1.57 c pb/competition_2010/bsolo_pb10-l2 : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
1.06/1.57 c pb/competition_2010/bsolo_pb10-l3 : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
1.06/1.57 c pb/competition_2010/wbo1.4a : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
1.06/1.57 c pb/competition_2010/wbo1.4b : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
1.06/1.57 c pb/other/clasp-1.3.3 : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
1.06/1.57 c pb/other/sat4j-pb-v20090829 : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
1.06/1.57 c pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
1.16/1.60 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1059118881', u'HOME/instance-2676303-1277135227.opb'] for 0:00:10
11.97/11.85 c DEBUG: probabilities of action success (DCM model):
11.97/11.85 c pb/competition_2010/bsolo_pb10-l1 : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
11.97/11.85 c pb/competition_2010/bsolo_pb10-l2 : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
11.97/11.85 c pb/competition_2010/bsolo_pb10-l3 : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
11.97/11.85 c pb/competition_2010/wbo1.4a : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
11.97/11.85 c pb/competition_2010/wbo1.4b : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
11.97/11.85 c pb/other/clasp-1.3.3 : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
11.97/11.85 c pb/other/sat4j-pb-v20090829 : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
11.97/11.85 c pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
11.97/11.85 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=999134680', u'HOME/instance-2676303-1277135227.opb'] for 0:00:50
65.63/62.66 c DEBUG: probabilities of action success (DCM model):
65.63/62.66 c pb/competition_2010/bsolo_pb10-l1 : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
65.63/62.66 c pb/competition_2010/bsolo_pb10-l2 : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
65.63/62.66 c pb/competition_2010/bsolo_pb10-l3 : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
65.63/62.66 c pb/competition_2010/wbo1.4a : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
65.63/62.66 c pb/competition_2010/wbo1.4b : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
65.63/62.66 c pb/other/clasp-1.3.3 : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
65.63/62.66 c pb/other/sat4j-pb-v20090829 : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
65.63/62.66 c pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
65.63/62.67 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2676303-1277135227.opb'] for 0:00:50
119.58/113.33 c DEBUG: probabilities of action success (DCM model):
119.58/113.33 c pb/competition_2010/bsolo_pb10-l1 : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
119.58/113.33 c pb/competition_2010/bsolo_pb10-l2 : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
119.58/113.33 c pb/competition_2010/bsolo_pb10-l3 : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
119.58/113.33 c pb/competition_2010/wbo1.4a : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
119.58/113.33 c pb/competition_2010/wbo1.4b : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
119.58/113.33 c pb/other/clasp-1.3.3 : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
119.58/113.33 c pb/other/sat4j-pb-v20090829 : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
119.58/113.33 c pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
119.58/113.34 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1590952324', u'HOME/instance-2676303-1277135227.opb'] for 0:01:40
226.43/213.67 c DEBUG: probabilities of action success (DCM model):
226.43/213.67 c pb/competition_2010/bsolo_pb10-l1 : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
226.43/213.67 c pb/competition_2010/bsolo_pb10-l2 : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
226.43/213.67 c pb/competition_2010/bsolo_pb10-l3 : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
226.43/213.67 c pb/competition_2010/wbo1.4a : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
226.43/213.67 c pb/competition_2010/wbo1.4b : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
226.43/213.67 c pb/other/clasp-1.3.3 : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
226.43/213.67 c pb/other/sat4j-pb-v20090829 : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
226.43/213.67 c pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
226.43/213.68 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2676303-1277135227.opb'] for 0:01:40
333.92/315.05 c DEBUG: probabilities of action success (DCM model):
333.92/315.05 c pb/competition_2010/bsolo_pb10-l1 : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
333.92/315.05 c pb/competition_2010/bsolo_pb10-l2 : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
333.92/315.05 c pb/competition_2010/bsolo_pb10-l3 : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
333.92/315.05 c pb/competition_2010/wbo1.4a : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
333.92/315.05 c pb/competition_2010/wbo1.4b : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
333.92/315.05 c pb/other/clasp-1.3.3 : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
333.92/315.05 c pb/other/sat4j-pb-v20090829 : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
333.92/315.05 c pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
333.92/315.05 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2676303-1277135227.opb'] for 0:00:50
388.15/365.63 c DEBUG: probabilities of action success (DCM model):
388.15/365.63 c pb/competition_2010/bsolo_pb10-l1 : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
388.15/365.63 c pb/competition_2010/bsolo_pb10-l2 : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
388.15/365.63 c pb/competition_2010/bsolo_pb10-l3 : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
388.15/365.63 c pb/competition_2010/wbo1.4a : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
388.15/365.63 c pb/competition_2010/wbo1.4b : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
388.15/365.63 c pb/other/clasp-1.3.3 : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
388.15/365.63 c pb/other/sat4j-pb-v20090829 : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
388.15/365.63 c pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
388.15/365.63 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-2676303-1277135227.opb'] for 0:01:40
495.37/465.40 c DEBUG: probabilities of action success (DCM model):
495.37/465.40 c pb/competition_2010/bsolo_pb10-l1 : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
495.37/465.40 c pb/competition_2010/bsolo_pb10-l2 : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
495.37/465.40 c pb/competition_2010/bsolo_pb10-l3 : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
495.37/465.40 c pb/competition_2010/wbo1.4a : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
495.37/465.40 c pb/competition_2010/wbo1.4b : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
495.37/465.40 c pb/other/clasp-1.3.3 : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
495.37/465.40 c pb/other/sat4j-pb-v20090829 : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
495.37/465.40 c pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
495.37/465.41 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2676303-1277135227.opb'] for 0:01:40
602.41/565.91 c DEBUG: probabilities of action success (DCM model):
602.41/565.91 c pb/competition_2010/bsolo_pb10-l1 : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
602.41/565.91 c pb/competition_2010/bsolo_pb10-l2 : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
602.41/565.91 c pb/competition_2010/bsolo_pb10-l3 : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
602.41/565.91 c pb/competition_2010/wbo1.4a : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
602.41/565.91 c pb/competition_2010/wbo1.4b : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
602.41/565.91 c pb/other/clasp-1.3.3 : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
602.41/565.91 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
602.41/565.91 c pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
602.41/565.92 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2676303-1277135227.opb'] for 0:00:50
656.36/616.52 c DEBUG: probabilities of action success (DCM model):
656.36/616.52 c pb/competition_2010/bsolo_pb10-l1 : 0.0056 0.0070 0.0350 0.0875 0.1379 0.1679 0.2779
656.36/616.52 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0082 0.0206 0.0285 0.1112
656.36/616.52 c pb/competition_2010/bsolo_pb10-l3 : 0.0271 0.0006 0.0648 0.0663 0.0694 0.0943 0.1707
656.36/616.52 c pb/competition_2010/wbo1.4a : 0.0418 0.0058 0.0048 0.2383 0.3810 0.4683 0.7449
656.36/616.52 c pb/competition_2010/wbo1.4b : 0.0319 0.0007 0.0234 0.2842 0.4328 0.5290 0.7099
656.36/616.52 c pb/other/clasp-1.3.3 : 0.0466 0.0429 0.0715 0.5647 0.6728 0.7172 0.8274
656.36/616.52 c pb/other/sat4j-pb-v20090829 : 0.0089 0.0393 0.0011 0.1832 0.2460 0.2933 0.4648
656.36/616.52 c pb/other/sat4j-pb-v20090829-cutting : 0.0049 0.0225 0.0232 0.0376 0.0774 0.0936 0.2247
656.36/616.52 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=234691973', u'HOME/instance-2676303-1277135227.opb'] for 0:00:10
667.21/626.78 c DEBUG: probabilities of action success (DCM model):
667.21/626.78 c pb/competition_2010/bsolo_pb10-l1 : 0.0048 0.0062 0.0356 0.0901 0.1429 0.1729 0.2823
667.21/626.78 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0085 0.0216 0.0299 0.1142
667.21/626.78 c pb/competition_2010/bsolo_pb10-l3 : 0.0284 0.0006 0.0660 0.0675 0.0708 0.0964 0.1746
667.21/626.78 c pb/competition_2010/wbo1.4a : 0.0419 0.0061 0.0050 0.2416 0.3851 0.4718 0.7463
667.21/626.78 c pb/competition_2010/wbo1.4b : 0.0313 0.0007 0.0242 0.2884 0.4409 0.5368 0.7143
667.21/626.78 c pb/other/clasp-1.3.3 : 0.0432 0.0422 0.0717 0.5642 0.6732 0.7178 0.8280
667.21/626.78 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0402 0.0011 0.1889 0.2523 0.3000 0.4690
667.21/626.78 c pb/other/sat4j-pb-v20090829-cutting : 0.0041 0.0196 0.0203 0.0354 0.0744 0.0909 0.2215
667.21/626.79 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=728300871', u'HOME/instance-2676303-1277135227.opb'] for 0:00:10
678.24/637.04 c DEBUG: probabilities of action success (DCM model):
678.24/637.04 c pb/competition_2010/bsolo_pb10-l1 : 0.0043 0.0058 0.0365 0.0929 0.1481 0.1780 0.2865
678.24/637.04 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0089 0.0225 0.0312 0.1171
678.24/637.04 c pb/competition_2010/bsolo_pb10-l3 : 0.0297 0.0007 0.0671 0.0686 0.0720 0.0984 0.1784
678.24/637.04 c pb/competition_2010/wbo1.4a : 0.0419 0.0064 0.0052 0.2447 0.3890 0.4751 0.7470
678.24/637.04 c pb/competition_2010/wbo1.4b : 0.0310 0.0007 0.0249 0.2925 0.4487 0.5442 0.7181
678.24/637.04 c pb/other/clasp-1.3.3 : 0.0408 0.0415 0.0717 0.5640 0.6738 0.7185 0.8288
678.24/637.04 c pb/other/sat4j-pb-v20090829 : 0.0081 0.0414 0.0012 0.1953 0.2599 0.3078 0.4741
678.24/637.04 c pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0182 0.0189 0.0346 0.0729 0.0895 0.2196
678.24/637.05 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2676303-1277135227.opb'] for 0:00:10
689.77/647.63 c DEBUG: probabilities of action success (DCM model):
689.77/647.63 c pb/competition_2010/bsolo_pb10-l1 : 0.0042 0.0051 0.0367 0.0952 0.1515 0.1809 0.2919
689.77/647.63 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0091 0.0232 0.0322 0.1217
689.77/647.63 c pb/competition_2010/bsolo_pb10-l3 : 0.0308 0.0006 0.0658 0.0668 0.0704 0.0979 0.1806
689.77/647.63 c pb/competition_2010/wbo1.4a : 0.0007 0.0062 0.0054 0.2431 0.3935 0.4830 0.7552
689.77/647.63 c pb/competition_2010/wbo1.4b : 0.0322 0.0006 0.0259 0.2941 0.4539 0.5495 0.7272
689.77/647.63 c pb/other/clasp-1.3.3 : 0.0407 0.0412 0.0702 0.5773 0.6906 0.7332 0.8386
689.77/647.63 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0415 0.0012 0.1996 0.2666 0.3166 0.4896
689.77/647.63 c pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0187 0.0192 0.0349 0.0747 0.0916 0.2271
689.77/647.63 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=707469548', u'HOME/instance-2676303-1277135227.opb'] for 0:00:10
700.75/657.94 c DEBUG: probabilities of action success (DCM model):
700.75/657.94 c pb/competition_2010/bsolo_pb10-l1 : 0.0039 0.0049 0.0378 0.0982 0.1569 0.1862 0.2962
700.75/657.94 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0095 0.0242 0.0336 0.1245
700.75/657.94 c pb/competition_2010/bsolo_pb10-l3 : 0.0321 0.0007 0.0669 0.0680 0.0717 0.1000 0.1846
700.75/657.94 c pb/competition_2010/wbo1.4a : 0.0007 0.0064 0.0056 0.2461 0.3974 0.4861 0.7556
700.75/657.94 c pb/competition_2010/wbo1.4b : 0.0321 0.0006 0.0266 0.2983 0.4618 0.5570 0.7307
700.75/657.94 c pb/other/clasp-1.3.3 : 0.0387 0.0405 0.0702 0.5772 0.6912 0.7339 0.8394
700.75/657.94 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0428 0.0012 0.2064 0.2748 0.3250 0.4951
700.75/657.94 c pb/other/sat4j-pb-v20090829-cutting : 0.0036 0.0179 0.0184 0.0347 0.0737 0.0907 0.2256
700.75/657.94 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1545539656', u'HOME/instance-2676303-1277135227.opb'] for 0:00:10
711.74/668.24 c DEBUG: probabilities of action success (DCM model):
711.74/668.24 c pb/competition_2010/bsolo_pb10-l1 : 0.0037 0.0048 0.0389 0.1012 0.1623 0.1915 0.3004
711.74/668.24 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0099 0.0251 0.0349 0.1274
711.74/668.24 c pb/competition_2010/bsolo_pb10-l3 : 0.0334 0.0007 0.0680 0.0691 0.0729 0.1020 0.1884
711.74/668.24 c pb/competition_2010/wbo1.4a : 0.0008 0.0067 0.0057 0.2490 0.4011 0.4892 0.7558
711.74/668.24 c pb/competition_2010/wbo1.4b : 0.0320 0.0006 0.0273 0.3025 0.4695 0.5642 0.7341
711.74/668.24 c pb/other/clasp-1.3.3 : 0.0369 0.0398 0.0702 0.5772 0.6919 0.7347 0.8403
711.74/668.24 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0442 0.0013 0.2134 0.2832 0.3336 0.5007
711.74/668.24 c pb/other/sat4j-pb-v20090829-cutting : 0.0034 0.0174 0.0179 0.0348 0.0730 0.0901 0.2243
711.74/668.24 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1294139826', u'HOME/instance-2676303-1277135227.opb'] for 0:00:10
722.70/678.53 c DEBUG: probabilities of action success (DCM model):
722.70/678.53 c pb/competition_2010/bsolo_pb10-l1 : 0.0036 0.0047 0.0401 0.1043 0.1677 0.1967 0.3047
722.70/678.53 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0103 0.0261 0.0362 0.1301
722.70/678.53 c pb/competition_2010/bsolo_pb10-l3 : 0.0347 0.0007 0.0690 0.0701 0.0742 0.1041 0.1923
722.70/678.53 c pb/competition_2010/wbo1.4a : 0.0008 0.0069 0.0059 0.2519 0.4048 0.4922 0.7560
722.70/678.53 c pb/competition_2010/wbo1.4b : 0.0319 0.0006 0.0280 0.3065 0.4771 0.5714 0.7375
722.70/678.53 c pb/other/clasp-1.3.3 : 0.0352 0.0390 0.0701 0.5772 0.6926 0.7356 0.8412
722.70/678.53 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0456 0.0013 0.2203 0.2917 0.3422 0.5065
722.70/678.53 c pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0170 0.0176 0.0351 0.0725 0.0897 0.2232
722.70/678.54 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=442646484', u'HOME/instance-2676303-1277135227.opb'] for 0:00:10
733.68/688.84 c DEBUG: probabilities of action success (DCM model):
733.68/688.84 c pb/competition_2010/bsolo_pb10-l1 : 0.0035 0.0046 0.0414 0.1073 0.1730 0.2020 0.3089
733.68/688.84 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0106 0.0270 0.0376 0.1328
733.68/688.84 c pb/competition_2010/bsolo_pb10-l3 : 0.0359 0.0007 0.0700 0.0712 0.0753 0.1061 0.1960
733.68/688.84 c pb/competition_2010/wbo1.4a : 0.0008 0.0071 0.0061 0.2547 0.4085 0.4952 0.7561
733.68/688.84 c pb/competition_2010/wbo1.4b : 0.0318 0.0006 0.0287 0.3105 0.4845 0.5783 0.7407
733.68/688.84 c pb/other/clasp-1.3.3 : 0.0337 0.0383 0.0700 0.5774 0.6935 0.7365 0.8422
733.68/688.84 c pb/other/sat4j-pb-v20090829 : 0.0085 0.0471 0.0014 0.2273 0.3002 0.3509 0.5123
733.68/688.84 c pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0168 0.0174 0.0356 0.0721 0.0895 0.2223
733.68/688.84 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2676303-1277135227.opb'] for 0:00:10
744.73/699.16 c DEBUG: probabilities of action success (DCM model):
744.73/699.16 c pb/competition_2010/bsolo_pb10-l1 : 0.0035 0.0046 0.0335 0.0887 0.1422 0.1723 0.2831
744.73/699.16 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0110 0.0239 0.0348 0.1243
744.73/699.16 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0006 0.0633 0.0644 0.0688 0.0951 0.1792
744.73/699.16 c pb/competition_2010/wbo1.4a : 0.0008 0.0074 0.0063 0.2548 0.4004 0.4857 0.7517
744.73/699.16 c pb/competition_2010/wbo1.4b : 0.0330 0.0006 0.0260 0.3033 0.4653 0.5626 0.7311
744.73/699.16 c pb/other/clasp-1.3.3 : 0.0349 0.0397 0.0725 0.5710 0.6821 0.7268 0.8363
744.73/699.16 c pb/other/sat4j-pb-v20090829 : 0.0088 0.0488 0.0013 0.2079 0.2742 0.3267 0.4941
744.73/699.16 c pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0174 0.0180 0.0367 0.0746 0.0926 0.2304
744.73/699.16 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=267726268', u'HOME/instance-2676303-1277135227.opb'] for 0:00:10
755.71/709.42 c DEBUG: probabilities of action success (DCM model):
755.71/709.42 c pb/competition_2010/bsolo_pb10-l1 : 0.0034 0.0046 0.0345 0.0912 0.1467 0.1766 0.2865
755.71/709.42 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0114 0.0247 0.0360 0.1268
755.71/709.42 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0006 0.0641 0.0652 0.0697 0.0968 0.1824
755.71/709.42 c pb/competition_2010/wbo1.4a : 0.0008 0.0077 0.0065 0.2576 0.4039 0.4884 0.7517
755.71/709.42 c pb/competition_2010/wbo1.4b : 0.0330 0.0006 0.0266 0.3071 0.4722 0.5692 0.7341
755.71/709.42 c pb/other/clasp-1.3.3 : 0.0335 0.0390 0.0725 0.5709 0.6826 0.7274 0.8371
755.71/709.42 c pb/other/sat4j-pb-v20090829 : 0.0089 0.0504 0.0014 0.2144 0.2821 0.3348 0.4995
755.71/709.42 c pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0173 0.0179 0.0373 0.0744 0.0926 0.2299
755.71/709.42 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-2676303-1277135227.opb'] for 0:00:50
809.48/759.02 c DEBUG: probabilities of action success (DCM model):
809.48/759.02 c pb/competition_2010/bsolo_pb10-l1 : 0.0027 0.0033 0.0343 0.0933 0.1487 0.1802 0.2953
809.48/759.02 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0068 0.0207 0.0275 0.1219
809.48/759.02 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0674 0.0680 0.0719 0.1000 0.1870
809.48/759.02 c pb/competition_2010/wbo1.4a : 0.0006 0.0066 0.0068 0.2480 0.3953 0.4814 0.7562
809.48/759.02 c pb/competition_2010/wbo1.4b : 0.0339 0.0006 0.0270 0.3026 0.4612 0.5528 0.7230
809.48/759.02 c pb/other/clasp-1.3.3 : 0.0351 0.0409 0.0745 0.5713 0.6785 0.7222 0.8293
809.48/759.02 c pb/other/sat4j-pb-v20090829 : 0.0060 0.0004 0.0011 0.1829 0.2472 0.3019 0.4737
809.48/759.02 c pb/other/sat4j-pb-v20090829-cutting : 0.0026 0.0140 0.0144 0.0310 0.0693 0.0875 0.2214
809.48/759.03 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=70419081', u'HOME/instance-2676303-1277135227.opb'] for 0:00:10
820.27/769.28 c DEBUG: probabilities of action success (DCM model):
820.27/769.28 c pb/competition_2010/bsolo_pb10-l1 : 0.0027 0.0033 0.0354 0.0960 0.1534 0.1848 0.2992
820.27/769.28 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0071 0.0214 0.0284 0.1243
820.27/769.28 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0683 0.0690 0.0730 0.1019 0.1906
820.27/769.28 c pb/competition_2010/wbo1.4a : 0.0006 0.0068 0.0070 0.2506 0.3986 0.4840 0.7563
820.27/769.28 c pb/competition_2010/wbo1.4b : 0.0339 0.0006 0.0276 0.3064 0.4679 0.5590 0.7256
820.27/769.28 c pb/other/clasp-1.3.3 : 0.0338 0.0402 0.0745 0.5713 0.6790 0.7228 0.8299
820.27/769.28 c pb/other/sat4j-pb-v20090829 : 0.0061 0.0004 0.0012 0.1887 0.2544 0.3093 0.4786
820.27/769.28 c pb/other/sat4j-pb-v20090829-cutting : 0.0025 0.0141 0.0144 0.0316 0.0691 0.0875 0.2207
820.27/769.29 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2676303-1277135227.opb'] for 0:00:10
831.78/779.87 c DEBUG: probabilities of action success (DCM model):
831.78/779.87 c pb/competition_2010/bsolo_pb10-l1 : 0.0021 0.0027 0.0359 0.0961 0.1555 0.1853 0.2919
831.78/779.87 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0073 0.0222 0.0294 0.1169
831.78/779.87 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0706 0.0713 0.0755 0.1030 0.1852
831.78/779.87 c pb/competition_2010/wbo1.4a : 0.0007 0.0065 0.0052 0.2439 0.3901 0.4758 0.7496
831.78/779.87 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0267 0.2960 0.4524 0.5454 0.7179
831.78/779.87 c pb/other/clasp-1.3.3 : 0.0338 0.0415 0.0712 0.5594 0.6694 0.7147 0.8248
831.78/779.87 c pb/other/sat4j-pb-v20090829 : 0.0056 0.0004 0.0012 0.1911 0.2541 0.3010 0.4646
831.78/779.87 c pb/other/sat4j-pb-v20090829-cutting : 0.0020 0.0120 0.0123 0.0301 0.0690 0.0845 0.2092
831.78/779.88 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1080738317', u'HOME/instance-2676303-1277135227.opb'] for 0:00:10
842.72/790.13 c DEBUG: probabilities of action success (DCM model):
842.72/790.13 c pb/competition_2010/bsolo_pb10-l1 : 0.0021 0.0027 0.0371 0.0989 0.1604 0.1901 0.2959
842.72/790.13 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0076 0.0230 0.0305 0.1193
842.72/790.13 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0716 0.0723 0.0767 0.1049 0.1888
842.72/790.13 c pb/competition_2010/wbo1.4a : 0.0007 0.0067 0.0053 0.2464 0.3934 0.4784 0.7497
842.72/790.13 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0273 0.2998 0.4592 0.5516 0.7206
842.72/790.13 c pb/other/clasp-1.3.3 : 0.0326 0.0409 0.0712 0.5595 0.6700 0.7154 0.8255
842.72/790.13 c pb/other/sat4j-pb-v20090829 : 0.0057 0.0004 0.0012 0.1971 0.2615 0.3086 0.4696
842.72/790.13 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0120 0.0124 0.0308 0.0689 0.0846 0.2085
842.72/790.13 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=982844245', u'HOME/instance-2676303-1277135227.opb'] for 0:00:10
853.58/800.38 c DEBUG: probabilities of action success (DCM model):
853.58/800.38 c pb/competition_2010/bsolo_pb10-l1 : 0.0020 0.0027 0.0382 0.1017 0.1653 0.1949 0.2998
853.58/800.38 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0078 0.0237 0.0315 0.1217
853.58/800.38 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0726 0.0733 0.0778 0.1068 0.1923
853.58/800.38 c pb/competition_2010/wbo1.4a : 0.0007 0.0069 0.0055 0.2489 0.3967 0.4810 0.7498
853.58/800.38 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0279 0.3035 0.4659 0.5577 0.7233
853.58/800.38 c pb/other/clasp-1.3.3 : 0.0314 0.0402 0.0712 0.5597 0.6707 0.7161 0.8262
853.58/800.38 c pb/other/sat4j-pb-v20090829 : 0.0058 0.0004 0.0013 0.2031 0.2690 0.3163 0.4747
853.58/800.38 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0121 0.0125 0.0315 0.0689 0.0847 0.2079
853.58/800.38 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=558094106', u'HOME/instance-2676303-1277135227.opb'] for 0:00:10
864.58/810.68 c DEBUG: probabilities of action success (DCM model):
864.58/810.68 c pb/competition_2010/bsolo_pb10-l1 : 0.0020 0.0027 0.0394 0.1045 0.1701 0.1997 0.3036
864.58/810.68 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0081 0.0245 0.0325 0.1240
864.58/810.68 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0735 0.0742 0.0789 0.1086 0.1958
864.58/810.68 c pb/competition_2010/wbo1.4a : 0.0007 0.0072 0.0056 0.2514 0.3999 0.4836 0.7499
864.58/810.68 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0286 0.3071 0.4724 0.5638 0.7259
864.58/810.68 c pb/other/clasp-1.3.3 : 0.0302 0.0396 0.0712 0.5599 0.6714 0.7169 0.8270
864.58/810.68 c pb/other/sat4j-pb-v20090829 : 0.0059 0.0004 0.0013 0.2091 0.2764 0.3239 0.4798
864.58/810.68 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0122 0.0126 0.0322 0.0689 0.0848 0.2073
864.58/810.68 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=497151293', u'HOME/instance-2676303-1277135227.opb'] for 0:05:00
1184.82/1112.94 c DEBUG: probabilities of action success (DCM model):
1184.82/1112.94 c pb/competition_2010/bsolo_pb10-l1 : 0.0012 0.0012 0.0216 0.0535 0.0928 0.1260 0.1855
1184.82/1112.94 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0090 0.0182 0.0273 0.0580
1184.82/1112.94 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0009 0.0884 0.0884 0.0919 0.1067 0.1442
1184.82/1112.94 c pb/competition_2010/wbo1.4a : 0.0007 0.0059 0.0051 0.2297 0.3012 0.3408 0.6113
1184.82/1112.94 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0135 0.2740 0.3801 0.4819 0.5905
1184.82/1112.94 c pb/other/clasp-1.3.3 : 0.0308 0.0436 0.0752 0.1586 0.4271 0.5030 0.6902
1184.82/1112.94 c pb/other/sat4j-pb-v20090829 : 0.0057 0.0004 0.0008 0.1472 0.1817 0.1915 0.2495
1184.82/1112.94 c pb/other/sat4j-pb-v20090829-cutting : 0.0011 0.0079 0.0079 0.0220 0.0407 0.0447 0.0950
1184.82/1112.94 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2676303-1277135227.opb'] for 0:01:40
1246.84/1171.16 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2676303-1277135227/watcher-2676303-1277135227 -o /tmp/evaluation-result-2676303-1277135227/solver-2676303-1277135227 -C 1800 -W 2000 -M 1800 solver HOME/instance-2676303-1277135227.opb 1079116459
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.02 0.98 0.85 3/106 5893
/proc/meminfo: memFree=1532472/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=16708 CPUtime=0
/proc/5893/stat : 5893 (python) R 5891 5893 5536 0 -1 4202496 732 0 0 0 0 0 0 0 18 0 1 0 87179140 17108992 498 1992294400 4194304 4196484 140735735656176 18446744073709551615 273567658693 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5893/statm: 4177 500 272 1 0 273 0
[startup+0.050592 s]
/proc/loadavg: 1.02 0.98 0.85 3/106 5893
/proc/meminfo: memFree=1532472/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=17960 CPUtime=0.04
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 1856 0 0 0 2 2 0 0 17 0 1 0 87179140 18391040 881 1992294400 4194304 4196484 140736746325328 18446744073709551615 273567995904 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 0
/proc/5893/statm: 4490 881 400 1 0 470 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17960
[startup+0.103689 s]
/proc/loadavg: 1.02 0.98 0.85 3/106 5893
/proc/meminfo: memFree=1532472/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=32160 CPUtime=0.08
/proc/5893/stat : 5893 (python) R 5891 5893 5536 0 -1 4202496 2412 0 0 0 5 3 0 0 17 0 1 0 87179140 32931840 1390 1992294400 4194304 4196484 140736746325328 18446744073709551615 47758783966949 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5893/statm: 8040 1390 459 1 0 912 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32160
[startup+0.300685 s]
/proc/loadavg: 1.02 0.98 0.85 3/106 5893
/proc/meminfo: memFree=1532472/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=70600 CPUtime=0.24
/proc/5893/stat : 5893 (python) R 5891 5893 5536 0 -1 4202496 3960 0 0 0 15 9 0 0 17 0 1 0 87179140 72294400 2797 1992294400 4194304 4196484 140736746325328 18446744073709551615 47758784029407 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5893/statm: 17650 2797 693 1 0 2137 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 70600
[startup+0.700676 s]
/proc/loadavg: 1.02 0.98 0.85 3/106 5893
/proc/meminfo: memFree=1532472/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=98796 CPUtime=0.52
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 4865 0 0 0 32 20 0 0 16 0 1 0 87179140 101167104 3580 1992294400 4194304 4196484 140736746325328 18446744073709551615 273567995904 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 0
/proc/5893/statm: 24699 3580 1022 1 0 2556 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 98796
[startup+1.50166 s]
/proc/loadavg: 0.94 0.97 0.85 2/107 5898
/proc/meminfo: memFree=1515972/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=119520 CPUtime=1.06
/proc/5893/stat : 5893 (python) R 5891 5893 5536 0 -1 4202496 9015 931 0 0 72 34 0 0 16 0 1 0 87179140 122388480 6149 1992294400 4194304 4196484 140736746325328 18446744073709551615 47758784417312 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5893/statm: 29880 6149 1063 1 0 5134 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 119520
[startup+3.10063 s]
/proc/loadavg: 0.94 0.97 0.85 2/108 5899
/proc/meminfo: memFree=1507780/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=132060 CPUtime=1.29
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 10252 931 0 0 91 38 0 0 15 0 1 0 87179140 135229440 6308 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33015 6308 1133 1 0 5167 0
[pid=5899] ppid=5893 vsize=6348 CPUtime=1.47
/proc/5899/stat : 5899 (clasp-1.3.3-x86) R 5893 5899 5899 0 -1 4202496 1668 0 0 0 147 0 0 0 19 0 1 0 87179301 6500352 1353 1992294400 134512640 136080129 4287538544 18446744073709551615 134605136 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5899/statm: 1587 1353 174 383 0 1202 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 138408
[startup+6.30056 s]
/proc/loadavg: 0.94 0.97 0.85 4/108 5899
/proc/meminfo: memFree=1504184/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=132060 CPUtime=1.49
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 10265 931 0 0 108 41 0 0 15 0 1 0 87179140 135229440 6308 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33015 6308 1133 1 0 5167 0
[pid=5899] ppid=5893 vsize=8700 CPUtime=4.65
/proc/5899/stat : 5899 (clasp-1.3.3-x86) R 5893 5899 5899 0 -1 4202496 2243 0 0 0 464 1 0 0 25 0 1 0 87179301 8908800 1928 1992294400 134512640 136080129 4287538544 18446744073709551615 134588881 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5899/statm: 2175 1928 174 383 0 1790 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 140760
[startup+12.7004 s]
/proc/loadavg: 1.03 0.98 0.86 2/108 5902
/proc/meminfo: memFree=1508648/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=12.14
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 11555 4485 0 0 150 48 1012 4 15 0 1 0 87179140 137338880 6330 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6330 1143 1 0 5167 0
[pid=5902] ppid=5893 vsize=5976 CPUtime=0.82
/proc/5902/stat : 5902 (clasp-1.3.3-x86) R 5893 5902 5902 0 -1 4202496 1550 0 0 0 82 0 0 0 19 0 1 0 87180326 6119424 1233 1992294400 134512640 136080129 4293401520 18446744073709551615 134580629 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5902/statm: 1494 1233 174 383 0 1109 0
Current children cumulated CPU time (s) 12.96
Current children cumulated vsize (KiB) 140096
[startup+25.5012 s]
/proc/loadavg: 1.02 0.98 0.86 2/108 5904
/proc/meminfo: memFree=1501580/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=12.94
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 11597 4485 0 0 219 59 1012 4 15 0 1 0 87179140 137338880 6330 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6330 1143 1 0 5167 0
[pid=5902] ppid=5893 vsize=11332 CPUtime=13.55
/proc/5902/stat : 5902 (clasp-1.3.3-x86) R 5893 5902 5902 0 -1 4202496 2900 0 0 0 1354 1 0 0 25 0 1 0 87180326 11603968 2583 1992294400 134512640 136080129 4293401520 18446744073709551615 134588603 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5902/statm: 2833 2583 174 383 0 2448 0
Current children cumulated CPU time (s) 26.49
Current children cumulated vsize (KiB) 145452
[startup+51.1016 s]
/proc/loadavg: 1.08 1.00 0.87 2/108 5904
/proc/meminfo: memFree=1498480/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=14.52
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 11681 4485 0 0 356 80 1012 4 15 0 1 0 87179140 137338880 6330 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6330 1143 1 0 5167 0
[pid=5902] ppid=5893 vsize=14536 CPUtime=38.97
/proc/5902/stat : 5902 (clasp-1.3.3-x86) R 5893 5902 5902 0 -1 4202496 3707 0 0 0 3895 2 0 0 25 0 1 0 87180326 14884864 3390 1992294400 134512640 136080129 4293401520 18446744073709551615 134582031 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5902/statm: 3634 3390 174 383 0 3249 0
Current children cumulated CPU time (s) 53.49
Current children cumulated vsize (KiB) 148656
[startup+102.31 s]
/proc/loadavg: 1.10 1.02 0.88 2/108 5909
/proc/meminfo: memFree=1449996/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=68.57
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 12925 9303 0 0 669 128 6052 8 15 0 1 0 87179140 137338880 6334 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6334 1143 1 0 5167 0
[pid=5907] ppid=5893 vsize=63916 CPUtime=39.38
/proc/5907/stat : 5907 (wbo1.4a) R 5893 5907 5907 0 -1 4202496 15861 0 0 0 3920 18 0 0 25 0 1 0 87185407 65449984 15525 1992294400 134512640 135751879 4287242448 18446744073709551615 134604797 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/5907/statm: 15979 15525 139 303 0 15674 0
Current children cumulated CPU time (s) 107.95
Current children cumulated vsize (KiB) 198036
[startup+162.3 s]
/proc/loadavg: 1.26 1.07 0.90 2/108 5912
/proc/meminfo: memFree=1497488/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=122.88
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 14246 30076 0 0 1017 177 11063 31 15 0 1 0 87179140 137338880 6334 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159836005329808239 0 0 17 1 0 0 0
/proc/5893/statm: 33530 6334 1143 1 0 5167 0
[pid=5912] ppid=5893 vsize=15552 CPUtime=48.92
/proc/5912/stat : 5912 (clasp-1.3.3-x86) R 5893 5912 5912 0 -1 4202496 3973 0 0 0 4888 4 0 0 25 0 1 0 87190474 15925248 3653 1992294400 134512640 136080129 4293274432 18446744073709551615 134845864 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5912/statm: 3888 3653 174 383 0 3503 0
Current children cumulated CPU time (s) 171.8
Current children cumulated vsize (KiB) 149672
[startup+222.302 s]
/proc/loadavg: 1.23 1.10 0.92 4/108 5917
/proc/meminfo: memFree=1494264/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=227.36
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 15463 35588 0 0 1389 227 21081 39 16 0 1 0 87179140 137338880 6335 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6335 1143 1 0 5167 0
[pid=5917] ppid=5893 vsize=19644 CPUtime=8.56
/proc/5917/stat : 5917 (wbo1.4a) R 5893 5917 5917 0 -1 4202496 4792 0 0 0 850 6 0 0 25 0 1 0 87200508 20115456 4452 1992294400 134512640 135751879 4291750864 18446744073709551615 134605063 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5917/statm: 4911 4452 139 303 0 4606 0
Current children cumulated CPU time (s) 235.92
Current children cumulated vsize (KiB) 153764
[startup+282.302 s]
/proc/loadavg: 1.13 1.09 0.93 2/108 5919
/proc/meminfo: memFree=1413540/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=231.18
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 15553 35588 0 0 1723 275 21081 39 15 0 1 0 87179140 137338880 6335 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6335 1143 1 0 5167 0
[pid=5917] ppid=5893 vsize=101460 CPUtime=68.18
/proc/5917/stat : 5917 (wbo1.4a) R 5893 5917 5917 0 -1 4202496 25255 0 0 0 6791 27 0 0 25 0 1 0 87200508 103895040 24915 1992294400 134512640 135751879 4291750864 18446744073709551615 134616534 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5917/statm: 25365 24915 139 303 0 25060 0
Current children cumulated CPU time (s) 299.36
Current children cumulated vsize (KiB) 235580
[startup+342.3 s]
/proc/loadavg: 1.14 1.10 0.94 2/108 5924
/proc/meminfo: memFree=1468348/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=336.08
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 16827 76557 0 0 2092 325 31113 78 15 0 1 0 87179140 137338880 6337 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159836005329808239 0 0 17 1 0 0 0
/proc/5893/statm: 33530 6337 1143 1 0 5167 0
[pid=5924] ppid=5893 vsize=45548 CPUtime=27.22
/proc/5924/stat : 5924 (wbo1.4b) R 5893 5924 5924 0 -1 4202496 11411 0 0 0 2708 14 0 0 25 0 1 0 87210645 46641152 10939 1992294400 134512640 135751879 4293466416 18446744073709551615 134517414 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/5924/statm: 11387 10939 144 303 0 11082 0
Current children cumulated CPU time (s) 363.3
Current children cumulated vsize (KiB) 179668
[startup+402.31 s]
/proc/loadavg: 1.05 1.08 0.94 2/120 5941
/proc/meminfo: memFree=1410964/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=390.76
/proc/5893/stat : 5893 (python) R 5891 5893 5536 0 -1 4202496 18148 98125 0 0 2456 375 36142 103 15 0 1 0 87179140 137338880 6338 1992294400 4194304 4196484 140736746325328 18446744073709551615 273567656641 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6338 1143 1 0 5167 0
[pid=5927] ppid=5893 vsize=1479008 CPUtime=37.41
/proc/5927/stat : 5927 (java) S 5893 5927 5927 0 -1 4202496 27820 0 1 0 3730 11 0 0 15 0 13 0 87215704 1514504192 26599 1992294400 134512640 134550932 4288380560 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5927/statm: 369752 26599 1425 10 0 367054 0
[pid=5927/tid=5928] ppid=5893 vsize=1479008 CPUtime=36.18
/proc/5927/task/5928/stat : 5928 (java) R 5893 5927 5927 0 -1 4202560 24467 0 1 0 3609 9 0 0 25 0 13 0 87215706 1514504192 26599 1992294400 134512640 134550932 4288380560 18446744073709551615 4109239058 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5927/tid=5929] ppid=5893 vsize=1479008 CPUtime=0
/proc/5927/task/5929/stat : 5929 (java) S 5893 5927 5927 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 87215707 1514504192 26599 1992294400 134512640 134550932 4288380560 18446744073709551615 4294960144 0 4 0 16800975 18446604437831917632 0 0 -1 0 0 0 0
[pid=5927/tid=5930] ppid=5893 vsize=1479008 CPUtime=0
/proc/5927/task/5930/stat : 5930 (java) S 5893 5927 5927 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 87215707 1514504192 26599 1992294400 134512640 134550932 4288380560 18446744073709551615 4294960144 0 4 0 16800975 18446604437831917632 0 0 -1 0 0 0 0
[pid=5927/tid=5931] ppid=5893 vsize=1479008 CPUtime=0
################
# More data... #
################
/proc/6017/statm: 2699 2435 174 383 0 2314 0
Current children cumulated CPU time (s) 877.03
Current children cumulated vsize (KiB) 144916
[startup+882.302 s]
/proc/loadavg: 1.04 1.07 0.98 2/108 6028
/proc/meminfo: memFree=1495320/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=869.43
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 40320 337598 0 2 5369 771 80527 276 15 0 1 0 87179140 137338880 6348 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159836005329808239 0 0 17 1 0 0 0
/proc/5893/statm: 33530 6348 1143 1 0 5167 0
[pid=6017] ppid=5893 vsize=16804 CPUtime=71.14
/proc/6017/stat : 6017 (clasp-1.3.3-x86) R 5893 6017 6017 0 -1 4202496 4261 0 0 0 7110 4 0 0 25 0 1 0 87260209 17207296 3938 1992294400 134512640 136080129 4294398512 18446744073709551615 134804917 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6017/statm: 4201 3938 174 383 0 3816 0
Current children cumulated CPU time (s) 940.57
Current children cumulated vsize (KiB) 150924
[startup+942.302 s]
/proc/loadavg: 1.01 1.06 0.98 2/108 6030
/proc/meminfo: memFree=1492220/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=873.36
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 40344 337598 0 2 5719 814 80527 276 15 0 1 0 87179140 137338880 6348 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159836005329808239 0 0 17 1 0 0 0
/proc/5893/statm: 33530 6348 1143 1 0 5167 0
[pid=6017] ppid=5893 vsize=19868 CPUtime=130.73
/proc/6017/stat : 6017 (clasp-1.3.3-x86) R 5893 6017 6017 0 -1 4202496 5081 0 0 0 13068 5 0 0 25 0 1 0 87260209 20344832 4730 1992294400 134512640 136080129 4294398512 18446744073709551615 134601695 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/6017/statm: 4967 4730 174 383 0 4582 0
Current children cumulated CPU time (s) 1004.09
Current children cumulated vsize (KiB) 153988
[startup+1002.3 s]
/proc/loadavg: 1.00 1.05 0.98 3/108 6032
/proc/meminfo: memFree=1490484/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=877.29
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 40368 337598 0 2 6068 858 80527 276 16 0 1 0 87179140 137338880 6348 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159836005329808239 0 0 17 1 0 0 0
/proc/5893/statm: 33530 6348 1143 1 0 5167 0
[pid=6017] ppid=5893 vsize=21748 CPUtime=190.33
/proc/6017/stat : 6017 (clasp-1.3.3-x86) R 5893 6017 6017 0 -1 4202496 5565 0 0 0 19027 6 0 0 25 0 1 0 87260209 22269952 5181 1992294400 134512640 136080129 4294398512 18446744073709551615 134588881 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6017/statm: 5437 5181 174 383 0 5052 0
Current children cumulated CPU time (s) 1067.62
Current children cumulated vsize (KiB) 155868
[startup+1062.3 s]
/proc/loadavg: 1.00 1.03 0.98 2/108 6032
/proc/meminfo: memFree=1488128/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=881.22
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 40392 337598 0 2 6416 903 80527 276 16 0 1 0 87179140 137338880 6348 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159836005329808239 0 0 17 1 0 0 0
/proc/5893/statm: 33530 6348 1143 1 0 5167 0
[pid=6017] ppid=5893 vsize=24040 CPUtime=249.99
/proc/6017/stat : 6017 (clasp-1.3.3-x86) R 5893 6017 6017 0 -1 4202496 6158 0 0 0 24991 8 0 0 25 0 1 0 87260209 24616960 5754 1992294400 134512640 136080129 4294398512 18446744073709551615 134849989 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/6017/statm: 6010 5754 174 383 0 5625 0
Current children cumulated CPU time (s) 1131.21
Current children cumulated vsize (KiB) 158160
[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 0.98 2/108 6037
/proc/meminfo: memFree=1462088/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=1185.63
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 41630 344966 0 2 6783 948 110545 287 15 0 1 0 87179140 137338880 6349 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6349 1143 1 0 5167 0
[pid=6037] ppid=5893 vsize=60176 CPUtime=9.35
/proc/6037/stat : 6037 (bsolo_pb10) R 5893 6037 6037 0 -1 4202496 12986 0 0 0 927 8 0 0 25 0 1 0 87290435 61620224 12608 1992294400 134512640 137138936 4287428528 18446744073709551615 134542617 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/6037/statm: 15044 12608 192 642 0 14400 0
Current children cumulated CPU time (s) 1194.98
Current children cumulated vsize (KiB) 194296
Solver just ended. Dumping a history of the last processes samples
[startup+1126.3 s]
/proc/loadavg: 1.00 1.03 0.98 2/108 6037
/proc/meminfo: memFree=1452912/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=1185.87
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 41649 344966 0 2 6803 952 110545 287 15 0 1 0 87179140 137338880 6349 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6349 1143 1 0 5167 0
[pid=6037] ppid=5893 vsize=68004 CPUtime=13.35
/proc/6037/stat : 6037 (bsolo_pb10) R 5893 6037 6037 0 -1 4202496 14958 0 0 0 1326 9 0 0 25 0 1 0 87290435 69636096 14580 1992294400 134512640 137138936 4287428528 18446744073709551615 135984556 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/6037/statm: 17001 14580 192 642 0 16357 0
Current children cumulated CPU time (s) 1199.22
Current children cumulated vsize (KiB) 202124
[startup+1151.9 s]
/proc/loadavg: 1.14 1.05 0.99 2/108 6039
/proc/meminfo: memFree=1391904/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=1187.49
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 41710 344966 0 2 6946 971 110545 287 16 0 1 0 87179140 137338880 6349 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6349 1143 1 0 5167 0
[pid=6037] ppid=5893 vsize=129332 CPUtime=38.93
/proc/6037/stat : 6037 (bsolo_pb10) R 5893 6037 6037 0 -1 4202496 30270 0 0 0 3877 16 0 0 25 0 1 0 87290435 132435968 29892 1992294400 134512640 137138936 4287428528 18446744073709551615 134542528 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/6037/statm: 32333 29892 192 642 0 31689 0
Current children cumulated CPU time (s) 1226.42
Current children cumulated vsize (KiB) 263452
[startup+1164.7 s]
/proc/loadavg: 1.11 1.05 0.99 2/108 6039
/proc/meminfo: memFree=1369088/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=1188.28
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 41725 344966 0 2 7015 981 110545 287 16 0 1 0 87179140 137338880 6349 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6349 1143 1 0 5167 0
[pid=6037] ppid=5893 vsize=153280 CPUtime=51.73
/proc/6037/stat : 6037 (bsolo_pb10) R 5893 6037 6037 0 -1 4202496 36257 0 0 0 5152 21 0 0 25 0 1 0 87290435 156958720 35879 1992294400 134512640 137138936 4287428528 18446744073709551615 134542497 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/6037/statm: 38320 35879 192 642 0 37676 0
Current children cumulated CPU time (s) 1240.01
Current children cumulated vsize (KiB) 287400
[startup+1167.9 s]
/proc/loadavg: 1.11 1.05 0.99 3/108 6039
/proc/meminfo: memFree=1362888/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=1188.48
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 41727 344966 0 2 7033 983 110545 287 16 0 1 0 87179140 137338880 6349 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6349 1143 1 0 5167 0
[pid=6037] ppid=5893 vsize=158956 CPUtime=54.93
/proc/6037/stat : 6037 (bsolo_pb10) R 5893 6037 6037 0 -1 4202496 37676 0 0 0 5471 22 0 0 25 0 1 0 87290435 162770944 37298 1992294400 134512640 137138936 4287428528 18446744073709551615 134575044 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/6037/statm: 39739 37298 192 642 0 39095 0
Current children cumulated CPU time (s) 1243.41
Current children cumulated vsize (KiB) 293076
[startup+1169.5 s]
/proc/loadavg: 1.11 1.05 0.99 2/108 6039
/proc/meminfo: memFree=1361648/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=1188.58
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 41727 344966 0 2 7042 984 110545 287 16 0 1 0 87179140 137338880 6349 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6349 1143 1 0 5167 0
[pid=6037] ppid=5893 vsize=159132 CPUtime=56.53
/proc/6037/stat : 6037 (bsolo_pb10) R 5893 6037 6037 0 -1 4202496 37736 0 0 0 5631 22 0 0 25 0 1 0 87290435 162951168 37358 1992294400 134512640 137138936 4287428528 18446744073709551615 134539684 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/6037/statm: 39783 37358 192 642 0 39139 0
Current children cumulated CPU time (s) 1245.11
Current children cumulated vsize (KiB) 293252
[startup+1170.3 s]
/proc/loadavg: 1.10 1.05 0.99 2/108 6039
/proc/meminfo: memFree=1361028/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=1188.65
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 41728 344966 0 2 7048 985 110545 287 15 0 1 0 87179140 137338880 6349 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6349 1143 1 0 5167 0
[pid=6037] ppid=5893 vsize=159544 CPUtime=57.34
/proc/6037/stat : 6037 (bsolo_pb10) R 5893 6037 6037 0 -1 4202496 37848 0 0 0 5712 22 0 0 25 0 1 0 87290435 163373056 37470 1992294400 134512640 137138936 4287428528 18446744073709551615 134575044 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/6037/statm: 39886 37470 192 642 0 39242 0
Current children cumulated CPU time (s) 1245.99
Current children cumulated vsize (KiB) 293664
[startup+1170.7 s]
/proc/loadavg: 1.10 1.05 0.99 2/108 6039
/proc/meminfo: memFree=1361028/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=1188.65
/proc/5893/stat : 5893 (python) S 5891 5893 5536 0 -1 4202496 41728 344966 0 2 7048 985 110545 287 15 0 1 0 87179140 137338880 6349 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568017935 0 0 16781312 2 159688670771686255 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6349 1143 1 0 5167 0
[pid=6037] ppid=5893 vsize=159772 CPUtime=57.73
/proc/6037/stat : 6037 (bsolo_pb10) R 5893 6037 6037 0 -1 4202496 37897 0 0 0 5751 22 0 0 25 0 1 0 87290435 163606528 37519 1992294400 134512640 137138936 4287428528 18446744073709551615 134539684 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/6037/statm: 39943 37519 192 642 0 39299 0
Current children cumulated CPU time (s) 1246.38
Current children cumulated vsize (KiB) 293892
[startup+1171.1 s]
/proc/loadavg: 1.10 1.05 0.99 2/108 6039
/proc/meminfo: memFree=1361028/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134120 CPUtime=1188.78
/proc/5893/stat : 5893 (python) R 5891 5893 5536 0 -1 4202496 41731 344966 0 2 7059 987 110545 287 15 0 1 0 87179140 137338880 6349 1992294400 4194304 4196484 140736746325328 18446744073709551615 273568041095 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5893/statm: 33530 6349 1143 1 0 5167 0
[pid=6037] ppid=5893 vsize=0 CPUtime=58.06
/proc/6037/stat : 6037 (bsolo_pb10) Z 5893 6037 6037 0 -1 4202524 37912 0 0 0 5782 24 0 0 25 0 1 0 87290435 0 0 1992294400 0 0 0 0 0 0 0 16781312 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/6037/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1246.84
Current children cumulated vsize (KiB) 134120
[startup+1171.2 s]
/proc/loadavg: 1.10 1.05 0.99 2/108 6039
/proc/meminfo: memFree=1361028/2059040 swapFree=4139972/4192956
[pid=5893] ppid=5891 vsize=134116 CPUtime=1246.93
/proc/5893/stat : 5893 (python) R 5891 5893 5536 0 -1 4202496 45583 383797 0 2 7065 988 116327 313 15 0 1 0 87179140 137334784 6350 1992294400 4194304 4196484 140736746325328 18446744073709551615 47758784555010 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/5893/statm: 33529 6350 1143 1 0 5166 0
Current children cumulated CPU time (s) 1246.93
Current children cumulated vsize (KiB) 134116
Child status: 20
Real time (s): 1171.24
CPU time (s): 1246.99
CPU user time (s): 1233.97
CPU system time (s): 13.018
CPU usage (%): 106.467
Max. virtual memory (cumulated for all children) (KiB): 1613604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1233.97
system time used= 13.018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 430432
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10315
involuntary context switches= 22033
runsolver used 2.17567 second user time and 5.8951 second system time
The end