Trace number 3741055

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB10: borg-pb 10.05.30? (TO) 1800.04 1709.32

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-123.opb
MD5SUMe6dc64843ebe4c9cb8812bfa08aa0858
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36611
Total number of constraints853935
Number of constraints which are clauses766797
Number of constraints which are cardinality constraints (but not clauses)2865
Number of constraints which are nor clauses,nor cardinality constraints84273
Minimum length of a constraint1
Maximum length of a constraint756
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 757
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.37/0.67	c DEBUG: probabilities of action success (DCM model):
0.37/0.67	c        pb/competition_2010/bsolo_pb10-l1   : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
0.37/0.67	c        pb/competition_2010/bsolo_pb10-l2   : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
0.37/0.67	c        pb/competition_2010/bsolo_pb10-l3   : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
0.37/0.67	c        pb/competition_2010/wbo1.4a         : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
0.37/0.67	c        pb/competition_2010/wbo1.4b         : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
0.37/0.67	c        pb/other/clasp-1.3.3                : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
0.37/0.67	c        pb/other/sat4j-pb-v20090829         : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
0.37/0.67	c        pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
0.37/0.68	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=512848988', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
11.35/11.13	c DEBUG: probabilities of action success (DCM model):
11.35/11.13	c        pb/competition_2010/bsolo_pb10-l1   : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
11.35/11.13	c        pb/competition_2010/bsolo_pb10-l2   : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
11.35/11.13	c        pb/competition_2010/bsolo_pb10-l3   : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
11.35/11.13	c        pb/competition_2010/wbo1.4a         : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
11.35/11.13	c        pb/competition_2010/wbo1.4b         : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
11.35/11.13	c        pb/other/clasp-1.3.3                : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
11.35/11.13	c        pb/other/sat4j-pb-v20090829         : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
11.35/11.13	c        pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
11.35/11.13	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2095542439', u'HOME/instance-3741055-1338723034.opb'] for 0:00:50
64.01/61.49	c DEBUG: probabilities of action success (DCM model):
64.01/61.49	c        pb/competition_2010/bsolo_pb10-l1   : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
64.01/61.49	c        pb/competition_2010/bsolo_pb10-l2   : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
64.01/61.49	c        pb/competition_2010/bsolo_pb10-l3   : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
64.01/61.49	c        pb/competition_2010/wbo1.4a         : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
64.01/61.49	c        pb/competition_2010/wbo1.4b         : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
64.01/61.49	c        pb/other/clasp-1.3.3                : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
64.01/61.49	c        pb/other/sat4j-pb-v20090829         : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
64.01/61.49	c        pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
64.01/61.49	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3741055-1338723034.opb'] for 0:00:50
119.19/113.93	c DEBUG: probabilities of action success (DCM model):
119.19/113.93	c        pb/competition_2010/bsolo_pb10-l1   : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
119.19/113.93	c        pb/competition_2010/bsolo_pb10-l2   : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
119.19/113.93	c        pb/competition_2010/bsolo_pb10-l3   : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
119.19/113.93	c        pb/competition_2010/wbo1.4a         : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
119.19/113.93	c        pb/competition_2010/wbo1.4b         : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
119.19/113.93	c        pb/other/clasp-1.3.3                : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
119.19/113.93	c        pb/other/sat4j-pb-v20090829         : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
119.19/113.93	c        pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
119.19/113.93	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1484307076', u'HOME/instance-3741055-1338723034.opb'] for 0:01:40
224.04/214.17	c DEBUG: probabilities of action success (DCM model):
224.04/214.17	c        pb/competition_2010/bsolo_pb10-l1   : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
224.04/214.17	c        pb/competition_2010/bsolo_pb10-l2   : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
224.04/214.17	c        pb/competition_2010/bsolo_pb10-l3   : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
224.04/214.17	c        pb/competition_2010/wbo1.4a         : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
224.04/214.17	c        pb/competition_2010/wbo1.4b         : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
224.04/214.17	c        pb/other/clasp-1.3.3                : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
224.04/214.17	c        pb/other/sat4j-pb-v20090829         : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
224.04/214.17	c        pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
224.04/214.17	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3741055-1338723034.opb'] for 0:01:40
333.22/318.27	c DEBUG: probabilities of action success (DCM model):
333.22/318.27	c        pb/competition_2010/bsolo_pb10-l1   : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
333.22/318.27	c        pb/competition_2010/bsolo_pb10-l2   : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
333.22/318.27	c        pb/competition_2010/bsolo_pb10-l3   : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
333.22/318.27	c        pb/competition_2010/wbo1.4a         : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
333.22/318.27	c        pb/competition_2010/wbo1.4b         : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
333.22/318.27	c        pb/other/clasp-1.3.3                : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
333.22/318.27	c        pb/other/sat4j-pb-v20090829         : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
333.22/318.27	c        pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
333.22/318.27	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3741055-1338723034.opb'] for 0:00:50
386.16/368.79	c DEBUG: probabilities of action success (DCM model):
386.16/368.79	c        pb/competition_2010/bsolo_pb10-l1   : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
386.16/368.79	c        pb/competition_2010/bsolo_pb10-l2   : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
386.16/368.79	c        pb/competition_2010/bsolo_pb10-l3   : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
386.16/368.79	c        pb/competition_2010/wbo1.4a         : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
386.16/368.79	c        pb/competition_2010/wbo1.4b         : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
386.16/368.79	c        pb/other/clasp-1.3.3                : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
386.16/368.79	c        pb/other/sat4j-pb-v20090829         : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
386.16/368.79	c        pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
386.16/368.79	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-3741055-1338723034.opb'] for 0:01:40
491.14/463.89	c DEBUG: probabilities of action success (DCM model):
491.14/463.89	c        pb/competition_2010/bsolo_pb10-l1   : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
491.14/463.89	c        pb/competition_2010/bsolo_pb10-l2   : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
491.14/463.89	c        pb/competition_2010/bsolo_pb10-l3   : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
491.14/463.89	c        pb/competition_2010/wbo1.4a         : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
491.14/463.89	c        pb/competition_2010/wbo1.4b         : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
491.14/463.89	c        pb/other/clasp-1.3.3                : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
491.14/463.89	c        pb/other/sat4j-pb-v20090829         : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
491.14/463.89	c        pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
491.14/463.89	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3741055-1338723034.opb'] for 0:01:40
597.15/564.70	c DEBUG: probabilities of action success (DCM model):
597.15/564.70	c        pb/competition_2010/bsolo_pb10-l1   : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
597.15/564.70	c        pb/competition_2010/bsolo_pb10-l2   : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
597.15/564.70	c        pb/competition_2010/bsolo_pb10-l3   : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
597.15/564.70	c        pb/competition_2010/wbo1.4a         : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
597.15/564.70	c        pb/competition_2010/wbo1.4b         : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
597.15/564.70	c        pb/other/clasp-1.3.3                : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
597.15/564.70	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
597.15/564.70	c        pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
597.15/564.70	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3741055-1338723034.opb'] for 0:00:50
649.99/615.25	c DEBUG: probabilities of action success (DCM model):
649.99/615.25	c        pb/competition_2010/bsolo_pb10-l1   : 0.0056 0.0070 0.0350 0.0875 0.1379 0.1679 0.2779
649.99/615.25	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0082 0.0206 0.0285 0.1112
649.99/615.25	c        pb/competition_2010/bsolo_pb10-l3   : 0.0271 0.0006 0.0648 0.0663 0.0694 0.0943 0.1707
649.99/615.25	c        pb/competition_2010/wbo1.4a         : 0.0418 0.0058 0.0048 0.2383 0.3810 0.4683 0.7449
649.99/615.25	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0007 0.0234 0.2842 0.4328 0.5290 0.7099
649.99/615.25	c        pb/other/clasp-1.3.3                : 0.0466 0.0429 0.0715 0.5647 0.6728 0.7172 0.8274
649.99/615.25	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0393 0.0011 0.1832 0.2460 0.2933 0.4648
649.99/615.25	c        pb/other/sat4j-pb-v20090829-cutting : 0.0049 0.0225 0.0232 0.0376 0.0774 0.0936 0.2247
649.99/615.25	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=497944012', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
661.03/625.71	c DEBUG: probabilities of action success (DCM model):
661.03/625.71	c        pb/competition_2010/bsolo_pb10-l1   : 0.0048 0.0062 0.0356 0.0901 0.1429 0.1729 0.2823
661.03/625.71	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0085 0.0216 0.0299 0.1142
661.03/625.71	c        pb/competition_2010/bsolo_pb10-l3   : 0.0284 0.0006 0.0660 0.0675 0.0708 0.0964 0.1746
661.03/625.71	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0061 0.0050 0.2416 0.3851 0.4718 0.7463
661.03/625.71	c        pb/competition_2010/wbo1.4b         : 0.0313 0.0007 0.0242 0.2884 0.4409 0.5368 0.7143
661.03/625.71	c        pb/other/clasp-1.3.3                : 0.0432 0.0422 0.0717 0.5642 0.6732 0.7178 0.8280
661.03/625.71	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0402 0.0011 0.1889 0.2523 0.3000 0.4690
661.03/625.71	c        pb/other/sat4j-pb-v20090829-cutting : 0.0041 0.0196 0.0203 0.0354 0.0744 0.0909 0.2215
661.03/625.71	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=705458062', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
671.90/636.17	c DEBUG: probabilities of action success (DCM model):
671.90/636.17	c        pb/competition_2010/bsolo_pb10-l1   : 0.0043 0.0058 0.0365 0.0929 0.1481 0.1780 0.2865
671.90/636.17	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0089 0.0225 0.0312 0.1171
671.90/636.17	c        pb/competition_2010/bsolo_pb10-l3   : 0.0297 0.0007 0.0671 0.0686 0.0720 0.0984 0.1784
671.90/636.17	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0064 0.0052 0.2447 0.3890 0.4751 0.7470
671.90/636.17	c        pb/competition_2010/wbo1.4b         : 0.0310 0.0007 0.0249 0.2925 0.4487 0.5442 0.7181
671.90/636.17	c        pb/other/clasp-1.3.3                : 0.0408 0.0415 0.0717 0.5640 0.6738 0.7185 0.8288
671.90/636.17	c        pb/other/sat4j-pb-v20090829         : 0.0081 0.0414 0.0012 0.1953 0.2599 0.3078 0.4741
671.90/636.17	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0182 0.0189 0.0346 0.0729 0.0895 0.2196
671.90/636.17	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
683.18/646.74	c DEBUG: probabilities of action success (DCM model):
683.18/646.74	c        pb/competition_2010/bsolo_pb10-l1   : 0.0042 0.0051 0.0367 0.0952 0.1515 0.1809 0.2919
683.18/646.74	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0091 0.0232 0.0322 0.1217
683.18/646.74	c        pb/competition_2010/bsolo_pb10-l3   : 0.0308 0.0006 0.0658 0.0668 0.0704 0.0979 0.1806
683.18/646.74	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0062 0.0054 0.2431 0.3935 0.4830 0.7552
683.18/646.74	c        pb/competition_2010/wbo1.4b         : 0.0322 0.0006 0.0259 0.2941 0.4539 0.5495 0.7272
683.18/646.74	c        pb/other/clasp-1.3.3                : 0.0407 0.0412 0.0702 0.5773 0.6906 0.7332 0.8386
683.18/646.74	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0415 0.0012 0.1996 0.2666 0.3166 0.4896
683.18/646.74	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0187 0.0192 0.0349 0.0747 0.0916 0.2271
683.18/646.74	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1407625547', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
694.21/657.20	c DEBUG: probabilities of action success (DCM model):
694.21/657.20	c        pb/competition_2010/bsolo_pb10-l1   : 0.0039 0.0049 0.0378 0.0982 0.1569 0.1862 0.2962
694.21/657.20	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0095 0.0242 0.0336 0.1245
694.21/657.20	c        pb/competition_2010/bsolo_pb10-l3   : 0.0321 0.0007 0.0669 0.0680 0.0717 0.1000 0.1846
694.21/657.20	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0064 0.0056 0.2461 0.3974 0.4861 0.7556
694.21/657.20	c        pb/competition_2010/wbo1.4b         : 0.0321 0.0006 0.0266 0.2983 0.4618 0.5570 0.7307
694.21/657.20	c        pb/other/clasp-1.3.3                : 0.0387 0.0405 0.0702 0.5772 0.6912 0.7339 0.8394
694.21/657.20	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0428 0.0012 0.2064 0.2748 0.3250 0.4951
694.21/657.20	c        pb/other/sat4j-pb-v20090829-cutting : 0.0036 0.0179 0.0184 0.0347 0.0737 0.0907 0.2256
694.21/657.20	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1864165847', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
705.10/667.65	c DEBUG: probabilities of action success (DCM model):
705.10/667.65	c        pb/competition_2010/bsolo_pb10-l1   : 0.0037 0.0048 0.0389 0.1012 0.1623 0.1915 0.3004
705.10/667.65	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0099 0.0251 0.0349 0.1274
705.10/667.65	c        pb/competition_2010/bsolo_pb10-l3   : 0.0334 0.0007 0.0680 0.0691 0.0729 0.1020 0.1884
705.10/667.65	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0067 0.0057 0.2490 0.4011 0.4892 0.7558
705.10/667.65	c        pb/competition_2010/wbo1.4b         : 0.0320 0.0006 0.0273 0.3025 0.4695 0.5642 0.7341
705.10/667.65	c        pb/other/clasp-1.3.3                : 0.0369 0.0398 0.0702 0.5772 0.6919 0.7347 0.8403
705.10/667.65	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0442 0.0013 0.2134 0.2832 0.3336 0.5007
705.10/667.65	c        pb/other/sat4j-pb-v20090829-cutting : 0.0034 0.0174 0.0179 0.0348 0.0730 0.0901 0.2243
705.10/667.65	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=786701337', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
716.14/678.11	c DEBUG: probabilities of action success (DCM model):
716.14/678.11	c        pb/competition_2010/bsolo_pb10-l1   : 0.0036 0.0047 0.0401 0.1043 0.1677 0.1967 0.3047
716.14/678.11	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0103 0.0261 0.0362 0.1301
716.14/678.11	c        pb/competition_2010/bsolo_pb10-l3   : 0.0347 0.0007 0.0690 0.0701 0.0742 0.1041 0.1923
716.14/678.11	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0069 0.0059 0.2519 0.4048 0.4922 0.7560
716.14/678.11	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0006 0.0280 0.3065 0.4771 0.5714 0.7375
716.14/678.11	c        pb/other/clasp-1.3.3                : 0.0352 0.0390 0.0701 0.5772 0.6926 0.7356 0.8412
716.14/678.11	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0456 0.0013 0.2203 0.2917 0.3422 0.5065
716.14/678.11	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0170 0.0176 0.0351 0.0725 0.0897 0.2232
716.14/678.11	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=178243593', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
727.04/688.57	c DEBUG: probabilities of action success (DCM model):
727.04/688.57	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0414 0.1073 0.1730 0.2020 0.3089
727.04/688.57	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0106 0.0270 0.0376 0.1328
727.04/688.57	c        pb/competition_2010/bsolo_pb10-l3   : 0.0359 0.0007 0.0700 0.0712 0.0753 0.1061 0.1960
727.04/688.57	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0071 0.0061 0.2547 0.4085 0.4952 0.7561
727.04/688.57	c        pb/competition_2010/wbo1.4b         : 0.0318 0.0006 0.0287 0.3105 0.4845 0.5783 0.7407
727.04/688.57	c        pb/other/clasp-1.3.3                : 0.0337 0.0383 0.0700 0.5774 0.6935 0.7365 0.8422
727.04/688.57	c        pb/other/sat4j-pb-v20090829         : 0.0085 0.0471 0.0014 0.2273 0.3002 0.3509 0.5123
727.04/688.57	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0168 0.0174 0.0356 0.0721 0.0895 0.2223
727.04/688.57	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
737.64/698.69	c DEBUG: probabilities of action success (DCM model):
737.64/698.69	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0335 0.0887 0.1422 0.1723 0.2831
737.64/698.69	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0110 0.0239 0.0348 0.1243
737.64/698.69	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0633 0.0644 0.0688 0.0951 0.1792
737.64/698.69	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0074 0.0063 0.2548 0.4004 0.4857 0.7517
737.64/698.69	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0260 0.3033 0.4653 0.5626 0.7311
737.64/698.69	c        pb/other/clasp-1.3.3                : 0.0349 0.0397 0.0725 0.5710 0.6821 0.7268 0.8363
737.64/698.69	c        pb/other/sat4j-pb-v20090829         : 0.0088 0.0488 0.0013 0.2079 0.2742 0.3267 0.4941
737.64/698.69	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0174 0.0180 0.0367 0.0746 0.0926 0.2304
737.64/698.69	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=643892284', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
748.66/709.15	c DEBUG: probabilities of action success (DCM model):
748.66/709.15	c        pb/competition_2010/bsolo_pb10-l1   : 0.0034 0.0046 0.0345 0.0912 0.1467 0.1766 0.2865
748.66/709.15	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0114 0.0247 0.0360 0.1268
748.66/709.15	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0641 0.0652 0.0697 0.0968 0.1824
748.66/709.15	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0077 0.0065 0.2576 0.4039 0.4884 0.7517
748.66/709.15	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0266 0.3071 0.4722 0.5692 0.7341
748.66/709.15	c        pb/other/clasp-1.3.3                : 0.0335 0.0390 0.0725 0.5709 0.6826 0.7274 0.8371
748.66/709.15	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0504 0.0014 0.2144 0.2821 0.3348 0.4995
748.66/709.15	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0173 0.0179 0.0373 0.0744 0.0926 0.2299
748.66/709.15	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-3741055-1338723034.opb'] for 0:00:50
801.78/755.92	c DEBUG: probabilities of action success (DCM model):
801.78/755.92	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0343 0.0933 0.1487 0.1802 0.2953
801.78/755.92	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0068 0.0207 0.0275 0.1219
801.78/755.92	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0674 0.0680 0.0719 0.1000 0.1870
801.78/755.92	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0066 0.0068 0.2480 0.3953 0.4814 0.7562
801.78/755.92	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0270 0.3026 0.4612 0.5528 0.7230
801.78/755.92	c        pb/other/clasp-1.3.3                : 0.0351 0.0409 0.0745 0.5713 0.6785 0.7222 0.8293
801.78/755.92	c        pb/other/sat4j-pb-v20090829         : 0.0060 0.0004 0.0011 0.1829 0.2472 0.3019 0.4737
801.78/755.92	c        pb/other/sat4j-pb-v20090829-cutting : 0.0026 0.0140 0.0144 0.0310 0.0693 0.0875 0.2214
801.78/755.92	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=13326384', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
812.64/766.38	c DEBUG: probabilities of action success (DCM model):
812.64/766.38	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0354 0.0960 0.1534 0.1848 0.2992
812.64/766.38	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0071 0.0214 0.0284 0.1243
812.64/766.38	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0683 0.0690 0.0730 0.1019 0.1906
812.64/766.38	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0068 0.0070 0.2506 0.3986 0.4840 0.7563
812.64/766.38	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0276 0.3064 0.4679 0.5590 0.7256
812.64/766.38	c        pb/other/clasp-1.3.3                : 0.0338 0.0402 0.0745 0.5713 0.6790 0.7228 0.8299
812.64/766.38	c        pb/other/sat4j-pb-v20090829         : 0.0061 0.0004 0.0012 0.1887 0.2544 0.3093 0.4786
812.64/766.38	c        pb/other/sat4j-pb-v20090829-cutting : 0.0025 0.0141 0.0144 0.0316 0.0691 0.0875 0.2207
812.64/766.38	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
823.31/776.46	c DEBUG: probabilities of action success (DCM model):
823.31/776.46	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0359 0.0961 0.1555 0.1853 0.2919
823.31/776.46	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0073 0.0222 0.0294 0.1169
823.31/776.46	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0706 0.0713 0.0755 0.1030 0.1852
823.31/776.46	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0065 0.0052 0.2439 0.3901 0.4758 0.7496
823.31/776.46	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0267 0.2960 0.4524 0.5454 0.7179
823.31/776.46	c        pb/other/clasp-1.3.3                : 0.0338 0.0415 0.0712 0.5594 0.6694 0.7147 0.8248
823.31/776.46	c        pb/other/sat4j-pb-v20090829         : 0.0056 0.0004 0.0012 0.1911 0.2541 0.3010 0.4646
823.31/776.46	c        pb/other/sat4j-pb-v20090829-cutting : 0.0020 0.0120 0.0123 0.0301 0.0690 0.0845 0.2092
823.31/776.46	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=862816488', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
834.33/786.91	c DEBUG: probabilities of action success (DCM model):
834.33/786.91	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0371 0.0989 0.1604 0.1901 0.2959
834.33/786.91	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0076 0.0230 0.0305 0.1193
834.33/786.91	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0716 0.0723 0.0767 0.1049 0.1888
834.33/786.91	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0067 0.0053 0.2464 0.3934 0.4784 0.7497
834.33/786.91	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0273 0.2998 0.4592 0.5516 0.7206
834.33/786.91	c        pb/other/clasp-1.3.3                : 0.0326 0.0409 0.0712 0.5595 0.6700 0.7154 0.8255
834.33/786.91	c        pb/other/sat4j-pb-v20090829         : 0.0057 0.0004 0.0012 0.1971 0.2615 0.3086 0.4696
834.33/786.91	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0120 0.0124 0.0308 0.0689 0.0846 0.2085
834.33/786.92	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1180285271', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
845.21/797.37	c DEBUG: probabilities of action success (DCM model):
845.21/797.37	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0382 0.1017 0.1653 0.1949 0.2998
845.21/797.37	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0078 0.0237 0.0315 0.1217
845.21/797.37	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0726 0.0733 0.0778 0.1068 0.1923
845.21/797.37	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0069 0.0055 0.2489 0.3967 0.4810 0.7498
845.21/797.37	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0279 0.3035 0.4659 0.5577 0.7233
845.21/797.37	c        pb/other/clasp-1.3.3                : 0.0314 0.0402 0.0712 0.5597 0.6707 0.7161 0.8262
845.21/797.37	c        pb/other/sat4j-pb-v20090829         : 0.0058 0.0004 0.0013 0.2031 0.2690 0.3163 0.4747
845.21/797.37	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0121 0.0125 0.0315 0.0689 0.0847 0.2079
845.21/797.38	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=484141260', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
856.22/807.83	c DEBUG: probabilities of action success (DCM model):
856.22/807.83	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0394 0.1045 0.1701 0.1997 0.3036
856.22/807.83	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0081 0.0245 0.0325 0.1240
856.22/807.83	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0735 0.0742 0.0789 0.1086 0.1958
856.22/807.83	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0072 0.0056 0.2514 0.3999 0.4836 0.7499
856.22/807.83	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0286 0.3071 0.4724 0.5638 0.7259
856.22/807.83	c        pb/other/clasp-1.3.3                : 0.0302 0.0396 0.0712 0.5599 0.6714 0.7169 0.8270
856.22/807.83	c        pb/other/sat4j-pb-v20090829         : 0.0059 0.0004 0.0013 0.2091 0.2764 0.3239 0.4798
856.22/807.83	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0122 0.0126 0.0322 0.0689 0.0848 0.2073
856.22/807.83	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=703477051', u'HOME/instance-3741055-1338723034.opb'] for 0:05:00
1170.53/1108.18	c DEBUG: probabilities of action success (DCM model):
1170.53/1108.18	c        pb/competition_2010/bsolo_pb10-l1   : 0.0012 0.0012 0.0216 0.0535 0.0928 0.1260 0.1855
1170.53/1108.18	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0090 0.0182 0.0273 0.0580
1170.53/1108.18	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0009 0.0884 0.0884 0.0919 0.1067 0.1442
1170.53/1108.18	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0059 0.0051 0.2297 0.3012 0.3408 0.6113
1170.53/1108.18	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0135 0.2740 0.3801 0.4819 0.5905
1170.53/1108.18	c        pb/other/clasp-1.3.3                : 0.0308 0.0436 0.0752 0.1586 0.4271 0.5030 0.6902
1170.53/1108.18	c        pb/other/sat4j-pb-v20090829         : 0.0057 0.0004 0.0008 0.1472 0.1817 0.1915 0.2495
1170.53/1108.18	c        pb/other/sat4j-pb-v20090829-cutting : 0.0011 0.0079 0.0079 0.0220 0.0407 0.0447 0.0950
1170.53/1108.18	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-3741055-1338723034.opb'] for 0:01:40
1275.74/1208.61	c DEBUG: probabilities of action success (DCM model):
1275.74/1208.61	c        pb/competition_2010/bsolo_pb10-l1   : 0.0012 0.0012 0.0180 0.0450 0.0793 0.1122 0.1736
1275.74/1208.61	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0099 0.0175 0.0274 0.0555
1275.74/1208.61	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0839 0.0877 0.1006 0.1362
1275.74/1208.61	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0064 0.0054 0.2315 0.3015 0.3421 0.6136
1275.74/1208.61	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0125 0.2708 0.3725 0.4767 0.5917
1275.74/1208.61	c        pb/other/clasp-1.3.3                : 0.0312 0.0441 0.0751 0.1644 0.4310 0.5068 0.6935
1275.74/1208.61	c        pb/other/sat4j-pb-v20090829         : 0.0062 0.0004 0.0008 0.1446 0.1768 0.1876 0.2511
1275.74/1208.61	c        pb/other/sat4j-pb-v20090829-cutting : 0.0012 0.0085 0.0085 0.0240 0.0446 0.0489 0.1041
1275.74/1208.61	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=400125169', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
1286.62/1219.06	c DEBUG: probabilities of action success (DCM model):
1286.62/1219.06	c        pb/competition_2010/bsolo_pb10-l1   : 0.0012 0.0012 0.0186 0.0463 0.0818 0.1145 0.1754
1286.62/1219.06	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0102 0.0180 0.0283 0.0571
1286.62/1219.06	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0841 0.0881 0.1013 0.1380
1286.62/1219.06	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0066 0.0055 0.2333 0.3039 0.3444 0.6141
1286.62/1219.06	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0129 0.2730 0.3767 0.4808 0.5942
1286.62/1219.06	c        pb/other/clasp-1.3.3                : 0.0302 0.0437 0.0749 0.1639 0.4325 0.5082 0.6948
1286.62/1219.06	c        pb/other/sat4j-pb-v20090829         : 0.0064 0.0004 0.0008 0.1491 0.1822 0.1932 0.2556
1286.62/1219.06	c        pb/other/sat4j-pb-v20090829-cutting : 0.0012 0.0087 0.0087 0.0246 0.0449 0.0493 0.1046
1286.62/1219.06	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2056274593', u'HOME/instance-3741055-1338723034.opb'] for 0:01:40
1391.62/1319.31	c DEBUG: probabilities of action success (DCM model):
1391.62/1319.31	c        pb/competition_2010/bsolo_pb10-l1   : 0.0013 0.0013 0.0200 0.0495 0.0869 0.1187 0.1793
1391.62/1319.31	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0110 0.0194 0.0305 0.0600
1391.62/1319.31	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0838 0.0876 0.1017 0.1392
1391.62/1319.31	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0065 0.0058 0.2319 0.3067 0.3500 0.6188
1391.62/1319.31	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0131 0.2717 0.3784 0.4836 0.6011
1391.62/1319.31	c        pb/other/clasp-1.3.3                : 0.0300 0.0437 0.0685 0.1631 0.4447 0.5190 0.7025
1391.62/1319.31	c        pb/other/sat4j-pb-v20090829         : 0.0068 0.0004 0.0008 0.1572 0.1922 0.2026 0.2680
1391.62/1319.31	c        pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0088 0.0088 0.0241 0.0455 0.0499 0.1080
1391.62/1319.32	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1439743213', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
1402.49/1329.76	c DEBUG: probabilities of action success (DCM model):
1402.49/1329.76	c        pb/competition_2010/bsolo_pb10-l1   : 0.0013 0.0013 0.0206 0.0509 0.0895 0.1211 0.1813
1402.49/1329.76	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0114 0.0200 0.0314 0.0617
1402.49/1329.76	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0840 0.0880 0.1025 0.1410
1402.49/1329.76	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0067 0.0059 0.2338 0.3092 0.3523 0.6192
1402.49/1329.76	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0135 0.2740 0.3827 0.4878 0.6036
1402.49/1329.76	c        pb/other/clasp-1.3.3                : 0.0290 0.0433 0.0683 0.1625 0.4462 0.5205 0.7038
1402.49/1329.76	c        pb/other/sat4j-pb-v20090829         : 0.0070 0.0005 0.0009 0.1619 0.1978 0.2084 0.2727
1402.49/1329.76	c        pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0090 0.0090 0.0247 0.0458 0.0502 0.1085
1402.49/1329.76	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1578759950', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
1413.54/1340.22	c DEBUG: probabilities of action success (DCM model):
1413.54/1340.22	c        pb/competition_2010/bsolo_pb10-l1   : 0.0013 0.0013 0.0211 0.0524 0.0921 0.1236 0.1832
1413.54/1340.22	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0117 0.0206 0.0324 0.0633
1413.54/1340.22	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0843 0.0883 0.1033 0.1428
1413.54/1340.22	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0069 0.0060 0.2356 0.3117 0.3546 0.6197
1413.54/1340.22	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0139 0.2763 0.3870 0.4921 0.6061
1413.54/1340.22	c        pb/other/clasp-1.3.3                : 0.0281 0.0428 0.0681 0.1619 0.4478 0.5220 0.7051
1413.54/1340.22	c        pb/other/sat4j-pb-v20090829         : 0.0072 0.0005 0.0009 0.1666 0.2035 0.2143 0.2774
1413.54/1340.22	c        pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0091 0.0091 0.0253 0.0461 0.0506 0.1090
1413.54/1340.22	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=719071868', u'HOME/instance-3741055-1338723034.opb'] for 0:00:50
1466.31/1390.60	c DEBUG: probabilities of action success (DCM model):
1466.31/1390.60	c        pb/competition_2010/bsolo_pb10-l1   : 0.0013 0.0013 0.0221 0.0547 0.0962 0.1275 0.1865
1466.31/1390.60	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0122 0.0215 0.0338 0.0661
1466.31/1390.60	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0848 0.0890 0.1046 0.1458
1466.31/1390.60	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0071 0.0062 0.2386 0.3157 0.3579 0.6201
1466.31/1390.60	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0145 0.2803 0.3943 0.4990 0.6098
1466.31/1390.60	c        pb/other/clasp-1.3.3                : 0.0277 0.0371 0.0679 0.1611 0.4496 0.5239 0.7068
1466.31/1390.60	c        pb/other/sat4j-pb-v20090829         : 0.0075 0.0005 0.0009 0.1737 0.2123 0.2235 0.2844
1466.31/1390.60	c        pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0094 0.0094 0.0263 0.0464 0.0512 0.1097
1466.31/1390.60	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1836504885', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
1477.18/1401.05	c DEBUG: probabilities of action success (DCM model):
1477.18/1401.05	c        pb/competition_2010/bsolo_pb10-l1   : 0.0013 0.0013 0.0227 0.0562 0.0989 0.1300 0.1885
1477.18/1401.05	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0125 0.0221 0.0347 0.0678
1477.18/1401.05	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0850 0.0893 0.1053 0.1477
1477.18/1401.05	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0073 0.0064 0.2405 0.3183 0.3603 0.6207
1477.18/1401.05	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0149 0.2825 0.3986 0.5033 0.6124
1477.18/1401.05	c        pb/other/clasp-1.3.3                : 0.0268 0.0368 0.0677 0.1606 0.4514 0.5256 0.7083
1477.18/1401.05	c        pb/other/sat4j-pb-v20090829         : 0.0077 0.0005 0.0010 0.1786 0.2181 0.2295 0.2893
1477.18/1401.05	c        pb/other/sat4j-pb-v20090829-cutting : 0.0013 0.0096 0.0096 0.0269 0.0467 0.0516 0.1103
1477.18/1401.05	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1805764213', u'HOME/instance-3741055-1338723034.opb'] for 0:01:40
1582.19/1501.33	c DEBUG: probabilities of action success (DCM model):
1582.19/1501.33	c        pb/competition_2010/bsolo_pb10-l1   : 0.0014 0.0014 0.0243 0.0599 0.1051 0.1352 0.1936
1582.19/1501.33	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0134 0.0237 0.0372 0.0717
1582.19/1501.33	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0845 0.0888 0.1059 0.1499
1582.19/1501.33	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0074 0.0067 0.2407 0.3231 0.3681 0.6266
1582.19/1501.33	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0154 0.2829 0.4030 0.5086 0.6212
1582.19/1501.33	c        pb/other/clasp-1.3.3                : 0.0266 0.0363 0.0632 0.1609 0.4655 0.5381 0.7173
1582.19/1501.33	c        pb/other/sat4j-pb-v20090829         : 0.0082 0.0005 0.0010 0.1888 0.2307 0.2420 0.3051
1582.19/1501.33	c        pb/other/sat4j-pb-v20090829-cutting : 0.0014 0.0099 0.0099 0.0272 0.0481 0.0530 0.1150
1582.19/1501.33	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=312880724', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
1593.12/1511.78	c DEBUG: probabilities of action success (DCM model):
1593.12/1511.78	c        pb/competition_2010/bsolo_pb10-l1   : 0.0014 0.0014 0.0249 0.0615 0.1079 0.1378 0.1957
1593.12/1511.78	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0138 0.0244 0.0382 0.0735
1593.12/1511.78	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0848 0.0892 0.1067 0.1518
1593.12/1511.78	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0076 0.0068 0.2425 0.3258 0.3706 0.6272
1593.12/1511.78	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0158 0.2852 0.4075 0.5130 0.6239
1593.12/1511.78	c        pb/other/clasp-1.3.3                : 0.0257 0.0360 0.0629 0.1602 0.4674 0.5399 0.7188
1593.12/1511.78	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0005 0.0010 0.1938 0.2368 0.2483 0.3102
1593.12/1511.78	c        pb/other/sat4j-pb-v20090829-cutting : 0.0014 0.0100 0.0100 0.0278 0.0484 0.0534 0.1156
1593.12/1511.78	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=783168836', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
1604.13/1522.23	c DEBUG: probabilities of action success (DCM model):
1604.13/1522.23	c        pb/competition_2010/bsolo_pb10-l1   : 0.0014 0.0014 0.0255 0.0630 0.1107 0.1404 0.1978
1604.13/1522.23	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0141 0.0250 0.0392 0.0753
1604.13/1522.23	c        pb/competition_2010/bsolo_pb10-l3   : 0.0002 0.0008 0.0008 0.0850 0.0896 0.1075 0.1537
1604.13/1522.23	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0078 0.0069 0.2444 0.3285 0.3731 0.6278
1604.13/1522.23	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0162 0.2876 0.4120 0.5174 0.6267
1604.13/1522.23	c        pb/other/clasp-1.3.3                : 0.0249 0.0356 0.0626 0.1596 0.4693 0.5418 0.7204
1604.13/1522.23	c        pb/other/sat4j-pb-v20090829         : 0.0086 0.0006 0.0011 0.1988 0.2428 0.2545 0.3153
1604.13/1522.23	c        pb/other/sat4j-pb-v20090829-cutting : 0.0014 0.0102 0.0102 0.0284 0.0487 0.0538 0.1162
1604.13/1522.24	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1475166690', u'HOME/instance-3741055-1338723034.opb'] for 0:01:40
1709.01/1622.50	c DEBUG: probabilities of action success (DCM model):
1709.01/1622.50	c        pb/competition_2010/bsolo_pb10-l1   : 0.0015 0.0015 0.0272 0.0670 0.1173 0.1461 0.2034
1709.01/1622.50	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0151 0.0266 0.0418 0.0795
1709.01/1622.50	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0845 0.0891 0.1081 0.1564
1709.01/1622.50	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0079 0.0073 0.2453 0.3343 0.3817 0.6341
1709.01/1622.50	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0169 0.2886 0.4175 0.5237 0.6363
1709.01/1622.50	c        pb/other/clasp-1.3.3                : 0.0246 0.0350 0.0588 0.1603 0.4842 0.5551 0.7298
1709.01/1622.50	c        pb/other/sat4j-pb-v20090829         : 0.0091 0.0006 0.0011 0.2100 0.2566 0.2684 0.3324
1709.01/1622.50	c        pb/other/sat4j-pb-v20090829-cutting : 0.0015 0.0106 0.0106 0.0290 0.0504 0.0556 0.1215
1709.01/1622.50	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1375903830', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
1720.01/1632.95	c DEBUG: probabilities of action success (DCM model):
1720.01/1632.95	c        pb/competition_2010/bsolo_pb10-l1   : 0.0015 0.0015 0.0278 0.0686 0.1202 0.1488 0.2056
1720.01/1632.95	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0154 0.0273 0.0428 0.0814
1720.01/1632.95	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0847 0.0894 0.1090 0.1584
1720.01/1632.95	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0081 0.0074 0.2472 0.3370 0.3842 0.6348
1720.01/1632.95	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0173 0.2910 0.4222 0.5283 0.6391
1720.01/1632.95	c        pb/other/clasp-1.3.3                : 0.0239 0.0347 0.0585 0.1597 0.4862 0.5569 0.7314
1720.01/1632.95	c        pb/other/sat4j-pb-v20090829         : 0.0093 0.0006 0.0011 0.2151 0.2628 0.2749 0.3377
1720.01/1632.95	c        pb/other/sat4j-pb-v20090829-cutting : 0.0015 0.0107 0.0107 0.0296 0.0506 0.0560 0.1221
1720.01/1632.95	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1346599277', u'HOME/instance-3741055-1338723034.opb'] for 0:00:10
1730.94/1643.40	c DEBUG: probabilities of action success (DCM model):
1730.94/1643.40	c        pb/competition_2010/bsolo_pb10-l1   : 0.0015 0.0015 0.0285 0.0702 0.1231 0.1515 0.2078
1730.94/1643.40	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0158 0.0280 0.0439 0.0833
1730.94/1643.40	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0008 0.0008 0.0850 0.0898 0.1098 0.1603
1730.94/1643.40	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0083 0.0075 0.2491 0.3397 0.3868 0.6354
1730.94/1643.40	c        pb/competition_2010/wbo1.4b         : 0.0001 0.0002 0.0177 0.2934 0.4267 0.5328 0.6420
1730.94/1643.40	c        pb/other/clasp-1.3.3                : 0.0231 0.0343 0.0582 0.1590 0.4882 0.5588 0.7331
1730.94/1643.40	c        pb/other/sat4j-pb-v20090829         : 0.0095 0.0006 0.0012 0.2203 0.2690 0.2812 0.3429
1730.94/1643.40	c        pb/other/sat4j-pb-v20090829-cutting : 0.0015 0.0108 0.0108 0.0302 0.0509 0.0564 0.1228
1730.94/1643.40	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1053658330', u'HOME/instance-3741055-1338723034.opb'] for 0:01:40

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741055-1338723034/watcher-3741055-1338723034 -o /tmp/evaluation-result-3741055-1338723034/solver-3741055-1338723034 -C 1800 -W 1900 -M 15500 solver HOME/instance-3741055-1338723034.opb 936905919 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.26 2.15 2.10 3/178 3161
/proc/meminfo: memFree=30439900/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/3161/stat : 3161 (python) D 3159 3161 31325 0 -1 4202496 865 0 0 0 0 0 0 0 20 0 1 0 338428041 15749120 617 33554432000 4194304 5683644 140736240996240 140736240950456 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/3161/statm: 3845 617 331 364 0 287 0

