Trace number 2684890

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.01 1700.12

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12037_7-sat.opb
MD5SUMc76ba3fc1d0a0f3a1a96791ffe6c4cf4
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 variables39204
Total number of constraints130975
Number of constraints which are clauses130331
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints644
Minimum length of a constraint1
Maximum length of a constraint120
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 27
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 714
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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


[startup+0 s]
/proc/loadavg: 0.89 1.01 0.99 2/106 23673
/proc/meminfo: memFree=1807660/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=24036 CPUtime=0
/proc/23673/stat : 23673 (runsolver) D 23671 23673 23285 0 -1 4202560 82 0 0 0 0 0 0 0 18 0 1 0 11818633 24612864 106 1992294400 4194304 4302564 140735026293824 18446744073709551615 230158869495 0 0 4096 24578 18446744071562154983 0 0 17 1 0 0 0
/proc/23673/statm: 6009 106 69 27 0 2647 0

[startup+0.0439451 s]
/proc/loadavg: 0.89 1.01 0.99 2/106 23673
/proc/meminfo: memFree=1807660/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=216 CPUtime=0
/proc/23673/stat : 23673 (python) D 23671 23673 23285 0 -1 4194304 223 0 0 0 0 0 0 0 18 0 1 0 11818633 221184 29 1992294400 4194304 4196484 140736379919696 18446744073709551615 230154125031 0 0 4096 0 18446744071562154983 0 0 17 0 0 0 3
/proc/23673/statm: 54 29 22 1 0 22 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 216

[startup+0.100949 s]
/proc/loadavg: 0.89 1.01 0.99 2/106 23673
/proc/meminfo: memFree=1807660/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=15908 CPUtime=0
/proc/23673/stat : 23673 (python) D 23671 23673 23285 0 -1 4194304 366 0 3 0 0 0 0 0 18 0 1 0 11818633 16289792 158 1992294400 4194304 4196484 140736379919696 18446744073709551615 230175498738 0 0 4096 0 18446744071562234166 0 0 17 0 0 0 9
/proc/23673/statm: 3977 158 125 1 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15908

[startup+0.301369 s]
/proc/loadavg: 0.89 1.01 0.99 2/106 23673
/proc/meminfo: memFree=1807660/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=17828 CPUtime=0.03
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 1774 0 14 0 1 2 0 0 15 0 1 0 11818633 18255872 841 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159046656 0 2147483391 16781312 2 18446744071699383486 0 0 17 0 0 0 24
/proc/23673/statm: 4457 841 398 1 0 437 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17828

[startup+0.701015 s]
/proc/loadavg: 0.89 1.01 0.99 2/106 23673
/proc/meminfo: memFree=1807660/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=89428 CPUtime=0.28
/proc/23673/stat : 23673 (python) D 23671 23673 23285 0 -1 4202496 4082 0 45 0 16 12 0 0 15 0 1 0 11818633 91574272 2982 1992294400 4194304 4196484 140736523226080 18446744073709551615 230154128995 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 33
/proc/23673/statm: 22357 2982 728 1 0 2281 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 89428

[startup+1.50109 s]
/proc/loadavg: 0.89 1.01 0.99 2/107 23674
/proc/meminfo: memFree=1783888/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=103528 CPUtime=0.65
/proc/23673/stat : 23673 (python) R 23671 23673 23285 0 -1 4202496 5832 927 51 0 37 28 0 0 18 0 1 0 11818633 106012672 4231 1992294400 4194304 4196484 140736523226080 18446744073709551615 47928790686024 0 0 16781312 2 0 0 0 17 1 0 0 48
/proc/23673/statm: 25882 4231 1026 1 0 3223 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 103528

[startup+3.10126 s]
/proc/loadavg: 0.89 1.01 0.99 2/107 23678
/proc/meminfo: memFree=1772640/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=132032 CPUtime=1.26
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 9929 927 60 0 82 44 0 0 15 0 1 0 11818633 135200768 6258 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159836005329808279 0 0 17 1 0 0 52
/proc/23673/statm: 33008 6258 1132 1 0 5160 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 132032
heavy processes:

