Trace number 3741211

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.13 1721.71

General information on the benchmark

Name/DEC-SMALLINT-LIN/heinz/
normalized-neos-820157.opb
MD5SUMda32b1e615c8e1bae2ecd5f742c16c96
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 variables1200
Total number of constraints1015
Number of constraints which are clauses835
Number of constraints which are cardinality constraints (but not clauses)180
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint20
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 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.09 2.08 3/177 19579
/proc/meminfo: memFree=26850436/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=15016 CPUtime=0 cores=1,3,5,7
/proc/19579/stat : 19579 (python) D 19577 19579 15301 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 338581529 15376384 430 33554432000 4194304 5683644 140735620599040 140735620585592 251053031093 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/19579/statm: 3754 430 267 364 0 196 0

[startup+0.0899871 s]
/proc/loadavg: 2.09 2.09 2.08 3/177 19579
/proc/meminfo: memFree=26850436/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=17420 CPUtime=0.01 cores=1,3,5,7
/proc/19579/stat : 19579 (python) R 19577 19579 15301 0 -1 4202496 2118 0 0 0 1 0 0 0 20 0 1 0 338581529 17838080 635 33554432000 4194304 4196484 140735819587552 140735819559528 140679166695360 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/19579/statm: 4355 641 351 1 0 290 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17420

[startup+0.100231 s]
/proc/loadavg: 2.09 2.09 2.08 3/177 19579
/proc/meminfo: memFree=26850436/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=17616 CPUtime=0.01 cores=1,3,5,7
/proc/19579/stat : 19579 (python) D 19577 19579 15301 0 -1 4202496 2213 0 0 0 1 0 0 0 20 0 1 0 338581529 18038784 720 33554432000 4194304 4196484 140735819587552 140735819517720 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/19579/statm: 4404 720 354 1 0 339 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17616

[startup+0.300181 s]
/proc/loadavg: 2.09 2.09 2.08 3/177 19579
/proc/meminfo: memFree=26850436/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=54716 CPUtime=0.05 cores=1,3,5,7
/proc/19579/stat : 19579 (python) R 19577 19579 15301 0 -1 4202496 4013 0 0 0 4 1 0 0 20 0 1 0 338581529 56029184 2191 33554432000 4194304 4196484 140735819587552 140735819433368 251053032336 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/19579/statm: 13679 2191 600 1 0 1534 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54716

[startup+0.700122 s]
/proc/loadavg: 2.09 2.09 2.08 3/177 19579
/proc/meminfo: memFree=26850436/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=101568 CPUtime=0.19 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 6449 0 0 0 14 5 0 0 20 0 1 0 338581529 104005632 4237 33554432000 4194304 4196484 140735819587552 140735819553512 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19579/statm: 25392 4237 1049 1 0 3194 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 101568

[startup+1.50019 s]
/proc/loadavg: 2.09 2.09 2.08 2/178 19584
/proc/meminfo: memFree=26831348/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=118120 CPUtime=0.39 cores=1,3,5,7
/proc/19579/stat : 19579 (python) D 19577 19579 15301 0 -1 4202496 9595 1011 0 0 28 11 0 0 20 0 1 0 338581529 120954880 5832 33554432000 4194304 4196484 140735819587552 140735819521160 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 29530 5832 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 118120

[startup+3.10022 s]
/proc/loadavg: 2.08 2.08 2.08 3/179 19585
/proc/meminfo: memFree=26827620/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=134456 CPUtime=0.56 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 11233 1011 0 0 42 14 0 0 20 0 1 0 338581529 137682944 6349 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 33614 6349 1170 1 0 5186 0
[pid=19585] ppid=19579 vsize=2500 CPUtime=1.32 cores=1,3,5,7
/proc/19585/stat : 19585 (clasp-1.3.3-x86) R 19579 19585 19585 0 -1 4202496 706 0 0 0 132 0 0 0 20 0 1 0 338581707 2560000 390 33554432000 134512640 136080129 4290701776 4290700720 134804904 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19585/statm: 625 390 175 383 0 240 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 136956
heavy processes:

[startup+6.30022 s]
/proc/loadavg: 2.08 2.08 2.08 3/179 19585
/proc/meminfo: memFree=26823808/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=134456 CPUtime=0.7 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 11245 1011 0 0 54 16 0 0 20 0 1 0 338581529 137682944 6349 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 33614 6349 1170 1 0 5186 0
[pid=19585] ppid=19579 vsize=2896 CPUtime=4.52 cores=1,3,5,7
/proc/19585/stat : 19585 (clasp-1.3.3-x86) R 19579 19585 19585 0 -1 4202496 787 0 0 0 452 0 0 0 20 0 1 0 338581707 2965504 471 33554432000 134512640 136080129 4290701776 4290700852 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19585/statm: 724 471 175 383 0 339 0
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (KiB) 137352

[startup+12.7002 s]
/proc/loadavg: 2.15 2.10 2.09 3/179 19585
/proc/meminfo: memFree=26817888/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=11.54 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 12512 2819 0 0 83 19 1051 1 20 0 1 0 338581529 139792384 6369 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6369 1180 1 0 5186 0
Current children cumulated CPU time (s) 11.54
Current children cumulated vsize (KiB) 136516

[startup+25.5002 s]
/proc/loadavg: 2.12 2.09 2.09 3/179 19588
/proc/meminfo: memFree=26811936/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=12.11 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 12540 2819 0 0 133 26 1051 1 20 0 1 0 338581529 139792384 6369 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6369 1180 1 0 5186 0
[pid=19588] ppid=19579 vsize=3284 CPUtime=13.19 cores=1,3,5,7
/proc/19588/stat : 19588 (clasp-1.3.3-x86) R 19579 19588 19588 0 -1 4202496 880 0 0 0 1319 0 0 0 20 0 1 0 338582760 3362816 570 33554432000 134512640 136080129 4287390512 4287389648 134845761 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19588/statm: 821 570 175 383 0 436 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 139800

[startup+51.1003 s]
/proc/loadavg: 2.16 2.10 2.09 3/179 19594
/proc/meminfo: memFree=26891156/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=13.24 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 12579 2819 0 0 230 42 1051 1 20 0 1 0 338581529 139792384 6369 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6369 1180 1 0 5186 0
[pid=19588] ppid=19579 vsize=3952 CPUtime=38.78 cores=1,3,5,7
/proc/19588/stat : 19588 (clasp-1.3.3-x86) R 19579 19588 19588 0 -1 4202496 1062 0 0 0 3878 0 0 0 20 0 1 0 338582760 4046848 752 33554432000 134512640 136080129 4287390512 4287389648 134845843 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19588/statm: 988 752 175 383 0 603 0
Current children cumulated CPU time (s) 52.02
Current children cumulated vsize (KiB) 140468

[startup+102.306 s]
/proc/loadavg: 2.06 2.08 2.08 3/179 19600
/proc/meminfo: memFree=26824332/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=66.03 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 13778 4862 0 0 449 73 6080 1 20 0 1 0 338581529 139792384 6374 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6374 1180 1 0 5186 0
[pid=19600] ppid=19579 vsize=56648 CPUtime=39.66 cores=1,3,5,7
/proc/19600/stat : 19600 (wbo1.4a) R 19579 19600 19600 0 -1 4202496 13999 0 0 0 3942 24 0 0 20 0 1 0 338587792 58007552 13677 33554432000 134512640 135751879 4293123040 4293121292 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/19600/statm: 14162 13677 139 303 0 13857 0
Current children cumulated CPU time (s) 105.69
Current children cumulated vsize (KiB) 193164

