Trace number 2676290

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 1700.42

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUMd484bc8efed557f17788965b19feafe5
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 variables4602
Total number of constraints30179
Number of constraints which are clauses29160
Number of constraints which are cardinality constraints (but not clauses)941
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 103
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.45 0.95 0.80 3/105 10044
/proc/meminfo: memFree=1611328/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=16708 CPUtime=0
/proc/10044/stat : 10044 (python) R 10042 10044 9753 0 -1 4202496 740 0 0 0 0 0 0 0 19 0 1 0 54784321 17108992 506 1992294400 4194304 4196484 140734636357840 18446744073709551615 207238935237 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10044/statm: 4177 509 272 1 0 273 0

[startup+0.0173811 s]
/proc/loadavg: 1.45 0.95 0.80 3/105 10044
/proc/meminfo: memFree=1611328/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=216 CPUtime=0
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4194304 961 0 0 0 0 0 0 0 21 0 1 0 54784321 221184 29 1992294400 4194304 4196484 140737039565952 18446744073709551615 207234350727 0 2147483391 16781312 0 18446744071699326142 0 0 17 0 0 0 0
/proc/10044/statm: 54 29 22 1 0 22 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 216

[startup+0.103898 s]
/proc/loadavg: 1.45 0.95 0.80 3/105 10044
/proc/meminfo: memFree=1611328/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=34220 CPUtime=0.09
/proc/10044/stat : 10044 (python) R 10042 10044 9753 0 -1 4202496 2421 0 0 0 5 4 0 0 21 0 1 0 54784321 35041280 1394 1992294400 4194304 4196484 140737039565952 18446744073709551615 47739379394024 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10044/statm: 8555 1394 462 1 0 912 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34220

[startup+0.30091 s]
/proc/loadavg: 1.45 0.95 0.80 3/105 10044
/proc/meminfo: memFree=1611328/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=71512 CPUtime=0.26
/proc/10044/stat : 10044 (python) R 10042 10044 9753 0 -1 4202496 4230 0 0 0 17 9 0 0 21 0 1 0 54784321 73228288 3014 1992294400 4194304 4196484 140737039565952 18446744073709551615 47739378754539 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10044/statm: 17878 3014 706 1 0 2365 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 71512

[startup+0.700957 s]
/proc/loadavg: 1.45 0.95 0.80 3/105 10044
/proc/meminfo: memFree=1611328/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=104300 CPUtime=0.63
/proc/10044/stat : 10044 (python) R 10042 10044 9753 0 -1 4202496 6161 930 0 0 40 23 0 0 21 0 1 0 54784321 106803200 4406 1992294400 4194304 4196484 140737039565952 18446744073709551615 47739379696160 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10044/statm: 26075 4406 1028 1 0 3416 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 104300

[startup+1.50104 s]
/proc/loadavg: 1.42 0.95 0.80 2/106 10049
/proc/meminfo: memFree=1591604/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=132060 CPUtime=1.15
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 10254 930 0 0 81 34 0 0 23 0 1 0 54784321 135229440 6308 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33015 6308 1133 1 0 5167 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 132060

[startup+3.10119 s]
/proc/loadavg: 1.42 0.95 0.80 2/107 10050
/proc/meminfo: memFree=1587008/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=132060 CPUtime=1.24
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 10260 930 0 0 89 35 0 0 16 0 1 0 54784321 135229440 6308 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33015 6308 1133 1 0 5167 0
[pid=10050] ppid=10044 vsize=5316 CPUtime=1.84
/proc/10050/stat : 10050 (clasp-1.3.3-x86) R 10044 10050 10050 0 -1 4202496 1392 0 0 0 184 0 0 0 25 0 1 0 54784445 5443584 1077 1992294400 134512640 136080129 4291361984 18446744073709551615 134804904 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10050/statm: 1329 1077 175 383 0 944 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 137376

[startup+6.3005 s]
/proc/loadavg: 1.42 0.95 0.80 2/107 10050
/proc/meminfo: memFree=1585148/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=132060 CPUtime=1.42
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 10272 930 0 0 106 36 0 0 15 0 1 0 54784321 135229440 6308 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33015 6308 1133 1 0 5167 0
[pid=10050] ppid=10044 vsize=6240 CPUtime=5.02
/proc/10050/stat : 10050 (clasp-1.3.3-x86) R 10044 10050 10050 0 -1 4202496 1623 0 0 0 502 0 0 0 25 0 1 0 54784445 6389760 1308 1992294400 134512640 136080129 4291361984 18446744073709551615 134607900 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10050/statm: 1560 1308 175 383 0 1175 0
Current children cumulated CPU time (s) 6.44
Current children cumulated vsize (KiB) 138300

