Trace number 3742430

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB10: borg-pb 10.05.30? (TO) 1800.08 1722.21

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K181.opb
MD5SUM786bb841dd145412a2aec0a596e79174
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21539
Total number of constraints21903
Number of constraints which are clauses21722
Number of constraints which are cardinality constraints (but not clauses)181
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint181
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.06 2.05 3/175 27239
/proc/meminfo: memFree=26740488/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=15308 CPUtime=0 cores=0,2,4,6
/proc/27239/stat : 27239 (python) R 27237 27239 21196 0 -1 4202496 773 0 0 0 0 0 0 0 20 0 1 0 339431488 15675392 543 33554432000 4194304 5683644 140737128453792 140737128439704 4293104 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/27239/statm: 3827 545 316 364 0 269 0

[startup+0.0653321 s]
/proc/loadavg: 2.03 2.06 2.05 3/175 27239
/proc/meminfo: memFree=26740488/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=16596 CPUtime=0.01 cores=0,2,4,6
/proc/27239/stat : 27239 (python) D 27237 27239 21196 0 -1 4202496 1328 0 0 0 1 0 0 0 20 0 1 0 339431488 16994304 1002 33554432000 4194304 5683644 140737128453792 140737128417832 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/27239/statm: 4149 1002 422 364 0 591 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16596

[startup+0.100261 s]
/proc/loadavg: 2.03 2.06 2.05 3/175 27239
/proc/meminfo: memFree=26740488/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=17632 CPUtime=0.01 cores=0,2,4,6
/proc/27239/stat : 27239 (python) D 27237 27239 21196 0 -1 4202496 2241 0 0 0 1 0 0 0 20 0 1 0 339431488 18055168 744 33554432000 4194304 4196484 140735861412592 140735861352472 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/27239/statm: 4408 744 367 1 0 343 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17632

[startup+0.300284 s]
/proc/loadavg: 2.03 2.06 2.05 3/175 27239
/proc/meminfo: memFree=26740488/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=56788 CPUtime=0.06 cores=0,2,4,6
/proc/27239/stat : 27239 (python) D 27237 27239 21196 0 -1 4202496 4033 0 0 0 4 2 0 0 20 0 1 0 339431488 58150912 2201 33554432000 4194304 4196484 140735861412592 140735861226312 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/27239/statm: 14197 2201 603 1 0 1535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 56788

[startup+0.700226 s]
/proc/loadavg: 2.03 2.06 2.05 3/175 27239
/proc/meminfo: memFree=26740488/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=103804 CPUtime=0.23 cores=0,2,4,6
/proc/27239/stat : 27239 (python) R 27237 27239 21196 0 -1 4202496 6865 1011 0 0 15 8 0 0 20 0 1 0 339431488 106295296 4266 33554432000 4194304 4196484 140735861412592 140735861378552 139819045442006 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 25951 4266 1052 1 0 3237 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 103804

[startup+1.50018 s]
/proc/loadavg: 2.03 2.06 2.05 2/176 27244
/proc/meminfo: memFree=26721616/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=118124 CPUtime=0.41 cores=0,2,4,6
/proc/27239/stat : 27239 (python) D 27237 27239 21196 0 -1 4202496 9598 1011 0 0 28 13 0 0 20 0 1 0 339431488 120958976 5832 33554432000 4194304 4196484 140735861412592 140735861346200 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 29531 5832 1083 1 0 4730 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 118124

[startup+3.10015 s]
/proc/loadavg: 2.03 2.06 2.05 3/177 27245
/proc/meminfo: memFree=26713548/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=134460 CPUtime=0.57 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 11256 1011 0 0 41 16 0 0 20 0 1 0 339431488 137687040 6349 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 33615 6349 1170 1 0 5187 0
[pid=27245] ppid=27239 vsize=7976 CPUtime=1.37 cores=0,2,4,6
/proc/27245/stat : 27245 (clasp-1.3.3-x86) R 27239 27245 27245 0 -1 4202496 2159 0 0 0 137 0 0 0 20 0 1 0 339431660 8167424 1737 33554432000 134512640 136080129 4291836048 4291835140 134607925 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27245/statm: 1994 1737 175 383 0 1609 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 142436
heavy processes:

[startup+6.30022 s]
/proc/loadavg: 2.19 2.09 2.06 3/177 27245
/proc/meminfo: memFree=26711808/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=134460 CPUtime=0.7 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 11265 1011 0 0 53 17 0 0 20 0 1 0 339431488 137687040 6349 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 33615 6349 1170 1 0 5187 0
[pid=27245] ppid=27239 vsize=8768 CPUtime=4.57 cores=0,2,4,6
/proc/27245/stat : 27245 (clasp-1.3.3-x86) R 27239 27245 27245 0 -1 4202496 2335 0 0 0 457 0 0 0 20 0 1 0 339431660 8978432 1913 33554432000 134512640 136080129 4291836048 4291835184 134610270 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27245/statm: 2192 1913 175 383 0 1807 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 143228

[startup+12.7002 s]
/proc/loadavg: 2.25 2.10 2.06 3/177 27245
/proc/meminfo: memFree=26709752/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=11.55 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 12508 4671 0 0 81 23 1050 1 20 0 1 0 339431488 139796480 6369 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6369 1180 1 0 5187 0
Current children cumulated CPU time (s) 11.55
Current children cumulated vsize (KiB) 136520

[startup+25.506 s]
/proc/loadavg: 2.28 2.12 2.07 3/177 27251
/proc/meminfo: memFree=26710196/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=12.12 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 12535 4671 0 0 130 31 1050 1 20 0 1 0 339431488 139796480 6369 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6369 1180 1 0 5187 0
[pid=27248] ppid=27239 vsize=10484 CPUtime=13.24 cores=0,2,4,6
/proc/27248/stat : 27248 (clasp-1.3.3-x86) R 27239 27248 27248 0 -1 4202496 2779 0 0 0 1324 0 0 0 20 0 1 0 339432713 10735616 2362 33554432000 134512640 136080129 4294774672 4294773744 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27248/statm: 2621 2362 175 383 0 2236 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 147004

[startup+51.1002 s]
/proc/loadavg: 2.26 2.12 2.07 3/177 27251
/proc/meminfo: memFree=26664748/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=13.22 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 12562 4671 0 0 227 44 1050 1 20 0 1 0 339431488 139796480 6369 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6369 1180 1 0 5187 0
[pid=27248] ppid=27239 vsize=11936 CPUtime=38.83 cores=0,2,4,6
/proc/27248/stat : 27248 (clasp-1.3.3-x86) R 27239 27248 27248 0 -1 4202496 3145 0 0 0 3883 0 0 0 20 0 1 0 339432713 12222464 2727 33554432000 134512640 136080129 4294774672 4294773744 134849100 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27248/statm: 2984 2727 175 383 0 2599 0
Current children cumulated CPU time (s) 52.05
Current children cumulated vsize (KiB) 148456

[startup+102.3 s]
/proc/loadavg: 2.22 2.13 2.08 3/177 27254
/proc/meminfo: memFree=26513344/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=66.02 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 13729 9022 0 0 449 74 6077 2 20 0 1 0 339431488 139796480 6374 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6374 1180 1 0 5187 0
[pid=27254] ppid=27239 vsize=71372 CPUtime=39.73 cores=0,2,4,6
/proc/27254/stat : 27254 (wbo1.4a) R 27239 27254 27254 0 -1 4202496 17901 0 0 0 3880 93 0 0 20 0 1 0 339437743 73084928 17227 33554432000 134512640 135751879 4294725024 4294723276 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/27254/statm: 17843 17227 139 303 0 17538 0
Current children cumulated CPU time (s) 105.75
Current children cumulated vsize (KiB) 207892

