Trace number 2675969

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.05 1695.62

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin18.opb
MD5SUMf17e31cb6762bd0e8d3e659d7bd1050c
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
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables23409
Total number of constraints1386
Number of constraints which are clauses612
Number of constraints which are cardinality constraints (but not clauses)774
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint153
Maximum length of a constraint289
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 291
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

[startup+0.0127351 s]
/proc/loadavg: 0.01 0.35 0.65 2/106 11215
/proc/meminfo: memFree=1537176/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=24036 CPUtime=0
/proc/11215/stat : 11215 (runsolver) D 11213 11215 11190 0 -1 4202560 82 0 0 0 0 0 0 0 17 0 1 0 54746222 24612864 106 1992294400 4194304 4302564 140734755099664 18446744073709551615 262178186231 0 0 4096 24578 18446744071562154983 0 0 17 1 0 0 0
/proc/11215/statm: 6009 106 69 27 0 2647 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24036

[startup+0.100757 s]
/proc/loadavg: 0.01 0.35 0.65 2/106 11215
/proc/meminfo: memFree=1537176/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=17284 CPUtime=0
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 931 0 1 0 0 0 0 0 16 0 1 0 54746222 17698816 681 1992294400 4194304 4196484 140737342375728 18446744073709551615 262178361189 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 7
/proc/11215/statm: 4321 681 317 1 0 417 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 17284

[startup+0.300772 s]
/proc/loadavg: 0.01 0.35 0.65 2/106 11215
/proc/meminfo: memFree=1537176/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=18508 CPUtime=0.06
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 2065 0 10 0 3 3 0 0 15 0 1 0 54746222 18952192 1075 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178363392 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 10
/proc/11215/statm: 4627 1075 423 1 0 607 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18508

[startup+0.700835 s]
/proc/loadavg: 0.01 0.35 0.65 2/106 11215
/proc/meminfo: memFree=1537176/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=54340 CPUtime=0.18
/proc/11215/stat : 11215 (python) R 11213 11215 11190 0 -1 4202496 3190 0 26 0 10 8 0 0 15 0 1 0 54746222 55644160 2099 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178363392 0 2147483391 16781312 2 0 0 0 17 0 0 0 15
/proc/11215/statm: 13585 2099 565 1 0 1485 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 54340

[startup+1.50066 s]
/proc/loadavg: 0.01 0.35 0.65 2/107 11216
/proc/meminfo: memFree=1516176/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=98792 CPUtime=0.48
/proc/11215/stat : 11215 (python) R 11213 11215 11190 0 -1 4202496 4823 0 43 0 27 21 0 0 15 0 1 0 54746222 101163008 3579 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178361349 0 0 16781312 2 0 0 0 17 0 0 0 24
/proc/11215/statm: 24698 3579 1022 1 0 2555 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 98792

[startup+3.10065 s]
/proc/loadavg: 0.01 0.35 0.65 2/107 11220
/proc/meminfo: memFree=1504672/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=118208 CPUtime=0.95
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 8585 922 45 9 60 34 0 1 15 0 1 0 54746222 121044992 5825 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178361189 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 31
/proc/11215/statm: 29552 5825 1059 1 0 4806 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 118208
heavy processes:

[startup+6.30063 s]
/proc/loadavg: 0.16 0.38 0.65 1/107 11220
/proc/meminfo: memFree=1495812/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=132056 CPUtime=1.29
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 10207 922 50 9 84 44 0 1 16 0 1 0 54746222 135225344 6306 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159688670771686122 0 0 17 0 0 0 35
/proc/11215/statm: 33014 6306 1133 1 0 5166 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 132056
heavy processes:

[startup+12.7006 s]
/proc/loadavg: 0.23 0.39 0.65 2/108 11221
/proc/meminfo: memFree=1469476/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=132056 CPUtime=1.68
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 10230 922 50 9 118 49 0 1 15 0 1 0 54746222 135225344 6306 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159688670771686122 0 0 17 0 0 0 35
/proc/11215/statm: 33014 6306 1133 1 0 5166 0
[pid=11221] ppid=11215 vsize=26692 CPUtime=6.74
/proc/11221/stat : 11221 (clasp-1.3.3-x86) R 11215 11221 11221 0 -1 4202496 6865 0 0 0 671 3 0 0 25 0 1 0 54746811 27332608 6401 1992294400 134512640 136080129 4287843200 18446744073709551615 134804910 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11221/statm: 6673 6401 174 383 0 6288 0
Current children cumulated CPU time (s) 8.42
Current children cumulated vsize (KiB) 158748
heavy processes:

[startup+25.5005 s]
/proc/loadavg: 0.40 0.42 0.66 2/108 11224
/proc/meminfo: memFree=1459932/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=12.8
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 11553 11062 50 10 201 61 1011 7 15 0 1 0 54746222 137334784 6329 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159836005329808106 0 0 17 1 0 0 35
/proc/11215/statm: 33529 6329 1143 1 0 5166 0
[pid=11224] ppid=11215 vsize=35660 CPUtime=9.27
/proc/11224/stat : 11224 (clasp-1.3.3-x86) R 11215 11224 11224 0 -1 4202496 9114 0 0 0 923 4 0 0 25 0 1 0 54747844 36515840 8650 1992294400 134512640 136080129 4294543536 18446744073709551615 134804910 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11224/statm: 8915 8650 174 383 0 8530 0
Current children cumulated CPU time (s) 22.07
Current children cumulated vsize (KiB) 169776

[startup+51.1004 s]
/proc/loadavg: 0.60 0.47 0.67 2/108 11226
/proc/meminfo: memFree=1428560/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=14.49
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 11639 11062 50 10 348 83 1011 7 15 0 1 0 54746222 137334784 6329 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159836005329808106 0 0 17 1 0 0 35
/proc/11215/statm: 33529 6329 1143 1 0 5166 0
[pid=11224] ppid=11215 vsize=67676 CPUtime=34.85
/proc/11224/stat : 11224 (clasp-1.3.3-x86) R 11215 11224 11224 0 -1 4202496 17085 0 0 0 3477 8 0 0 25 0 1 0 54747844 69300224 16621 1992294400 134512640 136080129 4294543536 18446744073709551615 134804979 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11224/statm: 16919 16621 174 383 0 16534 0
Current children cumulated CPU time (s) 49.34
Current children cumulated vsize (KiB) 201792

[startup+102.308 s]
/proc/loadavg: 0.88 0.56 0.69 2/108 11229
/proc/meminfo: memFree=1445052/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=68.65
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 12906 29692 50 10 666 126 6055 18 15 0 1 0 54746222 137334784 6331 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159688670771686122 0 0 17 0 0 0 35
/proc/11215/statm: 33529 6331 1143 1 0 5166 0
[pid=11229] ppid=11215 vsize=52300 CPUtime=35.46
/proc/11229/stat : 11229 (wbo1.4a) R 11215 11229 11229 0 -1 4202496 13365 0 0 0 3531 15 0 0 25 0 1 0 54752904 53555200 12505 1992294400 134512640 135751879 4288294288 18446744073709551615 134518464 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11229/statm: 13075 12505 139 303 0 12770 0
Current children cumulated CPU time (s) 104.11
Current children cumulated vsize (KiB) 186416

[startup+162.301 s]
/proc/loadavg: 1.05 0.67 0.71 2/108 11234
/proc/meminfo: memFree=1425460/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=122.75
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 14239 48934 50 10 1001 173 11061 40 15 0 1 0 54746222 137334784 6333 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159688670771686122 0 0 17 0 0 0 35
/proc/11215/statm: 33529 6333 1143 1 0 5166 0
[pid=11234] ppid=11215 vsize=70708 CPUtime=45.12
/proc/11234/stat : 11234 (clasp-1.3.3-x86) R 11215 11234 11234 0 -1 4202496 17834 0 0 0 4506 6 0 0 25 0 1 0 54757938 72404992 17365 1992294400 134512640 136080129 4288554048 18446744073709551615 134804917 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11234/statm: 17677 17365 174 383 0 17292 0
Current children cumulated CPU time (s) 167.87
Current children cumulated vsize (KiB) 204824

[startup+222.3 s]
/proc/loadavg: 1.02 0.72 0.73 2/108 11239
/proc/meminfo: memFree=1480640/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=227.24
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 15455 71188 50 10 1350 222 21101 51 15 0 1 0 54746222 137334784 6333 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159688670771686122 0 0 17 0 0 0 35
/proc/11215/statm: 33529 6333 1143 1 0 5166 0
[pid=11239] ppid=11215 vsize=16696 CPUtime=4.55
/proc/11239/stat : 11239 (wbo1.4a) R 11215 11239 11239 0 -1 4202496 4459 0 0 0 449 6 0 0 25 0 1 0 54767996 17096704 3594 1992294400 134512640 135751879 4291161376 18446744073709551615 134605057 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11239/statm: 4174 3594 139 303 0 3869 0
Current children cumulated CPU time (s) 231.79
Current children cumulated vsize (KiB) 150812