[startup+6.30159 s]
/proc/loadavg: 0.89 1.01 0.99 2/108 23679
/proc/meminfo: memFree=1759076/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=132032 CPUtime=1.45
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 9941 927 60 0 97 48 0 0 15 0 1 0 11818633 135200768 6258 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159836005329808279 0 0 17 1 0 0 52
/proc/23673/statm: 33008 6258 1132 1 0 5160 0
[pid=23679] ppid=23673 vsize=13816 CPUtime=3.93
/proc/23679/stat : 23679 (clasp-1.3.3-x86) R 23673 23679 23679 0 -1 4202496 3774 0 0 0 391 2 0 0 25 0 1 0 11818867 14147584 3169 1992294400 134512640 136080129 4294026112 18446744073709551615 134808420 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/23679/statm: 3454 3169 175 383 0 3069 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 145848

[startup+12.7012 s]
/proc/loadavg: 0.91 1.01 0.99 2/108 23680
/proc/meminfo: memFree=1754488/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=12.09
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 10133 5618 61 0 127 56 1023 3 17 0 1 0 11818633 137310208 6261 1992294400 4194304 4196484 140736523226080 18446744073709551615 230170878725 0 0 16781312 2 18446744071562232103 0 0 17 0 0 0 52
/proc/23673/statm: 33523 6261 1134 1 0 5160 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 134092

[startup+25.5015 s]
/proc/loadavg: 0.92 1.01 0.99 3/108 23683
/proc/meminfo: memFree=1754676/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=12.95
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 11240 6536 61 1 192 74 1024 5 15 0 1 0 11818633 137310208 6281 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159836005329808279 0 0 17 1 0 0 52
/proc/23673/statm: 33523 6281 1142 1 0 5160 0
[pid=23683] ppid=23673 vsize=17420 CPUtime=12.66
/proc/23683/stat : 23683 (clasp-1.3.3-x86) R 23673 23683 23683 0 -1 4202496 4692 0 0 0 1264 2 0 0 25 0 1 0 11819906 17838080 4086 1992294400 134512640 136080129 4294460480 18446744073709551615 134849659 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/23683/statm: 4355 4086 175 383 0 3970 0
Current children cumulated CPU time (s) 25.61
Current children cumulated vsize (KiB) 151512

[startup+51.1011 s]
/proc/loadavg: 0.95 1.01 0.99 2/108 23684
/proc/meminfo: memFree=1750212/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=14.48
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 11312 6536 61 1 312 107 1024 5 15 0 1 0 11818633 137310208 6281 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159836005329808279 0 0 17 1 0 0 52
/proc/23673/statm: 33523 6281 1142 1 0 5160 0
[pid=23683] ppid=23673 vsize=22236 CPUtime=38.09
/proc/23683/stat : 23683 (clasp-1.3.3-x86) R 23673 23683 23683 0 -1 4202496 5874 0 0 0 3805 4 0 0 25 0 1 0 11819906 22769664 5268 1992294400 134512640 136080129 4294460480 18446744073709551615 134607916 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/23683/statm: 5559 5268 175 383 0 5174 0
Current children cumulated CPU time (s) 52.57
Current children cumulated vsize (KiB) 156328

[startup+102.308 s]
/proc/loadavg: 1.05 1.02 0.99 2/108 23688
/proc/meminfo: memFree=1737068/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=68.2
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 12496 15143 61 1 590 152 6065 13 15 0 1 0 11818633 137310208 6283 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159688670771686295 0 0 17 0 0 0 52
/proc/23673/statm: 33523 6283 1142 1 0 5160 0
[pid=23687] ppid=23673 vsize=36276 CPUtime=38.69
/proc/23687/stat : 23687 (wbo1.4a) R 23673 23687 23687 0 -1 4202496 10000 0 0 0 3848 21 0 0 25 0 1 0 11824992 37146624 8479 1992294400 134512640 135751879 4289619808 18446744073709551615 134616800 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/23687/statm: 9069 8479 139 303 0 8764 0
Current children cumulated CPU time (s) 106.89
Current children cumulated vsize (KiB) 170368

