Trace number 3741081

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-129.opb
MD5SUM67d021e5b92124566c71fb431934058c
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48368
Total number of constraints1121286
Number of constraints which are clauses1007481
Number of constraints which are cardinality constraints (but not clauses)3534
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint1
Maximum length of a constraint690
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

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.03 2.08 2.06 3/195 19293
/proc/meminfo: memFree=26305940/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/19293/stat : 19293 (python) D 19291 19293 15301 0 -1 4202496 759 0 0 0 0 0 0 0 20 0 1 0 338453009 15642624 527 33554432000 4194304 5683644 140733552584928 140733552570840 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 3819 527 312 364 0 261 0

[startup+0.0929191 s]
/proc/loadavg: 2.03 2.08 2.06 3/195 19293
/proc/meminfo: memFree=26305940/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=17420 CPUtime=0.01 cores=0,2,4,6
/proc/19293/stat : 19293 (python) R 19291 19293 15301 0 -1 4202496 2145 0 0 0 1 0 0 0 20 0 1 0 338453009 17838080 657 33554432000 4194304 4196484 140734541972624 140734541916728 251053032336 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/19293/statm: 4364 661 354 1 0 299 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17420

[startup+0.100197 s]
/proc/loadavg: 2.03 2.08 2.06 3/195 19293
/proc/meminfo: memFree=26305940/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=17632 CPUtime=0.02 cores=0,2,4,6
/proc/19293/stat : 19293 (python) D 19291 19293 15301 0 -1 4202496 2218 0 0 0 1 1 0 0 20 0 1 0 338453009 18055168 723 33554432000 4194304 4196484 140734541972624 140734541898568 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/19293/statm: 4408 723 354 1 0 343 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17632

[startup+0.300138 s]
/proc/loadavg: 2.03 2.08 2.06 3/195 19293
/proc/meminfo: memFree=26305940/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=54516 CPUtime=0.07 cores=0,2,4,6
/proc/19293/stat : 19293 (python) D 19291 19293 15301 0 -1 4202496 3958 0 0 0 5 2 0 0 20 0 1 0 338453009 55824384 2143 33554432000 4194304 4196484 140734541972624 140734541818440 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/19293/statm: 13629 2143 600 1 0 1484 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 54516

[startup+0.700146 s]
/proc/loadavg: 2.03 2.08 2.06 3/195 19293
/proc/meminfo: memFree=26305940/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=99048 CPUtime=0.2 cores=0,2,4,6
/proc/19293/stat : 19293 (python) R 19291 19293 15301 0 -1 4202496 5775 0 0 0 12 8 0 0 20 0 1 0 338453009 101425152 3609 33554432000 4194304 4196484 140734541972624 140734541915896 251053032736 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/19293/statm: 24762 3609 1047 1 0 2564 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 99048

[startup+1.50017 s]
/proc/loadavg: 2.03 2.08 2.06 3/196 19298
/proc/meminfo: memFree=26288560/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=118124 CPUtime=0.4 cores=0,2,4,6
/proc/19293/stat : 19293 (python) D 19291 19293 15301 0 -1 4202496 9595 1012 0 0 27 13 0 0 20 0 1 0 338453009 120958976 5830 33554432000 4194304 4196484 140734541972624 140734541906232 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/19293/statm: 29531 5830 1083 1 0 4730 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 118124

[startup+3.10028 s]
/proc/loadavg: 2.03 2.08 2.05 3/197 19299
/proc/meminfo: memFree=26266976/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=134488 CPUtime=0.57 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 11215 1012 0 0 40 17 0 0 20 0 1 0 338453009 137715712 6347 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/19293/statm: 33622 6347 1170 1 0 5194 0
[pid=19299] ppid=19293 vsize=70996 CPUtime=1.21 cores=0,2,4,6
/proc/19299/stat : 19299 (clasp-1.3.3-x86) R 19293 19299 19299 0 -1 4202496 18553 0 0 0 118 3 0 0 20 0 1 0 338453197 72699904 17297 33554432000 134512640 136080129 4292292096 4292291392 134836709 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/19299/statm: 17749 17297 171 383 0 17364 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 205484
heavy processes:

