Trace number 3729905

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.07 1714.51

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
MD5SUM7f5f10f1b8aeee16c5b46dadab8c5b22
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1020
Total number of constraints43010
Number of constraints which are clauses42840
Number of constraints which are cardinality constraints (but not clauses)170
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint6
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.08 1.78 3/177 26046
/proc/meminfo: memFree=28819744/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=15440 CPUtime=0 cores=0,2,4,6
/proc/26046/stat : 26046 (python) R 26044 26046 22930 0 -1 4202496 819 0 0 0 0 0 0 0 20 0 1 0 337558659 15810560 582 33554432000 4194304 5683644 140734868060256 140734868032440 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/26046/statm: 3845 575 326 364 0 287 0

[startup+0.0236501 s]
/proc/loadavg: 2.16 2.08 1.78 3/177 26046
/proc/meminfo: memFree=28819744/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=16468 CPUtime=0.01 cores=0,2,4,6
/proc/26046/stat : 26046 (python) R 26044 26046 22930 0 -1 4202496 1260 0 0 0 1 0 0 0 20 0 1 0 337558659 16863232 955 33554432000 4194304 5683644 140734868060256 140734868042888 5161888 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/26046/statm: 4109 947 392 364 0 551 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16468

[startup+0.100285 s]
/proc/loadavg: 2.16 2.08 1.78 3/177 26046
/proc/meminfo: memFree=28819744/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=49588 CPUtime=0.06 cores=0,2,4,6
/proc/26046/stat : 26046 (python) D 26044 26046 22930 0 -1 4202496 3671 0 0 0 4 2 0 0 20 0 1 0 337558659 50778112 1923 33554432000 4194304 4196484 140734785256464 140734785071720 233211784487 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/26046/statm: 12397 1923 556 1 0 1335 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 49588

[startup+0.300269 s]
/proc/loadavg: 2.16 2.08 1.78 3/177 26046
/proc/meminfo: memFree=28819744/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=99040 CPUtime=0.2 cores=0,2,4,6
/proc/26046/stat : 26046 (python) R 26044 26046 22930 0 -1 4202496 5755 0 0 0 13 7 0 0 20 0 1 0 337558659 101416960 3602 33554432000 4194304 4196484 140734785256464 140734785198648 233220947797 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/26046/statm: 24760 3602 1047 1 0 2562 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 99040

[startup+0.700167 s]
/proc/loadavg: 2.16 2.08 1.78 3/177 26046
/proc/meminfo: memFree=28819744/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=130144 CPUtime=0.5 cores=0,2,4,6
/proc/26046/stat : 26046 (python) R 26044 26046 22930 0 -1 4202496 10868 1011 0 0 35 15 0 0 20 0 1 0 337558659 133267456 6262 33554432000 4194304 4196484 140734785256464 140734785246744 140375141943996 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 32536 6262 1149 1 0 5151 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 130144

[startup+1.50028 s]
/proc/loadavg: 2.16 2.08 1.78 3/179 26052
/proc/meminfo: memFree=28794884/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=134452 CPUtime=0.59 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 11247 1011 0 0 42 17 0 0 20 0 1 0 337558659 137678848 6348 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 33613 6348 1170 1 0 5185 0
[pid=26052] ppid=26046 vsize=7108 CPUtime=0.78 cores=0,2,4,6
/proc/26052/stat : 26052 (clasp-1.3.3-x86) R 26046 26052 26052 0 -1 4202496 1835 0 0 0 78 0 0 0 20 0 1 0 337558730 7278592 1520 33554432000 134512640 136080129 4292316320 4292315188 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26052/statm: 1777 1520 175 383 0 1392 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 141560

[startup+3.10027 s]
/proc/loadavg: 2.16 2.08 1.78 3/179 26052
/proc/meminfo: memFree=28788932/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=134452 CPUtime=0.66 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 11253 1011 0 0 48 18 0 0 20 0 1 0 337558659 137678848 6348 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 33613 6348 1170 1 0 5185 0
[pid=26052] ppid=26046 vsize=9880 CPUtime=2.38 cores=0,2,4,6
/proc/26052/stat : 26052 (clasp-1.3.3-x86) R 26046 26052 26052 0 -1 4202496 2529 0 0 0 238 0 0 0 20 0 1 0 337558730 10117120 2214 33554432000 134512640 136080129 4292316320 4292315312 134588783 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26052/statm: 2470 2214 175 383 0 2085 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 144332

