Trace number 2675952

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
borg-pb 10.05.30? (TO) 1800.03 1704.42

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin16.opb
MD5SUMd761333f7ff9a755d3cd90e52b11f227
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables14400
Total number of constraints1088
Number of constraints which are clauses480
Number of constraints which are cardinality constraints (but not clauses)608
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint120
Maximum length of a constraint225
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 227
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2675952-1277134554/watcher-2675952-1277134554 -o /tmp/evaluation-result-2675952-1277134554/solver-2675952-1277134554 -C 1800 -W 2000 -M 1800 solver HOME/instance-2675952-1277134554.opb 1337528790 

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.00 0.25 0.58 2/105 11894
/proc/meminfo: memFree=1542048/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=24036 CPUtime=0
/proc/11894/stat : 11894 (runsolver) D 11892 11894 11869 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 1 0 54749220 24612864 106 1992294400 4194304 4302564 140734707812848 18446744073709551615 219595514871 0 0 4096 24578 18446744071562154983 0 0 17 1 0 0 0
/proc/11894/statm: 6009 106 69 27 0 2647 0

[startup+0.014425 s]
/proc/loadavg: 0.00 0.25 0.58 2/105 11894
/proc/meminfo: memFree=1542048/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=24036 CPUtime=0
/proc/11894/stat : 11894 (runsolver) D 11892 11894 11869 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 1 0 54749220 24612864 106 1992294400 4194304 4302564 140734707812848 18446744073709551615 219595514871 0 0 4096 24578 18446744071562154983 0 0 17 1 0 0 0
/proc/11894/statm: 6009 106 69 27 0 2647 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24036

[startup+0.101455 s]
/proc/loadavg: 0.00 0.25 0.58 2/105 11894
/proc/meminfo: memFree=1542048/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=16276 CPUtime=0.01
/proc/11894/stat : 11894 (python) D 11892 11894 11869 0 -1 4194304 1166 0 2 0 1 0 0 0 20 0 1 0 54749220 16666624 217 1992294400 4194304 4196484 140734385517984 18446744073709551615 47224417376080 0 0 16781312 0 18446744071562234166 0 0 17 0 0 0 6
/proc/11894/statm: 4069 217 139 1 0 49 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16276

[startup+0.301465 s]
/proc/loadavg: 0.00 0.25 0.58 2/105 11894
/proc/meminfo: memFree=1542048/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=18504 CPUtime=0.05
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 2066 0 9 0 3 2 0 0 18 0 1 0 54749220 18948096 1075 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595692032 0 2147483391 16781312 2 18446744071699326142 0 0 17 0 0 0 8
/proc/11894/statm: 4626 1075 423 1 0 606 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18504

[startup+0.701511 s]
/proc/loadavg: 0.00 0.25 0.58 2/105 11894
/proc/meminfo: memFree=1542048/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=54316 CPUtime=0.18
/proc/11894/stat : 11894 (python) R 11892 11894 11869 0 -1 4202496 3154 0 25 0 10 8 0 0 16 0 1 0 54749220 55619584 2064 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595692032 0 0 16781312 2 0 0 0 17 0 0 0 14
/proc/11894/statm: 13579 2064 565 1 0 1479 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 54316

[startup+1.50158 s]
/proc/loadavg: 0.00 0.25 0.58 2/106 11895
/proc/meminfo: memFree=1521172/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=98784 CPUtime=0.53
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 4824 0 42 0 30 23 0 0 15 0 1 0 54749220 101154816 3579 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595692032 0 2147483391 16781312 2 18446744071699326142 0 0 17 0 0 0 24
/proc/11894/statm: 24696 3579 1022 1 0 2553 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 98784

[startup+3.10175 s]
/proc/loadavg: 0.00 0.25 0.58 1/106 11899
/proc/meminfo: memFree=1509544/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=118200 CPUtime=1.02
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 8579 922 44 9 63 39 0 0 15 0 1 0 54749220 121036800 5825 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595692032 0 2147483391 16781312 2 18446744071699326142 0 0 17 0 0 0 32
/proc/11894/statm: 29550 5825 1059 1 0 4804 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 118200
heavy processes:

[startup+6.30112 s]
/proc/loadavg: 0.16 0.28 0.59 2/107 11900
/proc/meminfo: memFree=1485880/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=132048 CPUtime=1.38
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 10217 922 49 9 95 43 0 0 15 0 1 0 54749220 135217152 6305 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159688670771686131 0 0 17 0 0 0 35
/proc/11894/statm: 33012 6305 1133 1 0 5164 0
[pid=11900] ppid=11894 vsize=17396 CPUtime=2.56
/proc/11900/stat : 11900 (clasp-1.3.3-x86) R 11894 11900 11900 0 -1 4202496 4467 0 0 0 255 1 0 0 22 0 1 0 54749592 17813504 4107 1992294400 134512640 136080129 4294611536 18446744073709551615 134808284 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11900/statm: 4349 4107 174 383 0 3964 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 149444
heavy processes:

[startup+12.7008 s]
/proc/loadavg: 0.23 0.29 0.59 2/107 11900
/proc/meminfo: memFree=1472364/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=132048 CPUtime=1.74
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 10242 922 49 9 128 46 0 0 16 0 1 0 54749220 135217152 6305 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159688670771686131 0 0 17 0 0 0 35
/proc/11894/statm: 33012 6305 1133 1 0 5164 0
[pid=11900] ppid=11894 vsize=28196 CPUtime=8.9
/proc/11900/stat : 11900 (clasp-1.3.3-x86) R 11894 11900 11900 0 -1 4202496 7164 0 0 0 888 2 0 0 25 0 1 0 54749592 28872704 6804 1992294400 134512640 136080129 4294611536 18446744073709551615 134850002 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11900/statm: 7049 6804 174 383 0 6664 0
Current children cumulated CPU time (s) 10.64
Current children cumulated vsize (KiB) 160244

[startup+25.5012 s]
/proc/loadavg: 0.40 0.33 0.60 2/107 11903
/proc/meminfo: memFree=1473360/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=12.65
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 11574 9011 49 10 199 56 1006 4 15 0 1 0 54749220 137326592 6328 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159836005329808115 0 0 17 1 0 0 35
/proc/11894/statm: 33527 6328 1143 1 0 5164 0
[pid=11903] ppid=11894 vsize=27148 CPUtime=11.44
/proc/11903/stat : 11903 (clasp-1.3.3-x86) R 11894 11903 11903 0 -1 4202496 6881 0 0 0 1141 3 0 0 25 0 1 0 54750625 27799552 6523 1992294400 134512640 136080129 4291783760 18446744073709551615 134804917 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11903/statm: 6787 6523 174 383 0 6402 0
Current children cumulated CPU time (s) 24.09
Current children cumulated vsize (KiB) 161256

[startup+51.1011 s]
/proc/loadavg: 0.60 0.38 0.60 2/107 11905
/proc/meminfo: memFree=1460712/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=14.1
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 11662 9011 49 10 329 71 1006 4 16 0 1 0 54749220 137326592 6328 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159836005329808115 0 0 17 1 0 0 35
/proc/11894/statm: 33527 6328 1143 1 0 5164 0
[pid=11903] ppid=11894 vsize=39876 CPUtime=37.03
/proc/11903/stat : 11903 (clasp-1.3.3-x86) R 11894 11903 11903 0 -1 4202496 10074 0 0 0 3698 5 0 0 25 0 1 0 54750625 40833024 9716 1992294400 134512640 136080129 4291783760 18446744073709551615 134607925 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11903/statm: 9969 9716 174 383 0 9584 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 173984