[startup+6.30027 s]
/proc/loadavg: 2.03 2.08 2.05 3/197 19299
/proc/meminfo: memFree=26208768/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=134488 CPUtime=0.71 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 11226 1012 0 0 52 19 0 0 20 0 1 0 338453009 137715712 6347 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/19293/statm: 33622 6347 1170 1 0 5194 0
[pid=19299] ppid=19293 vsize=81200 CPUtime=4.41 cores=0,2,4,6
/proc/19299/stat : 19299 (clasp-1.3.3-x86) R 19293 19299 19299 0 -1 4202496 21024 0 0 0 438 3 0 0 20 0 1 0 338453197 83148800 19768 33554432000 134512640 136080129 4292292096 4292290992 134617162 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/19299/statm: 20300 19768 176 383 0 19915 0
Current children cumulated CPU time (s) 5.12
Current children cumulated vsize (KiB) 215688

[startup+12.7003 s]
/proc/loadavg: 2.02 2.07 2.05 3/196 19299
/proc/meminfo: memFree=26206088/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=11.23 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 12483 23580 0 0 81 22 1015 5 20 0 1 0 338453009 139825152 6369 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6369 1180 1 0 5194 0
Current children cumulated CPU time (s) 11.23
Current children cumulated vsize (KiB) 136548

[startup+25.5003 s]
/proc/loadavg: 2.02 2.07 2.05 3/197 19303
/proc/meminfo: memFree=26195628/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=11.84 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 12514 23580 0 0 133 31 1015 5 20 0 1 0 338453009 139825152 6369 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6369 1180 1 0 5194 0
[pid=19302] ppid=19293 vsize=95712 CPUtime=13.39 cores=0,2,4,6
/proc/19302/stat : 19302 (clasp-1.3.3-x86) R 19293 19302 19302 0 -1 4202496 24715 0 0 0 1333 6 0 0 20 0 1 0 338454220 98009088 23462 33554432000 134512640 136080129 4294404080 4294403072 134588755 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19302/statm: 23928 23462 176 383 0 23543 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 232260

[startup+51.1003 s]
/proc/loadavg: 2.15 2.10 2.06 3/179 19306
/proc/meminfo: memFree=26679108/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=13.03 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 12546 23580 0 0 234 49 1015 5 20 0 1 0 338453009 139825152 6369 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6369 1180 1 0 5194 0
[pid=19302] ppid=19293 vsize=128468 CPUtime=38.97 cores=0,2,4,6
/proc/19302/stat : 19302 (clasp-1.3.3-x86) R 19293 19302 19302 0 -1 4202496 32664 0 0 0 3889 8 0 0 20 0 1 0 338454220 131551232 31404 33554432000 134512640 136080129 4294404080 4294403152 134849428 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19302/statm: 32117 31404 176 383 0 31732 0
Current children cumulated CPU time (s) 52
Current children cumulated vsize (KiB) 265016

[startup+102.307 s]
/proc/loadavg: 2.15 2.11 2.07 3/179 19309
/proc/meminfo: memFree=26668456/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=66.25 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 13731 59572 0 0 459 87 6064 15 20 0 1 0 338453009 139825152 6372 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6372 1180 1 0 5194 0
[pid=19309] ppid=19293 vsize=115760 CPUtime=39.56 cores=0,2,4,6
/proc/19309/stat : 19309 (wbo1.4a) R 19293 19309 19309 0 -1 4202496 40378 0 0 0 3869 87 0 0 20 0 1 0 338459283 118538240 27097 33554432000 134512640 135751879 4290899376 4290897628 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/19309/statm: 28940 27097 139 303 0 28635 0
Current children cumulated CPU time (s) 105.81
Current children cumulated vsize (KiB) 252308