[startup+162.3 s]
/proc/loadavg: 2.08 2.10 2.07 3/178 27264
/proc/meminfo: memFree=26528912/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=120.19 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 14971 32303 0 0 685 107 11103 124 20 0 1 0 339431488 139796480 6376 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6376 1180 1 0 5187 0
[pid=27257] ppid=27239 vsize=13684 CPUtime=48.23 cores=0,2,4,6
/proc/27257/stat : 27257 (clasp-1.3.3-x86) R 27239 27257 27257 0 -1 4202496 3575 0 0 0 4823 0 0 0 20 0 1 0 339442893 14012416 3152 33554432000 134512640 136080129 4288356880 4288355952 134849193 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27257/statm: 3421 3152 175 383 0 3036 0
Current children cumulated CPU time (s) 168.42
Current children cumulated vsize (KiB) 150204

[startup+222.3 s]
/proc/loadavg: 2.08 2.10 2.07 3/195 27288
/proc/meminfo: memFree=26531140/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=223.53 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 16223 39947 0 0 934 143 21151 125 20 0 1 0 339431488 139796480 6377 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6377 1180 1 0 5187 0
[pid=27288] ppid=27239 vsize=20848 CPUtime=7.72 cores=0,2,4,6
/proc/27288/stat : 27288 (wbo1.4a) R 27239 27288 27288 0 -1 4202496 5281 0 0 0 740 32 0 0 20 0 1 0 339452945 21348352 4603 33554432000 134512640 135751879 4288199440 4288197692 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/27288/statm: 5212 4603 139 303 0 4907 0
Current children cumulated CPU time (s) 231.25
Current children cumulated vsize (KiB) 157368

[startup+282.3 s]
/proc/loadavg: 2.19 2.12 2.08 3/177 27291
/proc/meminfo: memFree=26535160/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=226.18 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 16258 39947 0 0 1165 177 21151 125 20 0 1 0 339431488 139796480 6377 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6377 1180 1 0 5187 0
[pid=27288] ppid=27239 vsize=111772 CPUtime=67.7 cores=0,2,4,6
/proc/27288/stat : 27288 (wbo1.4a) R 27239 27288 27288 0 -1 4202496 27995 0 0 0 6604 166 0 0 20 0 1 0 339452945 114454528 27358 33554432000 134512640 135751879 4288199440 4288197692 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/27288/statm: 27943 27358 139 303 0 27638 0
Current children cumulated CPU time (s) 293.88
Current children cumulated vsize (KiB) 248292

[startup+342.306 s]
/proc/loadavg: 2.14 2.11 2.08 3/177 27294
/proc/meminfo: memFree=26385392/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=331.51 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 17489 81099 0 0 1404 208 31179 360 20 0 1 0 339431488 139796480 6378 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6378 1180 1 0 5187 0
[pid=27294] ppid=27239 vsize=143344 CPUtime=25.05 cores=0,2,4,6
/proc/27294/stat : 27294 (wbo1.4b) R 27239 27294 27294 0 -1 4202496 35842 0 0 0 2500 5 0 0 20 0 1 0 339463213 146784256 35166 33554432000 134512640 135751879 4294403376 4294401536 134524613 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/27294/statm: 35836 35166 142 303 0 35531 0
Current children cumulated CPU time (s) 356.56
Current children cumulated vsize (KiB) 279864

[startup+402.301 s]
/proc/loadavg: 2.12 2.11 2.08 3/195 27318
/proc/meminfo: memFree=26510048/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=384.61 cores=0,2,4,6
/proc/27239/stat : 27239 (python) R 27237 27239 21196 0 -1 4202496 18728 135115 0 0 1638 243 36210 370 20 0 1 0 339431488 139796480 6379 33554432000 4194304 4196484 140735861412592 140735861404352 227512501136 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6379 1180 1 0 5187 0
[pid=27297] ppid=27239 vsize=2715136 CPUtime=35.65 cores=0,2,4,6
/proc/27297/stat : 27297 (java) S 27239 27297 27297 0 -1 4202496 11271 0 1 0 3560 5 0 0 20 0 19 0 339468257 2780299264 44505 33554432000 1073741824 1073778376 140736166897072 140736166888208 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27297/statm: 678784 44505 2256 9 0 669477 0

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