[startup+282.301 s]
/proc/loadavg: 1.10 0.80 0.75 2/108 11241
/proc/meminfo: memFree=1408596/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=231.03
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 15560 71188 50 10 1682 269 21101 51 15 0 1 0 54746222 137334784 6333 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159688670771686122 0 0 17 0 0 0 35
/proc/11215/statm: 33529 6333 1143 1 0 5166 0
[pid=11239] ppid=11215 vsize=89124 CPUtime=64.54
/proc/11239/stat : 11239 (wbo1.4a) R 11215 11239 11239 0 -1 4202496 22577 0 0 0 6430 24 0 0 25 0 1 0 54767996 91262976 21712 1992294400 134512640 135751879 4291161376 18446744073709551615 134605057 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11239/statm: 22281 21712 139 303 0 21976 0
Current children cumulated CPU time (s) 295.57
Current children cumulated vsize (KiB) 223240

[startup+342.301 s]
/proc/loadavg: 1.10 0.85 0.77 2/108 11246
/proc/meminfo: memFree=1458568/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=335.55
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 16835 104144 50 10 2034 322 31115 84 15 0 1 0 54746222 137334784 6335 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159688670771686122 0 0 17 0 0 0 35
/proc/11215/statm: 33529 6335 1143 1 0 5166 0
[pid=11244] ppid=11215 vsize=39124 CPUtime=24.02
/proc/11244/stat : 11244 (wbo1.4b) R 11215 11244 11244 0 -1 4202496 10463 0 0 0 2391 11 0 0 25 0 1 0 54778048 40062976 9184 1992294400 134512640 135751879 4290044576 18446744073709551615 134606389 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11244/statm: 9781 9184 143 303 0 9476 0
Current children cumulated CPU time (s) 359.57
Current children cumulated vsize (KiB) 173240

[startup+402.301 s]
/proc/loadavg: 1.22 0.94 0.80 2/120 11261
/proc/meminfo: memFree=1355368/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=389.79
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 18155 123811 50 10 2378 373 36123 105 15 0 1 0 54746222 137334784 6337 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159688670771686122 0 0 17 0 0 0 35
/proc/11215/statm: 33529 6337 1143 1 0 5166 0
[pid=11249] ppid=11215 vsize=1480136 CPUtime=35
/proc/11249/stat : 11249 (java) S 11215 11249 11249 0 -1 4202496 37843 0 1 0 3484 16 0 0 15 0 13 0 54783082 1515659264 35879 1992294400 134512640 134550932 4294636256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11249/statm: 370034 35879 1435 10 0 367336 0
[pid=11249/tid=11250] ppid=11215 vsize=1480136 CPUtime=33.22
/proc/11249/task/11250/stat : 11250 (java) R 11215 11249 11249 0 -1 4202560 30938 0 1 0 3309 13 0 0 25 0 13 0 54783085 1515659264 35879 1992294400 134512640 134550932 4294636256 18446744073709551615 4109048592 0 4 0 16800975 0 0 0 -1 1 0 0 3
[pid=11249/tid=11251] ppid=11215 vsize=1480136 CPUtime=0.03
/proc/11249/task/11251/stat : 11251 (java) S 11215 11249 11249 0 -1 4202560 1013 0 0 0 3 0 0 0 16 0 13 0 54783089 1515659264 35879 1992294400 134512640 134550932 4294636256 18446744073709551615 4294960144 0 4 0 16800975 18446604437837154496 0 0 -1 1 0 0 0
[pid=11249/tid=11252] ppid=11215 vsize=1480136 CPUtime=0.03
/proc/11249/task/11252/stat : 11252 (java) S 11215 11249 11249 0 -1 4202560 1413 0 0 0 3 0 0 0 15 0 13 0 54783089 1515659264 35879 1992294400 134512640 134550932 4294636256 18446744073709551615 4294960144 0 4 0 16800975 18446604437837154496 0 0 -1 0 0 0 0
[pid=11249/tid=11253] ppid=11215 vsize=1480136 CPUtime=0
/proc/11249/task/11253/stat : 11253 (java) S 11215 11249 11249 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 13 0 54783090 1515659264 35879 1992294400 134512640 134550932 4294636256 18446744073709551615 4294960144 0 0 0 16800975 18446604437837154496 0 0 -1 0 0 0 0
[pid=11249/tid=11254] ppid=11215 vsize=1480136 CPUtime=0
/proc/11249/task/11254/stat : 11254 (java) S 11215 11249 11249 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 54783091 1515659264 35879 1992294400 134512640 134550932 4294636256 18446744073709551615 4294960144 0 4 0 16800975 18446604437837154496 0 0 -1 1 0 0 0

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