[startup+12.7021 s]
/proc/loadavg: 1.50 0.98 0.81 2/107 10053
/proc/meminfo: memFree=1587132/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=11.98
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 11594 3680 0 0 145 42 1009 2 16 0 1 0 54784321 137338880 6330 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159836005329808235 0 0 17 1 0 0 0
/proc/10044/statm: 33530 6330 1143 1 0 5167 0
[pid=10053] ppid=10044 vsize=4920 CPUtime=1.26
/proc/10053/stat : 10053 (clasp-1.3.3-x86) R 10044 10053 10053 0 -1 4202496 1293 0 0 0 126 0 0 0 22 0 1 0 54785465 5038080 979 1992294400 134512640 136080129 4291413232 18446744073709551615 134610270 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/10053/statm: 1230 979 175 383 0 845 0
Current children cumulated CPU time (s) 13.24
Current children cumulated vsize (KiB) 139040

[startup+25.5014 s]
/proc/loadavg: 1.42 0.98 0.81 2/107 10053
/proc/meminfo: memFree=1583668/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=12.7
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 11644 3680 0 0 209 50 1009 2 15 0 1 0 54784321 137338880 6330 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159836005329808235 0 0 17 1 0 0 0
/proc/10044/statm: 33530 6330 1143 1 0 5167 0
[pid=10053] ppid=10044 vsize=8092 CPUtime=14.05
/proc/10053/stat : 10053 (clasp-1.3.3-x86) R 10044 10053 10053 0 -1 4202496 2081 0 0 0 1405 0 0 0 25 0 1 0 54785465 8286208 1767 1992294400 134512640 136080129 4291413232 18446744073709551615 134845739 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/10053/statm: 2023 1767 175 383 0 1638 0
Current children cumulated CPU time (s) 26.75
Current children cumulated vsize (KiB) 142212

[startup+51.1008 s]
/proc/loadavg: 1.28 0.98 0.82 2/107 10053
/proc/meminfo: memFree=1581560/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=14.13
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 11719 3680 0 0 334 68 1009 2 15 0 1 0 54784321 137338880 6330 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159836005329808235 0 0 17 1 0 0 0
/proc/10044/statm: 33530 6330 1143 1 0 5167 0
[pid=10053] ppid=10044 vsize=10324 CPUtime=39.64
/proc/10053/stat : 10053 (clasp-1.3.3-x86) R 10044 10053 10053 0 -1 4202496 2645 0 0 0 3962 2 0 0 25 0 1 0 54785465 10571776 2331 1992294400 134512640 136080129 4291413232 18446744073709551615 134579981 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/10053/statm: 2581 2331 175 383 0 2196 0
Current children cumulated CPU time (s) 53.77
Current children cumulated vsize (KiB) 144444

[startup+102.309 s]
/proc/loadavg: 1.17 1.00 0.83 3/107 10058
/proc/meminfo: memFree=1525264/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=67.96
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 13039 7527 0 0 634 105 6051 6 15 0 1 0 54784321 137338880 6333 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33530 6333 1143 1 0 5167 0
[pid=10056] ppid=10044 vsize=68020 CPUtime=40.11
/proc/10056/stat : 10056 (wbo1.4a) R 10044 10056 10056 0 -1 4202496 17069 0 0 0 3981 30 0 0 25 0 1 0 54790516 69652480 16491 1992294400 134512640 135751879 4294524576 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10056/statm: 17005 16491 139 303 0 16700 0
Current children cumulated CPU time (s) 108.07
Current children cumulated vsize (KiB) 202140

[startup+162.301 s]
/proc/loadavg: 1.12 1.02 0.84 2/107 10063
/proc/meminfo: memFree=1580692/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=122.04
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 14378 28877 0 0 942 148 11069 45 15 0 1 0 54784321 137338880 6334 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159836005329808235 0 0 17 1 0 0 0
/proc/10044/statm: 33530 6334 1143 1 0 5167 0
[pid=10061] ppid=10044 vsize=11464 CPUtime=49.44
/proc/10061/stat : 10061 (clasp-1.3.3-x86) R 10044 10061 10061 0 -1 4202496 2937 0 0 0 4943 1 0 0 25 0 1 0 54795604 11739136 2620 1992294400 134512640 136080129 4286824800 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/10061/statm: 2866 2620 175 383 0 2481 0
Current children cumulated CPU time (s) 171.48
Current children cumulated vsize (KiB) 145584

