Trace number 3741029

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.12 1716.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-120.opb
MD5SUM7b80ddfff13fd2a12f867bbe09bf6414
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 variables48411
Total number of constraints1121517
Number of constraints which are clauses1007723
Number of constraints which are cardinality constraints (but not clauses)3523
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint2
Maximum length of a constraint690
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.02 2.09 2.04 3/178 19176
/proc/meminfo: memFree=26944920/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/19176/stat : 19176 (python) D 19174 19176 15301 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 338409567 15642624 526 33554432000 4194304 5683644 140735638401088 140735638387000 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/19176/statm: 3819 526 312 364 0 261 0

[startup+0.066653 s]
/proc/loadavg: 2.02 2.09 2.04 3/178 19176
/proc/meminfo: memFree=26944920/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=16588 CPUtime=0.01 cores=1,3,5,7
/proc/19176/stat : 19176 (python) D 19174 19176 15301 0 -1 4202496 1325 0 0 0 1 0 0 0 20 0 1 0 338409567 16986112 1000 33554432000 4194304 5683644 140735638401088 140735638378856 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/19176/statm: 4147 1000 422 364 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16588

[startup+0.10027 s]
/proc/loadavg: 2.02 2.09 2.04 3/178 19176
/proc/meminfo: memFree=26944920/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=17628 CPUtime=0.01 cores=1,3,5,7
/proc/19176/stat : 19176 (python) D 19174 19176 15301 0 -1 4202496 2216 0 0 0 1 0 0 0 20 0 1 0 338409567 18051072 723 33554432000 4194304 4196484 140733496008304 140733495938472 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/19176/statm: 4407 723 354 1 0 342 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17628

[startup+0.300277 s]
/proc/loadavg: 2.02 2.09 2.04 3/178 19176
/proc/meminfo: memFree=26944920/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=54716 CPUtime=0.06 cores=1,3,5,7
/proc/19176/stat : 19176 (python) R 19174 19176 15301 0 -1 4202496 4012 0 0 0 4 2 0 0 20 0 1 0 338409567 56029184 2191 33554432000 4194304 4196484 140733496008304 140733495835960 251053032336 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/19176/statm: 13679 2191 600 1 0 1534 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 54716

[startup+0.700208 s]
/proc/loadavg: 2.02 2.09 2.04 3/178 19176
/proc/meminfo: memFree=26944920/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=99488 CPUtime=0.19 cores=1,3,5,7
/proc/19176/stat : 19176 (python) R 19174 19176 15301 0 -1 4202496 5881 0 0 0 13 6 0 0 20 0 1 0 338409567 101875712 3715 33554432000 4194304 4196484 140733496008304 140733495951576 251053032832 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/19176/statm: 24872 3715 1047 1 0 2674 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 99488

[startup+1.50027 s]
/proc/loadavg: 2.02 2.09 2.04 3/179 19181
/proc/meminfo: memFree=26926264/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=118120 CPUtime=0.39 cores=1,3,5,7
/proc/19176/stat : 19176 (python) R 19174 19176 15301 0 -1 4202496 9596 1014 0 0 27 12 0 0 20 0 1 0 338409567 120954880 5831 33554432000 4194304 4196484 140733496008304 140733495941656 251053031093 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/19176/statm: 29530 5831 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 118120

[startup+3.10028 s]
/proc/loadavg: 2.10 2.10 2.05 3/180 19182
/proc/meminfo: memFree=26858056/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=134456 CPUtime=0.56 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 11249 1014 0 0 40 16 0 0 20 0 1 0 338409567 137682944 6349 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/19176/statm: 33614 6349 1170 1 0 5186 0
[pid=19182] ppid=19176 vsize=78344 CPUtime=1.23 cores=1,3,5,7
/proc/19182/stat : 19182 (clasp-1.3.3-x86) R 19176 19182 19182 0 -1 4202496 20423 0 0 0 119 4 0 0 20 0 1 0 338409753 80224256 19164 33554432000 134512640 136080129 4292071008 4292070080 134849653 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/19182/statm: 19586 19164 176 383 0 19201 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 212800
heavy processes:

[startup+6.30038 s]
/proc/loadavg: 2.09 2.10 2.05 3/180 19182
/proc/meminfo: memFree=26841808/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=134456 CPUtime=0.69 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 11259 1014 0 0 51 18 0 0 20 0 1 0 338409567 137682944 6349 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/19176/statm: 33614 6349 1170 1 0 5186 0
[pid=19182] ppid=19176 vsize=86072 CPUtime=4.43 cores=1,3,5,7
/proc/19182/stat : 19182 (clasp-1.3.3-x86) R 19176 19182 19182 0 -1 4202496 22352 0 0 0 439 4 0 0 20 0 1 0 338409753 88137728 21093 33554432000 134512640 136080129 4292071008 4292070000 134588578 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/19182/statm: 21518 21093 176 383 0 21133 0
Current children cumulated CPU time (s) 5.12
Current children cumulated vsize (KiB) 220528

[startup+12.7002 s]
/proc/loadavg: 2.08 2.10 2.05 3/180 19185
/proc/meminfo: memFree=26890208/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=11.42 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 12501 27217 0 0 78 23 1035 6 20 0 1 0 338409567 139792384 6369 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/19176/statm: 34129 6369 1180 1 0 5186 0
[pid=19185] ppid=19176 vsize=34892 CPUtime=0.4 cores=1,3,5,7
/proc/19185/stat : 19185 (clasp-1.3.3-x86) R 19176 19185 19185 0 -1 4202496 8823 0 0 0 39 1 0 0 20 0 1 0 338410796 35729408 8328 33554432000 134512640 136080129 4288101104 4288097780 135505028 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/19185/statm: 8723 8328 165 383 0 8338 0
Current children cumulated CPU time (s) 11.82
Current children cumulated vsize (KiB) 171408

[startup+25.5003 s]
/proc/loadavg: 2.07 2.09 2.05 3/179 19185
/proc/meminfo: memFree=26824248/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=12 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 12528 27217 0 0 130 29 1035 6 20 0 1 0 338409567 139792384 6369 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/19176/statm: 34129 6369 1180 1 0 5186 0
[pid=19185] ppid=19176 vsize=99860 CPUtime=13.19 cores=1,3,5,7
/proc/19185/stat : 19185 (clasp-1.3.3-x86) R 19176 19185 19185 0 -1 4202496 25306 0 0 0 1315 4 0 0 20 0 1 0 338410796 102256640 24561 33554432000 134512640 136080129 4288101104 4288099972 135505028 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/19185/statm: 24965 24561 176 383 0 24580 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 236376

[startup+51.1003 s]
/proc/loadavg: 2.18 2.12 2.06 3/179 19191
/proc/meminfo: memFree=26820052/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=13.14 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 12554 27217 0 0 227 46 1035 6 20 0 1 0 338409567 139792384 6369 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6369 1180 1 0 5186 0
[pid=19185] ppid=19176 vsize=128184 CPUtime=38.78 cores=1,3,5,7
/proc/19185/stat : 19185 (clasp-1.3.3-x86) R 19176 19185 19185 0 -1 4202496 32233 0 0 0 3872 6 0 0 20 0 1 0 338410796 131260416 31477 33554432000 134512640 136080129 4288101104 4288100176 134849659 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19185/statm: 32046 31477 176 383 0 31661 0
Current children cumulated CPU time (s) 51.92
Current children cumulated vsize (KiB) 264700

[startup+102.3 s]
/proc/loadavg: 2.11 2.11 2.06 3/179 19197
/proc/meminfo: memFree=26801640/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=66 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 13720 63036 0 0 452 84 6050 14 20 0 1 0 338409567 139792384 6374 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6374 1180 1 0 5186 0
[pid=19197] ppid=19176 vsize=135708 CPUtime=39.71 cores=1,3,5,7
/proc/19197/stat : 19197 (wbo1.4a) R 19176 19197 19197 0 -1 4202496 44961 0 0 0 3923 48 0 0 20 0 1 0 338415822 138964992 31683 33554432000 134512640 135751879 4294121360 4294119612 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/19197/statm: 33927 31683 139 303 0 33622 0
Current children cumulated CPU time (s) 105.71
Current children cumulated vsize (KiB) 272224

