1.14/2.15 c DEBUG: probabilities of action success (DCM model):
1.14/2.15 c pb/competition_2010/bsolo_pb10-l1 : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
1.14/2.15 c pb/competition_2010/bsolo_pb10-l2 : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
1.14/2.15 c pb/competition_2010/bsolo_pb10-l3 : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
1.14/2.15 c pb/competition_2010/wbo1.4a : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
1.14/2.15 c pb/competition_2010/wbo1.4b : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
1.14/2.15 c pb/other/clasp-1.3.3 : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
1.14/2.15 c pb/other/sat4j-pb-v20090829 : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
1.14/2.15 c pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
1.14/2.19 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=348850133', u'HOME/instance-2685016-1278438039.opb'] for 0:00:10
12.08/12.54 c DEBUG: probabilities of action success (DCM model):
12.08/12.54 c pb/competition_2010/bsolo_pb10-l1 : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
12.08/12.54 c pb/competition_2010/bsolo_pb10-l2 : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
12.08/12.54 c pb/competition_2010/bsolo_pb10-l3 : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
12.08/12.54 c pb/competition_2010/wbo1.4a : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
12.08/12.54 c pb/competition_2010/wbo1.4b : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
12.08/12.54 c pb/other/clasp-1.3.3 : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
12.08/12.54 c pb/other/sat4j-pb-v20090829 : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
12.08/12.54 c pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
12.08/12.54 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1836944178', u'HOME/instance-2685016-1278438039.opb'] for 0:00:50
65.52/63.13 c DEBUG: probabilities of action success (DCM model):
65.52/63.13 c pb/competition_2010/bsolo_pb10-l1 : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
65.52/63.13 c pb/competition_2010/bsolo_pb10-l2 : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
65.52/63.13 c pb/competition_2010/bsolo_pb10-l3 : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
65.52/63.13 c pb/competition_2010/wbo1.4a : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
65.52/63.13 c pb/competition_2010/wbo1.4b : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
65.52/63.13 c pb/other/clasp-1.3.3 : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
65.52/63.13 c pb/other/sat4j-pb-v20090829 : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
65.52/63.13 c pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
65.52/63.13 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2685016-1278438039.opb'] for 0:00:50
119.15/113.60 c DEBUG: probabilities of action success (DCM model):
119.15/113.60 c pb/competition_2010/bsolo_pb10-l1 : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
119.15/113.60 c pb/competition_2010/bsolo_pb10-l2 : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
119.15/113.60 c pb/competition_2010/bsolo_pb10-l3 : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
119.15/113.60 c pb/competition_2010/wbo1.4a : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
119.15/113.60 c pb/competition_2010/wbo1.4b : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
119.15/113.60 c pb/other/clasp-1.3.3 : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
119.15/113.60 c pb/other/sat4j-pb-v20090829 : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
119.15/113.60 c pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
119.15/113.60 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1431509608', u'HOME/instance-2685016-1278438039.opb'] for 0:01:40
225.23/214.35 c DEBUG: probabilities of action success (DCM model):
225.23/214.35 c pb/competition_2010/bsolo_pb10-l1 : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
225.23/214.35 c pb/competition_2010/bsolo_pb10-l2 : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
225.23/214.35 c pb/competition_2010/bsolo_pb10-l3 : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
225.23/214.35 c pb/competition_2010/wbo1.4a : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
225.23/214.35 c pb/competition_2010/wbo1.4b : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
225.23/214.35 c pb/other/clasp-1.3.3 : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
225.23/214.35 c pb/other/sat4j-pb-v20090829 : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
225.23/214.35 c pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
225.23/214.36 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2685016-1278438039.opb'] for 0:01:40
331.73/314.96 c DEBUG: probabilities of action success (DCM model):
331.73/314.96 c pb/competition_2010/bsolo_pb10-l1 : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
331.73/314.96 c pb/competition_2010/bsolo_pb10-l2 : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
331.73/314.96 c pb/competition_2010/bsolo_pb10-l3 : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
331.73/314.96 c pb/competition_2010/wbo1.4a : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
331.73/314.96 c pb/competition_2010/wbo1.4b : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
331.73/314.96 c pb/other/clasp-1.3.3 : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
331.73/314.96 c pb/other/sat4j-pb-v20090829 : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
331.73/314.96 c pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
331.73/314.96 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2685016-1278438039.opb'] for 0:00:50
385.06/365.45 c DEBUG: probabilities of action success (DCM model):
385.06/365.45 c pb/competition_2010/bsolo_pb10-l1 : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
385.06/365.45 c pb/competition_2010/bsolo_pb10-l2 : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
385.06/365.45 c pb/competition_2010/bsolo_pb10-l3 : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
385.06/365.45 c pb/competition_2010/wbo1.4a : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
385.06/365.45 c pb/competition_2010/wbo1.4b : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
385.06/365.45 c pb/other/clasp-1.3.3 : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
385.06/365.45 c pb/other/sat4j-pb-v20090829 : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
385.06/365.45 c pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
385.06/365.45 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-2685016-1278438039.opb'] for 0:01:40
491.92/464.87 c DEBUG: probabilities of action success (DCM model):
491.92/464.87 c pb/competition_2010/bsolo_pb10-l1 : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
491.92/464.87 c pb/competition_2010/bsolo_pb10-l2 : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
491.92/464.87 c pb/competition_2010/bsolo_pb10-l3 : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
491.92/464.87 c pb/competition_2010/wbo1.4a : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
491.92/464.87 c pb/competition_2010/wbo1.4b : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
491.92/464.87 c pb/other/clasp-1.3.3 : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
491.92/464.87 c pb/other/sat4j-pb-v20090829 : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
491.92/464.87 c pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
491.92/464.87 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2685016-1278438039.opb'] for 0:01:40
598.06/565.13 c DEBUG: probabilities of action success (DCM model):
598.06/565.13 c pb/competition_2010/bsolo_pb10-l1 : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
598.06/565.13 c pb/competition_2010/bsolo_pb10-l2 : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
598.06/565.13 c pb/competition_2010/bsolo_pb10-l3 : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
598.06/565.13 c pb/competition_2010/wbo1.4a : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
598.06/565.13 c pb/competition_2010/wbo1.4b : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
598.06/565.13 c pb/other/clasp-1.3.3 : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
598.06/565.13 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
598.06/565.13 c pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
598.06/565.14 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2685016-1278438039.opb'] for 0:00:50
651.34/615.48 c DEBUG: probabilities of action success (DCM model):
651.34/615.48 c pb/competition_2010/bsolo_pb10-l1 : 0.0056 0.0070 0.0350 0.0875 0.1379 0.1679 0.2779
651.34/615.48 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0082 0.0206 0.0285 0.1112
651.34/615.48 c pb/competition_2010/bsolo_pb10-l3 : 0.0271 0.0006 0.0648 0.0663 0.0694 0.0943 0.1707
651.34/615.48 c pb/competition_2010/wbo1.4a : 0.0418 0.0058 0.0048 0.2383 0.3810 0.4683 0.7449
651.34/615.48 c pb/competition_2010/wbo1.4b : 0.0319 0.0007 0.0234 0.2842 0.4328 0.5290 0.7099
651.34/615.48 c pb/other/clasp-1.3.3 : 0.0466 0.0429 0.0715 0.5647 0.6728 0.7172 0.8274
651.34/615.48 c pb/other/sat4j-pb-v20090829 : 0.0089 0.0393 0.0011 0.1832 0.2460 0.2933 0.4648
651.34/615.48 c pb/other/sat4j-pb-v20090829-cutting : 0.0049 0.0225 0.0232 0.0376 0.0774 0.0936 0.2247
651.34/615.48 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=359215788', u'HOME/instance-2685016-1278438039.opb'] for 0:00:10
662.37/625.81 c DEBUG: probabilities of action success (DCM model):
662.37/625.81 c pb/competition_2010/bsolo_pb10-l1 : 0.0048 0.0062 0.0356 0.0901 0.1429 0.1729 0.2823
662.37/625.81 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0085 0.0216 0.0299 0.1142
662.37/625.81 c pb/competition_2010/bsolo_pb10-l3 : 0.0284 0.0006 0.0660 0.0675 0.0708 0.0964 0.1746
662.37/625.81 c pb/competition_2010/wbo1.4a : 0.0419 0.0061 0.0050 0.2416 0.3851 0.4718 0.7463
662.37/625.81 c pb/competition_2010/wbo1.4b : 0.0313 0.0007 0.0242 0.2884 0.4409 0.5368 0.7143
662.37/625.81 c pb/other/clasp-1.3.3 : 0.0432 0.0422 0.0717 0.5642 0.6732 0.7178 0.8280
662.37/625.81 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0402 0.0011 0.1889 0.2523 0.3000 0.4690
662.37/625.81 c pb/other/sat4j-pb-v20090829-cutting : 0.0041 0.0196 0.0203 0.0354 0.0744 0.0909 0.2215
662.37/625.81 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=48112689', u'HOME/instance-2685016-1278438039.opb'] for 0:00:10
673.27/636.10 c DEBUG: probabilities of action success (DCM model):
673.27/636.10 c pb/competition_2010/bsolo_pb10-l1 : 0.0043 0.0058 0.0365 0.0929 0.1481 0.1780 0.2865
673.27/636.10 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0089 0.0225 0.0312 0.1171
673.27/636.10 c pb/competition_2010/bsolo_pb10-l3 : 0.0297 0.0007 0.0671 0.0686 0.0720 0.0984 0.1784
673.27/636.10 c pb/competition_2010/wbo1.4a : 0.0419 0.0064 0.0052 0.2447 0.3890 0.4751 0.7470
673.27/636.10 c pb/competition_2010/wbo1.4b : 0.0310 0.0007 0.0249 0.2925 0.4487 0.5442 0.7181
673.27/636.10 c pb/other/clasp-1.3.3 : 0.0408 0.0415 0.0717 0.5640 0.6738 0.7185 0.8288
673.27/636.10 c pb/other/sat4j-pb-v20090829 : 0.0081 0.0414 0.0012 0.1953 0.2599 0.3078 0.4741
673.27/636.10 c pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0182 0.0189 0.0346 0.0729 0.0895 0.2196
673.27/636.10 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2685016-1278438039.opb'] for 0:00:10
684.62/646.68 c DEBUG: probabilities of action success (DCM model):
684.62/646.68 c pb/competition_2010/bsolo_pb10-l1 : 0.0042 0.0051 0.0367 0.0952 0.1515 0.1809 0.2919
684.62/646.68 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0091 0.0232 0.0322 0.1217
684.62/646.68 c pb/competition_2010/bsolo_pb10-l3 : 0.0308 0.0006 0.0658 0.0668 0.0704 0.0979 0.1806
684.62/646.68 c pb/competition_2010/wbo1.4a : 0.0007 0.0062 0.0054 0.2431 0.3935 0.4830 0.7552
684.62/646.68 c pb/competition_2010/wbo1.4b : 0.0322 0.0006 0.0259 0.2941 0.4539 0.5495 0.7272
684.62/646.68 c pb/other/clasp-1.3.3 : 0.0407 0.0412 0.0702 0.5773 0.6906 0.7332 0.8386
684.62/646.68 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0415 0.0012 0.1996 0.2666 0.3166 0.4896
684.62/646.68 c pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0187 0.0192 0.0349 0.0747 0.0916 0.2271
684.62/646.68 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1850827461', u'HOME/instance-2685016-1278438039.opb'] for 0:00:10
695.65/657.02 c DEBUG: probabilities of action success (DCM model):
695.65/657.02 c pb/competition_2010/bsolo_pb10-l1 : 0.0039 0.0049 0.0378 0.0982 0.1569 0.1862 0.2962
695.65/657.02 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0095 0.0242 0.0336 0.1245
695.65/657.02 c pb/competition_2010/bsolo_pb10-l3 : 0.0321 0.0007 0.0669 0.0680 0.0717 0.1000 0.1846
695.65/657.02 c pb/competition_2010/wbo1.4a : 0.0007 0.0064 0.0056 0.2461 0.3974 0.4861 0.7556
695.65/657.02 c pb/competition_2010/wbo1.4b : 0.0321 0.0006 0.0266 0.2983 0.4618 0.5570 0.7307
695.65/657.02 c pb/other/clasp-1.3.3 : 0.0387 0.0405 0.0702 0.5772 0.6912 0.7339 0.8394
695.65/657.02 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0428 0.0012 0.2064 0.2748 0.3250 0.4951
695.65/657.02 c pb/other/sat4j-pb-v20090829-cutting : 0.0036 0.0179 0.0184 0.0347 0.0737 0.0907 0.2256
695.65/657.02 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1855891942', u'HOME/instance-2685016-1278438039.opb'] for 0:00:10
706.61/667.35 c DEBUG: probabilities of action success (DCM model):
706.61/667.35 c pb/competition_2010/bsolo_pb10-l1 : 0.0037 0.0048 0.0389 0.1012 0.1623 0.1915 0.3004
706.61/667.35 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0099 0.0251 0.0349 0.1274
706.61/667.35 c pb/competition_2010/bsolo_pb10-l3 : 0.0334 0.0007 0.0680 0.0691 0.0729 0.1020 0.1884
706.61/667.35 c pb/competition_2010/wbo1.4a : 0.0008 0.0067 0.0057 0.2490 0.4011 0.4892 0.7558
706.61/667.35 c pb/competition_2010/wbo1.4b : 0.0320 0.0006 0.0273 0.3025 0.4695 0.5642 0.7341
706.61/667.35 c pb/other/clasp-1.3.3 : 0.0369 0.0398 0.0702 0.5772 0.6919 0.7347 0.8403
706.61/667.35 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0442 0.0013 0.2134 0.2832 0.3336 0.5007
706.61/667.35 c pb/other/sat4j-pb-v20090829-cutting : 0.0034 0.0174 0.0179 0.0348 0.0730 0.0901 0.2243
706.61/667.35 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=700595281', u'HOME/instance-2685016-1278438039.opb'] for 0:00:10
717.46/677.64 c DEBUG: probabilities of action success (DCM model):
717.46/677.64 c pb/competition_2010/bsolo_pb10-l1 : 0.0036 0.0047 0.0401 0.1043 0.1677 0.1967 0.3047
717.46/677.64 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0103 0.0261 0.0362 0.1301
717.46/677.64 c pb/competition_2010/bsolo_pb10-l3 : 0.0347 0.0007 0.0690 0.0701 0.0742 0.1041 0.1923
717.46/677.64 c pb/competition_2010/wbo1.4a : 0.0008 0.0069 0.0059 0.2519 0.4048 0.4922 0.7560
717.46/677.64 c pb/competition_2010/wbo1.4b : 0.0319 0.0006 0.0280 0.3065 0.4771 0.5714 0.7375
717.46/677.64 c pb/other/clasp-1.3.3 : 0.0352 0.0390 0.0701 0.5772 0.6926 0.7356 0.8412
717.46/677.64 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0456 0.0013 0.2203 0.2917 0.3422 0.5065
717.46/677.64 c pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0170 0.0176 0.0351 0.0725 0.0897 0.2232
717.46/677.65 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2047590501', u'HOME/instance-2685016-1278438039.opb'] for 0:00:10
728.31/687.94 c DEBUG: probabilities of action success (DCM model):
728.31/687.94 c pb/competition_2010/bsolo_pb10-l1 : 0.0035 0.0046 0.0414 0.1073 0.1730 0.2020 0.3089
728.31/687.94 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0106 0.0270 0.0376 0.1328
728.31/687.94 c pb/competition_2010/bsolo_pb10-l3 : 0.0359 0.0007 0.0700 0.0712 0.0753 0.1061 0.1960
728.31/687.94 c pb/competition_2010/wbo1.4a : 0.0008 0.0071 0.0061 0.2547 0.4085 0.4952 0.7561
728.31/687.94 c pb/competition_2010/wbo1.4b : 0.0318 0.0006 0.0287 0.3105 0.4845 0.5783 0.7407
728.31/687.94 c pb/other/clasp-1.3.3 : 0.0337 0.0383 0.0700 0.5774 0.6935 0.7365 0.8422
728.31/687.94 c pb/other/sat4j-pb-v20090829 : 0.0085 0.0471 0.0014 0.2273 0.3002 0.3509 0.5123
728.31/687.94 c pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0168 0.0174 0.0356 0.0721 0.0895 0.2223
728.31/687.95 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2685016-1278438039.opb'] for 0:00:10
739.23/698.24 c DEBUG: probabilities of action success (DCM model):
739.23/698.24 c pb/competition_2010/bsolo_pb10-l1 : 0.0035 0.0046 0.0335 0.0887 0.1422 0.1723 0.2831
739.23/698.24 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0110 0.0239 0.0348 0.1243
739.23/698.24 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0006 0.0633 0.0644 0.0688 0.0951 0.1792
739.23/698.24 c pb/competition_2010/wbo1.4a : 0.0008 0.0074 0.0063 0.2548 0.4004 0.4857 0.7517
739.23/698.24 c pb/competition_2010/wbo1.4b : 0.0330 0.0006 0.0260 0.3033 0.4653 0.5626 0.7311
739.23/698.24 c pb/other/clasp-1.3.3 : 0.0349 0.0397 0.0725 0.5710 0.6821 0.7268 0.8363
739.23/698.24 c pb/other/sat4j-pb-v20090829 : 0.0088 0.0488 0.0013 0.2079 0.2742 0.3267 0.4941
739.23/698.24 c pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0174 0.0180 0.0367 0.0746 0.0926 0.2304
739.23/698.24 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1487218860', u'HOME/instance-2685016-1278438039.opb'] for 0:00:10
750.17/708.57 c DEBUG: probabilities of action success (DCM model):
750.17/708.57 c pb/competition_2010/bsolo_pb10-l1 : 0.0034 0.0046 0.0345 0.0912 0.1467 0.1766 0.2865
750.17/708.57 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0114 0.0247 0.0360 0.1268
750.17/708.57 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0006 0.0641 0.0652 0.0697 0.0968 0.1824
750.17/708.57 c pb/competition_2010/wbo1.4a : 0.0008 0.0077 0.0065 0.2576 0.4039 0.4884 0.7517
750.17/708.57 c pb/competition_2010/wbo1.4b : 0.0330 0.0006 0.0266 0.3071 0.4722 0.5692 0.7341
750.17/708.57 c pb/other/clasp-1.3.3 : 0.0335 0.0390 0.0725 0.5709 0.6826 0.7274 0.8371
750.17/708.57 c pb/other/sat4j-pb-v20090829 : 0.0089 0.0504 0.0014 0.2144 0.2821 0.3348 0.4995
750.17/708.57 c pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0173 0.0179 0.0373 0.0744 0.0926 0.2299
750.17/708.58 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-2685016-1278438039.opb'] for 0:00:50
804.01/757.02 c DEBUG: probabilities of action success (DCM model):
804.01/757.02 c pb/competition_2010/bsolo_pb10-l1 : 0.0027 0.0033 0.0343 0.0933 0.1487 0.1802 0.2953
804.01/757.02 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0068 0.0207 0.0275 0.1219
804.01/757.02 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0674 0.0680 0.0719 0.1000 0.1870
804.01/757.02 c pb/competition_2010/wbo1.4a : 0.0006 0.0066 0.0068 0.2480 0.3953 0.4814 0.7562
804.01/757.02 c pb/competition_2010/wbo1.4b : 0.0339 0.0006 0.0270 0.3026 0.4612 0.5528 0.7230
804.01/757.02 c pb/other/clasp-1.3.3 : 0.0351 0.0409 0.0745 0.5713 0.6785 0.7222 0.8293
804.01/757.02 c pb/other/sat4j-pb-v20090829 : 0.0060 0.0004 0.0011 0.1829 0.2472 0.3019 0.4737
804.01/757.02 c pb/other/sat4j-pb-v20090829-cutting : 0.0026 0.0140 0.0144 0.0310 0.0693 0.0875 0.2214
804.01/757.02 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=270053194', u'HOME/instance-2685016-1278438039.opb'] for 0:00:10
814.92/767.31 c DEBUG: probabilities of action success (DCM model):
814.92/767.31 c pb/competition_2010/bsolo_pb10-l1 : 0.0027 0.0033 0.0354 0.0960 0.1534 0.1848 0.2992
814.92/767.31 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0071 0.0214 0.0284 0.1243
814.92/767.31 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0683 0.0690 0.0730 0.1019 0.1906
814.92/767.31 c pb/competition_2010/wbo1.4a : 0.0006 0.0068 0.0070 0.2506 0.3986 0.4840 0.7563
814.92/767.31 c pb/competition_2010/wbo1.4b : 0.0339 0.0006 0.0276 0.3064 0.4679 0.5590 0.7256
814.92/767.31 c pb/other/clasp-1.3.3 : 0.0338 0.0402 0.0745 0.5713 0.6790 0.7228 0.8299
814.92/767.31 c pb/other/sat4j-pb-v20090829 : 0.0061 0.0004 0.0012 0.1887 0.2544 0.3093 0.4786
814.92/767.31 c pb/other/sat4j-pb-v20090829-cutting : 0.0025 0.0141 0.0144 0.0316 0.0691 0.0875 0.2207
814.92/767.32 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2685016-1278438039.opb'] for 0:00:10
825.79/777.52 c DEBUG: probabilities of action success (DCM model):
825.79/777.52 c pb/competition_2010/bsolo_pb10-l1 : 0.0021 0.0027 0.0359 0.0961 0.1555 0.1853 0.2919
825.79/777.52 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0073 0.0222 0.0294 0.1169
825.79/777.52 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0706 0.0713 0.0755 0.1030 0.1852
825.79/777.52 c pb/competition_2010/wbo1.4a : 0.0007 0.0065 0.0052 0.2439 0.3901 0.4758 0.7496
825.79/777.52 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0267 0.2960 0.4524 0.5454 0.7179
825.79/777.52 c pb/other/clasp-1.3.3 : 0.0338 0.0415 0.0712 0.5594 0.6694 0.7147 0.8248
825.79/777.52 c pb/other/sat4j-pb-v20090829 : 0.0056 0.0004 0.0012 0.1911 0.2541 0.3010 0.4646
825.79/777.52 c pb/other/sat4j-pb-v20090829-cutting : 0.0020 0.0120 0.0123 0.0301 0.0690 0.0845 0.2092
825.79/777.52 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1853656835', u'HOME/instance-2685016-1278438039.opb'] for 0:00:10
836.68/787.85 c DEBUG: probabilities of action success (DCM model):
836.68/787.85 c pb/competition_2010/bsolo_pb10-l1 : 0.0021 0.0027 0.0371 0.0989 0.1604 0.1901 0.2959
836.68/787.85 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0076 0.0230 0.0305 0.1193
836.68/787.85 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0716 0.0723 0.0767 0.1049 0.1888
836.68/787.85 c pb/competition_2010/wbo1.4a : 0.0007 0.0067 0.0053 0.2464 0.3934 0.4784 0.7497
836.68/787.85 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0273 0.2998 0.4592 0.5516 0.7206
836.68/787.85 c pb/other/clasp-1.3.3 : 0.0326 0.0409 0.0712 0.5595 0.6700 0.7154 0.8255
836.68/787.85 c pb/other/sat4j-pb-v20090829 : 0.0057 0.0004 0.0012 0.1971 0.2615 0.3086 0.4696
836.68/787.85 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0120 0.0124 0.0308 0.0689 0.0846 0.2085
836.68/787.85 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1297298942', u'HOME/instance-2685016-1278438039.opb'] for 0:00:10
847.56/798.17 c DEBUG: probabilities of action success (DCM model):
847.56/798.17 c pb/competition_2010/bsolo_pb10-l1 : 0.0020 0.0027 0.0382 0.1017 0.1653 0.1949 0.2998
847.56/798.17 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0078 0.0237 0.0315 0.1217
847.56/798.17 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0726 0.0733 0.0778 0.1068 0.1923
847.56/798.17 c pb/competition_2010/wbo1.4a : 0.0007 0.0069 0.0055 0.2489 0.3967 0.4810 0.7498
847.56/798.17 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0279 0.3035 0.4659 0.5577 0.7233
847.56/798.17 c pb/other/clasp-1.3.3 : 0.0314 0.0402 0.0712 0.5597 0.6707 0.7161 0.8262
847.56/798.17 c pb/other/sat4j-pb-v20090829 : 0.0058 0.0004 0.0013 0.2031 0.2690 0.3163 0.4747
847.56/798.17 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0121 0.0125 0.0315 0.0689 0.0847 0.2079
847.56/798.18 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1873657575', u'HOME/instance-2685016-1278438039.opb'] for 0:00:10
858.45/808.50 c DEBUG: probabilities of action success (DCM model):
858.45/808.50 c pb/competition_2010/bsolo_pb10-l1 : 0.0020 0.0027 0.0394 0.1045 0.1701 0.1997 0.3036
858.45/808.50 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0081 0.0245 0.0325 0.1240
858.45/808.50 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0735 0.0742 0.0789 0.1086 0.1958
858.45/808.50 c pb/competition_2010/wbo1.4a : 0.0007 0.0072 0.0056 0.2514 0.3999 0.4836 0.7499
858.45/808.50 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0286 0.3071 0.4724 0.5638 0.7259
858.45/808.50 c pb/other/clasp-1.3.3 : 0.0302 0.0396 0.0712 0.5599 0.6714 0.7169 0.8270
858.45/808.50 c pb/other/sat4j-pb-v20090829 : 0.0059 0.0004 0.0013 0.2091 0.2764 0.3239 0.4798
858.45/808.50 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0122 0.0126 0.0322 0.0689 0.0848 0.2073
858.45/808.50 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=43622339', u'HOME/instance-2685016-1278438039.opb'] for 0:05:00
1113.56/1050.61 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2685016-1278438039/watcher-2685016-1278438039 -o /tmp/evaluation-result-2685016-1278438039/solver-2685016-1278438039 -C 1800 -W 2000 -M 1800 solver HOME/instance-2685016-1278438039.opb 1108533959
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: 0.92 0.98 0.99 3/106 19439
/proc/meminfo: memFree=1418200/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=24036 CPUtime=0
/proc/19439/stat : 19439 (runsolver) D 19437 19439 19164 0 -1 4202560 82 0 0 0 0 0 0 0 19 0 1 0 12010699 24612864 106 1992294400 4194304 4302564 140735007835792 18446744073709551615 273490224119 0 0 4096 24578 18446744071562234166 0 0 17 1 0 0 0
/proc/19439/statm: 6009 106 69 27 0 2647 0
[startup+0.071061 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 19439
/proc/meminfo: memFree=1418200/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=17228 CPUtime=0.02
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 1576 0 9 0 1 1 0 0 15 0 1 0 12010699 17641472 649 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490401280 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 2
/proc/19439/statm: 4307 649 342 1 0 287 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17228
[startup+0.102065 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 19439
/proc/meminfo: memFree=1418200/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=17832 CPUtime=0.04
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 1773 0 9 0 2 2 0 0 15 0 1 0 12010699 18259968 838 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490401280 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 3
/proc/19439/statm: 4458 842 398 1 0 438 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17832
[startup+0.302115 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 19439
/proc/meminfo: memFree=1418200/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=41036 CPUtime=0.12
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 2537 0 17 0 6 6 0 0 15 0 1 0 12010699 42020864 1551 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490399077 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 5
/proc/19439/statm: 10259 1551 475 1 0 1059 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 41036
[startup+0.701136 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 19439
/proc/meminfo: memFree=1418200/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=94028 CPUtime=0.32
/proc/19439/stat : 19439 (python) R 19437 19439 19164 0 -1 4202496 4510 0 40 0 18 14 0 0 15 0 1 0 12010699 96284672 3383 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490401280 0 2147483391 16781312 2 0 0 0 17 1 0 0 12
/proc/19439/statm: 23507 3383 1001 1 0 2395 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 94028
[startup+1.50012 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 19440
/proc/meminfo: memFree=1392340/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=113612 CPUtime=0.85
/proc/19439/stat : 19439 (python) R 19437 19439 19164 0 -1 4202496 7620 921 42 8 51 34 0 0 17 0 1 0 12010699 116338688 5193 1992294400 4194304 4196484 140733449433424 18446744073709551615 46933338992469 0 0 16781312 2 0 0 0 17 1 0 0 16
/proc/19439/statm: 28403 5193 1054 1 0 4171 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 113612
[startup+3.10134 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 19444
/proc/meminfo: memFree=1376028/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=132036 CPUtime=1.29
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 9939 921 47 8 84 45 0 0 15 0 1 0 12010699 135204864 6259 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 19
/proc/19439/statm: 33009 6259 1132 1 0 5161 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 132036
heavy processes:
[startup+6.30162 s]
/proc/loadavg: 0.93 0.98 0.99 2/108 19445
/proc/meminfo: memFree=1367308/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=132036 CPUtime=1.49
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 9951 921 47 8 102 47 0 0 15 0 1 0 12010699 135204864 6259 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 19
/proc/19439/statm: 33009 6259 1132 1 0 5161 0
[pid=19445] ppid=19439 vsize=10176 CPUtime=4.08
/proc/19445/stat : 19445 (clasp-1.3.3-x86) R 19439 19445 19445 0 -1 4202496 2817 0 0 0 406 2 0 0 25 0 1 0 12010919 10420224 2257 1992294400 134512640 136080129 4294619616 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/19445/statm: 2544 2257 175 383 0 2159 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 142212
[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/108 19447
/proc/meminfo: memFree=1365572/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=12.14
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 11214 5100 47 8 139 53 1018 4 17 0 1 0 12010699 137314304 6282 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 7798865976161698048 0 0 17 0 0 0 19
/proc/19439/statm: 33524 6282 1142 1 0 5161 0
Current children cumulated CPU time (s) 12.14
Current children cumulated vsize (KiB) 134096
[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/108 19450
/proc/meminfo: memFree=1365264/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=12.88
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 11263 5100 47 8 205 61 1018 4 15 0 1 0 12010699 137314304 6282 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 19
/proc/19439/statm: 33524 6282 1142 1 0 5161 0
[pid=19450] ppid=19439 vsize=12316 CPUtime=12.94
/proc/19450/stat : 19450 (clasp-1.3.3-x86) R 19439 19450 19450 0 -1 4202496 3363 0 0 0 1291 3 0 0 25 0 1 0 12011954 12611584 2802 1992294400 134512640 136080129 4294238848 18446744073709551615 134850054 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/19450/statm: 3079 2802 175 383 0 2694 0
Current children cumulated CPU time (s) 25.82
Current children cumulated vsize (KiB) 146412
[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/108 19450
/proc/meminfo: memFree=1362536/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=14.31
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 11333 5100 47 8 329 80 1018 4 15 0 1 0 12010699 137314304 6282 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 19
/proc/19439/statm: 33524 6282 1142 1 0 5161 0
[pid=19450] ppid=19439 vsize=14920 CPUtime=38.53
/proc/19450/stat : 19450 (clasp-1.3.3-x86) R 19439 19450 19450 0 -1 4202496 3997 0 0 0 3849 4 0 0 25 0 1 0 12011954 15278080 3436 1992294400 134512640 136080129 4294238848 18446744073709551615 134849270 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/19450/statm: 3730 3436 175 383 0 3345 0
Current children cumulated CPU time (s) 52.84
Current children cumulated vsize (KiB) 149016
[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/108 19455
/proc/meminfo: memFree=1356584/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=68.03
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 12527 10297 47 8 606 120 6066 11 15 0 1 0 12010699 137314304 6284 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 19
/proc/19439/statm: 33524 6284 1142 1 0 5161 0
[pid=19453] ppid=19439 vsize=22676 CPUtime=39.15
/proc/19453/stat : 19453 (wbo1.4a) R 19439 19453 19453 0 -1 4202496 6199 0 0 0 3898 17 0 0 25 0 1 0 12017013 23220224 4935 1992294400 134512640 135751879 4289507040 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/19453/statm: 5669 4935 139 303 0 5364 0
Current children cumulated CPU time (s) 107.18
Current children cumulated vsize (KiB) 156772
[startup+162.302 s]
/proc/loadavg: 1.11 1.02 1.00 2/108 19460
/proc/meminfo: memFree=1361668/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=122.07
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 13829 17827 47 8 921 166 11086 34 15 0 1 0 12010699 137314304 6285 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 19
/proc/19439/statm: 33524 6285 1142 1 0 5161 0
[pid=19458] ppid=19439 vsize=16060 CPUtime=48.46
/proc/19458/stat : 19458 (clasp-1.3.3-x86) R 19439 19458 19458 0 -1 4202496 4288 0 0 0 4842 4 0 0 25 0 1 0 12022060 16445440 3720 1992294400 134512640 136080129 4287832816 18446744073709551615 134716425 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/19458/statm: 4015 3720 175 383 0 3630 0
Current children cumulated CPU time (s) 170.53
Current children cumulated vsize (KiB) 150156
[startup+222.302 s]
/proc/loadavg: 1.14 1.04 1.01 2/108 19463
/proc/meminfo: memFree=1362288/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=226.04
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 15016 23520 47 8 1248 222 21092 42 15 0 1 0 12010699 137314304 6286 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 19
/proc/19439/statm: 33524 6286 1142 1 0 5161 0
[pid=19463] ppid=19439 vsize=17140 CPUtime=7.92
/proc/19463/stat : 19463 (wbo1.4a) R 19439 19463 19463 0 -1 4202496 4814 0 0 0 788 4 0 0 25 0 1 0 12032136 17551360 3550 1992294400 134512640 135751879 4292667584 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/19463/statm: 4285 3550 139 303 0 3980 0
Current children cumulated CPU time (s) 233.96
Current children cumulated vsize (KiB) 151236
[startup+282.301 s]
/proc/loadavg: 1.17 1.06 1.01 2/108 19465
/proc/meminfo: memFree=1352616/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=229.38
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 15107 23520 47 8 1539 265 21092 42 15 0 1 0 12010699 137314304 6286 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 19
/proc/19439/statm: 33524 6286 1142 1 0 5161 0
[pid=19463] ppid=19439 vsize=26924 CPUtime=67.9
/proc/19463/stat : 19463 (wbo1.4a) R 19439 19463 19463 0 -1 4202496 7241 0 0 0 6768 22 0 0 25 0 1 0 12032136 27570176 5977 1992294400 134512640 135751879 4292667584 18446744073709551615 134518928 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/19463/statm: 6731 5977 139 303 0 6426 0
Current children cumulated CPU time (s) 297.28
Current children cumulated vsize (KiB) 161020
[startup+342.302 s]
/proc/loadavg: 1.06 1.05 1.01 2/108 19470
/proc/meminfo: memFree=1307480/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=333.43
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 16390 32507 47 8 1839 315 31114 75 15 0 1 0 12010699 137314304 6287 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 19
/proc/19439/statm: 33524 6287 1142 1 0 5161 0
[pid=19470] ppid=19439 vsize=72464 CPUtime=27.25
/proc/19470/stat : 19470 (wbo1.4b) R 19439 19470 19470 0 -1 4202496 18589 0 0 0 2717 8 0 0 25 0 1 0 12042196 74203136 17319 1992294400 134512640 135751879 4287869760 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/19470/statm: 18116 17319 142 303 0 17811 0
Current children cumulated CPU time (s) 360.68
Current children cumulated vsize (KiB) 206560
[startup+402.302 s]
/proc/loadavg: 1.05 1.05 1.01 2/120 19487
/proc/meminfo: memFree=1215624/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=387.53
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 17660 58186 47 8 2155 370 36140 88 15 0 1 0 12010699 137314304 6288 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 19
/proc/19439/statm: 33524 6288 1142 1 0 5161 0
[pid=19473] ppid=19439 vsize=1482120 CPUtime=38.37
/proc/19473/stat : 19473 (java) S 19439 19473 19473 0 -1 4202496 46854 0 1 0 3813 24 0 0 15 0 13 0 12047245 1517690880 41323 1992294400 134512640 134550932 4288900608 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19473/statm: 370530 41323 1437 10 0 367832 0
[pid=19473/tid=19474] ppid=19439 vsize=1482120 CPUtime=35.34
/proc/19473/task/19474/stat : 19474 (java) R 19439 19473 19473 0 -1 4202560 30960 0 1 0 3518 16 0 0 25 0 13 0 12047247 1517690880 41323 1992294400 134512640 134550932 4288900608 18446744073709551615 4109998813 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19473/tid=19475] ppid=19439 vsize=1482120 CPUtime=0.14
/proc/19473/task/19475/stat : 19475 (java) S 19439 19473 19473 0 -1 4202560 2930 0 0 0 13 1 0 0 16 0 13 0 12047248 1517690880 41323 1992294400 134512640 134550932 4288900608 18446744073709551615 4294960144 0 4 0 16800975 18446604437818143680 0 0 -1 0 0 0 0
[pid=19473/tid=19476] ppid=19439 vsize=1482120 CPUtime=0.15
/proc/19473/task/19476/stat : 19476 (java) S 19439 19473 19473 0 -1 4202560 4415 0 0 0 14 1 0 0 18 0 13 0 12047248 1517690880 41323 1992294400 134512640 134550932 4288900608 18446744073709551615 4294960144 0 4 0 16800975 18446604437818143680 0 0 -1 1 0 0 0
[pid=19473/tid=19477] ppid=19439 vsize=1482120 CPUtime=0
/proc/19473/task/19477/stat : 19477 (java) S 19439 19473 19473 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 13 0 12047250 1517690880 41323 1992294400 134512640 134550932 4288900608 18446744073709551615 4294960144 0 0 0 16800975 18446604437818143680 0 0 -1 0 0 0 0
[pid=19473/tid=19478] ppid=19439 vsize=1482120 CPUtime=0
/proc/19473/task/19478/stat : 19478 (java) S 19439 19473 19473 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 12047251 1517690880 41323 1992294400 134512640 134550932 4288900608 18446744073709551615 4294960144 0 4 0 16800975 18446604437818143680 0 0 -1 0 0 0 0
[pid=19473/tid=19479] ppid=19439 vsize=1482120 CPUtime=0
/proc/19473/task/19479/stat : 19479 (java) S 19439 19473 19473 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 12047251 1517690880 41323 1992294400 134512640 134550932 4288900608 18446744073709551615 4294960144 0 4 0 16800975 18446604437818143680 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/19528/statm: 2544 2264 175 383 0 2159 0
Current children cumulated CPU time (s) 743.62
Current children cumulated vsize (KiB) 144272
[startup+762.31 s]
/proc/loadavg: 1.15 1.12 1.03 2/108 19548
/proc/meminfo: memFree=1365948/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=804.36
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 33663 248302 47 10 4080 683 75433 240 15 0 1 0 12010699 137314304 6294 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159688670771686063 0 0 17 0 0 0 19
/proc/19439/statm: 33524 6294 1142 1 0 5161 0
[pid=19546] ppid=19439 vsize=10856 CPUtime=5.27
/proc/19546/stat : 19546 (clasp-1.3.3-x86) R 19439 19546 19546 0 -1 4202496 2994 0 0 0 525 2 0 0 25 0 1 0 12086402 11116544 2421 1992294400 134512640 136080129 4290922400 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/19546/statm: 2714 2421 175 383 0 2329 0
Current children cumulated CPU time (s) 809.63
Current children cumulated vsize (KiB) 144952
[startup+822.302 s]
/proc/loadavg: 1.10 1.11 1.03 2/108 19563
/proc/meminfo: memFree=1364212/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=859.44
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 39722 278634 47 10 4428 730 80525 261 15 0 1 0 12010699 137314304 6297 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 19
/proc/19439/statm: 33524 6297 1142 1 0 5161 0
[pid=19563] ppid=19439 vsize=12320 CPUtime=13.69
/proc/19563/stat : 19563 (clasp-1.3.3-x86) R 19439 19563 19563 0 -1 4202496 3375 0 0 0 1367 2 0 0 25 0 1 0 12091550 12615680 2803 1992294400 134512640 136080129 4286635760 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/19563/statm: 3080 2803 175 383 0 2695 0
Current children cumulated CPU time (s) 873.13
Current children cumulated vsize (KiB) 146416
[startup+882.3 s]
/proc/loadavg: 1.08 1.10 1.03 2/108 19565
/proc/meminfo: memFree=1359748/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=862.99
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 39809 278634 47 10 4743 770 80525 261 16 0 1 0 12010699 137314304 6297 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 19
/proc/19439/statm: 33524 6297 1142 1 0 5161 0
[pid=19563] ppid=19439 vsize=16720 CPUtime=73.32
/proc/19563/stat : 19563 (clasp-1.3.3-x86) R 19439 19563 19563 0 -1 4202496 4477 0 0 0 7327 5 0 0 25 0 1 0 12091550 17121280 3905 1992294400 134512640 136080129 4286635760 18446744073709551615 134588561 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/19563/statm: 4180 3905 175 383 0 3795 0
Current children cumulated CPU time (s) 936.31
Current children cumulated vsize (KiB) 150816
[startup+942.301 s]
/proc/loadavg: 1.16 1.12 1.04 2/108 19567
/proc/meminfo: memFree=1356524/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=866.55
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 39836 278634 47 10 5056 813 80525 261 15 0 1 0 12010699 137314304 6297 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 19
/proc/19439/statm: 33524 6297 1142 1 0 5161 0
[pid=19563] ppid=19439 vsize=20176 CPUtime=132.96
/proc/19563/stat : 19563 (clasp-1.3.3-x86) R 19439 19563 19563 0 -1 4202496 5350 0 0 0 13289 7 0 0 25 0 1 0 12091550 20660224 4778 1992294400 134512640 136080129 4286635760 18446744073709551615 134588761 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/19563/statm: 5044 4778 175 383 0 4659 0
Current children cumulated CPU time (s) 999.51
Current children cumulated vsize (KiB) 154272
[startup+1002.3 s]
/proc/loadavg: 1.12 1.11 1.04 2/108 19569
/proc/meminfo: memFree=1355904/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=870.1
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 39861 278634 47 10 5354 870 80525 261 15 0 1 0 12010699 137314304 6297 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 19
/proc/19439/statm: 33524 6297 1142 1 0 5161 0
[pid=19563] ppid=19439 vsize=20868 CPUtime=192.6
/proc/19563/stat : 19563 (clasp-1.3.3-x86) R 19439 19563 19563 0 -1 4202496 5508 0 0 0 19252 8 0 0 25 0 1 0 12091550 21368832 4936 1992294400 134512640 136080129 4286635760 18446744073709551615 134849556 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/19563/statm: 5217 4936 175 383 0 4832 0
Current children cumulated CPU time (s) 1062.7
Current children cumulated vsize (KiB) 154964
Solver just ended. Dumping a history of the last processes samples
[startup+1023.9 s]
/proc/loadavg: 1.15 1.12 1.04 2/108 19569
/proc/meminfo: memFree=1355904/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=871.36
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 39870 278634 47 10 5460 890 80525 261 15 0 1 0 12010699 137314304 6297 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 19
/proc/19439/statm: 33524 6297 1142 1 0 5161 0
[pid=19563] ppid=19439 vsize=20868 CPUtime=214.07
/proc/19563/stat : 19563 (clasp-1.3.3-x86) R 19439 19563 19563 0 -1 4202496 5509 0 0 0 21399 8 0 0 25 0 1 0 12091550 21368832 4937 1992294400 134512640 136080129 4286635760 18446744073709551615 134588994 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/19563/statm: 5217 4937 175 383 0 4832 0
Current children cumulated CPU time (s) 1085.43
Current children cumulated vsize (KiB) 154964
[startup+1036.7 s]
/proc/loadavg: 1.20 1.13 1.05 2/108 19569
/proc/meminfo: memFree=1355780/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=872.12
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 39875 278634 47 10 5525 901 80525 261 15 0 1 0 12010699 137314304 6297 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 19
/proc/19439/statm: 33524 6297 1142 1 0 5161 0
[pid=19563] ppid=19439 vsize=20868 CPUtime=226.79
/proc/19563/stat : 19563 (clasp-1.3.3-x86) R 19439 19563 19563 0 -1 4202496 5509 0 0 0 22671 8 0 0 25 0 1 0 12091550 21368832 4937 1992294400 134512640 136080129 4286635760 18446744073709551615 134849620 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/19563/statm: 5217 4937 175 383 0 4832 0
Current children cumulated CPU time (s) 1098.91
Current children cumulated vsize (KiB) 154964
[startup+1043.1 s]
/proc/loadavg: 1.18 1.13 1.05 3/108 19569
/proc/meminfo: memFree=1355780/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=872.49
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 39877 278634 47 10 5556 907 80525 261 15 0 1 0 12010699 137314304 6297 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 19
/proc/19439/statm: 33524 6297 1142 1 0 5161 0
[pid=19563] ppid=19439 vsize=20868 CPUtime=233.15
/proc/19563/stat : 19563 (clasp-1.3.3-x86) R 19439 19563 19563 0 -1 4202496 5509 0 0 0 23307 8 0 0 25 0 1 0 12091550 21368832 4937 1992294400 134512640 136080129 4286635760 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/19563/statm: 5217 4937 175 383 0 4832 0
Current children cumulated CPU time (s) 1105.64
Current children cumulated vsize (KiB) 154964
[startup+1046.3 s]
/proc/loadavg: 1.17 1.13 1.05 2/108 19569
/proc/meminfo: memFree=1355780/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=872.68
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 39879 278634 47 10 5572 910 80525 261 16 0 1 0 12010699 137314304 6297 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 19
/proc/19439/statm: 33524 6297 1142 1 0 5161 0
[pid=19563] ppid=19439 vsize=20868 CPUtime=236.32
/proc/19563/stat : 19563 (clasp-1.3.3-x86) R 19439 19563 19563 0 -1 4202496 5509 0 0 0 23624 8 0 0 25 0 1 0 12091550 21368832 4937 1992294400 134512640 136080129 4286635760 18446744073709551615 134588674 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/19563/statm: 5217 4937 175 383 0 4832 0
Current children cumulated CPU time (s) 1109
Current children cumulated vsize (KiB) 154964
[startup+1047.9 s]
/proc/loadavg: 1.17 1.13 1.05 2/108 19569
/proc/meminfo: memFree=1355780/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=872.79
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 39879 278634 47 10 5581 912 80525 261 16 0 1 0 12010699 137314304 6297 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 19
/proc/19439/statm: 33524 6297 1142 1 0 5161 0
[pid=19563] ppid=19439 vsize=20868 CPUtime=237.91
/proc/19563/stat : 19563 (clasp-1.3.3-x86) R 19439 19563 19563 0 -1 4202496 5509 0 0 0 23783 8 0 0 25 0 1 0 12091550 21368832 4937 1992294400 134512640 136080129 4286635760 18446744073709551615 134849989 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/19563/statm: 5217 4937 175 383 0 4832 0
Current children cumulated CPU time (s) 1110.7
Current children cumulated vsize (KiB) 154964
[startup+1049.5 s]
/proc/loadavg: 1.17 1.13 1.05 2/108 19569
/proc/meminfo: memFree=1355780/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=872.87
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 39880 278634 47 10 5589 912 80525 261 15 0 1 0 12010699 137314304 6297 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 19
/proc/19439/statm: 33524 6297 1142 1 0 5161 0
[pid=19563] ppid=19439 vsize=20868 CPUtime=239.5
/proc/19563/stat : 19563 (clasp-1.3.3-x86) R 19439 19563 19563 0 -1 4202496 5509 0 0 0 23942 8 0 0 25 0 1 0 12091550 21368832 4937 1992294400 134512640 136080129 4286635760 18446744073709551615 134845696 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/19563/statm: 5217 4937 175 383 0 4832 0
Current children cumulated CPU time (s) 1112.37
Current children cumulated vsize (KiB) 154964
[startup+1050.3 s]
/proc/loadavg: 1.17 1.13 1.05 2/108 19569
/proc/meminfo: memFree=1355780/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=872.94
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 39881 278634 47 10 5595 913 80525 261 15 0 1 0 12010699 137314304 6297 1992294400 4194304 4196484 140733449433424 18446744073709551615 273490423311 0 0 16781312 2 159836005329808047 0 0 17 1 0 0 19
/proc/19439/statm: 33524 6297 1142 1 0 5161 0
[pid=19563] ppid=19439 vsize=20868 CPUtime=240.3
/proc/19563/stat : 19563 (clasp-1.3.3-x86) R 19439 19563 19563 0 -1 4202496 5509 0 0 0 24022 8 0 0 25 0 1 0 12091550 21368832 4937 1992294400 134512640 136080129 4286635760 18446744073709551615 134808296 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/19563/statm: 5217 4937 175 383 0 4832 0
Current children cumulated CPU time (s) 1113.24
Current children cumulated vsize (KiB) 154964
[startup+1050.51 s]
/proc/loadavg: 1.15 1.12 1.05 2/108 19569
/proc/meminfo: memFree=1355780/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=134096 CPUtime=873
/proc/19439/stat : 19439 (python) R 19437 19439 19164 0 -1 4202496 39881 278634 47 10 5601 913 80525 261 16 0 1 0 12010699 137314304 6297 1992294400 4194304 4196484 140733449433424 18446744073709551615 46933338408480 0 0 16781312 2 0 0 0 17 1 0 0 19
/proc/19439/statm: 33524 6297 1142 1 0 5161 0
[pid=19563] ppid=19439 vsize=0 CPUtime=240.47
/proc/19563/stat : 19563 (clasp-1.3.3-x86) Z 19439 19563 19563 0 -1 4202524 5523 0 0 0 24038 9 0 0 25 0 1 0 12091550 0 0 1992294400 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 0 0 0 0
/proc/19563/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1113.47
Current children cumulated vsize (KiB) 134096
[startup+1050.6 s]
/proc/loadavg: 1.15 1.12 1.05 2/108 19569
/proc/meminfo: memFree=1355780/2059040 swapFree=4192956/4192956
[pid=19439] ppid=19437 vsize=135124 CPUtime=1113.56
/proc/19439/stat : 19439 (python) S 19437 19439 19164 0 -1 4202496 40064 284615 47 10 5607 914 104564 271 15 0 1 0 12010699 138366976 6299 1992294400 4194304 4196484 140733449433424 18446744073709551615 273502229904 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 19
/proc/19439/statm: 33781 6299 1142 1 0 5418 0
Current children cumulated CPU time (s) 1113.56
Current children cumulated vsize (KiB) 135124
Child status: 20
Real time (s): 1050.68
CPU time (s): 1113.66
CPU user time (s): 1101.78
CPU system time (s): 11.8752
CPU usage (%): 105.994
Max. virtual memory (cumulated for all children) (KiB): 1625600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1101.78
system time used= 11.8752
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329835
page faults= 57
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13128
involuntary context switches= 17416
runsolver used 2.01869 second user time and 5.09822 second system time
The end