Trace number 2676288

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.06 1680.52

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
MD5SUM732cdc3fa8b0bf0f47e882c13d928a6d
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1552.26
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4626
Total number of constraints30747
Number of constraints which are clauses29724
Number of constraints which are cardinality constraints (but not clauses)945
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 101
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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: 1.51 1.01 0.84 3/105 11356
/proc/meminfo: memFree=1597936/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=16708 CPUtime=0
/proc/11356/stat : 11356 (python) R 11354 11356 10694 0 -1 4202496 756 0 0 0 0 0 0 0 21 0 1 0 54782391 17108992 521 1992294400 4194304 4196484 140735677893696 18446744073709551615 235233968016 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11356/statm: 4177 521 281 1 0 273 0

[startup+0.0510739 s]
/proc/loadavg: 1.51 1.01 0.84 3/105 11356
/proc/meminfo: memFree=1597936/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=18468 CPUtime=0.04
/proc/11356/stat : 11356 (python) R 11354 11356 10694 0 -1 4202496 1955 0 0 0 2 2 0 0 21 0 1 0 54782391 18911232 968 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217040069 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11356/statm: 4617 971 408 1 0 597 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18468

[startup+0.101073 s]
/proc/loadavg: 1.51 1.01 0.84 3/105 11356
/proc/meminfo: memFree=1597936/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=34220 CPUtime=0.09
/proc/11356/stat : 11356 (python) R 11354 11356 10694 0 -1 4202496 2421 0 0 0 5 4 0 0 21 0 1 0 54782391 35041280 1394 1992294400 4194304 4196484 140734267516784 18446744073709551615 47240268761026 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11356/statm: 8555 1394 462 1 0 912 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34220

[startup+0.301096 s]
/proc/loadavg: 1.51 1.01 0.84 3/105 11356
/proc/meminfo: memFree=1597936/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=71508 CPUtime=0.26
/proc/11356/stat : 11356 (python) R 11354 11356 10694 0 -1 4202496 4228 0 0 0 17 9 0 0 21 0 1 0 54782391 73224192 3012 1992294400 4194304 4196484 140734267516784 18446744073709551615 47240268727608 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11356/statm: 17877 3012 706 1 0 2364 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 71508

[startup+0.70114 s]
/proc/loadavg: 1.51 1.01 0.84 3/105 11356
/proc/meminfo: memFree=1597936/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=101068 CPUtime=0.59
/proc/11356/stat : 11356 (python) R 11354 11356 10694 0 -1 4202496 5465 0 0 0 38 21 0 0 21 0 1 0 54782391 103493632 4145 1992294400 4194304 4196484 140734267516784 18446744073709551615 235229203284 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11356/statm: 25267 4146 1023 1 0 3124 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 101068

[startup+1.50123 s]
/proc/loadavg: 1.51 1.01 0.84 1/106 11361
/proc/meminfo: memFree=1578088/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=119928 CPUtime=1.04
/proc/11356/stat : 11356 (python) D 11354 11356 10694 0 -1 4202496 9199 929 0 0 73 31 0 0 22 0 1 0 54782391 122806272 6316 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217385015 0 0 16781312 2 18446744071562154983 0 0 17 1 0 0 0
/proc/11356/statm: 29982 6316 1063 1 0 5236 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 119928

[startup+3.10142 s]
/proc/loadavg: 1.51 1.01 0.84 1/106 11361
/proc/meminfo: memFree=1575732/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=132052 CPUtime=1.19
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 10245 929 0 0 86 33 0 0 19 0 1 0 54782391 135221248 6305 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 139
/proc/11356/statm: 33013 6305 1133 1 0 5165 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 132052
heavy processes:

[startup+6.30178 s]
/proc/loadavg: 1.63 1.04 0.85 2/107 11362
/proc/meminfo: memFree=1572748/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=132052 CPUtime=1.42
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 10257 929 0 0 106 36 0 0 15 0 1 0 54782391 135221248 6305 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 139
/proc/11356/statm: 33013 6305 1133 1 0 5165 0
[pid=11362] ppid=11356 vsize=5452 CPUtime=3.57
/proc/11362/stat : 11362 (clasp-1.3.3-x86) R 11356 11362 11362 0 -1 4202496 1444 0 0 0 356 1 0 0 25 0 1 0 54782661 5582848 1128 1992294400 134512640 136080129 4287547136 18446744073709551615 134588761 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11362/statm: 1363 1128 175 383 0 978 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 137504
heavy processes:

[startup+12.7015 s]
/proc/loadavg: 1.58 1.04 0.85 2/107 11362
/proc/meminfo: memFree=1571136/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=132052 CPUtime=1.87
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 10279 929 0 0 147 40 0 0 15 0 1 0 54782391 135221248 6305 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 139
/proc/11356/statm: 33013 6305 1133 1 0 5165 0
[pid=11362] ppid=11356 vsize=7168 CPUtime=9.92
/proc/11362/stat : 11362 (clasp-1.3.3-x86) R 11356 11362 11362 0 -1 4202496 1866 0 0 0 990 2 0 0 25 0 1 0 54782661 7340032 1550 1992294400 134512640 136080129 4287547136 18446744073709551615 134849034 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11362/statm: 1792 1550 175 383 0 1407 0
Current children cumulated CPU time (s) 11.79
Current children cumulated vsize (KiB) 139220

[startup+25.501 s]
/proc/loadavg: 1.45 1.04 0.85 2/107 11365
/proc/meminfo: memFree=1570516/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=13.11
/proc/11356/stat : 11356 (python) R 11354 11356 10694 0 -1 4202496 11602 3754 0 0 235 51 1021 4 15 0 1 0 54782391 137330688 6328 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217073118 0 0 16781312 2 0 0 0 17 0 0 0 139
/proc/11356/statm: 33528 6328 1143 1 0 5165 0
[pid=11365] ppid=11356 vsize=7828 CPUtime=12.34
/proc/11365/stat : 11365 (clasp-1.3.3-x86) R 11356 11365 11365 0 -1 4202496 2013 0 0 0 1234 0 0 0 25 0 1 0 54783697 8015872 1700 1992294400 134512640 136080129 4286620800 18446744073709551615 134588823 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11365/statm: 1957 1700 175 383 0 1572 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 141940

[startup+51.1009 s]
/proc/loadavg: 1.36 1.05 0.86 2/107 11365
/proc/meminfo: memFree=1568532/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=14.93
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 11683 3754 0 0 397 71 1021 4 16 0 1 0 54782391 137330688 6328 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 139
/proc/11356/statm: 33528 6328 1143 1 0 5165 0
[pid=11365] ppid=11356 vsize=10096 CPUtime=37.79
/proc/11365/stat : 11365 (clasp-1.3.3-x86) R 11356 11365 11365 0 -1 4202496 2596 0 0 0 3778 1 0 0 25 0 1 0 54783697 10338304 2283 1992294400 134512640 136080129 4286620800 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11365/statm: 2524 2283 175 383 0 2139 0
Current children cumulated CPU time (s) 52.72
Current children cumulated vsize (KiB) 144208

[startup+102.308 s]
/proc/loadavg: 1.16 1.04 0.87 2/107 11370
/proc/meminfo: memFree=1526620/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=69.41
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 12939 7477 0 0 761 113 6060 7 16 0 1 0 54782391 137330688 6330 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 139
/proc/11356/statm: 33528 6330 1143 1 0 5165 0
[pid=11368] ppid=11356 vsize=52752 CPUtime=38.46
/proc/11368/stat : 11368 (wbo1.4a) R 11356 11368 11368 0 -1 4202496 13276 0 0 0 3810 36 0 0 25 0 1 0 54788772 54018048 12694 1992294400 134512640 135751879 4294031200 18446744073709551615 134602922 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11368/statm: 13188 12694 139 303 0 12883 0
Current children cumulated CPU time (s) 107.87
Current children cumulated vsize (KiB) 186864

[startup+162.3 s]
/proc/loadavg: 1.12 1.05 0.88 2/107 11375
/proc/meminfo: memFree=1567788/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=124.73
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 14268 26449 0 0 1151 159 11105 58 15 0 1 0 54782391 137330688 6332 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 139
/proc/11356/statm: 33528 6332 1143 1 0 5165 0
[pid=11373] ppid=11356 vsize=10892 CPUtime=47.18
/proc/11373/stat : 11373 (clasp-1.3.3-x86) R 11356 11373 11373 0 -1 4202496 2790 0 0 0 4717 1 0 0 25 0 1 0 54793873 11153408 2472 1992294400 134512640 136080129 4290069728 18446744073709551615 134588716 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11373/statm: 2723 2472 175 383 0 2338 0
Current children cumulated CPU time (s) 171.91
Current children cumulated vsize (KiB) 145004

