Trace number 3729099

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 1718.61

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24ls.opb
MD5SUM1a4510076d9024b805728ffe22c0d108
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark48.1337
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables490
Total number of constraints737
Number of constraints which are clauses397
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints338
Minimum length of a constraint2
Maximum length of a constraint169
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 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 193
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

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: 1.14 1.09 1.42 3/177 23159
/proc/meminfo: memFree=28918664/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/23159/stat : 23159 (python) R 23157 23159 22930 0 -1 4202496 877 0 0 0 0 0 0 0 20 0 1 0 337498135 15749120 629 33554432000 4194304 5683644 140737428279984 140737428238440 233221279122 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 3845 629 333 364 0 287 0

[startup+0.0850749 s]
/proc/loadavg: 1.14 1.09 1.42 3/177 23159
/proc/meminfo: memFree=28918664/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=27400 CPUtime=0.03 cores=1,3,5,7
/proc/23159/stat : 23159 (python) R 23157 23159 22930 0 -1 4202496 2776 0 0 0 2 1 0 0 20 0 1 0 337498135 28057600 1187 33554432000 4194304 4196484 140737321103504 140737320995304 233220948880 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/23159/statm: 6850 1187 456 1 0 718 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27400

[startup+0.100311 s]
/proc/loadavg: 1.14 1.09 1.42 3/177 23159
/proc/meminfo: memFree=28918664/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=31696 CPUtime=0.04 cores=1,3,5,7
/proc/23159/stat : 23159 (python) D 23157 23159 22930 0 -1 4202496 2858 0 0 0 2 2 0 0 20 0 1 0 337498135 32456704 1255 33554432000 4194304 4196484 140737321103504 140737320977144 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/23159/statm: 7924 1255 467 1 0 751 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 31696

[startup+0.300267 s]
/proc/loadavg: 1.14 1.09 1.42 3/177 23159
/proc/meminfo: memFree=28918664/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=66148 CPUtime=0.11 cores=1,3,5,7
/proc/23159/stat : 23159 (python) R 23157 23159 22930 0 -1 4202496 4591 0 0 0 6 5 0 0 20 0 1 0 337498135 67735552 2629 33554432000 4194304 4196484 140737321103504 140737320977192 233220575051 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/23159/statm: 16537 2632 637 1 0 2133 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 66148

[startup+0.70026 s]
/proc/loadavg: 1.14 1.09 1.42 3/177 23159
/proc/meminfo: memFree=28918664/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=110356 CPUtime=0.36 cores=1,3,5,7
/proc/23159/stat : 23159 (python) D 23157 23159 22930 0 -1 4202496 8262 1012 0 0 23 13 0 0 20 0 1 0 337498135 113004544 4860 33554432000 4194304 4196484 140737321103504 140737321049240 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/23159/statm: 27589 4860 1071 1 0 3828 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 110356

[startup+1.50012 s]
/proc/loadavg: 1.14 1.09 1.42 3/177 23204
/proc/meminfo: memFree=28913888/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=134484 CPUtime=0.59 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 11212 1012 0 0 40 19 0 0 20 0 1 0 337498135 137711616 6347 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/23159/statm: 33621 6347 1170 1 0 5193 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134484

[startup+3.10026 s]
/proc/loadavg: 1.14 1.09 1.42 4/179 23210
/proc/meminfo: memFree=28893768/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=134484 CPUtime=0.66 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 11218 1012 0 0 46 20 0 0 20 0 1 0 337498135 137711616 6347 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 33621 6347 1170 1 0 5193 0
[pid=23205] ppid=23159 vsize=2700 CPUtime=2.06 cores=1,3,5,7
/proc/23205/stat : 23205 (clasp-1.3.3-x86) R 23159 23205 23205 0 -1 4202496 750 0 0 0 206 0 0 0 20 0 1 0 337498238 2764800 438 33554432000 134512640 136080129 4293796848 4293795984 134845723 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/23205/statm: 675 438 176 383 0 290 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 137184

