Trace number 3742300

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K196.opb
MD5SUMbcce2e1d61aa4147a6a5a8b58d6d164e
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 variables23324
Total number of constraints23718
Number of constraints which are clauses23522
Number of constraints which are cardinality constraints (but not clauses)196
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint196
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 197
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.98 2.05 2.07 2/175 26813
/proc/meminfo: memFree=26741336/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/26813/stat : 26813 (python) D 26811 26813 21196 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 339259020 15642624 527 33554432000 4194304 5683644 140735303549600 140735303535512 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 3819 527 312 364 0 261 0

[startup+0.0860699 s]
/proc/loadavg: 1.98 2.05 2.07 2/175 26813
/proc/meminfo: memFree=26741336/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=17288 CPUtime=0.01 cores=0,2,4,6
/proc/26813/stat : 26813 (python) D 26811 26813 21196 0 -1 4202496 2063 0 0 0 1 0 0 0 20 0 1 0 339259020 17702912 588 33554432000 4194304 4196484 140736646184720 140736646156696 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 4322 588 342 1 0 257 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17288

[startup+0.100192 s]
/proc/loadavg: 1.98 2.05 2.07 2/175 26813
/proc/meminfo: memFree=26741336/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=17632 CPUtime=0.01 cores=0,2,4,6
/proc/26813/stat : 26813 (python) D 26811 26813 21196 0 -1 4202496 2233 0 0 0 1 0 0 0 20 0 1 0 339259020 18055168 738 33554432000 4194304 4196484 140736646184720 140736646138536 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 4408 738 367 1 0 343 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17632

[startup+0.300155 s]
/proc/loadavg: 1.98 2.05 2.07 2/175 26813
/proc/meminfo: memFree=26741336/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=56784 CPUtime=0.08 cores=0,2,4,6
/proc/26813/stat : 26813 (python) D 26811 26813 21196 0 -1 4202496 4028 0 0 0 5 3 0 0 20 0 1 0 339259020 58146816 2199 33554432000 4194304 4196484 140736646184720 140736646016600 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 14196 2199 603 1 0 1534 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 56784

[startup+0.700205 s]
/proc/loadavg: 1.98 2.05 2.07 2/175 26813
/proc/meminfo: memFree=26741336/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=101564 CPUtime=0.25 cores=0,2,4,6
/proc/26813/stat : 26813 (python) R 26811 26813 21196 0 -1 4202496 6639 506 0 0 16 9 0 0 20 0 1 0 339259020 104001536 4251 33554432000 4194304 4196484 140736646184720 140736646150680 140222011670952 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/26813/statm: 25391 4251 1049 1 0 3193 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 101564

[startup+1.50026 s]
/proc/loadavg: 1.98 2.05 2.07 2/176 26818
/proc/meminfo: memFree=26722216/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=118120 CPUtime=0.43 cores=0,2,4,6
/proc/26813/stat : 26813 (python) D 26811 26813 21196 0 -1 4202496 9597 1012 0 0 29 14 0 0 20 0 1 0 339259020 120954880 5832 33554432000 4194304 4196484 140736646184720 140736646118328 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 29530 5832 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 118120

[startup+3.10022 s]
/proc/loadavg: 1.98 2.05 2.07 3/177 26819
/proc/meminfo: memFree=26713272/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=134456 CPUtime=0.59 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 11249 1012 0 0 43 16 0 0 20 0 1 0 339259020 137682944 6349 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 33614 6349 1170 1 0 5186 0
[pid=26819] ppid=26813 vsize=8344 CPUtime=1.35 cores=0,2,4,6
/proc/26819/stat : 26819 (clasp-1.3.3-x86) R 26813 26819 26819 0 -1 4202496 2279 0 0 0 135 0 0 0 20 0 1 0 339259194 8544256 1814 33554432000 134512640 136080129 4287519984 4287519056 134849100 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26819/statm: 2086 1814 175 383 0 1701 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 142800
heavy processes:

[startup+6.30016 s]
/proc/loadavg: 1.98 2.05 2.07 3/177 26819
/proc/meminfo: memFree=26712160/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=134456 CPUtime=0.73 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 11258 1012 0 0 55 18 0 0 20 0 1 0 339259020 137682944 6349 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 33614 6349 1170 1 0 5186 0
[pid=26819] ppid=26813 vsize=9136 CPUtime=4.55 cores=0,2,4,6
/proc/26819/stat : 26819 (clasp-1.3.3-x86) R 26813 26819 26819 0 -1 4202496 2484 0 0 0 455 0 0 0 20 0 1 0 339259194 9355264 2019 33554432000 134512640 136080129 4287519984 4287518976 134588661 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26819/statm: 2284 2019 175 383 0 1899 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 143592

[startup+12.7001 s]
/proc/loadavg: 1.99 2.05 2.07 4/177 26822
/proc/meminfo: memFree=26715424/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=11.57 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 12507 4746 0 0 82 23 1052 0 20 0 1 0 339259020 139792384 6369 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6369 1180 1 0 5186 0
[pid=26822] ppid=26813 vsize=8080 CPUtime=0.41 cores=0,2,4,6
/proc/26822/stat : 26822 (clasp-1.3.3-x86) R 26813 26822 26822 0 -1 4202496 2210 0 0 0 41 0 0 0 20 0 1 0 339260248 8273920 1748 33554432000 134512640 136080129 4288332800 4288331792 134588864 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2020 1748 175 383 0 1635 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 144596

[startup+25.5003 s]
/proc/loadavg: 1.99 2.05 2.07 3/177 26825
/proc/meminfo: memFree=26710564/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=12.14 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 12534 4746 0 0 131 31 1052 0 20 0 1 0 339259020 139792384 6369 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6369 1180 1 0 5186 0
[pid=26822] ppid=26813 vsize=10720 CPUtime=13.21 cores=0,2,4,6
/proc/26822/stat : 26822 (clasp-1.3.3-x86) R 26813 26822 26822 0 -1 4202496 2866 0 0 0 1321 0 0 0 20 0 1 0 339260248 10977280 2404 33554432000 134512640 136080129 4288332800 4288331872 134849931 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 2680 2404 175 383 0 2295 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 147236

[startup+51.1001 s]
/proc/loadavg: 2.06 2.06 2.07 3/177 26826
/proc/meminfo: memFree=26671836/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=13.26 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 12559 4746 0 0 228 46 1052 0 20 0 1 0 339259020 139792384 6369 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6369 1180 1 0 5186 0
[pid=26822] ppid=26813 vsize=12436 CPUtime=38.81 cores=0,2,4,6
/proc/26822/stat : 26822 (clasp-1.3.3-x86) R 26813 26822 26822 0 -1 4202496 3295 0 0 0 3880 1 0 0 20 0 1 0 339260248 12734464 2832 33554432000 134512640 136080129 4288332800 4288331872 134716422 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26822/statm: 3109 2832 175 383 0 2724 0
Current children cumulated CPU time (s) 52.07
Current children cumulated vsize (KiB) 148952

[startup+102.3 s]
/proc/loadavg: 2.09 2.06 2.07 3/178 26832
/proc/meminfo: memFree=26527892/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=66.1 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 13735 9156 0 0 450 79 6079 2 20 0 1 0 339259020 139792384 6374 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6374 1180 1 0 5186 0
[pid=26829] ppid=26813 vsize=73052 CPUtime=39.68 cores=0,2,4,6
/proc/26829/stat : 26829 (wbo1.4a) R 26813 26829 26829 0 -1 4202496 18368 0 0 0 3859 109 0 0 20 0 1 0 339265280 74805248 17661 33554432000 134512640 135751879 4289118192 4289116444 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/26829/statm: 18263 17661 139 303 0 17958 0
Current children cumulated CPU time (s) 105.78
Current children cumulated vsize (KiB) 209568