[startup+162.3 s]
/proc/loadavg: 2.06 2.09 2.06 3/179 19315
/proc/meminfo: memFree=26558272/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=120.15 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 14985 102435 0 0 701 131 11065 118 20 0 1 0 338453009 139825152 6373 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6373 1180 1 0 5194 0
[pid=19312] ppid=19293 vsize=96748 CPUtime=48.46 cores=0,2,4,6
/proc/19312/stat : 19312 (clasp-1.3.3-x86) R 19293 19312 19312 0 -1 4202496 24817 0 0 0 4842 4 0 0 20 0 1 0 338464389 99069952 23543 33554432000 134512640 136080129 4292833072 4292832032 134807795 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19312/statm: 24187 23543 176 383 0 23802 0
Current children cumulated CPU time (s) 168.61
Current children cumulated vsize (KiB) 233296

[startup+222.3 s]
/proc/loadavg: 2.15 2.11 2.07 3/179 19330
/proc/meminfo: memFree=26734384/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=223.54 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 16242 131522 0 0 956 173 21100 125 20 0 1 0 338453009 139825152 6375 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6375 1180 1 0 5194 0
[pid=19330] ppid=19293 vsize=104376 CPUtime=8.02 cores=0,2,4,6
/proc/19330/stat : 19330 (wbo1.4a) R 19293 19330 19330 0 -1 4202496 36022 0 0 0 788 14 0 0 20 0 1 0 338474437 106881024 24275 33554432000 134512640 135751879 4293147200 4293145452 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/19330/statm: 26094 24275 139 303 0 25789 0
Current children cumulated CPU time (s) 231.56
Current children cumulated vsize (KiB) 240924

[startup+282.3 s]
/proc/loadavg: 2.15 2.12 2.08 3/196 19365
/proc/meminfo: memFree=26192376/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=226.41 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 16281 131522 0 0 1205 211 21100 125 20 0 1 0 338453009 139825152 6375 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6375 1180 1 0 5194 0
[pid=19330] ppid=19293 vsize=133768 CPUtime=67.97 cores=0,2,4,6
/proc/19330/stat : 19330 (wbo1.4a) R 19293 19330 19330 0 -1 4202496 43388 0 0 0 6677 120 0 0 20 0 1 0 338474437 136978432 31618 33554432000 134512640 135751879 4293147200 4293145452 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/19330/statm: 33442 31618 139 303 0 33137 0
Current children cumulated CPU time (s) 294.38
Current children cumulated vsize (KiB) 270316

[startup+342.3 s]
/proc/loadavg: 2.05 2.09 2.07 3/180 19379
/proc/meminfo: memFree=26682732/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=331.32 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 17523 179209 0 0 1469 254 31124 285 20 0 1 0 338453009 139825152 6377 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6377 1180 1 0 5194 0
[pid=19372] ppid=19293 vsize=128056 CPUtime=26.09 cores=0,2,4,6
/proc/19372/stat : 19372 (wbo1.4b) R 19293 19372 19372 0 -1 4202496 44037 0 0 0 2565 44 0 0 20 0 1 0 338484628 131129344 29849 33554432000 134512640 135751879 4293881504 4293879596 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/19372/statm: 32014 29849 143 303 0 31709 0
Current children cumulated CPU time (s) 357.41
Current children cumulated vsize (KiB) 264604

[startup+402.301 s]
/proc/loadavg: 2.02 2.08 2.06 3/197 19412
/proc/meminfo: memFree=26183284/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=385.36 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 18760 224189 0 0 1708 293 36152 383 20 0 1 0 338453009 139825152 6379 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/19293/statm: 34137 6379 1180 1 0 5194 0
[pid=19391] ppid=19293 vsize=2715136 CPUtime=37.87 cores=0,2,4,6
/proc/19391/stat : 19391 (java) S 19293 19391 19391 0 -1 4202496 13459 0 1 0 3751 36 0 0 20 0 19 0 338489758 2780299264 158220 33554432000 1073741824 1073778376 140735844018384 140735844009520 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19391/statm: 678784 158220 2270 9 0 669477 0

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

/proc/19494/statm: 63782 63038 176 383 0 63397 0
Current children cumulated CPU time (s) 1117.81
Current children cumulated vsize (KiB) 391676

