Trace number 2684792

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.09 1701.73

General information on the benchmark

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

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


[startup+0 s]
/proc/loadavg: 1.00 0.97 0.82 3/106 23417
/proc/meminfo: memFree=1445160/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=24036 CPUtime=0
/proc/23417/stat : 23417 (runsolver) D 23415 23417 23285 0 -1 4202560 81 0 0 0 0 0 0 0 19 0 1 0 11646440 24612864 107 1992294400 4194304 4302564 140735095722192 18446744073709551615 230158869495 0 0 4096 24578 18446744071562234166 0 0 17 1 0 0 0
/proc/23417/statm: 6009 107 69 27 0 2647 0

[startup+0.0131449 s]
/proc/loadavg: 1.00 0.97 0.82 3/106 23417
/proc/meminfo: memFree=1445160/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=24036 CPUtime=0
/proc/23417/stat : 23417 (runsolver) D 23415 23417 23285 0 -1 4202560 81 0 0 0 0 0 0 0 19 0 1 0 11646440 24612864 107 1992294400 4194304 4302564 140735095722192 18446744073709551615 230158869495 0 0 4096 24578 18446744071562234166 0 0 17 1 0 0 0
/proc/23417/statm: 6009 107 69 27 0 2647 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24036

[startup+0.101161 s]
/proc/loadavg: 1.00 0.97 0.82 3/106 23417
/proc/meminfo: memFree=1445160/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=17828 CPUtime=0.02
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 1773 0 9 0 1 1 0 0 15 0 1 0 11646440 18255872 838 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159046656 0 2147483391 16781312 2 18446744071699383486 0 0 17 0 0 0 3
/proc/23417/statm: 4457 838 394 1 0 437 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17828

[startup+0.302179 s]
/proc/loadavg: 1.00 0.97 0.82 3/106 23417
/proc/meminfo: memFree=1445160/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=41012 CPUtime=0.12
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 2532 0 17 0 6 6 0 0 15 0 1 0 11646440 41996288 1547 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159046656 0 2147483391 16781312 2 18446744071699383486 0 0 17 0 0 0 5
/proc/23417/statm: 10253 1547 475 1 0 1053 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 41012

[startup+0.700126 s]
/proc/loadavg: 1.00 0.97 0.82 3/106 23417
/proc/meminfo: memFree=1445160/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=94024 CPUtime=0.3
/proc/23417/stat : 23417 (python) R 23415 23417 23285 0 -1 4202496 4507 0 40 0 16 14 0 0 15 0 1 0 11646440 96280576 3382 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159046656 0 0 16781312 2 0 0 0 17 0 0 0 12
/proc/23417/statm: 23506 3382 1001 1 0 2394 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 94024