[startup+222.301 s]
/proc/loadavg: 1.16 1.07 0.90 2/107 11380
/proc/meminfo: memFree=1560596/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=229.52
/proc/11356/stat : 11356 (python) R 11354 11356 10694 0 -1 4202496 15502 31169 0 0 1571 204 21116 61 15 0 1 0 54782391 137330688 6332 1992294400 4194304 4196484 140734267516784 18446744073709551615 47240268997655 0 0 16781312 2 0 0 0 17 0 0 0 139
/proc/11356/statm: 33528 6332 1143 1 0 5165 0
[pid=11378] ppid=11356 vsize=18944 CPUtime=6.61
/proc/11378/stat : 11378 (wbo1.4a) R 11356 11378 11378 0 -1 4202496 4844 0 0 0 649 12 0 0 25 0 1 0 54803954 19398656 4259 1992294400 134512640 135751879 4289452160 18446744073709551615 134616540 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11378/statm: 4736 4259 139 303 0 4431 0
Current children cumulated CPU time (s) 236.13
Current children cumulated vsize (KiB) 153056

[startup+282.301 s]
/proc/loadavg: 1.13 1.08 0.91 2/107 11380
/proc/meminfo: memFree=1488552/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=233.86
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 15578 31169 0 0 1961 248 21116 61 15 0 1 0 54782391 137330688 6333 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 139
/proc/11356/statm: 33528 6333 1143 1 0 5165 0
[pid=11378] ppid=11356 vsize=91560 CPUtime=66.28
/proc/11378/stat : 11378 (wbo1.4a) R 11356 11378 11378 0 -1 4202496 22974 0 0 0 6570 58 0 0 25 0 1 0 54803954 93757440 22389 1992294400 134512640 135751879 4289452160 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11378/statm: 22890 22389 139 303 0 22585 0
Current children cumulated CPU time (s) 300.14
Current children cumulated vsize (KiB) 225672

[startup+342.301 s]
/proc/loadavg: 1.15 1.09 0.92 2/107 11385
/proc/meminfo: memFree=1541624/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=339.7
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 16863 61649 0 0 2397 300 31137 136 15 0 1 0 54782391 137330688 6335 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 139
/proc/11356/statm: 33528 6335 1143 1 0 5165 0
[pid=11385] ppid=11356 vsize=37800 CPUtime=24.92
/proc/11385/stat : 11385 (wbo1.4b) R 11356 11385 11385 0 -1 4202496 9669 0 0 0 2468 24 0 0 25 0 1 0 54814112 38707200 8976 1992294400 134512640 135751879 4292952144 18446744073709551615 134517424 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11385/statm: 9450 8976 144 303 0 9145 0
Current children cumulated CPU time (s) 364.62
Current children cumulated vsize (KiB) 171912

[startup+402.302 s]
/proc/loadavg: 1.15 1.10 0.93 3/119 11402
/proc/meminfo: memFree=1421480/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=394.85
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 18187 80531 0 0 2793 349 36161 182 15 0 1 0 54782391 137330688 6336 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 139
/proc/11356/statm: 33528 6336 1143 1 0 5165 0
[pid=11388] ppid=11356 vsize=1484380 CPUtime=35.63
/proc/11388/stat : 11388 (java) S 11356 11388 11388 0 -1 4202496 39458 0 92 0 3544 19 0 0 18 0 13 0 54819216 1520005120 37446 1992294400 134512640 134550932 4287107552 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 9
/proc/11388/statm: 371095 37446 1437 10 0 368397 0
[pid=11388/tid=11389] ppid=11356 vsize=1484380 CPUtime=33.41
/proc/11388/task/11389/stat : 11389 (java) R 11356 11388 11388 0 -1 4202560 30866 0 58 0 3327 14 0 0 25 0 13 0 54819228 1520005120 37446 1992294400 134512640 134550932 4287107552 18446744073709551615 4109400054 0 4 0 16800975 0 0 0 -1 0 0 0 15
[pid=11388/tid=11390] ppid=11356 vsize=1484380 CPUtime=0.02
/proc/11388/task/11390/stat : 11390 (java) S 11356 11388 11388 0 -1 4202560 1241 0 0 0 2 0 0 0 18 0 13 0 54819238 1520005120 37446 1992294400 134512640 134550932 4287107552 18446744073709551615 4294960144 0 4 0 16800975 18446604437851466624 0 0 -1 0 0 0 0
[pid=11388/tid=11391] ppid=11356 vsize=1484380 CPUtime=0.02
/proc/11388/task/11391/stat : 11391 (java) S 11356 11388 11388 0 -1 4202560 1600 0 0 0 2 0 0 0 18 0 13 0 54819238 1520005120 37446 1992294400 134512640 134550932 4287107552 18446744073709551615 4294960144 0 4 0 16800975 18446604437851466624 0 0 -1 1 0 0 0
[pid=11388/tid=11392] ppid=11356 vsize=1484380 CPUtime=0
/proc/11388/task/11392/stat : 11392 (java) S 11356 11388 11388 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 13 0 54819243 1520005120 37446 1992294400 134512640 134550932 4287107552 18446744073709551615 4294960144 0 0 0 16800975 18446604437851466624 0 0 -1 0 0 0 0

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