[startup+162.3 s]
/proc/loadavg: 2.08 2.10 2.05 3/180 19210
/proc/meminfo: memFree=26782236/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=119.84 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 14969 109508 0 0 684 122 11077 101 20 0 1 0 338409567 139792384 6375 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6375 1180 1 0 5186 0
[pid=19203] ppid=19176 vsize=147460 CPUtime=48.52 cores=1,3,5,7
/proc/19203/stat : 19203 (clasp-1.3.3-x86) R 19176 19203 19203 0 -1 4202496 37019 0 0 0 4843 9 0 0 20 0 1 0 338420941 150999040 36271 33554432000 134512640 136080129 4291833456 4291832528 134850077 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 36865 36271 176 383 0 36480 0
Current children cumulated CPU time (s) 168.36
Current children cumulated vsize (KiB) 283976

[startup+222.3 s]
/proc/loadavg: 2.14 2.12 2.06 3/179 19216
/proc/meminfo: memFree=26848404/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=223.22 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 16216 159016 0 0 932 165 21109 116 20 0 1 0 338409567 139792384 6375 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6375 1180 1 0 5186 0
[pid=19213] ppid=19176 vsize=106564 CPUtime=7.98 cores=1,3,5,7
/proc/19213/stat : 19213 (wbo1.4a) R 19176 19213 19213 0 -1 4202496 37781 0 0 0 783 15 0 0 20 0 1 0 338430998 109121536 24516 33554432000 134512640 135751879 4291804704 4291802956 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/19213/statm: 26641 24516 139 303 0 26336 0
Current children cumulated CPU time (s) 231.2
Current children cumulated vsize (KiB) 243080

[startup+282.307 s]
/proc/loadavg: 2.05 2.10 2.06 3/179 19222
/proc/meminfo: memFree=26794380/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136520 CPUtime=225.96 cores=1,3,5,7
/proc/19176/stat : 19176 (python) R 19174 19176 15301 0 -1 4202496 16260 159016 0 0 1169 202 21109 116 20 0 1 0 338409567 139796480 6376 33554432000 4194304 4196484 140733496008304 140733496000064 251053032832 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6376 1180 1 0 5186 0
[pid=19213] ppid=19176 vsize=144396 CPUtime=67.94 cores=1,3,5,7
/proc/19213/stat : 19213 (wbo1.4a) R 19176 19213 19213 0 -1 4202496 47260 0 0 0 6668 126 0 0 20 0 1 0 338430998 147861504 33957 33554432000 134512640 135751879 4291804704 4291802956 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/19213/statm: 36099 33957 139 303 0 35794 0
Current children cumulated CPU time (s) 293.9
Current children cumulated vsize (KiB) 280916

[startup+342.3 s]
/proc/loadavg: 2.07 2.09 2.06 3/179 19228
/proc/meminfo: memFree=26826848/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=330.5 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 17498 213027 0 0 1430 244 31118 258 20 0 1 0 338409567 139792384 6378 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6378 1180 1 0 5186 0
[pid=19225] ppid=19176 vsize=130000 CPUtime=26.39 cores=1,3,5,7
/proc/19225/stat : 19225 (wbo1.4b) R 19176 19225 19225 0 -1 4202496 44453 0 0 0 2615 24 0 0 20 0 1 0 338441155 133120000 30286 33554432000 134512640 135751879 4291863696 4291861788 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/19225/statm: 32500 30286 143 303 0 32195 0
Current children cumulated CPU time (s) 356.89
Current children cumulated vsize (KiB) 266516

[startup+402.301 s]
/proc/loadavg: 2.08 2.09 2.06 4/197 19255
/proc/meminfo: memFree=26292968/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=383.65 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 18679 262077 0 0 1675 278 36120 292 20 0 1 0 338409567 139792384 6380 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6380 1180 1 0 5186 0

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