/proc/11339/statm: 28203 27941 174 383 0 27818 0
Current children cumulated CPU time (s) 1063.37
Current children cumulated vsize (KiB) 246928

[startup+1062.3 s]
/proc/loadavg: 1.06 1.04 0.91 2/108 11345
/proc/meminfo: memFree=1381876/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=880
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 40754 421904 50 12 6209 935 80522 334 15 0 1 0 54746222 137334784 6346 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159688670771686122 0 0 17 0 0 0 35
/proc/11215/statm: 33529 6346 1143 1 0 5166 0
[pid=11339] ppid=11215 vsize=113240 CPUtime=246.74
/proc/11339/stat : 11339 (clasp-1.3.3-x86) R 11215 11339 11339 0 -1 4202496 28499 0 0 0 24661 13 0 0 25 0 1 0 54827621 115957760 28029 1992294400 134512640 136080129 4290561456 18446744073709551615 134808248 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11339/statm: 28310 28029 174 383 0 27925 0
Current children cumulated CPU time (s) 1126.74
Current children cumulated vsize (KiB) 247356

[startup+1122.3 s]
/proc/loadavg: 1.05 1.05 0.92 2/108 11350
/proc/meminfo: memFree=1483308/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=1184.28
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 41970 451448 50 12 6546 987 110544 351 15 0 1 0 54746222 137334784 6347 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159688670771686122 0 0 17 0 0 0 35
/proc/11215/statm: 33529 6347 1143 1 0 5166 0
[pid=11350] ppid=11215 vsize=20916 CPUtime=5.97
/proc/11350/stat : 11350 (bsolo_pb10) R 11215 11350 11350 0 -1 4202496 3582 0 0 0 594 3 0 0 25 0 1 0 54857854 21417984 2674 1992294400 134512640 137138936 4290759168 18446744073709551615 134542289 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11350/statm: 5229 2674 184 642 0 4585 0
Current children cumulated CPU time (s) 1190.25
Current children cumulated vsize (KiB) 155032

[startup+1182.3 s]
/proc/loadavg: 1.07 1.05 0.93 2/108 11352
/proc/meminfo: memFree=1358192/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=1188.08
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 42090 451448 50 12 6881 1032 110544 351 15 0 1 0 54746222 137334784 6347 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159688670771686122 0 0 17 0 0 0 35
/proc/11215/statm: 33529 6347 1143 1 0 5166 0
[pid=11350] ppid=11215 vsize=147048 CPUtime=65.95
/proc/11350/stat : 11350 (bsolo_pb10) R 11215 11350 11350 0 -1 4202496 36280 0 0 0 6541 54 0 0 25 0 1 0 54857854 150577152 34255 1992294400 134512640 137138936 4290759168 18446744073709551615 134542770 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11350/statm: 36762 34255 192 642 0 36118 0
Current children cumulated CPU time (s) 1254.03
Current children cumulated vsize (KiB) 281164

[startup+1242.3 s]
/proc/loadavg: 1.06 1.05 0.93 2/108 11360
/proc/meminfo: memFree=1453424/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=1302.99
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 44576 512716 50 12 7230 1081 121570 418 16 0 1 0 54746222 137334784 6347 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159836005329808106 0 0 17 1 0 0 35
/proc/11215/statm: 33529 6347 1143 1 0 5166 0
[pid=11358] ppid=11215 vsize=41676 CPUtime=14.77
/proc/11358/stat : 11358 (clasp-1.3.3-x86) R 11215 11358 11358 0 -1 4202496 10623 0 0 0 1473 4 0 0 25 0 1 0 54868965 42676224 10148 1992294400 134512640 136080129 4288662560 18446744073709551615 134850389 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11358/statm: 10419 10148 174 383 0 10034 0
Current children cumulated CPU time (s) 1317.76
Current children cumulated vsize (KiB) 175792