[startup+162.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/179 19609
/proc/meminfo: memFree=26875304/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=119.36 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 15057 22698 0 0 681 111 11111 33 20 0 1 0 338581529 139792384 6376 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6376 1180 1 0 5186 0
[pid=19606] ppid=19579 vsize=4216 CPUtime=49.02 cores=1,3,5,7
/proc/19606/stat : 19606 (clasp-1.3.3-x86) R 19579 19606 19606 0 -1 4202496 1109 0 0 0 4902 0 0 0 20 0 1 0 338592856 4317184 797 33554432000 134512640 136080129 4292147424 4292146496 134849620 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19606/statm: 1054 797 175 383 0 669 0
Current children cumulated CPU time (s) 168.38
Current children cumulated vsize (KiB) 140732

[startup+222.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/179 19615
/proc/meminfo: memFree=26873076/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=222.26 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 16348 24889 0 0 931 148 21114 33 20 0 1 0 338581529 139792384 6377 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6377 1180 1 0 5186 0
[pid=19612] ppid=19579 vsize=19520 CPUtime=8.96 cores=1,3,5,7
/proc/19612/stat : 19612 (wbo1.4a) R 19579 19612 19612 0 -1 4202496 4768 0 0 0 890 6 0 0 20 0 1 0 338602862 19988480 4443 33554432000 134512640 135751879 4288333904 4288332156 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/19612/statm: 4880 4443 139 303 0 4575 0
Current children cumulated CPU time (s) 231.22
Current children cumulated vsize (KiB) 156036

[startup+282.3 s]
/proc/loadavg: 2.03 2.06 2.08 3/180 19625
/proc/meminfo: memFree=26793524/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136520 CPUtime=224.97 cores=1,3,5,7
/proc/19579/stat : 19579 (python) R 19577 19579 15301 0 -1 4202496 16379 24889 0 0 1168 182 21114 33 20 0 1 0 338581529 139796480 6377 33554432000 4194304 4196484 140735819587552 140735819579312 251053032832 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6377 1180 1 0 5186 0
[pid=19612] ppid=19579 vsize=88180 CPUtime=68.93 cores=1,3,5,7
/proc/19612/stat : 19612 (wbo1.4a) R 19579 19612 19612 0 -1 4202496 21913 0 0 0 6856 37 0 0 20 0 1 0 338602862 90296320 21586 33554432000 134512640 135751879 4288333904 4288332156 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/19612/statm: 22045 21586 139 303 0 21740 0
Current children cumulated CPU time (s) 293.9
Current children cumulated vsize (KiB) 224700

[startup+342.3 s]
/proc/loadavg: 2.17 2.09 2.09 4/180 19654
/proc/meminfo: memFree=26851092/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=328.76 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 17652 55169 0 0 1418 221 31149 88 20 0 1 0 338581529 139792384 6379 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6379 1180 1 0 5186 0
[pid=19651] ppid=19579 vsize=46660 CPUtime=28 cores=1,3,5,7
/proc/19651/stat : 19651 (wbo1.4b) R 19579 19651 19651 0 -1 4202496 11549 0 0 0 2785 15 0 0 20 0 1 0 338612957 47779840 11223 33554432000 134512640 135751879 4288180704 4288178796 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/19651/statm: 11665 11223 144 303 0 11360 0
Current children cumulated CPU time (s) 356.76
Current children cumulated vsize (KiB) 183176

[startup+402.301 s]
/proc/loadavg: 2.12 2.09 2.09 3/197 19681
/proc/meminfo: memFree=26769516/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=382.23 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 18911 73891 0 0 1654 262 36193 114 20 0 1 0 338581529 139792384 6380 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6380 1180 1 0 5186 0
[pid=19663] ppid=19579 vsize=2715136 CPUtime=37.72 cores=1,3,5,7
/proc/19663/stat : 19663 (java) S 19579 19663 19663 0 -1 4202496 8961 0 1 0 3769 3 0 0 20 0 19 0 338618030 2780299264 21104 33554432000 1073741824 1073778376 140734510386000 140734510377136 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19663/statm: 678784 21104 2241 9 0 669477 0

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

/proc/19834/statm: 1494 1250 175 383 0 1109 0
Current children cumulated CPU time (s) 1111.14
Current children cumulated vsize (KiB) 142492

[startup+1122.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/179 19871
/proc/meminfo: memFree=26976408/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=1164.81 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 42854 187897 0 2 4584 713 110954 230 20 0 1 0 338581529 139792384 6388 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6388 1180 1 0 5186 0
[pid=19868] ppid=19579 vsize=47648 CPUtime=9.14 cores=1,3,5,7
/proc/19868/stat : 19868 (bsolo_pb10) R 19579 19868 19868 0 -1 4202496 9802 0 0 0 911 3 0 0 20 0 1 0 338692843 48791552 9479 33554432000 134512640 137138936 4289165904 4289165020 136570369 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/19868/statm: 11912 9479 192 642 0 11268 0
Current children cumulated CPU time (s) 1173.95
Current children cumulated vsize (KiB) 184164

[startup+1182.3 s]
/proc/loadavg: 2.01 2.06 2.08 3/197 19896
/proc/meminfo: memFree=26833052/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=1167.51 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 42898 187897 0 2 4817 750 110954 230 20 0 1 0 338581529 139792384 6388 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6388 1180 1 0 5186 0
[pid=19868] ppid=19579 vsize=73772 CPUtime=69.12 cores=1,3,5,7
/proc/19868/stat : 19868 (bsolo_pb10) R 19579 19868 19868 0 -1 4202496 16362 0 0 0 6904 8 0 0 20 0 1 0 338692843 75542528 16014 33554432000 134512640 137138936 4289165904 4289164832 134542480 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/19868/statm: 18443 16014 192 642 0 17799 0
Current children cumulated CPU time (s) 1236.63
Current children cumulated vsize (KiB) 210288

[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/179 19920
/proc/meminfo: memFree=27014296/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=1281.12 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 45437 208116 0 2 5054 786 122029 243 20 0 1 0 338581529 139792384 6389 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6389 1180 1 0 5186 0
[pid=19914] ppid=19579 vsize=3424 CPUtime=18.21 cores=1,3,5,7
/proc/19914/stat : 19914 (clasp-1.3.3-x86) R 19579 19914 19914 0 -1 4202496 931 0 0 0 1821 0 0 0 20 0 1 0 338703937 3506176 615 33554432000 134512640 136080129 4286694272 4286693264 134589270 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19914/statm: 856 615 175 383 0 471 0
Current children cumulated CPU time (s) 1299.33
Current children cumulated vsize (KiB) 139940

[startup+1302.3 s]
/proc/loadavg: 2.05 2.05 2.07 3/179 19920
/proc/meminfo: memFree=27000232/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=1283.75 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 45469 208116 0 2 5286 817 122029 243 20 0 1 0 338581529 139792384 6389 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6389 1180 1 0 5186 0
[pid=19914] ppid=19579 vsize=4620 CPUtime=78.2 cores=1,3,5,7
/proc/19914/stat : 19914 (clasp-1.3.3-x86) R 19579 19914 19914 0 -1 4202496 1224 0 0 0 7820 0 0 0 20 0 1 0 338703937 4730880 908 33554432000 134512640 136080129 4286694272 4286693348 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19914/statm: 1155 908 175 383 0 770 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 141136

[startup+1362.3 s]
/proc/loadavg: 2.13 2.07 2.07 3/179 19929
/proc/meminfo: memFree=26992544/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=1407.62 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 49251 213928 0 2 5529 853 134135 245 20 0 1 0 338581529 139792384 6391 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6391 1180 1 0 5186 0
[pid=19929] ppid=19579 vsize=3424 CPUtime=17.08 cores=1,3,5,7
/proc/19929/stat : 19929 (clasp-1.3.3-x86) R 19579 19929 19929 0 -1 4202496 912 0 0 0 1708 0 0 0 20 0 1 0 338716050 3506176 594 33554432000 134512640 136080129 4293303376 4293302368 134588742 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19929/statm: 856 594 175 383 0 471 0
Current children cumulated CPU time (s) 1424.7
Current children cumulated vsize (KiB) 139940

[startup+1422.31 s]
/proc/loadavg: 2.11 2.08 2.08 3/179 19935
/proc/meminfo: memFree=26992296/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=1471.17 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 51790 217791 0 2 5768 886 140216 247 20 0 1 0 338581529 139792384 6391 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6391 1180 1 0 5186 0
[pid=19935] ppid=19579 vsize=3292 CPUtime=16.22 cores=1,3,5,7
/proc/19935/stat : 19935 (clasp-1.3.3-x86) R 19579 19935 19935 0 -1 4202496 906 0 0 0 1622 0 0 0 20 0 1 0 338722137 3371008 591 33554432000 134512640 136080129 4293516272 4293515264 134588932 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19935/statm: 823 591 175 383 0 438 0
Current children cumulated CPU time (s) 1487.39
Current children cumulated vsize (KiB) 139808

[startup+1482.3 s]
/proc/loadavg: 2.04 2.06 2.07 3/180 19939
/proc/meminfo: memFree=26987684/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=1473.81 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 51823 217791 0 2 5995 923 140216 247 20 0 1 0 338581529 139792384 6391 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6391 1180 1 0 5186 0
[pid=19935] ppid=19579 vsize=4612 CPUtime=76.2 cores=1,3,5,7
/proc/19935/stat : 19935 (clasp-1.3.3-x86) R 19579 19935 19935 0 -1 4202496 1209 0 0 0 7620 0 0 0 20 0 1 0 338722137 4722688 894 33554432000 134512640 136080129 4293516272 4293515348 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19935/statm: 1153 894 175 383 0 768 0
Current children cumulated CPU time (s) 1550.01
Current children cumulated vsize (KiB) 141128

[startup+1542.3 s]
/proc/loadavg: 2.08 2.08 2.08 4/179 19951
/proc/meminfo: memFree=27013384/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=1597.71 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 55617 223612 0 2 6243 956 152323 249 20 0 1 0 338581529 139792384 6393 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6393 1180 1 0 5186 0
[pid=19948] ppid=19579 vsize=3288 CPUtime=15.06 cores=1,3,5,7
/proc/19948/stat : 19948 (clasp-1.3.3-x86) R 19579 19948 19948 0 -1 4202496 907 0 0 0 1506 0 0 0 20 0 1 0 338734252 3366912 587 33554432000 134512640 136080129 4294277712 4294276704 134588658 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19948/statm: 822 587 175 383 0 437 0
Current children cumulated CPU time (s) 1612.77
Current children cumulated vsize (KiB) 139804

[startup+1602.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/179 19951
/proc/meminfo: memFree=26883088/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136516 CPUtime=1600.35 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 55661 223612 0 2 6471 992 152323 249 20 0 1 0 338581529 139792384 6393 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34129 6393 1180 1 0 5186 0
[pid=19948] ppid=19579 vsize=4492 CPUtime=75.05 cores=1,3,5,7
/proc/19948/stat : 19948 (clasp-1.3.3-x86) R 19579 19948 19948 0 -1 4202496 1212 0 0 0 7505 0 0 0 20 0 1 0 338734252 4599808 892 33554432000 134512640 136080129 4294277712 4294276608 134842445 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19948/statm: 1123 892 175 383 0 738 0
Current children cumulated CPU time (s) 1675.4
Current children cumulated vsize (KiB) 141008

[startup+1662.3 s]
/proc/loadavg: 2.10 2.08 2.08 4/179 19966
/proc/meminfo: memFree=27011676/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136648 CPUtime=1724.21 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 59471 229459 0 2 6716 1024 164430 251 20 0 1 0 338581529 139927552 6395 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34162 6395 1180 1 0 5219 0
[pid=19963] ppid=19579 vsize=3292 CPUtime=13.92 cores=1,3,5,7
/proc/19963/stat : 19963 (clasp-1.3.3-x86) R 19579 19963 19963 0 -1 4202496 894 0 0 0 1392 0 0 0 20 0 1 0 338746366 3371008 576 33554432000 134512640 136080129 4291422624 4291421696 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19963/statm: 823 576 175 383 0 438 0
Current children cumulated CPU time (s) 1738.13
Current children cumulated vsize (KiB) 139940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1721.7 s]
/proc/loadavg: 2.04 2.06 2.07 3/179 19966
/proc/meminfo: memFree=26996992/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136648 CPUtime=1726.81 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 59507 229459 0 2 6941 1059 164430 251 20 0 1 0 338581529 139927552 6395 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34162 6395 1180 1 0 5219 0
[pid=19963] ppid=19579 vsize=4492 CPUtime=73.32 cores=1,3,5,7
/proc/19963/stat : 19963 (clasp-1.3.3-x86) R 19579 19963 19963 0 -1 4202496 1196 0 0 0 7332 0 0 0 20 0 1 0 338746366 4599808 878 33554432000 134512640 136080129 4291422624 4291421584 134808399 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19963/statm: 1123 878 175 383 0 738 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 141140

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

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

[startup+1721.7 s]
/proc/loadavg: 2.04 2.06 2.07 3/179 19966
/proc/meminfo: memFree=26996992/32873648 swapFree=7368/7368
[pid=19579] ppid=19577 vsize=136648 CPUtime=1726.81 cores=1,3,5,7
/proc/19579/stat : 19579 (python) S 19577 19579 15301 0 -1 4202496 59507 229459 0 2 6941 1059 164430 251 20 0 1 0 338581529 139927552 6395 33554432000 4194304 4196484 140735819587552 140735819579312 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19579/statm: 34162 6395 1180 1 0 5219 0
[pid=19963] ppid=19579 vsize=4492 CPUtime=73.32 cores=1,3,5,7
/proc/19963/stat : 19963 (clasp-1.3.3-x86) R 19579 19963 19963 0 -1 4202496 1196 0 0 0 7332 0 0 0 20 0 1 0 338746366 4599808 878 33554432000 134512640 136080129 4291422624 4291421584 134808399 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19963/statm: 1123 878 175 383 0 738 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 141140

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19579 and gives
#  childrusage.ru_utime.tv_sec=1713
#  childrusage.ru_utime.tv_usec=725474
#  childrusage.ru_stime.tv_sec=13
#  childrusage.ru_stime.tv_usec=116006
# CPU time returned by wait4() is 1726.84
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1721.71
CPU time (s): 1800.13
CPU user time (s): 1787.03
CPU system time (s): 13.1
CPU usage (%): 104.555
Max. virtual memory (cumulated for all children) (KiB): 2851656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1713.73
system time used= 13.116
maximum resident set size= 124772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288967
page faults= 2
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11146
involuntary context switches= 2478

runsolver used 3.50247 second user time and 8.76167 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 13:56:14
IDJOB=3741211
IDBENCH=89819
IDSOLVER=2323
FILE ID=node149/3741211-1338724573
RUNJOBID= node149-1338713283-15318
PBS_JOBID= 14636730
Free space on /tmp= 70988 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/heinz/normalized-neos-820157.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741211-1338724573/watcher-3741211-1338724573 -o /tmp/evaluation-result-3741211-1338724573/solver-3741211-1338724573 -C 1800 -W 1900 -M 15500  solver HOME/instance-3741211-1338724573.opb 772338381 

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

MD5SUM BENCH= da32b1e615c8e1bae2ecd5f742c16c96
RANDOM SEED=772338381

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:        26850864 kB
Buffers:          761852 kB
Cached:          4179056 kB
SwapCached:         2468 kB
Active:          2240516 kB
Inactive:        2882948 kB
Active(anon):     165680 kB
Inactive(anon):     9368 kB
Active(file):    2074836 kB
Inactive(file):  2873580 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             20668 kB
Writeback:            28 kB
AnonPages:        178176 kB
Mapped:            18352 kB
Shmem:                96 kB
Slab:             760484 kB
SReclaimable:     203540 kB
SUnreclaim:       556944 kB
KernelStack:        1464 kB
PageTables:         4648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     290920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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 14:24:58