[startup+6.30029 s]
/proc/loadavg: 2.14 2.08 1.78 3/179 26052
/proc/meminfo: memFree=28782112/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=134452 CPUtime=0.81 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 11261 1011 0 0 61 20 0 0 20 0 1 0 337558659 137678848 6348 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 33613 6348 1170 1 0 5185 0
[pid=26052] ppid=26046 vsize=12264 CPUtime=5.58 cores=0,2,4,6
/proc/26052/stat : 26052 (clasp-1.3.3-x86) R 26046 26052 26052 0 -1 4202496 3140 0 0 0 558 0 0 0 20 0 1 0 337558730 12558336 2825 33554432000 134512640 136080129 4292316320 4292315392 134849995 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26052/statm: 3066 2825 175 383 0 2681 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 146716

[startup+12.7003 s]
/proc/loadavg: 2.13 2.08 1.78 3/179 26058
/proc/meminfo: memFree=28835992/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136512 CPUtime=11.19 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 12504 5636 0 0 92 24 1002 1 20 0 1 0 337558659 139788288 6368 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34128 6368 1180 1 0 5185 0
[pid=26058] ppid=26046 vsize=8892 CPUtime=1.93 cores=0,2,4,6
/proc/26058/stat : 26058 (clasp-1.3.3-x86) R 26046 26058 26058 0 -1 4202496 2275 0 0 0 193 0 0 0 20 0 1 0 337559735 9105408 1964 33554432000 134512640 136080129 4291399680 4291398756 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26058/statm: 2223 1964 175 383 0 1838 0
Current children cumulated CPU time (s) 13.12
Current children cumulated vsize (KiB) 145404

[startup+25.5002 s]
/proc/loadavg: 2.18 2.09 1.79 3/179 26061
/proc/meminfo: memFree=28829444/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136512 CPUtime=11.79 cores=0,2,4,6
/proc/26046/stat : 26046 (python) R 26044 26046 22930 0 -1 4202496 12531 5636 0 0 144 32 1002 1 20 0 1 0 337558659 139788288 6368 33554432000 4194304 4196484 140734785256464 140734785248224 233220989879 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34128 6368 1180 1 0 5185 0
[pid=26058] ppid=26046 vsize=15308 CPUtime=14.73 cores=0,2,4,6
/proc/26058/stat : 26058 (clasp-1.3.3-x86) R 26046 26058 26058 0 -1 4202496 3889 0 0 0 1473 0 0 0 20 0 1 0 337559735 15675392 3578 33554432000 134512640 136080129 4291399680 4291398672 134588720 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26058/statm: 3827 3578 175 383 0 3442 0
Current children cumulated CPU time (s) 26.52
Current children cumulated vsize (KiB) 151820

[startup+51.1003 s]
/proc/loadavg: 2.19 2.10 1.80 3/179 26067
/proc/meminfo: memFree=28822796/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136512 CPUtime=12.99 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 12557 5636 0 0 250 46 1002 1 20 0 1 0 337558659 139788288 6368 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34128 6368 1180 1 0 5185 0
[pid=26058] ppid=26046 vsize=22164 CPUtime=40.32 cores=0,2,4,6
/proc/26058/stat : 26058 (clasp-1.3.3-x86) R 26046 26058 26058 0 -1 4202496 5544 0 0 0 4031 1 0 0 20 0 1 0 337559735 22695936 5236 33554432000 134512640 136080129 4291399680 4291398752 134849676 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26058/statm: 5541 5236 175 383 0 5156 0
Current children cumulated CPU time (s) 53.31
Current children cumulated vsize (KiB) 158676

