1.14/2.48 c DEBUG: probabilities of action success (DCM model):
1.14/2.48 c pb/competition_2010/bsolo_pb10-l1 : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
1.14/2.48 c pb/competition_2010/bsolo_pb10-l2 : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
1.14/2.48 c pb/competition_2010/bsolo_pb10-l3 : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
1.14/2.48 c pb/competition_2010/wbo1.4a : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
1.14/2.48 c pb/competition_2010/wbo1.4b : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
1.14/2.48 c pb/other/clasp-1.3.3 : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
1.14/2.48 c pb/other/sat4j-pb-v20090829 : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
1.14/2.48 c pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
1.20/2.52 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1507931959', u'HOME/instance-2676295-1277135107.opb'] for 0:00:10
11.95/12.75 c DEBUG: probabilities of action success (DCM model):
11.95/12.75 c pb/competition_2010/bsolo_pb10-l1 : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
11.95/12.75 c pb/competition_2010/bsolo_pb10-l2 : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
11.95/12.75 c pb/competition_2010/bsolo_pb10-l3 : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
11.95/12.75 c pb/competition_2010/wbo1.4a : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
11.95/12.75 c pb/competition_2010/wbo1.4b : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
11.95/12.75 c pb/other/clasp-1.3.3 : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
11.95/12.75 c pb/other/sat4j-pb-v20090829 : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
11.95/12.75 c pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
11.95/12.75 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1067152052', u'HOME/instance-2676295-1277135107.opb'] for 0:00:50
65.17/63.33 c DEBUG: probabilities of action success (DCM model):
65.17/63.33 c pb/competition_2010/bsolo_pb10-l1 : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
65.17/63.33 c pb/competition_2010/bsolo_pb10-l2 : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
65.17/63.33 c pb/competition_2010/bsolo_pb10-l3 : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
65.17/63.33 c pb/competition_2010/wbo1.4a : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
65.17/63.33 c pb/competition_2010/wbo1.4b : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
65.17/63.33 c pb/other/clasp-1.3.3 : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
65.17/63.33 c pb/other/sat4j-pb-v20090829 : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
65.17/63.33 c pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
65.17/63.33 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2676295-1277135107.opb'] for 0:00:50
119.05/114.21 c DEBUG: probabilities of action success (DCM model):
119.05/114.21 c pb/competition_2010/bsolo_pb10-l1 : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
119.05/114.21 c pb/competition_2010/bsolo_pb10-l2 : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
119.05/114.21 c pb/competition_2010/bsolo_pb10-l3 : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
119.05/114.21 c pb/competition_2010/wbo1.4a : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
119.05/114.21 c pb/competition_2010/wbo1.4b : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
119.05/114.21 c pb/other/clasp-1.3.3 : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
119.05/114.21 c pb/other/sat4j-pb-v20090829 : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
119.05/114.21 c pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
119.05/114.21 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1936412980', u'HOME/instance-2676295-1277135107.opb'] for 0:01:40
225.34/214.52 c DEBUG: probabilities of action success (DCM model):
225.34/214.52 c pb/competition_2010/bsolo_pb10-l1 : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
225.34/214.52 c pb/competition_2010/bsolo_pb10-l2 : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
225.34/214.52 c pb/competition_2010/bsolo_pb10-l3 : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
225.34/214.52 c pb/competition_2010/wbo1.4a : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
225.34/214.52 c pb/competition_2010/wbo1.4b : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
225.34/214.52 c pb/other/clasp-1.3.3 : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
225.34/214.52 c pb/other/sat4j-pb-v20090829 : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
225.34/214.52 c pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
225.34/214.53 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2676295-1277135107.opb'] for 0:01:40
332.33/315.36 c DEBUG: probabilities of action success (DCM model):
332.33/315.36 c pb/competition_2010/bsolo_pb10-l1 : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
332.33/315.36 c pb/competition_2010/bsolo_pb10-l2 : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
332.33/315.36 c pb/competition_2010/bsolo_pb10-l3 : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
332.33/315.36 c pb/competition_2010/wbo1.4a : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
332.33/315.36 c pb/competition_2010/wbo1.4b : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
332.33/315.36 c pb/other/clasp-1.3.3 : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
332.33/315.36 c pb/other/sat4j-pb-v20090829 : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
332.33/315.36 c pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
332.33/315.36 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2676295-1277135107.opb'] for 0:00:50
386.39/366.31 c DEBUG: probabilities of action success (DCM model):
386.39/366.31 c pb/competition_2010/bsolo_pb10-l1 : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
386.39/366.31 c pb/competition_2010/bsolo_pb10-l2 : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
386.39/366.31 c pb/competition_2010/bsolo_pb10-l3 : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
386.39/366.31 c pb/competition_2010/wbo1.4a : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
386.39/366.31 c pb/competition_2010/wbo1.4b : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
386.39/366.31 c pb/other/clasp-1.3.3 : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
386.39/366.31 c pb/other/sat4j-pb-v20090829 : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
386.39/366.31 c pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
386.39/366.31 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-2676295-1277135107.opb'] for 0:01:40
493.74/467.01 c DEBUG: probabilities of action success (DCM model):
493.74/467.01 c pb/competition_2010/bsolo_pb10-l1 : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
493.74/467.01 c pb/competition_2010/bsolo_pb10-l2 : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
493.74/467.01 c pb/competition_2010/bsolo_pb10-l3 : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
493.74/467.01 c pb/competition_2010/wbo1.4a : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
493.74/467.01 c pb/competition_2010/wbo1.4b : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
493.74/467.01 c pb/other/clasp-1.3.3 : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
493.74/467.01 c pb/other/sat4j-pb-v20090829 : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
493.74/467.01 c pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
493.74/467.01 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2676295-1277135107.opb'] for 0:01:40
600.99/568.35 c DEBUG: probabilities of action success (DCM model):
600.99/568.35 c pb/competition_2010/bsolo_pb10-l1 : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
600.99/568.35 c pb/competition_2010/bsolo_pb10-l2 : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
600.99/568.35 c pb/competition_2010/bsolo_pb10-l3 : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
600.99/568.35 c pb/competition_2010/wbo1.4a : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
600.99/568.35 c pb/competition_2010/wbo1.4b : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
600.99/568.35 c pb/other/clasp-1.3.3 : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
600.99/568.35 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
600.99/568.35 c pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
600.99/568.35 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2676295-1277135107.opb'] for 0:00:50
654.59/618.87 c DEBUG: probabilities of action success (DCM model):
654.59/618.87 c pb/competition_2010/bsolo_pb10-l1 : 0.0056 0.0070 0.0350 0.0875 0.1379 0.1679 0.2779
654.59/618.87 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0082 0.0206 0.0285 0.1112
654.59/618.87 c pb/competition_2010/bsolo_pb10-l3 : 0.0271 0.0006 0.0648 0.0663 0.0694 0.0943 0.1707
654.59/618.87 c pb/competition_2010/wbo1.4a : 0.0418 0.0058 0.0048 0.2383 0.3810 0.4683 0.7449
654.59/618.87 c pb/competition_2010/wbo1.4b : 0.0319 0.0007 0.0234 0.2842 0.4328 0.5290 0.7099
654.59/618.87 c pb/other/clasp-1.3.3 : 0.0466 0.0429 0.0715 0.5647 0.6728 0.7172 0.8274
654.59/618.87 c pb/other/sat4j-pb-v20090829 : 0.0089 0.0393 0.0011 0.1832 0.2460 0.2933 0.4648
654.59/618.87 c pb/other/sat4j-pb-v20090829-cutting : 0.0049 0.0225 0.0232 0.0376 0.0774 0.0936 0.2247
654.59/618.88 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=676477396', u'HOME/instance-2676295-1277135107.opb'] for 0:00:10
665.44/629.09 c DEBUG: probabilities of action success (DCM model):
665.44/629.09 c pb/competition_2010/bsolo_pb10-l1 : 0.0048 0.0062 0.0356 0.0901 0.1429 0.1729 0.2823
665.44/629.09 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0085 0.0216 0.0299 0.1142
665.44/629.09 c pb/competition_2010/bsolo_pb10-l3 : 0.0284 0.0006 0.0660 0.0675 0.0708 0.0964 0.1746
665.44/629.09 c pb/competition_2010/wbo1.4a : 0.0419 0.0061 0.0050 0.2416 0.3851 0.4718 0.7463
665.44/629.09 c pb/competition_2010/wbo1.4b : 0.0313 0.0007 0.0242 0.2884 0.4409 0.5368 0.7143
665.44/629.09 c pb/other/clasp-1.3.3 : 0.0432 0.0422 0.0717 0.5642 0.6732 0.7178 0.8280
665.44/629.09 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0402 0.0011 0.1889 0.2523 0.3000 0.4690
665.44/629.09 c pb/other/sat4j-pb-v20090829-cutting : 0.0041 0.0196 0.0203 0.0354 0.0744 0.0909 0.2215
665.44/629.10 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1179878974', u'HOME/instance-2676295-1277135107.opb'] for 0:00:10
676.42/639.31 c DEBUG: probabilities of action success (DCM model):
676.42/639.31 c pb/competition_2010/bsolo_pb10-l1 : 0.0043 0.0058 0.0365 0.0929 0.1481 0.1780 0.2865
676.42/639.31 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0089 0.0225 0.0312 0.1171
676.42/639.31 c pb/competition_2010/bsolo_pb10-l3 : 0.0297 0.0007 0.0671 0.0686 0.0720 0.0984 0.1784
676.42/639.31 c pb/competition_2010/wbo1.4a : 0.0419 0.0064 0.0052 0.2447 0.3890 0.4751 0.7470
676.42/639.31 c pb/competition_2010/wbo1.4b : 0.0310 0.0007 0.0249 0.2925 0.4487 0.5442 0.7181
676.42/639.31 c pb/other/clasp-1.3.3 : 0.0408 0.0415 0.0717 0.5640 0.6738 0.7185 0.8288
676.42/639.31 c pb/other/sat4j-pb-v20090829 : 0.0081 0.0414 0.0012 0.1953 0.2599 0.3078 0.4741
676.42/639.31 c pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0182 0.0189 0.0346 0.0729 0.0895 0.2196
676.42/639.31 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2676295-1277135107.opb'] for 0:00:10
687.54/649.56 c DEBUG: probabilities of action success (DCM model):
687.54/649.56 c pb/competition_2010/bsolo_pb10-l1 : 0.0042 0.0051 0.0367 0.0952 0.1515 0.1809 0.2919
687.54/649.56 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0091 0.0232 0.0322 0.1217
687.54/649.56 c pb/competition_2010/bsolo_pb10-l3 : 0.0308 0.0006 0.0658 0.0668 0.0704 0.0979 0.1806
687.54/649.56 c pb/competition_2010/wbo1.4a : 0.0007 0.0062 0.0054 0.2431 0.3935 0.4830 0.7552
687.54/649.56 c pb/competition_2010/wbo1.4b : 0.0322 0.0006 0.0259 0.2941 0.4539 0.5495 0.7272
687.54/649.56 c pb/other/clasp-1.3.3 : 0.0407 0.0412 0.0702 0.5773 0.6906 0.7332 0.8386
687.54/649.56 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0415 0.0012 0.1996 0.2666 0.3166 0.4896
687.54/649.56 c pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0187 0.0192 0.0349 0.0747 0.0916 0.2271
687.54/649.57 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1741897827', u'HOME/instance-2676295-1277135107.opb'] for 0:00:10
698.50/659.81 c DEBUG: probabilities of action success (DCM model):
698.50/659.81 c pb/competition_2010/bsolo_pb10-l1 : 0.0039 0.0049 0.0378 0.0982 0.1569 0.1862 0.2962
698.50/659.81 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0095 0.0242 0.0336 0.1245
698.50/659.81 c pb/competition_2010/bsolo_pb10-l3 : 0.0321 0.0007 0.0669 0.0680 0.0717 0.1000 0.1846
698.50/659.81 c pb/competition_2010/wbo1.4a : 0.0007 0.0064 0.0056 0.2461 0.3974 0.4861 0.7556
698.50/659.81 c pb/competition_2010/wbo1.4b : 0.0321 0.0006 0.0266 0.2983 0.4618 0.5570 0.7307
698.50/659.81 c pb/other/clasp-1.3.3 : 0.0387 0.0405 0.0702 0.5772 0.6912 0.7339 0.8394
698.50/659.81 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0428 0.0012 0.2064 0.2748 0.3250 0.4951
698.50/659.81 c pb/other/sat4j-pb-v20090829-cutting : 0.0036 0.0179 0.0184 0.0347 0.0737 0.0907 0.2256
698.50/659.82 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1992229654', u'HOME/instance-2676295-1277135107.opb'] for 0:00:10
709.39/670.06 c DEBUG: probabilities of action success (DCM model):
709.39/670.06 c pb/competition_2010/bsolo_pb10-l1 : 0.0037 0.0048 0.0389 0.1012 0.1623 0.1915 0.3004
709.39/670.06 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0099 0.0251 0.0349 0.1274
709.39/670.06 c pb/competition_2010/bsolo_pb10-l3 : 0.0334 0.0007 0.0680 0.0691 0.0729 0.1020 0.1884
709.39/670.06 c pb/competition_2010/wbo1.4a : 0.0008 0.0067 0.0057 0.2490 0.4011 0.4892 0.7558
709.39/670.06 c pb/competition_2010/wbo1.4b : 0.0320 0.0006 0.0273 0.3025 0.4695 0.5642 0.7341
709.39/670.06 c pb/other/clasp-1.3.3 : 0.0369 0.0398 0.0702 0.5772 0.6919 0.7347 0.8403
709.39/670.06 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0442 0.0013 0.2134 0.2832 0.3336 0.5007
709.39/670.06 c pb/other/sat4j-pb-v20090829-cutting : 0.0034 0.0174 0.0179 0.0348 0.0730 0.0901 0.2243
709.39/670.06 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1785946571', u'HOME/instance-2676295-1277135107.opb'] for 0:00:10
720.38/680.31 c DEBUG: probabilities of action success (DCM model):
720.38/680.31 c pb/competition_2010/bsolo_pb10-l1 : 0.0036 0.0047 0.0401 0.1043 0.1677 0.1967 0.3047
720.38/680.31 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0103 0.0261 0.0362 0.1301
720.38/680.31 c pb/competition_2010/bsolo_pb10-l3 : 0.0347 0.0007 0.0690 0.0701 0.0742 0.1041 0.1923
720.38/680.31 c pb/competition_2010/wbo1.4a : 0.0008 0.0069 0.0059 0.2519 0.4048 0.4922 0.7560
720.38/680.31 c pb/competition_2010/wbo1.4b : 0.0319 0.0006 0.0280 0.3065 0.4771 0.5714 0.7375
720.38/680.31 c pb/other/clasp-1.3.3 : 0.0352 0.0390 0.0701 0.5772 0.6926 0.7356 0.8412
720.38/680.31 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0456 0.0013 0.2203 0.2917 0.3422 0.5065
720.38/680.31 c pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0170 0.0176 0.0351 0.0725 0.0897 0.2232
720.38/680.31 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1008455819', u'HOME/instance-2676295-1277135107.opb'] for 0:00:10
731.23/690.57 c DEBUG: probabilities of action success (DCM model):
731.23/690.57 c pb/competition_2010/bsolo_pb10-l1 : 0.0035 0.0046 0.0414 0.1073 0.1730 0.2020 0.3089
731.23/690.57 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0106 0.0270 0.0376 0.1328
731.23/690.57 c pb/competition_2010/bsolo_pb10-l3 : 0.0359 0.0007 0.0700 0.0712 0.0753 0.1061 0.1960
731.23/690.57 c pb/competition_2010/wbo1.4a : 0.0008 0.0071 0.0061 0.2547 0.4085 0.4952 0.7561
731.23/690.57 c pb/competition_2010/wbo1.4b : 0.0318 0.0006 0.0287 0.3105 0.4845 0.5783 0.7407
731.23/690.57 c pb/other/clasp-1.3.3 : 0.0337 0.0383 0.0700 0.5774 0.6935 0.7365 0.8422
731.23/690.57 c pb/other/sat4j-pb-v20090829 : 0.0085 0.0471 0.0014 0.2273 0.3002 0.3509 0.5123
731.23/690.57 c pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0168 0.0174 0.0356 0.0721 0.0895 0.2223
731.23/690.57 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2676295-1277135107.opb'] for 0:00:10
742.68/701.25 c DEBUG: probabilities of action success (DCM model):
742.68/701.25 c pb/competition_2010/bsolo_pb10-l1 : 0.0035 0.0046 0.0335 0.0887 0.1422 0.1723 0.2831
742.68/701.25 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0110 0.0239 0.0348 0.1243
742.68/701.25 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0006 0.0633 0.0644 0.0688 0.0951 0.1792
742.68/701.25 c pb/competition_2010/wbo1.4a : 0.0008 0.0074 0.0063 0.2548 0.4004 0.4857 0.7517
742.68/701.25 c pb/competition_2010/wbo1.4b : 0.0330 0.0006 0.0260 0.3033 0.4653 0.5626 0.7311
742.68/701.25 c pb/other/clasp-1.3.3 : 0.0349 0.0397 0.0725 0.5710 0.6821 0.7268 0.8363
742.68/701.25 c pb/other/sat4j-pb-v20090829 : 0.0088 0.0488 0.0013 0.2079 0.2742 0.3267 0.4941
742.68/701.25 c pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0174 0.0180 0.0367 0.0746 0.0926 0.2304
742.68/701.25 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=572140442', u'HOME/instance-2676295-1277135107.opb'] for 0:00:10
753.45/711.45 c DEBUG: probabilities of action success (DCM model):
753.45/711.45 c pb/competition_2010/bsolo_pb10-l1 : 0.0034 0.0046 0.0345 0.0912 0.1467 0.1766 0.2865
753.45/711.45 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0114 0.0247 0.0360 0.1268
753.45/711.45 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0006 0.0641 0.0652 0.0697 0.0968 0.1824
753.45/711.45 c pb/competition_2010/wbo1.4a : 0.0008 0.0077 0.0065 0.2576 0.4039 0.4884 0.7517
753.45/711.45 c pb/competition_2010/wbo1.4b : 0.0330 0.0006 0.0266 0.3071 0.4722 0.5692 0.7341
753.45/711.45 c pb/other/clasp-1.3.3 : 0.0335 0.0390 0.0725 0.5709 0.6826 0.7274 0.8371
753.45/711.45 c pb/other/sat4j-pb-v20090829 : 0.0089 0.0504 0.0014 0.2144 0.2821 0.3348 0.4995
753.45/711.45 c pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0173 0.0179 0.0373 0.0744 0.0926 0.2299
753.45/711.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-2676295-1277135107.opb'] for 0:00:50
807.17/761.57 c DEBUG: probabilities of action success (DCM model):
807.17/761.57 c pb/competition_2010/bsolo_pb10-l1 : 0.0027 0.0033 0.0343 0.0933 0.1487 0.1802 0.2953
807.17/761.57 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0068 0.0207 0.0275 0.1219
807.17/761.57 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0674 0.0680 0.0719 0.1000 0.1870
807.17/761.57 c pb/competition_2010/wbo1.4a : 0.0006 0.0066 0.0068 0.2480 0.3953 0.4814 0.7562
807.17/761.57 c pb/competition_2010/wbo1.4b : 0.0339 0.0006 0.0270 0.3026 0.4612 0.5528 0.7230
807.17/761.57 c pb/other/clasp-1.3.3 : 0.0351 0.0409 0.0745 0.5713 0.6785 0.7222 0.8293
807.17/761.57 c pb/other/sat4j-pb-v20090829 : 0.0060 0.0004 0.0011 0.1829 0.2472 0.3019 0.4737
807.17/761.57 c pb/other/sat4j-pb-v20090829-cutting : 0.0026 0.0140 0.0144 0.0310 0.0693 0.0875 0.2214
807.17/761.58 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1686854176', u'HOME/instance-2676295-1277135107.opb'] for 0:00:10
817.96/771.78 c DEBUG: probabilities of action success (DCM model):
817.96/771.78 c pb/competition_2010/bsolo_pb10-l1 : 0.0027 0.0033 0.0354 0.0960 0.1534 0.1848 0.2992
817.96/771.78 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0071 0.0214 0.0284 0.1243
817.96/771.78 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0683 0.0690 0.0730 0.1019 0.1906
817.96/771.78 c pb/competition_2010/wbo1.4a : 0.0006 0.0068 0.0070 0.2506 0.3986 0.4840 0.7563
817.96/771.78 c pb/competition_2010/wbo1.4b : 0.0339 0.0006 0.0276 0.3064 0.4679 0.5590 0.7256
817.96/771.78 c pb/other/clasp-1.3.3 : 0.0338 0.0402 0.0745 0.5713 0.6790 0.7228 0.8299
817.96/771.78 c pb/other/sat4j-pb-v20090829 : 0.0061 0.0004 0.0012 0.1887 0.2544 0.3093 0.4786
817.96/771.78 c pb/other/sat4j-pb-v20090829-cutting : 0.0025 0.0141 0.0144 0.0316 0.0691 0.0875 0.2207
817.96/771.79 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2676295-1277135107.opb'] for 0:00:10
829.02/781.98 c DEBUG: probabilities of action success (DCM model):
829.02/781.98 c pb/competition_2010/bsolo_pb10-l1 : 0.0021 0.0027 0.0359 0.0961 0.1555 0.1853 0.2919
829.02/781.98 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0073 0.0222 0.0294 0.1169
829.02/781.98 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0706 0.0713 0.0755 0.1030 0.1852
829.02/781.98 c pb/competition_2010/wbo1.4a : 0.0007 0.0065 0.0052 0.2439 0.3901 0.4758 0.7496
829.02/781.98 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0267 0.2960 0.4524 0.5454 0.7179
829.02/781.98 c pb/other/clasp-1.3.3 : 0.0338 0.0415 0.0712 0.5594 0.6694 0.7147 0.8248
829.02/781.98 c pb/other/sat4j-pb-v20090829 : 0.0056 0.0004 0.0012 0.1911 0.2541 0.3010 0.4646
829.02/781.98 c pb/other/sat4j-pb-v20090829-cutting : 0.0020 0.0120 0.0123 0.0301 0.0690 0.0845 0.2092
829.02/781.99 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1015487493', u'HOME/instance-2676295-1277135107.opb'] for 0:00:10
839.77/792.19 c DEBUG: probabilities of action success (DCM model):
839.77/792.19 c pb/competition_2010/bsolo_pb10-l1 : 0.0021 0.0027 0.0371 0.0989 0.1604 0.1901 0.2959
839.77/792.19 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0076 0.0230 0.0305 0.1193
839.77/792.19 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0716 0.0723 0.0767 0.1049 0.1888
839.77/792.19 c pb/competition_2010/wbo1.4a : 0.0007 0.0067 0.0053 0.2464 0.3934 0.4784 0.7497
839.77/792.19 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0273 0.2998 0.4592 0.5516 0.7206
839.77/792.19 c pb/other/clasp-1.3.3 : 0.0326 0.0409 0.0712 0.5595 0.6700 0.7154 0.8255
839.77/792.19 c pb/other/sat4j-pb-v20090829 : 0.0057 0.0004 0.0012 0.1971 0.2615 0.3086 0.4696
839.77/792.19 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0120 0.0124 0.0308 0.0689 0.0846 0.2085
839.77/792.19 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1395458510', u'HOME/instance-2676295-1277135107.opb'] for 0:00:10
850.61/802.39 c DEBUG: probabilities of action success (DCM model):
850.61/802.39 c pb/competition_2010/bsolo_pb10-l1 : 0.0020 0.0027 0.0382 0.1017 0.1653 0.1949 0.2998
850.61/802.39 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0078 0.0237 0.0315 0.1217
850.61/802.39 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0726 0.0733 0.0778 0.1068 0.1923
850.61/802.39 c pb/competition_2010/wbo1.4a : 0.0007 0.0069 0.0055 0.2489 0.3967 0.4810 0.7498
850.61/802.39 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0279 0.3035 0.4659 0.5577 0.7233
850.61/802.39 c pb/other/clasp-1.3.3 : 0.0314 0.0402 0.0712 0.5597 0.6707 0.7161 0.8262
850.61/802.39 c pb/other/sat4j-pb-v20090829 : 0.0058 0.0004 0.0013 0.2031 0.2690 0.3163 0.4747
850.61/802.39 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0121 0.0125 0.0315 0.0689 0.0847 0.2079
850.75/802.40 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1166416604', u'HOME/instance-2676295-1277135107.opb'] for 0:00:10
861.53/812.60 c DEBUG: probabilities of action success (DCM model):
861.53/812.60 c pb/competition_2010/bsolo_pb10-l1 : 0.0020 0.0027 0.0394 0.1045 0.1701 0.1997 0.3036
861.53/812.60 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0081 0.0245 0.0325 0.1240
861.53/812.60 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0735 0.0742 0.0789 0.1086 0.1958
861.53/812.60 c pb/competition_2010/wbo1.4a : 0.0007 0.0072 0.0056 0.2514 0.3999 0.4836 0.7499
861.53/812.60 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0286 0.3071 0.4724 0.5638 0.7259
861.53/812.60 c pb/other/clasp-1.3.3 : 0.0302 0.0396 0.0712 0.5599 0.6714 0.7169 0.8270
861.53/812.60 c pb/other/sat4j-pb-v20090829 : 0.0059 0.0004 0.0013 0.2091 0.2764 0.3239 0.4798
861.53/812.60 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0122 0.0126 0.0322 0.0689 0.0848 0.2073
861.53/812.61 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=445336014', u'HOME/instance-2676295-1277135107.opb'] for 0:05:00
1179.03/1112.84 c DEBUG: probabilities of action success (DCM model):
1179.03/1112.84 c pb/competition_2010/bsolo_pb10-l1 : 0.0012 0.0012 0.0216 0.0535 0.0928 0.1260 0.1855
1179.03/1112.84 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0090 0.0182 0.0273 0.0580
1179.03/1112.84 c pb/competition_2010/bsolo_pb10-l3 : 0.0002 0.0009 0.0884 0.0884 0.0919 0.1067 0.1442
1179.03/1112.84 c pb/competition_2010/wbo1.4a : 0.0007 0.0059 0.0051 0.2297 0.3012 0.3408 0.6113
1179.03/1112.84 c pb/competition_2010/wbo1.4b : 0.0001 0.0002 0.0135 0.2740 0.3801 0.4819 0.5905
1179.03/1112.84 c pb/other/clasp-1.3.3 : 0.0308 0.0436 0.0752 0.1586 0.4271 0.5030 0.6902
1179.03/1112.84 c pb/other/sat4j-pb-v20090829 : 0.0057 0.0004 0.0008 0.1472 0.1817 0.1915 0.2495
1179.03/1112.84 c pb/other/sat4j-pb-v20090829-cutting : 0.0011 0.0079 0.0079 0.0220 0.0407 0.0447 0.0950
1179.03/1112.84 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2676295-1277135107.opb'] for 0:01:40
1234.42/1165.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-2676295-1277135107/watcher-2676295-1277135107 -o /tmp/evaluation-result-2676295-1277135107/solver-2676295-1277135107 -C 1800 -W 2000 -M 1800 solver HOME/instance-2676295-1277135107.opb 538574021
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.91 0.97 0.91 2/106 4253
/proc/meminfo: memFree=1401136/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=24036 CPUtime=0
/proc/4253/stat : 4253 (runsolver) D 4251 4253 4228 0 -1 4202560 82 0 0 0 0 0 0 0 16 0 1 0 89097210 24612864 106 1992294400 4194304 4302564 140734164870736 18446744073709551615 230158869495 0 0 4096 24578 18446744071562234166 0 0 17 1 0 0 0
/proc/4253/statm: 6009 106 69 27 0 2647 0
[startup+0.0515089 s]
/proc/loadavg: 0.91 0.97 0.91 2/106 4253
/proc/meminfo: memFree=1401136/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=7764 CPUtime=0
/proc/4253/stat : 4253 (python) D 4251 4253 4228 0 -1 4194304 247 0 0 0 0 0 0 0 16 0 1 0 89097210 7950336 53 1992294400 4194304 4196484 140736486358512 18446744073709551615 230154124935 0 0 4096 0 18446744071562154983 0 0 17 0 0 0 3
/proc/4253/statm: 1941 53 42 1 0 32 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7764
[startup+0.100521 s]
/proc/loadavg: 0.91 0.97 0.91 2/106 4253
/proc/meminfo: memFree=1401136/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=17284 CPUtime=0.01
/proc/4253/stat : 4253 (python) R 4251 4253 4228 0 -1 4202496 932 0 0 0 1 0 0 0 16 0 1 0 89097210 17698816 681 1992294400 4194304 4196484 140736486358512 18446744073709551615 230158869495 0 0 16781312 2 0 0 0 17 1 0 0 7
/proc/4253/statm: 4321 681 317 1 0 417 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17284
[startup+0.300402 s]
/proc/loadavg: 0.91 0.97 0.91 2/106 4253
/proc/meminfo: memFree=1401136/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=34216 CPUtime=0.09
/proc/4253/stat : 4253 (python) R 4251 4253 4228 0 -1 4202496 2408 0 14 0 5 4 0 0 15 0 1 0 89097210 35037184 1394 1992294400 4194304 4196484 140733408940496 18446744073709551615 47858080494099 0 0 16781312 2 0 0 0 17 0 0 0 10
/proc/4253/statm: 8554 1394 462 1 0 911 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34216
[startup+0.700395 s]
/proc/loadavg: 0.91 0.97 0.91 2/106 4253
/proc/meminfo: memFree=1401136/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=70972 CPUtime=0.27
/proc/4253/stat : 4253 (python) R 4251 4253 4228 0 -1 4202496 4016 0 33 0 16 11 0 0 15 0 1 0 89097210 72675328 2872 1992294400 4194304 4196484 140733408940496 18446744073709551615 47858080207831 0 0 16781312 2 0 0 0 17 0 0 0 16
/proc/4253/statm: 17743 2875 693 1 0 2230 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 70972
[startup+1.50038 s]
/proc/loadavg: 0.91 0.97 0.91 2/107 4254
/proc/meminfo: memFree=1375148/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=109740 CPUtime=0.78
/proc/4253/stat : 4253 (python) R 4251 4253 4228 0 -1 4202496 7350 922 43 8 51 26 0 1 17 0 1 0 89097210 112373760 4755 1992294400 4194304 4196484 140733408940496 18446744073709551615 47858080908640 0 0 16781312 2 0 0 0 17 0 0 0 23
/proc/4253/statm: 27435 4755 1041 1 0 3729 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 109740
[startup+3.10036 s]
/proc/loadavg: 0.91 0.97 0.91 1/107 4258
/proc/meminfo: memFree=1360888/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=132056 CPUtime=1.29
/proc/4253/stat : 4253 (python) R 4251 4253 4228 0 -1 4202496 10225 922 49 8 86 42 0 1 15 0 1 0 89097210 135225344 6307 1992294400 4194304 4196484 140733408940496 18446744073709551615 47858080534613 0 0 16781312 2 0 0 0 17 0 0 0 48
/proc/4253/statm: 33015 6307 1133 1 0 5167 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 132056
heavy processes:
[startup+6.3013 s]
/proc/loadavg: 0.92 0.97 0.91 2/108 4259
/proc/meminfo: memFree=1355012/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=132056 CPUtime=1.48
/proc/4253/stat : 4253 (python) R 4251 4253 4228 0 -1 4202496 10239 922 49 8 104 43 0 1 15 0 1 0 89097210 135225344 6307 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159091847 0 0 16781312 2 0 0 0 17 0 0 0 48
/proc/4253/statm: 33014 6307 1133 1 0 5166 0
[pid=4259] ppid=4253 vsize=5020 CPUtime=3.73
/proc/4259/stat : 4259 (clasp-1.3.3-x86) R 4253 4259 4259 0 -1 4202496 1334 0 0 0 373 0 0 0 25 0 1 0 89097462 5140480 1017 1992294400 134512640 136080129 4294738384 18446744073709551615 134844228 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4259/statm: 1255 1017 174 383 0 870 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 137076
[startup+12.7002 s]
/proc/loadavg: 0.93 0.97 0.91 2/108 4259
/proc/meminfo: memFree=1353896/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=135144 CPUtime=11.95
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 10431 2517 49 8 139 47 1007 2 15 0 1 0 89097210 138387456 6312 1992294400 4194304 4196484 140733408940496 18446744073709551615 230170875280 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 48
/proc/4253/statm: 33786 6312 1135 1 0 5423 0
Current children cumulated CPU time (s) 11.95
Current children cumulated vsize (KiB) 135144
[startup+25.501 s]
/proc/loadavg: 0.94 0.97 0.91 2/108 4264
/proc/meminfo: memFree=1353900/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=12.75
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 11575 3442 49 9 209 56 1007 3 15 0 1 0 89097210 137334784 6328 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159688670771686278 0 0 17 0 0 0 48
/proc/4253/statm: 33529 6328 1143 1 0 5166 0
[pid=4262] ppid=4253 vsize=6200 CPUtime=12.66
/proc/4262/stat : 4262 (clasp-1.3.3-x86) R 4253 4262 4262 0 -1 4202496 1616 0 0 0 1265 1 0 0 25 0 1 0 89098485 6348800 1302 1992294400 134512640 136080129 4289271472 18446744073709551615 134844395 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4262/statm: 1550 1302 174 383 0 1165 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 140316
[startup+51.1006 s]
/proc/loadavg: 1.11 1.00 0.93 2/108 4264
/proc/meminfo: memFree=1351792/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=14.24
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 11659 3442 49 9 344 70 1007 3 15 0 1 0 89097210 137334784 6328 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159688670771686278 0 0 17 0 0 0 48
/proc/4253/statm: 33529 6328 1143 1 0 5166 0
[pid=4262] ppid=4253 vsize=8148 CPUtime=38.09
/proc/4262/stat : 4262 (clasp-1.3.3-x86) R 4253 4262 4262 0 -1 4202496 2110 0 0 0 3807 2 0 0 25 0 1 0 89098485 8343552 1796 1992294400 134512640 136080129 4289271472 18446744073709551615 134588831 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4262/statm: 2037 1796 174 383 0 1652 0
Current children cumulated CPU time (s) 52.33
Current children cumulated vsize (KiB) 142264
[startup+102.309 s]
/proc/loadavg: 1.05 1.00 0.93 2/108 4269
/proc/meminfo: memFree=1305540/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=67.81
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 12901 6548 49 9 642 106 6026 7 15 0 1 0 89097210 137334784 6332 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159688670771686278 0 0 17 0 0 0 48
/proc/4253/statm: 33529 6332 1143 1 0 5166 0
[pid=4267] ppid=4253 vsize=55436 CPUtime=38.72
/proc/4267/stat : 4267 (wbo1.4a) R 4253 4267 4267 0 -1 4202496 13737 0 0 0 3856 16 0 0 25 0 1 0 89103543 56766464 13410 1992294400 134512640 135751879 4294895328 18446744073709551615 134517409 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4267/statm: 13859 13410 139 303 0 13554 0
Current children cumulated CPU time (s) 106.53
Current children cumulated vsize (KiB) 189552
[startup+162.301 s]
/proc/loadavg: 1.05 1.01 0.93 2/108 4272
/proc/meminfo: memFree=1351544/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=122.01
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 14204 23639 49 9 963 153 11058 27 15 0 1 0 89097210 137334784 6333 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159836005329808262 0 0 17 1 0 0 48
/proc/4253/statm: 33529 6333 1143 1 0 5166 0
[pid=4272] ppid=4253 vsize=8500 CPUtime=48
/proc/4272/stat : 4272 (clasp-1.3.3-x86) R 4253 4272 4272 0 -1 4202496 2208 0 0 0 4798 2 0 0 25 0 1 0 89108630 8704000 1887 1992294400 134512640 136080129 4287893008 18446744073709551615 134588592 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4272/statm: 2125 1887 174 383 0 1740 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (KiB) 142616
[startup+222.301 s]
/proc/loadavg: 1.12 1.04 0.94 2/108 4277
/proc/meminfo: memFree=1341996/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=226.16
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 15437 27273 49 9 1304 207 21071 34 15 0 1 0 89097210 137334784 6334 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159836005329808262 0 0 17 1 0 0 48
/proc/4253/statm: 33529 6334 1143 1 0 5166 0
[pid=4277] ppid=4253 vsize=19076 CPUtime=7.7
/proc/4277/stat : 4277 (wbo1.4a) R 4253 4277 4277 0 -1 4202496 4632 0 0 0 765 5 0 0 25 0 1 0 89118663 19533824 4301 1992294400 134512640 135751879 4292515760 18446744073709551615 134517409 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4277/statm: 4769 4301 139 303 0 4464 0
Current children cumulated CPU time (s) 233.86
Current children cumulated vsize (KiB) 153192
[startup+282.316 s]
/proc/loadavg: 1.10 1.04 0.95 2/108 4279
/proc/meminfo: memFree=1271192/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=229.92
/proc/4253/stat : 4253 (python) R 4251 4253 4228 0 -1 4202496 15515 27273 49 9 1626 261 21071 34 16 0 1 0 89097210 137334784 6334 1992294400 4194304 4196484 140733408940496 18446744073709551615 47858080499026 0 0 16781312 2 0 0 0 17 1 0 0 48
/proc/4253/statm: 33529 6334 1143 1 0 5166 0
[pid=4277] ppid=4253 vsize=90184 CPUtime=67.44
/proc/4277/stat : 4277 (wbo1.4a) R 4253 4277 4277 0 -1 4202496 22409 0 0 0 6719 25 0 0 25 0 1 0 89118663 92348416 22078 1992294400 134512640 135751879 4292515760 18446744073709551615 134616505 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4277/statm: 22546 22078 139 303 0 22241 0
Current children cumulated CPU time (s) 297.36
Current children cumulated vsize (KiB) 224300
[startup+342.301 s]
/proc/loadavg: 1.08 1.05 0.95 2/108 4284
/proc/meminfo: memFree=1318312/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=334.35
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 16798 60949 49 9 1978 308 31077 72 15 0 1 0 89097210 137334784 6336 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159688670771686278 0 0 17 0 0 0 48
/proc/4253/statm: 33529 6336 1143 1 0 5166 0
[pid=4284] ppid=4253 vsize=42832 CPUtime=26.75
/proc/4284/stat : 4284 (wbo1.4b) R 4253 4284 4284 0 -1 4202496 10626 0 0 0 2663 12 0 0 25 0 1 0 89128746 43859968 10243 1992294400 134512640 135751879 4288137120 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4284/statm: 10708 10243 144 303 0 10403 0
Current children cumulated CPU time (s) 361.1
Current children cumulated vsize (KiB) 176948
[startup+402.302 s]
/proc/loadavg: 1.18 1.08 0.97 2/120 4301
/proc/meminfo: memFree=1250184/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=388.83
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 18100 78186 49 9 2313 361 36115 94 15 0 1 0 89097210 137334784 6338 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159836005329808262 0 0 17 1 0 0 48
/proc/4253/statm: 33529 6338 1143 1 0 5166 0
[pid=4287] ppid=4253 vsize=1477008 CPUtime=36.48
/proc/4287/stat : 4287 (java) S 4253 4287 4287 0 -1 4202496 27209 0 91 0 3631 17 0 0 16 0 13 0 89133841 1512456192 26115 1992294400 134512640 134550932 4291874624 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6
/proc/4287/statm: 369252 26115 1421 10 0 366554 0
[pid=4287/tid=4288] ppid=4253 vsize=1477008 CPUtime=35.34
/proc/4287/task/4288/stat : 4288 (java) R 4253 4287 4287 0 -1 4202560 24445 0 57 0 3520 14 0 0 25 0 13 0 89133851 1512456192 26115 1992294400 134512640 134550932 4291874624 18446744073709551615 4109693567 0 4 0 16800975 0 0 0 -1 0 0 0 11
[pid=4287/tid=4289] ppid=4253 vsize=1477008 CPUtime=0
/proc/4287/task/4289/stat : 4289 (java) S 4253 4287 4287 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 13 0 89133856 1512456192 26115 1992294400 134512640 134550932 4291874624 18446744073709551615 4294960144 0 4 0 16800975 18446604437829811072 0 0 -1 0 0 0 0
[pid=4287/tid=4290] ppid=4253 vsize=1477008 CPUtime=0
/proc/4287/task/4290/stat : 4290 (java) S 4253 4287 4287 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 89133856 1512456192 26115 1992294400 134512640 134550932 4291874624 18446744073709551615 4294960144 0 4 0 16800975 18446604437829811072 0 0 -1 0 0 0 0
[pid=4287/tid=4291] ppid=4253 vsize=1477008 CPUtime=0
/proc/4287/task/4291/stat : 4291 (java) S 4253 4287 4287 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 13 0 89133859 1512456192 26115 1992294400 134512640 134550932 4291874624 18446744073709551615 4294960144 0 0 0 16800975 18446604437829811072 0 0 -1 0 0 0 0
[pid=4287/tid=4292] ppid=4253 vsize=1477008 CPUtime=0
/proc/4287/task/4292/stat : 4292 (java) S 4253 4287 4287 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 13 0 89133860 1512456192 26115 1992294400 134512640 134550932 4291874624 18446744073709551615 4294960144 0 4 0 16800975 18446604437829811072 0 0 -1 0 0 0 0
[pid=4287/tid=4293] ppid=4253 vsize=1477008 CPUtime=0
/proc/4287/task/4293/stat : 4293 (java) S 4253 4287 4287 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 89133860 1512456192 26115 1992294400 134512640 134550932 4291874624 18446744073709551615 4294960144 0 4 0 16800975 18446604437829811072 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/4378/statm: 1516 1253 174 383 0 1131 0
Current children cumulated CPU time (s) 871.82
Current children cumulated vsize (KiB) 140180
[startup+882.301 s]
/proc/loadavg: 1.08 1.08 1.01 2/108 4380
/proc/meminfo: memFree=1339252/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=865.63
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 40684 287981 49 101 5070 746 80481 266 15 0 1 0 89097210 137334784 6347 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159688670771686278 0 0 17 0 0 0 48
/proc/4253/statm: 33529 6347 1143 1 0 5166 0
[pid=4378] ppid=4253 vsize=9272 CPUtime=69.66
/proc/4378/stat : 4378 (clasp-1.3.3-x86) R 4253 4378 4378 0 -1 4202496 2407 0 0 0 6965 1 0 0 25 0 1 0 89178471 9494528 2086 1992294400 134512640 136080129 4292375312 18446744073709551615 134588765 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4378/statm: 2318 2086 174 383 0 1933 0
Current children cumulated CPU time (s) 935.29
Current children cumulated vsize (KiB) 143388
[startup+942.301 s]
/proc/loadavg: 1.08 1.07 1.01 2/108 4382
/proc/meminfo: memFree=1337764/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=869.11
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 40709 287981 49 101 5381 783 80481 266 15 0 1 0 89097210 137334784 6347 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159688670771686278 0 0 17 0 0 0 48
/proc/4253/statm: 33529 6347 1143 1 0 5166 0
[pid=4378] ppid=4253 vsize=10744 CPUtime=129.64
/proc/4378/stat : 4378 (clasp-1.3.3-x86) R 4253 4378 4378 0 -1 4202496 2763 0 0 0 12963 1 0 0 25 0 1 0 89178471 11001856 2442 1992294400 134512640 136080129 4292375312 18446744073709551615 134845388 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4378/statm: 2686 2442 174 383 0 2301 0
Current children cumulated CPU time (s) 998.75
Current children cumulated vsize (KiB) 144860
[startup+1002.31 s]
/proc/loadavg: 1.03 1.06 1.00 2/108 4393
/proc/meminfo: memFree=1336400/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=872.57
/proc/4253/stat : 4253 (python) R 4251 4253 4228 0 -1 4202496 40736 287981 49 101 5690 820 80481 266 15 0 1 0 89097210 137334784 6347 1992294400 4194304 4196484 140733408940496 18446744073709551615 47858080871818 0 0 16781312 2 0 0 0 17 0 0 0 48
/proc/4253/statm: 33529 6347 1143 1 0 5166 0
[pid=4378] ppid=4253 vsize=11740 CPUtime=189.61
/proc/4378/stat : 4378 (clasp-1.3.3-x86) R 4253 4378 4378 0 -1 4202496 3026 0 0 0 18960 1 0 0 25 0 1 0 89178471 12021760 2681 1992294400 134512640 136080129 4292375312 18446744073709551615 134588881 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4378/statm: 2935 2681 174 383 0 2550 0
Current children cumulated CPU time (s) 1062.18
Current children cumulated vsize (KiB) 145856
[startup+1062.3 s]
/proc/loadavg: 1.09 1.06 1.01 2/108 4393
/proc/meminfo: memFree=1335284/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=876
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 40760 287981 49 101 5997 856 80481 266 15 0 1 0 89097210 137334784 6347 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159688670771686278 0 0 17 0 0 0 48
/proc/4253/statm: 33529 6347 1143 1 0 5166 0
[pid=4378] ppid=4253 vsize=13028 CPUtime=249.59
/proc/4378/stat : 4378 (clasp-1.3.3-x86) R 4253 4378 4378 0 -1 4202496 3351 0 0 0 24958 1 0 0 25 0 1 0 89178471 13340672 3006 1992294400 134512640 136080129 4292375312 18446744073709551615 134588565 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4378/statm: 3257 3006 174 383 0 2872 0
Current children cumulated CPU time (s) 1125.59
Current children cumulated vsize (KiB) 147144
[startup+1122.3 s]
/proc/loadavg: 1.03 1.05 1.00 2/108 4398
/proc/meminfo: memFree=1308756/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=1179.87
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 42047 292444 49 101 6328 901 110488 270 15 0 1 0 89097210 137334784 6347 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159836005329808262 0 0 17 1 0 0 48
/proc/4253/statm: 33529 6347 1143 1 0 5166 0
[pid=4398] ppid=4253 vsize=49656 CPUtime=9.38
/proc/4398/stat : 4398 (bsolo_pb10) R 4253 4398 4398 0 -1 4202496 10311 0 0 0 933 5 0 0 25 0 1 0 89208494 50847744 9975 1992294400 134512640 137138936 4287372816 18446744073709551615 134606630 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/4398/statm: 12414 9975 192 642 0 11770 0
Current children cumulated CPU time (s) 1189.25
Current children cumulated vsize (KiB) 183772
Solver just ended. Dumping a history of the last processes samples
[startup+1126.3 s]
/proc/loadavg: 1.03 1.05 1.00 2/108 4398
/proc/meminfo: memFree=1300572/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=1180.09
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 42069 292444 49 101 6347 904 110488 270 16 0 1 0 89097210 137334784 6347 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159836005329808262 0 0 17 1 0 0 48
/proc/4253/statm: 33529 6347 1143 1 0 5166 0
[pid=4398] ppid=4253 vsize=57040 CPUtime=13.35
/proc/4398/stat : 4398 (bsolo_pb10) R 4253 4398 4398 0 -1 4202496 12164 0 0 0 1329 6 0 0 25 0 1 0 89208494 58408960 11828 1992294400 134512640 137138936 4287372816 18446744073709551615 134542289 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/4398/statm: 14260 11828 192 642 0 13616 0
Current children cumulated CPU time (s) 1193.44
Current children cumulated vsize (KiB) 191156
[startup+1151.9 s]
/proc/loadavg: 1.07 1.06 1.00 2/108 4400
/proc/meminfo: memFree=1275028/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=1181.7
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 42139 292444 49 101 6483 929 110488 270 15 0 1 0 89097210 137334784 6347 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159836005329808262 0 0 17 1 0 0 48
/proc/4253/statm: 33529 6347 1143 1 0 5166 0
[pid=4398] ppid=4253 vsize=82776 CPUtime=38.77
/proc/4398/stat : 4398 (bsolo_pb10) R 4253 4398 4398 0 -1 4202496 18593 0 0 0 3867 10 0 0 25 0 1 0 89208494 84762624 18257 1992294400 134512640 137138936 4287372816 18446744073709551615 135984592 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/4398/statm: 20694 18257 192 642 0 20050 0
Current children cumulated CPU time (s) 1220.47
Current children cumulated vsize (KiB) 216892
[startup+1158.31 s]
/proc/loadavg: 1.06 1.06 1.00 2/108 4400
/proc/meminfo: memFree=1269820/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=1182.1
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 42142 292444 49 101 6517 935 110488 270 16 0 1 0 89097210 137334784 6347 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159836005329808262 0 0 17 1 0 0 48
/proc/4253/statm: 33529 6347 1143 1 0 5166 0
[pid=4398] ppid=4253 vsize=87804 CPUtime=45.13
/proc/4398/stat : 4398 (bsolo_pb10) R 4253 4398 4398 0 -1 4202496 19866 0 0 0 4503 10 0 0 25 0 1 0 89208494 89911296 19530 1992294400 134512640 137138936 4287372816 18446744073709551615 134542805 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/4398/statm: 21951 19530 192 642 0 21307 0
Current children cumulated CPU time (s) 1227.23
Current children cumulated vsize (KiB) 221920
[startup+1161.5 s]
/proc/loadavg: 1.06 1.06 1.00 2/108 4400
/proc/meminfo: memFree=1265728/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=1182.32
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 42143 292444 49 101 6535 939 110488 270 16 0 1 0 89097210 137334784 6347 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159836005329808262 0 0 17 1 0 0 48
/proc/4253/statm: 33529 6347 1143 1 0 5166 0
[pid=4398] ppid=4253 vsize=91692 CPUtime=48.31
/proc/4398/stat : 4398 (bsolo_pb10) R 4253 4398 4398 0 -1 4202496 20828 0 0 0 4820 11 0 0 25 0 1 0 89208494 93892608 20492 1992294400 134512640 137138936 4287372816 18446744073709551615 134542787 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/4398/statm: 22923 20492 192 642 0 22279 0
Current children cumulated CPU time (s) 1230.63
Current children cumulated vsize (KiB) 225808
[startup+1163.1 s]
/proc/loadavg: 1.06 1.06 1.00 2/108 4400
/proc/meminfo: memFree=1264488/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=1182.42
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 42144 292444 49 101 6544 940 110488 270 16 0 1 0 89097210 137334784 6347 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159836005329808262 0 0 17 1 0 0 48
/proc/4253/statm: 33529 6347 1143 1 0 5166 0
[pid=4398] ppid=4253 vsize=93536 CPUtime=49.9
/proc/4398/stat : 4398 (bsolo_pb10) R 4253 4398 4398 0 -1 4202496 21283 0 0 0 4978 12 0 0 25 0 1 0 89208494 95780864 20947 1992294400 134512640 137138936 4287372816 18446744073709551615 134542613 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/4398/statm: 23384 20947 192 642 0 22740 0
Current children cumulated CPU time (s) 1232.32
Current children cumulated vsize (KiB) 227652
[startup+1163.9 s]
/proc/loadavg: 1.06 1.05 1.00 2/108 4400
/proc/meminfo: memFree=1261636/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=1182.45
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 42144 292444 49 101 6547 940 110488 270 15 0 1 0 89097210 137334784 6347 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159836005329808262 0 0 17 1 0 0 48
/proc/4253/statm: 33529 6347 1143 1 0 5166 0
[pid=4398] ppid=4253 vsize=95808 CPUtime=50.69
/proc/4398/stat : 4398 (bsolo_pb10) R 4253 4398 4398 0 -1 4202496 21847 0 0 0 5057 12 0 0 25 0 1 0 89208494 98107392 21511 1992294400 134512640 137138936 4287372816 18446744073709551615 134542325 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/4398/statm: 23952 21511 192 642 0 23308 0
Current children cumulated CPU time (s) 1233.14
Current children cumulated vsize (KiB) 229924
[startup+1164.7 s]
/proc/loadavg: 1.06 1.05 1.00 2/108 4400
/proc/meminfo: memFree=1261636/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=1182.51
/proc/4253/stat : 4253 (python) S 4251 4253 4228 0 -1 4202496 42144 292444 49 101 6552 941 110488 270 16 0 1 0 89097210 137334784 6347 1992294400 4194304 4196484 140733408940496 18446744073709551615 230159068687 0 0 16781312 2 159836005329808262 0 0 17 1 0 0 48
/proc/4253/statm: 33529 6347 1143 1 0 5166 0
[pid=4398] ppid=4253 vsize=97328 CPUtime=51.49
/proc/4398/stat : 4398 (bsolo_pb10) R 4253 4398 4398 0 -1 4202496 22241 0 0 0 5136 13 0 0 25 0 1 0 89208494 99663872 21905 1992294400 134512640 137138936 4287372816 18446744073709551615 134606964 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/4398/statm: 24332 21905 192 642 0 23688 0
Current children cumulated CPU time (s) 1234
Current children cumulated vsize (KiB) 231444
[startup+1165.1 s]
/proc/loadavg: 1.06 1.05 1.00 2/108 4400
/proc/meminfo: memFree=1260024/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134116 CPUtime=1182.62
/proc/4253/stat : 4253 (python) R 4251 4253 4228 0 -1 4202496 42146 292444 49 101 6561 943 110488 270 16 0 1 0 89097210 137334784 6347 1992294400 4194304 4196484 140733408940496 18446744073709551615 47858124232016 0 0 16781312 2 0 0 0 17 1 0 0 48
/proc/4253/statm: 33529 6347 1143 1 0 5166 0
[pid=4398] ppid=4253 vsize=0 CPUtime=51.8
/proc/4398/stat : 4398 (bsolo_pb10) Z 4253 4398 4398 0 -1 4202524 22298 0 0 0 5166 14 0 0 25 0 1 0 89208494 0 0 1992294400 0 0 0 0 0 0 0 16781312 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/4398/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1234.42
Current children cumulated vsize (KiB) 134116
[startup+1165.2 s]
/proc/loadavg: 1.06 1.05 1.00 2/108 4400
/proc/meminfo: memFree=1260024/2059040 swapFree=4134352/4192956
[pid=4253] ppid=4251 vsize=134112 CPUtime=1234.51
/proc/4253/stat : 4253 (python) R 4251 4253 4228 0 -1 4202496 45979 315746 49 101 6568 944 115654 285 16 0 1 0 89097210 137330688 6348 1992294400 4194304 4196484 140733408940496 18446744073709551615 47858080475893 0 0 16781312 0 0 0 0 17 0 0 0 48
/proc/4253/statm: 33528 6348 1143 1 0 5165 0
Current children cumulated CPU time (s) 1234.51
Current children cumulated vsize (KiB) 134112
Child status: 20
Real time (s): 1165.23
CPU time (s): 1234.56
CPU user time (s): 1222.25
CPU system time (s): 12.3101
CPU usage (%): 105.95
Max. virtual memory (cumulated for all children) (KiB): 1613328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1222.25
system time used= 12.3101
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362795
page faults= 150
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13276
involuntary context switches= 22888
runsolver used 2.13368 second user time and 5.8811 second system time
The end