[startup+1122.3 s]
/proc/loadavg: 2.09 2.10 2.08 3/179 19525
/proc/meminfo: memFree=26531004/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=1167.6 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 42257 868303 0 2 4678 785 110493 804 20 0 1 0 338453009 139825152 6385 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6385 1180 1 0 5194 0
[pid=19525] ppid=19293 vsize=280116 CPUtime=13.01 cores=0,2,4,6
/proc/19525/stat : 19525 (bsolo_pb10) R 19293 19525 19525 0 -1 4202496 80295 0 0 0 1283 18 0 0 20 0 1 0 338563937 286838784 67360 33554432000 134512640 137138936 4290561872 4289979964 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/19525/statm: 70029 67360 185 642 0 69385 0
Current children cumulated CPU time (s) 1180.61
Current children cumulated vsize (KiB) 416664

[startup+1182.3 s]
/proc/loadavg: 2.06 2.09 2.08 3/179 19525
/proc/meminfo: memFree=26484440/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=1170.38 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 42282 868303 0 2 4917 824 110493 804 20 0 1 0 338453009 139825152 6385 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6385 1180 1 0 5194 0
[pid=19525] ppid=19293 vsize=280248 CPUtime=73 cores=0,2,4,6
/proc/19525/stat : 19525 (bsolo_pb10) R 19293 19525 19525 0 -1 4202496 80319 0 0 0 7259 41 0 0 20 0 1 0 338563937 286973952 67384 33554432000 134512640 137138936 4290561872 4289979964 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/19525/statm: 70062 67384 185 642 0 69418 0
Current children cumulated CPU time (s) 1243.38
Current children cumulated vsize (KiB) 416796