[startup+102.309 s]
/proc/loadavg: 0.90 0.49 0.63 2/107 11908
/proc/meminfo: memFree=1433928/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=67.89
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 12923 21919 49 10 623 104 6050 12 15 0 1 0 54749220 137326592 6331 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159688670771686131 0 0 17 0 0 0 35
/proc/11894/statm: 33527 6331 1143 1 0 5164 0
[pid=11908] ppid=11894 vsize=68072 CPUtime=37.67
/proc/11908/stat : 11908 (wbo1.4a) R 11894 11908 11908 0 -1 4202496 17137 0 0 0 3746 21 0 0 25 0 1 0 54755682 69705728 16492 1992294400 134512640 135751879 4289211264 18446744073709551615 134518928 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11908/statm: 17018 16492 139 303 0 16713 0
Current children cumulated CPU time (s) 105.56
Current children cumulated vsize (KiB) 202180

[startup+162.301 s]
/proc/loadavg: 1.02 0.59 0.65 2/107 11913
/proc/meminfo: memFree=1455876/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=122.01
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 14236 45194 49 10 935 142 11085 39 15 0 1 0 54749220 137326592 6332 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159688670771686131 0 0 17 0 0 0 35
/proc/11894/statm: 33527 6332 1143 1 0 5164 0
[pid=11913] ppid=11894 vsize=45000 CPUtime=47
/proc/11913/stat : 11913 (clasp-1.3.3-x86) R 11894 11913 11913 0 -1 4202496 11360 0 0 0 4694 6 0 0 25 0 1 0 54760748 46080000 10998 1992294400 134512640 136080129 4289885200 18446744073709551615 134580623 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11913/statm: 11250 10998 174 383 0 10865 0
Current children cumulated CPU time (s) 169.01
Current children cumulated vsize (KiB) 179108

[startup+222.301 s]
/proc/loadavg: 1.12 0.70 0.68 2/107 11918
/proc/meminfo: memFree=1483156/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=226.13
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 15452 63250 49 10 1263 184 21115 51 16 0 1 0 54749220 137326592 6333 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159688670771686131 0 0 17 0 0 0 35
/proc/11894/statm: 33527 6333 1143 1 0 5164 0
[pid=11918] ppid=11894 vsize=19076 CPUtime=6.54
/proc/11918/stat : 11918 (wbo1.4a) R 11894 11918 11918 0 -1 4202496 4871 0 0 0 648 6 0 0 25 0 1 0 54770795 19533824 4228 1992294400 134512640 135751879 4288453312 18446744073709551615 134518945 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11918/statm: 4769 4228 139 303 0 4464 0
Current children cumulated CPU time (s) 232.67
Current children cumulated vsize (KiB) 153184

[startup+282.302 s]
/proc/loadavg: 1.14 0.78 0.71 2/107 11920
/proc/meminfo: memFree=1388916/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=229.68
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 15547 63250 49 10 1586 216 21115 51 15 0 1 0 54749220 137326592 6333 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159688670771686131 0 0 17 0 0 0 35
/proc/11894/statm: 33527 6333 1143 1 0 5164 0
[pid=11918] ppid=11894 vsize=113828 CPUtime=66.52
/proc/11918/stat : 11918 (wbo1.4a) R 11894 11918 11918 0 -1 4202496 28560 0 0 0 6625 27 0 0 25 0 1 0 54770795 116559872 27917 1992294400 134512640 135751879 4288453312 18446744073709551615 134518928 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11918/statm: 28457 27917 139 303 0 28152 0
Current children cumulated CPU time (s) 296.2
Current children cumulated vsize (KiB) 247936

[startup+342.301 s]
/proc/loadavg: 1.13 0.84 0.74 2/107 11925
/proc/meminfo: memFree=1454264/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=334.24
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 16839 103126 49 10 1936 251 31147 90 15 0 1 0 54749220 137326592 6335 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159688670771686131 0 0 17 0 0 0 35
/proc/11894/statm: 33527 6335 1143 1 0 5164 0
[pid=11923] ppid=11894 vsize=48112 CPUtime=25.59
/proc/11923/stat : 11923 (wbo1.4b) R 11894 11923 11923 0 -1 4202496 12589 0 0 0 2547 12 0 0 25 0 1 0 54780873 49266688 11490 1992294400 134512640 135751879 4290763968 18446744073709551615 134605060 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11923/statm: 12028 11490 143 303 0 11723 0
Current children cumulated CPU time (s) 359.83
Current children cumulated vsize (KiB) 182220