[startup+102.306 s]
/proc/loadavg: 2.14 2.10 1.81 3/179 26085
/proc/meminfo: memFree=28759892/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136512 CPUtime=66.24 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 13726 12266 0 0 490 83 6048 3 20 0 1 0 337558659 139788288 6373 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34128 6373 1180 1 0 5185 0
[pid=26073] ppid=26046 vsize=85876 CPUtime=41.01 cores=0,2,4,6
/proc/26073/stat : 26073 (wbo1.4a) R 26046 26073 26073 0 -1 4202496 21649 0 0 0 4080 21 0 0 20 0 1 0 337564785 87937024 20950 33554432000 134512640 135751879 4289484320 4289482572 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 21469 20950 139 303 0 21164 0
Current children cumulated CPU time (s) 107.25
Current children cumulated vsize (KiB) 222388

[startup+162.3 s]
/proc/loadavg: 2.11 2.09 1.83 3/179 26112
/proc/meminfo: memFree=28821492/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136512 CPUtime=119.74 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 14970 38574 0 0 736 121 11087 30 20 0 1 0 337558659 139788288 6374 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34128 6374 1180 1 0 5185 0
[pid=26109] ppid=26046 vsize=22820 CPUtime=50.31 cores=0,2,4,6
/proc/26109/stat : 26109 (clasp-1.3.3-x86) R 26046 26109 26109 0 -1 4202496 5715 0 0 0 5030 1 0 0 20 0 1 0 337569856 23367680 5417 33554432000 134512640 136080129 4286713424 4286712560 134845716 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26109/statm: 5705 5417 175 383 0 5320 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (KiB) 159332

[startup+222.3 s]
/proc/loadavg: 2.20 2.12 1.85 3/179 26130
/proc/meminfo: memFree=28813060/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136512 CPUtime=223.27 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 16229 46910 0 0 1015 158 21122 32 20 0 1 0 337558659 139788288 6375 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34128 6375 1180 1 0 5185 0
[pid=26130] ppid=26046 vsize=32096 CPUtime=9.91 cores=0,2,4,6
/proc/26130/stat : 26130 (wbo1.4a) R 26046 26130 26130 0 -1 4202496 8224 0 0 0 985 6 0 0 20 0 1 0 337579897 32866304 7535 33554432000 134512640 135751879 4290309664 4290307916 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/26130/statm: 8024 7535 139 303 0 7719 0
Current children cumulated CPU time (s) 233.18
Current children cumulated vsize (KiB) 168608

[startup+282.3 s]
/proc/loadavg: 2.29 2.14 1.87 3/180 26134
/proc/meminfo: memFree=28714500/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136512 CPUtime=226.22 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 16264 46910 0 0 1268 200 21122 32 20 0 1 0 337558659 139788288 6375 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34128 6375 1180 1 0 5185 0
[pid=26130] ppid=26046 vsize=129540 CPUtime=69.86 cores=0,2,4,6
/proc/26130/stat : 26130 (wbo1.4a) R 26046 26130 26130 0 -1 4202496 32619 0 0 0 6949 37 0 0 20 0 1 0 337579897 132648960 31897 33554432000 134512640 135751879 4290309664 4290307916 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/26130/statm: 32385 31897 139 303 0 32080 0
Current children cumulated CPU time (s) 296.08
Current children cumulated vsize (KiB) 266052

[startup+342.3 s]
/proc/loadavg: 2.22 2.14 1.89 3/179 26137
/proc/meminfo: memFree=28777688/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136512 CPUtime=330.33 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 17497 90683 0 0 1544 242 31164 83 20 0 1 0 337558659 139788288 6377 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34128 6377 1180 1 0 5185 0
[pid=26137] ppid=26046 vsize=65848 CPUtime=28.87 cores=0,2,4,6
/proc/26137/stat : 26137 (wbo1.4b) R 26046 26137 26137 0 -1 4202496 16668 0 0 0 2872 15 0 0 20 0 1 0 337589999 67428352 15969 33554432000 134512640 135751879 4289870448 4289868540 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/26137/statm: 16462 15969 144 303 0 16157 0
Current children cumulated CPU time (s) 359.2
Current children cumulated vsize (KiB) 202360

[startup+402.301 s]
/proc/loadavg: 2.17 2.14 1.90 3/197 26158
/proc/meminfo: memFree=28627612/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136512 CPUtime=383.97 cores=0,2,4,6

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

