Trace number 2675947

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.03 1698.52

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
MD5SUM14c93c93dc53353f81a889ada18ba601
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables81558
Total number of constraints240469
Number of constraints which are clauses235865
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4604
Minimum length of a constraint1
Maximum length of a constraint13
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 68
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 257
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.95 0.75 0.74 3/106 10954
/proc/meminfo: memFree=1520148/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=16712 CPUtime=0
/proc/10954/stat : 10954 (python) R 10952 10954 10464 0 -1 4202496 761 0 0 0 0 0 0 0 18 0 1 0 54775643 17113088 525 1992294400 4194304 4196484 140733919050768 18446744073709551615 234007322256 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10954/statm: 4177 524 281 1 0 273 0

[startup+0.0889999 s]
/proc/loadavg: 0.95 0.75 0.74 3/106 10954
/proc/meminfo: memFree=1520148/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=31512 CPUtime=0.07
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 2244 0 0 0 4 3 0 0 18 0 1 0 54775643 32268288 1228 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007320576 0 2147483391 16781312 2 18446744071699379390 0 0 17 1 0 0 0
/proc/10954/statm: 7878 1228 459 1 0 750 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31512

[startup+0.103566 s]
/proc/loadavg: 0.95 0.75 0.74 3/106 10954
/proc/meminfo: memFree=1520148/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=34216 CPUtime=0.08
/proc/10954/stat : 10954 (python) R 10952 10954 10464 0 -1 4202496 2422 0 0 0 5 3 0 0 18 0 1 0 54775643 35037184 1394 1992294400 4194304 4196484 140734733418336 18446744073709551615 47243040054597 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10954/statm: 8554 1394 462 1 0 911 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34216

[startup+0.301586 s]
/proc/loadavg: 0.95 0.75 0.74 3/106 10954
/proc/meminfo: memFree=1520148/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=71516 CPUtime=0.26
/proc/10954/stat : 10954 (python) R 10952 10954 10464 0 -1 4202496 4150 0 0 0 18 8 0 0 18 0 1 0 54775643 73232384 2957 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007365767 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10954/statm: 17879 2958 693 1 0 2366 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 71516

[startup+0.70164 s]
/proc/loadavg: 0.95 0.75 0.74 3/106 10954
/proc/meminfo: memFree=1520148/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=101648 CPUtime=0.61
/proc/10954/stat : 10954 (python) D 10952 10954 10464 0 -1 4202496 5554 0 0 0 41 20 0 0 18 0 1 0 54775643 104087552 4232 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007328311 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 0
/proc/10954/statm: 25412 4232 1023 1 0 3269 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 101648

[startup+1.50172 s]
/proc/loadavg: 0.95 0.75 0.74 1/107 10955
/proc/meminfo: memFree=1506128/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=101648 CPUtime=0.61
/proc/10954/stat : 10954 (python) D 10952 10954 10464 0 -1 4202496 5554 0 0 0 41 20 0 0 18 0 1 0 54775643 104087552 4232 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007328311 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 0
/proc/10954/statm: 25412 4232 1023 1 0 3269 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 101648

[startup+3.10191 s]
/proc/loadavg: 0.95 0.75 0.74 2/107 10959
/proc/meminfo: memFree=1500176/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=132048 CPUtime=1.2
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 10266 927 0 0 87 33 0 0 15 0 1 0 54775643 135217152 6305 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 95
/proc/10954/statm: 33012 6305 1133 1 0 5164 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 132048
heavy processes:

[startup+6.30125 s]
/proc/loadavg: 0.96 0.75 0.74 3/108 10960
/proc/meminfo: memFree=1478344/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=132048 CPUtime=1.4
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 10282 927 0 0 104 36 0 0 15 0 1 0 54775643 135217152 6305 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 18446743047212335360 0 0 17 1 0 0 95
/proc/10954/statm: 33012 6305 1133 1 0 5164 0
[pid=10960] ppid=10954 vsize=22240 CPUtime=3.89
/proc/10960/stat : 10960 (clasp-1.3.3-x86) R 10954 10960 10960 0 -1 4202496 6159 0 0 0 387 2 0 0 25 0 1 0 54775880 22773760 5244 1992294400 134512640 136080129 4289060064 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/10960/statm: 5560 5244 175 383 0 5175 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 154288