[startup+6.30027 s]
/proc/loadavg: 1.21 1.11 1.42 3/179 23210
/proc/meminfo: memFree=28893288/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=134484 CPUtime=0.81 cores=1,3,5,7
/proc/23159/stat : 23159 (python) R 23157 23159 22930 0 -1 4202496 11229 1012 0 0 59 22 0 0 20 0 1 0 337498135 137711616 6347 33554432000 4194304 4196484 140737321103504 140737321095264 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 33621 6347 1170 1 0 5193 0
[pid=23205] ppid=23159 vsize=2960 CPUtime=5.26 cores=1,3,5,7
/proc/23205/stat : 23205 (clasp-1.3.3-x86) R 23159 23205 23205 0 -1 4202496 803 0 0 0 526 0 0 0 20 0 1 0 337498238 3031040 491 33554432000 134512640 136080129 4293796848 4293795984 134845684 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/23205/statm: 740 491 176 383 0 355 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 137444

[startup+12.7065 s]
/proc/loadavg: 1.27 1.12 1.42 2/174 23244
/proc/meminfo: memFree=28924496/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=11.66 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 12485 2797 0 0 90 25 1050 1 20 0 1 0 337498135 139821056 6369 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6369 1180 1 0 5193 0
[pid=23213] ppid=23159 vsize=2576 CPUtime=1.13 cores=1,3,5,7
/proc/23213/stat : 23213 (clasp-1.3.3-x86) R 23159 23213 23213 0 -1 4202496 706 0 0 0 113 0 0 0 20 0 1 0 337499292 2637824 396 33554432000 134512640 136080129 4290121728 4290120424 134601823 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 644 396 176 383 0 259 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 139120

[startup+25.5002 s]
/proc/loadavg: 1.43 1.16 1.43 5/179 23438
/proc/meminfo: memFree=28889892/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=12.23 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 12517 2797 0 0 138 34 1050 1 20 0 1 0 337498135 139821056 6369 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6369 1180 1 0 5193 0
[pid=23213] ppid=23159 vsize=3220 CPUtime=13.92 cores=1,3,5,7
/proc/23213/stat : 23213 (clasp-1.3.3-x86) R 23159 23213 23213 0 -1 4202496 871 0 0 0 1392 0 0 0 20 0 1 0 337499292 3297280 561 33554432000 134512640 136080129 4290121728 4290120816 134579541 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 805 561 176 383 0 420 0
Current children cumulated CPU time (s) 26.15
Current children cumulated vsize (KiB) 139764

[startup+51.1003 s]
/proc/loadavg: 1.63 1.23 1.45 3/179 23888
/proc/meminfo: memFree=28881560/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=13.37 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 12547 2797 0 0 234 52 1050 1 20 0 1 0 337498135 139821056 6369 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6369 1180 1 0 5193 0
[pid=23213] ppid=23159 vsize=3840 CPUtime=39.52 cores=1,3,5,7
/proc/23213/stat : 23213 (clasp-1.3.3-x86) R 23159 23213 23213 0 -1 4202496 1013 0 0 0 3952 0 0 0 20 0 1 0 337499292 3932160 703 33554432000 134512640 136080129 4290121728 4290120720 134588728 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 960 703 176 383 0 575 0
Current children cumulated CPU time (s) 52.89
Current children cumulated vsize (KiB) 140384

[startup+102.3 s]
/proc/loadavg: 1.88 1.36 1.48 3/179 24614
/proc/meminfo: memFree=28746272/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=66.33 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 13735 4750 0 0 452 93 6086 2 20 0 1 0 337498135 139821056 6373 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6373 1180 1 0 5193 0
[pid=24111] ppid=23159 vsize=126116 CPUtime=40.32 cores=1,3,5,7
/proc/24111/stat : 24111 (wbo1.4a) R 23159 24111 24111 0 -1 4202496 31375 0 0 0 4001 31 0 0 20 0 1 0 337504331 129142784 31052 33554432000 134512640 135751879 4294396288 4294394540 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/24111/statm: 31529 31052 139 303 0 31224 0
Current children cumulated CPU time (s) 106.65
Current children cumulated vsize (KiB) 262660