[startup+222.301 s]
/proc/loadavg: 1.08 1.03 0.85 2/107 10068
/proc/meminfo: memFree=1567052/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=226.09
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 15638 33180 0 0 1276 192 21093 48 15 0 1 0 54784321 137338880 6335 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33530 6335 1143 1 0 5167 0
[pid=10066] ppid=10044 vsize=26520 CPUtime=9.06
/proc/10066/stat : 10066 (wbo1.4a) R 10044 10066 10066 0 -1 4202496 6721 0 0 0 889 17 0 0 25 0 1 0 54805639 27156480 6141 1992294400 134512640 135751879 4287691088 18446744073709551615 134616486 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10066/statm: 6630 6141 139 303 0 6325 0
Current children cumulated CPU time (s) 235.15
Current children cumulated vsize (KiB) 160640

[startup+282.301 s]
/proc/loadavg: 1.03 1.02 0.86 2/107 10068
/proc/meminfo: memFree=1496372/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=229.58
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 15714 33180 0 0 1593 224 21093 48 15 0 1 0 54784321 137338880 6335 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33530 6335 1143 1 0 5167 0
[pid=10066] ppid=10044 vsize=97488 CPUtime=68.68
/proc/10066/stat : 10066 (wbo1.4a) R 10044 10066 10066 0 -1 4202496 24440 0 0 0 6817 51 0 0 25 0 1 0 54805639 99827712 23860 1992294400 134512640 135751879 4287691088 18446744073709551615 134516977 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10066/statm: 24372 23860 139 303 0 24067 0
Current children cumulated CPU time (s) 298.26
Current children cumulated vsize (KiB) 231608

[startup+342.301 s]
/proc/loadavg: 1.08 1.03 0.87 2/107 10073
/proc/meminfo: memFree=1540144/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=334.64
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 17028 68169 0 0 1942 266 31138 118 15 0 1 0 54784321 137338880 6337 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33530 6337 1143 1 0 5167 0
[pid=10073] ppid=10044 vsize=53332 CPUtime=27.15
/proc/10073/stat : 10073 (wbo1.4b) R 10044 10073 10073 0 -1 4202496 13544 0 0 0 2690 25 0 0 25 0 1 0 54815819 54611968 12844 1992294400 134512640 135751879 4288956976 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10073/statm: 13333 12844 144 303 0 13028 0
Current children cumulated CPU time (s) 361.79
Current children cumulated vsize (KiB) 187452

[startup+402.302 s]
/proc/loadavg: 1.07 1.04 0.88 2/119 10090
/proc/meminfo: memFree=1439160/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=388.88
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 18366 89552 0 0 2273 301 36153 161 15 0 1 0 54784321 137338880 6338 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33530 6338 1143 1 0 5167 0
[pid=10076] ppid=10044 vsize=1480628 CPUtime=37.08
/proc/10076/stat : 10076 (java) S 10044 10076 10076 0 -1 4202496 37700 0 92 0 3688 20 0 0 17 0 13 0 54820910 1516163072 36346 1992294400 134512640 134550932 4289870384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6
/proc/10076/statm: 370157 36346 1437 10 0 367459 0
[pid=10076/tid=10077] ppid=10044 vsize=1480628 CPUtime=35.07
/proc/10076/task/10077/stat : 10077 (java) R 10044 10076 10076 0 -1 4202560 30882 0 58 0 3493 14 0 0 25 0 13 0 54820919 1516163072 36346 1992294400 134512640 134550932 4289870384 18446744073709551615 4109872276 0 4 0 16800975 0 0 0 -1 1 0 0 14
[pid=10076/tid=10078] ppid=10044 vsize=1480628 CPUtime=0.02
/proc/10076/task/10078/stat : 10078 (java) S 10044 10076 10076 0 -1 4202560 1286 0 0 0 2 0 0 0 18 0 13 0 54820924 1516163072 36346 1992294400 134512640 134550932 4289870384 18446744073709551615 4294960144 0 4 0 16800975 18446604436863736640 0 0 -1 0 0 0 0
[pid=10076/tid=10079] ppid=10044 vsize=1480628 CPUtime=0.02
/proc/10076/task/10079/stat : 10079 (java) S 10044 10076 10076 0 -1 4202560 1578 0 0 0 2 0 0 0 18 0 13 0 54820924 1516163072 36346 1992294400 134512640 134550932 4289870384 18446744073709551615 4294960144 0 4 0 16800975 18446604436863736640 0 0 -1 1 0 0 0
[pid=10076/tid=10080] ppid=10044 vsize=1480628 CPUtime=0

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