[startup+402.302 s]
/proc/loadavg: 1.14 0.90 0.76 2/119 11940
/proc/meminfo: memFree=1358180/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=388.55
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 18161 126794 49 10 2259 294 36189 113 15 0 1 0 54749220 137326592 6336 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159688670771686131 0 0 17 0 0 0 35
/proc/11894/statm: 33527 6336 1143 1 0 5164 0
[pid=11928] ppid=11894 vsize=1478284 CPUtime=35.51
/proc/11928/stat : 11928 (java) S 11894 11928 11928 0 -1 4202496 35341 0 89 0 3531 20 0 0 18 0 13 0 54785974 1513762816 33665 1992294400 134512640 134550932 4292357248 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6
/proc/11928/statm: 369571 33665 1435 10 0 366873 0
[pid=11928/tid=11929] ppid=11894 vsize=1478284 CPUtime=33.94
/proc/11928/task/11929/stat : 11929 (java) R 11894 11928 11928 0 -1 4202560 30861 0 57 0 3378 16 0 0 25 0 13 0 54785984 1513762816 33665 1992294400 134512640 134550932 4292357248 18446744073709551615 4109676713 0 4 0 16800975 0 0 0 -1 1 0 0 14
[pid=11928/tid=11930] ppid=11894 vsize=1478284 CPUtime=0.01
/proc/11928/task/11930/stat : 11930 (java) S 11894 11928 11928 0 -1 4202560 334 0 0 0 1 0 0 0 18 0 13 0 54785989 1513762816 33665 1992294400 134512640 134550932 4292357248 18446744073709551615 4294960144 0 4 0 16800975 18446604437821238208 0 0 -1 0 0 0 0
[pid=11928/tid=11931] ppid=11894 vsize=1478284 CPUtime=0
/proc/11928/task/11931/stat : 11931 (java) S 11894 11928 11928 0 -1 4202560 460 0 0 0 0 0 0 0 18 0 13 0 54785989 1513762816 33665 1992294400 134512640 134550932 4292357248 18446744073709551615 4294960144 0 4 0 16800975 18446604437821238208 0 0 -1 1 0 0 0
[pid=11928/tid=11932] ppid=11894 vsize=1478284 CPUtime=0
/proc/11928/task/11932/stat : 11932 (java) S 11894 11928 11928 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 13 0 54785993 1513762816 33665 1992294400 134512640 134550932 4292357248 18446744073709551615 4294960144 0 0 0 16800975 18446604437821238208 0 0 -1 0 0 0 0

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

/proc/12018/statm: 18325 18061 174 383 0 17940 0
Current children cumulated CPU time (s) 1058.81
Current children cumulated vsize (KiB) 207408

[startup+1062.3 s]
/proc/loadavg: 1.06 1.02 0.88 2/107 12024
/proc/meminfo: memFree=1398700/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=873.05
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 40950 411625 49 100 5918 691 80367 329 16 0 1 0 54749220 137326592 6346 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159836005329808115 0 0 17 1 0 0 35
/proc/11894/statm: 33527 6346 1143 1 0 5164 0
[pid=12018] ppid=11894 vsize=90504 CPUtime=248.79
/proc/12018/stat : 12018 (clasp-1.3.3-x86) R 11894 12018 12018 0 -1 4202496 22718 0 0 0 24869 10 0 0 25 0 1 0 54830407 92676096 22353 1992294400 134512640 136080129 4286830016 18446744073709551615 134804891 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12018/statm: 22626 22353 174 383 0 22241 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 224612

