Trace number 3740847

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.06 1692.81

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-172.opb
MD5SUM6217a9adeb5cd4d9104428c4e3eb327a
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 variables288080
Total number of constraints6434441
Number of constraints which are clauses5760324
Number of constraints which are cardinality constraints (but not clauses)22930
Number of constraints which are nor clauses,nor cardinality constraints651187
Minimum length of a constraint1
Maximum length of a constraint2457
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 2458
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.22 2.12 2.10 3/177 2563
/proc/meminfo: memFree=30207980/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/2563/stat : 2563 (python) R 2561 2563 31325 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 338226380 15642624 527 33554432000 4194304 5683644 140735879292352 140735879278264 225444709264 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 3819 527 312 364 0 261 0

[startup+0.0642609 s]
/proc/loadavg: 2.22 2.12 2.10 3/177 2563
/proc/meminfo: memFree=30207980/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=16596 CPUtime=0.01 cores=1,3,5,7
/proc/2563/stat : 2563 (python) R 2561 2563 31325 0 -1 4202496 1325 0 0 0 1 0 0 0 20 0 1 0 338226380 16994304 1001 33554432000 4194304 5683644 140735879292352 140735879274360 225444708100 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 4157 1004 422 364 0 599 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16596

[startup+0.100312 s]
/proc/loadavg: 2.22 2.12 2.10 3/177 2563
/proc/meminfo: memFree=30207980/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=17892 CPUtime=0.02 cores=1,3,5,7
/proc/2563/stat : 2563 (python) D 2561 2563 31325 0 -1 4202496 2272 0 0 0 2 0 0 0 20 0 1 0 338226380 18321408 768 33554432000 4194304 4196484 140737298357840 140737298288008 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/2563/statm: 4473 768 367 1 0 408 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17892

[startup+0.300268 s]
/proc/loadavg: 2.22 2.12 2.10 3/177 2563
/proc/meminfo: memFree=30207980/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=57144 CPUtime=0.08 cores=1,3,5,7
/proc/2563/stat : 2563 (python) D 2561 2563 31325 0 -1 4202496 4120 0 0 0 5 3 0 0 20 0 1 0 338226380 58515456 2257 33554432000 4194304 4196484 140737298357840 140737298213368 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/2563/statm: 14286 2257 604 1 0 1624 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 57144

[startup+0.700229 s]
/proc/loadavg: 2.22 2.12 2.10 3/177 2563
/proc/meminfo: memFree=30207980/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=103800 CPUtime=0.26 cores=1,3,5,7
/proc/2563/stat : 2563 (python) R 2561 2563 31325 0 -1 4202496 6859 1012 0 0 17 9 0 0 20 0 1 0 338226380 106291200 4266 33554432000 4194304 4196484 140737298357840 140737298323800 139758882269010 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2563/statm: 25950 4266 1052 1 0 3236 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 103800

[startup+1.50029 s]
/proc/loadavg: 2.22 2.12 2.10 2/178 2568
/proc/meminfo: memFree=30183660/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=118120 CPUtime=0.46 cores=1,3,5,7
/proc/2563/stat : 2563 (python) D 2561 2563 31325 0 -1 4202496 9592 1012 0 0 29 17 0 0 20 0 1 0 338226380 120954880 5831 33554432000 4194304 4196484 140737298357840 140737298291448 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/2563/statm: 29530 5831 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 118120

[startup+3.10048 s]
/proc/loadavg: 2.28 2.13 2.10 3/179 2569
/proc/meminfo: memFree=30096148/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=134484 CPUtime=0.63 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 11226 1012 0 0 42 21 0 0 20 0 1 0 338226380 137711616 6347 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 33621 6347 1170 1 0 5193 0
[pid=2569] ppid=2563 vsize=123576 CPUtime=1.36 cores=1,3,5,7
/proc/2569/stat : 2569 (clasp-1.3.3-x86) R 2563 2569 2569 0 -1 4202496 27692 0 0 0 129 7 0 0 20 0 1 0 338226552 126541824 29940 33554432000 134512640 136080129 4294120016 4294116880 135520271 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/2569/statm: 30894 29940 165 383 0 30509 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 258060
heavy processes:

[startup+6.30039 s]
/proc/loadavg: 2.28 2.13 2.10 3/179 2569
/proc/meminfo: memFree=29885712/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=134484 CPUtime=0.76 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 11237 1012 0 0 54 22 0 0 20 0 1 0 338226380 137711616 6347 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 33621 6347 1170 1 0 5193 0
[pid=2569] ppid=2563 vsize=334888 CPUtime=4.56 cores=1,3,5,7
/proc/2569/stat : 2569 (clasp-1.3.3-x86) R 2563 2569 2569 0 -1 4202496 79430 0 0 0 434 22 0 0 20 0 1 0 338226552 342925312 81917 33554432000 134512640 136080129 4294120016 4294117144 135562558 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/2569/statm: 83722 81917 165 383 0 83337 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 469372

[startup+12.7004 s]
/proc/loadavg: 2.26 2.13 2.10 3/179 2575
/proc/meminfo: memFree=30147368/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=11.6 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 12486 98842 0 0 82 26 1022 30 20 0 1 0 338226380 139821056 6369 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6369 1180 1 0 5193 0
[pid=2575] ppid=2563 vsize=59428 CPUtime=0.42 cores=1,3,5,7
/proc/2575/stat : 2575 (clasp-1.3.3-x86) R 2563 2575 2575 0 -1 4202496 10889 0 0 0 39 3 0 0 20 0 1 0 338227607 60854272 14069 33554432000 134512640 136080129 4288328160 4288324836 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2575/statm: 14857 14069 165 383 0 14472 0
Current children cumulated CPU time (s) 12.02
Current children cumulated vsize (KiB) 195972

[startup+25.5003 s]
/proc/loadavg: 2.28 2.14 2.10 3/179 2578
/proc/meminfo: memFree=29785392/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=12.18 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 12517 98842 0 0 133 33 1022 30 20 0 1 0 338226380 139821056 6369 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6369 1180 1 0 5193 0
[pid=2575] ppid=2563 vsize=414412 CPUtime=13.21 cores=1,3,5,7
/proc/2575/stat : 2575 (clasp-1.3.3-x86) R 2563 2575 2575 0 -1 4202496 97179 0 0 0 1296 25 0 0 20 0 1 0 338227607 424357888 100803 33554432000 134512640 136080129 4288328160 4288327248 134836722 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2575/statm: 103603 100803 176 383 0 103218 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 550956

[startup+51.107 s]
/proc/loadavg: 2.33 2.16 2.11 3/179 2578
/proc/meminfo: memFree=29773332/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=13.34 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 12543 98842 0 0 232 50 1022 30 20 0 1 0 338226380 139821056 6369 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6369 1180 1 0 5193 0
[pid=2575] ppid=2563 vsize=417484 CPUtime=38.81 cores=1,3,5,7
/proc/2575/stat : 2575 (clasp-1.3.3-x86) R 2563 2575 2575 0 -1 4202496 97854 0 0 0 3856 25 0 0 20 0 1 0 338227607 427503616 101488 33554432000 134512640 136080129 4288328160 4288327248 134836683 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2575/statm: 104371 101488 176 383 0 103986 0
Current children cumulated CPU time (s) 52.15
Current children cumulated vsize (KiB) 554028

[startup+102.3 s]
/proc/loadavg: 2.14 2.13 2.10 3/179 2581
/proc/meminfo: memFree=29624512/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=66.34 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 13739 197781 0 0 446 85 6044 59 20 0 1 0 338226380 139821056 6373 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6373 1180 1 0 5193 0
[pid=2581] ppid=2563 vsize=566912 CPUtime=39.47 cores=1,3,5,7
/proc/2581/stat : 2581 (wbo1.4a) R 2563 2581 2581 0 -1 4202496 207980 0 0 0 3911 36 0 0 20 0 1 0 338232660 580517888 136688 33554432000 134512640 135751879 4293960448 4293958624 134616336 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/2581/statm: 141728 136688 139 303 0 141423 0
Current children cumulated CPU time (s) 105.81
Current children cumulated vsize (KiB) 703456

