Trace number 3729021

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 1715.92

General information on the benchmark

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

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.04 1.59 1.68 3/178 15551
/proc/meminfo: memFree=27086584/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/15551/stat : 15551 (python) D 15549 15551 15301 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 337468259 15642624 527 33554432000 4194304 5683644 140733272254048 140733272239960 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 3819 527 312 364 0 261 0

[startup+0.0905899 s]
/proc/loadavg: 2.04 1.59 1.68 3/178 15551
/proc/meminfo: memFree=27086584/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=17420 CPUtime=0.01 cores=0,2,4,6
/proc/15551/stat : 15551 (python) D 15549 15551 15301 0 -1 4202496 2149 0 0 0 1 0 0 0 20 0 1 0 337468259 17838080 661 33554432000 4194304 4196484 140734066977264 140734066921368 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/15551/statm: 4355 661 354 1 0 290 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17420

[startup+0.100357 s]
/proc/loadavg: 2.04 1.59 1.68 3/178 15551
/proc/meminfo: memFree=27086584/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=17632 CPUtime=0.01 cores=0,2,4,6
/proc/15551/stat : 15551 (python) D 15549 15551 15301 0 -1 4202496 2242 0 0 0 1 0 0 0 20 0 1 0 337468259 18055168 744 33554432000 4194304 4196484 140734066977264 140734066921368 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/15551/statm: 4408 744 367 1 0 343 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17632

[startup+0.300245 s]
/proc/loadavg: 2.04 1.59 1.68 3/178 15551
/proc/meminfo: memFree=27086584/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=56784 CPUtime=0.07 cores=0,2,4,6
/proc/15551/stat : 15551 (python) R 15549 15551 15301 0 -1 4202496 4051 0 0 0 4 3 0 0 20 0 1 0 337468259 58146816 2210 33554432000 4194304 4196484 140734066977264 140734066795208 251053032736 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/15551/statm: 14196 2211 603 1 0 1534 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 56784

[startup+0.700228 s]
/proc/loadavg: 2.04 1.59 1.68 3/178 15551
/proc/meminfo: memFree=27086584/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=100252 CPUtime=0.24 cores=0,2,4,6
/proc/15551/stat : 15551 (python) R 15549 15551 15301 0 -1 4202496 6042 0 0 0 13 11 0 0 20 0 1 0 337468259 102658048 3875 33554432000 4194304 4196484 140734066977264 140734066920536 251052658580 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/15551/statm: 25063 3876 1047 1 0 2865 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 100252

[startup+1.50024 s]
/proc/loadavg: 2.04 1.59 1.68 2/179 15556
/proc/meminfo: memFree=27066836/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=118120 CPUtime=0.45 cores=0,2,4,6
/proc/15551/stat : 15551 (python) D 15549 15551 15301 0 -1 4202496 9593 1012 0 0 28 17 0 0 20 0 1 0 337468259 120954880 5830 33554432000 4194304 4196484 140734066977264 140734066910872 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/15551/statm: 29530 5830 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 118120

[startup+3.10026 s]
/proc/loadavg: 2.04 1.59 1.68 3/180 15557
/proc/meminfo: memFree=27064224/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=134484 CPUtime=0.63 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 11232 1012 0 0 41 22 0 0 20 0 1 0 337468259 137711616 6347 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 33621 6347 1170 1 0 5193 0
[pid=15557] ppid=15551 vsize=2332 CPUtime=1.27 cores=0,2,4,6
/proc/15557/stat : 15557 (clasp-1.3.3-x86) R 15551 15557 15557 0 -1 4202496 665 0 0 0 127 0 0 0 20 0 1 0 337468441 2387968 353 33554432000 134512640 136080129 4292584384 4292583252 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15557/statm: 583 353 176 383 0 198 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 136816
heavy processes:

[startup+6.30026 s]
/proc/loadavg: 2.04 1.60 1.68 4/180 15557
/proc/meminfo: memFree=27063240/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=134484 CPUtime=0.76 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 11240 1012 0 0 53 23 0 0 20 0 1 0 337468259 137711616 6347 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 33621 6347 1170 1 0 5193 0
[pid=15557] ppid=15551 vsize=2584 CPUtime=4.47 cores=0,2,4,6
/proc/15557/stat : 15557 (clasp-1.3.3-x86) R 15551 15557 15557 0 -1 4202496 724 0 0 0 447 0 0 0 20 0 1 0 337468441 2646016 412 33554432000 134512640 136080129 4292584384 4292583456 134845187 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15557/statm: 646 412 176 383 0 261 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 137068

[startup+12.7002 s]
/proc/loadavg: 2.04 1.61 1.68 3/180 15557
/proc/meminfo: memFree=27063140/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=11.64 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 12477 2712 0 0 83 29 1052 0 20 0 1 0 337468259 139821056 6368 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6368 1180 1 0 5193 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (KiB) 136544

[startup+25.5003 s]
/proc/loadavg: 2.03 1.62 1.68 3/179 15560
/proc/meminfo: memFree=27063800/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=12.22 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 12507 2712 0 0 135 35 1052 0 20 0 1 0 337468259 139821056 6368 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6368 1180 1 0 5193 0
[pid=15560] ppid=15551 vsize=2832 CPUtime=13.13 cores=0,2,4,6
/proc/15560/stat : 15560 (clasp-1.3.3-x86) R 15551 15560 15560 0 -1 4202496 788 0 0 0 1313 0 0 0 20 0 1 0 337469495 2899968 476 33554432000 134512640 136080129 4293583280 4293582348 134588560 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15560/statm: 708 476 176 383 0 323 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 139376

[startup+51.1003 s]
/proc/loadavg: 2.02 1.65 1.69 3/179 15560
/proc/meminfo: memFree=27063304/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=13.43 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 12538 2712 0 0 240 51 1052 0 20 0 1 0 337468259 139821056 6368 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6368 1180 1 0 5193 0
[pid=15560] ppid=15551 vsize=3188 CPUtime=38.73 cores=0,2,4,6
/proc/15560/stat : 15560 (clasp-1.3.3-x86) R 15551 15560 15560 0 -1 4202496 866 0 0 0 3873 0 0 0 20 0 1 0 337469495 3264512 554 33554432000 134512640 136080129 4293583280 4293582416 134845889 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15560/statm: 797 554 176 383 0 412 0
Current children cumulated CPU time (s) 52.16
Current children cumulated vsize (KiB) 139732

[startup+102.306 s]
/proc/loadavg: 2.01 1.70 1.70 3/178 15566
/proc/meminfo: memFree=26911752/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=66.54 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 13697 4547 0 0 472 86 6095 1 20 0 1 0 337468259 139821056 6371 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6371 1180 1 0 5193 0
[pid=15563] ppid=15551 vsize=87392 CPUtime=39.45 cores=0,2,4,6
/proc/15563/stat : 15563 (wbo1.4a) R 15551 15563 15563 0 -1 4202496 21670 0 0 0 3925 20 0 0 20 0 1 0 337474542 89489408 21385 33554432000 134512640 135751879 4290805920 4290804172 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15563/statm: 21848 21385 139 303 0 21543 0
Current children cumulated CPU time (s) 105.99
Current children cumulated vsize (KiB) 223936

[startup+162.3 s]
/proc/loadavg: 2.00 1.76 1.72 3/179 15570
/proc/meminfo: memFree=26861360/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=119.69 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 14938 33112 0 0 716 123 11102 28 20 0 1 0 337468259 139821056 6373 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6373 1180 1 0 5193 0
[pid=15570] ppid=15551 vsize=3292 CPUtime=49.08 cores=0,2,4,6
/proc/15570/stat : 15570 (clasp-1.3.3-x86) R 15551 15570 15570 0 -1 4202496 895 0 0 0 4908 0 0 0 20 0 1 0 337479580 3371008 583 33554432000 134512640 136080129 4288458656 4288457744 134804964 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15570/statm: 823 583 176 383 0 438 0
Current children cumulated CPU time (s) 168.77
Current children cumulated vsize (KiB) 139836