[startup+12.701 s]
/proc/loadavg: 0.96 0.76 0.74 2/108 10960
/proc/meminfo: memFree=1477724/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=132048 CPUtime=1.79
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 10310 927 0 0 138 41 0 0 15 0 1 0 54775643 135217152 6305 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 95
/proc/10954/statm: 33012 6305 1133 1 0 5164 0
[pid=10960] ppid=10954 vsize=23032 CPUtime=10.25
/proc/10960/stat : 10960 (clasp-1.3.3-x86) R 10954 10960 10960 0 -1 4202496 6368 0 0 0 1023 2 0 0 25 0 1 0 54775880 23584768 5453 1992294400 134512640 136080129 4289060064 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/10960/statm: 5758 5453 175 383 0 5373 0
Current children cumulated CPU time (s) 12.04
Current children cumulated vsize (KiB) 155080

[startup+25.5013 s]
/proc/loadavg: 1.04 0.79 0.75 2/108 10963
/proc/meminfo: memFree=1477724/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=13.08
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 11639 8218 0 0 203 58 1042 5 15 0 1 0 54775643 137326592 6330 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 95
/proc/10954/statm: 33527 6330 1143 1 0 5164 0
[pid=10963] ppid=10954 vsize=23428 CPUtime=12.56
/proc/10963/stat : 10963 (clasp-1.3.3-x86) R 10954 10963 10963 0 -1 4202496 6448 0 0 0 1253 3 0 0 25 0 1 0 54776935 23990272 5535 1992294400 134512640 136080129 4290307872 18446744073709551615 134617210 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10963/statm: 5857 5535 175 383 0 5472 0
Current children cumulated CPU time (s) 25.64
Current children cumulated vsize (KiB) 157536

[startup+51.1006 s]
/proc/loadavg: 1.10 0.82 0.76 2/108 10963
/proc/meminfo: memFree=1474376/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=14.61
/proc/10954/stat : 10954 (python) R 10952 10954 10464 0 -1 4202496 11727 8218 0 0 328 86 1042 5 15 0 1 0 54775643 137326592 6330 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007365767 0 0 16781312 2 0 0 0 17 0 0 0 95
/proc/10954/statm: 33527 6330 1143 1 0 5164 0
[pid=10963] ppid=10954 vsize=27284 CPUtime=38.06
/proc/10963/stat : 10963 (clasp-1.3.3-x86) R 10954 10963 10963 0 -1 4202496 7419 0 0 0 3802 4 0 0 25 0 1 0 54776935 27938816 6506 1992294400 134512640 136080129 4290307872 18446744073709551615 134803078 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10963/statm: 6821 6506 175 383 0 6436 0
Current children cumulated CPU time (s) 52.67
Current children cumulated vsize (KiB) 161392

[startup+102.308 s]
/proc/loadavg: 1.04 0.84 0.77 2/108 10968
/proc/meminfo: memFree=1469424/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=68.26
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 13004 16933 0 0 611 144 6060 11 16 0 1 0 54775643 137326592 6332 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 95
/proc/10954/statm: 33527 6332 1143 1 0 5164 0
[pid=10968] ppid=10954 vsize=34924 CPUtime=38.68
/proc/10968/stat : 10968 (wbo1.4a) R 10954 10968 10968 0 -1 4202496 10377 0 0 0 3856 12 0 0 25 0 1 0 54781982 35762176 7708 1992294400 134512640 135751879 4293334272 18446744073709551615 134616398 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10968/statm: 8731 7708 139 303 0 8426 0
Current children cumulated CPU time (s) 106.94
Current children cumulated vsize (KiB) 169032

[startup+162.301 s]
/proc/loadavg: 1.05 0.89 0.79 2/108 10973
/proc/meminfo: memFree=1472648/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=122.53
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 14314 28431 0 0 939 192 11094 28 16 0 1 0 54775643 137326592 6333 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 95
/proc/10954/statm: 33527 6333 1143 1 0 5164 0
[pid=10971] ppid=10954 vsize=28696 CPUtime=48.06
/proc/10971/stat : 10971 (clasp-1.3.3-x86) R 10954 10971 10971 0 -1 4202496 7761 0 0 0 4801 5 0 0 25 0 1 0 54787063 29384704 6844 1992294400 134512640 136080129 4288728704 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/10971/statm: 7174 6844 175 383 0 6789 0
Current children cumulated CPU time (s) 170.59
Current children cumulated vsize (KiB) 162804