[startup+1.50011 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 23418
/proc/meminfo: memFree=1418060/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=109288 CPUtime=0.71
/proc/23417/stat : 23417 (python) R 23415 23417 23285 0 -1 4202496 6941 922 41 8 43 27 0 1 17 0 1 0 11646440 111910912 4619 1992294400 4194304 4196484 140733925719888 18446744073709551615 47537307619317 0 0 16781312 2 0 0 0 17 0 0 0 14
/proc/23417/statm: 27322 4619 1036 1 0 3616 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 109288

[startup+3.10009 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 23422
/proc/meminfo: memFree=1404972/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=132036 CPUtime=1.2
/proc/23417/stat : 23417 (python) R 23415 23417 23285 0 -1 4202496 9933 922 47 8 79 40 0 1 15 0 1 0 11646440 135204864 6260 1992294400 4194304 4196484 140733925719888 18446744073709551615 47537307406881 0 0 16781312 2 0 0 0 17 0 0 0 18
/proc/23417/statm: 33009 6260 1132 1 0 5161 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 132036
heavy processes:

[startup+6.30103 s]
/proc/loadavg: 1.00 0.97 0.82 2/108 23424
/proc/meminfo: memFree=1389548/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=132036 CPUtime=1.38
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 9947 922 47 8 94 43 0 1 15 0 1 0 11646440 135204864 6260 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159688670771686204 0 0 17 0 0 0 18
/proc/23417/statm: 33009 6260 1132 1 0 5161 0
[pid=23423] ppid=23417 vsize=15904 CPUtime=3.97
/proc/23423/stat : 23423 (clasp-1.3.3-x86) R 23417 23423 23423 0 -1 4202496 4353 0 0 0 395 2 0 0 25 0 1 0 11646670 16285696 3676 1992294400 134512640 136080129 4291653536 18446744073709551615 134849637 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/23423/statm: 3976 3676 175 383 0 3591 0
Current children cumulated CPU time (s) 5.35
Current children cumulated vsize (KiB) 147940

[startup+12.7009 s]
/proc/loadavg: 1.00 0.97 0.82 2/108 23424
/proc/meminfo: memFree=1386324/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134092 CPUtime=12.03
/proc/23417/stat : 23417 (python) R 23415 23417 23285 0 -1 4202496 10828 6742 47 8 127 47 1024 5 15 0 1 0 11646440 137310208 6281 1992294400 4194304 4196484 140733925719888 18446744073709551615 47537307483680 0 0 16781312 2 0 0 0 17 0 0 0 18
/proc/23417/statm: 33523 6281 1142 1 0 5160 0
Current children cumulated CPU time (s) 12.03
Current children cumulated vsize (KiB) 134092

[startup+25.5017 s]
/proc/loadavg: 1.00 0.97 0.82 2/108 23427
/proc/meminfo: memFree=1384712/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=12.76
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 11284 6742 47 8 191 56 1024 5 15 0 1 0 11646440 137314304 6281 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159688670771686204 0 0 17 0 0 0 18
/proc/23417/statm: 33524 6281 1142 1 0 5161 0
[pid=23427] ppid=23417 vsize=20660 CPUtime=12.72
/proc/23427/stat : 23427 (clasp-1.3.3-x86) R 23417 23427 23427 0 -1 4202496 5564 0 0 0 1268 4 0 0 25 0 1 0 11647710 21155840 4882 1992294400 134512640 136080129 4289752784 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/23427/statm: 5165 4882 175 383 0 4780 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 154756

[startup+51.1013 s]
/proc/loadavg: 1.00 0.97 0.83 2/108 23428
/proc/meminfo: memFree=1379876/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=14.17
/proc/23417/stat : 23417 (python) R 23415 23417 23285 0 -1 4202496 11348 6742 47 8 315 73 1024 5 15 0 1 0 11646440 137314304 6281 1992294400 4194304 4196484 140733925719888 18446744073709551615 47537307399190 0 0 16781312 2 0 0 0 17 0 0 0 18
/proc/23417/statm: 33525 6281 1142 1 0 5162 0
[pid=23427] ppid=23417 vsize=25168 CPUtime=38.16
/proc/23427/stat : 23427 (clasp-1.3.3-x86) R 23417 23427 23427 0 -1 4202496 6689 0 0 0 3811 5 0 0 25 0 1 0 11647710 25772032 6007 1992294400 134512640 136080129 4289752784 18446744073709551615 134849256 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/23427/statm: 6292 6007 175 383 0 5907 0
Current children cumulated CPU time (s) 52.33
Current children cumulated vsize (KiB) 159264

[startup+102.309 s]
/proc/loadavg: 1.00 0.97 0.83 2/108 23432
/proc/meminfo: memFree=1370452/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=67.74
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 12586 14994 47 8 597 116 6048 13 15 0 1 0 11646440 137314304 6281 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159688670771686204 0 0 17 0 0 0 18
/proc/23417/statm: 33524 6281 1142 1 0 5161 0
[pid=23431] ppid=23417 vsize=37336 CPUtime=38.71
/proc/23431/stat : 23431 (wbo1.4a) R 23417 23431 23431 0 -1 4202496 10206 0 0 0 3850 21 0 0 25 0 1 0 11652775 38232064 8324 1992294400 134512640 135751879 4292269152 18446744073709551615 134616273 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/23431/statm: 9334 8324 139 303 0 9029 0
Current children cumulated CPU time (s) 106.45
Current children cumulated vsize (KiB) 171432

[startup+162.301 s]
/proc/loadavg: 1.05 0.99 0.84 2/108 23437
/proc/meminfo: memFree=1377148/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=121.92
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 13903 27257 47 8 910 157 11082 43 16 0 1 0 11646440 137314304 6283 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159836005329808188 0 0 17 1 0 0 18
/proc/23417/statm: 33524 6283 1142 1 0 5161 0
[pid=23436] ppid=23417 vsize=27552 CPUtime=47.93
/proc/23436/stat : 23436 (clasp-1.3.3-x86) R 23417 23436 23436 0 -1 4202496 7264 0 0 0 4787 6 0 0 25 0 1 0 11657873 28213248 6580 1992294400 134512640 136080129 4289599120 18446744073709551615 135500336 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/23436/statm: 6888 6580 175 383 0 6503 0
Current children cumulated CPU time (s) 169.85
Current children cumulated vsize (KiB) 161648

[startup+222.301 s]
/proc/loadavg: 1.10 1.00 0.85 2/108 23441
/proc/meminfo: memFree=1382108/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=225.96
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 15078 37489 47 8 1252 195 21094 55 15 0 1 0 11646440 137314304 6285 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159688670771686204 0 0 17 0 0 0 18
/proc/23417/statm: 33524 6285 1142 1 0 5161 0
[pid=23441] ppid=23417 vsize=25512 CPUtime=7.6
/proc/23441/stat : 23441 (wbo1.4a) R 23417 23441 23441 0 -1 4202496 7274 0 0 0 753 7 0 0 25 0 1 0 11667904 26124288 5393 1992294400 134512640 135751879 4290805184 18446744073709551615 134606453 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/23441/statm: 6378 5393 139 303 0 6073 0
Current children cumulated CPU time (s) 233.56
Current children cumulated vsize (KiB) 159608

[startup+282.303 s]
/proc/loadavg: 1.14 1.03 0.87 2/108 23443
/proc/meminfo: memFree=1359664/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=229.39
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 15171 37489 47 8 1554 236 21094 55 15 0 1 0 11646440 137314304 6285 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159688670771686204 0 0 17 0 0 0 18
/proc/23417/statm: 33524 6285 1142 1 0 5161 0
[pid=23441] ppid=23417 vsize=48136 CPUtime=67.24
/proc/23441/stat : 23441 (wbo1.4a) R 23417 23441 23441 0 -1 4202496 12910 0 0 0 6684 40 0 0 25 0 1 0 11667904 49291264 11029 1992294400 134512640 135751879 4290805184 18446744073709551615 134616320 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/23441/statm: 12034 11029 139 303 0 11729 0
Current children cumulated CPU time (s) 296.63
Current children cumulated vsize (KiB) 182232

[startup+342.301 s]
/proc/loadavg: 1.19 1.07 0.89 2/108 23448
/proc/meminfo: memFree=1331888/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=333.62
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 16424 53181 47 8 1856 278 31117 111 15 0 1 0 11646440 137314304 6287 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159688670771686204 0 0 17 0 0 0 18
/proc/23417/statm: 33524 6287 1142 1 0 5161 0
[pid=23447] ppid=23417 vsize=75972 CPUtime=26.06
/proc/23447/stat : 23447 (wbo1.4b) R 23417 23447 23447 0 -1 4202496 19775 0 0 0 2599 7 0 0 25 0 1 0 11678048 77795328 17891 1992294400 134512640 135751879 4290378304 18446744073709551615 134524019 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/23447/statm: 18993 17891 142 303 0 18688 0
Current children cumulated CPU time (s) 359.68
Current children cumulated vsize (KiB) 210068

[startup+402.301 s]
/proc/loadavg: 1.39 1.14 0.93 2/120 23464
/proc/meminfo: memFree=1206528/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=387.36
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 17683 79355 47 8 2189 305 36118 124 15 0 1 0 11646440 137314304 6287 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159836005329808188 0 0 17 1 0 0 18
/proc/23417/statm: 33524 6287 1142 1 0 5161 0
[pid=23451] ppid=23417 vsize=1488084 CPUtime=37.31
/proc/23451/stat : 23451 (java) S 23417 23451 23451 0 -1 4202496 54215 0 108 0 3701 30 0 0 16 0 13 0 11683095 1523798016 49679 1992294400 134512640 134550932 4290277184 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 11
/proc/23451/statm: 372021 49679 1437 10 0 369323 0
[pid=23451/tid=23452] ppid=23417 vsize=1488084 CPUtime=33.78
/proc/23451/task/23452/stat : 23452 (java) R 23417 23451 23451 0 -1 4202560 30896 0 60 0 3361 17 0 0 25 0 13 0 11683111 1523798016 49679 1992294400 134512640 134550932 4290277184 18446744073709551615 4109387489 0 4 0 16800975 0 0 0 -1 0 0 0 10
[pid=23451/tid=23453] ppid=23417 vsize=1488084 CPUtime=0.51
/proc/23451/task/23453/stat : 23453 (java) S 23417 23451 23451 0 -1 4202560 7120 0 0 0 48 3 0 0 18 0 13 0 11683117 1523798016 49679 1992294400 134512640 134550932 4290277184 18446744073709551615 4294960144 0 4 0 16800975 18446604437830620096 0 0 -1 1 0 0 0
[pid=23451/tid=23454] ppid=23417 vsize=1488084 CPUtime=0.5
/proc/23451/task/23454/stat : 23454 (java) S 23417 23451 23451 0 -1 4202560 7566 0 0 0 47 3 0 0 18 0 13 0 11683117 1523798016 49679 1992294400 134512640 134550932 4290277184 18446744073709551615 4294960144 0 4 0 16800975 18446604437830620096 0 0 -1 0 0 0 0
[pid=23451/tid=23455] ppid=23417 vsize=1488084 CPUtime=0
/proc/23451/task/23455/stat : 23455 (java) S 23417 23451 23451 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 13 0 11683120 1523798016 49679 1992294400 134512640 134550932 4290277184 18446744073709551615 4294960144 0 0 0 16800975 18446604437830620096 0 0 -1 0 0 0 0
[pid=23451/tid=23456] ppid=23417 vsize=1488084 CPUtime=0
/proc/23451/task/23456/stat : 23456 (java) S 23417 23451 23451 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 11683121 1523798016 49679 1992294400 134512640 134550932 4290277184 18446744073709551615 4294960144 0 4 0 16800975 18446604437830620096 0 0 -1 0 0 0 0
[pid=23451/tid=23457] ppid=23417 vsize=1488084 CPUtime=0
/proc/23451/task/23457/stat : 23457 (java) S 23417 23451 23451 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 11683121 1523798016 49679 1992294400 134512640 134550932 4290277184 18446744073709551615 4294960144 0 4 0 16800975 18446604437830620096 0 0 -1 0 0 0 0

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

/proc/23541/statm: 12825 12529 175 383 0 12440 0
Current children cumulated CPU time (s) 1125.63
Current children cumulated vsize (KiB) 185396

[startup+1122.3 s]
/proc/loadavg: 1.03 1.10 1.01 2/108 23552
/proc/meminfo: memFree=1354744/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=1178.12
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 40914 360516 47 117 6007 821 110667 317 16 0 1 0 11646440 137314304 6297 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159688670771686204 0 0 17 0 0 0 18
/proc/23417/statm: 33524 6297 1142 1 0 5161 0
[pid=23552] ppid=23417 vsize=46040 CPUtime=10.96
/proc/23552/stat : 23552 (bsolo_pb10) R 23417 23552 23552 0 -1 4202496 10582 0 0 0 1091 5 0 0 25 0 1 0 11757566 47144960 8847 1992294400 134512640 137138936 4288271984 18446744073709551615 136504404 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/23552/statm: 11510 8847 183 642 0 10866 0
Current children cumulated CPU time (s) 1189.08
Current children cumulated vsize (KiB) 180136

[startup+1182.3 s]
/proc/loadavg: 1.05 1.09 1.01 2/108 23554
/proc/meminfo: memFree=1354744/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=1181.41
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 41017 360516 47 117 6294 863 110667 317 15 0 1 0 11646440 137314304 6297 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159688670771686204 0 0 17 0 0 0 18
/proc/23417/statm: 33524 6297 1142 1 0 5161 0
[pid=23552] ppid=23417 vsize=46040 CPUtime=70.58
/proc/23552/stat : 23552 (bsolo_pb10) R 23417 23552 23552 0 -1 4202496 10595 0 0 0 7046 12 0 0 25 0 1 0 11757566 47144960 8860 1992294400 134512640 137138936 4288271984 18446744073709551615 134542187 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/23552/statm: 11510 8860 183 642 0 10866 0
Current children cumulated CPU time (s) 1251.99
Current children cumulated vsize (KiB) 180136

[startup+1242.3 s]
/proc/loadavg: 1.02 1.07 1.00 2/108 23562
/proc/meminfo: memFree=1368260/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=1295.56
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 43473 378146 47 117 6604 907 121706 339 15 0 1 0 11646440 137314304 6298 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159836005329808188 0 0 17 1 0 0 18
/proc/23417/statm: 33524 6298 1142 1 0 5161 0
[pid=23561] ppid=23417 vsize=23564 CPUtime=19.71
/proc/23561/stat : 23561 (clasp-1.3.3-x86) R 23417 23561 23561 0 -1 4202496 6287 0 0 0 1967 4 0 0 25 0 1 0 11768698 24129536 5600 1992294400 134512640 136080129 4287701312 18446744073709551615 134845911 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/23561/statm: 5891 5600 175 383 0 5506 0
Current children cumulated CPU time (s) 1315.27
Current children cumulated vsize (KiB) 157660

[startup+1302.3 s]
/proc/loadavg: 1.00 1.06 1.00 2/108 23563
/proc/meminfo: memFree=1357472/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=1299.06
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 43563 378146 47 117 6911 950 121706 339 15 0 1 0 11646440 137314304 6298 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159836005329808188 0 0 17 1 0 0 18
/proc/23417/statm: 33524 6298 1142 1 0 5161 0
[pid=23561] ppid=23417 vsize=33644 CPUtime=79.69
/proc/23561/stat : 23561 (clasp-1.3.3-x86) R 23417 23561 23561 0 -1 4202496 8791 0 0 0 7963 6 0 0 25 0 1 0 11768698 34451456 8104 1992294400 134512640 136080129 4287701312 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/23561/statm: 8411 8104 175 383 0 8026 0
Current children cumulated CPU time (s) 1378.75
Current children cumulated vsize (KiB) 167740

[startup+1362.3 s]
/proc/loadavg: 1.08 1.06 1.01 2/108 23583
/proc/meminfo: memFree=1369128/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=1423.52
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 47192 400093 47 117 7228 995 133773 356 15 0 1 0 11646440 137314304 6299 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159836005329808188 0 0 17 1 0 0 18
/proc/23417/statm: 33524 6299 1142 1 0 5161 0
[pid=23582] ppid=23417 vsize=22508 CPUtime=18.7
/proc/23582/stat : 23582 (clasp-1.3.3-x86) R 23417 23582 23582 0 -1 4202496 6022 0 0 0 1866 4 0 0 25 0 1 0 11780797 23048192 5338 1992294400 134512640 136080129 4291223760 18446744073709551615 134808099 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/23582/statm: 5627 5338 175 383 0 5242 0
Current children cumulated CPU time (s) 1442.22
Current children cumulated vsize (KiB) 156604

[startup+1422.31 s]
/proc/loadavg: 1.10 1.06 1.00 2/108 23590
/proc/meminfo: memFree=1368632/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=1487.67
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 49683 414429 47 117 7546 1038 139815 368 15 0 1 0 11646440 137314304 6299 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159836005329808188 0 0 17 1 0 0 18
/proc/23417/statm: 33524 6299 1142 1 0 5161 0
[pid=23590] ppid=23417 vsize=21980 CPUtime=18.1
/proc/23590/stat : 23590 (clasp-1.3.3-x86) R 23417 23590 23590 0 -1 4202496 5885 0 0 0 1806 4 0 0 25 0 1 0 11786860 22507520 5199 1992294400 134512640 136080129 4294615280 18446744073709551615 134845911 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/23590/statm: 5495 5199 175 383 0 5110 0
Current children cumulated CPU time (s) 1505.77
Current children cumulated vsize (KiB) 156076

[startup+1482.3 s]
/proc/loadavg: 1.03 1.05 1.00 2/108 23592
/proc/meminfo: memFree=1356852/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=1491.15
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 49762 414429 47 117 7854 1078 139815 368 15 0 1 0 11646440 137314304 6299 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159836005329808188 0 0 17 1 0 0 18
/proc/23417/statm: 33524 6299 1142 1 0 5161 0
[pid=23590] ppid=23417 vsize=33644 CPUtime=78.06
/proc/23590/stat : 23590 (clasp-1.3.3-x86) R 23417 23590 23590 0 -1 4202496 8790 0 0 0 7798 8 0 0 25 0 1 0 11786860 34451456 8104 1992294400 134512640 136080129 4294615280 18446744073709551615 134842294 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/23590/statm: 8411 8104 175 383 0 8026 0
Current children cumulated CPU time (s) 1569.21
Current children cumulated vsize (KiB) 167740

[startup+1542.3 s]
/proc/loadavg: 1.05 1.05 1.00 2/108 23603
/proc/meminfo: memFree=1369004/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=1615.41
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 53428 436302 47 117 8167 1121 151865 388 15 0 1 0 11646440 137314304 6300 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159688670771686204 0 0 17 0 0 0 18
/proc/23417/statm: 33524 6300 1142 1 0 5161 0
[pid=23602] ppid=23417 vsize=21848 CPUtime=17.03
/proc/23602/stat : 23602 (clasp-1.3.3-x86) R 23417 23602 23602 0 -1 4202496 5847 0 0 0 1700 3 0 0 25 0 1 0 11798955 22372352 5161 1992294400 134512640 136080129 4294331392 18446744073709551615 134849659 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/23602/statm: 5462 5161 175 383 0 5077 0
Current children cumulated CPU time (s) 1632.44
Current children cumulated vsize (KiB) 155944

[startup+1602.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/108 23604
/proc/meminfo: memFree=1357224/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=1618.71
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 53518 436302 47 117 8460 1158 151865 388 15 0 1 0 11646440 137314304 6300 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159688670771686204 0 0 17 0 0 0 18
/proc/23417/statm: 33524 6300 1142 1 0 5161 0
[pid=23602] ppid=23417 vsize=33644 CPUtime=76.65
/proc/23602/stat : 23602 (clasp-1.3.3-x86) R 23417 23602 23602 0 -1 4202496 8791 0 0 0 7660 5 0 0 25 0 1 0 11798955 34451456 8105 1992294400 134512640 136080129 4294331392 18446744073709551615 134808296 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/23602/statm: 8411 8105 175 383 0 8026 0
Current children cumulated CPU time (s) 1695.36
Current children cumulated vsize (KiB) 167740

[startup+1662.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/108 23615
/proc/meminfo: memFree=1369004/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=1743.35
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 57179 458416 47 117 8787 1197 163946 405 15 0 1 0 11646440 137314304 6301 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159836005329808188 0 0 17 1 0 0 18
/proc/23417/statm: 33524 6301 1142 1 0 5161 0
[pid=23614] ppid=23417 vsize=21848 CPUtime=15.27
/proc/23614/stat : 23614 (clasp-1.3.3-x86) R 23417 23614 23614 0 -1 4202496 5847 0 0 0 1523 4 0 0 25 0 1 0 11811132 22372352 5161 1992294400 134512640 136080129 4289934160 18446744073709551615 134716368 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/23614/statm: 5462 5161 175 383 0 5077 0
Current children cumulated CPU time (s) 1758.62
Current children cumulated vsize (KiB) 155944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1701.71 s]
/proc/loadavg: 1.04 1.05 1.00 2/108 23616
/proc/meminfo: memFree=1359084/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=1745.64
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 57253 458416 47 117 8990 1223 163946 405 16 0 1 0 11646440 137314304 6301 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159836005329808188 0 0 17 1 0 0 18
/proc/23417/statm: 33524 6301 1142 1 0 5161 0
[pid=23614] ppid=23417 vsize=31788 CPUtime=54.45
/proc/23614/stat : 23614 (clasp-1.3.3-x86) R 23417 23614 23614 0 -1 4202496 8338 0 0 0 5439 6 0 0 25 0 1 0 11811132 32550912 7652 1992294400 134512640 136080129 4289934160 18446744073709551615 135505028 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/23614/statm: 7947 7652 175 383 0 7562 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 165884

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

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

[startup+1701.71 s]
/proc/loadavg: 1.04 1.05 1.00 2/108 23616
/proc/meminfo: memFree=1359084/2059040 swapFree=4192956/4192956
[pid=23417] ppid=23415 vsize=134096 CPUtime=1745.64
/proc/23417/stat : 23417 (python) S 23415 23417 23285 0 -1 4202496 57253 458416 47 117 8990 1223 163946 405 16 0 1 0 11646440 137314304 6301 1992294400 4194304 4196484 140733925719888 18446744073709551615 230159068687 0 0 16781312 2 159836005329808188 0 0 17 1 0 0 18
/proc/23417/statm: 33524 6301 1142 1 0 5161 0
[pid=23614] ppid=23417 vsize=31788 CPUtime=54.45
/proc/23614/stat : 23614 (clasp-1.3.3-x86) R 23417 23614 23614 0 -1 4202496 8338 0 0 0 5439 6 0 0 25 0 1 0 11811132 32550912 7652 1992294400 134512640 136080129 4289934160 18446744073709551615 135505028 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/23614/statm: 7947 7652 175 383 0 7562 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 165884

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23417 and gives
#  childrusage.ru_utime.tv_sec=1729
#  childrusage.ru_utime.tv_usec=375095
#  childrusage.ru_stime.tv_sec=16
#  childrusage.ru_stime.tv_usec=292523
# CPU time returned by wait4() is 1745.67
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1701.73
CPU time (s): 1800.09
CPU user time (s): 1783.75
CPU system time (s): 16.34
CPU usage (%): 105.78
Max. virtual memory (cumulated for all children) (KiB): 1626588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1729.38
system time used= 16.2925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 515669
page faults= 164
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15482
involuntary context switches= 29567

runsolver used 3.33449 second user time and 8.95364 second system time

The end

Launcher Data 

Begin job on node017 at 2010-07-06 18:39:00
IDJOB=2684792
IDBENCH=73562
IDSOLVER=1178
FILE ID=node017/2684792-1278434339
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-j12016_4-sat.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684792-1278434339/watcher-2684792-1278434339 -o /tmp/evaluation-result-2684792-1278434339/solver-2684792-1278434339 -C 1800 -W 2000 -M 1800  solver HOME/instance-2684792-1278434339.opb 702736878 

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

MD5SUM BENCH= 142eb7aa6e3fc22a3161df6b33ced1a2
RANDOM SEED=702736878

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:       1445688 kB
Buffers:        106732 kB
Cached:         370564 kB
SwapCached:          0 kB
Active:         190416 kB
Inactive:       347020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1445688 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           25708 kB
Writeback:           0 kB
AnonPages:       60196 kB
Mapped:          14452 kB
Slab:            53936 kB
PageTables:       4244 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179040 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:07:25