[startup+222.3 s]
/proc/loadavg: 2.10 1.83 1.75 4/179 15576
/proc/meminfo: memFree=26913308/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=223.01 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 16186 35024 0 0 978 163 21131 29 20 0 1 0 337468259 139821056 6374 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6374 1180 1 0 5193 0
[pid=15576] ppid=15551 vsize=25716 CPUtime=8.76 cores=0,2,4,6
/proc/15576/stat : 15576 (wbo1.4a) R 15551 15576 15576 0 -1 4202496 6277 0 0 0 872 4 0 0 20 0 1 0 337489612 26333184 5955 33554432000 134512640 135751879 4291728112 4291726364 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15576/statm: 6429 5955 139 303 0 6124 0
Current children cumulated CPU time (s) 231.77
Current children cumulated vsize (KiB) 162260

[startup+282.3 s]
/proc/loadavg: 2.12 1.87 1.76 3/197 15597
/proc/meminfo: memFree=26416428/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=225.88 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 16224 35024 0 0 1227 201 21131 29 20 0 1 0 337468259 139821056 6374 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6374 1180 1 0 5193 0
[pid=15576] ppid=15551 vsize=144384 CPUtime=68.72 cores=0,2,4,6
/proc/15576/stat : 15576 (wbo1.4a) R 15551 15576 15576 0 -1 4202496 35907 0 0 0 6837 35 0 0 20 0 1 0 337489612 147849216 35634 33554432000 134512640 135751879 4291728112 4291726364 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15576/statm: 36096 35634 139 303 0 35791 0
Current children cumulated CPU time (s) 294.6
Current children cumulated vsize (KiB) 280928

[startup+342.3 s]
/proc/loadavg: 2.04 1.89 1.78 3/179 15603
/proc/meminfo: memFree=26938568/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=329.88 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 17446 84774 0 0 1500 243 31168 77 20 0 1 0 337468259 139821056 6376 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6376 1180 1 0 5193 0
[pid=15600] ppid=15551 vsize=79724 CPUtime=27.82 cores=0,2,4,6
/proc/15600/stat : 15600 (wbo1.4b) R 15551 15600 15600 0 -1 4202496 19793 0 0 0 2768 14 0 0 20 0 1 0 337499705 81637376 19471 33554432000 134512640 135751879 4293248880 4293246892 134516976 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15600/statm: 19931 19471 144 303 0 19626 0
Current children cumulated CPU time (s) 357.7
Current children cumulated vsize (KiB) 216268

[startup+402.301 s]
/proc/loadavg: 2.08 1.93 1.79 3/197 15624
/proc/meminfo: memFree=26373160/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=383.53 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 18668 117506 0 0 1755 281 36214 103 20 0 1 0 337468259 139821056 6378 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6378 1180 1 0 5193 0
[pid=15606] ppid=15551 vsize=2715136 CPUtime=38.04 cores=0,2,4,6
/proc/15606/stat : 15606 (java) S 15551 15606 15606 0 -1 4202496 14831 0 1 0 3782 22 0 0 20 0 19 0 337504782 2780299264 122500 33554432000 1073741824 1073778376 140735042228288 140735042219424 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/15606/statm: 678784 122500 2253 9 0 669477 0

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

/proc/15792/statm: 1029 789 176 383 0 644 0
Current children cumulated CPU time (s) 1115.42
Current children cumulated vsize (KiB) 140660