[startup+0.073854 s]
/proc/loadavg: 2.26 2.15 2.10 3/178 3161
/proc/meminfo: memFree=30439900/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=36292 CPUtime=0.04 cores=0,2,4,6
/proc/3161/stat : 3161 (python) R 3159 3161 31325 0 -1 4202496 2967 0 0 0 3 1 0 0 20 0 1 0 338428041 37163008 1345 33554432000 4194304 4196484 140735850233440 140735850129416 139647670626240 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/3161/statm: 9073 1347 475 1 0 866 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36292

[startup+0.100345 s]
/proc/loadavg: 2.26 2.15 2.10 3/178 3161
/proc/meminfo: memFree=30439900/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=54136 CPUtime=0.05 cores=0,2,4,6
/proc/3161/stat : 3161 (python) R 3159 3161 31325 0 -1 4202496 3804 0 0 0 4 1 0 0 20 0 1 0 338428041 55435264 2025 33554432000 4194304 4196484 140735850233440 140735850061144 225444750263 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/3161/statm: 13526 2025 573 1 0 1381 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54136

[startup+0.300241 s]
/proc/loadavg: 2.26 2.15 2.10 3/178 3161
/proc/meminfo: memFree=30439900/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=99484 CPUtime=0.2 cores=0,2,4,6
/proc/3161/stat : 3161 (python) R 3159 3161 31325 0 -1 4202496 5898 0 0 0 14 6 0 0 20 0 1 0 338428041 101871616 3731 33554432000 4194304 4196484 140735850233440 140735850176712 225444335508 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/3161/statm: 24871 3732 1047 1 0 2673 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 99484

