Trace number 3730555

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
MD5SUM3764cf8f4e2d3654f46ab0ec56ea8581
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark369.578
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables168111
Total number of constraints487525
Number of constraints which are clauses468727
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints18798
Minimum length of a constraint1
Maximum length of a constraint15
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 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
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 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.20 2.11 2.02 3/177 26596
/proc/meminfo: memFree=28837472/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/26596/stat : 26596 (python) D 26594 26596 22930 0 -1 4202496 756 0 0 0 0 0 0 0 20 0 1 0 337734533 15642624 526 33554432000 4194304 5683644 140735775885312 140735775866984 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 3819 526 311 364 0 261 0

[startup+0.0577841 s]
/proc/loadavg: 2.20 2.11 2.02 3/177 26596
/proc/meminfo: memFree=28837472/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=16596 CPUtime=0.01 cores=1,3,5,7
/proc/26596/stat : 26596 (python) R 26594 26596 22930 0 -1 4202496 1274 0 0 0 1 0 0 0 20 0 1 0 337734533 16994304 962 33554432000 4194304 5683644 140735775885312 140735775869560 233220746917 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 4149 962 394 364 0 591 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16596

[startup+0.100285 s]
/proc/loadavg: 2.20 2.11 2.02 3/177 26596
/proc/meminfo: memFree=28837472/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=17632 CPUtime=0.02 cores=1,3,5,7
/proc/26596/stat : 26596 (python) D 26594 26596 22930 0 -1 4202496 2216 0 0 0 1 1 0 0 20 0 1 0 337734533 18055168 723 33554432000 4194304 4196484 140735729148032 140735729078200 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/26596/statm: 4408 723 354 1 0 343 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17632

[startup+0.30026 s]
/proc/loadavg: 2.20 2.11 2.02 3/177 26596
/proc/meminfo: memFree=28837472/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=54516 CPUtime=0.08 cores=1,3,5,7
/proc/26596/stat : 26596 (python) D 26594 26596 22930 0 -1 4202496 3956 0 0 0 4 4 0 0 20 0 1 0 337734533 55824384 2143 33554432000 4194304 4196484 140735729148032 140735728993848 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/26596/statm: 13629 2143 600 1 0 1484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54516

[startup+0.70025 s]
/proc/loadavg: 2.20 2.11 2.02 3/177 26596
/proc/meminfo: memFree=28837472/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=101292 CPUtime=0.27 cores=1,3,5,7
/proc/26596/stat : 26596 (python) R 26594 26596 22930 0 -1 4202496 6301 0 0 0 14 13 0 0 20 0 1 0 337734533 103723008 4135 33554432000 4194304 4196484 140735729148032 140735729091304 233220949376 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/26596/statm: 25323 4136 1047 1 0 3125 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 101292

[startup+1.50027 s]
/proc/loadavg: 2.18 2.10 2.01 3/178 26601
/proc/meminfo: memFree=28818096/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=118124 CPUtime=0.55 cores=1,3,5,7
/proc/26596/stat : 26596 (python) D 26594 26596 22930 0 -1 4202496 9594 1011 0 0 28 27 0 0 20 0 1 0 337734533 120958976 5831 33554432000 4194304 4196484 140735729148032 140735729081640 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/26596/statm: 29531 5831 1083 1 0 4730 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 118124

[startup+3.10032 s]
/proc/loadavg: 2.18 2.10 2.01 3/179 26602
/proc/meminfo: memFree=28773940/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=134488 CPUtime=0.7 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 11214 1011 0 0 41 29 0 0 20 0 1 0 337734533 137715712 6347 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/26596/statm: 33622 6347 1170 1 0 5194 0
[pid=26602] ppid=26596 vsize=45864 CPUtime=1.37 cores=1,3,5,7
/proc/26602/stat : 26602 (clasp-1.3.3-x86) R 26596 26602 26602 0 -1 4202496 9565 0 0 0 135 2 0 0 20 0 1 0 337734705 46964736 11085 33554432000 134512640 136080129 4291895200 4291894208 134716389 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/26602/statm: 11466 11085 176 383 0 11081 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 180352
heavy processes:

[startup+6.30037 s]
/proc/loadavg: 2.17 2.10 2.01 3/179 26602
/proc/meminfo: memFree=28770716/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=134488 CPUtime=0.85 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 11225 1011 0 0 53 32 0 0 20 0 1 0 337734533 137715712 6347 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/26596/statm: 33622 6347 1170 1 0 5194 0
[pid=26602] ppid=26596 vsize=46396 CPUtime=4.57 cores=1,3,5,7
/proc/26602/stat : 26602 (clasp-1.3.3-x86) R 26596 26602 26602 0 -1 4202496 9690 0 0 0 455 2 0 0 20 0 1 0 337734705 47509504 11210 33554432000 134512640 136080129 4291895200 4291894272 134849631 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/26602/statm: 11599 11210 176 383 0 11214 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 180884

[startup+12.7002 s]
/proc/loadavg: 2.24 2.12 2.02 3/179 26602
/proc/meminfo: memFree=28769492/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=11.61 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 12481 11848 0 0 83 37 1038 3 20 0 1 0 337734533 139825152 6369 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/26596/statm: 34137 6369 1180 1 0 5194 0
Current children cumulated CPU time (s) 11.61
Current children cumulated vsize (KiB) 136548

[startup+25.5003 s]
/proc/loadavg: 2.10 2.09 2.01 2/178 26698
/proc/meminfo: memFree=28775936/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=12.19 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 12517 11848 0 0 132 46 1038 3 20 0 1 0 337734533 139825152 6369 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6369 1180 1 0 5194 0
[pid=26605] ppid=26596 vsize=47468 CPUtime=13.33 cores=1,3,5,7
/proc/26605/stat : 26605 (clasp-1.3.3-x86) R 26596 26605 26605 0 -1 4202496 10455 0 0 0 1331 2 0 0 20 0 1 0 337735748 48607232 11467 33554432000 134512640 136080129 4291152416 4291151576 134856211 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26605/statm: 11867 11467 176 383 0 11482 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 184016

[startup+51.1003 s]
/proc/loadavg: 2.07 2.09 2.01 3/179 26792
/proc/meminfo: memFree=28730228/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=13.37 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 12545 11848 0 0 232 64 1038 3 20 0 1 0 337734533 139825152 6369 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6369 1180 1 0 5194 0
[pid=26605] ppid=26596 vsize=50904 CPUtime=38.93 cores=1,3,5,7
/proc/26605/stat : 26605 (clasp-1.3.3-x86) R 26596 26605 26605 0 -1 4202496 11327 0 0 0 3890 3 0 0 20 0 1 0 337735748 52125696 12333 33554432000 134512640 136080129 4291152416 4291151552 134846077 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26605/statm: 12726 12333 176 383 0 12341 0
Current children cumulated CPU time (s) 52.3
Current children cumulated vsize (KiB) 187452

[startup+102.307 s]
/proc/loadavg: 2.03 2.07 2.00 3/179 26798
/proc/meminfo: memFree=28699560/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=66.26 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 13731 24624 0 0 457 102 6060 7 20 0 1 0 337734533 139825152 6373 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6373 1180 1 0 5194 0
[pid=26795] ppid=26596 vsize=81120 CPUtime=39.84 cores=1,3,5,7
/proc/26795/stat : 26795 (wbo1.4a) R 26596 26795 26795 0 -1 4202496 23269 0 0 0 3968 16 0 0 20 0 1 0 337740777 83066880 18207 33554432000 134512640 135751879 4286776208 4286774460 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26795/statm: 20280 18207 139 303 0 19975 0
Current children cumulated CPU time (s) 106.1
Current children cumulated vsize (KiB) 217668