[startup+1122.3 s]
/proc/loadavg: 2.04 2.07 1.95 3/179 15805
/proc/meminfo: memFree=27041836/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=1164.19 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 41943 261447 0 2 4861 737 110553 268 20 0 1 0 337468259 139821056 6387 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6387 1180 1 0 5193 0
[pid=15805] ppid=15551 vsize=34472 CPUtime=14.17 cores=0,2,4,6
/proc/15805/stat : 15805 (bsolo_pb10) R 15551 15805 15805 0 -1 4202496 6503 0 0 0 1415 2 0 0 20 0 1 0 337579071 35299328 6175 33554432000 134512640 137138936 4289229456 4289228496 134540747 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/15805/statm: 8618 6175 192 642 0 7974 0
Current children cumulated CPU time (s) 1178.36
Current children cumulated vsize (KiB) 171016

[startup+1182.3 s]
/proc/loadavg: 2.01 2.05 1.95 3/180 15808
/proc/meminfo: memFree=27028040/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=1167.06 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 41968 261447 0 2 5107 778 110553 268 20 0 1 0 337468259 139821056 6387 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6387 1180 1 0 5193 0
[pid=15805] ppid=15551 vsize=46412 CPUtime=74.15 cores=0,2,4,6
/proc/15805/stat : 15805 (bsolo_pb10) R 15551 15805 15805 0 -1 4202496 9502 0 0 0 7412 3 0 0 20 0 1 0 337579071 47525888 9161 33554432000 134512640 137138936 4289229456 4289228384 134542307 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/15805/statm: 11603 9161 192 642 0 10959 0
Current children cumulated CPU time (s) 1241.21
Current children cumulated vsize (KiB) 182956

[startup+1242.3 s]
/proc/loadavg: 2.08 2.06 1.95 3/179 15823
/proc/meminfo: memFree=27063988/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=1280.67 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 44441 273600 0 2 5355 814 121624 274 20 0 1 0 337468259 139821056 6388 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6388 1180 1 0 5193 0
[pid=15823] ppid=15551 vsize=3060 CPUtime=23.36 cores=0,2,4,6
/proc/15823/stat : 15823 (clasp-1.3.3-x86) R 15551 15823 15823 0 -1 4202496 835 0 0 0 2336 0 0 0 20 0 1 0 337590152 3133440 516 33554432000 134512640 136080129 4287792192 4287791264 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15823/statm: 765 516 176 383 0 380 0
Current children cumulated CPU time (s) 1304.03
Current children cumulated vsize (KiB) 139604

[startup+1302.3 s]
/proc/loadavg: 2.08 2.06 1.96 3/179 15829
/proc/meminfo: memFree=27063256/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=1283.44 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 44465 273600 0 2 5598 848 121624 274 20 0 1 0 337468259 139821056 6388 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6388 1180 1 0 5193 0
[pid=15823] ppid=15551 vsize=3536 CPUtime=83.35 cores=0,2,4,6
/proc/15823/stat : 15823 (clasp-1.3.3-x86) R 15551 15823 15823 0 -1 4202496 951 0 0 0 8335 0 0 0 20 0 1 0 337590152 3620864 632 33554432000 134512640 136080129 4287792192 4287791152 134808301 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15823/statm: 884 632 176 383 0 499 0
Current children cumulated CPU time (s) 1366.79
Current children cumulated vsize (KiB) 140080