[startup+162.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/179 2593
/proc/meminfo: memFree=29777756/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=120.05 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 14978 408858 0 0 686 123 11094 102 20 0 1 0 338226380 139821056 6373 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6373 1180 1 0 5193 0
[pid=2584] ppid=2563 vsize=417072 CPUtime=48.51 cores=1,3,5,7
/proc/2584/stat : 2584 (clasp-1.3.3-x86) R 2563 2584 2584 0 -1 4202496 98196 0 0 0 4825 26 0 0 20 0 1 0 338237756 427081728 101343 33554432000 134512640 136080129 4293462400 4293461488 134836722 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2584/statm: 104268 101343 176 383 0 103883 0
Current children cumulated CPU time (s) 168.56
Current children cumulated vsize (KiB) 553616

[startup+222.3 s]
/proc/loadavg: 2.09 2.11 2.09 4/180 2643
/proc/meminfo: memFree=30012192/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=223.12 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 16177 508457 0 0 927 158 21096 131 20 0 1 0 338226380 139821056 6373 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6373 1180 1 0 5193 0
[pid=2600] ppid=2563 vsize=502624 CPUtime=8.18 cores=1,3,5,7
/proc/2600/stat : 2600 (wbo1.4a) R 2563 2600 2600 0 -1 4202496 74398 0 0 0 808 10 0 0 20 0 1 0 338247790 514686976 73723 33554432000 134512640 135751879 4293876720 4292826480 134561495 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/2600/statm: 125656 73723 27802 303 0 48217 0
Current children cumulated CPU time (s) 231.3
Current children cumulated vsize (KiB) 639168

[startup+282.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/180 2714
/proc/meminfo: memFree=29474036/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=225.98 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 16225 508457 0 0 1173 198 21096 131 20 0 1 0 338226380 139821056 6374 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6374 1180 1 0 5193 0
[pid=2600] ppid=2563 vsize=587276 CPUtime=68.14 cores=1,3,5,7
/proc/2600/stat : 2600 (wbo1.4a) R 2563 2600 2600 0 -1 4202496 213073 0 0 0 6769 45 0 0 20 0 1 0 338247790 601370624 141763 33554432000 134512640 135751879 4293876720 4293874896 134616336 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/2600/statm: 146819 141763 139 303 0 146514 0
Current children cumulated CPU time (s) 294.12
Current children cumulated vsize (KiB) 723820

[startup+342.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/179 2724
/proc/meminfo: memFree=29398644/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=329.77 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 17479 728557 0 0 1420 237 31129 191 20 0 1 0 338226380 139821056 6375 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6375 1180 1 0 5193 0
[pid=2721] ppid=2563 vsize=653240 CPUtime=27.17 cores=1,3,5,7
/proc/2721/stat : 2721 (wbo1.4b) R 2563 2721 2721 0 -1 4202496 229188 0 0 0 2683 34 0 0 20 0 1 0 338257891 668917760 158414 33554432000 134512640 135751879 4288277056 4288275312 134603001 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/2721/statm: 163310 158414 142 303 0 163005 0
Current children cumulated CPU time (s) 356.94
Current children cumulated vsize (KiB) 789784

[startup+402.301 s]
/proc/loadavg: 2.46 2.17 2.11 3/196 2747
/proc/meminfo: memFree=28834012/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=383.16 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 18705 964406 0 0 1661 275 36148 232 20 0 1 0 338226380 139821056 6377 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6377 1180 1 0 5193 0

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

/proc/2853/statm: 106862 104820 176 383 0 106477 0
Current children cumulated CPU time (s) 1140.91
Current children cumulated vsize (KiB) 563992

[startup+1122.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/179 2926
/proc/meminfo: memFree=28847132/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=1170.33 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 42130 3112541 0 2 4541 744 110708 1040 20 0 1 0 338226380 139821056 6383 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6383 1180 1 0 5193 0
[pid=2926] ppid=2563 vsize=1171724 CPUtime=33.31 cores=1,3,5,7
/proc/2926/stat : 2926 (bsolo_pb10) R 2563 2926 2926 0 -1 4202496 366692 0 0 0 3269 62 0 0 20 0 1 0 338335277 1199845376 289337 33554432000 134512640 137138936 4290151920 4286693660 136570369 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 292931 289337 184 642 0 292287 0
Current children cumulated CPU time (s) 1203.64
Current children cumulated vsize (KiB) 1308268

[startup+1182.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/179 2926
/proc/meminfo: memFree=28462132/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=1173.06 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 42154 3112541 0 2 4775 783 110708 1040 20 0 1 0 338226380 139821056 6383 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6383 1180 1 0 5193 0
[pid=2926] ppid=2563 vsize=1499692 CPUtime=93.3 cores=1,3,5,7
/proc/2926/stat : 2926 (bsolo_pb10) R 2563 2926 2926 0 -1 4202496 447209 0 0 0 9250 80 0 0 20 0 1 0 338335277 1535684608 371335 33554432000 134512640 137138936 4290151920 4286693424 134540116 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 374923 371335 186 642 0 374279 0
Current children cumulated CPU time (s) 1266.36
Current children cumulated vsize (KiB) 1636236

[startup+1242.3 s]
/proc/loadavg: 2.08 2.08 2.09 4/179 2933
/proc/meminfo: memFree=29507816/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=1287.31 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 44622 3658469 0 2 5012 820 121738 1161 20 0 1 0 338226380 139821056 6384 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6384 1180 1 0 5193 0
[pid=2932] ppid=2563 vsize=417832 CPUtime=41.75 cores=1,3,5,7
/proc/2932/stat : 2932 (clasp-1.3.3-x86) R 2563 2932 2932 0 -1 4202496 98372 0 0 0 4146 29 0 0 20 0 1 0 338346432 427859968 101515 33554432000 134512640 136080129 4293724960 4293724048 134836714 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2932/statm: 104458 101515 176 383 0 104073 0
Current children cumulated CPU time (s) 1329.06
Current children cumulated vsize (KiB) 554376

[startup+1302.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/179 2936
/proc/meminfo: memFree=29831576/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=1390.82 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 45871 3758462 0 2 5246 855 131787 1194 20 0 1 0 338226380 139821056 6384 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6384 1180 1 0 5193 0
[pid=2936] ppid=2563 vsize=93296 CPUtime=0.91 cores=1,3,5,7
/proc/2936/stat : 2936 (clasp-1.3.3-x86) R 2563 2936 2936 0 -1 4202496 19532 0 0 0 87 4 0 0 20 0 1 0 338356517 95535104 22452 33554432000 134512640 136080129 4294520848 4294517944 135562558 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2936/statm: 23324 22452 165 383 0 22939 0
Current children cumulated CPU time (s) 1391.73
Current children cumulated vsize (KiB) 229840

[startup+1362.31 s]
/proc/loadavg: 2.11 2.08 2.08 3/179 2942
/proc/meminfo: memFree=29451888/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=1414.7 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 48354 3954205 0 2 5487 895 133830 1258 20 0 1 0 338226380 139821056 6385 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6385 1180 1 0 5193 0
[pid=2942] ppid=2563 vsize=417084 CPUtime=39.8 cores=1,3,5,7
/proc/2942/stat : 2942 (clasp-1.3.3-x86) R 2563 2942 2942 0 -1 4202496 98220 0 0 0 3954 26 0 0 20 0 1 0 338358628 427094016 101351 33554432000 134512640 136080129 4293779648 4293778736 134836680 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2942/statm: 104271 101351 176 383 0 103886 0
Current children cumulated CPU time (s) 1454.5
Current children cumulated vsize (KiB) 553628

[startup+1422.3 s]
/proc/loadavg: 2.09 2.08 2.08 3/180 2954
/proc/meminfo: memFree=29425804/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=1478.58 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 50839 4151123 0 2 5728 934 139879 1317 20 0 1 0 338226380 139821056 6385 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6385 1180 1 0 5193 0
[pid=2954] ppid=2563 vsize=416380 CPUtime=38.69 cores=1,3,5,7
/proc/2954/stat : 2954 (clasp-1.3.3-x86) R 2563 2954 2954 0 -1 4202496 98216 0 0 0 3840 29 0 0 20 0 1 0 338364739 426373120 101323 33554432000 134512640 136080129 4290684688 4290683776 134836680 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2954/statm: 104095 101323 176 383 0 103710 0
Current children cumulated CPU time (s) 1517.27
Current children cumulated vsize (KiB) 552924

[startup+1482.3 s]
/proc/loadavg: 2.09 2.08 2.08 3/179 2954
/proc/meminfo: memFree=29425344/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=1481.29 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 50865 4151123 0 2 5961 972 139879 1317 20 0 1 0 338226380 139821056 6385 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6385 1180 1 0 5193 0
[pid=2954] ppid=2563 vsize=416832 CPUtime=98.68 cores=1,3,5,7
/proc/2954/stat : 2954 (clasp-1.3.3-x86) R 2563 2954 2954 0 -1 4202496 98318 0 0 0 9839 29 0 0 20 0 1 0 338364739 426835968 101425 33554432000 134512640 136080129 4290684688 4290683776 134836701 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2954/statm: 104208 101425 176 383 0 103823 0
Current children cumulated CPU time (s) 1579.97
Current children cumulated vsize (KiB) 553376

[startup+1542.3 s]
/proc/loadavg: 2.13 2.09 2.09 3/179 2970
/proc/meminfo: memFree=29592032/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=1605.5 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 54590 4445309 0 2 6203 1011 151926 1410 20 0 1 0 338226380 139821056 6387 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6387 1180 1 0 5193 0
[pid=2969] ppid=2563 vsize=415948 CPUtime=37.23 cores=1,3,5,7
/proc/2969/stat : 2969 (clasp-1.3.3-x86) R 2563 2969 2969 0 -1 4202496 98633 0 0 0 3692 31 0 0 20 0 1 0 338376886 425930752 100717 33554432000 134512640 136080129 4289588576 4289587664 134836690 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2969/statm: 103987 100717 176 383 0 103602 0
Current children cumulated CPU time (s) 1642.73
Current children cumulated vsize (KiB) 552492

[startup+1602.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/179 2973
/proc/meminfo: memFree=29639820/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=1608.22 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 54618 4445309 0 2 6438 1048 151926 1410 20 0 1 0 338226380 139821056 6387 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6387 1180 1 0 5193 0
[pid=2969] ppid=2563 vsize=418624 CPUtime=97.22 cores=1,3,5,7
/proc/2969/stat : 2969 (clasp-1.3.3-x86) R 2563 2969 2969 0 -1 4202496 99258 0 0 0 9691 31 0 0 20 0 1 0 338376886 428670976 101342 33554432000 134512640 136080129 4289588576 4289587664 134836690 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2969/statm: 104656 101342 176 383 0 104271 0
Current children cumulated CPU time (s) 1705.44
Current children cumulated vsize (KiB) 555168

[startup+1662.3 s]
/proc/loadavg: 2.08 2.08 2.09 3/179 2988
/proc/meminfo: memFree=29593892/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=1732.96 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 58326 4740536 0 2 6680 1086 164025 1505 20 0 1 0 338226380 139821056 6387 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6387 1180 1 0 5193 0
[pid=2988] ppid=2563 vsize=414508 CPUtime=35.24 cores=1,3,5,7
/proc/2988/stat : 2988 (clasp-1.3.3-x86) R 2563 2988 2988 0 -1 4202496 97690 0 0 0 3496 28 0 0 20 0 1 0 338389084 424456192 100795 33554432000 134512640 136080129 4289872640 4289871728 134836701 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2988/statm: 103627 100795 176 383 0 103242 0
Current children cumulated CPU time (s) 1768.2
Current children cumulated vsize (KiB) 551052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1692.8 s]
/proc/loadavg: 2.17 2.11 2.09 3/179 2994
/proc/meminfo: memFree=29623464/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=1734.32 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 58340 4740536 0 2 6797 1105 164025 1505 20 0 1 0 338226380 139821056 6387 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6387 1180 1 0 5193 0
[pid=2988] ppid=2563 vsize=416816 CPUtime=65.74 cores=1,3,5,7
/proc/2988/stat : 2988 (clasp-1.3.3-x86) R 2563 2988 2988 0 -1 4202496 98189 0 0 0 6546 28 0 0 20 0 1 0 338389084 426819584 101301 33554432000 134512640 136080129 4289872640 4289871728 134836683 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2988/statm: 104204 101301 176 383 0 103819 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 553360

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

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

[startup+1692.8 s]
/proc/loadavg: 2.17 2.11 2.09 3/179 2994
/proc/meminfo: memFree=29623464/32873844 swapFree=7900/7900
[pid=2563] ppid=2561 vsize=136544 CPUtime=1734.32 cores=1,3,5,7
/proc/2563/stat : 2563 (python) S 2561 2563 31325 0 -1 4202496 58340 4740536 0 2 6797 1105 164025 1505 20 0 1 0 338226380 139821056 6387 33554432000 4194304 4196484 140737298357840 140737298349600 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/2563/statm: 34136 6387 1180 1 0 5193 0
[pid=2988] ppid=2563 vsize=416816 CPUtime=65.74 cores=1,3,5,7
/proc/2988/stat : 2988 (clasp-1.3.3-x86) R 2563 2988 2988 0 -1 4202496 98189 0 0 0 6546 28 0 0 20 0 1 0 338389084 426819584 101301 33554432000 134512640 136080129 4289872640 4289871728 134836683 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/2988/statm: 104204 101301 176 383 0 103819 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 553360

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2563 and gives
#  childrusage.ru_utime.tv_sec=1708
#  childrusage.ru_utime.tv_usec=238308
#  childrusage.ru_stime.tv_sec=26
#  childrusage.ru_stime.tv_usec=114030
# CPU time returned by wait4() is 1734.35
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1692.81
CPU time (s): 1800.06
CPU user time (s): 1773.68
CPU system time (s): 26.38
CPU usage (%): 106.335
Max. virtual memory (cumulated for all children) (KiB): 2851684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1708.24
system time used= 26.114
maximum resident set size= 1485344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4798878
page faults= 2
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20228
involuntary context switches= 73778

runsolver used 3.56146 second user time and 10.1924 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-03 12:56:58
IDJOB=3740847
IDBENCH=89646
IDSOLVER=2323
FILE ID=node137/3740847-1338721011
RUNJOBID= node137-1338714575-31342
PBS_JOBID= 14636756
Free space on /tmp= 70000 MiB

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

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

MD5SUM BENCH= 6217a9adeb5cd4d9104428c4e3eb327a
RANDOM SEED=1635069907

node137.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.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.20
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.600
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.600
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	: 5331.92
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.600
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.600
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.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
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.600
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.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30208616 kB
Buffers:          237648 kB
Cached:          1555968 kB
SwapCached:         5796 kB
Active:          1145572 kB
Inactive:         689100 kB
Active(anon):      36324 kB
Inactive(anon):     7172 kB
Active(file):    1109248 kB
Inactive(file):   681928 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:            329308 kB
Writeback:             0 kB
AnonPages:         44708 kB
Mapped:            13320 kB
Shmem:                 0 kB
Slab:             691248 kB
SReclaimable:     131164 kB
SUnreclaim:       560084 kB
KernelStack:        1456 kB
PageTables:         4412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     160564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69928 MiB
End job on node137 at 2012-06-03 13:25:13