[startup+162.306 s]
/proc/loadavg: 1.95 1.47 1.51 3/179 24665
/proc/meminfo: memFree=28865388/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=119.75 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 14983 44631 0 0 685 130 11118 42 20 0 1 0 337498135 139821056 6373 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6373 1180 1 0 5193 0
[pid=24617] ppid=23159 vsize=3824 CPUtime=49.59 cores=1,3,5,7
/proc/24617/stat : 24617 (clasp-1.3.3-x86) R 23159 24617 24617 0 -1 4202496 1036 0 0 0 4959 0 0 0 20 0 1 0 337509406 3915776 723 33554432000 134512640 136080129 4286788848 4286787792 134804949 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/24617/statm: 956 723 176 383 0 571 0
Current children cumulated CPU time (s) 169.34
Current children cumulated vsize (KiB) 140368

[startup+222.3 s]
/proc/loadavg: 2.02 1.58 1.54 3/179 24986
/proc/meminfo: memFree=28830768/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=222.69 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 16241 46702 0 0 932 171 21123 43 20 0 1 0 337498135 139821056 6375 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6375 1180 1 0 5193 0
[pid=24882] ppid=23159 vsize=36096 CPUtime=9.5 cores=1,3,5,7
/proc/24882/stat : 24882 (wbo1.4a) R 23159 24882 24882 0 -1 4202496 8904 0 0 0 942 8 0 0 20 0 1 0 337519414 36962304 8576 33554432000 134512640 135751879 4286835440 4286833692 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/24882/statm: 9024 8576 139 303 0 8719 0
Current children cumulated CPU time (s) 232.19
Current children cumulated vsize (KiB) 172640

[startup+282.3 s]
/proc/loadavg: 2.18 1.70 1.58 3/180 25083
/proc/meminfo: memFree=28659584/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=225.45 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 16281 46702 0 0 1171 208 21123 43 20 0 1 0 337498135 139821056 6375 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6375 1180 1 0 5193 0
[pid=24882] ppid=23159 vsize=201912 CPUtime=69.46 cores=1,3,5,7
/proc/24882/stat : 24882 (wbo1.4a) R 23159 24882 24882 0 -1 4202496 50379 0 0 0 6891 55 0 0 20 0 1 0 337519414 206757888 50034 33554432000 134512640 135751879 4286835440 4286833692 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/24882/statm: 50478 50034 139 303 0 50173 0
Current children cumulated CPU time (s) 294.91
Current children cumulated vsize (KiB) 338456

[startup+342.3 s]
/proc/loadavg: 2.13 1.77 1.61 3/180 25112
/proc/meminfo: memFree=28631144/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=329.29 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 17517 112007 0 0 1428 250 31134 117 20 0 1 0 337498135 139821056 6378 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6378 1180 1 0 5193 0
[pid=25089] ppid=23159 vsize=135488 CPUtime=28.59 cores=1,3,5,7
/proc/25089/stat : 25089 (wbo1.4b) R 23159 25089 25089 0 -1 4202496 33762 0 0 0 2819 40 0 0 20 0 1 0 337529505 138739712 33436 33554432000 134512640 135751879 4289405104 4289403196 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/25089/statm: 33872 33436 144 303 0 33567 0
Current children cumulated CPU time (s) 357.88
Current children cumulated vsize (KiB) 272032

[startup+402.301 s]
/proc/loadavg: 2.11 1.83 1.64 3/197 25136
/proc/meminfo: memFree=28366132/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=382.97 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 18755 166488 0 0 1669 291 36158 179 20 0 1 0 337498135 139821056 6379 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6379 1180 1 0 5193 0
[pid=25118] ppid=23159 vsize=2715136 CPUtime=38.66 cores=1,3,5,7

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