/proc/27239/statm: 34130 6387 1180 1 0 5187 0
[pid=27461] ppid=27239 vsize=51992 CPUtime=247.38 cores=0,2,4,6
/proc/27461/stat : 27461 (clasp-1.3.3-x86) R 27239 27461 27461 0 -1 4202496 13167 0 0 0 24735 3 0 0 20 0 1 0 339512973 53239808 12737 33554432000 134512640 136080129 4294258240 4294257312 134849034 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27461/statm: 12998 12737 175 383 0 12613 0
Current children cumulated CPU time (s) 1110.9
Current children cumulated vsize (KiB) 188512

[startup+1122.3 s]
/proc/loadavg: 2.20 2.12 2.09 3/177 27474
/proc/meminfo: memFree=26709464/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=1166.56 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 42110 328333 0 2 4525 654 110965 512 20 0 1 0 339431488 139796480 6387 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6387 1180 1 0 5187 0
[pid=27474] ppid=27239 vsize=19136 CPUtime=7.03 cores=0,2,4,6
/proc/27474/stat : 27474 (bsolo_pb10) R 27239 27474 27474 0 -1 4202496 2977 0 0 0 702 1 0 0 20 0 1 0 339543014 19595264 2260 33554432000 134512640 137138936 4292020224 4291760256 134542295 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/27474/statm: 4784 2260 184 642 0 4140 0
Current children cumulated CPU time (s) 1173.59
Current children cumulated vsize (KiB) 155656