/proc/10166/statm: 4617 4368 175 383 0 4232 0
Current children cumulated CPU time (s) 1063.45
Current children cumulated vsize (KiB) 152588

[startup+1062.3 s]
/proc/loadavg: 1.01 1.05 0.95 2/107 10174
/proc/meminfo: memFree=1560900/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=875.46
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 41369 332212 0 93 5890 744 80514 398 15 0 1 0 54784321 137338880 6348 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159836005329808235 0 0 17 1 0 0 0
/proc/10044/statm: 33530 6348 1143 1 0 5167 0
[pid=10166] ppid=10044 vsize=19528 CPUtime=251.35
/proc/10166/stat : 10166 (clasp-1.3.3-x86) R 10044 10166 10166 0 -1 4202496 5054 0 0 0 25132 3 0 0 25 0 1 0 54865403 19996672 4625 1992294400 134512640 136080129 4293788704 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/10166/statm: 4882 4625 175 383 0 4497 0
Current children cumulated CPU time (s) 1126.81
Current children cumulated vsize (KiB) 153648

[startup+1122.3 s]
/proc/loadavg: 1.05 1.05 0.96 2/107 10179
/proc/meminfo: memFree=1540440/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=1179.51
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 42644 338514 0 93 6226 786 110535 404 15 0 1 0 54784321 137338880 6350 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33530 6350 1143 1 0 5167 0
[pid=10177] ppid=10044 vsize=49360 CPUtime=10.95
/proc/10177/stat : 10177 (bsolo_pb10) R 10044 10177 10177 0 -1 4202496 11234 0 0 0 1085 10 0 0 25 0 1 0 54895448 50544640 9921 1992294400 134512640 137138936 4293889760 18446744073709551615 134542187 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/10177/statm: 12340 9921 192 642 0 11696 0
Current children cumulated CPU time (s) 1190.46
Current children cumulated vsize (KiB) 183480

[startup+1182.3 s]
/proc/loadavg: 1.11 1.07 0.97 2/107 10188
/proc/meminfo: memFree=1448556/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=1182.97
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 42716 338514 0 93 6541 817 110535 404 15 0 1 0 54784321 137338880 6350 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33530 6350 1143 1 0 5167 0
[pid=10177] ppid=10044 vsize=141380 CPUtime=70.57
/proc/10177/stat : 10177 (bsolo_pb10) R 10044 10177 10177 0 -1 4202496 34218 0 0 0 7029 28 0 0 25 0 1 0 54895448 144773120 32905 1992294400 134512640 137138936 4293889760 18446744073709551615 134542289 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/10177/statm: 35345 32905 192 642 0 34701 0
Current children cumulated CPU time (s) 1253.54
Current children cumulated vsize (KiB) 275500

[startup+1242.3 s]
/proc/loadavg: 1.04 1.05 0.97 2/107 10196
/proc/meminfo: memFree=1571564/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=1297.26
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 45284 382461 0 93 6869 850 121563 444 15 0 1 0 54784321 137338880 6350 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33530 6350 1143 1 0 5167 0
[pid=10196] ppid=10044 vsize=9280 CPUtime=19.64
/proc/10196/stat : 10196 (clasp-1.3.3-x86) R 10044 10196 10196 0 -1 4202496 2380 0 0 0 1963 1 0 0 25 0 1 0 54906586 9502720 2059 1992294400 134512640 136080129 4290992496 18446744073709551615 134850073 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10196/statm: 2320 2059 175 383 0 1935 0
Current children cumulated CPU time (s) 1316.9
Current children cumulated vsize (KiB) 143400