[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 1.96 3/179 15839
/proc/meminfo: memFree=27063192/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=1406.68 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 48167 278922 0 2 5853 888 133650 277 20 0 1 0 337468259 139821056 6388 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6388 1180 1 0 5193 0
[pid=15839] ppid=15551 vsize=3048 CPUtime=23.01 cores=0,2,4,6
/proc/15839/stat : 15839 (clasp-1.3.3-x86) R 15551 15839 15839 0 -1 4202496 835 0 0 0 2301 0 0 0 20 0 1 0 337602187 3121152 517 33554432000 134512640 136080129 4294634016 4294633144 134803069 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15839/statm: 762 517 176 383 0 377 0
Current children cumulated CPU time (s) 1429.69
Current children cumulated vsize (KiB) 139592

[startup+1422.31 s]
/proc/loadavg: 2.07 2.05 1.96 3/179 15854
/proc/meminfo: memFree=27063584/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=1470.04 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 50642 282463 0 2 6106 925 139694 279 20 0 1 0 337468259 139821056 6389 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6389 1180 1 0 5193 0
[pid=15854] ppid=15551 vsize=3068 CPUtime=22.52 cores=0,2,4,6
/proc/15854/stat : 15854 (clasp-1.3.3-x86) R 15551 15854 15854 0 -1 4202496 838 0 0 0 2252 0 0 0 20 0 1 0 337608237 3141632 518 33554432000 134512640 136080129 4290278048 4290276992 134579936 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15854/statm: 767 518 176 383 0 382 0
Current children cumulated CPU time (s) 1492.56
Current children cumulated vsize (KiB) 139612

[startup+1482.3 s]
/proc/loadavg: 2.15 2.07 1.97 3/179 15902
/proc/meminfo: memFree=27057728/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=1472.85 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 50669 282463 0 2 6350 962 139694 279 20 0 1 0 337468259 139821056 6389 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6389 1180 1 0 5193 0
[pid=15854] ppid=15551 vsize=3516 CPUtime=82.51 cores=0,2,4,6
/proc/15854/stat : 15854 (clasp-1.3.3-x86) R 15551 15854 15854 0 -1 4202496 963 0 0 0 8251 0 0 0 20 0 1 0 337608237 3600384 643 33554432000 134512640 136080129 4290278048 4290277104 134844950 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15854/statm: 879 643 176 383 0 494 0
Current children cumulated CPU time (s) 1555.36
Current children cumulated vsize (KiB) 140060

[startup+1542.3 s]
/proc/loadavg: 2.09 2.07 1.98 4/179 15914
/proc/meminfo: memFree=26970932/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=1596.18 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 54374 287793 0 2 6608 1000 151729 281 20 0 1 0 337468259 139821056 6392 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6392 1180 1 0 5193 0
[pid=15914] ppid=15551 vsize=3056 CPUtime=22.09 cores=0,2,4,6
/proc/15914/stat : 15914 (clasp-1.3.3-x86) R 15551 15914 15914 0 -1 4202496 829 0 0 0 2209 0 0 0 20 0 1 0 337620279 3129344 512 33554432000 134512640 136080129 4288856336 4288855408 134849144 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15914/statm: 764 512 176 383 0 379 0
Current children cumulated CPU time (s) 1618.27
Current children cumulated vsize (KiB) 139600

[startup+1602.3 s]
/proc/loadavg: 2.07 2.07 1.98 3/179 15917
/proc/meminfo: memFree=27056716/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=1598.97 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 54400 287793 0 2 6853 1034 151729 281 20 0 1 0 337468259 139821056 6392 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6392 1180 1 0 5193 0
[pid=15914] ppid=15551 vsize=3556 CPUtime=82.08 cores=0,2,4,6
/proc/15914/stat : 15914 (clasp-1.3.3-x86) R 15551 15914 15914 0 -1 4202496 958 0 0 0 8208 0 0 0 20 0 1 0 337620279 3641344 641 33554432000 134512640 136080129 4288856336 4288855296 134807966 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15914/statm: 889 641 176 383 0 504 0
Current children cumulated CPU time (s) 1681.05
Current children cumulated vsize (KiB) 140100

[startup+1662.3 s]
/proc/loadavg: 2.06 2.07 1.99 3/179 15930
/proc/meminfo: memFree=27042100/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=1722.3 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 58071 293112 0 2 7109 1074 163763 284 20 0 1 0 337468259 139821056 6393 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6393 1180 1 0 5193 0
[pid=15927] ppid=15551 vsize=3076 CPUtime=21.67 cores=0,2,4,6
/proc/15927/stat : 15927 (clasp-1.3.3-x86) R 15551 15927 15927 0 -1 4202496 828 0 0 0 2167 0 0 0 20 0 1 0 337632321 3149824 514 33554432000 134512640 136080129 4292394032 4292392992 134808341 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15927/statm: 769 514 176 383 0 384 0
Current children cumulated CPU time (s) 1743.97
Current children cumulated vsize (KiB) 139620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1715.9 s]
/proc/loadavg: 2.02 2.06 1.99 3/179 15930
/proc/meminfo: memFree=26930332/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=1724.8 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 58094 293112 0 2 7333 1100 163763 284 20 0 1 0 337468259 139821056 6393 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6393 1180 1 0 5193 0
[pid=15927] ppid=15551 vsize=3512 CPUtime=75.27 cores=0,2,4,6
/proc/15927/stat : 15927 (clasp-1.3.3-x86) R 15551 15927 15927 0 -1 4202496 954 0 0 0 7527 0 0 0 20 0 1 0 337632321 3596288 640 33554432000 134512640 136080129 4292394032 4292393108 134850034 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15927/statm: 878 640 176 383 0 493 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 140056

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

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