[startup+222.3 s]
/proc/loadavg: 1.07 0.92 0.80 2/108 10978
/proc/meminfo: memFree=1471160/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=226.67
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 15534 37933 0 0 1281 243 21107 36 15 0 1 0 54775643 137326592 6334 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 95
/proc/10954/statm: 33527 6334 1143 1 0 5164 0
[pid=10978] ppid=10954 vsize=32780 CPUtime=7.74
/proc/10978/stat : 10978 (wbo1.4a) R 10954 10978 10978 0 -1 4202496 9866 0 0 0 771 3 0 0 25 0 1 0 54797092 33566720 7194 1992294400 134512640 135751879 4289363968 18446744073709551615 134609005 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10978/statm: 8195 7194 139 303 0 7890 0
Current children cumulated CPU time (s) 234.41
Current children cumulated vsize (KiB) 166888

[startup+282.301 s]
/proc/loadavg: 1.10 0.96 0.82 2/108 10978
/proc/meminfo: memFree=1466696/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=230.32
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 15635 37933 0 0 1581 308 21107 36 15 0 1 0 54775643 137326592 6334 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 95
/proc/10954/statm: 33527 6334 1143 1 0 5164 0
[pid=10978] ppid=10954 vsize=37332 CPUtime=67.35
/proc/10978/stat : 10978 (wbo1.4a) R 10954 10978 10978 0 -1 4202496 10993 0 0 0 6718 17 0 0 25 0 1 0 54797092 38227968 8321 1992294400 134512640 135751879 4289363968 18446744073709551615 134620495 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10978/statm: 9333 8321 139 303 0 9028 0
Current children cumulated CPU time (s) 297.67
Current children cumulated vsize (KiB) 171440

[startup+342.3 s]
/proc/loadavg: 1.04 0.96 0.83 2/108 10983
/proc/meminfo: memFree=1327320/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=334.75
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 16909 50496 0 0 1901 366 31145 63 15 0 1 0 54775643 137326592 6336 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 95
/proc/10954/statm: 33527 6336 1143 1 0 5164 0
[pid=10983] ppid=10954 vsize=177016 CPUtime=26.29
/proc/10983/stat : 10983 (wbo1.4b) R 10954 10983 10983 0 -1 4202496 45770 0 0 0 2613 16 0 0 25 0 1 0 54807226 181264384 43099 1992294400 134512640 135751879 4288285120 18446744073709551615 134524019 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10983/statm: 44254 43099 142 303 0 43949 0
Current children cumulated CPU time (s) 361.04
Current children cumulated vsize (KiB) 311124

[startup+402.302 s]
/proc/loadavg: 1.12 1.00 0.85 2/120 11000
/proc/meminfo: memFree=1301000/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=388.92
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 18218 107767 0 0 2220 419 36165 88 15 0 1 0 54775643 137326592 6336 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 95
/proc/10954/statm: 33527 6336 1143 1 0 5164 0
[pid=10988] ppid=10954 vsize=1479952 CPUtime=37.37
/proc/10988/stat : 10988 (java) S 10954 10988 10988 0 -1 4202496 53887 0 1 0 3710 27 0 0 15 0 13 0 54812305 1515470848 50849 1992294400 134512640 134550932 4287923408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10988/statm: 369988 50849 1437 10 0 367290 0
[pid=10988/tid=10989] ppid=10954 vsize=1479952 CPUtime=33.92
/proc/10988/task/10989/stat : 10989 (java) R 10954 10988 10988 0 -1 4202560 30982 0 1 0 3376 16 0 0 25 0 13 0 54812307 1515470848 50849 1992294400 134512640 134550932 4287923408 18446744073709551615 4109564186 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10988/tid=10990] ppid=10954 vsize=1479952 CPUtime=0.76
/proc/10988/task/10990/stat : 10990 (java) S 10954 10988 10988 0 -1 4202560 9584 0 0 0 72 4 0 0 16 0 13 0 54812308 1515470848 50849 1992294400 134512640 134550932 4287923408 18446744073709551615 4294960144 0 4 0 16800975 18446604437862611904 0 0 -1 1 0 0 0
[pid=10988/tid=10991] ppid=10954 vsize=1479952 CPUtime=0.74
/proc/10988/task/10991/stat : 10991 (java) S 10954 10988 10988 0 -1 4202560 8992 0 0 0 71 3 0 0 15 0 13 0 54812309 1515470848 50849 1992294400 134512640 134550932 4287923408 18446744073709551615 4294960144 0 4 0 16800975 18446604437862611904 0 0 -1 0 0 0 0
[pid=10988/tid=10992] ppid=10954 vsize=1479952 CPUtime=0
/proc/10988/task/10992/stat : 10992 (java) S 10954 10988 10988 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 13 0 54812310 1515470848 50849 1992294400 134512640 134550932 4287923408 18446744073709551615 4294960144 0 0 0 16800975 18446604437862611904 0 0 -1 1 0 0 0
[pid=10988/tid=10993] ppid=10954 vsize=1479952 CPUtime=0

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