[startup+1122.3 s]
/proc/loadavg: 1.22 1.06 0.90 2/107 12029
/proc/meminfo: memFree=1468760/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=1177.03
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 42210 436611 49 100 6248 727 110385 343 15 0 1 0 54749220 137326592 6346 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 7785215951619719424 0 0 17 0 0 0 35
/proc/11894/statm: 33527 6346 1143 1 0 5164 0
[pid=12029] ppid=11894 vsize=30456 CPUtime=8.13
/proc/12029/stat : 12029 (bsolo_pb10) R 11894 12029 12029 0 -1 4202496 6480 0 0 0 803 10 0 0 25 0 1 0 54860636 31186944 5178 1992294400 134512640 137138936 4293020624 18446744073709551615 134618214 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/12029/statm: 7614 5178 192 642 0 6970 0
Current children cumulated CPU time (s) 1185.16
Current children cumulated vsize (KiB) 164564

[startup+1182.3 s]
/proc/loadavg: 1.12 1.06 0.91 2/107 12031
/proc/meminfo: memFree=1323556/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=1180.49
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 42290 436611 49 100 6563 758 110385 343 15 0 1 0 54749220 137326592 6346 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159688670771686131 0 0 17 0 0 0 35
/proc/11894/statm: 33527 6346 1143 1 0 5164 0
[pid=12029] ppid=11894 vsize=175924 CPUtime=68.11
/proc/12029/stat : 12029 (bsolo_pb10) R 11894 12029 12029 0 -1 4202496 42821 0 0 0 6771 40 0 0 25 0 1 0 54860636 180146176 41519 1992294400 134512640 137138936 4293020624 18446744073709551615 134573759 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/12029/statm: 43981 41519 192 642 0 43337 0
Current children cumulated CPU time (s) 1248.6
Current children cumulated vsize (KiB) 310032

[startup+1242.3 s]
/proc/loadavg: 1.04 1.05 0.91 2/107 12039
/proc/meminfo: memFree=1462064/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=1295.18
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 44810 502363 49 100 6891 794 121435 398 15 0 1 0 54749220 137326592 6346 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159836005329808115 0 0 17 1 0 0 35
/proc/11894/statm: 33527 6346 1143 1 0 5164 0
[pid=12037] ppid=11894 vsize=27200 CPUtime=16.88
/proc/12037/stat : 12037 (clasp-1.3.3-x86) R 11894 12037 12037 0 -1 4202496 6896 0 0 0 1686 2 0 0 25 0 1 0 54871751 27852800 6528 1992294400 134512640 136080129 4287868496 18446744073709551615 134804917 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12037/statm: 6800 6528 174 383 0 6415 0
Current children cumulated CPU time (s) 1312.06
Current children cumulated vsize (KiB) 161308

[startup+1302.3 s]
/proc/loadavg: 1.09 1.05 0.91 2/107 12039
/proc/meminfo: memFree=1421888/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=1298.66
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 44880 502363 49 100 7222 811 121435 398 15 0 1 0 54749220 137326592 6346 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159836005329808115 0 0 17 1 0 0 35
/proc/11894/statm: 33527 6346 1143 1 0 5164 0
[pid=12037] ppid=11894 vsize=67124 CPUtime=76.51
/proc/12037/stat : 12037 (clasp-1.3.3-x86) R 11894 12037 12037 0 -1 4202496 16901 0 0 0 7644 7 0 0 25 0 1 0 54871751 68734976 16533 1992294400 134512640 136080129 4287868496 18446744073709551615 134804923 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12037/statm: 16781 16533 174 383 0 16396 0
Current children cumulated CPU time (s) 1375.17
Current children cumulated vsize (KiB) 201232

[startup+1362.3 s]
/proc/loadavg: 1.03 1.04 0.91 2/107 12050
/proc/meminfo: memFree=1457228/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=1423.18
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 48615 535282 49 100 7566 840 133495 417 15 0 1 0 54749220 137326592 6348 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159688670771686131 0 0 17 0 0 0 35
/proc/11894/statm: 33527 6348 1143 1 0 5164 0
[pid=12050] ppid=11894 vsize=31932 CPUtime=15.49
/proc/12050/stat : 12050 (clasp-1.3.3-x86) R 11894 12050 12050 0 -1 4202496 8092 0 0 0 1545 4 0 0 25 0 1 0 54883900 32698368 7726 1992294400 134512640 136080129 4290400976 18446744073709551615 134804891 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12050/statm: 7983 7726 174 383 0 7598 0
Current children cumulated CPU time (s) 1438.67
Current children cumulated vsize (KiB) 166040