[startup+0.700204 s]
/proc/loadavg: 2.26 2.15 2.10 3/178 3161
/proc/meminfo: memFree=30439900/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=134480 CPUtime=0.46 cores=0,2,4,6
/proc/3161/stat : 3161 (python) R 3159 3161 31325 0 -1 4202496 11196 1011 0 0 36 10 0 0 20 0 1 0 338428041 137707520 6346 33554432000 4194304 4196484 140735850233440 140735850225200 225448094736 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 33620 6346 1170 1 0 5192 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 134480

[startup+1.50031 s]
/proc/loadavg: 2.26 2.15 2.10 3/180 3167
/proc/meminfo: memFree=30396280/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=134480 CPUtime=0.5 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 11214 1011 0 0 39 11 0 0 20 0 1 0 338428041 137707520 6346 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 33620 6346 1170 1 0 5192 0
[pid=3167] ppid=3161 vsize=49760 CPUtime=0.8 cores=0,2,4,6
/proc/3167/stat : 3167 (clasp-1.3.3-x86) R 3161 3167 3167 0 -1 4202496 12819 0 0 0 78 2 0 0 20 0 1 0 338428109 50954240 12106 33554432000 134512640 136080129 4288895216 4288894512 134836680 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3167/statm: 12440 12106 171 383 0 12055 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 184240