[startup+162.301 s]
/proc/loadavg: 1.13 1.05 1.00 2/108 23693
/proc/meminfo: memFree=1745128/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=122.42
/proc/23673/stat : 23673 (python) R 23671 23673 23285 0 -1 4202496 13789 27240 61 1 873 237 11090 42 16 0 1 0 11818633 137310208 6284 1992294400 4194304 4196484 140736523226080 18446744073709551615 47928790443131 0 0 16781312 2 0 0 0 17 1 0 0 52
/proc/23673/statm: 33523 6284 1142 1 0 5160 0
[pid=23692] ppid=23673 vsize=28308 CPUtime=47.82
/proc/23692/stat : 23692 (clasp-1.3.3-x86) R 23673 23692 23692 0 -1 4202496 7408 0 0 0 4777 5 0 0 25 0 1 0 11830050 28987392 6795 1992294400 134512640 136080129 4291250688 18446744073709551615 134588823 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/23692/statm: 7077 6795 175 383 0 6692 0
Current children cumulated CPU time (s) 170.24
Current children cumulated vsize (KiB) 162400

[startup+222.301 s]
/proc/loadavg: 1.07 1.05 1.00 2/108 23697
/proc/meminfo: memFree=1752444/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=226.66
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 14968 37611 61 1 1168 340 21106 52 15 0 1 0 11818633 137310208 6285 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159836005329808279 0 0 17 1 0 0 52
/proc/23673/statm: 33523 6285 1142 1 0 5160 0
[pid=23697] ppid=23673 vsize=20916 CPUtime=7.18
/proc/23697/stat : 23697 (wbo1.4a) R 23673 23697 23697 0 -1 4202496 6174 0 0 0 710 8 0 0 25 0 1 0 11840140 21417984 4654 1992294400 134512640 135751879 4288170320 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/23697/statm: 5229 4654 139 303 0 4924 0
Current children cumulated CPU time (s) 233.84
Current children cumulated vsize (KiB) 155008

[startup+282.301 s]
/proc/loadavg: 1.14 1.07 1.01 2/108 23699
/proc/meminfo: memFree=1725908/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=230.37
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 15063 37611 61 1 1447 432 21106 52 15 0 1 0 11818633 137310208 6285 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159836005329808279 0 0 17 1 0 0 52
/proc/23673/statm: 33523 6285 1142 1 0 5160 0
[pid=23697] ppid=23673 vsize=47600 CPUtime=66.81
/proc/23697/stat : 23697 (wbo1.4a) R 23673 23697 23697 0 -1 4202496 12841 0 0 0 6645 36 0 0 25 0 1 0 11840140 48742400 11321 1992294400 134512640 135751879 4288170320 18446744073709551615 134611022 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/23697/statm: 11900 11321 139 303 0 11595 0
Current children cumulated CPU time (s) 297.18
Current children cumulated vsize (KiB) 181692

[startup+342.301 s]
/proc/loadavg: 1.11 1.07 1.01 2/108 23704
/proc/meminfo: memFree=1702596/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=334.81
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 16333 54238 61 1 1745 512 31115 109 15 0 1 0 11818633 137310208 6286 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159836005329808279 0 0 17 1 0 0 52
/proc/23673/statm: 33523 6286 1142 1 0 5160 0
[pid=23703] ppid=23673 vsize=71392 CPUtime=25.77
/proc/23703/stat : 23703 (wbo1.4b) R 23673 23703 23703 0 -1 4202496 18728 0 0 0 2569 8 0 0 25 0 1 0 11850269 73105408 17201 1992294400 134512640 135751879 4286755760 18446744073709551615 134524019 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/23703/statm: 17848 17201 142 303 0 17543 0
Current children cumulated CPU time (s) 360.58
Current children cumulated vsize (KiB) 205484