[startup+1422.31 s]
/proc/loadavg: 1.08 1.05 0.92 2/107 12058
/proc/meminfo: memFree=1457352/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=1487.52
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 51171 557533 49 100 7895 875 139552 430 15 0 1 0 54749220 137326592 6348 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159688670771686131 0 0 17 0 0 0 35
/proc/11894/statm: 33527 6348 1143 1 0 5164 0
[pid=12058] ppid=11894 vsize=31672 CPUtime=14.71
/proc/12058/stat : 12058 (clasp-1.3.3-x86) R 11894 12058 12058 0 -1 4202496 8014 0 0 0 1469 2 0 0 25 0 1 0 54889978 32432128 7649 1992294400 134512640 136080129 4290123088 18446744073709551615 134588728 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12058/statm: 7918 7649 174 383 0 7533 0
Current children cumulated CPU time (s) 1502.23
Current children cumulated vsize (KiB) 165780

[startup+1482.3 s]
/proc/loadavg: 1.03 1.03 0.92 2/107 12060
/proc/meminfo: memFree=1424864/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=1491
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 51247 557533 49 100 8216 902 139552 430 15 0 1 0 54749220 137326592 6348 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159688670771686131 0 0 17 0 0 0 35
/proc/11894/statm: 33527 6348 1143 1 0 5164 0
[pid=12058] ppid=11894 vsize=64144 CPUtime=74.51
/proc/12058/stat : 12058 (clasp-1.3.3-x86) R 11894 12058 12058 0 -1 4202496 16138 0 0 0 7445 6 0 0 25 0 1 0 54889978 65683456 15773 1992294400 134512640 136080129 4290123088 18446744073709551615 134845193 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12058/statm: 16036 15773 174 383 0 15651 0
Current children cumulated CPU time (s) 1565.51
Current children cumulated vsize (KiB) 198252

[startup+1542.3 s]
/proc/loadavg: 1.09 1.04 0.93 2/107 12080
/proc/meminfo: memFree=1459956/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=1615.12
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 55008 594846 49 100 8547 943 151573 449 16 0 1 0 54749220 137326592 6349 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159836005329808115 0 0 17 1 0 0 35
/proc/11894/statm: 33527 6349 1143 1 0 5164 0
[pid=12078] ppid=11894 vsize=28988 CPUtime=13.74
/proc/12078/stat : 12078 (clasp-1.3.3-x86) R 11894 12078 12078 0 -1 4202496 7346 0 0 0 1371 3 0 0 25 0 1 0 54902075 29683712 6983 1992294400 134512640 136080129 4290215824 18446744073709551615 134804923 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12078/statm: 7247 6983 174 383 0 6862 0
Current children cumulated CPU time (s) 1628.86
Current children cumulated vsize (KiB) 163096

[startup+1602.3 s]
/proc/loadavg: 1.03 1.03 0.93 2/107 12080
/proc/meminfo: memFree=1433048/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=1618.56
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 55090 594846 49 100 8856 978 151573 449 15 0 1 0 54749220 137326592 6349 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159836005329808115 0 0 17 1 0 0 35
/proc/11894/statm: 33527 6349 1143 1 0 5164 0
[pid=12078] ppid=11894 vsize=55436 CPUtime=73.71
/proc/12078/stat : 12078 (clasp-1.3.3-x86) R 11894 12078 12078 0 -1 4202496 14051 0 0 0 7365 6 0 0 25 0 1 0 54902075 56766464 13613 1992294400 134512640 136080129 4290215824 18446744073709551615 134804902 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12078/statm: 13859 13613 174 383 0 13474 0
Current children cumulated CPU time (s) 1692.27
Current children cumulated vsize (KiB) 189544