/proc/11478/statm: 5242 4977 175 383 0 4857 0
Current children cumulated CPU time (s) 1139.19
Current children cumulated vsize (KiB) 155080

[startup+1122.3 s]
/proc/loadavg: 1.13 1.13 1.02 2/107 11491
/proc/meminfo: memFree=1540440/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=1197.42
/proc/11356/stat : 11356 (python) R 11354 11356 10694 0 -1 4202496 41943 334474 0 93 7709 916 110695 422 15 0 1 0 54782391 137330688 6347 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217070517 0 0 16781312 2 0 0 0 17 0 0 0 139
/proc/11356/statm: 33529 6347 1143 1 0 5166 0
[pid=11489] ppid=11356 vsize=36176 CPUtime=6.02
/proc/11489/stat : 11489 (bsolo_pb10) R 11356 11489 11489 0 -1 4202496 7951 0 0 0 594 8 0 0 25 0 1 0 54894014 37044224 6614 1992294400 134512640 137138936 4293842192 18446744073709551615 136500388 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11489/statm: 9044 6614 192 642 0 8400 0
Current children cumulated CPU time (s) 1203.44
Current children cumulated vsize (KiB) 170288

[startup+1182.3 s]
/proc/loadavg: 1.08 1.12 1.02 2/107 11500
/proc/meminfo: memFree=1474100/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=1201.74
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 42035 334474 0 93 8097 960 110695 422 16 0 1 0 54782391 137330688 6347 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 139
/proc/11356/statm: 33528 6347 1143 1 0 5165 0
[pid=11489] ppid=11356 vsize=102216 CPUtime=65.61
/proc/11489/stat : 11489 (bsolo_pb10) R 11356 11489 11489 0 -1 4202496 24461 0 0 0 6538 23 0 0 25 0 1 0 54894014 104669184 23124 1992294400 134512640 137138936 4293842192 18446744073709551615 134599724 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11489/statm: 25554 23124 192 642 0 24910 0
Current children cumulated CPU time (s) 1267.35
Current children cumulated vsize (KiB) 236328

[startup+1242.3 s]
/proc/loadavg: 1.07 1.11 1.02 3/107 11508
/proc/meminfo: memFree=1559164/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=1316.9
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 44512 368565 0 93 8496 1006 121734 454 15 0 1 0 54782391 137330688 6348 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 139
/proc/11356/statm: 33528 6348 1143 1 0 5165 0
[pid=11508] ppid=11356 vsize=7956 CPUtime=14.55
/proc/11508/stat : 11508 (clasp-1.3.3-x86) R 11356 11508 11508 0 -1 4202496 2072 0 0 0 1455 0 0 0 25 0 1 0 54905165 8146944 1748 1992294400 134512640 136080129 4289117296 18446744073709551615 134844287 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11508/statm: 1989 1748 175 383 0 1604 0
Current children cumulated CPU time (s) 1331.45
Current children cumulated vsize (KiB) 142068

[startup+1302.3 s]
/proc/loadavg: 1.14 1.12 1.02 2/107 11510
/proc/meminfo: memFree=1553088/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=1321.15
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 44594 368565 0 93 8878 1049 121734 454 15 0 1 0 54782391 137330688 6348 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 139
/proc/11356/statm: 33528 6348 1143 1 0 5165 0
[pid=11508] ppid=11356 vsize=13812 CPUtime=74.53
/proc/11508/stat : 11508 (clasp-1.3.3-x86) R 11356 11508 11508 0 -1 4202496 3530 0 0 0 7452 1 0 0 25 0 1 0 54905165 14143488 3206 1992294400 134512640 136080129 4289117296 18446744073709551615 134804946 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11508/statm: 3453 3206 175 383 0 3068 0
Current children cumulated CPU time (s) 1395.68
Current children cumulated vsize (KiB) 147924