[startup+402.301 s]
/proc/loadavg: 1.15 1.08 1.01 3/120 23720
/proc/meminfo: memFree=1582532/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=389.27
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 17590 79491 61 1 2060 584 36161 122 15 0 1 0 11818633 137310208 6287 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159836005329808279 0 0 17 1 0 0 52
/proc/23673/statm: 33523 6287 1142 1 0 5160 0
[pid=23707] ppid=23673 vsize=1480700 CPUtime=37.09
/proc/23707/stat : 23707 (java) S 23673 23707 23707 0 -1 4202496 55906 0 1 0 3683 26 0 0 15 0 13 0 11855363 1516236800 48187 1992294400 134512640 134550932 4290584128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23707/statm: 370175 48187 1437 10 0 367477 0
[pid=23707/tid=23708] ppid=23673 vsize=1480700 CPUtime=33.45
/proc/23707/task/23708/stat : 23708 (java) R 23673 23707 23707 0 -1 4202560 30977 0 1 0 3329 16 0 0 25 0 13 0 11855365 1516236800 48187 1992294400 134512640 134550932 4290584128 18446744073709551615 4109958387 0 4 0 16800975 0 0 0 -1 0 0 0 4
[pid=23707/tid=23709] ppid=23673 vsize=1480700 CPUtime=0.44
/proc/23707/task/23709/stat : 23709 (java) S 23673 23707 23707 0 -1 4202560 6688 0 0 0 42 2 0 0 16 0 13 0 11855371 1516236800 48187 1992294400 134512640 134550932 4290584128 18446744073709551615 4294960144 0 4 0 16800975 18446604437821150528 0 0 -1 1 0 0 0
[pid=23707/tid=23710] ppid=23673 vsize=1480700 CPUtime=0.51
/proc/23707/task/23710/stat : 23710 (java) S 23673 23707 23707 0 -1 4202560 8890 0 0 0 48 3 0 0 18 0 13 0 11855371 1516236800 48187 1992294400 134512640 134550932 4290584128 18446744073709551615 4294960144 0 4 0 16800975 18446604437821150528 0 0 -1 0 0 0 0
[pid=23707/tid=23711] ppid=23673 vsize=1480700 CPUtime=0
/proc/23707/task/23711/stat : 23711 (java) S 23673 23707 23707 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 13 0 11855373 1516236800 48187 1992294400 134512640 134550932 4290584128 18446744073709551615 4294960144 0 0 0 16800975 18446604437821150528 0 0 -1 0 0 0 0
[pid=23707/tid=23712] ppid=23673 vsize=1480700 CPUtime=0
/proc/23707/task/23712/stat : 23712 (java) S 23673 23707 23707 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 13 0 11855373 1516236800 48187 1992294400 134512640 134550932 4290584128 18446744073709551615 4294960144 0 4 0 16800975 18446604437821150528 0 0 -1 0 0 0 0
[pid=23707/tid=23713] ppid=23673 vsize=1480700 CPUtime=0
/proc/23707/task/23713/stat : 23713 (java) S 23673 23707 23707 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 11855373 1516236800 48187 1992294400 134512640 134550932 4290584128 18446744073709551615 4294960144 0 4 0 16800975 18446604437821150528 0 0 -1 0 0 0 0

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

/proc/23800/statm: 10851 10556 175 383 0 10466 0
Current children cumulated CPU time (s) 1126.57
Current children cumulated vsize (KiB) 177496

[startup+1122.3 s]
/proc/loadavg: 1.02 1.06 1.02 2/108 23811
/proc/meminfo: memFree=1716040/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=1181.03
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 40731 351738 61 3 5595 1525 110655 328 15 0 1 0 11818633 137310208 6296 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159688670771686295 0 0 17 0 0 0 52
/proc/23673/statm: 33523 6296 1142 1 0 5160 0
[pid=23811] ppid=23673 vsize=39644 CPUtime=8.84
/proc/23811/stat : 23811 (bsolo_pb10) R 23673 23811 23811 0 -1 4202496 9294 0 0 0 880 4 0 0 25 0 1 0 11929978 40595456 7332 1992294400 134512640 137138936 4287043104 18446744073709551615 136504449 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/23811/statm: 9911 7332 184 642 0 9267 0
Current children cumulated CPU time (s) 1189.87
Current children cumulated vsize (KiB) 173736