/proc/19412/statm: 62826 62253 176 383 0 62441 0
Current children cumulated CPU time (s) 1116.7
Current children cumulated vsize (KiB) 387820

[startup+1122.3 s]
/proc/loadavg: 2.14 2.11 2.08 3/179 19443
/proc/meminfo: memFree=26566084/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=1167.54 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 42112 939633 0 2 4571 748 110794 641 20 0 1 0 338409567 139792384 6389 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6389 1180 1 0 5186 0
[pid=19440] ppid=19176 vsize=281612 CPUtime=11.87 cores=1,3,5,7
/proc/19440/stat : 19440 (bsolo_pb10) R 19176 19440 19440 0 -1 4202496 80679 0 0 0 1164 23 0 0 20 0 1 0 338520609 288370688 67726 33554432000 134512640 137138936 4290260960 4289678524 136570369 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/19440/statm: 70403 67726 184 642 0 69759 0
Current children cumulated CPU time (s) 1179.41
Current children cumulated vsize (KiB) 418128

[startup+1182.3 s]
/proc/loadavg: 2.09 2.10 2.08 3/197 19470
/proc/meminfo: memFree=26025748/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=1170.23 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 42152 939633 0 2 4800 788 110794 641 20 0 1 0 338409567 139792384 6389 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6389 1180 1 0 5186 0
[pid=19440] ppid=19176 vsize=281744 CPUtime=71.84 cores=1,3,5,7
/proc/19440/stat : 19440 (bsolo_pb10) R 19176 19440 19440 0 -1 4202496 80730 0 0 0 7134 50 0 0 20 0 1 0 338520609 288505856 67750 33554432000 134512640 137138936 4290260960 4289678524 136570369 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/19440/statm: 70436 67750 184 642 0 69792 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 418260

[startup+1242.3 s]
/proc/loadavg: 2.09 2.10 2.08 3/179 19491
/proc/meminfo: memFree=26732520/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=1284.47 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 44622 1046765 0 2 5032 830 121877 708 20 0 1 0 338409567 139792384 6389 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6389 1180 1 0 5186 0
[pid=19485] ppid=19176 vsize=110076 CPUtime=20.29 cores=1,3,5,7
/proc/19485/stat : 19485 (clasp-1.3.3-x86) R 19176 19485 19485 0 -1 4202496 28270 0 0 0 2022 7 0 0 20 0 1 0 338531765 112717824 26994 33554432000 134512640 136080129 4294461856 4294460928 134849560 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19485/statm: 27519 26994 176 383 0 27134 0
Current children cumulated CPU time (s) 1304.76
Current children cumulated vsize (KiB) 246592