/proc/26046/statm: 34128 6389 1180 1 0 5185 0
[pid=26280] ppid=26046 vsize=82332 CPUtime=15.73 cores=0,2,4,6
/proc/26280/stat : 26280 (bsolo_pb10) R 26046 26280 26280 0 -1 4202496 19284 0 0 0 1566 7 0 0 20 0 1 0 337669315 84307968 18144 33554432000 134512640 137138936 4290904576 4290903692 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/26280/statm: 20583 18144 192 642 0 19939 0
Current children cumulated CPU time (s) 1179.59
Current children cumulated vsize (KiB) 218844

[startup+1182.3 s]
/proc/loadavg: 2.12 2.09 1.97 3/179 26331
/proc/meminfo: memFree=28725584/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136512 CPUtime=1166.69 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 42201 316768 0 2 5229 769 110422 249 20 0 1 0 337558659 139788288 6389 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34128 6389 1180 1 0 5185 0
[pid=26280] ppid=26046 vsize=122144 CPUtime=75.69 cores=0,2,4,6
/proc/26280/stat : 26280 (bsolo_pb10) R 26046 26280 26280 0 -1 4202496 29381 0 0 0 7554 15 0 0 20 0 1 0 337669315 125075456 28105 33554432000 134512640 137138936 4290904576 4290903120 134607641 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/26280/statm: 30536 28105 192 642 0 29892 0
Current children cumulated CPU time (s) 1242.38
Current children cumulated vsize (KiB) 258656

[startup+1242.3 s]
/proc/loadavg: 2.10 2.09 1.98 3/179 26340
/proc/meminfo: memFree=28824676/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136512 CPUtime=1279.97 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 44669 352755 0 2 5488 806 121433 270 20 0 1 0 337558659 139788288 6389 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34128 6389 1180 1 0 5185 0
[pid=26337] ppid=26046 vsize=18852 CPUtime=25.33 cores=0,2,4,6
/proc/26337/stat : 26337 (clasp-1.3.3-x86) R 26046 26337 26337 0 -1 4202496 4733 0 0 0 2532 1 0 0 20 0 1 0 337680355 19304448 4416 33554432000 134512640 136080129 4292993504 4292992580 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26337/statm: 4713 4416 175 383 0 4328 0
Current children cumulated CPU time (s) 1305.3
Current children cumulated vsize (KiB) 155364

[startup+1302.3 s]
/proc/loadavg: 2.09 2.08 1.98 3/179 26340
/proc/meminfo: memFree=28816172/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136512 CPUtime=1282.8 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 44694 352755 0 2 5734 843 121433 270 20 0 1 0 337558659 139788288 6389 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34128 6389 1180 1 0 5185 0
[pid=26337] ppid=26046 vsize=27252 CPUtime=85.32 cores=0,2,4,6
/proc/26337/stat : 26337 (clasp-1.3.3-x86) R 26046 26337 26337 0 -1 4202496 6785 0 0 0 8531 1 0 0 20 0 1 0 337680355 27906048 6500 33554432000 134512640 136080129 4292993504 4292992576 134849599 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26337/statm: 6813 6500 175 383 0 6428 0
Current children cumulated CPU time (s) 1368.12
Current children cumulated vsize (KiB) 163764

[startup+1362.3 s]
/proc/loadavg: 2.07 2.08 1.99 3/179 26352
/proc/meminfo: memFree=28786864/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136512 CPUtime=1406.2 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 48421 370220 0 2 5992 879 133473 276 20 0 1 0 337558659 139788288 6391 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34128 6391 1180 1 0 5185 0
[pid=26352] ppid=26046 vsize=18820 CPUtime=24.8 cores=0,2,4,6
/proc/26352/stat : 26352 (clasp-1.3.3-x86) R 26046 26352 26352 0 -1 4202496 4726 0 0 0 2480 0 0 0 20 0 1 0 337692407 19271680 4409 33554432000 134512640 136080129 4294066640 4294065712 134849662 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26352/statm: 4705 4409 175 383 0 4320 0
Current children cumulated CPU time (s) 1431
Current children cumulated vsize (KiB) 155332