[startup+162.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/179 26804
/proc/meminfo: memFree=28721544/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=119.61 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 14979 49372 0 0 699 140 11095 27 20 0 1 0 337734533 139825152 6373 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6373 1180 1 0 5194 0
[pid=26801] ppid=26596 vsize=53584 CPUtime=49.24 cores=1,3,5,7
/proc/26801/stat : 26801 (clasp-1.3.3-x86) R 26596 26801 26801 0 -1 4202496 11475 0 0 0 4920 4 0 0 20 0 1 0 337745836 54870016 12987 33554432000 134512640 136080129 4294014368 4294013440 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26801/statm: 13396 12987 176 383 0 13011 0
Current children cumulated CPU time (s) 168.85
Current children cumulated vsize (KiB) 190132

[startup+222.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/179 26807
/proc/meminfo: memFree=28703636/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=222.72 cores=1,3,5,7
/proc/26596/stat : 26596 (python) R 26594 26596 22930 0 -1 4202496 16229 65001 0 0 955 184 21099 34 20 0 1 0 337734533 139825152 6375 33554432000 4194304 4196484 140735729148032 140735729139792 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34138 6375 1180 1 0 5195 0
[pid=26807] ppid=26596 vsize=71192 CPUtime=9.11 cores=1,3,5,7
/proc/26807/stat : 26807 (wbo1.4a) R 26596 26807 26807 0 -1 4202496 20786 0 0 0 906 5 0 0 20 0 1 0 337755851 72900608 15730 33554432000 134512640 135751879 4286886336 4286884588 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26807/statm: 17798 15730 139 303 0 17493 0
Current children cumulated CPU time (s) 231.83
Current children cumulated vsize (KiB) 207740

[startup+282.3 s]
/proc/loadavg: 2.19 2.10 2.01 3/179 26810
/proc/meminfo: memFree=28682216/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=225.56 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 16264 65001 0 0 1199 224 21099 34 20 0 1 0 337734533 139825152 6375 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6375 1180 1 0 5194 0
[pid=26807] ppid=26596 vsize=85916 CPUtime=69.07 cores=1,3,5,7
/proc/26807/stat : 26807 (wbo1.4a) R 26596 26807 26807 0 -1 4202496 24481 0 0 0 6888 19 0 0 20 0 1 0 337755851 87977984 19972 33554432000 134512640 135751879 4286886336 4286884588 134610960 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26807/statm: 21479 19972 139 303 0 21174 0
Current children cumulated CPU time (s) 294.63
Current children cumulated vsize (KiB) 222464

[startup+342.3 s]
/proc/loadavg: 2.07 2.08 2.01 3/180 26820
/proc/meminfo: memFree=28491064/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=329.11 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 17505 91769 0 0 1443 266 31140 62 20 0 1 0 337734533 139825152 6377 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6377 1180 1 0 5194 0
[pid=26816] ppid=26596 vsize=272800 CPUtime=28.35 cores=1,3,5,7
/proc/26816/stat : 26816 (wbo1.4b) R 26596 26816 26816 0 -1 4202496 71339 0 0 0 2823 12 0 0 20 0 1 0 337765925 279347200 65775 33554432000 134512640 135751879 4294889408 4294887568 134524613 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26816/statm: 68200 65775 142 303 0 67895 0
Current children cumulated CPU time (s) 357.46
Current children cumulated vsize (KiB) 409348

[startup+402.301 s]
/proc/loadavg: 2.13 2.09 2.01 3/215 26862
/proc/meminfo: memFree=27765532/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=382.2 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 18738 165469 0 0 1686 309 36147 78 20 0 1 0 337734533 139825152 6377 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6377 1180 1 0 5194 0
[pid=26823] ppid=26596 vsize=2715136 CPUtime=41.13 cores=1,3,5,7
/proc/26823/stat : 26823 (java) S 26596 26823 26823 0 -1 4202496 10621 0 1 0 4070 43 0 0 20 0 19 0 337770950 2780299264 144348 33554432000 1073741824 1073778376 140734861688368 140734861679504 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26823/statm: 678784 144348 2269 9 0 669477 0

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

/proc/26998/statm: 17870 17479 176 383 0 17485 0
Current children cumulated CPU time (s) 1118.26
Current children cumulated vsize (KiB) 208028

[startup+1122.3 s]
/proc/loadavg: 2.09 2.09 2.02 3/179 27014
/proc/meminfo: memFree=28644660/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=1164.81 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 42266 570919 0 2 4619 809 110759 294 20 0 1 0 337734533 139825152 6385 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6385 1180 1 0 5194 0
[pid=27014] ppid=26596 vsize=117632 CPUtime=16.27 cores=1,3,5,7
/proc/27014/stat : 27014 (bsolo_pb10) R 26596 27014 27014 0 -1 4202496 31351 0 0 0 1622 5 0 0 20 0 1 0 337845134 120455168 26089 33554432000 134512640 137138936 4287289888 4285271056 134542199 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/27014/statm: 29408 26089 183 642 0 28764 0
Current children cumulated CPU time (s) 1181.08
Current children cumulated vsize (KiB) 254180

[startup+1182.3 s]
/proc/loadavg: 2.06 2.09 2.02 3/179 27017
/proc/meminfo: memFree=28648844/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=1167.56 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 42292 570919 0 2 4854 849 110759 294 20 0 1 0 337734533 139825152 6385 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6385 1180 1 0 5194 0
[pid=27014] ppid=26596 vsize=117896 CPUtime=76.25 cores=1,3,5,7
/proc/27014/stat : 27014 (bsolo_pb10) R 26596 27014 27014 0 -1 4202496 31461 0 0 0 7617 8 0 0 20 0 1 0 337845134 120725504 26164 33554432000 134512640 137138936 4287289888 4285271056 134542199 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/27014/statm: 29474 26164 183 642 0 28830 0
Current children cumulated CPU time (s) 1243.81
Current children cumulated vsize (KiB) 254444

[startup+1242.3 s]
/proc/loadavg: 2.08 2.09 2.02 3/179 27027
/proc/meminfo: memFree=28732344/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=1281.46 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 44798 614857 0 2 5097 892 121850 307 20 0 1 0 337734533 139825152 6385 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6385 1180 1 0 5194 0
[pid=27023] ppid=26596 vsize=48956 CPUtime=25.15 cores=1,3,5,7
/proc/27023/stat : 27023 (clasp-1.3.3-x86) R 26596 27023 27023 0 -1 4202496 10392 0 0 0 2512 3 0 0 20 0 1 0 337856245 50130944 11903 33554432000 134512640 136080129 4286630160 4286629320 134856204 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27023/statm: 12239 11903 176 383 0 11854 0
Current children cumulated CPU time (s) 1306.61
Current children cumulated vsize (KiB) 185504

[startup+1302.3 s]
/proc/loadavg: 2.03 2.07 2.02 3/179 27030
/proc/meminfo: memFree=28709500/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=1284.22 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 44823 614857 0 2 5333 932 121850 307 20 0 1 0 337734533 139825152 6385 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6385 1180 1 0 5194 0
[pid=27023] ppid=26596 vsize=60732 CPUtime=85.15 cores=1,3,5,7
/proc/27023/stat : 27023 (clasp-1.3.3-x86) R 26596 27023 27023 0 -1 4202496 13371 0 0 0 8510 5 0 0 20 0 1 0 337856245 62189568 14866 33554432000 134512640 136080129 4286630160 4286629328 134835010 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27023/statm: 15183 14866 176 383 0 14798 0
Current children cumulated CPU time (s) 1369.37
Current children cumulated vsize (KiB) 197280

[startup+1362.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/179 27045
/proc/meminfo: memFree=28733828/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=1408.08 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 48569 651867 0 2 5577 977 133934 320 20 0 1 0 337734533 139825152 6386 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6386 1180 1 0 5194 0
[pid=27039] ppid=26596 vsize=48980 CPUtime=24.11 cores=1,3,5,7
/proc/27039/stat : 27039 (clasp-1.3.3-x86) R 26596 27039 27039 0 -1 4202496 10850 0 0 0 2409 2 0 0 20 0 1 0 337868349 50155520 11849 33554432000 134512640 136080129 4290990048 4290989120 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27039/statm: 12245 11849 176 383 0 11860 0
Current children cumulated CPU time (s) 1432.19
Current children cumulated vsize (KiB) 185528

[startup+1422.31 s]
/proc/loadavg: 2.09 2.07 2.02 3/179 27057
/proc/meminfo: memFree=28733912/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=1471.6 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 51086 675748 0 2 5817 1018 139997 328 20 0 1 0 337734533 139825152 6388 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6388 1180 1 0 5194 0
[pid=27054] ppid=26596 vsize=48828 CPUtime=23.36 cores=1,3,5,7
/proc/27054/stat : 27054 (clasp-1.3.3-x86) R 26596 27054 27054 0 -1 4202496 10784 0 0 0 2334 2 0 0 20 0 1 0 337874425 49999872 11788 33554432000 134512640 136080129 4291729488 4291728560 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27054/statm: 12207 11788 176 383 0 11822 0
Current children cumulated CPU time (s) 1494.96
Current children cumulated vsize (KiB) 185376

[startup+1482.3 s]
/proc/loadavg: 2.07 2.07 2.02 3/179 27060
/proc/meminfo: memFree=28709736/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=1474.36 cores=1,3,5,7
/proc/26596/stat : 26596 (python) R 26594 26596 22930 0 -1 4202496 51112 675748 0 2 6054 1057 139997 328 20 0 1 0 337734533 139825152 6388 33554432000 4194304 4196484 140735729148032 140735729139792 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6388 1180 1 0 5194 0
[pid=27054] ppid=26596 vsize=61588 CPUtime=83.33 cores=1,3,5,7
/proc/27054/stat : 27054 (clasp-1.3.3-x86) R 26596 27054 27054 0 -1 4202496 14007 0 0 0 8328 5 0 0 20 0 1 0 337874425 63066112 14980 33554432000 134512640 136080129 4291729488 4291728560 134849267 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27054/statm: 15397 14980 176 383 0 15012 0
Current children cumulated CPU time (s) 1557.69
Current children cumulated vsize (KiB) 198136

[startup+1542.3 s]
/proc/loadavg: 2.02 2.05 2.01 4/179 27078
/proc/meminfo: memFree=28734684/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=1598.22 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 54886 713567 0 2 6299 1099 152080 344 20 0 1 0 337734533 139825152 6389 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6389 1180 1 0 5194 0
[pid=27072] ppid=26596 vsize=48692 CPUtime=22.3 cores=1,3,5,7
/proc/27072/stat : 27072 (clasp-1.3.3-x86) R 26596 27072 27072 0 -1 4202496 10784 0 0 0 2228 2 0 0 20 0 1 0 337886531 49860608 11786 33554432000 134512640 136080129 4289182304 4289181376 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27072/statm: 12173 11786 176 383 0 11788 0
Current children cumulated CPU time (s) 1620.52
Current children cumulated vsize (KiB) 185240

[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/180 27105
/proc/meminfo: memFree=28706012/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=1601 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 54913 713567 0 2 6539 1137 152080 344 20 0 1 0 337734533 139825152 6389 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6389 1180 1 0 5194 0
[pid=27072] ppid=26596 vsize=60692 CPUtime=82.29 cores=1,3,5,7
/proc/27072/stat : 27072 (clasp-1.3.3-x86) R 26596 27072 27072 0 -1 4202496 13774 0 0 0 8225 4 0 0 20 0 1 0 337886531 62148608 14760 33554432000 134512640 136080129 4289182304 4289181328 134842048 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27072/statm: 15173 14760 176 383 0 14788 0
Current children cumulated CPU time (s) 1683.29
Current children cumulated vsize (KiB) 197240

[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/179 27120
/proc/meminfo: memFree=28734508/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=1724.82 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 58678 751152 0 2 6784 1178 164164 356 20 0 1 0 337734533 139825152 6389 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6389 1180 1 0 5194 0
[pid=27114] ppid=26596 vsize=48692 CPUtime=21.26 cores=1,3,5,7
/proc/27114/stat : 27114 (clasp-1.3.3-x86) R 26596 27114 27114 0 -1 4202496 10758 0 0 0 2123 3 0 0 20 0 1 0 337898635 49860608 11755 33554432000 134512640 136080129 4294430080 4294429152 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27114/statm: 12173 11755 176 383 0 11788 0
Current children cumulated CPU time (s) 1746.08
Current children cumulated vsize (KiB) 185240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1713.9 s]
/proc/loadavg: 2.03 2.04 2.00 3/179 27123
/proc/meminfo: memFree=28714144/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=1727.22 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 58700 751152 0 2 6989 1213 164164 356 20 0 1 0 337734533 139825152 6389 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6389 1180 1 0 5194 0
[pid=27114] ppid=26596 vsize=57496 CPUtime=72.86 cores=1,3,5,7
/proc/27114/stat : 27114 (clasp-1.3.3-x86) R 26596 27114 27114 0 -1 4202496 13004 0 0 0 7282 4 0 0 20 0 1 0 337898635 58875904 13958 33554432000 134512640 136080129 4294430080 4294429152 134849112 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27114/statm: 14374 13958 176 383 0 13989 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 194044

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

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

[startup+1713.9 s]
/proc/loadavg: 2.03 2.04 2.00 3/179 27123
/proc/meminfo: memFree=28714144/32873844 swapFree=7120/7120
[pid=26596] ppid=26594 vsize=136548 CPUtime=1727.22 cores=1,3,5,7
/proc/26596/stat : 26596 (python) S 26594 26596 22930 0 -1 4202496 58700 751152 0 2 6989 1213 164164 356 20 0 1 0 337734533 139825152 6389 33554432000 4194304 4196484 140735729148032 140735729139792 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26596/statm: 34137 6389 1180 1 0 5194 0
[pid=27114] ppid=26596 vsize=57496 CPUtime=72.86 cores=1,3,5,7
/proc/27114/stat : 27114 (clasp-1.3.3-x86) R 26596 27114 27114 0 -1 4202496 13004 0 0 0 7282 4 0 0 20 0 1 0 337898635 58875904 13958 33554432000 134512640 136080129 4294430080 4294429152 134849112 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27114/statm: 14374 13958 176 383 0 13989 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 194044

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26596 and gives
#  childrusage.ru_utime.tv_sec=1711
#  childrusage.ru_utime.tv_usec=548805
#  childrusage.ru_stime.tv_sec=15
#  childrusage.ru_stime.tv_usec=706612
# CPU time returned by wait4() is 1727.26
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1713.91
CPU time (s): 1800.08
CPU user time (s): 1784.35
CPU system time (s): 15.73
CPU usage (%): 105.027
Max. virtual memory (cumulated for all children) (KiB): 2851688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1711.55
system time used= 15.7066
maximum resident set size= 585844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 809853
page faults= 2
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12168
involuntary context switches= 8073

runsolver used 3.81142 second user time and 10.6154 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 11:34:56
IDJOB=3730555
IDBENCH=1447
IDSOLVER=2323
FILE ID=node142/3730555-1338716095
RUNJOBID= node142-1338713724-22947
PBS_JOBID= 14636740
Free space on /tmp= 71152 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730555-1338716095/watcher-3730555-1338716095 -o /tmp/evaluation-result-3730555-1338716095/solver-3730555-1338716095 -C 1800 -W 1900 -M 15500  solver HOME/instance-3730555-1338716095.opb 306687904 

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

MD5SUM BENCH= 3764cf8f4e2d3654f46ab0ec56ea8581
RANDOM SEED=306687904

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28837852 kB
Buffers:          319240 kB
Cached:          2858276 kB
SwapCached:            0 kB
Active:          1307376 kB
Inactive:        1908056 kB
Active(anon):      29500 kB
Inactive(anon):    11220 kB
Active(file):    1277876 kB
Inactive(file):  1896836 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             37436 kB
Writeback:             0 kB
AnonPages:         45252 kB
Mapped:            14544 kB
Shmem:               200 kB
Slab:             683284 kB
SReclaimable:     124400 kB
SUnreclaim:       558884 kB
KernelStack:        1448 kB
PageTables:         4312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     153128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71124 MiB
End job on node142 at 2012-06-03 12:03:32