[startup+1662.3 s]
/proc/loadavg: 1.11 1.05 0.94 2/107 12091
/proc/meminfo: memFree=1458840/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=1742.99
/proc/11894/stat : 11894 (python) R 11892 11894 11869 0 -1 4202496 58853 629549 49 100 9191 1016 163621 471 15 0 1 0 54749220 137326592 6350 1992294400 4194304 4196484 140734385517984 18446744073709551615 47224417357985 0 0 16781312 2 0 0 0 17 0 0 0 35
/proc/11894/statm: 33527 6350 1143 1 0 5164 0
[pid=12091] ppid=11894 vsize=30056 CPUtime=12.72
/proc/12091/stat : 12091 (clasp-1.3.3-x86) R 11894 12091 12091 0 -1 4202496 7607 0 0 0 1269 3 0 0 25 0 1 0 54914169 30777344 7238 1992294400 134512640 136080129 4289098480 18446744073709551615 134579949 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12091/statm: 7514 7238 174 383 0 7129 0
Current children cumulated CPU time (s) 1755.71
Current children cumulated vsize (KiB) 164164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1704.4 s]
/proc/loadavg: 1.10 1.06 0.94 2/107 12093
/proc/meminfo: memFree=1427220/2059040 swapFree=4136404/4192956
[pid=11894] ppid=11892 vsize=134108 CPUtime=1745.45
/proc/11894/stat : 11894 (python) S 11892 11894 11869 0 -1 4202496 58917 629549 49 100 9415 1038 163621 471 15 0 1 0 54749220 137326592 6350 1992294400 4194304 4196484 140734385517984 18446744073709551615 219595714063 0 0 16781312 2 159688670771686131 0 0 17 0 0 0 35
/proc/11894/statm: 33527 6350 1143 1 0 5164 0
[pid=12091] ppid=11894 vsize=61484 CPUtime=54.58
/proc/12091/stat : 12091 (clasp-1.3.3-x86) R 11894 12091 12091 0 -1 4202496 15483 0 0 0 5453 5 0 0 25 0 1 0 54914169 62959616 15114 1992294400 134512640 136080129 4289098480 18446744073709551615 134842278 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12091/statm: 15371 15114 174 383 0 14986 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 195592

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11894 and gives
#  childrusage.ru_utime.tv_sec=1730
#  childrusage.ru_utime.tv_usec=370943
#  childrusage.ru_stime.tv_sec=15
#  childrusage.ru_stime.tv_usec=106703
# CPU time returned by wait4() is 1745.48
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1704.42
CPU time (s): 1800.03
CPU user time (s): 1784.89
CPU system time (s): 15.14
CPU usage (%): 105.61
Max. virtual memory (cumulated for all children) (KiB): 1613652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1730.37
system time used= 15.1067
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 688467
page faults= 149
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14761
involuntary context switches= 27154

runsolver used 2.91856 second user time and 8.23575 second system time

The end

Launcher Data 

Begin job on node086 at 2010-06-21 17:35:54
IDJOB=2675952
IDBENCH=1153
IDSOLVER=1178
FILE ID=node086/2675952-1277134554
PBS_JOBID= 11182066
Free space on /tmp= 62540 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin16.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2675952-1277134554/watcher-2675952-1277134554 -o /tmp/evaluation-result-2675952-1277134554/solver-2675952-1277134554 -C 1800 -W 2000 -M 1800  solver HOME/instance-2675952-1277134554.opb 1337528790 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= d761333f7ff9a755d3cd90e52b11f227
RANDOM SEED=1337528790

node086.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1542452 kB
Buffers:        124732 kB
Cached:         306888 kB
SwapCached:       9528 kB
Active:         186116 kB
Inactive:       257828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1542452 kB
SwapTotal:     4192956 kB
SwapFree:      4136404 kB
Dirty:           22100 kB
Writeback:           0 kB
AnonPages:       10968 kB
Mapped:           9168 kB
Slab:            50808 kB
PageTables:       3936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182156 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62520 MiB
End job on node086 at 2010-06-21 18:04:22