[startup+1422.31 s]
/proc/loadavg: 2.02 2.06 1.99 3/179 26358
/proc/meminfo: memFree=28710768/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136512 CPUtime=1469.62 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 50909 381333 0 2 6251 913 139519 279 20 0 1 0 337558659 139788288 6391 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34128 6391 1180 1 0 5185 0
[pid=26358] ppid=26046 vsize=18072 CPUtime=24.27 cores=0,2,4,6
/proc/26358/stat : 26358 (clasp-1.3.3-x86) R 26046 26358 26358 0 -1 4202496 4563 0 0 0 2427 0 0 0 20 0 1 0 337698461 18505728 4247 33554432000 134512640 136080129 4287903744 4287902736 134588896 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26358/statm: 4518 4247 175 383 0 4133 0
Current children cumulated CPU time (s) 1493.89
Current children cumulated vsize (KiB) 154584

[startup+1482.3 s]
/proc/loadavg: 2.01 2.05 1.99 3/198 26386
/proc/meminfo: memFree=28783020/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136512 CPUtime=1472.39 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 50936 381333 0 2 6493 948 139519 279 20 0 1 0 337558659 139788288 6391 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34128 6391 1180 1 0 5185 0
[pid=26358] ppid=26046 vsize=26800 CPUtime=84.25 cores=0,2,4,6
/proc/26358/stat : 26358 (clasp-1.3.3-x86) R 26046 26358 26358 0 -1 4202496 6673 0 0 0 8424 1 0 0 20 0 1 0 337698461 27443200 6403 33554432000 134512640 136080129 4287903744 4287902820 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26358/statm: 6700 6403 175 383 0 6315 0
Current children cumulated CPU time (s) 1556.64
Current children cumulated vsize (KiB) 163312

[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 1.99 3/197 26395
/proc/meminfo: memFree=28703788/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136644 CPUtime=1595.78 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 54663 398983 0 2 6755 984 151554 285 20 0 1 0 337558659 139923456 6393 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34161 6393 1180 1 0 5218 0
[pid=26395] ppid=26046 vsize=18660 CPUtime=23.81 cores=0,2,4,6
/proc/26395/stat : 26395 (clasp-1.3.3-x86) R 26046 26395 26395 0 -1 4202496 4698 0 0 0 2380 1 0 0 20 0 1 0 337710508 19107840 4381 33554432000 134512640 136080129 4291150896 4291149968 134849684 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26395/statm: 4665 4381 175 383 0 4280 0
Current children cumulated CPU time (s) 1619.59
Current children cumulated vsize (KiB) 155304

[startup+1602.3 s]
/proc/loadavg: 2.13 2.07 2.00 4/179 26398
/proc/meminfo: memFree=28786136/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136644 CPUtime=1598.58 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 54686 398983 0 2 6998 1021 151554 285 20 0 1 0 337558659 139923456 6393 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34161 6393 1180 1 0 5218 0
[pid=26395] ppid=26046 vsize=27024 CPUtime=83.78 cores=0,2,4,6
/proc/26395/stat : 26395 (clasp-1.3.3-x86) R 26046 26395 26395 0 -1 4202496 6745 0 0 0 8377 1 0 0 20 0 1 0 337710508 27672576 6458 33554432000 134512640 136080129 4291150896 4291149968 134849968 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26395/statm: 6756 6458 175 383 0 6371 0
Current children cumulated CPU time (s) 1682.36
Current children cumulated vsize (KiB) 163668

[startup+1662.3 s]
/proc/loadavg: 2.15 2.09 2.01 3/180 26408
/proc/meminfo: memFree=28726684/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136644 CPUtime=1721.98 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 58413 416416 0 2 7256 1059 163592 291 20 0 1 0 337558659 139923456 6394 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34161 6394 1180 1 0 5218 0
[pid=26408] ppid=26046 vsize=18036 CPUtime=23.31 cores=0,2,4,6
/proc/26408/stat : 26408 (clasp-1.3.3-x86) R 26046 26408 26408 0 -1 4202496 4564 0 0 0 2330 1 0 0 20 0 1 0 337722557 18468864 4247 33554432000 134512640 136080129 4293022320 4293021392 134849074 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26408/statm: 4509 4247 175 383 0 4124 0
Current children cumulated CPU time (s) 1745.29
Current children cumulated vsize (KiB) 154680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1714.5 s]
/proc/loadavg: 2.06 2.07 2.00 3/179 26507
/proc/meminfo: memFree=28813268/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136644 CPUtime=1724.43 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 58440 416416 0 2 7470 1090 163592 291 20 0 1 0 337558659 139923456 6395 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34161 6395 1180 1 0 5218 0
[pid=26408] ppid=26046 vsize=26192 CPUtime=75.5 cores=0,2,4,6
/proc/26408/stat : 26408 (clasp-1.3.3-x86) R 26046 26408 26408 0 -1 4202496 6532 0 0 0 7548 2 0 0 20 0 1 0 337722557 26820608 6237 33554432000 134512640 136080129 4293022320 4293021360 134856966 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26408/statm: 6548 6237 175 383 0 6163 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (KiB) 162836

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

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