[startup+1302.3 s]
/proc/loadavg: 1.01 1.04 0.97 2/107 10198
/proc/meminfo: memFree=1567720/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=1300.67
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 45349 382461 0 93 7174 886 121563 444 15 0 1 0 54784321 137338880 6350 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33530 6350 1143 1 0 5167 0
[pid=10196] ppid=10044 vsize=12724 CPUtime=79.62
/proc/10196/stat : 10196 (clasp-1.3.3-x86) R 10044 10196 10196 0 -1 4202496 3251 0 0 0 7961 1 0 0 25 0 1 0 54906586 13029376 2930 1992294400 134512640 136080129 4290992496 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10196/statm: 3181 2930 175 383 0 2796 0
Current children cumulated CPU time (s) 1380.29
Current children cumulated vsize (KiB) 146844

[startup+1362.3 s]
/proc/loadavg: 1.07 1.05 0.98 2/107 10209
/proc/meminfo: memFree=1571440/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=1425.06
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 49171 392341 0 93 7503 924 133625 454 15 0 1 0 54784321 137338880 6351 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159836005329808235 0 0 17 1 0 0 0
/proc/10044/statm: 33530 6351 1143 1 0 5167 0
[pid=10207] ppid=10044 vsize=9152 CPUtime=18.62
/proc/10207/stat : 10207 (clasp-1.3.3-x86) R 10044 10207 10207 0 -1 4202496 2360 0 0 0 1861 1 0 0 25 0 1 0 54918676 9371648 2033 1992294400 134512640 136080129 4289399072 18446744073709551615 134804939 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/10207/statm: 2288 2033 175 383 0 1903 0
Current children cumulated CPU time (s) 1443.68
Current children cumulated vsize (KiB) 143272

[startup+1422.31 s]
/proc/loadavg: 1.17 1.08 0.99 2/107 10217
/proc/meminfo: memFree=1571564/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=1489.08
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 51769 399021 0 93 7817 964 139668 459 15 0 1 0 54784321 137338880 6351 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33530 6351 1143 1 0 5167 0
[pid=10215] ppid=10044 vsize=9020 CPUtime=17.9
/proc/10215/stat : 10215 (clasp-1.3.3-x86) R 10044 10215 10215 0 -1 4202496 2328 0 0 0 1789 1 0 0 25 0 1 0 54924750 9236480 2005 1992294400 134512640 136080129 4289834640 18446744073709551615 134716394 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/10215/statm: 2255 2005 175 383 0 1870 0
Current children cumulated CPU time (s) 1506.98
Current children cumulated vsize (KiB) 143140

[startup+1482.3 s]
/proc/loadavg: 1.10 1.08 1.00 2/107 10217
/proc/meminfo: memFree=1567844/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=1492.51
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 51835 399021 0 93 8125 999 139668 459 15 0 1 0 54784321 137338880 6351 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33530 6351 1143 1 0 5167 0
[pid=10215] ppid=10044 vsize=12784 CPUtime=77.53
/proc/10215/stat : 10215 (clasp-1.3.3-x86) R 10044 10215 10215 0 -1 4202496 3253 0 0 0 7751 2 0 0 25 0 1 0 54924750 13090816 2930 1992294400 134512640 136080129 4289834640 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10215/statm: 3196 2930 175 383 0 2811 0
Current children cumulated CPU time (s) 1570.04
Current children cumulated vsize (KiB) 146904

[startup+1542.3 s]
/proc/loadavg: 1.10 1.08 1.00 2/107 10228
/proc/meminfo: memFree=1571936/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=1616.82
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 55670 408935 0 93 8454 1039 151721 468 15 0 1 0 54784321 137338880 6352 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33530 6352 1143 1 0 5167 0
[pid=10228] ppid=10044 vsize=8492 CPUtime=16.53
/proc/10228/stat : 10228 (clasp-1.3.3-x86) R 10044 10228 10228 0 -1 4202496 2188 0 0 0 1653 0 0 0 25 0 1 0 54936888 8695808 1868 1992294400 134512640 136080129 4293739296 18446744073709551615 134845723 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10228/statm: 2123 1868 175 383 0 1738 0
Current children cumulated CPU time (s) 1633.35
Current children cumulated vsize (KiB) 142612