[startup+1302.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/179 19494
/proc/meminfo: memFree=26622576/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=1287.13 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 44649 1046765 0 2 5261 867 121877 708 20 0 1 0 338409567 139792384 6389 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6389 1180 1 0 5186 0
[pid=19485] ppid=19176 vsize=162056 CPUtime=80.23 cores=1,3,5,7
/proc/19485/stat : 19485 (clasp-1.3.3-x86) R 19176 19485 19485 0 -1 4202496 41104 0 0 0 8011 12 0 0 20 0 1 0 338531765 165945344 39970 33554432000 134512640 136080129 4294461856 4294460928 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19485/statm: 40514 39970 176 383 0 40129 0
Current children cumulated CPU time (s) 1367.36
Current children cumulated vsize (KiB) 298572

[startup+1362.3 s]
/proc/loadavg: 2.17 2.10 2.08 3/179 19506
/proc/meminfo: memFree=26630844/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=1411.23 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 48349 1143458 0 2 5501 906 133980 736 20 0 1 0 338409567 139792384 6390 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6390 1180 1 0 5186 0
[pid=19503] ppid=19176 vsize=108060 CPUtime=18.87 cores=1,3,5,7
/proc/19503/stat : 19503 (clasp-1.3.3-x86) R 19176 19503 19503 0 -1 4202496 27735 0 0 0 1881 6 0 0 20 0 1 0 338543909 110653440 26472 33554432000 134512640 136080129 4291827904 4291826896 134588848 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19503/statm: 27015 26472 176 383 0 26630 0
Current children cumulated CPU time (s) 1430.1
Current children cumulated vsize (KiB) 244576

[startup+1422.3 s]
/proc/loadavg: 2.26 2.13 2.09 3/179 19513
/proc/meminfo: memFree=26594984/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=1474.59 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 50846 1205725 0 2 5734 944 140029 752 20 0 1 0 338409567 139792384 6390 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6390 1180 1 0 5186 0
[pid=19513] ppid=19176 vsize=109008 CPUtime=18.19 cores=1,3,5,7
/proc/19513/stat : 19513 (clasp-1.3.3-x86) R 19176 19513 19513 0 -1 4202496 27537 0 0 0 1813 6 0 0 20 0 1 0 338549977 111624192 26788 33554432000 134512640 136080129 4292188032 4292186900 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19513/statm: 27252 26788 176 383 0 26867 0
Current children cumulated CPU time (s) 1492.78
Current children cumulated vsize (KiB) 245524

[startup+1482.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/179 19513
/proc/meminfo: memFree=26513856/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=1477.23 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 50873 1205725 0 2 5964 978 140029 752 20 0 1 0 338409567 139792384 6390 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6390 1180 1 0 5186 0
[pid=19513] ppid=19176 vsize=163688 CPUtime=78.17 cores=1,3,5,7
/proc/19513/stat : 19513 (clasp-1.3.3-x86) R 19176 19513 19513 0 -1 4202496 40996 0 0 0 7806 11 0 0 20 0 1 0 338549977 167616512 40096 33554432000 134512640 136080129 4292188032 4292187104 134849493 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19513/statm: 40922 40096 176 383 0 40537 0
Current children cumulated CPU time (s) 1555.4
Current children cumulated vsize (KiB) 300204

[startup+1542.3 s]
/proc/loadavg: 2.11 2.10 2.09 4/179 19522
/proc/meminfo: memFree=26553752/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=1601.38 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 54622 1303419 0 2 6206 1018 152133 781 20 0 1 0 338409567 139792384 6391 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6391 1180 1 0 5186 0
[pid=19522] ppid=19176 vsize=107420 CPUtime=16.75 cores=1,3,5,7
/proc/19522/stat : 19522 (clasp-1.3.3-x86) R 19176 19522 19522 0 -1 4202496 27624 0 0 0 1671 4 0 0 20 0 1 0 338562120 109998080 26356 33554432000 134512640 136080129 4293716512 4293715504 134588840 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19522/statm: 26855 26356 176 383 0 26470 0
Current children cumulated CPU time (s) 1618.13
Current children cumulated vsize (KiB) 243936

[startup+1602.31 s]
/proc/loadavg: 2.08 2.09 2.08 3/179 19525
/proc/meminfo: memFree=26493648/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=1604 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 54648 1303419 0 2 6435 1051 152133 781 20 0 1 0 338409567 139792384 6391 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6391 1180 1 0 5186 0
[pid=19522] ppid=19176 vsize=162092 CPUtime=76.7 cores=1,3,5,7
/proc/19522/stat : 19522 (clasp-1.3.3-x86) R 19176 19522 19522 0 -1 4202496 41098 0 0 0 7662 8 0 0 20 0 1 0 338562120 165982208 39891 33554432000 134512640 136080129 4293716512 4293715584 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19522/statm: 40523 39891 176 383 0 40138 0
Current children cumulated CPU time (s) 1680.7
Current children cumulated vsize (KiB) 298608

[startup+1662.3 s]
/proc/loadavg: 2.07 2.09 2.08 3/179 19540
/proc/meminfo: memFree=26739316/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=1728.08 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 58397 1401510 0 2 6680 1084 164239 805 20 0 1 0 338409567 139792384 6393 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6393 1180 1 0 5186 0
[pid=19537] ppid=19176 vsize=102468 CPUtime=15.32 cores=1,3,5,7
/proc/19537/stat : 19537 (clasp-1.3.3-x86) R 19176 19537 19537 0 -1 4202496 26407 0 0 0 1527 5 0 0 20 0 1 0 338574262 104927232 25138 33554432000 134512640 136080129 4287252368 4287251440 134849659 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19537/statm: 25617 25138 176 383 0 25232 0
Current children cumulated CPU time (s) 1743.4
Current children cumulated vsize (KiB) 238984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1716.6 s]
/proc/loadavg: 2.09 2.09 2.08 3/179 19541
/proc/meminfo: memFree=26632804/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=1730.54 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 58434 1401510 0 2 6889 1121 164239 805 20 0 1 0 338409567 139792384 6393 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6393 1180 1 0 5186 0
[pid=19537] ppid=19176 vsize=153112 CPUtime=69.58 cores=1,3,5,7
/proc/19537/stat : 19537 (clasp-1.3.3-x86) R 19176 19537 19537 0 -1 4202496 38865 0 0 0 6949 9 0 0 20 0 1 0 338574262 156786688 37600 33554432000 134512640 136080129 4287252368 4287251440 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19537/statm: 38278 37600 176 383 0 37893 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 289628

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

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

[startup+1716.6 s]
/proc/loadavg: 2.09 2.09 2.08 3/179 19541
/proc/meminfo: memFree=26632804/32873648 swapFree=7368/7368
[pid=19176] ppid=19174 vsize=136516 CPUtime=1730.54 cores=1,3,5,7
/proc/19176/stat : 19176 (python) S 19174 19176 15301 0 -1 4202496 58434 1401510 0 2 6889 1121 164239 805 20 0 1 0 338409567 139792384 6393 33554432000 4194304 4196484 140733496008304 140733496000064 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/19176/statm: 34129 6393 1180 1 0 5186 0
[pid=19537] ppid=19176 vsize=153112 CPUtime=69.58 cores=1,3,5,7
/proc/19537/stat : 19537 (clasp-1.3.3-x86) R 19176 19537 19537 0 -1 4202496 38865 0 0 0 6949 9 0 0 20 0 1 0 338574262 156786688 37600 33554432000 134512640 136080129 4287252368 4287251440 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/19537/statm: 38278 37600 176 383 0 37893 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 289628

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19176 and gives
#  childrusage.ru_utime.tv_sec=1711
#  childrusage.ru_utime.tv_usec=290844
#  childrusage.ru_stime.tv_sec=19
#  childrusage.ru_stime.tv_usec=268070
# CPU time returned by wait4() is 1730.56
# while last known CPU time is 1800.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1716.62
CPU time (s): 1800.12
CPU user time (s): 1780.77
CPU system time (s): 19.35
CPU usage (%): 104.864
Max. virtual memory (cumulated for all children) (KiB): 2851656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1711.29
system time used= 19.2681
maximum resident set size= 643860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1459944
page faults= 2
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12908
involuntary context switches= 7029

runsolver used 3.69044 second user time and 9.8355 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 13:27:34
IDJOB=3741029
IDBENCH=89735
IDSOLVER=2323
FILE ID=node149/3741029-1338722853
RUNJOBID= node149-1338713283-15318
PBS_JOBID= 14636730
Free space on /tmp= 70980 MiB

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

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

MD5SUM BENCH= 7b80ddfff13fd2a12f867bbe09bf6414
RANDOM SEED=2007745083

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:        26945300 kB
Buffers:          760224 kB
Cached:          4186356 kB
SwapCached:         2468 kB
Active:          2141760 kB
Inactive:        2886332 kB
Active(anon):      64780 kB
Inactive(anon):     9368 kB
Active(file):    2076980 kB
Inactive(file):  2876964 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             70276 kB
Writeback:             0 kB
AnonPages:         77196 kB
Mapped:            18344 kB
Shmem:                96 kB
Slab:             762164 kB
SReclaimable:     205140 kB
SUnreclaim:       557024 kB
KernelStack:        1456 kB
PageTables:         4276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     188676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70916 MiB
End job on node149 at 2012-06-03 13:56:13