/proc/23159/statm: 34136 6388 1180 1 0 5193 0
[pid=26127] ppid=23159 vsize=4956 CPUtime=250.93 cores=1,3,5,7
/proc/26127/stat : 26127 (clasp-1.3.3-x86) R 23159 26127 26127 0 -1 4202496 1316 0 0 0 25093 0 0 0 20 0 1 0 337579268 5074944 998 33554432000 134512640 136080129 4290686368 4290685064 134601768 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26127/statm: 1239 998 176 383 0 854 0
Current children cumulated CPU time (s) 1114.14
Current children cumulated vsize (KiB) 141500

[startup+1122.3 s]
/proc/loadavg: 2.02 2.09 1.91 3/179 26164
/proc/meminfo: memFree=28715532/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=1166.18 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 42288 348638 0 2 4621 748 110826 423 20 0 1 0 337498135 139821056 6389 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6389 1180 1 0 5193 0
[pid=26164] ppid=23159 vsize=38060 CPUtime=10.74 cores=1,3,5,7
/proc/26164/stat : 26164 (bsolo_pb10) R 23159 26164 26164 0 -1 4202496 7394 0 0 0 1072 2 0 0 20 0 1 0 337609290 38973440 7069 33554432000 134512640 137138936 4290773808 4290772120 136506715 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 9515 7070 192 642 0 8871 0
Current children cumulated CPU time (s) 1176.92
Current children cumulated vsize (KiB) 174604

[startup+1182.3 s]
/proc/loadavg: 2.01 2.07 1.91 3/179 26168
/proc/meminfo: memFree=28728784/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=1168.9 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 42314 348638 0 2 4855 786 110826 423 20 0 1 0 337498135 139821056 6389 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6389 1180 1 0 5193 0
[pid=26164] ppid=23159 vsize=65132 CPUtime=70.72 cores=1,3,5,7
/proc/26164/stat : 26164 (bsolo_pb10) R 23159 26164 26164 0 -1 4202496 14181 0 0 0 7066 6 0 0 20 0 1 0 337609290 66695168 13839 33554432000 134512640 137138936 4290773808 4290772736 134542484 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/26164/statm: 16283 13839 192 642 0 15639 0
Current children cumulated CPU time (s) 1239.62
Current children cumulated vsize (KiB) 201676

[startup+1242.3 s]
/proc/loadavg: 2.03 2.07 1.91 3/179 26183
/proc/meminfo: memFree=28836380/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=1282.44 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 44818 366512 0 2 5095 822 121895 432 20 0 1 0 337498135 139821056 6390 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6390 1180 1 0 5193 0
[pid=26177] ppid=23159 vsize=3352 CPUtime=19.9 cores=1,3,5,7
/proc/26177/stat : 26177 (clasp-1.3.3-x86) R 23159 26177 26177 0 -1 4202496 914 0 0 0 1990 0 0 0 20 0 1 0 337620375 3432448 600 33554432000 134512640 136080129 4292419280 4292418348 135519657 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26177/statm: 838 600 176 383 0 453 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 139896

[startup+1302.3 s]
/proc/loadavg: 2.10 2.09 1.93 3/179 26201
/proc/meminfo: memFree=28838000/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=1285.1 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 44847 366512 0 2 5329 854 121895 432 20 0 1 0 337498135 139821056 6390 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6390 1180 1 0 5193 0
[pid=26177] ppid=23159 vsize=4060 CPUtime=79.89 cores=1,3,5,7
/proc/26177/stat : 26177 (clasp-1.3.3-x86) R 23159 26177 26177 0 -1 4202496 1082 0 0 0 7989 0 0 0 20 0 1 0 337620375 4157440 768 33554432000 134512640 136080129 4292419280 4292418260 134804836 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26177/statm: 1015 768 176 383 0 630 0
Current children cumulated CPU time (s) 1364.99
Current children cumulated vsize (KiB) 140604