[startup+1302.3 s]
/proc/loadavg: 1.02 1.04 0.93 2/108 11360
/proc/meminfo: memFree=1385844/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=1307.01
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 44660 512716 50 12 7588 1125 121570 418 15 0 1 0 54746222 137334784 6347 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159836005329808106 0 0 17 1 0 0 35
/proc/11215/statm: 33529 6347 1143 1 0 5166 0
[pid=11358] ppid=11215 vsize=109152 CPUtime=74.41
/proc/11358/stat : 11358 (clasp-1.3.3-x86) R 11215 11358 11358 0 -1 4202496 27440 0 0 0 7430 11 0 0 25 0 1 0 54868965 111771648 26965 1992294400 134512640 136080129 4288662560 18446744073709551615 134804960 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11358/statm: 27288 26965 174 383 0 26903 0
Current children cumulated CPU time (s) 1381.42
Current children cumulated vsize (KiB) 243268

[startup+1362.3 s]
/proc/loadavg: 1.01 1.03 0.93 2/108 11371
/proc/meminfo: memFree=1462972/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=1431.96
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 48401 562301 50 12 7948 1177 133626 445 15 0 1 0 54746222 137334784 6348 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159688670771686122 0 0 17 0 0 0 35
/proc/11215/statm: 33529 6348 1143 1 0 5166 0
[pid=11371] ppid=11215 vsize=32780 CPUtime=13.19
/proc/11371/stat : 11371 (clasp-1.3.3-x86) R 11215 11371 11371 0 -1 4202496 8399 0 0 0 1316 3 0 0 25 0 1 0 54881123 33566720 7928 1992294400 134512640 136080129 4294833872 18446744073709551615 134588658 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11371/statm: 8195 7928 174 383 0 7810 0
Current children cumulated CPU time (s) 1445.15
Current children cumulated vsize (KiB) 166896

[startup+1422.31 s]
/proc/loadavg: 1.06 1.04 0.94 2/108 11379
/proc/meminfo: memFree=1455284/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=1496.63
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 50974 593179 50 12 8289 1232 139677 465 15 0 1 0 54746222 137334784 6349 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159836005329808106 0 0 17 1 0 0 35
/proc/11215/statm: 33529 6349 1143 1 0 5166 0
[pid=11379] ppid=11215 vsize=39628 CPUtime=12.12
/proc/11379/stat : 11379 (clasp-1.3.3-x86) R 11215 11379 11379 0 -1 4202496 10108 0 0 0 1208 4 0 0 25 0 1 0 54887240 40579072 9638 1992294400 134512640 136080129 4292968800 18446744073709551615 134804904 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11379/statm: 9907 9638 174 383 0 9522 0
Current children cumulated CPU time (s) 1508.75
Current children cumulated vsize (KiB) 173744