[startup+3.10031 s]
/proc/loadavg: 2.24 2.15 2.10 3/180 3167
/proc/meminfo: memFree=30370116/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=134480 CPUtime=0.57 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 11220 1011 0 0 45 12 0 0 20 0 1 0 338428041 137707520 6346 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 33620 6346 1170 1 0 5192 0
[pid=3167] ppid=3161 vsize=53424 CPUtime=2.4 cores=0,2,4,6
/proc/3167/stat : 3167 (clasp-1.3.3-x86) R 3161 3167 3167 0 -1 4202496 13732 0 0 0 238 2 0 0 20 0 1 0 338428109 54706176 13019 33554432000 134512640 136080129 4288895216 4288894304 134836680 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3167/statm: 13356 13019 176 383 0 12971 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 187904

[startup+6.30031 s]
/proc/loadavg: 2.24 2.15 2.10 3/180 3167
/proc/meminfo: memFree=30365660/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=134480 CPUtime=0.72 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 11230 1011 0 0 58 14 0 0 20 0 1 0 338428041 137707520 6346 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 33620 6346 1170 1 0 5192 0
[pid=3167] ppid=3161 vsize=57056 CPUtime=5.6 cores=0,2,4,6
/proc/3167/stat : 3167 (clasp-1.3.3-x86) R 3161 3167 3167 0 -1 4202496 14599 0 0 0 558 2 0 0 20 0 1 0 338428109 58425344 13886 33554432000 134512640 136080129 4288895216 4288894304 134836712 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3167/statm: 14264 13886 176 383 0 13879 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 191536