[startup+1182.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/177 27483
/proc/meminfo: memFree=26627664/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=1169.31 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 42138 328333 0 2 4766 688 110965 512 20 0 1 0 339431488 139796480 6387 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6387 1180 1 0 5187 0
[pid=27474] ppid=27239 vsize=109772 CPUtime=67 cores=0,2,4,6
/proc/27474/stat : 27474 (bsolo_pb10) R 27239 27474 27474 0 -1 4202496 25888 0 0 0 6666 34 0 0 20 0 1 0 339543014 112406528 24936 33554432000 134512640 137138936 4292020224 4292018720 134618214 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/27474/statm: 27443 24936 192 642 0 26799 0
Current children cumulated CPU time (s) 1236.31
Current children cumulated vsize (KiB) 246292

[startup+1242.3 s]
/proc/loadavg: 2.21 2.13 2.10 3/177 27495
/proc/meminfo: memFree=26715268/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=1282.68 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 44619 367872 0 2 5006 722 121986 554 20 0 1 0 339431488 139796480 6388 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6388 1180 1 0 5187 0
[pid=27495] ppid=27239 vsize=10768 CPUtime=16.31 cores=0,2,4,6
/proc/27495/stat : 27495 (clasp-1.3.3-x86) R 27239 27495 27495 0 -1 4202496 2846 0 0 0 1631 0 0 0 20 0 1 0 339554086 11026432 2422 33554432000 134512640 136080129 4292372848 4292371920 134849680 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27495/statm: 2692 2422 175 383 0 2307 0
Current children cumulated CPU time (s) 1298.99
Current children cumulated vsize (KiB) 147288

[startup+1302.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/177 27495
/proc/meminfo: memFree=26699656/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=1285.25 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 44644 367872 0 2 5233 752 121986 554 20 0 1 0 339431488 139796480 6388 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6388 1180 1 0 5187 0
[pid=27495] ppid=27239 vsize=14108 CPUtime=76.29 cores=0,2,4,6
/proc/27495/stat : 27495 (clasp-1.3.3-x86) R 27239 27495 27495 0 -1 4202496 3694 0 0 0 7629 0 0 0 20 0 1 0 339554086 14446592 3273 33554432000 134512640 136080129 4292372848 4292371920 134849100 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27495/statm: 3527 3273 175 383 0 3142 0
Current children cumulated CPU time (s) 1361.54
Current children cumulated vsize (KiB) 150628

[startup+1362.3 s]
/proc/loadavg: 2.26 2.14 2.10 3/178 27517
/proc/meminfo: memFree=26714728/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=1409.56 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 48348 383940 0 2 5476 787 134134 559 20 0 1 0 339431488 139796480 6390 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6390 1180 1 0 5187 0
[pid=27516] ppid=27239 vsize=10760 CPUtime=14.72 cores=0,2,4,6
/proc/27516/stat : 27516 (clasp-1.3.3-x86) R 27239 27516 27516 0 -1 4202496 2864 0 0 0 1472 0 0 0 20 0 1 0 339566245 11018240 2442 33554432000 134512640 136080129 4288114464 4288113536 134849100 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27516/statm: 2690 2442 175 383 0 2305 0
Current children cumulated CPU time (s) 1424.28
Current children cumulated vsize (KiB) 147280

[startup+1422.3 s]
/proc/loadavg: 2.09 2.12 2.09 3/177 27523
/proc/meminfo: memFree=26710764/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=1473.05 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 50817 392262 0 2 5709 823 140211 562 20 0 1 0 339431488 139796480 6390 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6390 1180 1 0 5187 0
[pid=27523] ppid=27239 vsize=10788 CPUtime=13.88 cores=0,2,4,6
/proc/27523/stat : 27523 (clasp-1.3.3-x86) R 27239 27523 27523 0 -1 4202496 2852 0 0 0 1388 0 0 0 20 0 1 0 339572329 11046912 2432 33554432000 134512640 136080129 4294842896 4294841888 134588745 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27523/statm: 2697 2432 175 383 0 2312 0
Current children cumulated CPU time (s) 1486.93
Current children cumulated vsize (KiB) 147308

[startup+1482.3 s]
/proc/loadavg: 2.17 2.14 2.09 3/177 27532
/proc/meminfo: memFree=26708292/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=1475.64 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 50848 392262 0 2 5936 855 140211 562 20 0 1 0 339431488 139796480 6390 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6390 1180 1 0 5187 0
[pid=27523] ppid=27239 vsize=17456 CPUtime=73.86 cores=0,2,4,6
/proc/27523/stat : 27523 (clasp-1.3.3-x86) R 27239 27523 27523 0 -1 4202496 4530 0 0 0 7386 0 0 0 20 0 1 0 339572329 17874944 4107 33554432000 134512640 136080129 4294842896 4294841888 134588666 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27523/statm: 4364 4107 175 383 0 3979 0
Current children cumulated CPU time (s) 1549.5
Current children cumulated vsize (KiB) 153976

[startup+1542.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/177 27588
/proc/meminfo: memFree=26719200/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=1599.94 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 54578 405180 0 2 6176 891 152360 567 20 0 1 0 339431488 139796480 6391 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6391 1180 1 0 5187 0
[pid=27584] ppid=27239 vsize=10480 CPUtime=12.29 cores=0,2,4,6
/proc/27584/stat : 27584 (clasp-1.3.3-x86) R 27239 27584 27584 0 -1 4202496 2788 0 0 0 1229 0 0 0 20 0 1 0 339584488 10731520 2365 33554432000 134512640 136080129 4287752944 4287752016 134849678 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27584/statm: 2620 2365 175 383 0 2235 0
Current children cumulated CPU time (s) 1612.23
Current children cumulated vsize (KiB) 147000

[startup+1602.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/177 27591
/proc/meminfo: memFree=26684592/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=1602.53 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 54604 405180 0 2 6403 923 152360 567 20 0 1 0 339431488 139796480 6391 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6391 1180 1 0 5187 0
[pid=27584] ppid=27239 vsize=28080 CPUtime=72.28 cores=0,2,4,6
/proc/27584/stat : 27584 (clasp-1.3.3-x86) R 27239 27584 27584 0 -1 4202496 7168 0 0 0 7226 2 0 0 20 0 1 0 339584488 28753920 6743 33554432000 134512640 136080129 4287752944 4287752016 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27584/statm: 7020 6743 175 383 0 6635 0
Current children cumulated CPU time (s) 1674.81
Current children cumulated vsize (KiB) 164600

[startup+1662.31 s]
/proc/loadavg: 2.01 2.08 2.08 3/176 27603
/proc/meminfo: memFree=26713388/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=1726.81 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 58325 420613 0 2 6641 961 164507 572 20 0 1 0 339431488 139796480 6392 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6392 1180 1 0 5187 0
[pid=27603] ppid=27239 vsize=10356 CPUtime=10.7 cores=0,2,4,6
/proc/27603/stat : 27603 (clasp-1.3.3-x86) R 27239 27603 27603 0 -1 4202496 2763 0 0 0 1070 0 0 0 20 0 1 0 339596647 10604544 2337 33554432000 134512640 136080129 4292009600 4292008672 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27603/statm: 2589 2337 175 383 0 2204 0
Current children cumulated CPU time (s) 1737.51
Current children cumulated vsize (KiB) 146876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1722.2 s]
/proc/loadavg: 2.15 2.11 2.09 3/176 27604
/proc/meminfo: memFree=26698920/32873624 swapFree=7112/7112
[pid=27239] ppid=27237 vsize=136520 CPUtime=1729.4 cores=0,2,4,6
/proc/27239/stat : 27239 (python) S 27237 27239 21196 0 -1 4202496 58350 420613 0 2 6867 994 164507 572 20 0 1 0 339431488 139796480 6392 33554432000 4194304 4196484 140735861412592 140735861404352 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/27239/statm: 34130 6392 1180 1 0 5187 0
[pid=27603] ppid=27239 vsize=14448 CPUtime=70.59 cores=0,2,4,6
/proc/27603/stat : 27603 (clasp-1.3.3-x86) R 27239 27603 27603 0 -1 4202496 3779 0 0 0 7059 0 0 0 20 0 1 0 339596647 14794752 3352 33554432000 134512640 136080129 4292009600 4292008592 134588772 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27603/statm: 3612 3352 175 383 0 3227 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 150968

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 27239 and gives
#  childrusage.ru_utime.tv_sec=1713
#  childrusage.ru_utime.tv_usec=759468
#  childrusage.ru_stime.tv_sec=15
#  childrusage.ru_stime.tv_usec=673617
# CPU time returned by wait4() is 1729.43
# while last known CPU time is 1799.99
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0900269
#  lost CPU user time (s): 0.140015
#  lost CPU system time (s): -0.0500002

Real time (s): 1722.21
CPU time (s): 1800.08
CPU user time (s): 1784.47
CPU system time (s): 15.61
CPU usage (%): 104.521
Max. virtual memory (cumulated for all children) (KiB): 2851660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1713.76
system time used= 15.6736
maximum resident set size= 237340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 478963
page faults= 2
swaps= 0
block input operations= 0
block output operations= 248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11129
involuntary context switches= 2848

runsolver used 3.80442 second user time and 8.41072 second system time

The end

Launcher Data

Begin job on node121 at 2012-06-03 16:17:39
IDJOB=3742430
IDBENCH=90184
IDSOLVER=2323
FILE ID=node121/3742430-1338733059
RUNJOBID= node121-1338714575-21212
PBS_JOBID= 14636757
Free space on /tmp= 71232 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K181.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742430-1338733059/watcher-3742430-1338733059 -o /tmp/evaluation-result-3742430-1338733059/solver-3742430-1338733059 -C 1800 -W 1900 -M 15500  solver HOME/instance-3742430-1338733059.opb 1361746878 

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

MD5SUM BENCH= 786bb841dd145412a2aec0a596e79174
RANDOM SEED=1361746878

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        26741264 kB
Buffers:          656468 kB
Cached:          4543372 kB
SwapCached:            0 kB
Active:          1945260 kB
Inactive:        3306692 kB
Active(anon):      39980 kB
Inactive(anon):    10760 kB
Active(file):    1905280 kB
Inactive(file):  3295932 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             21952 kB
Writeback:             0 kB
AnonPages:         55276 kB
Mapped:            18304 kB
Shmem:               200 kB
Slab:             745252 kB
SReclaimable:     188836 kB
SUnreclaim:       556416 kB
KernelStack:        1440 kB
PageTables:         4252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     152232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71212 MiB
End job on node121 at 2012-06-03 16:46:24