Trace number 2676169

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
borg-pb 10.05.30? (TO) 1800.08 1697.92

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
MD5SUM7f5f10f1b8aeee16c5b46dadab8c5b22
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1020
Total number of constraints43010
Number of constraints which are clauses42840
Number of constraints which are cardinality constraints (but not clauses)170
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint6
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2676169-1277134623/watcher-2676169-1277134623 -o /tmp/evaluation-result-2676169-1277134623/solver-2676169-1277134623 -C 1800 -W 2000 -M 1800 solver HOME/instance-2676169-1277134623.opb 1167183078 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 12370
/proc/meminfo: memFree=1520772/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=16708 CPUtime=0
/proc/12370/stat : 12370 (python) R 12368 12370 12136 0 -1 4202496 762 0 0 0 0 0 0 0 19 0 1 0 54755304 17108992 525 1992294400 4194304 4196484 140736493268832 18446744073709551615 222313601024 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12370/statm: 4178 526 281 1 0 274 0

[startup+0.0420001 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 12370
/proc/meminfo: memFree=1520772/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=17824 CPUtime=0.03
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 1816 0 0 0 2 1 0 0 22 0 1 0 54755304 18251776 841 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313601024 0 2147483391 16781312 2 18446744071699383486 0 0 17 1 0 0 0
/proc/12370/statm: 4456 841 398 1 0 436 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17824

[startup+0.102999 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 12370
/proc/meminfo: memFree=1520772/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=32152 CPUtime=0.09
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 2418 0 0 0 5 4 0 0 22 0 1 0 54755304 32923648 1389 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313601024 0 2147483391 16781312 2 18446744071699383486 0 0 17 1 0 0 0
/proc/12370/statm: 8038 1389 459 1 0 910 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32152

[startup+0.300995 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 12370
/proc/meminfo: memFree=1520772/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=71512 CPUtime=0.26
/proc/12370/stat : 12370 (python) R 12368 12370 12136 0 -1 4202496 4147 0 0 0 18 8 0 0 22 0 1 0 54755304 73228288 2957 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313608759 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12370/statm: 17878 2957 693 1 0 2365 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 71512

[startup+0.700987 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 12370
/proc/meminfo: memFree=1520772/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=101644 CPUtime=0.63
/proc/12370/stat : 12370 (python) R 12368 12370 12136 0 -1 4202496 5618 0 0 0 42 21 0 0 23 0 1 0 54755304 104083456 4288 1992294400 4194304 4196484 140736146512784 18446744073709551615 47675689199552 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12370/statm: 25411 4288 1023 1 0 3268 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 101644

[startup+1.50097 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 12375
/proc/meminfo: memFree=1501172/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=132048 CPUtime=1.19
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 10250 928 0 0 87 32 0 0 17 0 1 0 54755304 135217152 6306 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159836005329808220 0 0 17 1 0 0 0
/proc/12370/statm: 33012 6306 1133 1 0 5164 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 132048

[startup+3.10194 s]
/proc/loadavg: 1.00 0.99 0.91 2/108 12376
/proc/meminfo: memFree=1495584/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=132048 CPUtime=1.29
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 10257 928 0 0 95 34 0 0 15 0 1 0 54755304 135217152 6306 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159836005329808220 0 0 17 1 0 0 0
/proc/12370/statm: 33012 6306 1133 1 0 5164 0
[pid=12376] ppid=12370 vsize=8040 CPUtime=1.76
/proc/12376/stat : 12376 (clasp-1.3.3-x86) R 12370 12376 12376 0 -1 4202496 2066 0 0 0 174 2 0 0 22 0 1 0 54755437 8232960 1750 1992294400 134512640 136080129 4293382848 18446744073709551615 134849501 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12376/statm: 2010 1750 174 383 0 1625 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 140088

[startup+6.30088 s]
/proc/loadavg: 1.00 0.99 0.91 2/108 12376
/proc/meminfo: memFree=1491740/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=132048 CPUtime=1.48
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 10268 928 0 0 110 38 0 0 15 0 1 0 54755304 135217152 6306 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159836005329808220 0 0 17 1 0 0 0
/proc/12370/statm: 33012 6306 1133 1 0 5164 0
[pid=12376] ppid=12370 vsize=10152 CPUtime=4.96
/proc/12376/stat : 12376 (clasp-1.3.3-x86) R 12370 12376 12376 0 -1 4202496 2603 0 0 0 493 3 0 0 25 0 1 0 54755437 10395648 2287 1992294400 134512640 136080129 4293382848 18446744073709551615 134808154 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12376/statm: 2538 2287 174 383 0 2153 0
Current children cumulated CPU time (s) 6.44
Current children cumulated vsize (KiB) 142200

[startup+12.7028 s]
/proc/loadavg: 1.08 1.00 0.92 2/108 12379
/proc/meminfo: memFree=1496452/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=12.14
/proc/12370/stat : 12370 (python) R 12368 12370 12136 0 -1 4202496 11581 4853 0 0 148 45 1016 5 15 0 1 0 54755304 137326592 6328 1992294400 4194304 4196484 140736146512784 18446744073709551615 47675689182725 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12370/statm: 33527 6328 1143 1 0 5164 0
[pid=12379] ppid=12370 vsize=6448 CPUtime=1.11
/proc/12379/stat : 12379 (clasp-1.3.3-x86) R 12370 12379 12379 0 -1 4202496 1689 0 0 0 111 0 0 0 19 0 1 0 54756462 6602752 1374 1992294400 134512640 136080129 4290657760 18446744073709551615 134808135 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12379/statm: 1612 1374 174 383 0 1227 0
Current children cumulated CPU time (s) 13.25
Current children cumulated vsize (KiB) 140556

[startup+25.5025 s]
/proc/loadavg: 1.07 1.00 0.92 2/108 12379
/proc/meminfo: memFree=1488516/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134112 CPUtime=12.92
/proc/12370/stat : 12370 (python) R 12368 12370 12136 0 -1 4202496 11621 4853 0 0 215 56 1016 5 15 0 1 0 54755304 137330688 6328 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313602816 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12370/statm: 33528 6328 1143 1 0 5165 0
[pid=12379] ppid=12370 vsize=12932 CPUtime=13.9
/proc/12379/stat : 12379 (clasp-1.3.3-x86) R 12370 12379 12379 0 -1 4202496 3278 0 0 0 1386 4 0 0 25 0 1 0 54756462 13242368 2963 1992294400 134512640 136080129 4290657760 18446744073709551615 134849651 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12379/statm: 3233 2963 174 383 0 2848 0
Current children cumulated CPU time (s) 26.82
Current children cumulated vsize (KiB) 147044

[startup+51.1 s]
/proc/loadavg: 1.05 1.00 0.92 2/108 12381
/proc/meminfo: memFree=1483928/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=14.47
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 11698 4853 0 0 350 76 1016 5 15 0 1 0 54755304 137326592 6328 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159836005329808220 0 0 17 1 0 0 0
/proc/12370/statm: 33527 6328 1143 1 0 5164 0
[pid=12379] ppid=12370 vsize=17172 CPUtime=39.48
/proc/12379/stat : 12379 (clasp-1.3.3-x86) R 12370 12379 12379 0 -1 4202496 4349 0 0 0 3943 5 0 0 25 0 1 0 54756462 17584128 4034 1992294400 134512640 136080129 4290657760 18446744073709551615 134849717 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12379/statm: 4293 4034 174 383 0 3908 0
Current children cumulated CPU time (s) 53.95
Current children cumulated vsize (KiB) 151280

[startup+102.308 s]
/proc/loadavg: 1.12 1.03 0.93 2/108 12384
/proc/meminfo: memFree=1461236/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=68.1
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 12995 10461 0 0 646 127 6024 13 15 0 1 0 54755304 137326592 6332 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159836005329808220 0 0 17 1 0 0 0
/proc/12370/statm: 33527 6332 1143 1 0 5164 0
[pid=12384] ppid=12370 vsize=41196 CPUtime=40.49
/proc/12384/stat : 12384 (wbo1.4a) R 12370 12384 12384 0 -1 4202496 10488 0 0 0 4017 32 0 0 25 0 1 0 54761484 42184704 9802 1992294400 134512640 135751879 4291853824 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/12384/statm: 10299 9802 139 303 0 9994 0
Current children cumulated CPU time (s) 108.59
Current children cumulated vsize (KiB) 175304

[startup+162.301 s]
/proc/loadavg: 1.08 1.03 0.94 2/108 12389
/proc/meminfo: memFree=1484300/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=122.56
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 14316 23115 0 0 962 167 11074 53 15 0 1 0 54755304 137326592 6333 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159688670771686236 0 0 17 0 0 0 0
/proc/12370/statm: 33527 6333 1143 1 0 5164 0
[pid=12389] ppid=12370 vsize=18064 CPUtime=49.23
/proc/12389/stat : 12389 (clasp-1.3.3-x86) R 12370 12389 12389 0 -1 4202496 4560 0 0 0 4920 3 0 0 25 0 1 0 54766578 18497536 4242 1992294400 134512640 136080129 4294860704 18446744073709551615 134588578 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12389/statm: 4516 4242 174 383 0 4131 0
Current children cumulated CPU time (s) 171.79
Current children cumulated vsize (KiB) 152172

[startup+222.302 s]
/proc/loadavg: 1.07 1.04 0.94 2/108 12394
/proc/meminfo: memFree=1485416/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=226.9
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 15571 29720 0 0 1299 211 21121 59 15 0 1 0 54755304 137326592 6334 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159688670771686236 0 0 17 0 0 0 0
/proc/12370/statm: 33527 6334 1143 1 0 5164 0
[pid=12394] ppid=12370 vsize=17052 CPUtime=8.55
/proc/12394/stat : 12394 (wbo1.4a) R 12370 12394 12394 0 -1 4202496 4484 0 0 0 846 9 0 0 25 0 1 0 54776678 17461248 3797 1992294400 134512640 135751879 4293516112 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12394/statm: 4263 3797 139 303 0 3958 0
Current children cumulated CPU time (s) 235.45
Current children cumulated vsize (KiB) 151160

[startup+282.301 s]
/proc/loadavg: 1.02 1.03 0.94 2/108 12396
/proc/meminfo: memFree=1449456/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=230.35
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 15659 29720 0 0 1604 251 21121 59 15 0 1 0 54755304 137326592 6334 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159688670771686236 0 0 17 0 0 0 0
/proc/12370/statm: 33527 6334 1143 1 0 5164 0
[pid=12394] ppid=12370 vsize=53508 CPUtime=68.51
/proc/12394/stat : 12394 (wbo1.4a) R 12370 12394 12394 0 -1 4202496 13570 0 0 0 6810 41 0 0 25 0 1 0 54776678 54792192 12883 1992294400 134512640 135751879 4293516112 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12394/statm: 13377 12883 139 303 0 13072 0
Current children cumulated CPU time (s) 298.86
Current children cumulated vsize (KiB) 187616

[startup+342.301 s]
/proc/loadavg: 1.08 1.05 0.95 2/108 12401
/proc/meminfo: memFree=1471280/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=335.13
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 16958 47939 0 0 1947 305 31146 115 15 0 1 0 54755304 137326592 6336 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159836005329808220 0 0 17 1 0 0 0
/proc/12370/statm: 33527 6336 1143 1 0 5164 0
[pid=12399] ppid=12370 vsize=31180 CPUtime=27.5
/proc/12399/stat : 12399 (wbo1.4b) R 12370 12399 12399 0 -1 4202496 8006 0 0 0 2729 21 0 0 25 0 1 0 54786766 31928320 7320 1992294400 134512640 135751879 4294446032 18446744073709551615 134616312 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12399/statm: 7795 7320 144 303 0 7490 0
Current children cumulated CPU time (s) 362.63
Current children cumulated vsize (KiB) 165288

[startup+402.301 s]
/proc/loadavg: 1.13 1.07 0.96 2/120 12416
/proc/meminfo: memFree=1333088/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=389.85
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 18277 60403 0 0 2277 361 36197 150 15 0 1 0 54755304 137326592 6337 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159836005329808220 0 0 17 1 0 0 0
/proc/12370/statm: 33527 6337 1143 1 0 5164 0
[pid=12404] ppid=12370 vsize=1480484 CPUtime=37.38
/proc/12404/stat : 12404 (java) S 12370 12404 12404 0 -1 4202496 44528 0 42 0 3711 27 0 0 16 0 13 0 54791886 1516015616 41734 1992294400 134512640 134550932 4286831936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 4
/proc/12404/statm: 370121 41734 1437 10 0 367423 0
[pid=12404/tid=12405] ppid=12370 vsize=1480484 CPUtime=35.52
/proc/12404/task/12405/stat : 12405 (java) R 12370 12404 12404 0 -1 4202560 30955 0 10 0 3532 20 0 0 25 0 13 0 54791893 1516015616 41734 1992294400 134512640 134550932 4286831936 18446744073709551615 4109907963 0 4 0 16800975 0 0 0 -1 0 0 0 4
[pid=12404/tid=12406] ppid=12370 vsize=1480484 CPUtime=0.07
/proc/12404/task/12406/stat : 12406 (java) S 12370 12404 12404 0 -1 4202560 4160 0 0 0 5 2 0 0 18 0 13 0 54791900 1516015616 41734 1992294400 134512640 134550932 4286831936 18446744073709551615 4294960144 0 4 0 16800975 18446604437862004032 0 0 -1 1 0 0 0
[pid=12404/tid=12407] ppid=12370 vsize=1480484 CPUtime=0.07
/proc/12404/task/12407/stat : 12407 (java) S 12370 12404 12404 0 -1 4202560 5231 0 0 0 6 1 0 0 18 0 13 0 54791900 1516015616 41734 1992294400 134512640 134550932 4286831936 18446744073709551615 4294960144 0 4 0 16800975 18446604437862004032 0 0 -1 0 0 0 0
[pid=12404/tid=12408] ppid=12370 vsize=1480484 CPUtime=0

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

/proc/12494/statm: 7497 7146 174 383 0 7112 0
Current children cumulated CPU time (s) 1128.55
Current children cumulated vsize (KiB) 164096

[startup+1122.3 s]
/proc/loadavg: 1.34 1.21 1.07 2/108 12505
/proc/meminfo: memFree=1465556/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=1181.32
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 42294 263204 0 43 6250 980 110517 385 15 0 1 0 54755304 137326592 6347 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159688670771686236 0 0 17 0 0 0 0
/proc/12370/statm: 33527 6347 1143 1 0 5164 0
[pid=12505] ppid=12370 vsize=39572 CPUtime=10.98
/proc/12505/stat : 12505 (bsolo_pb10) R 12370 12505 12505 0 -1 4202496 8610 0 0 0 1089 9 0 0 25 0 1 0 54866428 40521728 7463 1992294400 134512640 137138936 4289108560 18446744073709551615 134542316 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/12505/statm: 9893 7463 192 642 0 9249 0
Current children cumulated CPU time (s) 1192.3
Current children cumulated vsize (KiB) 173680

[startup+1182.3 s]
/proc/loadavg: 1.20 1.19 1.07 2/108 12507
/proc/meminfo: memFree=1406160/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=1184.82
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 42363 263204 0 43 6566 1014 110517 385 15 0 1 0 54755304 137326592 6347 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159688670771686236 0 0 17 0 0 0 0
/proc/12370/statm: 33527 6347 1143 1 0 5164 0
[pid=12505] ppid=12370 vsize=98196 CPUtime=70.59
/proc/12505/stat : 12505 (bsolo_pb10) R 12370 12505 12505 0 -1 4202496 23314 0 0 0 7032 27 0 0 25 0 1 0 54866428 100552704 22121 1992294400 134512640 137138936 4289108560 18446744073709551615 134542199 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/12505/statm: 24549 22121 192 642 0 23905 0
Current children cumulated CPU time (s) 1255.41
Current children cumulated vsize (KiB) 232304

[startup+1242.3 s]
/proc/loadavg: 1.19 1.18 1.08 2/108 12515
/proc/meminfo: memFree=1481552/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=1299.33
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 44878 291242 0 43 6885 1055 121572 421 16 0 1 0 54755304 137326592 6348 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159688670771686236 0 0 17 0 0 0 0
/proc/12370/statm: 33527 6348 1143 1 0 5164 0
[pid=12513] ppid=12370 vsize=14520 CPUtime=19.42
/proc/12513/stat : 12513 (clasp-1.3.3-x86) R 12370 12513 12513 0 -1 4202496 3683 0 0 0 1941 1 0 0 25 0 1 0 54877590 14868480 3362 1992294400 134512640 136080129 4292464000 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12513/statm: 3630 3362 174 383 0 3245 0
Current children cumulated CPU time (s) 1318.75
Current children cumulated vsize (KiB) 148628

[startup+1302.3 s]
/proc/loadavg: 1.15 1.16 1.08 2/108 12515
/proc/meminfo: memFree=1475848/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=1302.73
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 44942 291242 0 43 7185 1095 121572 421 15 0 1 0 54755304 137326592 6348 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159688670771686236 0 0 17 0 0 0 0
/proc/12370/statm: 33527 6348 1143 1 0 5164 0
[pid=12513] ppid=12370 vsize=19872 CPUtime=79.42
/proc/12513/stat : 12513 (clasp-1.3.3-x86) R 12370 12513 12513 0 -1 4202496 5006 0 0 0 7939 3 0 0 25 0 1 0 54877590 20348928 4685 1992294400 134512640 136080129 4292464000 18446744073709551615 134849599 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12513/statm: 4968 4685 174 383 0 4583 0
Current children cumulated CPU time (s) 1382.15
Current children cumulated vsize (KiB) 153980

[startup+1362.3 s]
/proc/loadavg: 1.12 1.14 1.08 2/108 12526
/proc/meminfo: memFree=1482916/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=1427.05
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 48671 305304 0 43 7510 1136 133626 433 15 0 1 0 54755304 137326592 6348 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159688670771686236 0 0 17 0 0 0 0
/proc/12370/statm: 33527 6348 1143 1 0 5164 0
[pid=12526] ppid=12370 vsize=12948 CPUtime=18.43
/proc/12526/stat : 12526 (clasp-1.3.3-x86) R 12370 12526 12526 0 -1 4202496 3309 0 0 0 1841 2 0 0 25 0 1 0 54889679 13258752 2989 1992294400 134512640 136080129 4293377328 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12526/statm: 3237 2989 174 383 0 2852 0
Current children cumulated CPU time (s) 1445.48
Current children cumulated vsize (KiB) 147056

[startup+1422.31 s]
/proc/loadavg: 1.04 1.12 1.07 2/108 12534
/proc/meminfo: memFree=1482668/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=1491.04
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 51217 314556 0 43 7834 1175 139654 441 15 0 1 0 54755304 137326592 6349 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159688670771686236 0 0 17 0 0 0 0
/proc/12370/statm: 33527 6349 1143 1 0 5164 0
[pid=12534] ppid=12370 vsize=12932 CPUtime=17.64
/proc/12534/stat : 12534 (clasp-1.3.3-x86) R 12370 12534 12534 0 -1 4202496 3304 0 0 0 1762 2 0 0 25 0 1 0 54895759 13242368 2981 1992294400 134512640 136080129 4291223408 18446744073709551615 134850002 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12534/statm: 3233 2981 174 383 0 2848 0
Current children cumulated CPU time (s) 1508.68
Current children cumulated vsize (KiB) 147040

[startup+1482.3 s]
/proc/loadavg: 1.17 1.15 1.09 2/108 12545
/proc/meminfo: memFree=1476220/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=1494.46
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 51287 314556 0 43 8139 1212 139654 441 15 0 1 0 54755304 137326592 6349 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159688670771686236 0 0 17 0 0 0 0
/proc/12370/statm: 33527 6349 1143 1 0 5164 0
[pid=12534] ppid=12370 vsize=19344 CPUtime=77.52
/proc/12534/stat : 12534 (clasp-1.3.3-x86) R 12370 12534 12534 0 -1 4202496 4876 0 0 0 7748 4 0 0 25 0 1 0 54895759 19808256 4553 1992294400 134512640 136080129 4291223408 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12534/statm: 4836 4553 174 383 0 4451 0
Current children cumulated CPU time (s) 1571.98
Current children cumulated vsize (KiB) 153452

[startup+1542.3 s]
/proc/loadavg: 1.23 1.16 1.09 2/108 12556
/proc/meminfo: memFree=1482544/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=1618.73
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 55020 328792 0 43 8459 1257 151703 454 15 0 1 0 54755304 137326592 6350 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159688670771686236 0 0 17 0 0 0 0
/proc/12370/statm: 33527 6350 1143 1 0 5164 0
[pid=12554] ppid=12370 vsize=12932 CPUtime=16.79
/proc/12554/stat : 12554 (clasp-1.3.3-x86) R 12370 12554 12554 0 -1 4202496 3304 0 0 0 1678 1 0 0 25 0 1 0 54907853 13242368 2984 1992294400 134512640 136080129 4292091904 18446744073709551615 134849968 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12554/statm: 3233 2984 174 383 0 2848 0
Current children cumulated CPU time (s) 1635.52
Current children cumulated vsize (KiB) 147040

[startup+1602.3 s]
/proc/loadavg: 1.16 1.15 1.09 2/108 12556
/proc/meminfo: memFree=1476220/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134108 CPUtime=1622.13
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 55089 328792 0 43 8760 1296 151703 454 15 0 1 0 54755304 137326592 6350 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159688670771686236 0 0 17 0 0 0 0
/proc/12370/statm: 33527 6350 1143 1 0 5164 0
[pid=12554] ppid=12370 vsize=19372 CPUtime=76.78
/proc/12554/stat : 12554 (clasp-1.3.3-x86) R 12370 12554 12554 0 -1 4202496 4878 0 0 0 7676 2 0 0 25 0 1 0 54907853 19836928 4558 1992294400 134512640 136080129 4292091904 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12554/statm: 4843 4558 174 383 0 4458 0
Current children cumulated CPU time (s) 1698.91
Current children cumulated vsize (KiB) 153480

[startup+1662.3 s]
/proc/loadavg: 1.12 1.14 1.09 2/108 12567
/proc/meminfo: memFree=1482420/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134240 CPUtime=1746.63
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 58936 342972 0 43 9086 1340 163772 465 16 0 1 0 54755304 137461760 6351 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159688670771686236 0 0 17 0 0 0 0
/proc/12370/statm: 33560 6351 1143 1 0 5197 0
[pid=12567] ppid=12370 vsize=12920 CPUtime=15.82
/proc/12567/stat : 12567 (clasp-1.3.3-x86) R 12370 12567 12567 0 -1 4202496 3308 0 0 0 1581 1 0 0 25 0 1 0 54919950 13230080 2983 1992294400 134512640 136080129 4286861136 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12567/statm: 3230 2983 174 383 0 2845 0
Current children cumulated CPU time (s) 1762.45
Current children cumulated vsize (KiB) 147160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1697.9 s]
/proc/loadavg: 1.12 1.13 1.09 2/108 12569
/proc/meminfo: memFree=1476840/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134240 CPUtime=1748.66
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 58994 342972 0 43 9268 1361 163772 465 15 0 1 0 54755304 137461760 6351 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159688670771686236 0 0 17 0 0 0 0
/proc/12370/statm: 33560 6351 1143 1 0 5197 0
[pid=12567] ppid=12370 vsize=18592 CPUtime=51.42
/proc/12567/stat : 12567 (clasp-1.3.3-x86) R 12370 12567 12567 0 -1 4202496 4706 0 0 0 5139 3 0 0 25 0 1 0 54919950 19038208 4381 1992294400 134512640 136080129 4286861136 18446744073709551615 134588617 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12567/statm: 4648 4381 174 383 0 4263 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 152832

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

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

[startup+1697.9 s]
/proc/loadavg: 1.12 1.13 1.09 2/108 12569
/proc/meminfo: memFree=1476840/2059040 swapFree=4140792/4192956
[pid=12370] ppid=12368 vsize=134240 CPUtime=1748.66
/proc/12370/stat : 12370 (python) S 12368 12370 12136 0 -1 4202496 58994 342972 0 43 9268 1361 163772 465 15 0 1 0 54755304 137461760 6351 1992294400 4194304 4196484 140736146512784 18446744073709551615 222313623055 0 0 16781312 2 159688670771686236 0 0 17 0 0 0 0
/proc/12370/statm: 33560 6351 1143 1 0 5197 0
[pid=12567] ppid=12370 vsize=18592 CPUtime=51.42
/proc/12567/stat : 12567 (clasp-1.3.3-x86) R 12370 12567 12567 0 -1 4202496 4706 0 0 0 5139 3 0 0 25 0 1 0 54919950 19038208 4381 1992294400 134512640 136080129 4286861136 18446744073709551615 134588617 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12567/statm: 4648 4381 174 383 0 4263 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 152832

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12370 and gives
#  childrusage.ru_utime.tv_sec=1730
#  childrusage.ru_utime.tv_usec=416936
#  childrusage.ru_stime.tv_sec=18
#  childrusage.ru_stime.tv_usec=264223
# CPU time returned by wait4() is 1748.68
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1697.92
CPU time (s): 1800.08
CPU user time (s): 1781.79
CPU system time (s): 18.29
CPU usage (%): 106.017
Max. virtual memory (cumulated for all children) (KiB): 1615768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1730.42
system time used= 18.2642
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 401966
page faults= 43
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9371
involuntary context switches= 29377

runsolver used 3.38049 second user time and 8.68668 second system time

The end

Launcher Data 

Begin job on node036 at 2010-06-21 17:37:04
IDJOB=2676169
IDBENCH=1369
IDSOLVER=1178
FILE ID=node036/2676169-1277134623
PBS_JOBID= 11182108
Free space on /tmp= 62556 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2676169-1277134623/watcher-2676169-1277134623 -o /tmp/evaluation-result-2676169-1277134623/solver-2676169-1277134623 -C 1800 -W 2000 -M 1800  solver HOME/instance-2676169-1277134623.opb 1167183078 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 7f5f10f1b8aeee16c5b46dadab8c5b22
RANDOM SEED=1167183078

node036.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.251
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.251
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1521176 kB
Buffers:        125076 kB
Cached:         307384 kB
SwapCached:       6380 kB
Active:         233520 kB
Inactive:       212740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1521176 kB
SwapTotal:     4192956 kB
SwapFree:      4140792 kB
Dirty:           24408 kB
Writeback:           0 kB
AnonPages:       11452 kB
Mapped:          12892 kB
Slab:            69740 kB
PageTables:       4104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180804 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62536 MiB
End job on node036 at 2010-06-21 18:05:24