[startup+1182.31 s]
/proc/loadavg: 1.00 1.05 1.01 2/108 23813
/proc/meminfo: memFree=1715668/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=1184.42
/proc/23673/stat : 23673 (python) R 23671 23673 23285 0 -1 4202496 40842 351738 61 3 5893 1566 110655 328 15 0 1 0 11818633 137310208 6296 1992294400 4194304 4196484 140736523226080 18446744073709551615 47928790070610 0 0 16781312 2 0 0 0 17 0 0 0 52
/proc/23673/statm: 33523 6296 1142 1 0 5160 0
[pid=23811] ppid=23673 vsize=39960 CPUtime=68.82
/proc/23811/stat : 23811 (bsolo_pb10) R 23673 23811 23811 0 -1 4202496 9410 0 0 0 6872 10 0 0 25 0 1 0 11929978 40919040 7419 1992294400 134512640 137138936 4287043104 18446744073709551615 134566410 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/23811/statm: 9990 7419 184 642 0 9346 0
Current children cumulated CPU time (s) 1253.24
Current children cumulated vsize (KiB) 174052

[startup+1242.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 23821
/proc/meminfo: memFree=1728068/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=1298.99
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 43278 369918 61 3 6205 1612 121725 357 16 0 1 0 11818633 137310208 6297 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159688670771686295 0 0 17 0 0 0 52
/proc/23673/statm: 33523 6297 1142 1 0 5160 0
[pid=23820] ppid=23673 vsize=18408 CPUtime=17.75
/proc/23820/stat : 23820 (clasp-1.3.3-x86) R 23673 23820 23820 0 -1 4202496 4935 0 0 0 1773 2 0 0 25 0 1 0 11941086 18849792 4316 1992294400 134512640 136080129 4294298192 18446744073709551615 134808301 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/23820/statm: 4602 4316 175 383 0 4217 0
Current children cumulated CPU time (s) 1316.74
Current children cumulated vsize (KiB) 152500

[startup+1302.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 23822
/proc/meminfo: memFree=1710212/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=1302.31
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 43360 369918 61 3 6492 1657 121725 357 15 0 1 0 11818633 137310208 6297 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159688670771686295 0 0 17 0 0 0 52
/proc/23673/statm: 33523 6297 1142 1 0 5160 0
[pid=23820] ppid=23673 vsize=35984 CPUtime=77.74
/proc/23820/stat : 23820 (clasp-1.3.3-x86) R 23673 23820 23820 0 -1 4202496 9336 0 0 0 7768 6 0 0 25 0 1 0 11941086 36847616 8717 1992294400 134512640 136080129 4294298192 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/23820/statm: 8996 8717 175 383 0 8611 0
Current children cumulated CPU time (s) 1380.05
Current children cumulated vsize (KiB) 170076

[startup+1362.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/108 23833
/proc/meminfo: memFree=1727820/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=1426.77
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 46931 391587 61 3 6798 1704 133802 373 16 0 1 0 11818633 137310208 6298 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159688670771686295 0 0 17 0 0 0 52
/proc/23673/statm: 33523 6298 1142 1 0 5160 0
[pid=23832] ppid=23673 vsize=18408 CPUtime=16.49
/proc/23832/stat : 23832 (clasp-1.3.3-x86) R 23673 23832 23832 0 -1 4202496 4932 0 0 0 1645 4 0 0 25 0 1 0 11953203 18849792 4316 1992294400 134512640 136080129 4288390144 18446744073709551615 134849989 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/23832/statm: 4602 4316 175 383 0 4217 0
Current children cumulated CPU time (s) 1443.26
Current children cumulated vsize (KiB) 152500

[startup+1422.31 s]
/proc/loadavg: 1.13 1.06 1.01 2/108 23840
/proc/meminfo: memFree=1727696/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=1490.88
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 49399 405899 61 3 7093 1762 139847 386 15 0 1 0 11818633 137310208 6298 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159836005329808279 0 0 17 1 0 0 52
/proc/23673/statm: 33523 6298 1142 1 0 5160 0
[pid=23840] ppid=23673 vsize=18408 CPUtime=15.6
/proc/23840/stat : 23840 (clasp-1.3.3-x86) R 23673 23840 23840 0 -1 4202496 4933 0 0 0 1557 3 0 0 25 0 1 0 11959302 18849792 4316 1992294400 134512640 136080129 4290081744 18446744073709551615 134588974 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/23840/statm: 4602 4316 175 383 0 4217 0
Current children cumulated CPU time (s) 1506.48
Current children cumulated vsize (KiB) 152500

[startup+1482.3 s]
/proc/loadavg: 1.11 1.06 1.01 2/108 23842
/proc/meminfo: memFree=1710088/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=1494.43
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 49486 405899 61 3 7362 1848 139847 386 15 0 1 0 11818633 137310208 6298 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159836005329808279 0 0 17 1 0 0 52
/proc/23673/statm: 33523 6298 1142 1 0 5160 0
[pid=23840] ppid=23673 vsize=35984 CPUtime=75.57
/proc/23840/stat : 23840 (clasp-1.3.3-x86) R 23673 23840 23840 0 -1 4202496 9335 0 0 0 7549 8 0 0 25 0 1 0 11959302 36847616 8718 1992294400 134512640 136080129 4290081744 18446744073709551615 134849144 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/23840/statm: 8996 8718 175 383 0 8611 0
Current children cumulated CPU time (s) 1570
Current children cumulated vsize (KiB) 170076

[startup+1542.3 s]
/proc/loadavg: 1.07 1.06 1.01 2/108 23853
/proc/meminfo: memFree=1727200/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=1619.01
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 53149 427488 61 3 7660 1922 151914 405 15 0 1 0 11818633 137310208 6299 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159688670771686295 0 0 17 0 0 0 52
/proc/23673/statm: 33523 6299 1142 1 0 5160 0
[pid=23852] ppid=23673 vsize=18408 CPUtime=14.53
/proc/23852/stat : 23852 (clasp-1.3.3-x86) R 23673 23852 23852 0 -1 4202496 4933 0 0 0 1450 3 0 0 25 0 1 0 11971408 18849792 4316 1992294400 134512640 136080129 4292538640 18446744073709551615 134845883 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/23852/statm: 4602 4316 175 383 0 4217 0
Current children cumulated CPU time (s) 1633.54
Current children cumulated vsize (KiB) 152500

[startup+1602.3 s]
/proc/loadavg: 1.08 1.06 1.01 2/108 23854
/proc/meminfo: memFree=1709468/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=1622.32
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 53234 427488 61 3 7950 1963 151914 405 15 0 1 0 11818633 137310208 6299 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159688670771686295 0 0 17 0 0 0 52
/proc/23673/statm: 33523 6299 1142 1 0 5160 0
[pid=23852] ppid=23673 vsize=35984 CPUtime=74.51
/proc/23852/stat : 23852 (clasp-1.3.3-x86) R 23673 23852 23852 0 -1 4202496 9334 0 0 0 7445 6 0 0 25 0 1 0 11971408 36847616 8717 1992294400 134512640 136080129 4292538640 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/23852/statm: 8996 8717 175 383 0 8611 0
Current children cumulated CPU time (s) 1696.83
Current children cumulated vsize (KiB) 170076

[startup+1662.3 s]
/proc/loadavg: 1.06 1.06 1.01 2/108 23865
/proc/meminfo: memFree=1728440/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=1746.96
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 56814 449131 61 3 8244 2036 163993 423 15 0 1 0 11818633 137310208 6300 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159836005329808279 0 0 17 1 0 0 52
/proc/23673/statm: 33523 6300 1142 1 0 5160 0
[pid=23864] ppid=23673 vsize=17816 CPUtime=13.24
/proc/23864/stat : 23864 (clasp-1.3.3-x86) R 23673 23864 23864 0 -1 4202496 4783 0 0 0 1321 3 0 0 25 0 1 0 11983529 18243584 4168 1992294400 134512640 136080129 4290918048 18446744073709551615 134803236 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/23864/statm: 4454 4168 175 383 0 4069 0
Current children cumulated CPU time (s) 1760.2
Current children cumulated vsize (KiB) 151908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1700.1 s]
/proc/loadavg: 1.15 1.08 1.01 2/108 23866
/proc/meminfo: memFree=1716412/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=1749.19
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 56891 449131 61 3 8420 2083 163993 423 16 0 1 0 11818633 137310208 6300 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159836005329808279 0 0 17 1 0 0 52
/proc/23673/statm: 33523 6300 1142 1 0 5160 0
[pid=23864] ppid=23673 vsize=29364 CPUtime=50.82
/proc/23864/stat : 23864 (clasp-1.3.3-x86) R 23673 23864 23864 0 -1 4202496 7695 0 0 0 5077 5 0 0 25 0 1 0 11983529 30068736 7080 1992294400 134512640 136080129 4290918048 18446744073709551615 134588658 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/23864/statm: 7341 7080 175 383 0 6956 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 163456

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

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

[startup+1700.1 s]
/proc/loadavg: 1.15 1.08 1.01 2/108 23866
/proc/meminfo: memFree=1716412/2059040 swapFree=4192956/4192956
[pid=23673] ppid=23671 vsize=134092 CPUtime=1749.19
/proc/23673/stat : 23673 (python) S 23671 23673 23285 0 -1 4202496 56891 449131 61 3 8420 2083 163993 423 16 0 1 0 11818633 137310208 6300 1992294400 4194304 4196484 140736523226080 18446744073709551615 230159068687 0 0 16781312 2 159836005329808279 0 0 17 1 0 0 52
/proc/23673/statm: 33523 6300 1142 1 0 5160 0
[pid=23864] ppid=23673 vsize=29364 CPUtime=50.82
/proc/23864/stat : 23864 (clasp-1.3.3-x86) R 23673 23864 23864 0 -1 4202496 7695 0 0 0 5077 5 0 0 25 0 1 0 11983529 30068736 7080 1992294400 134512640 136080129 4290918048 18446744073709551615 134588658 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/23864/statm: 7341 7080 175 383 0 6956 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 163456

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23673 and gives
#  childrusage.ru_utime.tv_sec=1724
#  childrusage.ru_utime.tv_usec=149889
#  childrusage.ru_stime.tv_sec=25
#  childrusage.ru_stime.tv_usec=69188
# CPU time returned by wait4() is 1749.22
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1700.12
CPU time (s): 1800.01
CPU user time (s): 1774.9
CPU system time (s): 25.11
CPU usage (%): 105.875
Max. virtual memory (cumulated for all children) (KiB): 1628772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1724.15
system time used= 25.0692
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 506022
page faults= 64
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12773
involuntary context switches= 30739

runsolver used 3.54846 second user time and 8.36273 second system time

The end

Launcher Data 

Begin job on node017 at 2010-07-06 19:07:42
IDJOB=2684890
IDBENCH=73860
IDSOLVER=1178
FILE ID=node017/2684890-1278436061
PBS_JOBID= 11233455
Free space on /tmp= 62472 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12037_7-sat.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684890-1278436061/watcher-2684890-1278436061 -o /tmp/evaluation-result-2684890-1278436061/solver-2684890-1278436061 -C 1800 -W 2000 -M 1800  solver HOME/instance-2684890-1278436061.opb 761032843 

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

MD5SUM BENCH= c76ba3fc1d0a0f3a1a96791ffe6c4cf4
RANDOM SEED=761032843

node017.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.220
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.44
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.220
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1808428 kB
Buffers:         16664 kB
Cached:          96944 kB
SwapCached:          0 kB
Active:          72832 kB
Inactive:       100972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1808428 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           24944 kB
Writeback:           0 kB
AnonPages:       60180 kB
Mapped:          14380 kB
Slab:            54764 kB
PageTables:       4152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180852 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= 62452 MiB
End job on node017 at 2010-07-06 19:36:05