[startup+1362.32 s]
/proc/loadavg: 1.05 1.09 1.02 2/107 11521
/proc/meminfo: memFree=1559164/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=1446.52
/proc/11356/stat : 11356 (python) R 11354 11356 10694 0 -1 4202496 48318 379204 0 93 9282 1096 133813 461 15 0 1 0 54782391 137330688 6349 1992294400 4194304 4196484 140734267516784 18446744073709551615 47240269006644 0 0 16781312 2 0 0 0 17 1 0 0 139
/proc/11356/statm: 33528 6349 1143 1 0 5165 0
[pid=11521] ppid=11356 vsize=7848 CPUtime=13.51
/proc/11521/stat : 11521 (clasp-1.3.3-x86) R 11356 11521 11521 0 -1 4202496 2035 0 0 0 1350 1 0 0 25 0 1 0 54917270 8036352 1709 1992294400 134512640 136080129 4293905184 18446744073709551615 134588561 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11521/statm: 1962 1709 175 383 0 1577 0
Current children cumulated CPU time (s) 1460.03
Current children cumulated vsize (KiB) 141960

[startup+1422.31 s]
/proc/loadavg: 1.14 1.11 1.02 2/107 11529
/proc/meminfo: memFree=1559040/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=1511.46
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 50891 385939 0 93 9677 1142 139860 467 15 0 1 0 54782391 137330688 6349 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 139
/proc/11356/statm: 33528 6349 1143 1 0 5165 0
[pid=11527] ppid=11356 vsize=7840 CPUtime=12.9
/proc/11527/stat : 11527 (clasp-1.3.3-x86) R 11356 11527 11527 0 -1 4202496 2033 0 0 0 1290 0 0 0 25 0 1 0 54923330 8028160 1709 1992294400 134512640 136080129 4294756320 18446744073709551615 134588938 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11527/statm: 1960 1709 175 383 0 1575 0
Current children cumulated CPU time (s) 1524.36
Current children cumulated vsize (KiB) 141952

[startup+1482.3 s]
/proc/loadavg: 1.13 1.10 1.02 2/107 11529
/proc/meminfo: memFree=1552964/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=1515.72
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 50968 385939 0 93 10058 1187 139860 467 16 0 1 0 54782391 137330688 6349 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 139
/proc/11356/statm: 33528 6349 1143 1 0 5165 0
[pid=11527] ppid=11356 vsize=13776 CPUtime=72.87
/proc/11527/stat : 11527 (clasp-1.3.3-x86) R 11356 11527 11527 0 -1 4202496 3529 0 0 0 7285 2 0 0 25 0 1 0 54923330 14106624 3205 1992294400 134512640 136080129 4294756320 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11527/statm: 3444 3205 175 383 0 3059 0
Current children cumulated CPU time (s) 1588.59
Current children cumulated vsize (KiB) 147888

[startup+1542.3 s]
/proc/loadavg: 1.04 1.08 1.01 2/107 11540
/proc/meminfo: memFree=1559040/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=1640.93
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 54750 396510 0 93 10463 1230 151924 476 15 0 1 0 54782391 137330688 6350 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 139
/proc/11356/statm: 33528 6350 1143 1 0 5165 0
[pid=11540] ppid=11356 vsize=7696 CPUtime=11.78
/proc/11540/stat : 11540 (clasp-1.3.3-x86) R 11356 11540 11540 0 -1 4202496 2009 0 0 0 1177 1 0 0 25 0 1 0 54935436 7880704 1684 1992294400 134512640 136080129 4294757520 18446744073709551615 134588745 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11540/statm: 1924 1684 175 383 0 1539 0
Current children cumulated CPU time (s) 1652.71
Current children cumulated vsize (KiB) 141808

[startup+1602.3 s]
/proc/loadavg: 1.01 1.06 1.01 2/107 11542
/proc/meminfo: memFree=1552840/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=1645.19
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 54841 396510 0 93 10845 1274 151924 476 15 0 1 0 54782391 137330688 6350 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 139
/proc/11356/statm: 33528 6350 1143 1 0 5165 0
[pid=11540] ppid=11356 vsize=13816 CPUtime=71.39
/proc/11540/stat : 11540 (clasp-1.3.3-x86) R 11356 11540 11540 0 -1 4202496 3531 0 0 0 7137 2 0 0 25 0 1 0 54935436 14147584 3206 1992294400 134512640 136080129 4294757520 18446744073709551615 134589224 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11540/statm: 3454 3206 175 383 0 3069 0
Current children cumulated CPU time (s) 1716.58
Current children cumulated vsize (KiB) 147928