[startup+12.7003 s]
/proc/loadavg: 2.27 2.16 2.11 3/180 3170
/proc/meminfo: memFree=30367692/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=11.51 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 12485 16927 0 0 88 19 1040 4 20 0 1 0 338428041 139816960 6368 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6368 1180 1 0 5192 0
[pid=3170] ppid=3161 vsize=50804 CPUtime=1.55 cores=0,2,4,6
/proc/3170/stat : 3170 (clasp-1.3.3-x86) R 3161 3170 3170 0 -1 4202496 13573 0 0 0 153 2 0 0 20 0 1 0 338429154 52023296 12352 33554432000 134512640 136080129 4289223232 4289222320 134836709 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3170/statm: 12701 12352 176 383 0 12316 0
Current children cumulated CPU time (s) 13.06
Current children cumulated vsize (KiB) 187344

[startup+25.5003 s]
/proc/loadavg: 2.23 2.15 2.10 3/180 3170
/proc/meminfo: memFree=30354368/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=12.1 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 12513 16927 0 0 139 27 1040 4 20 0 1 0 338428041 139816960 6368 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6368 1180 1 0 5192 0
[pid=3170] ppid=3161 vsize=58840 CPUtime=14.35 cores=0,2,4,6
/proc/3170/stat : 3170 (clasp-1.3.3-x86) R 3161 3170 3170 0 -1 4202496 15538 0 0 0 1433 2 0 0 20 0 1 0 338429154 60252160 14317 33554432000 134512640 136080129 4289223232 4289222128 134617162 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3170/statm: 14710 14317 176 383 0 14325 0
Current children cumulated CPU time (s) 26.45
Current children cumulated vsize (KiB) 195380

