1.03/1.24 c DEBUG: probabilities of action success (DCM model):
1.03/1.24 c pb/competition_2010/bsolo_pb10-l1 : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
1.03/1.24 c pb/competition_2010/bsolo_pb10-l2 : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
1.03/1.24 c pb/competition_2010/bsolo_pb10-l3 : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
1.03/1.24 c pb/competition_2010/wbo1.4a : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
1.03/1.24 c pb/competition_2010/wbo1.4b : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
1.03/1.24 c pb/other/clasp-1.3.3 : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
1.03/1.24 c pb/other/sat4j-pb-v20090829 : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
1.03/1.24 c pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
1.03/1.27 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1291621897', u'HOME/instance-2675949-1277134580.opb'] for 0:00:10
11.80/11.50 c DEBUG: probabilities of action success (DCM model):
11.80/11.50 c pb/competition_2010/bsolo_pb10-l1 : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
11.80/11.50 c pb/competition_2010/bsolo_pb10-l2 : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
11.80/11.50 c pb/competition_2010/bsolo_pb10-l3 : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
11.80/11.50 c pb/competition_2010/wbo1.4a : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
11.80/11.50 c pb/competition_2010/wbo1.4b : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
11.80/11.50 c pb/other/clasp-1.3.3 : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
11.80/11.50 c pb/other/sat4j-pb-v20090829 : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
11.80/11.50 c pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
11.94/11.50 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=80850121', u'HOME/instance-2675949-1277134580.opb'] for 0:00:50
65.47/62.27 c DEBUG: probabilities of action success (DCM model):
65.47/62.27 c pb/competition_2010/bsolo_pb10-l1 : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
65.47/62.27 c pb/competition_2010/bsolo_pb10-l2 : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
65.47/62.27 c pb/competition_2010/bsolo_pb10-l3 : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
65.47/62.27 c pb/competition_2010/wbo1.4a : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
65.47/62.27 c pb/competition_2010/wbo1.4b : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
65.47/62.27 c pb/other/clasp-1.3.3 : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
65.47/62.27 c pb/other/sat4j-pb-v20090829 : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
65.47/62.27 c pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
65.47/62.27 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675949-1277134580.opb'] for 0:00:50
119.75/113.03 c DEBUG: probabilities of action success (DCM model):
119.75/113.03 c pb/competition_2010/bsolo_pb10-l1 : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
119.75/113.03 c pb/competition_2010/bsolo_pb10-l2 : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
119.75/113.03 c pb/competition_2010/bsolo_pb10-l3 : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
119.75/113.03 c pb/competition_2010/wbo1.4a : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
119.75/113.03 c pb/competition_2010/wbo1.4b : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
119.75/113.03 c pb/other/clasp-1.3.3 : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
119.75/113.03 c pb/other/sat4j-pb-v20090829 : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
119.75/113.03 c pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
119.75/113.04 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=932285046', u'HOME/instance-2675949-1277134580.opb'] for 0:01:40
226.09/213.43 c DEBUG: probabilities of action success (DCM model):
226.09/213.43 c pb/competition_2010/bsolo_pb10-l1 : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
226.09/213.43 c pb/competition_2010/bsolo_pb10-l2 : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
226.09/213.43 c pb/competition_2010/bsolo_pb10-l3 : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
226.09/213.43 c pb/competition_2010/wbo1.4a : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
226.09/213.43 c pb/competition_2010/wbo1.4b : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
226.09/213.43 c pb/other/clasp-1.3.3 : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
226.09/213.43 c pb/other/sat4j-pb-v20090829 : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
226.09/213.43 c pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
226.09/213.44 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675949-1277134580.opb'] for 0:01:40
334.81/315.93 c DEBUG: probabilities of action success (DCM model):
334.81/315.93 c pb/competition_2010/bsolo_pb10-l1 : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
334.81/315.93 c pb/competition_2010/bsolo_pb10-l2 : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
334.81/315.93 c pb/competition_2010/bsolo_pb10-l3 : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
334.81/315.93 c pb/competition_2010/wbo1.4a : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
334.81/315.93 c pb/competition_2010/wbo1.4b : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
334.81/315.93 c pb/other/clasp-1.3.3 : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
334.81/315.93 c pb/other/sat4j-pb-v20090829 : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
334.81/315.93 c pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
334.81/315.94 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2675949-1277134580.opb'] for 0:00:50
389.66/367.24 c DEBUG: probabilities of action success (DCM model):
389.66/367.24 c pb/competition_2010/bsolo_pb10-l1 : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
389.66/367.24 c pb/competition_2010/bsolo_pb10-l2 : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
389.66/367.24 c pb/competition_2010/bsolo_pb10-l3 : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
389.66/367.24 c pb/competition_2010/wbo1.4a : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
389.66/367.24 c pb/competition_2010/wbo1.4b : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
389.66/367.24 c pb/other/clasp-1.3.3 : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
389.66/367.24 c pb/other/sat4j-pb-v20090829 : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
389.66/367.24 c pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
389.66/367.25 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-2675949-1277134580.opb'] for 0:01:40
496.20/467.48 c DEBUG: probabilities of action success (DCM model):
496.20/467.48 c pb/competition_2010/bsolo_pb10-l1 : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
496.20/467.48 c pb/competition_2010/bsolo_pb10-l2 : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
496.20/467.48 c pb/competition_2010/bsolo_pb10-l3 : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
496.20/467.48 c pb/competition_2010/wbo1.4a : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
496.20/467.48 c pb/competition_2010/wbo1.4b : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
496.20/467.48 c pb/other/clasp-1.3.3 : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
496.20/467.48 c pb/other/sat4j-pb-v20090829 : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
496.20/467.48 c pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
496.20/467.49 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2675949-1277134580.opb'] for 0:01:40
604.74/569.86 c DEBUG: probabilities of action success (DCM model):
604.74/569.86 c pb/competition_2010/bsolo_pb10-l1 : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
604.74/569.86 c pb/competition_2010/bsolo_pb10-l2 : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
604.74/569.86 c pb/competition_2010/bsolo_pb10-l3 : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
604.74/569.86 c pb/competition_2010/wbo1.4a : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
604.74/569.86 c pb/competition_2010/wbo1.4b : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
604.74/569.86 c pb/other/clasp-1.3.3 : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
604.74/569.86 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
604.74/569.86 c pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
604.74/569.86 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2675949-1277134580.opb'] for 0:00:50
658.29/620.03 c DEBUG: probabilities of action success (DCM model):
658.29/620.03 c pb/competition_2010/bsolo_pb10-l1 : 0.0056 0.0070 0.0350 0.0875 0.1379 0.1679 0.2779
658.29/620.03 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0082 0.0206 0.0285 0.1112
658.29/620.03 c pb/competition_2010/bsolo_pb10-l3 : 0.0271 0.0006 0.0648 0.0663 0.0694 0.0943 0.1707
658.29/620.03 c pb/competition_2010/wbo1.4a : 0.0418 0.0058 0.0048 0.2383 0.3810 0.4683 0.7449
658.29/620.03 c pb/competition_2010/wbo1.4b : 0.0319 0.0007 0.0234 0.2842 0.4328 0.5290 0.7099
658.29/620.03 c pb/other/clasp-1.3.3 : 0.0466 0.0429 0.0715 0.5647 0.6728 0.7172 0.8274
658.29/620.03 c pb/other/sat4j-pb-v20090829 : 0.0089 0.0393 0.0011 0.1832 0.2460 0.2933 0.4648
658.29/620.03 c pb/other/sat4j-pb-v20090829-cutting : 0.0049 0.0225 0.0232 0.0376 0.0774 0.0936 0.2247
658.29/620.03 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=563172034', u'HOME/instance-2675949-1277134580.opb'] for 0:00:10
669.07/630.27 c DEBUG: probabilities of action success (DCM model):
669.07/630.27 c pb/competition_2010/bsolo_pb10-l1 : 0.0048 0.0062 0.0356 0.0901 0.1429 0.1729 0.2823
669.07/630.27 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0085 0.0216 0.0299 0.1142
669.07/630.27 c pb/competition_2010/bsolo_pb10-l3 : 0.0284 0.0006 0.0660 0.0675 0.0708 0.0964 0.1746
669.07/630.27 c pb/competition_2010/wbo1.4a : 0.0419 0.0061 0.0050 0.2416 0.3851 0.4718 0.7463
669.07/630.27 c pb/competition_2010/wbo1.4b : 0.0313 0.0007 0.0242 0.2884 0.4409 0.5368 0.7143
669.07/630.27 c pb/other/clasp-1.3.3 : 0.0432 0.0422 0.0717 0.5642 0.6732 0.7178 0.8280
669.07/630.27 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0402 0.0011 0.1889 0.2523 0.3000 0.4690
669.07/630.27 c pb/other/sat4j-pb-v20090829-cutting : 0.0041 0.0196 0.0203 0.0354 0.0744 0.0909 0.2215
669.07/630.27 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1194744024', u'HOME/instance-2675949-1277134580.opb'] for 0:00:10
680.08/640.52 c DEBUG: probabilities of action success (DCM model):
680.08/640.52 c pb/competition_2010/bsolo_pb10-l1 : 0.0043 0.0058 0.0365 0.0929 0.1481 0.1780 0.2865
680.08/640.52 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0089 0.0225 0.0312 0.1171
680.08/640.52 c pb/competition_2010/bsolo_pb10-l3 : 0.0297 0.0007 0.0671 0.0686 0.0720 0.0984 0.1784
680.08/640.52 c pb/competition_2010/wbo1.4a : 0.0419 0.0064 0.0052 0.2447 0.3890 0.4751 0.7470
680.08/640.52 c pb/competition_2010/wbo1.4b : 0.0310 0.0007 0.0249 0.2925 0.4487 0.5442 0.7181
680.08/640.52 c pb/other/clasp-1.3.3 : 0.0408 0.0415 0.0717 0.5640 0.6738 0.7185 0.8288
680.08/640.52 c pb/other/sat4j-pb-v20090829 : 0.0081 0.0414 0.0012 0.1953 0.2599 0.3078 0.4741
680.08/640.52 c pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0182 0.0189 0.0346 0.0729 0.0895 0.2196
680.08/640.52 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675949-1277134580.opb'] for 0:00:10
691.58/651.06 c DEBUG: probabilities of action success (DCM model):
691.58/651.06 c pb/competition_2010/bsolo_pb10-l1 : 0.0042 0.0051 0.0367 0.0952 0.1515 0.1809 0.2919
691.58/651.06 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0091 0.0232 0.0322 0.1217
691.58/651.06 c pb/competition_2010/bsolo_pb10-l3 : 0.0308 0.0006 0.0658 0.0668 0.0704 0.0979 0.1806
691.58/651.06 c pb/competition_2010/wbo1.4a : 0.0007 0.0062 0.0054 0.2431 0.3935 0.4830 0.7552
691.58/651.06 c pb/competition_2010/wbo1.4b : 0.0322 0.0006 0.0259 0.2941 0.4539 0.5495 0.7272
691.58/651.06 c pb/other/clasp-1.3.3 : 0.0407 0.0412 0.0702 0.5773 0.6906 0.7332 0.8386
691.58/651.06 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0415 0.0012 0.1996 0.2666 0.3166 0.4896
691.58/651.06 c pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0187 0.0192 0.0349 0.0747 0.0916 0.2271
691.58/651.06 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1904431689', u'HOME/instance-2675949-1277134580.opb'] for 0:00:10
702.57/661.32 c DEBUG: probabilities of action success (DCM model):
702.57/661.32 c pb/competition_2010/bsolo_pb10-l1 : 0.0039 0.0049 0.0378 0.0982 0.1569 0.1862 0.2962
702.57/661.32 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0095 0.0242 0.0336 0.1245
702.57/661.32 c pb/competition_2010/bsolo_pb10-l3 : 0.0321 0.0007 0.0669 0.0680 0.0717 0.1000 0.1846
702.57/661.32 c pb/competition_2010/wbo1.4a : 0.0007 0.0064 0.0056 0.2461 0.3974 0.4861 0.7556
702.57/661.32 c pb/competition_2010/wbo1.4b : 0.0321 0.0006 0.0266 0.2983 0.4618 0.5570 0.7307
702.57/661.32 c pb/other/clasp-1.3.3 : 0.0387 0.0405 0.0702 0.5772 0.6912 0.7339 0.8394
702.57/661.32 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0428 0.0012 0.2064 0.2748 0.3250 0.4951
702.57/661.32 c pb/other/sat4j-pb-v20090829-cutting : 0.0036 0.0179 0.0184 0.0347 0.0737 0.0907 0.2256
702.57/661.33 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=897686824', u'HOME/instance-2675949-1277134580.opb'] for 0:00:10
713.41/671.57 c DEBUG: probabilities of action success (DCM model):
713.41/671.57 c pb/competition_2010/bsolo_pb10-l1 : 0.0037 0.0048 0.0389 0.1012 0.1623 0.1915 0.3004
713.41/671.57 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0099 0.0251 0.0349 0.1274
713.41/671.57 c pb/competition_2010/bsolo_pb10-l3 : 0.0334 0.0007 0.0680 0.0691 0.0729 0.1020 0.1884
713.41/671.57 c pb/competition_2010/wbo1.4a : 0.0008 0.0067 0.0057 0.2490 0.4011 0.4892 0.7558
713.41/671.57 c pb/competition_2010/wbo1.4b : 0.0320 0.0006 0.0273 0.3025 0.4695 0.5642 0.7341
713.41/671.57 c pb/other/clasp-1.3.3 : 0.0369 0.0398 0.0702 0.5772 0.6919 0.7347 0.8403
713.41/671.57 c pb/other/sat4j-pb-v20090829 : 0.0083 0.0442 0.0013 0.2134 0.2832 0.3336 0.5007
713.41/671.57 c pb/other/sat4j-pb-v20090829-cutting : 0.0034 0.0174 0.0179 0.0348 0.0730 0.0901 0.2243
713.41/671.57 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1673567500', u'HOME/instance-2675949-1277134580.opb'] for 0:00:10
724.45/681.82 c DEBUG: probabilities of action success (DCM model):
724.45/681.82 c pb/competition_2010/bsolo_pb10-l1 : 0.0036 0.0047 0.0401 0.1043 0.1677 0.1967 0.3047
724.45/681.82 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0103 0.0261 0.0362 0.1301
724.45/681.82 c pb/competition_2010/bsolo_pb10-l3 : 0.0347 0.0007 0.0690 0.0701 0.0742 0.1041 0.1923
724.45/681.82 c pb/competition_2010/wbo1.4a : 0.0008 0.0069 0.0059 0.2519 0.4048 0.4922 0.7560
724.45/681.82 c pb/competition_2010/wbo1.4b : 0.0319 0.0006 0.0280 0.3065 0.4771 0.5714 0.7375
724.45/681.82 c pb/other/clasp-1.3.3 : 0.0352 0.0390 0.0701 0.5772 0.6926 0.7356 0.8412
724.45/681.82 c pb/other/sat4j-pb-v20090829 : 0.0084 0.0456 0.0013 0.2203 0.2917 0.3422 0.5065
724.45/681.82 c pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0170 0.0176 0.0351 0.0725 0.0897 0.2232
724.45/681.82 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1509350804', u'HOME/instance-2675949-1277134580.opb'] for 0:00:10
735.31/692.08 c DEBUG: probabilities of action success (DCM model):
735.31/692.08 c pb/competition_2010/bsolo_pb10-l1 : 0.0035 0.0046 0.0414 0.1073 0.1730 0.2020 0.3089
735.31/692.08 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0106 0.0270 0.0376 0.1328
735.31/692.08 c pb/competition_2010/bsolo_pb10-l3 : 0.0359 0.0007 0.0700 0.0712 0.0753 0.1061 0.1960
735.31/692.08 c pb/competition_2010/wbo1.4a : 0.0008 0.0071 0.0061 0.2547 0.4085 0.4952 0.7561
735.31/692.08 c pb/competition_2010/wbo1.4b : 0.0318 0.0006 0.0287 0.3105 0.4845 0.5783 0.7407
735.31/692.08 c pb/other/clasp-1.3.3 : 0.0337 0.0383 0.0700 0.5774 0.6935 0.7365 0.8422
735.31/692.08 c pb/other/sat4j-pb-v20090829 : 0.0085 0.0471 0.0014 0.2273 0.3002 0.3509 0.5123
735.31/692.08 c pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0168 0.0174 0.0356 0.0721 0.0895 0.2223
735.31/692.08 c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2675949-1277134580.opb'] for 0:00:10
746.62/702.40 c DEBUG: probabilities of action success (DCM model):
746.62/702.40 c pb/competition_2010/bsolo_pb10-l1 : 0.0035 0.0046 0.0335 0.0887 0.1422 0.1723 0.2831
746.62/702.40 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0110 0.0239 0.0348 0.1243
746.62/702.40 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0006 0.0633 0.0644 0.0688 0.0951 0.1792
746.62/702.40 c pb/competition_2010/wbo1.4a : 0.0008 0.0074 0.0063 0.2548 0.4004 0.4857 0.7517
746.62/702.40 c pb/competition_2010/wbo1.4b : 0.0330 0.0006 0.0260 0.3033 0.4653 0.5626 0.7311
746.62/702.40 c pb/other/clasp-1.3.3 : 0.0349 0.0397 0.0725 0.5710 0.6821 0.7268 0.8363
746.62/702.40 c pb/other/sat4j-pb-v20090829 : 0.0088 0.0488 0.0013 0.2079 0.2742 0.3267 0.4941
746.62/702.40 c pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0174 0.0180 0.0367 0.0746 0.0926 0.2304
746.62/702.41 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=375168259', u'HOME/instance-2675949-1277134580.opb'] for 0:00:10
757.51/712.65 c DEBUG: probabilities of action success (DCM model):
757.51/712.65 c pb/competition_2010/bsolo_pb10-l1 : 0.0034 0.0046 0.0345 0.0912 0.1467 0.1766 0.2865
757.51/712.65 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0114 0.0247 0.0360 0.1268
757.51/712.65 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0006 0.0641 0.0652 0.0697 0.0968 0.1824
757.51/712.65 c pb/competition_2010/wbo1.4a : 0.0008 0.0077 0.0065 0.2576 0.4039 0.4884 0.7517
757.51/712.65 c pb/competition_2010/wbo1.4b : 0.0330 0.0006 0.0266 0.3071 0.4722 0.5692 0.7341
757.51/712.65 c pb/other/clasp-1.3.3 : 0.0335 0.0390 0.0725 0.5709 0.6826 0.7274 0.8371
757.51/712.65 c pb/other/sat4j-pb-v20090829 : 0.0089 0.0504 0.0014 0.2144 0.2821 0.3348 0.4995
757.51/712.65 c pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0173 0.0179 0.0373 0.0744 0.0926 0.2299
757.51/712.65 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-2675949-1277134580.opb'] for 0:00:50
811.35/762.54 c DEBUG: probabilities of action success (DCM model):
811.35/762.54 c pb/competition_2010/bsolo_pb10-l1 : 0.0027 0.0033 0.0343 0.0933 0.1487 0.1802 0.2953
811.35/762.54 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0068 0.0207 0.0275 0.1219
811.35/762.54 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0674 0.0680 0.0719 0.1000 0.1870
811.35/762.54 c pb/competition_2010/wbo1.4a : 0.0006 0.0066 0.0068 0.2480 0.3953 0.4814 0.7562
811.35/762.54 c pb/competition_2010/wbo1.4b : 0.0339 0.0006 0.0270 0.3026 0.4612 0.5528 0.7230
811.35/762.54 c pb/other/clasp-1.3.3 : 0.0351 0.0409 0.0745 0.5713 0.6785 0.7222 0.8293
811.35/762.54 c pb/other/sat4j-pb-v20090829 : 0.0060 0.0004 0.0011 0.1829 0.2472 0.3019 0.4737
811.35/762.54 c pb/other/sat4j-pb-v20090829-cutting : 0.0026 0.0140 0.0144 0.0310 0.0693 0.0875 0.2214
811.35/762.55 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=762598189', u'HOME/instance-2675949-1277134580.opb'] for 0:00:10
822.14/772.79 c DEBUG: probabilities of action success (DCM model):
822.14/772.79 c pb/competition_2010/bsolo_pb10-l1 : 0.0027 0.0033 0.0354 0.0960 0.1534 0.1848 0.2992
822.14/772.79 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0071 0.0214 0.0284 0.1243
822.14/772.79 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0683 0.0690 0.0730 0.1019 0.1906
822.14/772.79 c pb/competition_2010/wbo1.4a : 0.0006 0.0068 0.0070 0.2506 0.3986 0.4840 0.7563
822.14/772.79 c pb/competition_2010/wbo1.4b : 0.0339 0.0006 0.0276 0.3064 0.4679 0.5590 0.7256
822.14/772.79 c pb/other/clasp-1.3.3 : 0.0338 0.0402 0.0745 0.5713 0.6790 0.7228 0.8299
822.14/772.79 c pb/other/sat4j-pb-v20090829 : 0.0061 0.0004 0.0012 0.1887 0.2544 0.3093 0.4786
822.14/772.79 c pb/other/sat4j-pb-v20090829-cutting : 0.0025 0.0141 0.0144 0.0316 0.0691 0.0875 0.2207
822.14/772.80 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2675949-1277134580.opb'] for 0:00:10
833.72/783.33 c DEBUG: probabilities of action success (DCM model):
833.72/783.33 c pb/competition_2010/bsolo_pb10-l1 : 0.0021 0.0027 0.0359 0.0961 0.1555 0.1853 0.2919
833.72/783.33 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0073 0.0222 0.0294 0.1169
833.72/783.33 c pb/competition_2010/bsolo_pb10-l3 : 0.0003 0.0007 0.0706 0.0713 0.0755 0.1030 0.1852
833.72/783.33 c pb/competition_2010/wbo1.4a : 0.0007 0.0065 0.0052 0.2439 0.3901 0.4758 0.7496
833.72/783.33 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0267 0.2960 0.4524 0.5454 0.7179
833.72/783.33 c pb/other/clasp-1.3.3 : 0.0338 0.0415 0.0712 0.5594 0.6694 0.7147 0.8248
833.72/783.33 c pb/other/sat4j-pb-v20090829 : 0.0056 0.0004 0.0012 0.1911 0.2541 0.3010 0.4646
833.72/783.33 c pb/other/sat4j-pb-v20090829-cutting : 0.0020 0.0120 0.0123 0.0301 0.0690 0.0845 0.2092
833.72/783.34 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1775553264', u'HOME/instance-2675949-1277134580.opb'] for 0:00:10
844.50/793.57 c DEBUG: probabilities of action success (DCM model):
844.50/793.57 c pb/competition_2010/bsolo_pb10-l1 : 0.0021 0.0027 0.0371 0.0989 0.1604 0.1901 0.2959
844.50/793.57 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0076 0.0230 0.0305 0.1193
844.50/793.57 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0716 0.0723 0.0767 0.1049 0.1888
844.50/793.57 c pb/competition_2010/wbo1.4a : 0.0007 0.0067 0.0053 0.2464 0.3934 0.4784 0.7497
844.50/793.57 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0273 0.2998 0.4592 0.5516 0.7206
844.50/793.57 c pb/other/clasp-1.3.3 : 0.0326 0.0409 0.0712 0.5595 0.6700 0.7154 0.8255
844.50/793.57 c pb/other/sat4j-pb-v20090829 : 0.0057 0.0004 0.0012 0.1971 0.2615 0.3086 0.4696
844.50/793.57 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0120 0.0124 0.0308 0.0689 0.0846 0.2085
844.50/793.58 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=557291584', u'HOME/instance-2675949-1277134580.opb'] for 0:00:10
855.45/803.81 c DEBUG: probabilities of action success (DCM model):
855.45/803.81 c pb/competition_2010/bsolo_pb10-l1 : 0.0020 0.0027 0.0382 0.1017 0.1653 0.1949 0.2998
855.45/803.81 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0078 0.0237 0.0315 0.1217
855.45/803.81 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0726 0.0733 0.0778 0.1068 0.1923
855.45/803.81 c pb/competition_2010/wbo1.4a : 0.0007 0.0069 0.0055 0.2489 0.3967 0.4810 0.7498
855.45/803.81 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0279 0.3035 0.4659 0.5577 0.7233
855.45/803.81 c pb/other/clasp-1.3.3 : 0.0314 0.0402 0.0712 0.5597 0.6707 0.7161 0.8262
855.45/803.81 c pb/other/sat4j-pb-v20090829 : 0.0058 0.0004 0.0013 0.2031 0.2690 0.3163 0.4747
855.45/803.81 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0121 0.0125 0.0315 0.0689 0.0847 0.2079
855.45/803.82 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=387860119', u'HOME/instance-2675949-1277134580.opb'] for 0:00:10
866.24/814.06 c DEBUG: probabilities of action success (DCM model):
866.24/814.06 c pb/competition_2010/bsolo_pb10-l1 : 0.0020 0.0027 0.0394 0.1045 0.1701 0.1997 0.3036
866.24/814.06 c pb/competition_2010/bsolo_pb10-l2 : 0.0000 0.0000 0.0000 0.0081 0.0245 0.0325 0.1240
866.24/814.06 c pb/competition_2010/bsolo_pb10-l3 : 0.0004 0.0007 0.0735 0.0742 0.0789 0.1086 0.1958
866.24/814.06 c pb/competition_2010/wbo1.4a : 0.0007 0.0072 0.0056 0.2514 0.3999 0.4836 0.7499
866.24/814.06 c pb/competition_2010/wbo1.4b : 0.0003 0.0006 0.0286 0.3071 0.4724 0.5638 0.7259
866.24/814.06 c pb/other/clasp-1.3.3 : 0.0302 0.0396 0.0712 0.5599 0.6714 0.7169 0.8270
866.24/814.06 c pb/other/sat4j-pb-v20090829 : 0.0059 0.0004 0.0013 0.2091 0.2764 0.3239 0.4798
866.24/814.06 c pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0122 0.0126 0.0322 0.0689 0.0848 0.2073
866.24/814.06 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1732170010', u'HOME/instance-2675949-1277134580.opb'] for 0:05:00
968.16/910.64 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2675949-1277134580/watcher-2675949-1277134580 -o /tmp/evaluation-result-2675949-1277134580/solver-2675949-1277134580 -C 1800 -W 2000 -M 1800 solver HOME/instance-2675949-1277134580.opb 1245467142
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.28 0.46 0.69 3/105 12484
/proc/meminfo: memFree=1750088/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=16708 CPUtime=0
/proc/12484/stat : 12484 (python) R 12482 12484 12320 0 -1 4202496 741 0 0 0 0 0 0 0 25 0 1 0 54751870 17108992 506 1992294400 4194304 4196484 140736455905152 18446744073709551615 258407346885 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12484/statm: 4177 509 272 1 0 273 0
[startup+0.0177111 s]
/proc/loadavg: 0.28 0.46 0.69 3/105 12484
/proc/meminfo: memFree=1750088/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=216 CPUtime=0.01
/proc/12484/stat : 12484 (python) R 12482 12484 12320 0 -1 4194304 963 0 0 0 1 0 0 0 25 0 1 0 54751870 221184 29 1992294400 4194304 4196484 140735751518704 18446744073709551615 258402762229 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/12484/statm: 54 29 22 1 0 22 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 216
[startup+0.104732 s]
/proc/loadavg: 0.28 0.46 0.69 3/105 12484
/proc/meminfo: memFree=1750088/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=34216 CPUtime=0.08
/proc/12484/stat : 12484 (python) R 12482 12484 12320 0 -1 4202496 2422 0 0 0 6 2 0 0 25 0 1 0 54751870 35037184 1393 1992294400 4194304 4196484 140735751518704 18446744073709551615 47536154873106 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12484/statm: 8554 1393 462 1 0 911 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34216
[startup+0.300748 s]
/proc/loadavg: 0.28 0.46 0.69 3/105 12484
/proc/meminfo: memFree=1750088/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=71500 CPUtime=0.26
/proc/12484/stat : 12484 (python) R 12482 12484 12320 0 -1 4202496 4203 0 0 0 19 7 0 0 25 0 1 0 54751870 73216000 2992 1992294400 4194304 4196484 140735751518704 18446744073709551615 47536155251289 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12484/statm: 17875 2992 701 1 0 2362 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 71500
[startup+0.700798 s]
/proc/loadavg: 0.28 0.46 0.69 3/105 12484
/proc/meminfo: memFree=1750088/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=104296 CPUtime=0.62
/proc/12484/stat : 12484 (python) R 12482 12484 12320 0 -1 4202496 6175 929 0 0 41 21 0 0 25 0 1 0 54751870 106799104 4405 1992294400 4194304 4196484 140735751518704 18446744073709551615 47536155542060 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12484/statm: 26074 4405 1028 1 0 3415 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 104296
[startup+1.50088 s]
/proc/loadavg: 0.28 0.46 0.69 1/106 12491
/proc/meminfo: memFree=1730364/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=132052 CPUtime=1.17
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 10258 929 0 0 86 31 0 0 18 0 1 0 54751870 135221248 6306 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159836005329808187 0 0 17 1 0 0 0
/proc/12484/statm: 33013 6306 1133 1 0 5165 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 132052
[startup+3.10206 s]
/proc/loadavg: 0.28 0.46 0.69 2/107 12492
/proc/meminfo: memFree=1727628/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=132052 CPUtime=1.26
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 10264 929 0 0 94 32 0 0 15 0 1 0 54751870 135221248 6306 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159836005329808187 0 0 17 1 0 0 0
/proc/12484/statm: 33013 6306 1133 1 0 5165 0
[pid=12492] ppid=12484 vsize=2460 CPUtime=1.81
/proc/12492/stat : 12492 (clasp-1.3.3-x86) R 12484 12492 12492 0 -1 4202496 671 0 0 0 181 0 0 0 22 0 1 0 54751997 2519040 356 1992294400 134512640 136080129 4290070016 18446744073709551615 134849710 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12492/statm: 615 356 175 383 0 230 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 134512
[startup+6.30143 s]
/proc/loadavg: 0.41 0.48 0.70 2/107 12492
/proc/meminfo: memFree=1727380/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=132052 CPUtime=1.45
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 10277 929 0 0 110 35 0 0 15 0 1 0 54751870 135221248 6306 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159836005329808187 0 0 17 1 0 0 0
/proc/12484/statm: 33013 6306 1133 1 0 5165 0
[pid=12492] ppid=12484 vsize=2724 CPUtime=4.99
/proc/12492/stat : 12492 (clasp-1.3.3-x86) R 12484 12492 12492 0 -1 4202496 739 0 0 0 499 0 0 0 25 0 1 0 54751997 2789376 424 1992294400 134512640 136080129 4290070016 18446744073709551615 134849670 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12492/statm: 681 424 175 383 0 296 0
Current children cumulated CPU time (s) 6.44
Current children cumulated vsize (KiB) 134776
[startup+12.7011 s]
/proc/loadavg: 0.46 0.49 0.70 2/107 12495
/proc/meminfo: memFree=1728124/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=12.08
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 11583 2691 0 0 152 42 1012 2 15 0 1 0 54751870 137330688 6328 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159836005329808187 0 0 17 1 0 0 0
/proc/12484/statm: 33528 6328 1143 1 0 5165 0
[pid=12495] ppid=12484 vsize=2328 CPUtime=1.18
/proc/12495/stat : 12495 (clasp-1.3.3-x86) R 12484 12495 12495 0 -1 4202496 640 0 0 0 118 0 0 0 22 0 1 0 54753020 2383872 326 1992294400 134512640 136080129 4286908688 18446744073709551615 134849599 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12495/statm: 582 326 175 383 0 197 0
Current children cumulated CPU time (s) 13.26
Current children cumulated vsize (KiB) 136440
[startup+25.5016 s]
/proc/loadavg: 0.58 0.51 0.71 2/107 12495
/proc/meminfo: memFree=1727628/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=12.87
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 11631 2691 0 0 220 53 1012 2 15 0 1 0 54751870 137330688 6328 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159836005329808187 0 0 17 1 0 0 0
/proc/12484/statm: 33528 6328 1143 1 0 5165 0
[pid=12495] ppid=12484 vsize=3128 CPUtime=13.89
/proc/12495/stat : 12495 (clasp-1.3.3-x86) R 12484 12495 12495 0 -1 4202496 853 0 0 0 1389 0 0 0 25 0 1 0 54753020 3203072 539 1992294400 134512640 136080129 4286908688 18446744073709551615 134849710 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12495/statm: 782 539 175 383 0 397 0
Current children cumulated CPU time (s) 26.76
Current children cumulated vsize (KiB) 137240
[startup+51.1015 s]
/proc/loadavg: 0.72 0.55 0.71 3/107 12495
/proc/meminfo: memFree=1726884/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=14.44
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 11718 2691 0 0 359 71 1012 2 15 0 1 0 54751870 137330688 6328 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159836005329808187 0 0 17 1 0 0 0
/proc/12484/statm: 33528 6328 1143 1 0 5165 0
[pid=12495] ppid=12484 vsize=4076 CPUtime=39.34
/proc/12495/stat : 12495 (clasp-1.3.3-x86) R 12484 12495 12495 0 -1 4202496 1071 0 0 0 3933 1 0 0 25 0 1 0 54753020 4173824 757 1992294400 134512640 136080129 4286908688 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12495/statm: 1019 757 175 383 0 634 0
Current children cumulated CPU time (s) 53.78
Current children cumulated vsize (KiB) 138188
[startup+102.312 s]
/proc/loadavg: 0.88 0.62 0.73 2/107 12500
/proc/meminfo: memFree=1684228/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=68.39
/proc/12484/stat : 12484 (python) R 12482 12484 12320 0 -1 4202496 12969 4739 0 0 667 115 6052 5 15 0 1 0 54751870 137330688 6332 1992294400 4194304 4196484 140735751518704 18446744073709551615 47536154873228 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12484/statm: 33528 6332 1143 1 0 5165 0
[pid=12498] ppid=12484 vsize=47500 CPUtime=40
/proc/12498/stat : 12498 (wbo1.4a) R 12484 12498 12498 0 -1 4202496 11748 0 0 0 3943 57 0 0 25 0 1 0 54758098 48640000 11413 1992294400 134512640 135751879 4290639280 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12498/statm: 11875 11413 139 303 0 11570 0
Current children cumulated CPU time (s) 108.39
Current children cumulated vsize (KiB) 181612
[startup+162.301 s]
/proc/loadavg: 1.11 0.72 0.75 2/107 12505
/proc/meminfo: memFree=1726636/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=122.91
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 14295 19823 0 0 1000 162 11053 76 15 0 1 0 54751870 137330688 6333 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159688670771686203 0 0 17 0 0 0 0
/proc/12484/statm: 33528 6333 1143 1 0 5165 0
[pid=12503] ppid=12484 vsize=4196 CPUtime=49.23
/proc/12503/stat : 12503 (clasp-1.3.3-x86) R 12484 12503 12503 0 -1 4202496 1124 0 0 0 4923 0 0 0 25 0 1 0 54763174 4296704 805 1992294400 134512640 136080129 4290846288 18446744073709551615 134597792 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12503/statm: 1049 805 175 383 0 664 0
Current children cumulated CPU time (s) 172.14
Current children cumulated vsize (KiB) 138308
[startup+222.301 s]
/proc/loadavg: 1.10 0.78 0.77 2/107 12508
/proc/meminfo: memFree=1716716/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=227.06
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 15537 22099 0 0 1362 212 21054 78 15 0 1 0 54751870 137330688 6334 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159688670771686203 0 0 17 0 0 0 0
/proc/12484/statm: 33528 6334 1143 1 0 5165 0
[pid=12508] ppid=12484 vsize=15128 CPUtime=8.79
/proc/12508/stat : 12508 (wbo1.4a) R 12484 12508 12508 0 -1 4202496 3666 0 0 0 865 14 0 0 25 0 1 0 54773214 15491072 3329 1992294400 134512640 135751879 4287199296 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/12508/statm: 3782 3329 139 303 0 3477 0
Current children cumulated CPU time (s) 235.85
Current children cumulated vsize (KiB) 149240
[startup+282.302 s]
/proc/loadavg: 1.08 0.83 0.79 2/107 12510
/proc/meminfo: memFree=1660296/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=230.89
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 15612 22099 0 0 1694 263 21054 78 15 0 1 0 54751870 137330688 6334 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159688670771686203 0 0 17 0 0 0 0
/proc/12484/statm: 33528 6334 1143 1 0 5165 0
[pid=12508] ppid=12484 vsize=72160 CPUtime=68.4
/proc/12508/stat : 12508 (wbo1.4a) R 12484 12508 12508 0 -1 4202496 17898 0 0 0 6744 96 0 0 25 0 1 0 54773214 73891840 17561 1992294400 134512640 135751879 4287199296 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12508/statm: 18040 17561 139 303 0 17735 0
Current children cumulated CPU time (s) 299.29
Current children cumulated vsize (KiB) 206272
[startup+342.301 s]
/proc/loadavg: 1.10 0.89 0.81 2/107 12515
/proc/meminfo: memFree=1696504/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=336.87
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 16903 47562 0 0 2056 316 31098 217 15 0 1 0 54751870 137330688 6336 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159688670771686203 0 0 17 0 0 0 0
/proc/12484/statm: 33528 6336 1143 1 0 5165 0
[pid=12515] ppid=12484 vsize=35360 CPUtime=26.34
/proc/12515/stat : 12515 (wbo1.4b) R 12484 12515 12515 0 -1 4202496 8739 0 0 0 2592 42 0 0 25 0 1 0 54783464 36208640 8402 1992294400 134512640 135751879 4294286080 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12515/statm: 8840 8402 144 303 0 8535 0
Current children cumulated CPU time (s) 363.21
Current children cumulated vsize (KiB) 169472
[startup+402.302 s]
/proc/loadavg: 1.08 0.92 0.82 2/119 12532
/proc/meminfo: memFree=1654860/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=391.97
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 18214 63566 0 0 2391 365 36147 294 15 0 1 0 54751870 137330688 6338 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159836005329808187 0 0 17 1 0 0 0
/proc/12484/statm: 33528 6338 1143 1 0 5165 0
[pid=12518] ppid=12484 vsize=1477984 CPUtime=35.57
/proc/12518/stat : 12518 (java) S 12484 12518 12518 0 -1 4202496 18673 0 94 0 3542 15 0 0 18 0 13 0 54788595 1513455616 17292 1992294400 134512640 134550932 4287160464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 5
/proc/12518/statm: 369496 17292 1426 10 0 366798 0
[pid=12518/tid=12519] ppid=12484 vsize=1477984 CPUtime=34.27
/proc/12518/task/12519/stat : 12519 (java) R 12484 12518 12518 0 -1 4202560 15366 0 60 0 3415 12 0 0 25 0 13 0 54788604 1513455616 17292 1992294400 134512640 134550932 4287160464 18446744073709551615 4108965439 0 4 0 16800975 0 0 0 -1 0 0 0 19
[pid=12518/tid=12520] ppid=12484 vsize=1477984 CPUtime=0
/proc/12518/task/12520/stat : 12520 (java) S 12484 12518 12518 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 54788612 1513455616 17292 1992294400 134512640 134550932 4287160464 18446744073709551615 4294960144 0 4 0 16800975 18446604437823386560 0 0 -1 0 0 0 0
[pid=12518/tid=12521] ppid=12484 vsize=1477984 CPUtime=0
/proc/12518/task/12521/stat : 12521 (java) S 12484 12518 12518 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 54788612 1513455616 17292 1992294400 134512640 134550932 4287160464 18446744073709551615 4294960144 0 4 0 16800975 18446604437823386560 0 0 -1 0 0 0 0
[pid=12518/tid=12522] ppid=12484 vsize=1477984 CPUtime=0
################
# More data... #
################
/proc/12542/statm: 4747 2296 192 642 0 4103 0
Current children cumulated CPU time (s) 618.21
Current children cumulated vsize (KiB) 153100
[startup+642.301 s]
/proc/loadavg: 1.02 0.97 0.86 2/107 12553
/proc/meminfo: memFree=1713856/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=680.49
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 24580 125643 0 94 3777 576 63216 480 15 0 1 0 54751870 137330688 6342 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159688670771686203 0 0 17 0 0 0 0
/proc/12484/statm: 33528 6342 1143 1 0 5165 0
[pid=12553] ppid=12484 vsize=6148 CPUtime=1.77
/proc/12553/stat : 12553 (wbo1.4a) R 12484 12553 12553 0 -1 4202496 1424 0 0 0 174 3 0 0 25 0 1 0 54815923 6295552 1088 1992294400 134512640 135751879 4289010496 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12553/statm: 1537 1088 139 303 0 1232 0
Current children cumulated CPU time (s) 682.26
Current children cumulated vsize (KiB) 140260
[startup+702.301 s]
/proc/loadavg: 1.01 0.97 0.86 2/107 12570
/proc/meminfo: memFree=1709144/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=736.28
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 30787 137734 0 94 4159 631 68333 505 16 0 1 0 54751870 137330688 6343 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159688670771686203 0 0 17 0 0 0 0
/proc/12484/statm: 33528 6343 1143 1 0 5165 0
[pid=12570] ppid=12484 vsize=18988 CPUtime=10.2
/proc/12570/stat : 12570 (bsolo_pb10) R 12484 12570 12570 0 -1 4202496 2635 0 0 0 1018 2 0 0 25 0 1 0 54821079 19443712 2296 1992294400 134512640 137138936 4291080624 18446744073709551615 134542528 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/12570/statm: 4747 2296 192 642 0 4103 0
Current children cumulated CPU time (s) 746.48
Current children cumulated vsize (KiB) 153100
[startup+762.31 s]
/proc/loadavg: 1.04 0.99 0.87 2/119 12590
/proc/meminfo: memFree=1645128/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=760.82
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 33340 143016 0 94 4513 680 70379 510 15 0 1 0 54751870 137330688 6345 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159836005329808187 0 0 17 1 0 0 0
/proc/12484/statm: 33528 6345 1143 1 0 5165 0
[pid=12576] ppid=12484 vsize=1477120 CPUtime=50.29
/proc/12576/stat : 12576 (java) S 12484 12576 12576 0 -1 4202496 21280 0 1 0 5013 16 0 0 17 0 13 0 54823136 1512570880 19445 1992294400 134512640 134550932 4292360928 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12576/statm: 369280 19445 1426 10 0 366582 0
[pid=12576/tid=12577] ppid=12484 vsize=1477120 CPUtime=48.99
/proc/12576/task/12577/stat : 12577 (java) R 12484 12576 12576 0 -1 4202560 17577 0 1 0 4885 14 0 0 25 0 13 0 54823138 1512570880 19445 1992294400 134512640 134550932 4292360928 18446744073709551615 4110074282 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12576/tid=12578] ppid=12484 vsize=1477120 CPUtime=0
/proc/12576/task/12578/stat : 12578 (java) S 12484 12576 12576 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 13 0 54823139 1512570880 19445 1992294400 134512640 134550932 4292360928 18446744073709551615 4294960144 0 4 0 16800975 18446604437862765824 0 0 -1 1 0 0 0
[pid=12576/tid=12579] ppid=12484 vsize=1477120 CPUtime=0
/proc/12576/task/12579/stat : 12579 (java) S 12484 12576 12576 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 13 0 54823139 1512570880 19445 1992294400 134512640 134550932 4292360928 18446744073709551615 4294960144 0 4 0 16800975 18446604437862765824 0 0 -1 1 0 0 0
[pid=12576/tid=12580] ppid=12484 vsize=1477120 CPUtime=0
/proc/12576/task/12580/stat : 12580 (java) S 12484 12576 12576 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 13 0 54823141 1512570880 19445 1992294400 134512640 134550932 4292360928 18446744073709551615 4294960144 0 0 0 16800975 18446604437862765824 0 0 -1 1 0 0 0
[pid=12576/tid=12581] ppid=12484 vsize=1477120 CPUtime=0
/proc/12576/task/12581/stat : 12581 (java) S 12484 12576 12576 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 13 0 54823142 1512570880 19445 1992294400 134512640 134550932 4292360928 18446744073709551615 4294960144 0 4 0 16800975 18446604437862765824 0 0 -1 1 0 0 0
[pid=12576/tid=12582] ppid=12484 vsize=1477120 CPUtime=0
/proc/12576/task/12582/stat : 12582 (java) S 12484 12576 12576 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 13 0 54823142 1512570880 19445 1992294400 134512640 134550932 4292360928 18446744073709551615 4294960144 0 4 0 16800975 18446604437862765824 0 0 -1 1 0 0 0
[pid=12576/tid=12583] ppid=12484 vsize=1477120 CPUtime=0
/proc/12576/task/12583/stat : 12583 (java) S 12484 12576 12576 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54823146 1512570880 19445 1992294400 134512640 134550932 4292360928 18446744073709551615 4294960144 0 4 0 16800975 18446604437862765824 0 0 -1 0 0 0 0
[pid=12576/tid=12584] ppid=12484 vsize=1477120 CPUtime=0.74
/proc/12576/task/12584/stat : 12584 (java) S 12484 12576 12576 0 -1 4202560 1218 0 0 0 74 0 0 0 15 0 13 0 54823146 1512570880 19445 1992294400 134512640 134550932 4292360928 18446744073709551615 4294960144 0 4 0 16800975 18446604437862765824 0 0 -1 1 0 0 0
[pid=12576/tid=12585] ppid=12484 vsize=1477120 CPUtime=0.53
/proc/12576/task/12585/stat : 12585 (java) S 12484 12576 12576 0 -1 4202560 1113 0 0 0 53 0 0 0 16 0 13 0 54823146 1512570880 19445 1992294400 134512640 134550932 4292360928 18446744073709551615 4294960144 0 4 0 16800975 18446604437862765824 0 0 -1 1 0 0 0
[pid=12576/tid=12586] ppid=12484 vsize=1477120 CPUtime=0
/proc/12576/task/12586/stat : 12586 (java) S 12484 12576 12576 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 54823146 1512570880 19445 1992294400 134512640 134550932 4292360928 18446744073709551615 4294960144 0 4 0 16800975 18446604437862765824 0 0 -1 0 0 0 0
[pid=12576/tid=12587] ppid=12484 vsize=1477120 CPUtime=0
/proc/12576/task/12587/stat : 12587 (java) S 12484 12576 12576 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 13 0 54823146 1512570880 19445 1992294400 134512640 134550932 4292360928 18446744073709551615 4294960144 0 4 0 16800975 18446604437862765824 0 0 -1 0 0 0 0
[pid=12576/tid=12588] ppid=12484 vsize=1477120 CPUtime=0
/proc/12576/task/12588/stat : 12588 (java) S 12484 12576 12576 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 54823208 1512570880 19445 1992294400 134512640 134550932 4292360928 18446744073709551615 4294960144 0 4 0 16800975 18446604437862765824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 811.11
Current children cumulated vsize (KiB) 1611232
[startup+822.302 s]
/proc/loadavg: 1.07 1.01 0.88 2/107 12608
/proc/meminfo: memFree=1716028/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=866.89
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 40748 177777 0 95 4903 741 80488 557 15 0 1 0 54751870 137330688 6347 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159836005329808187 0 0 17 1 0 0 0
/proc/12484/statm: 33528 6347 1143 1 0 5165 0
[pid=12608] ppid=12484 vsize=2856 CPUtime=8.18
/proc/12608/stat : 12608 (clasp-1.3.3-x86) R 12484 12608 12608 0 -1 4202496 801 0 0 0 818 0 0 0 25 0 1 0 54833276 2924544 475 1992294400 134512640 136080129 4293489360 18446744073709551615 134849700 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12608/statm: 714 475 175 383 0 329 0
Current children cumulated CPU time (s) 875.07
Current children cumulated vsize (KiB) 136968
[startup+882.301 s]
/proc/loadavg: 1.02 1.00 0.89 2/107 12610
/proc/meminfo: memFree=1714168/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=870.5
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 40836 177777 0 95 5217 788 80488 557 15 0 1 0 54751870 137330688 6347 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159836005329808187 0 0 17 1 0 0 0
/proc/12484/statm: 33528 6347 1143 1 0 5165 0
[pid=12608] ppid=12484 vsize=4608 CPUtime=67.83
/proc/12608/stat : 12608 (clasp-1.3.3-x86) R 12484 12608 12608 0 -1 4202496 1223 0 0 0 6783 0 0 0 25 0 1 0 54833276 4718592 897 1992294400 134512640 136080129 4293489360 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12608/statm: 1152 897 175 383 0 767 0
Current children cumulated CPU time (s) 938.33
Current children cumulated vsize (KiB) 138720
Solver just ended. Dumping a history of the last processes samples
[startup+895.901 s]
/proc/loadavg: 1.02 1.00 0.89 2/107 12610
/proc/meminfo: memFree=1714044/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=871.34
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 40841 177777 0 95 5291 798 80488 557 15 0 1 0 54751870 137330688 6347 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159836005329808187 0 0 17 1 0 0 0
/proc/12484/statm: 33528 6347 1143 1 0 5165 0
[pid=12608] ppid=12484 vsize=4768 CPUtime=81.34
/proc/12608/stat : 12608 (clasp-1.3.3-x86) R 12484 12608 12608 0 -1 4202496 1256 0 0 0 8134 0 0 0 25 0 1 0 54833276 4882432 930 1992294400 134512640 136080129 4293489360 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12608/statm: 1192 930 175 383 0 807 0
Current children cumulated CPU time (s) 952.68
Current children cumulated vsize (KiB) 138880
[startup+902.302 s]
/proc/loadavg: 1.02 1.00 0.89 2/107 12612
/proc/meminfo: memFree=1714044/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=871.72
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 40843 177777 0 95 5325 802 80488 557 15 0 1 0 54751870 137330688 6347 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159836005329808187 0 0 17 1 0 0 0
/proc/12484/statm: 33528 6347 1143 1 0 5165 0
[pid=12608] ppid=12484 vsize=4916 CPUtime=87.7
/proc/12608/stat : 12608 (clasp-1.3.3-x86) R 12484 12608 12608 0 -1 4202496 1290 0 0 0 8770 0 0 0 25 0 1 0 54833276 5033984 964 1992294400 134512640 136080129 4293489360 18446744073709551615 134588560 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12608/statm: 1229 964 175 383 0 844 0
Current children cumulated CPU time (s) 959.42
Current children cumulated vsize (KiB) 139028
[startup+905.501 s]
/proc/loadavg: 1.01 1.00 0.89 2/107 12612
/proc/meminfo: memFree=1713920/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=871.92
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 40845 177777 0 95 5342 805 80488 557 15 0 1 0 54751870 137330688 6347 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159836005329808187 0 0 17 1 0 0 0
/proc/12484/statm: 33528 6347 1143 1 0 5165 0
[pid=12608] ppid=12484 vsize=4916 CPUtime=90.88
/proc/12608/stat : 12608 (clasp-1.3.3-x86) R 12484 12608 12608 0 -1 4202496 1290 0 0 0 9088 0 0 0 25 0 1 0 54833276 5033984 964 1992294400 134512640 136080129 4293489360 18446744073709551615 134808135 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12608/statm: 1229 964 175 383 0 844 0
Current children cumulated CPU time (s) 962.8
Current children cumulated vsize (KiB) 139028
[startup+908.701 s]
/proc/loadavg: 1.01 1.00 0.89 2/107 12612
/proc/meminfo: memFree=1713920/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=872.11
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 40846 177777 0 95 5358 808 80488 557 15 0 1 0 54751870 137330688 6347 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159836005329808187 0 0 17 1 0 0 0
/proc/12484/statm: 33528 6347 1143 1 0 5165 0
[pid=12608] ppid=12484 vsize=4916 CPUtime=94.06
/proc/12608/stat : 12608 (clasp-1.3.3-x86) R 12484 12608 12608 0 -1 4202496 1290 0 0 0 9406 0 0 0 25 0 1 0 54833276 5033984 964 1992294400 134512640 136080129 4293489360 18446744073709551615 134849571 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12608/statm: 1229 964 175 383 0 844 0
Current children cumulated CPU time (s) 966.17
Current children cumulated vsize (KiB) 139028
[startup+909.501 s]
/proc/loadavg: 1.01 1.00 0.89 2/107 12612
/proc/meminfo: memFree=1713920/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=872.16
/proc/12484/stat : 12484 (python) R 12482 12484 12320 0 -1 4202496 40847 177777 0 95 5362 809 80488 557 15 0 1 0 54751870 137330688 6347 1992294400 4194304 4196484 140735751518704 18446744073709551615 47536155242396 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12484/statm: 33528 6347 1143 1 0 5165 0
[pid=12608] ppid=12484 vsize=4916 CPUtime=94.85
/proc/12608/stat : 12608 (clasp-1.3.3-x86) R 12484 12608 12608 0 -1 4202496 1290 0 0 0 9485 0 0 0 25 0 1 0 54833276 5033984 964 1992294400 134512640 136080129 4293489360 18446744073709551615 134849599 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12608/statm: 1229 964 175 383 0 844 0
Current children cumulated CPU time (s) 967.01
Current children cumulated vsize (KiB) 139028
[startup+910.302 s]
/proc/loadavg: 1.09 1.02 0.90 2/107 12612
/proc/meminfo: memFree=1713920/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134112 CPUtime=872.21
/proc/12484/stat : 12484 (python) S 12482 12484 12320 0 -1 4202496 40847 177777 0 95 5367 809 80488 557 15 0 1 0 54751870 137330688 6347 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407706127 0 0 16781312 2 159836005329808187 0 0 17 1 0 0 0
/proc/12484/statm: 33528 6347 1143 1 0 5165 0
[pid=12608] ppid=12484 vsize=4916 CPUtime=95.65
/proc/12608/stat : 12608 (clasp-1.3.3-x86) R 12484 12608 12608 0 -1 4202496 1295 0 0 0 9565 0 0 0 25 0 1 0 54833276 5033984 969 1992294400 134512640 136080129 4293489360 18446744073709551615 134588783 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12608/statm: 1229 969 175 383 0 844 0
Current children cumulated CPU time (s) 967.86
Current children cumulated vsize (KiB) 139028
[startup+910.702 s]
/proc/loadavg: 1.09 1.02 0.90 2/106 12614
/proc/meminfo: memFree=1716532/2059040 swapFree=4140380/4192956
[pid=12484] ppid=12482 vsize=134108 CPUtime=968.26
/proc/12484/stat : 12484 (python) R 12482 12484 12320 0 -1 4202496 45560 180076 0 95 5383 812 90072 559 17 0 1 0 54751870 137326592 6348 1992294400 4194304 4196484 140735751518704 18446744073709551615 258407342160 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/12484/statm: 33527 6348 1143 1 0 5164 0
Current children cumulated CPU time (s) 968.26
Current children cumulated vsize (KiB) 134108
Child status: 20
Real time (s): 910.719
CPU time (s): 968.298
CPU user time (s): 954.571
CPU system time (s): 13.7269
CPU usage (%): 106.322
Max. virtual memory (cumulated for all children) (KiB): 1613060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 954.571
system time used= 13.7269
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225825
page faults= 95
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7620
involuntary context switches= 16325
runsolver used 1.67474 second user time and 4.39033 second system time
The end