/proc/11078/statm: 9350 9010 175 383 0 8965 0
Current children cumulated CPU time (s) 1126.9
Current children cumulated vsize (KiB) 171508

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 0.93 2/108 11089
/proc/meminfo: memFree=1448904/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=1182.94
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 41977 456518 0 2 6027 1107 110861 299 15 0 1 0 54775643 137326592 6345 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 95
/proc/10954/statm: 33527 6345 1143 1 0 5164 0
[pid=11089] ppid=10954 vsize=61816 CPUtime=7.56
/proc/11089/stat : 11089 (bsolo_pb10) R 10954 11089 11089 0 -1 4202496 15118 0 0 0 750 6 0 0 25 0 1 0 54887115 63299584 12609 1992294400 134512640 137138936 4290291888 18446744073709551615 134542187 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11089/statm: 15454 12609 183 642 0 14810 0
Current children cumulated CPU time (s) 1190.5
Current children cumulated vsize (KiB) 195924

[startup+1182.3 s]
/proc/loadavg: 1.04 1.03 0.93 2/108 11089
/proc/meminfo: memFree=1448284/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=1186.46
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 42079 456518 0 2 6312 1174 110861 299 15 0 1 0 54775643 137326592 6345 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 95
/proc/10954/statm: 33527 6345 1143 1 0 5164 0
[pid=11089] ppid=10954 vsize=62344 CPUtime=67.55
/proc/11089/stat : 11089 (bsolo_pb10) R 10954 11089 11089 0 -1 4202496 15251 0 0 0 6747 8 0 0 25 0 1 0 54887115 63840256 12742 1992294400 134512640 137138936 4290291888 18446744073709551615 134542187 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11089/statm: 15586 12742 183 642 0 14942 0
Current children cumulated CPU time (s) 1254.01
Current children cumulated vsize (KiB) 196452

[startup+1242.3 s]
/proc/loadavg: 1.01 1.02 0.93 2/108 11106
/proc/meminfo: memFree=1476184/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=1301.23
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 44536 480047 0 2 6621 1242 121945 315 15 0 1 0 54775643 137326592 6346 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 95
/proc/10954/statm: 33527 6346 1143 1 0 5164 0
[pid=11097] ppid=10954 vsize=23956 CPUtime=16.31
/proc/11097/stat : 11097 (clasp-1.3.3-x86) R 10954 11097 11097 0 -1 4202496 6597 0 0 0 1628 3 0 0 25 0 1 0 54898231 24530944 5677 1992294400 134512640 136080129 4286649376 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11097/statm: 5989 5677 175 383 0 5604 0
Current children cumulated CPU time (s) 1317.54
Current children cumulated vsize (KiB) 158064

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 0.93 2/108 11108
/proc/meminfo: memFree=1469364/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=1304.98
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 44609 480047 0 2 6946 1292 121945 315 15 0 1 0 54775643 137326592 6346 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 95
/proc/10954/statm: 33527 6346 1143 1 0 5164 0
[pid=11097] ppid=10954 vsize=31208 CPUtime=75.93
/proc/11097/stat : 11097 (clasp-1.3.3-x86) R 10954 11097 11097 0 -1 4202496 8395 0 0 0 7587 6 0 0 25 0 1 0 54898231 31956992 7475 1992294400 134512640 136080129 4286649376 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11097/statm: 7802 7475 175 383 0 7417 0
Current children cumulated CPU time (s) 1380.91
Current children cumulated vsize (KiB) 165316

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 0.93 2/108 11119
/proc/meminfo: memFree=1476804/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=1430.06
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 48292 504052 0 2 7281 1349 134042 334 16 0 1 0 54775643 137326592 6347 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 95
/proc/10954/statm: 33527 6347 1143 1 0 5164 0
[pid=11119] ppid=10954 vsize=23692 CPUtime=14.36
/proc/11119/stat : 11119 (clasp-1.3.3-x86) R 10954 11119 11119 0 -1 4202496 6536 0 0 0 1433 3 0 0 25 0 1 0 54910427 24260608 5612 1992294400 134512640 136080129 4290081056 18446744073709551615 134803192 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11119/statm: 5923 5612 175 383 0 5538 0
Current children cumulated CPU time (s) 1444.42
Current children cumulated vsize (KiB) 157800