[startup+162.3 s]
/proc/loadavg: 2.08 2.06 2.07 3/177 26838
/proc/meminfo: memFree=26545316/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=120.29 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 14979 33033 0 0 685 112 11101 131 20 0 1 0 339259020 139792384 6376 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6376 1180 1 0 5186 0
[pid=26835] ppid=26813 vsize=13264 CPUtime=48.15 cores=0,2,4,6
/proc/26835/stat : 26835 (clasp-1.3.3-x86) R 26813 26835 26835 0 -1 4202496 3510 0 0 0 4815 0 0 0 20 0 1 0 339270433 13582336 3041 33554432000 134512640 136080129 4287576544 4287575616 134849100 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/26835/statm: 3316 3041 175 383 0 2931 0
Current children cumulated CPU time (s) 168.44
Current children cumulated vsize (KiB) 149780

[startup+222.3 s]
/proc/loadavg: 2.13 2.08 2.08 3/195 26862
/proc/meminfo: memFree=26526196/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=223.24 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 16224 38027 0 0 938 149 21104 133 20 0 1 0 339259020 139792384 6377 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6377 1180 1 0 5186 0
[pid=26862] ppid=26813 vsize=24468 CPUtime=8.09 cores=0,2,4,6
/proc/26862/stat : 26862 (wbo1.4a) R 26813 26862 26862 0 -1 4202496 6230 0 0 0 782 27 0 0 20 0 1 0 339280440 25055232 5520 33554432000 134512640 135751879 4293157744 4293155996 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/26862/statm: 6117 5520 139 303 0 5812 0
Current children cumulated CPU time (s) 231.33
Current children cumulated vsize (KiB) 160984

[startup+282.3 s]
/proc/loadavg: 2.09 2.08 2.08 3/177 26865
/proc/meminfo: memFree=26535620/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=225.94 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 16263 38027 0 0 1174 183 21104 133 20 0 1 0 339259020 139792384 6377 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6377 1180 1 0 5186 0
[pid=26862] ppid=26813 vsize=115592 CPUtime=68.07 cores=0,2,4,6
/proc/26862/stat : 26862 (wbo1.4a) R 26813 26862 26862 0 -1 4202496 29022 0 0 0 6638 169 0 0 20 0 1 0 339280440 118366208 28321 33554432000 134512640 135751879 4293157744 4293155996 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/26862/statm: 28898 28321 139 303 0 28593 0
Current children cumulated CPU time (s) 294.01
Current children cumulated vsize (KiB) 252108