[startup+1715.9 s]
/proc/loadavg: 2.02 2.06 1.99 3/179 15930
/proc/meminfo: memFree=26930332/32873648 swapFree=7368/7368
[pid=15551] ppid=15549 vsize=136544 CPUtime=1724.8 cores=0,2,4,6
/proc/15551/stat : 15551 (python) S 15549 15551 15301 0 -1 4202496 58094 293112 0 2 7333 1100 163763 284 20 0 1 0 337468259 139821056 6393 33554432000 4194304 4196484 140734066977264 140734066969024 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 34136 6393 1180 1 0 5193 0
[pid=15927] ppid=15551 vsize=3512 CPUtime=75.27 cores=0,2,4,6
/proc/15927/stat : 15927 (clasp-1.3.3-x86) R 15551 15927 15927 0 -1 4202496 954 0 0 0 7527 0 0 0 20 0 1 0 337632321 3596288 640 33554432000 134512640 136080129 4292394032 4292393108 134850034 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15927/statm: 878 640 176 383 0 493 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 140056

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1715.92
CPU time (s): 1800.07
CPU user time (s): 1786.23
CPU system time (s): 13.84
CPU usage (%): 104.904
Max. virtual memory (cumulated for all children) (KiB): 2851684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.98
system time used= 13.8519
maximum resident set size= 541812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351206
page faults= 2
swaps= 0
block input operations= 0
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11487
involuntary context switches= 5350

runsolver used 3.3125 second user time and 8.50271 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 10:50:41
IDJOB=3729021
IDBENCH=1161
IDSOLVER=2323
FILE ID=node149/3729021-1338713441
RUNJOBID= node149-1338713283-15317
PBS_JOBID= 14636730
Free space on /tmp= 71036 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3729021-1338713441/watcher-3729021-1338713441 -o /tmp/evaluation-result-3729021-1338713441/solver-3729021-1338713441 -C 1800 -W 1900 -M 15500  solver HOME/instance-3729021-1338713441.opb 502518706 

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

MD5SUM BENCH= cc11de80c07cf0d445d50327479f6689
RANDOM SEED=502518706

node149.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.145
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	: 5332.29
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.145
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.145
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	: 5438.55
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.145
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.91
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.145
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.91
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.145
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	: 5438.55
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.145
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.145
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:       32873648 kB
MemFree:        27086724 kB
Buffers:          726828 kB
Cached:          4118636 kB
SwapCached:         2468 kB
Active:          2011236 kB
Inactive:        2877644 kB
Active(anon):      26656 kB
Inactive(anon):     9368 kB
Active(file):    1984580 kB
Inactive(file):  2868276 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             20536 kB
Writeback:            16 kB
AnonPages:         53408 kB
Mapped:            18256 kB
Shmem:                96 kB
Slab:             759800 kB
SReclaimable:     202968 kB
SUnreclaim:       556832 kB
KernelStack:        1480 kB
PageTables:         4120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     149364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71012 MiB
End job on node149 at 2012-06-03 11:19:20