[startup+1422.31 s]
/proc/loadavg: 1.05 1.02 0.94 3/108 11127
/proc/meminfo: memFree=1476928/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=1494.73
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 50807 520021 0 2 7621 1400 140106 346 16 0 1 0 54775643 137326592 6347 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 95
/proc/10954/statm: 33527 6347 1143 1 0 5164 0
[pid=11125] ppid=10954 vsize=23560 CPUtime=13.18
/proc/11125/stat : 11125 (clasp-1.3.3-x86) R 10954 11125 11125 0 -1 4202496 6493 0 0 0 1315 3 0 0 25 0 1 0 54916547 24125440 5571 1992294400 134512640 136080129 4290189104 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11125/statm: 5890 5571 175 383 0 5505 0
Current children cumulated CPU time (s) 1507.91
Current children cumulated vsize (KiB) 157668

[startup+1482.3 s]
/proc/loadavg: 1.05 1.03 0.94 2/108 11127
/proc/meminfo: memFree=1469860/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=1498.49
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 50893 520021 0 2 7947 1450 140106 346 15 0 1 0 54775643 137326592 6347 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159836005329808119 0 0 17 1 0 0 95
/proc/10954/statm: 33527 6347 1143 1 0 5164 0
[pid=11125] ppid=10954 vsize=30828 CPUtime=72.78
/proc/11125/stat : 11125 (clasp-1.3.3-x86) R 10954 11125 11125 0 -1 4202496 8289 0 0 0 7273 5 0 0 25 0 1 0 54916547 31567872 7367 1992294400 134512640 136080129 4290189104 18446744073709551615 134849989 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11125/statm: 7707 7367 175 383 0 7322 0
Current children cumulated CPU time (s) 1571.27
Current children cumulated vsize (KiB) 164936

[startup+1542.3 s]
/proc/loadavg: 1.02 1.02 0.94 2/108 11138
/proc/meminfo: memFree=1477176/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=1623.54
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 54563 544141 0 2 8265 1516 152208 365 15 0 1 0 54775643 137326592 6348 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 95
/proc/10954/statm: 33527 6348 1143 1 0 5164 0
[pid=11138] ppid=10954 vsize=23164 CPUtime=11.32
/proc/11138/stat : 11138 (clasp-1.3.3-x86) R 10954 11138 11138 0 -1 4202496 6402 0 0 0 1129 3 0 0 25 0 1 0 54928740 23719936 5481 1992294400 134512640 136080129 4294012816 18446744073709551615 134616976 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11138/statm: 5791 5481 175 383 0 5406 0
Current children cumulated CPU time (s) 1634.86
Current children cumulated vsize (KiB) 157272

[startup+1602.3 s]
/proc/loadavg: 1.08 1.03 0.95 2/108 11140
/proc/meminfo: memFree=1470108/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=1627.06
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 54644 544141 0 2 8547 1586 152208 365 15 0 1 0 54775643 137326592 6348 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 95
/proc/10954/statm: 33527 6348 1143 1 0 5164 0
[pid=11138] ppid=10954 vsize=30564 CPUtime=71.3
/proc/11138/stat : 11138 (clasp-1.3.3-x86) R 10954 11138 11138 0 -1 4202496 8218 0 0 0 7125 5 0 0 25 0 1 0 54928740 31297536 7297 1992294400 134512640 136080129 4294012816 18446744073709551615 134849256 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11138/statm: 7641 7297 175 383 0 7256 0
Current children cumulated CPU time (s) 1698.36
Current children cumulated vsize (KiB) 164672