[startup+342.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/177 26869
/proc/meminfo: memFree=26333524/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=331.13 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 17483 83190 0 0 1413 218 31122 360 20 0 1 0 339259020 139792384 6377 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6377 1180 1 0 5186 0
[pid=26868] ppid=26813 vsize=149028 CPUtime=25.6 cores=0,2,4,6
/proc/26868/stat : 26868 (wbo1.4b) R 26813 26868 26868 0 -1 4202496 37337 0 0 0 2555 5 0 0 20 0 1 0 339290689 152604672 36627 33554432000 134512640 135751879 4292041312 4292030704 134524613 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/26868/statm: 37257 36627 142 303 0 36952 0
Current children cumulated CPU time (s) 356.73
Current children cumulated vsize (KiB) 285544

[startup+402.301 s]
/proc/loadavg: 2.03 2.06 2.07 3/195 26893
/proc/meminfo: memFree=26512996/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=384.26 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 18719 135812 0 0 1646 253 36157 370 20 0 1 0 339259020 139792384 6379 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6379 1180 1 0 5186 0

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

/proc/26813/statm: 34129 6387 1180 1 0 5186 0
[pid=27071] ppid=26813 vsize=19796 CPUtime=8.04 cores=0,2,4,6
/proc/27071/stat : 27071 (bsolo_pb10) R 26813 27071 27071 0 -1 4202496 3173 0 0 0 803 1 0 0 20 0 1 0 339370445 20271104 2418 33554432000 134512640 137138936 4288123920 4287842732 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/27071/statm: 4949 2418 184 642 0 4305 0
Current children cumulated CPU time (s) 1173.95
Current children cumulated vsize (KiB) 156312

[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/177 27080
/proc/meminfo: memFree=26631228/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=1168.67 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 42182 332584 0 2 4789 700 110858 520 20 0 1 0 339259020 139792384 6387 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6387 1180 1 0 5186 0
[pid=27071] ppid=26813 vsize=105004 CPUtime=67.99 cores=0,2,4,6
/proc/27071/stat : 27071 (bsolo_pb10) R 26813 27071 27071 0 -1 4202496 24768 0 0 0 6773 26 0 0 20 0 1 0 339370445 107524096 23740 33554432000 134512640 137138936 4288123920 4288122848 134542307 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/27071/statm: 26251 23740 192 642 0 25607 0
Current children cumulated CPU time (s) 1236.66
Current children cumulated vsize (KiB) 241520

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.05 4/177 27092
/proc/meminfo: memFree=26716068/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=1282.71 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 44667 365630 0 2 5026 735 121956 554 20 0 1 0 339259020 139792384 6388 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6388 1180 1 0 5186 0
[pid=27092] ppid=26813 vsize=10984 CPUtime=16.64 cores=0,2,4,6
/proc/27092/stat : 27092 (clasp-1.3.3-x86) R 26813 27092 27092 0 -1 4202496 2946 0 0 0 1664 0 0 0 20 0 1 0 339381585 11247616 2478 33554432000 134512640 136080129 4293344512 4293343456 134716386 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27092/statm: 2746 2478 175 383 0 2361 0
Current children cumulated CPU time (s) 1299.35
Current children cumulated vsize (KiB) 147500

[startup+1302.3 s]
/proc/loadavg: 2.19 2.07 2.06 3/178 27096
/proc/meminfo: memFree=26706736/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=1285.37 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 44692 365630 0 2 5257 770 121956 554 20 0 1 0 339259020 139792384 6388 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6388 1180 1 0 5186 0
[pid=27092] ppid=26813 vsize=16996 CPUtime=76.63 cores=0,2,4,6
/proc/27092/stat : 27092 (clasp-1.3.3-x86) R 26813 27092 27092 0 -1 4202496 4439 0 0 0 7662 1 0 0 20 0 1 0 339381585 17403904 3970 33554432000 134512640 136080129 4293344512 4293343584 134849904 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27092/statm: 4249 3970 175 383 0 3864 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 153512

[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 2.05 4/177 27114
/proc/meminfo: memFree=26714692/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=1409.19 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 48409 378449 0 2 5498 804 134060 557 20 0 1 0 339259020 139792384 6388 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6388 1180 1 0 5186 0
[pid=27114] ppid=26813 vsize=10984 CPUtime=15.5 cores=0,2,4,6
/proc/27114/stat : 27114 (clasp-1.3.3-x86) R 26813 27114 27114 0 -1 4202496 2959 0 0 0 1550 0 0 0 20 0 1 0 339393698 11247616 2491 33554432000 134512640 136080129 4287746832 4287745904 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27114/statm: 2746 2491 175 383 0 2361 0
Current children cumulated CPU time (s) 1424.69
Current children cumulated vsize (KiB) 147500

[startup+1422.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/177 27120
/proc/meminfo: memFree=26710648/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=1472.74 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 50894 386708 0 2 5738 836 140141 559 20 0 1 0 339259020 139792384 6388 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6388 1180 1 0 5186 0
[pid=27120] ppid=26813 vsize=10852 CPUtime=14.63 cores=0,2,4,6
/proc/27120/stat : 27120 (clasp-1.3.3-x86) R 26813 27120 27120 0 -1 4202496 2900 0 0 0 1463 0 0 0 20 0 1 0 339399785 11112448 2435 33554432000 134512640 136080129 4290691696 4290690832 134610270 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27120/statm: 2713 2435 175 383 0 2328 0
Current children cumulated CPU time (s) 1487.37
Current children cumulated vsize (KiB) 147368

[startup+1482.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/177 27129
/proc/meminfo: memFree=26712840/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=1475.37 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 50924 386708 0 2 5967 870 140141 559 20 0 1 0 339259020 139792384 6388 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6388 1180 1 0 5186 0
[pid=27120] ppid=26813 vsize=13936 CPUtime=74.62 cores=0,2,4,6
/proc/27120/stat : 27120 (clasp-1.3.3-x86) R 26813 27120 27120 0 -1 4202496 3672 0 0 0 7462 0 0 0 20 0 1 0 339399785 14270464 3206 33554432000 134512640 136080129 4290691696 4290690768 134849100 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27120/statm: 3484 3206 175 383 0 3099 0
Current children cumulated CPU time (s) 1549.99
Current children cumulated vsize (KiB) 150452

[startup+1542.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/177 27182
/proc/meminfo: memFree=26717320/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=1598.73 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 54654 399359 0 2 6209 907 152194 563 20 0 1 0 339259020 139792384 6390 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6390 1180 1 0 5186 0
[pid=27162] ppid=26813 vsize=11248 CPUtime=14 cores=0,2,4,6
/proc/27162/stat : 27162 (clasp-1.3.3-x86) R 26813 27162 27162 0 -1 4202496 3008 0 0 0 1395 5 0 0 20 0 1 0 339411848 11517952 2543 33554432000 134512640 136080129 4290360320 4290359392 134849989 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 2812 2543 175 383 0 2427 0
Current children cumulated CPU time (s) 1612.73
Current children cumulated vsize (KiB) 147764

[startup+1602.3 s]
/proc/loadavg: 2.13 2.08 2.05 3/177 27189
/proc/meminfo: memFree=26699668/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=1601.37 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 54679 399359 0 2 6436 944 152194 563 20 0 1 0 339259020 139792384 6390 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6390 1180 1 0 5186 0
[pid=27162] ppid=26813 vsize=16132 CPUtime=73.98 cores=0,2,4,6
/proc/27162/stat : 27162 (clasp-1.3.3-x86) R 26813 27162 27162 0 -1 4202496 4243 0 0 0 7393 5 0 0 20 0 1 0 339411848 16519168 3780 33554432000 134512640 136080129 4290360320 4290359392 134849100 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 4033 3780 175 383 0 3648 0
Current children cumulated CPU time (s) 1675.35
Current children cumulated vsize (KiB) 152648

[startup+1662.3 s]
/proc/loadavg: 2.10 2.08 2.05 3/177 27201
/proc/meminfo: memFree=26717608/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=1725.76 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 58376 411980 0 2 6679 978 164347 572 20 0 1 0 339259020 139792384 6392 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6392 1180 1 0 5186 0
[pid=27201] ppid=26813 vsize=10852 CPUtime=12.34 cores=0,2,4,6
/proc/27201/stat : 27201 (clasp-1.3.3-x86) R 26813 27201 27201 0 -1 4202496 2907 0 0 0 1234 0 0 0 20 0 1 0 339424015 11112448 2440 33554432000 134512640 136080129 4292392688 4292391616 134842272 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27201/statm: 2713 2440 175 383 0 2328 0
Current children cumulated CPU time (s) 1738.1
Current children cumulated vsize (KiB) 147368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1721.6 s]
/proc/loadavg: 2.04 2.06 2.05 3/177 27201
/proc/meminfo: memFree=26708676/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=1728.36 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 58409 411980 0 2 6908 1009 164347 572 20 0 1 0 339259020 139792384 6392 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6392 1180 1 0 5186 0
[pid=27201] ppid=26813 vsize=13912 CPUtime=71.63 cores=0,2,4,6
/proc/27201/stat : 27201 (clasp-1.3.3-x86) R 26813 27201 27201 0 -1 4202496 3681 0 0 0 7163 0 0 0 20 0 1 0 339424015 14245888 3211 33554432000 134512640 136080129 4292392688 4292391696 134842506 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27201/statm: 3478 3211 175 383 0 3093 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 150428

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

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

[startup+1721.6 s]
/proc/loadavg: 2.04 2.06 2.05 3/177 27201
/proc/meminfo: memFree=26708676/32873624 swapFree=7112/7112
[pid=26813] ppid=26811 vsize=136516 CPUtime=1728.36 cores=0,2,4,6
/proc/26813/stat : 26813 (python) S 26811 26813 21196 0 -1 4202496 58409 411980 0 2 6908 1009 164347 572 20 0 1 0 339259020 139792384 6392 33554432000 4194304 4196484 140736646184720 140736646176480 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/26813/statm: 34129 6392 1180 1 0 5186 0
[pid=27201] ppid=26813 vsize=13912 CPUtime=71.63 cores=0,2,4,6
/proc/27201/stat : 27201 (clasp-1.3.3-x86) R 26813 27201 27201 0 -1 4202496 3681 0 0 0 7163 0 0 0 20 0 1 0 339424015 14245888 3211 33554432000 134512640 136080129 4292392688 4292391696 134842506 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/27201/statm: 3478 3211 175 383 0 3093 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 150428

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26813 and gives
#  childrusage.ru_utime.tv_sec=1712
#  childrusage.ru_utime.tv_usec=560651
#  childrusage.ru_stime.tv_sec=15
#  childrusage.ru_stime.tv_usec=824594
# CPU time returned by wait4() is 1728.39
# while last known CPU time is 1799.99
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0900269
#  lost CPU user time (s): 0.120026
#  lost CPU system time (s): -0.0300002

Real time (s): 1721.61
CPU time (s): 1800.08
CPU user time (s): 1784.3
CPU system time (s): 15.78
CPU usage (%): 104.558
Max. virtual memory (cumulated for all children) (KiB): 2851656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1712.56
system time used= 15.8246
maximum resident set size= 259900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470389
page faults= 2
swaps= 0
block input operations= 0
block output operations= 248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11087
involuntary context switches= 3048

runsolver used 3.56046 second user time and 8.65368 second system time

The end

Launcher Data 

Begin job on node121 at 2012-06-03 15:48:55
IDJOB=3742300
IDBENCH=90154
IDSOLVER=2323
FILE ID=node121/3742300-1338731335
RUNJOBID= node121-1338714575-21212
PBS_JOBID= 14636757
Free space on /tmp= 71232 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K196.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742300-1338731335/watcher-3742300-1338731335 -o /tmp/evaluation-result-3742300-1338731335/solver-3742300-1338731335 -C 1800 -W 1900 -M 15500  solver HOME/instance-3742300-1338731335.opb 970172608 

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

MD5SUM BENCH= bcce2e1d61aa4147a6a5a8b58d6d164e
RANDOM SEED=970172608

node121.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		: 2667.042
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	: 5334.08
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		: 2667.042
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		: 2667.042
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		: 2667.042
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		: 2667.042
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		: 2667.042
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.91
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		: 2667.042
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	: 5438.55
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		: 2667.042
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:       32873624 kB
MemFree:        26741600 kB
Buffers:          654808 kB
Cached:          4543652 kB
SwapCached:            0 kB
Active:          1941340 kB
Inactive:        3306780 kB
Active(anon):      37748 kB
Inactive(anon):    10760 kB
Active(file):    1903592 kB
Inactive(file):  3296020 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             22224 kB
Writeback:             0 kB
AnonPages:         52808 kB
Mapped:            18304 kB
Shmem:               200 kB
Slab:             745280 kB
SReclaimable:     188872 kB
SUnreclaim:       556408 kB
KernelStack:        1440 kB
PageTables:         4488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     149984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 71212 MiB
End job on node121 at 2012-06-03 16:17:39