[startup+1242.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/179 19541
/proc/meminfo: memFree=26702680/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=1284.08 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 44777 971842 0 2 5157 863 121528 860 20 0 1 0 338453009 139825152 6387 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/19293/statm: 34137 6387 1180 1 0 5194 0
[pid=19540] ppid=19293 vsize=106324 CPUtime=22.05 cores=0,2,4,6
/proc/19540/stat : 19540 (clasp-1.3.3-x86) R 19293 19540 19540 0 -1 4202496 27303 0 0 0 2199 6 0 0 20 0 1 0 338575032 108875776 26039 33554432000 134512640 136080129 4294429504 4294428496 134588592 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/19540/statm: 26581 26039 176 383 0 26196 0
Current children cumulated CPU time (s) 1306.13
Current children cumulated vsize (KiB) 242872

[startup+1302.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/179 19588
/proc/meminfo: memFree=26816524/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=1286.73 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 44803 971842 0 2 5385 900 121528 860 20 0 1 0 338453009 139825152 6387 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/19293/statm: 34137 6387 1180 1 0 5194 0
[pid=19540] ppid=19293 vsize=156616 CPUtime=82.04 cores=0,2,4,6
/proc/19540/stat : 19540 (clasp-1.3.3-x86) R 19293 19540 19540 0 -1 4202496 39703 0 0 0 8195 9 0 0 20 0 1 0 338575032 160374784 38294 33554432000 134512640 136080129 4294429504 4294428576 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/19540/statm: 39154 38294 176 383 0 38769 0
Current children cumulated CPU time (s) 1368.77
Current children cumulated vsize (KiB) 293164

[startup+1362.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/179 19600
/proc/meminfo: memFree=26862060/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=1410.22 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 48537 1059489 0 2 5632 942 133565 883 20 0 1 0 338453009 139825152 6388 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6388 1180 1 0 5194 0
[pid=19597] ppid=19293 vsize=88872 CPUtime=21.36 cores=0,2,4,6
/proc/19597/stat : 19597 (clasp-1.3.3-x86) R 19293 19597 19597 0 -1 4202496 22860 0 0 0 2133 3 0 0 20 0 1 0 338587100 91004928 21584 33554432000 134512640 136080129 4286787376 4286786336 134807882 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19597/statm: 22218 21584 176 383 0 21833 0
Current children cumulated CPU time (s) 1431.58
Current children cumulated vsize (KiB) 225420

[startup+1422.31 s]
/proc/loadavg: 2.09 2.09 2.09 3/179 19609
/proc/meminfo: memFree=26884760/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=1473.84 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 51035 1107974 0 2 5882 980 139629 893 20 0 1 0 338453009 139825152 6389 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6389 1180 1 0 5194 0
[pid=19609] ppid=19293 vsize=87804 CPUtime=20.56 cores=0,2,4,6
/proc/19609/stat : 19609 (clasp-1.3.3-x86) R 19293 19609 19609 0 -1 4202496 22613 0 0 0 2051 5 0 0 20 0 1 0 338593181 89911296 21332 33554432000 134512640 136080129 4290704400 4290703528 134803069 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19609/statm: 21951 21332 176 383 0 21566 0
Current children cumulated CPU time (s) 1494.4
Current children cumulated vsize (KiB) 224352

[startup+1482.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/179 19609
/proc/meminfo: memFree=26863376/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=1476.65 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 51062 1107974 0 2 6123 1020 139629 893 20 0 1 0 338453009 139825152 6389 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6389 1180 1 0 5194 0
[pid=19609] ppid=19293 vsize=107044 CPUtime=80.52 cores=0,2,4,6
/proc/19609/stat : 19609 (clasp-1.3.3-x86) R 19293 19609 19609 0 -1 4202496 27375 0 0 0 8045 7 0 0 20 0 1 0 338593181 109613056 26318 33554432000 134512640 136080129 4290704400 4290703424 134842066 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/19609/statm: 26761 26318 176 383 0 26376 0
Current children cumulated CPU time (s) 1557.17
Current children cumulated vsize (KiB) 243592

[startup+1542.3 s]
/proc/loadavg: 2.04 2.07 2.08 3/180 19625
/proc/meminfo: memFree=26827212/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=1600.36 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 54815 1184295 0 2 6374 1061 151687 914 20 0 1 0 338453009 139825152 6390 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6390 1180 1 0 5194 0
[pid=19624] ppid=19293 vsize=86368 CPUtime=19.7 cores=0,2,4,6
/proc/19624/stat : 19624 (clasp-1.3.3-x86) R 19293 19624 19624 0 -1 4202496 22287 0 0 0 1966 4 0 0 20 0 1 0 338605268 88440832 21013 33554432000 134512640 136080129 4294653872 4294652832 134807817 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19624/statm: 21592 21013 176 383 0 21207 0
Current children cumulated CPU time (s) 1620.06
Current children cumulated vsize (KiB) 222916

[startup+1602.3 s]
/proc/loadavg: 2.09 2.07 2.08 4/180 19651
/proc/meminfo: memFree=26862600/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=1603.14 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 54841 1184295 0 2 6611 1102 151687 914 20 0 1 0 338453009 139825152 6390 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6390 1180 1 0 5194 0
[pid=19624] ppid=19293 vsize=105504 CPUtime=79.67 cores=0,2,4,6
/proc/19624/stat : 19624 (clasp-1.3.3-x86) R 19293 19624 19624 0 -1 4202496 26872 0 0 0 7962 5 0 0 20 0 1 0 338605268 108036096 25758 33554432000 134512640 136080129 4294653872 4294652944 134849678 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19624/statm: 26376 25758 176 383 0 25991 0
Current children cumulated CPU time (s) 1682.81
Current children cumulated vsize (KiB) 242052

[startup+1662.3 s]
/proc/loadavg: 2.10 2.08 2.09 4/197 19681
/proc/meminfo: memFree=26817436/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=1726.85 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 58600 1259576 0 2 6864 1143 163746 932 20 0 1 0 338453009 139825152 6391 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6391 1180 1 0 5194 0
[pid=19660] ppid=19293 vsize=103352 CPUtime=18.84 cores=0,2,4,6
/proc/19660/stat : 19660 (clasp-1.3.3-x86) R 19293 19660 19660 0 -1 4202496 26638 0 0 0 1879 5 0 0 20 0 1 0 338617354 105832448 25366 33554432000 134512640 136080129 4293519392 4293518468 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19660/statm: 25838 25366 176 383 0 25453 0
Current children cumulated CPU time (s) 1745.69
Current children cumulated vsize (KiB) 239900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1714.3 s]
/proc/loadavg: 2.07 2.08 2.09 3/197 19681
/proc/meminfo: memFree=26725124/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=1729.27 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 58624 1259576 0 2 7071 1178 163746 932 20 0 1 0 338453009 139825152 6391 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6391 1180 1 0 5194 0
[pid=19660] ppid=19293 vsize=151568 CPUtime=70.81 cores=0,2,4,6
/proc/19660/stat : 19660 (clasp-1.3.3-x86) R 19293 19660 19660 0 -1 4202496 38492 0 0 0 7072 9 0 0 20 0 1 0 338617354 155205632 37211 33554432000 134512640 136080129 4293519392 4293518468 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19660/statm: 37892 37211 176 383 0 37507 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 288116

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

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

[startup+1714.3 s]
/proc/loadavg: 2.07 2.08 2.09 3/197 19681
/proc/meminfo: memFree=26725124/32873648 swapFree=7368/7368
[pid=19293] ppid=19291 vsize=136548 CPUtime=1729.27 cores=0,2,4,6
/proc/19293/stat : 19293 (python) S 19291 19293 15301 0 -1 4202496 58624 1259576 0 2 7071 1178 163746 932 20 0 1 0 338453009 139825152 6391 33554432000 4194304 4196484 140734541972624 140734541964384 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19293/statm: 34137 6391 1180 1 0 5194 0
[pid=19660] ppid=19293 vsize=151568 CPUtime=70.81 cores=0,2,4,6
/proc/19660/stat : 19660 (clasp-1.3.3-x86) R 19293 19660 19660 0 -1 4202496 38492 0 0 0 7072 9 0 0 20 0 1 0 338617354 155205632 37211 33554432000 134512640 136080129 4293519392 4293518468 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19660/statm: 37892 37211 176 383 0 37507 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 288116

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19293 and gives
#  childrusage.ru_utime.tv_sec=1708
#  childrusage.ru_utime.tv_usec=182316
#  childrusage.ru_stime.tv_sec=21
#  childrusage.ru_stime.tv_usec=112790
# CPU time returned by wait4() is 1729.3
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1714.31
CPU time (s): 1800.08
CPU user time (s): 1778.89
CPU system time (s): 21.19
CPU usage (%): 105.003
Max. virtual memory (cumulated for all children) (KiB): 2851688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1708.18
system time used= 21.1128
maximum resident set size= 632912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1318200
page faults= 2
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12342
involuntary context switches= 7415

runsolver used 3.76143 second user time and 9.33358 second system time

The end

Launcher Data

Begin job on node149 at 2012-06-03 13:34:48
IDJOB=3741081
IDBENCH=89756
IDSOLVER=2323
FILE ID=node149/3741081-1338723286
RUNJOBID= node149-1338713283-15317
PBS_JOBID= 14636730
Free space on /tmp= 70936 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-129.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741081-1338723286/watcher-3741081-1338723286 -o /tmp/evaluation-result-3741081-1338723286/solver-3741081-1338723286 -C 1800 -W 1900 -M 15500  solver HOME/instance-3741081-1338723286.opb 790774464 

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

MD5SUM BENCH= 67d021e5b92124566c71fb431934058c
RANDOM SEED=790774464

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:        26305716 kB
Buffers:          760980 kB
Cached:          4228828 kB
SwapCached:         2468 kB
Active:          2781368 kB
Inactive:        2883072 kB
Active(anon):     657632 kB
Inactive(anon):     9368 kB
Active(file):    2123736 kB
Inactive(file):  2873704 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             70184 kB
Writeback:             0 kB
AnonPages:        669984 kB
Mapped:            25736 kB
Shmem:                96 kB
Slab:             763896 kB
SReclaimable:     205116 kB
SUnreclaim:       558780 kB
KernelStack:        1592 kB
PageTables:         5676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1538136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    610304 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= 70964 MiB
End job on node149 at 2012-06-03 14:03:25