[startup+1602.3 s]
/proc/loadavg: 1.03 1.06 1.00 2/107 10230
/proc/meminfo: memFree=1567844/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=1620.24
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 55739 408935 0 93 8759 1076 151721 468 16 0 1 0 54784321 137338880 6352 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33530 6352 1143 1 0 5167 0
[pid=10228] ppid=10044 vsize=12528 CPUtime=76.17
/proc/10228/stat : 10228 (clasp-1.3.3-x86) R 10044 10228 10228 0 -1 4202496 3205 0 0 0 7616 1 0 0 25 0 1 0 54936888 12828672 2885 1992294400 134512640 136080129 4293739296 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10228/statm: 3132 2885 175 383 0 2747 0
Current children cumulated CPU time (s) 1696.41
Current children cumulated vsize (KiB) 146648

[startup+1662.3 s]
/proc/loadavg: 1.10 1.08 1.01 2/107 10241
/proc/meminfo: memFree=1572308/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=1744.59
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 59591 418943 0 93 9082 1118 163782 477 15 0 1 0 54784321 137338880 6353 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33530 6353 1143 1 0 5167 0
[pid=10241] ppid=10044 vsize=8088 CPUtime=15.22
/proc/10241/stat : 10241 (clasp-1.3.3-x86) R 10044 10241 10241 0 -1 4202496 2093 0 0 0 1522 0 0 0 25 0 1 0 54949027 8282112 1767 1992294400 134512640 136080129 4288111488 18446744073709551615 134842286 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10241/statm: 2022 1767 175 383 0 1637 0
Current children cumulated CPU time (s) 1759.81
Current children cumulated vsize (KiB) 142208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1700.4 s]
/proc/loadavg: 1.06 1.07 1.00 2/107 10241
/proc/meminfo: memFree=1568836/2059040 swapFree=4140360/4192956
[pid=10044] ppid=10042 vsize=134120 CPUtime=1746.75
/proc/10044/stat : 10044 (python) S 10042 10044 9753 0 -1 4202496 59648 418943 0 93 9276 1140 163782 477 15 0 1 0 54784321 137338880 6353 1992294400 4194304 4196484 140737039565952 18446744073709551615 207239294479 0 0 16781312 2 159688670771686251 0 0 17 0 0 0 0
/proc/10044/statm: 33530 6353 1143 1 0 5167 0
[pid=10241] ppid=10044 vsize=11504 CPUtime=53.33
/proc/10241/stat : 10241 (clasp-1.3.3-x86) R 10044 10241 10241 0 -1 4202496 2948 0 0 0 5332 1 0 0 25 0 1 0 54949027 11780096 2622 1992294400 134512640 136080129 4288111488 18446744073709551615 134808118 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10241/statm: 2876 2622 175 383 0 2491 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 145624

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10044 and gives
#  childrusage.ru_utime.tv_sec=1730
#  childrusage.ru_utime.tv_usec=599908
#  childrusage.ru_stime.tv_sec=16
#  childrusage.ru_stime.tv_usec=174541
# CPU time returned by wait4() is 1746.77
# 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): 1700.42
CPU time (s): 1800.08
CPU user time (s): 1783.9
CPU system time (s): 16.18
CPU usage (%): 105.861
Max. virtual memory (cumulated for all children) (KiB): 1621052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1730.6
system time used= 16.1745
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 478592
page faults= 93
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9617
involuntary context switches= 24711

runsolver used 2.93055 second user time and 8.21275 second system time

The end

Launcher Data 

Begin job on node089 at 2010-06-21 17:41:48
IDJOB=2676290
IDBENCH=1500
IDSOLVER=1178
FILE ID=node089/2676290-1277134908
PBS_JOBID= 11182063
Free space on /tmp= 62576 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2676290-1277134908/watcher-2676290-1277134908 -o /tmp/evaluation-result-2676290-1277134908/solver-2676290-1277134908 -C 1800 -W 2000 -M 1800  solver HOME/instance-2676290-1277134908.opb 1440464694 

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

MD5SUM BENCH= d484bc8efed557f17788965b19feafe5
RANDOM SEED=1440464694

node089.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.244
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.48
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.244
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	: 5999.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1611608 kB
Buffers:        125876 kB
Cached:         221072 kB
SwapCached:       5492 kB
Active:         213632 kB
Inactive:       145788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1611608 kB
SwapTotal:     4192956 kB
SwapFree:      4140360 kB
Dirty:           23296 kB
Writeback:           0 kB
AnonPages:       11164 kB
Mapped:          12876 kB
Slab:            66292 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180492 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= 62556 MiB
End job on node089 at 2010-06-21 18:10:11