[startup+1662.3 s]
/proc/loadavg: 1.07 1.04 0.95 2/108 11151
/proc/meminfo: memFree=1477300/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=1752.23
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 58351 568190 0 2 8854 1650 164335 384 15 0 1 0 54775643 137326592 6349 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 95
/proc/10954/statm: 33527 6349 1143 1 0 5164 0
[pid=11151] ppid=10954 vsize=22900 CPUtime=9.69
/proc/11151/stat : 11151 (clasp-1.3.3-x86) R 10954 11151 11151 0 -1 4202496 6346 0 0 0 966 3 0 0 25 0 1 0 54940896 23449600 5423 1992294400 134512640 136080129 4291532768 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11151/statm: 5725 5423 175 383 0 5340 0
Current children cumulated CPU time (s) 1761.92
Current children cumulated vsize (KiB) 157008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1698.5 s]
/proc/loadavg: 1.04 1.03 0.95 2/108 11151
/proc/meminfo: memFree=1472712/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=1754.37
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 58468 568190 0 2 9035 1683 164335 384 15 0 1 0 54775643 137326592 6349 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 95
/proc/10954/statm: 33527 6349 1143 1 0 5164 0
[pid=11151] ppid=10954 vsize=27552 CPUtime=45.66
/proc/11151/stat : 11151 (clasp-1.3.3-x86) R 10954 11151 11151 0 -1 4202496 7488 0 0 0 4562 4 0 0 25 0 1 0 54940896 28213248 6565 1992294400 134512640 136080129 4291532768 18446744073709551615 134849703 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11151/statm: 6888 6565 175 383 0 6503 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 161660

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

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

[startup+1698.5 s]
/proc/loadavg: 1.04 1.03 0.95 2/108 11151
/proc/meminfo: memFree=1472712/2059040 swapFree=4140312/4192956
[pid=10954] ppid=10952 vsize=134108 CPUtime=1754.37
/proc/10954/stat : 10954 (python) S 10952 10954 10464 0 -1 4202496 58468 568190 0 2 9035 1683 164335 384 15 0 1 0 54775643 137326592 6349 1992294400 4194304 4196484 140734733418336 18446744073709551615 234007342607 0 0 16781312 2 159688670771686135 0 0 17 0 0 0 95
/proc/10954/statm: 33527 6349 1143 1 0 5164 0
[pid=11151] ppid=10954 vsize=27552 CPUtime=45.66
/proc/11151/stat : 11151 (clasp-1.3.3-x86) R 10954 11151 11151 0 -1 4202496 7488 0 0 0 4562 4 0 0 25 0 1 0 54940896 28213248 6565 1992294400 134512640 136080129 4291532768 18446744073709551615 134849703 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11151/statm: 6888 6565 175 383 0 6503 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 161660

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10954 and gives
#  childrusage.ru_utime.tv_sec=1733
#  childrusage.ru_utime.tv_usec=715435
#  childrusage.ru_stime.tv_sec=20
#  childrusage.ru_stime.tv_usec=678856
# CPU time returned by wait4() is 1754.39
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1698.52
CPU time (s): 1800.03
CPU user time (s): 1779.32
CPU system time (s): 20.71
CPU usage (%): 105.977
Max. virtual memory (cumulated for all children) (KiB): 1615552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.72
system time used= 20.6789
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 626658
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9874
involuntary context switches= 28844

runsolver used 3.80742 second user time and 8.5757 second system time

The end

Launcher Data 

Begin job on node038 at 2010-06-21 17:40:28
IDJOB=2675947
IDBENCH=1475
IDSOLVER=1178
FILE ID=node038/2675947-1277134828
PBS_JOBID= 11182085
Free space on /tmp= 62556 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2675947-1277134828/watcher-2675947-1277134828 -o /tmp/evaluation-result-2675947-1277134828/solver-2675947-1277134828 -C 1800 -W 2000 -M 1800  solver HOME/instance-2675947-1277134828.opb 298890282 

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

MD5SUM BENCH= 14c93c93dc53353f81a889ada18ba601
RANDOM SEED=298890282

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1520552 kB
Buffers:        146544 kB
Cached:         287292 kB
SwapCached:       5808 kB
Active:         230380 kB
Inactive:       216272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1520552 kB
SwapTotal:     4192956 kB
SwapFree:      4140312 kB
Dirty:           30640 kB
Writeback:           0 kB
AnonPages:       11000 kB
Mapped:          12992 kB
Slab:            70020 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180372 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= 62532 MiB
End job on node038 at 2010-06-21 18:08:49