[startup+1662.3 s]
/proc/loadavg: 1.00 1.05 1.00 2/107 11553
/proc/meminfo: memFree=1559536/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=1770.48
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 58662 407122 0 93 11248 1320 163995 485 16 0 1 0 54782391 137330688 6351 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 139
/proc/11356/statm: 33528 6351 1143 1 0 5165 0
[pid=11553] ppid=11356 vsize=7300 CPUtime=10.19
/proc/11553/stat : 11553 (clasp-1.3.3-x86) R 11356 11553 11553 0 -1 4202496 1915 0 0 0 1019 0 0 0 25 0 1 0 54947594 7475200 1590 1992294400 134512640 136080129 4288233040 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11553/statm: 1825 1590 175 383 0 1440 0
Current children cumulated CPU time (s) 1780.67
Current children cumulated vsize (KiB) 141412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1680.5 s]
/proc/loadavg: 1.06 1.06 1.01 2/107 11553
/proc/meminfo: memFree=1556932/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=1771.77
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 58701 407122 0 93 11363 1334 163995 485 16 0 1 0 54782391 137330688 6351 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 139
/proc/11356/statm: 33528 6351 1143 1 0 5165 0
[pid=11553] ppid=11356 vsize=9684 CPUtime=28.29
/proc/11553/stat : 11553 (clasp-1.3.3-x86) R 11356 11553 11553 0 -1 4202496 2503 0 0 0 2828 1 0 0 25 0 1 0 54947594 9916416 2178 1992294400 134512640 136080129 4288233040 18446744073709551615 134804895 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11553/statm: 2421 2178 175 383 0 2036 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 143796

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

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

[startup+1680.5 s]
/proc/loadavg: 1.06 1.06 1.01 2/107 11553
/proc/meminfo: memFree=1556932/2059040 swapFree=4139624/4192956
[pid=11356] ppid=11354 vsize=134112 CPUtime=1771.77
/proc/11356/stat : 11356 (python) S 11354 11356 10694 0 -1 4202496 58701 407122 0 93 11363 1334 163995 485 16 0 1 0 54782391 137330688 6351 1992294400 4194304 4196484 140734267516784 18446744073709551615 235217399311 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 139
/proc/11356/statm: 33528 6351 1143 1 0 5165 0
[pid=11553] ppid=11356 vsize=9684 CPUtime=28.29
/proc/11553/stat : 11553 (clasp-1.3.3-x86) R 11356 11553 11553 0 -1 4202496 2503 0 0 0 2828 1 0 0 25 0 1 0 54947594 9916416 2178 1992294400 134512640 136080129 4288233040 18446744073709551615 134804895 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11553/statm: 2421 2178 175 383 0 2036 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 143796

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11356 and gives
#  childrusage.ru_utime.tv_sec=1753
#  childrusage.ru_utime.tv_usec=601412
#  childrusage.ru_stime.tv_sec=18
#  childrusage.ru_stime.tv_usec=202232
# CPU time returned by wait4() is 1771.8
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1680.52
CPU time (s): 1800.06
CPU user time (s): 1781.86
CPU system time (s): 18.2
CPU usage (%): 107.113
Max. virtual memory (cumulated for all children) (KiB): 1618496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.6
system time used= 18.2022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465824
page faults= 93
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9924
involuntary context switches= 29645

runsolver used 2.99454 second user time and 7.97079 second system time

The end

Launcher Data 

Begin job on node088 at 2010-06-21 17:41:28
IDJOB=2676288
IDBENCH=1498
IDSOLVER=1178
FILE ID=node088/2676288-1277134888
PBS_JOBID= 11182064
Free space on /tmp= 62584 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2676288-1277134888/watcher-2676288-1277134888 -o /tmp/evaluation-result-2676288-1277134888/solver-2676288-1277134888 -C 1800 -W 2000 -M 1800  solver HOME/instance-2676288-1277134888.opb 1509664530 

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

MD5SUM BENCH= 732cdc3fa8b0bf0f47e882c13d928a6d
RANDOM SEED=1509664530

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1598340 kB
Buffers:        131880 kB
Cached:         226836 kB
SwapCached:       6532 kB
Active:         214476 kB
Inactive:       158160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1598340 kB
SwapTotal:     4192956 kB
SwapFree:      4139624 kB
Dirty:           22616 kB
Writeback:           0 kB
AnonPages:       11724 kB
Mapped:           9232 kB
Slab:            66248 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183152 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= 62564 MiB
End job on node088 at 2010-06-21 18:09:31