[startup+1362.3 s]
/proc/loadavg: 2.11 2.09 1.93 3/179 26234
/proc/meminfo: memFree=28835024/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=1409.03 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 48587 372178 0 2 5572 890 134007 434 20 0 1 0 337498135 139821056 6390 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6390 1180 1 0 5193 0
[pid=26231] ppid=23159 vsize=3352 CPUtime=18.72 cores=1,3,5,7
/proc/26231/stat : 26231 (clasp-1.3.3-x86) R 23159 26231 26231 0 -1 4202496 915 0 0 0 1872 0 0 0 20 0 1 0 337632494 3432448 599 33554432000 134512640 136080129 4289470384 4289469328 134804941 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26231/statm: 838 599 176 383 0 453 0
Current children cumulated CPU time (s) 1427.75
Current children cumulated vsize (KiB) 139896

[startup+1422.3 s]
/proc/loadavg: 2.04 2.07 1.93 3/179 26255
/proc/meminfo: memFree=28829444/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=1472.64 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 51085 375941 0 2 5815 925 140088 436 20 0 1 0 337498135 139821056 6391 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6391 1180 1 0 5193 0
[pid=26252] ppid=23159 vsize=3352 CPUtime=17.85 cores=1,3,5,7
/proc/26252/stat : 26252 (clasp-1.3.3-x86) R 23159 26252 26252 0 -1 4202496 912 0 0 0 1785 0 0 0 20 0 1 0 337638579 3432448 593 33554432000 134512640 136080129 4292100912 4292099856 134804939 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26252/statm: 838 593 176 383 0 453 0
Current children cumulated CPU time (s) 1490.49
Current children cumulated vsize (KiB) 139896

[startup+1482.31 s]
/proc/loadavg: 2.05 2.07 1.94 3/180 26259
/proc/meminfo: memFree=28815900/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=1475.27 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 51113 375941 0 2 6043 960 140088 436 20 0 1 0 337498135 139821056 6391 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6391 1180 1 0 5193 0
[pid=26252] ppid=23159 vsize=4060 CPUtime=77.85 cores=1,3,5,7
/proc/26252/stat : 26252 (clasp-1.3.3-x86) R 23159 26252 26252 0 -1 4202496 1085 0 0 0 7785 0 0 0 20 0 1 0 337638579 4157440 766 33554432000 134512640 136080129 4292100912 4292099856 134804956 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26252/statm: 1015 766 176 383 0 630 0
Current children cumulated CPU time (s) 1553.12
Current children cumulated vsize (KiB) 140604

[startup+1542.3 s]
/proc/loadavg: 2.05 2.07 1.94 4/179 26268
/proc/meminfo: memFree=28811500/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=1599.18 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 54851 381609 0 2 6284 996 152200 438 20 0 1 0 337498135 139821056 6393 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6393 1180 1 0 5193 0
[pid=26268] ppid=23159 vsize=3216 CPUtime=16.65 cores=1,3,5,7
/proc/26268/stat : 26268 (clasp-1.3.3-x86) R 23159 26268 26268 0 -1 4202496 884 0 0 0 1665 0 0 0 20 0 1 0 337650700 3293184 572 33554432000 134512640 136080129 4291008544 4291007680 134846233 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26268/statm: 804 572 176 383 0 419 0
Current children cumulated CPU time (s) 1615.83
Current children cumulated vsize (KiB) 139760

[startup+1602.3 s]
/proc/loadavg: 2.15 2.08 1.95 3/179 26268
/proc/meminfo: memFree=28805232/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=1601.8 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 54875 381609 0 2 6515 1027 152200 438 20 0 1 0 337498135 139821056 6393 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6393 1180 1 0 5193 0
[pid=26268] ppid=23159 vsize=3992 CPUtime=76.64 cores=1,3,5,7
/proc/26268/stat : 26268 (clasp-1.3.3-x86) R 23159 26268 26268 0 -1 4202496 1074 0 0 0 7664 0 0 0 20 0 1 0 337650700 4087808 762 33554432000 134512640 136080129 4291008544 4291007680 134610270 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26268/statm: 998 762 176 383 0 613 0
Current children cumulated CPU time (s) 1678.44
Current children cumulated vsize (KiB) 140536