[startup+1714.5 s]
/proc/loadavg: 2.06 2.07 2.00 3/179 26507
/proc/meminfo: memFree=28813268/32873844 swapFree=7120/7120
[pid=26046] ppid=26044 vsize=136644 CPUtime=1724.43 cores=0,2,4,6
/proc/26046/stat : 26046 (python) S 26044 26046 22930 0 -1 4202496 58440 416416 0 2 7470 1090 163592 291 20 0 1 0 337558659 139923456 6395 33554432000 4194304 4196484 140734785256464 140734785248224 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26046/statm: 34161 6395 1180 1 0 5218 0
[pid=26408] ppid=26046 vsize=26192 CPUtime=75.5 cores=0,2,4,6
/proc/26408/stat : 26408 (clasp-1.3.3-x86) R 26046 26408 26408 0 -1 4202496 6532 0 0 0 7548 2 0 0 20 0 1 0 337722557 26820608 6237 33554432000 134512640 136080129 4293022320 4293021360 134856966 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26408/statm: 6548 6237 175 383 0 6163 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (KiB) 162836

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26046 and gives
#  childrusage.ru_utime.tv_sec=1710
#  childrusage.ru_utime.tv_usec=629944
#  childrusage.ru_stime.tv_sec=13
#  childrusage.ru_stime.tv_usec=817899
# CPU time returned by wait4() is 1724.45
# while last known CPU time is 1799.93
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 1714.51
CPU time (s): 1800.07
CPU user time (s): 1786.29
CPU system time (s): 13.78
CPU usage (%): 104.99
Max. virtual memory (cumulated for all children) (KiB): 2851652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.63
system time used= 13.8179
maximum resident set size= 316528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474856
page faults= 2
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9439
involuntary context switches= 2763

runsolver used 3.49147 second user time and 8.84366 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 11:05:38
IDJOB=3729905
IDBENCH=1369
IDSOLVER=2323
FILE ID=node142/3729905-1338714337
RUNJOBID= node142-1338713724-22946
PBS_JOBID= 14636740
Free space on /tmp= 71168 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3729905-1338714337/watcher-3729905-1338714337 -o /tmp/evaluation-result-3729905-1338714337/solver-3729905-1338714337 -C 1800 -W 1900 -M 15500  solver HOME/instance-3729905-1338714337.opb 1774324434 

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

MD5SUM BENCH= 7f5f10f1b8aeee16c5b46dadab8c5b22
RANDOM SEED=1774324434

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:        28819744 kB
Buffers:          314368 kB
Cached:          2839624 kB
SwapCached:            0 kB
Active:          1323536 kB
Inactive:        1905248 kB
Active(anon):      66236 kB
Inactive(anon):    11220 kB
Active(file):    1257300 kB
Inactive(file):  1894028 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             22672 kB
Writeback:             0 kB
AnonPages:         83780 kB
Mapped:            14656 kB
Shmem:               200 kB
Slab:             683484 kB
SReclaimable:     124112 kB
SUnreclaim:       559372 kB
KernelStack:        1480 kB
PageTables:         3892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     199732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71148 MiB
End job on node142 at 2012-06-03 11:34:14