[startup+51.1003 s]
/proc/loadavg: 2.15 2.14 2.10 3/197 3191
/proc/meminfo: memFree=29954120/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=13.31 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 12540 16927 0 0 243 44 1040 4 20 0 1 0 338428041 139816960 6368 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6368 1180 1 0 5192 0
[pid=3170] ppid=3161 vsize=62256 CPUtime=39.94 cores=0,2,4,6
/proc/3170/stat : 3170 (clasp-1.3.3-x86) R 3161 3170 3170 0 -1 4202496 16353 0 0 0 3992 2 0 0 20 0 1 0 338429154 63750144 15131 33554432000 134512640 136080129 4289223232 4289222320 134836756 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3170/statm: 15564 15131 176 383 0 15179 0
Current children cumulated CPU time (s) 53.25
Current children cumulated vsize (KiB) 198796

[startup+102.307 s]
/proc/loadavg: 2.08 2.12 2.09 3/197 3195
/proc/meminfo: memFree=29846784/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=66.24 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 13729 34308 0 0 470 79 6068 7 20 0 1 0 338428041 139816960 6372 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6372 1180 1 0 5192 0
[pid=3194] ppid=3161 vsize=77324 CPUtime=40.8 cores=0,2,4,6
/proc/3194/stat : 3194 (wbo1.4a) R 3161 3194 3194 0 -1 4202496 28485 0 0 0 3917 163 0 0 20 0 1 0 338434190 79179776 18336 33554432000 134512640 135751879 4294255968 4294254220 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/3194/statm: 19331 18336 139 303 0 19026 0
Current children cumulated CPU time (s) 107.04
Current children cumulated vsize (KiB) 213864