[startup+1662.3 s]
/proc/loadavg: 2.09 2.08 1.96 3/179 26277
/proc/meminfo: memFree=28800328/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=1725.68 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 58621 387253 0 2 6761 1062 164304 441 20 0 1 0 337498135 139821056 6393 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6393 1180 1 0 5193 0
[pid=26277] ppid=23159 vsize=3188 CPUtime=15.53 cores=1,3,5,7
/proc/26277/stat : 26277 (clasp-1.3.3-x86) R 23159 26277 26277 0 -1 4202496 880 0 0 0 1553 0 0 0 20 0 1 0 337662812 3264512 566 33554432000 134512640 136080129 4286897856 4286896928 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26277/statm: 797 566 176 383 0 412 0
Current children cumulated CPU time (s) 1741.21
Current children cumulated vsize (KiB) 139732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1718.6 s]
/proc/loadavg: 2.07 2.08 1.96 3/179 26280
/proc/meminfo: memFree=28799808/32873844 swapFree=7120/7120
[pid=23159] ppid=23157 vsize=136544 CPUtime=1728.19 cores=1,3,5,7
/proc/23159/stat : 23159 (python) S 23157 23159 22930 0 -1 4202496 58649 387253 0 2 6981 1093 164304 441 20 0 1 0 337498135 139821056 6393 33554432000 4194304 4196484 140737321103504 140737321095264 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/23159/statm: 34136 6393 1180 1 0 5193 0
[pid=26277] ppid=23159 vsize=3992 CPUtime=71.82 cores=1,3,5,7
/proc/26277/stat : 26277 (clasp-1.3.3-x86) R 23159 26277 26277 0 -1 4202496 1078 0 0 0 7182 0 0 0 20 0 1 0 337662812 4087808 764 33554432000 134512640 136080129 4286897856 4286896800 134804904 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26277/statm: 998 764 176 383 0 613 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 140536

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23159 and gives
#  childrusage.ru_utime.tv_sec=1712
#  childrusage.ru_utime.tv_usec=867604
#  childrusage.ru_stime.tv_sec=15
#  childrusage.ru_stime.tv_usec=345667
# CPU time returned by wait4() is 1728.21
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# 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.0599976
#  lost CPU user time (s): 0.200012
#  lost CPU system time (s): -0.14

Real time (s): 1718.61
CPU time (s): 1800.07
CPU user time (s): 1784.87
CPU system time (s): 15.2
CPU usage (%): 104.74
Max. virtual memory (cumulated for all children) (KiB): 2851684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1712.87
system time used= 15.3457
maximum resident set size= 603660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445903
page faults= 2
swaps= 0
block input operations= 48
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9997
involuntary context switches= 3804

runsolver used 3.61945 second user time and 9.14461 second system time

The end

Launcher Data

Begin job on node142 at 2012-06-03 10:55:32
IDJOB=3729099
IDBENCH=1167
IDSOLVER=2323
FILE ID=node142/3729099-1338713732
RUNJOBID= node142-1338713724-22947
PBS_JOBID= 14636740
Free space on /tmp= 71172 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3729099-1338713732/watcher-3729099-1338713732 -o /tmp/evaluation-result-3729099-1338713732/solver-3729099-1338713732 -C 1800 -W 1900 -M 15500  solver HOME/instance-3729099-1338713732.opb 661828424 

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

MD5SUM BENCH= 1a4510076d9024b805728ffe22c0d108
RANDOM SEED=661828424

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:        28919292 kB
Buffers:          263764 kB
Cached:          2836816 kB
SwapCached:            0 kB
Active:          1228628 kB
Inactive:        1904028 kB
Active(anon):      23676 kB
Inactive(anon):    11220 kB
Active(file):    1204952 kB
Inactive(file):  1892808 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             42856 kB
Writeback:             0 kB
AnonPages:         39372 kB
Mapped:            14552 kB
Shmem:               200 kB
Slab:             684432 kB
SReclaimable:     124272 kB
SUnreclaim:       560160 kB
KernelStack:        1480 kB
PageTables:         3744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     147896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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:24:13