[startup+1482.3 s]
/proc/loadavg: 1.02 1.03 0.94 2/108 11381
/proc/meminfo: memFree=1391920/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=1500.56
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 51053 593179 50 12 8632 1282 139677 465 15 0 1 0 54746222 137334784 6349 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159836005329808106 0 0 17 1 0 0 35
/proc/11215/statm: 33529 6349 1143 1 0 5166 0
[pid=11379] ppid=11215 vsize=103032 CPUtime=72.1
/proc/11379/stat : 11379 (clasp-1.3.3-x86) R 11215 11379 11379 0 -1 4202496 25925 0 0 0 7198 12 0 0 25 0 1 0 54887240 105504768 25455 1992294400 134512640 136080129 4292968800 18446744073709551615 134602223 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11379/statm: 25758 25455 174 383 0 25373 0
Current children cumulated CPU time (s) 1572.66
Current children cumulated vsize (KiB) 237148

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 0.94 2/108 11401
/proc/meminfo: memFree=1452432/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=1625.59
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 54862 642316 50 12 9002 1331 151733 493 15 0 1 0 54746222 137334784 6350 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159836005329808106 0 0 17 1 0 0 35
/proc/11215/statm: 33529 6350 1143 1 0 5166 0
[pid=11399] ppid=11215 vsize=41844 CPUtime=11.13
/proc/11399/stat : 11399 (clasp-1.3.3-x86) R 11215 11399 11399 0 -1 4202496 10658 0 0 0 1107 6 0 0 25 0 1 0 54899339 42848256 10182 1992294400 134512640 136080129 4293813040 18446744073709551615 134844922 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11399/statm: 10461 10182 174 383 0 10076 0
Current children cumulated CPU time (s) 1636.72
Current children cumulated vsize (KiB) 175960

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 0.94 2/108 11401
/proc/meminfo: memFree=1409652/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=1629.53
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 54960 642316 50 12 9354 1373 151733 493 15 0 1 0 54746222 137334784 6350 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159836005329808106 0 0 17 1 0 0 35
/proc/11215/statm: 33529 6350 1143 1 0 5166 0
[pid=11399] ppid=11215 vsize=84688 CPUtime=71.11
/proc/11399/stat : 11399 (clasp-1.3.3-x86) R 11215 11399 11399 0 -1 4202496 21341 0 0 0 7099 12 0 0 25 0 1 0 54899339 86720512 20865 1992294400 134512640 136080129 4293813040 18446744073709551615 134804920 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11399/statm: 21172 20865 174 383 0 20787 0
Current children cumulated CPU time (s) 1700.64
Current children cumulated vsize (KiB) 218804

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 0.94 2/108 11412
/proc/meminfo: memFree=1457640/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=1754.42
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 58717 690188 50 12 9721 1420 163781 520 15 0 1 0 54746222 137334784 6351 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159836005329808106 0 0 17 1 0 0 35
/proc/11215/statm: 33529 6351 1143 1 0 5166 0
[pid=11412] ppid=11215 vsize=37064 CPUtime=10.14
/proc/11412/stat : 11412 (clasp-1.3.3-x86) R 11215 11412 11412 0 -1 4202496 9455 0 0 0 1008 6 0 0 25 0 1 0 54911437 37953536 8982 1992294400 134512640 136080129 4290039744 18446744073709551615 134808099 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11412/statm: 9266 8982 174 383 0 8881 0
Current children cumulated CPU time (s) 1764.56
Current children cumulated vsize (KiB) 171180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1695.6 s]
/proc/loadavg: 1.00 1.01 0.94 2/108 11414
/proc/meminfo: memFree=1434824/2059040 swapFree=4141000/4192956
[pid=11215] ppid=11213 vsize=134116 CPUtime=1756.62
/proc/11215/stat : 11215 (python) S 11213 11215 11190 0 -1 4202496 58784 690188 50 12 9916 1445 163781 520 15 0 1 0 54746222 137334784 6351 1992294400 4194304 4196484 140734250280256 18446744073709551615 262178385423 0 0 16781312 2 159836005329808106 0 0 17 1 0 0 35
/proc/11215/statm: 33529 6351 1143 1 0 5166 0
[pid=11412] ppid=11215 vsize=59804 CPUtime=43.43
/proc/11412/stat : 11412 (clasp-1.3.3-x86) R 11215 11412 11412 0 -1 4202496 15149 0 0 0 4334 9 0 0 25 0 1 0 54911437 61239296 14676 1992294400 134512640 136080129 4290039744 18446744073709551615 134580645 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11412/statm: 14951 14676 174 383 0 14566 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 193920

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 11215 and gives
#  childrusage.ru_utime.tv_sec=1736
#  childrusage.ru_utime.tv_usec=992936
#  childrusage.ru_stime.tv_sec=19
#  childrusage.ru_stime.tv_usec=667010
# CPU time returned by wait4() is 1756.66
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1695.62
CPU time (s): 1800.05
CPU user time (s): 1780.31
CPU system time (s): 19.74
CPU usage (%): 106.159
Max. virtual memory (cumulated for all children) (KiB): 1615200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1736.99
system time used= 19.667
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 748974
page faults= 62
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14523
involuntary context switches= 29371

runsolver used 3.32449 second user time and 8.32973 second system time

The end

Launcher Data 

Begin job on node059 at 2010-06-21 17:35:54
IDJOB=2675969
IDBENCH=1155
IDSOLVER=1178
FILE ID=node059/2675969-1277134554
PBS_JOBID= 11182071
Free space on /tmp= 62504 MiB

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

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

MD5SUM BENCH= f17e31cb6762bd0e8d3e659d7bd1050c
RANDOM SEED=1337528790

node059.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	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1537580 kB
Buffers:        119064 kB
Cached:         302028 kB
SwapCached:       6388 kB
Active:         238612 kB
Inactive:       196840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1537580 kB
SwapTotal:     4192956 kB
SwapFree:      4141000 kB
Dirty:           22932 kB
Writeback:           0 kB
AnonPages:       11904 kB
Mapped:          12924 kB
Slab:            64164 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182840 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= 62480 MiB
End job on node059 at 2010-06-21 18:04:13