[startup+162.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/179 3201
/proc/meminfo: memFree=30357284/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=121.51 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 14980 63863 0 0 718 115 11098 220 20 0 1 0 338428041 139816960 6372 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6372 1180 1 0 5192 0
[pid=3198] ppid=3161 vsize=61588 CPUtime=48.34 cores=0,2,4,6
/proc/3198/stat : 3198 (clasp-1.3.3-x86) R 3161 3198 3198 0 -1 4202496 15690 0 0 0 4831 3 0 0 20 0 1 0 338439434 63066112 14972 33554432000 134512640 136080129 4290946640 4290945768 134803072 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3198/statm: 15397 14972 176 383 0 15012 0
Current children cumulated CPU time (s) 169.85
Current children cumulated vsize (KiB) 198128

[startup+222.3 s]
/proc/loadavg: 2.07 2.10 2.09 3/179 3204
/proc/meminfo: memFree=30317336/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=224.65 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 16222 81269 0 0 973 154 21113 225 20 0 1 0 338428041 139816960 6376 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6376 1180 1 0 5192 0
[pid=3204] ppid=3161 vsize=75480 CPUtime=8.11 cores=0,2,4,6
/proc/3204/stat : 3204 (wbo1.4a) R 3161 3204 3204 0 -1 4202496 27997 0 0 0 783 28 0 0 20 0 1 0 338449458 77291520 17850 33554432000 134512640 135751879 4292206160 4292204412 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/3204/statm: 18870 17850 139 303 0 18565 0
Current children cumulated CPU time (s) 232.76
Current children cumulated vsize (KiB) 212020

[startup+282.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/179 3207
/proc/meminfo: memFree=30310948/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=227.56 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 16266 81269 0 0 1225 193 21113 225 20 0 1 0 338428041 139816960 6376 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6376 1180 1 0 5192 0
[pid=3204] ppid=3161 vsize=79044 CPUtime=68.09 cores=0,2,4,6
/proc/3204/stat : 3204 (wbo1.4a) R 3161 3204 3204 0 -1 4202496 28941 0 0 0 6539 270 0 0 20 0 1 0 338449458 80941056 18770 33554432000 134512640 135751879 4292206160 4292204412 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/3204/statm: 19761 18770 139 303 0 19456 0
Current children cumulated CPU time (s) 295.65
Current children cumulated vsize (KiB) 215584

[startup+342.3 s]
/proc/loadavg: 2.24 2.13 2.10 3/180 3226
/proc/meminfo: memFree=30345652/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=334.53 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 17484 113507 0 0 1477 233 31127 616 20 0 1 0 338428041 139816960 6376 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6376 1180 1 0 5192 0
[pid=3219] ppid=3161 vsize=85436 CPUtime=24.01 cores=0,2,4,6
/proc/3219/stat : 3219 (wbo1.4b) R 3161 3219 3219 0 -1 4202496 30440 0 0 0 2397 4 0 0 20 0 1 0 338459868 87486464 20290 33554432000 134512640 135751879 4289486896 4289484480 134594711 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/3219/statm: 21359 20290 142 303 0 21054 0
Current children cumulated CPU time (s) 358.54
Current children cumulated vsize (KiB) 221976

[startup+402.301 s]
/proc/loadavg: 2.37 2.20 2.12 3/214 3280
/proc/meminfo: memFree=29356696/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=387.88 cores=0,2,4,6

################
# More data... #
################

/proc/3378/statm: 22240 21733 176 383 0 21855 0
Current children cumulated CPU time (s) 1122.59
Current children cumulated vsize (KiB) 225500

[startup+1122.3 s]
/proc/loadavg: 2.03 2.06 2.07 3/179 3403
/proc/meminfo: memFree=30248244/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=1171.35 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 42211 573343 0 2 4735 746 110736 918 20 0 1 0 338428041 139816960 6384 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6384 1180 1 0 5192 0
[pid=3403] ppid=3161 vsize=166060 CPUtime=14.1 cores=0,2,4,6
/proc/3403/stat : 3403 (bsolo_pb10) R 3161 3403 3403 0 -1 4202496 48703 0 0 0 1402 8 0 0 20 0 1 0 338538859 170045440 38960 33554432000 134512640 137138936 4294470672 4294029836 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/3403/statm: 41515 38960 185 642 0 40871 0
Current children cumulated CPU time (s) 1185.45
Current children cumulated vsize (KiB) 302600

[startup+1182.3 s]
/proc/loadavg: 2.13 2.08 2.08 3/180 3406
/proc/meminfo: memFree=30231896/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=1174.15 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 42236 573343 0 2 4976 785 110736 918 20 0 1 0 338428041 139816960 6384 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6384 1180 1 0 5192 0
[pid=3403] ppid=3161 vsize=166060 CPUtime=74.06 cores=0,2,4,6
/proc/3403/stat : 3403 (bsolo_pb10) R 3161 3403 3403 0 -1 4202496 48731 0 0 0 7388 18 0 0 20 0 1 0 338538859 170045440 38960 33554432000 134512640 137138936 4294470672 4294029836 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/3403/statm: 41515 38960 185 642 0 40871 0
Current children cumulated CPU time (s) 1248.21
Current children cumulated vsize (KiB) 302600

[startup+1242.3 s]
/proc/loadavg: 2.20 2.09 2.08 3/179 3421
/proc/meminfo: memFree=30341832/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=1287.83 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 44715 638899 0 2 5227 824 121783 949 20 0 1 0 338428041 139816960 6384 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6384 1180 1 0 5192 0
[pid=3421] ppid=3161 vsize=60464 CPUtime=23.22 cores=0,2,4,6
/proc/3421/stat : 3421 (clasp-1.3.3-x86) R 3161 3421 3421 0 -1 4202496 15945 0 0 0 2319 3 0 0 20 0 1 0 338549947 61915136 14709 33554432000 134512640 136080129 4292292704 4292291792 134836680 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3421/statm: 15116 14709 176 383 0 14731 0
Current children cumulated CPU time (s) 1311.05
Current children cumulated vsize (KiB) 197004

[startup+1302.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/179 3421
/proc/meminfo: memFree=30326900/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=1290.62 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 44740 638899 0 2 5469 861 121783 949 20 0 1 0 338428041 139816960 6384 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6384 1180 1 0 5192 0
[pid=3421] ppid=3161 vsize=63188 CPUtime=83.2 cores=0,2,4,6
/proc/3421/stat : 3421 (clasp-1.3.3-x86) R 3161 3421 3421 0 -1 4202496 16607 0 0 0 8316 4 0 0 20 0 1 0 338549947 64704512 15462 33554432000 134512640 136080129 4292292704 4292291792 134836714 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3421/statm: 15797 15462 176 383 0 15412 0
Current children cumulated CPU time (s) 1373.82
Current children cumulated vsize (KiB) 199728

[startup+1362.3 s]
/proc/loadavg: 2.12 2.09 2.08 3/179 3440
/proc/meminfo: memFree=30345244/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=1414.64 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 48465 688924 0 2 5722 902 133878 962 20 0 1 0 338428041 139816960 6385 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6385 1180 1 0 5192 0
[pid=3440] ppid=3161 vsize=61128 CPUtime=22.06 cores=0,2,4,6
/proc/3440/stat : 3440 (clasp-1.3.3-x86) R 3161 3440 3440 0 -1 4202496 16103 0 0 0 2202 4 0 0 20 0 1 0 338562063 62595072 14872 33554432000 134512640 136080129 4292326400 4292325488 134836690 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3440/statm: 15282 14872 176 383 0 14897 0
Current children cumulated CPU time (s) 1436.7
Current children cumulated vsize (KiB) 197668

[startup+1422.31 s]
/proc/loadavg: 2.21 2.11 2.09 3/179 3493
/proc/meminfo: memFree=30359424/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=1478.28 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 50955 722139 0 2 5969 942 139945 972 20 0 1 0 338428041 139816960 6386 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6386 1180 1 0 5192 0
[pid=3490] ppid=3161 vsize=60940 CPUtime=21.24 cores=0,2,4,6
/proc/3490/stat : 3490 (clasp-1.3.3-x86) R 3161 3490 3490 0 -1 4202496 15546 0 0 0 2121 3 0 0 20 0 1 0 338568146 62402560 14826 33554432000 134512640 136080129 4289269664 4289268752 134836712 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3490/statm: 15235 14826 176 383 0 14850 0
Current children cumulated CPU time (s) 1499.52
Current children cumulated vsize (KiB) 197480

[startup+1482.3 s]
/proc/loadavg: 2.20 2.12 2.09 3/179 3496
/proc/meminfo: memFree=30349860/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=1481.09 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 50981 722139 0 2 6212 980 139945 972 20 0 1 0 338428041 139816960 6386 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6386 1180 1 0 5192 0
[pid=3490] ppid=3161 vsize=63876 CPUtime=81.2 cores=0,2,4,6
/proc/3490/stat : 3490 (clasp-1.3.3-x86) R 3161 3490 3490 0 -1 4202496 16249 0 0 0 8117 3 0 0 20 0 1 0 338568146 65409024 15624 33554432000 134512640 136080129 4289269664 4289268752 134836680 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3490/statm: 15969 15624 176 383 0 15584 0
Current children cumulated CPU time (s) 1562.29
Current children cumulated vsize (KiB) 200416

[startup+1542.3 s]
/proc/loadavg: 2.14 2.12 2.09 4/179 3508
/proc/meminfo: memFree=30346496/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=1605.15 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 54719 772271 0 2 6464 1023 152042 986 20 0 1 0 338428041 139816960 6388 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6388 1180 1 0 5192 0
[pid=3508] ppid=3161 vsize=61088 CPUtime=20.05 cores=0,2,4,6
/proc/3508/stat : 3508 (clasp-1.3.3-x86) R 3161 3508 3508 0 -1 4202496 15564 0 0 0 2001 4 0 0 20 0 1 0 338580265 62554112 14843 33554432000 134512640 136080129 4288112656 4288111784 134803146 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3508/statm: 15272 14843 176 383 0 14887 0
Current children cumulated CPU time (s) 1625.2
Current children cumulated vsize (KiB) 197628

[startup+1602.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/179 3508
/proc/meminfo: memFree=30327524/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=1607.95 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 54745 772271 0 2 6706 1061 152042 986 20 0 1 0 338428041 139816960 6388 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6388 1180 1 0 5192 0
[pid=3508] ppid=3161 vsize=63496 CPUtime=80.02 cores=0,2,4,6
/proc/3508/stat : 3508 (clasp-1.3.3-x86) R 3161 3508 3508 0 -1 4202496 16158 0 0 0 7998 4 0 0 20 0 1 0 338580265 65019904 15583 33554432000 134512640 136080129 4288112656 4288111744 134836683 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3508/statm: 15874 15583 176 383 0 15489 0
Current children cumulated CPU time (s) 1687.97
Current children cumulated vsize (KiB) 200036

[startup+1662.3 s]
/proc/loadavg: 2.06 2.09 2.08 3/179 3521
/proc/meminfo: memFree=30334500/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=1731.98 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 58461 820711 0 2 6964 1096 164138 1000 20 0 1 0 338428041 139816960 6389 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6389 1180 1 0 5192 0
[pid=3521] ppid=3161 vsize=60572 CPUtime=18.87 cores=0,2,4,6
/proc/3521/stat : 3521 (clasp-1.3.3-x86) R 3161 3521 3521 0 -1 4202496 15973 0 0 0 1885 2 0 0 20 0 1 0 338592381 62025728 14738 33554432000 134512640 136080129 4290118816 4290117904 134836722 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3521/statm: 15143 14738 176 383 0 14758 0
Current children cumulated CPU time (s) 1750.85
Current children cumulated vsize (KiB) 197112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1709.3 s]
/proc/loadavg: 2.14 2.11 2.09 3/179 3521
/proc/meminfo: memFree=30308244/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=1734.18 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 58482 820711 0 2 7156 1124 164138 1000 20 0 1 0 338428041 139816960 6389 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6389 1180 1 0 5192 0
[pid=3521] ppid=3161 vsize=62792 CPUtime=65.86 cores=0,2,4,6
/proc/3521/stat : 3521 (clasp-1.3.3-x86) R 3161 3521 3521 0 -1 4202496 16499 0 0 0 6584 2 0 0 20 0 1 0 338592381 64299008 15333 33554432000 134512640 136080129 4290118816 4290117904 134836701 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3521/statm: 15698 15333 176 383 0 15313 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 199332

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1709.3 s]
/proc/loadavg: 2.14 2.11 2.09 3/179 3521
/proc/meminfo: memFree=30308244/32873844 swapFree=7900/7900
[pid=3161] ppid=3159 vsize=136540 CPUtime=1734.18 cores=0,2,4,6
/proc/3161/stat : 3161 (python) S 3159 3161 31325 0 -1 4202496 58482 820711 0 2 7156 1124 164138 1000 20 0 1 0 338428041 139816960 6389 33554432000 4194304 4196484 140735850233440 140735850225200 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 34135 6389 1180 1 0 5192 0
[pid=3521] ppid=3161 vsize=62792 CPUtime=65.86 cores=0,2,4,6
/proc/3521/stat : 3521 (clasp-1.3.3-x86) R 3161 3521 3521 0 -1 4202496 16499 0 0 0 6584 2 0 0 20 0 1 0 338592381 64299008 15333 33554432000 134512640 136080129 4290118816 4290117904 134836701 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/3521/statm: 15698 15333 176 383 0 15313 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 199332

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3161 and gives
#  childrusage.ru_utime.tv_sec=1712
#  childrusage.ru_utime.tv_usec=957590
#  childrusage.ru_stime.tv_sec=21
#  childrusage.ru_stime.tv_usec=251769
# CPU time returned by wait4() is 1734.21
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1709.32
CPU time (s): 1800.04
CPU user time (s): 1778.78
CPU system time (s): 21.26
CPU usage (%): 105.307
Max. virtual memory (cumulated for all children) (KiB): 2851680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1712.96
system time used= 21.2518
maximum resident set size= 631244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 879193
page faults= 2
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14401
involuntary context switches= 15993

runsolver used 3.9714 second user time and 9.1936 second system time

The end

Launcher Data

Begin job on node137 at 2012-06-03 13:30:35
IDJOB=3741055
IDBENCH=89740
IDSOLVER=2323
FILE ID=node137/3741055-1338723034
RUNJOBID= node137-1338714575-31341
PBS_JOBID= 14636756
Free space on /tmp= 70256 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-123.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741055-1338723034/watcher-3741055-1338723034 -o /tmp/evaluation-result-3741055-1338723034/solver-3741055-1338723034 -C 1800 -W 1900 -M 15500  solver HOME/instance-3741055-1338723034.opb 936905919 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e6dc64843ebe4c9cb8812bfa08aa0858
RANDOM SEED=936905919

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30440164 kB
Buffers:          243068 kB
Cached:          1300848 kB
SwapCached:         5796 kB
Active:           909456 kB
Inactive:         696884 kB
Active(anon):      57240 kB
Inactive(anon):     7172 kB
Active(file):     852216 kB
Inactive(file):   689712 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             57452 kB
Writeback:             0 kB
AnonPages:         65560 kB
Mapped:            13144 kB
Shmem:                 0 kB
Slab:             688200 kB
SReclaimable:     127432 kB
SUnreclaim:       560768 kB
KernelStack:        1448 kB
PageTables:         4336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     183768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70236 MiB
End job on node137 at 2012-06-03 13:59:06