Trace number 2676172

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.04 1696.82

General information on the benchmark

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

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: 0.66 0.39 0.60 3/106 11789
/proc/meminfo: memFree=1524376/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=16708 CPUtime=0
/proc/11789/stat : 11789 (python) R 11787 11789 11453 0 -1 4202496 761 0 0 0 0 0 0 0 18 0 1 0 54755657 17108992 525 1992294400 4194304 4196484 140734057075200 18446744073709551615 255180167168 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11789/statm: 4178 526 281 1 0 274 0

[startup+0.057469 s]
/proc/loadavg: 0.66 0.39 0.60 3/106 11789
/proc/meminfo: memFree=1524376/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=18476 CPUtime=0.04
/proc/11789/stat : 11789 (python) R 11787 11789 11453 0 -1 4202496 2013 0 0 0 3 1 0 0 17 0 1 0 54755657 18919424 1024 1992294400 4194304 4196484 140734876971760 18446744073709551615 47698684925042 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11789/statm: 4619 1024 423 1 0 599 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18476

[startup+0.101465 s]
/proc/loadavg: 0.66 0.39 0.60 3/106 11789
/proc/meminfo: memFree=1524376/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=32160 CPUtime=0.08
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 2415 0 0 0 5 3 0 0 17 0 1 0 54755657 32931840 1390 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180164965 0 2147483391 16781312 2 18446744071699379390 0 0 17 1 0 0 0
/proc/11789/statm: 8040 1390 459 1 0 912 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32160

[startup+0.301493 s]
/proc/loadavg: 0.66 0.39 0.60 3/106 11789
/proc/meminfo: memFree=1524376/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=71520 CPUtime=0.25
/proc/11789/stat : 11789 (python) R 11787 11789 11453 0 -1 4202496 4141 0 0 0 17 8 0 0 17 0 1 0 54755657 73236480 2958 1992294400 4194304 4196484 140734876971760 18446744073709551615 47698685566987 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11789/statm: 17880 2958 693 1 0 2367 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 71520

[startup+0.70155 s]
/proc/loadavg: 0.66 0.39 0.60 3/106 11789
/proc/meminfo: memFree=1524376/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=98792 CPUtime=0.5
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 4869 0 0 0 32 18 0 0 17 0 1 0 54755657 101163008 3581 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180167168 0 2147483391 16781312 2 18446744071699379390 0 0 17 1 0 0 0
/proc/11789/statm: 24698 3581 1022 1 0 2555 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 98792

[startup+1.50166 s]
/proc/loadavg: 0.66 0.39 0.60 2/107 11794
/proc/meminfo: memFree=1507628/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=129844 CPUtime=1.13
/proc/11789/stat : 11789 (python) R 11787 11789 11453 0 -1 4202496 9908 928 0 0 80 33 0 0 17 0 1 0 54755657 132960256 6276 1992294400 4194304 4196484 140734876971760 18446744073709551615 47698685224896 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11789/statm: 32461 6278 1123 1 0 5131 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 129844

[startup+3.10091 s]
/proc/loadavg: 0.66 0.39 0.60 2/108 11795
/proc/meminfo: memFree=1495840/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=132056 CPUtime=1.29
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 10280 928 0 0 93 36 0 0 15 0 1 0 54755657 135225344 6306 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159836005329808225 0 0 17 1 0 0 0
/proc/11789/statm: 33014 6306 1133 1 0 5166 0
[pid=11795] ppid=11789 vsize=10516 CPUtime=1.55
/proc/11795/stat : 11795 (clasp-1.3.3-x86) R 11789 11795 11795 0 -1 4202496 2784 0 0 0 154 1 0 0 21 0 1 0 54755810 10768384 2364 1992294400 134512640 136080129 4292297728 18446744073709551615 134850073 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11795/statm: 2629 2364 174 383 0 2244 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 142572

[startup+6.30136 s]
/proc/loadavg: 0.69 0.40 0.60 2/108 11795
/proc/meminfo: memFree=1491252/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=132056 CPUtime=1.5
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 10292 928 0 0 110 40 0 0 15 0 1 0 54755657 135225344 6306 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159836005329808225 0 0 17 1 0 0 0
/proc/11789/statm: 33014 6306 1133 1 0 5166 0
[pid=11795] ppid=11789 vsize=14236 CPUtime=4.71
/proc/11795/stat : 11795 (clasp-1.3.3-x86) R 11789 11795 11795 0 -1 4202496 3736 0 0 0 468 3 0 0 25 0 1 0 54755810 14577664 3316 1992294400 134512640 136080129 4292297728 18446744073709551615 134850044 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11795/statm: 3559 3316 174 383 0 3174 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 146292

[startup+12.7013 s]
/proc/loadavg: 0.71 0.41 0.61 2/108 11798
/proc/meminfo: memFree=1498692/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=12.22
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 11580 6934 0 0 150 47 1018 7 15 0 1 0 54755657 137334784 6329 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159688670771686241 0 0 17 0 0 0 0
/proc/11789/statm: 33529 6329 1143 1 0 5166 0
[pid=11798] ppid=11789 vsize=9324 CPUtime=0.8
/proc/11798/stat : 11798 (clasp-1.3.3-x86) R 11789 11798 11798 0 -1 4202496 2499 0 0 0 79 1 0 0 18 0 1 0 54756846 9547776 2080 1992294400 134512640 136080129 4287013840 18446744073709551615 134579351 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11798/statm: 2331 2080 174 383 0 1946 0
Current children cumulated CPU time (s) 13.02
Current children cumulated vsize (KiB) 143440

[startup+25.5011 s]
/proc/loadavg: 0.77 0.44 0.61 2/108 11798
/proc/meminfo: memFree=1482076/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=12.97
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 11624 6934 0 0 218 54 1018 7 15 0 1 0 54755657 137334784 6329 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159688670771686241 0 0 17 0 0 0 0
/proc/11789/statm: 33529 6329 1143 1 0 5166 0
[pid=11798] ppid=11789 vsize=22772 CPUtime=13.59
/proc/11798/stat : 11798 (clasp-1.3.3-x86) R 11789 11798 11798 0 -1 4202496 5841 0 0 0 1355 4 0 0 25 0 1 0 54756846 23318528 5422 1992294400 134512640 136080129 4287013840 18446744073709551615 134845902 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11798/statm: 5693 5422 174 383 0 5308 0
Current children cumulated CPU time (s) 26.56
Current children cumulated vsize (KiB) 156888

[startup+51.1007 s]
/proc/loadavg: 0.85 0.48 0.62 2/108 11800
/proc/meminfo: memFree=1475752/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=14.46
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 11709 6934 0 0 349 72 1018 7 15 0 1 0 54755657 137334784 6329 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159688670771686241 0 0 17 0 0 0 0
/proc/11789/statm: 33529 6329 1143 1 0 5166 0
[pid=11798] ppid=11789 vsize=29056 CPUtime=39.19
/proc/11798/stat : 11798 (clasp-1.3.3-x86) R 11789 11798 11798 0 -1 4202496 7424 0 0 0 3912 7 0 0 25 0 1 0 54756846 29753344 7005 1992294400 134512640 136080129 4287013840 18446744073709551615 134849989 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11798/statm: 7264 7005 174 383 0 6879 0
Current children cumulated CPU time (s) 53.65
Current children cumulated vsize (KiB) 163172

[startup+102.309 s]
/proc/loadavg: 0.99 0.58 0.64 2/108 11803
/proc/meminfo: memFree=1468560/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=67.98
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 12945 15782 0 0 650 109 6023 16 15 0 1 0 54755657 137334784 6333 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159688670771686241 0 0 17 0 0 0 0
/proc/11789/statm: 33529 6333 1143 1 0 5166 0
[pid=11803] ppid=11789 vsize=37284 CPUtime=40.2
/proc/11803/stat : 11803 (wbo1.4a) R 11789 11803 11803 0 -1 4202496 10091 0 0 0 3992 28 0 0 25 0 1 0 54761866 38178816 8821 1992294400 134512640 135751879 4293832848 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11803/statm: 9321 8821 139 303 0 9016 0
Current children cumulated CPU time (s) 108.18
Current children cumulated vsize (KiB) 171400

[startup+162.302 s]
/proc/loadavg: 1.03 0.66 0.67 2/108 11808
/proc/meminfo: memFree=1475008/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=122.25
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 14241 27941 0 0 961 152 11060 52 15 0 1 0 54755657 137334784 6334 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159688670771686241 0 0 17 0 0 0 0
/proc/11789/statm: 33529 6334 1143 1 0 5166 0
[pid=11808] ppid=11789 vsize=30500 CPUtime=49.42
/proc/11808/stat : 11808 (clasp-1.3.3-x86) R 11789 11808 11808 0 -1 4202496 7780 0 0 0 4935 7 0 0 25 0 1 0 54766943 31232000 7359 1992294400 134512640 136080129 4289115904 18446744073709551615 134588697 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11808/statm: 7625 7359 174 383 0 7240 0
Current children cumulated CPU time (s) 171.67
Current children cumulated vsize (KiB) 164616

[startup+222.301 s]
/proc/loadavg: 1.05 0.74 0.69 2/108 11813
/proc/meminfo: memFree=1488400/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=226.75
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 15459 38181 0 0 1311 196 21106 62 15 0 1 0 54755657 137334784 6335 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159836005329808225 0 0 17 1 0 0 0
/proc/11789/statm: 33529 6335 1143 1 0 5166 0
[pid=11813] ppid=11789 vsize=17644 CPUtime=8.76
/proc/11813/stat : 11813 (wbo1.4a) R 11789 11813 11813 0 -1 4202496 5192 0 0 0 868 8 0 0 25 0 1 0 54777004 18067456 3917 1992294400 134512640 135751879 4287943200 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11813/statm: 4411 3917 139 303 0 4106 0
Current children cumulated CPU time (s) 235.51
Current children cumulated vsize (KiB) 151760

[startup+282.301 s]
/proc/loadavg: 1.06 0.80 0.71 2/108 11815
/proc/meminfo: memFree=1457276/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=230.51
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 15531 38181 0 0 1635 248 21106 62 15 0 1 0 54755657 137334784 6335 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159836005329808225 0 0 17 1 0 0 0
/proc/11789/statm: 33529 6335 1143 1 0 5166 0
[pid=11813] ppid=11789 vsize=48736 CPUtime=68.39
/proc/11813/stat : 11813 (wbo1.4a) R 11789 11813 11813 0 -1 4202496 12948 0 0 0 6803 36 0 0 25 0 1 0 54777004 49905664 11673 1992294400 134512640 135751879 4287943200 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11813/statm: 12184 11673 139 303 0 11879 0
Current children cumulated CPU time (s) 298.9
Current children cumulated vsize (KiB) 182852

[startup+342.301 s]
/proc/loadavg: 1.18 0.88 0.74 2/108 11820
/proc/meminfo: memFree=1475132/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=335.1
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 16806 54615 0 0 1991 298 31111 110 15 0 1 0 54755657 137334784 6337 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159688670771686241 0 0 17 0 0 0 0
/proc/11789/statm: 33529 6337 1143 1 0 5166 0
[pid=11818] ppid=11789 vsize=30820 CPUtime=27.59
/proc/11818/stat : 11818 (wbo1.4b) R 11789 11818 11818 0 -1 4202496 8476 0 0 0 2739 20 0 0 25 0 1 0 54787126 31559680 7202 1992294400 134512640 135751879 4293647648 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11818/statm: 7705 7202 143 303 0 7400 0
Current children cumulated CPU time (s) 362.69
Current children cumulated vsize (KiB) 164936

[startup+402.302 s]
/proc/loadavg: 1.41 1.00 0.79 2/120 11835
/proc/meminfo: memFree=1335632/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=389.72
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 18100 66874 0 0 2329 341 36159 143 16 0 1 0 54755657 137334784 6339 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159836005329808225 0 0 17 1 0 0 0
/proc/11789/statm: 33529 6339 1143 1 0 5166 0
[pid=11823] ppid=11789 vsize=1479820 CPUtime=38.08
/proc/11823/stat : 11823 (java) S 11789 11823 11823 0 -1 4202496 44094 0 79 0 3782 26 0 0 16 0 13 0 54792211 1515335680 41048 1992294400 134512640 134550932 4293605616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 4
/proc/11823/statm: 369955 41048 1437 10 0 367257 0
[pid=11823/tid=11824] ppid=11789 vsize=1479820 CPUtime=35.93
/proc/11823/task/11824/stat : 11824 (java) R 11789 11823 11823 0 -1 4202560 30891 0 59 0 3576 17 0 0 25 0 13 0 54792219 1515335680 41048 1992294400 134512640 134550932 4293605616 18446744073709551615 4109999581 0 4 0 16800975 0 0 0 -1 0 0 0 6
[pid=11823/tid=11825] ppid=11789 vsize=1479820 CPUtime=0.09
/proc/11823/task/11825/stat : 11825 (java) S 11789 11823 11823 0 -1 4202560 5107 0 0 0 7 2 0 0 18 0 13 0 54792224 1515335680 41048 1992294400 134512640 134550932 4293605616 18446744073709551615 4294960144 0 4 0 16800975 18446604437837382720 0 0 -1 0 0 0 0
[pid=11823/tid=11826] ppid=11789 vsize=1479820 CPUtime=0.09
/proc/11823/task/11826/stat : 11826 (java) S 11789 11823 11823 0 -1 4202560 2930 0 0 0 8 1 0 0 18 0 13 0 54792224 1515335680 41048 1992294400 134512640 134550932 4293605616 18446744073709551615 4294960144 0 4 0 16800975 18446604437837382720 0 0 -1 1 0 0 0
[pid=11823/tid=11827] ppid=11789 vsize=1479820 CPUtime=0

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

/proc/11913/statm: 10590 10295 174 383 0 10205 0
Current children cumulated CPU time (s) 1065.19
Current children cumulated vsize (KiB) 176476

[startup+1062.3 s]
/proc/loadavg: 1.10 1.07 0.92 2/108 11919
/proc/meminfo: memFree=1449312/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=879.76
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 40522 283608 0 80 6044 939 80607 386 15 0 1 0 54755657 137334784 6347 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159836005329808225 0 0 17 1 0 0 0
/proc/11789/statm: 33529 6347 1143 1 0 5166 0
[pid=11913] ppid=11789 vsize=46684 CPUtime=248.71
/proc/11913/stat : 11913 (clasp-1.3.3-x86) R 11789 11913 11913 0 -1 4202496 11776 0 0 0 24856 15 0 0 25 0 1 0 54836854 47804416 11349 1992294400 134512640 136080129 4294326176 18446744073709551615 134588697 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11913/statm: 11671 11349 174 383 0 11286 0
Current children cumulated CPU time (s) 1128.47
Current children cumulated vsize (KiB) 180800

[startup+1122.3 s]
/proc/loadavg: 1.08 1.07 0.93 2/108 11924
/proc/meminfo: memFree=1473740/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=1184.23
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 41777 297374 0 80 6378 997 110643 405 15 0 1 0 54755657 137334784 6348 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159688670771686241 0 0 17 0 0 0 0
/proc/11789/statm: 33529 6348 1143 1 0 5166 0
[pid=11924] ppid=11789 vsize=30760 CPUtime=7.78
/proc/11924/stat : 11924 (bsolo_pb10) R 11789 11924 11924 0 -1 4202496 7794 0 0 0 765 13 0 0 25 0 1 0 54867109 31498240 5266 1992294400 134512640 137138936 4287392528 18446744073709551615 136506277 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 7690 5266 192 642 0 7046 0
Current children cumulated CPU time (s) 1192.01
Current children cumulated vsize (KiB) 164876

[startup+1182.3 s]
/proc/loadavg: 1.03 1.05 0.93 2/108 11926
/proc/meminfo: memFree=1406780/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=1187.87
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 41867 297374 0 80 6703 1036 110643 405 15 0 1 0 54755657 137334784 6349 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159688670771686241 0 0 17 0 0 0 0
/proc/11789/statm: 33529 6349 1143 1 0 5166 0
[pid=11924] ppid=11789 vsize=98476 CPUtime=67.76
/proc/11924/stat : 11924 (bsolo_pb10) R 11789 11924 11924 0 -1 4202496 24704 0 0 0 6742 34 0 0 25 0 1 0 54867109 100839424 22176 1992294400 134512640 137138936 4287392528 18446744073709551615 134542187 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11924/statm: 24619 22176 192 642 0 23975 0
Current children cumulated CPU time (s) 1255.63
Current children cumulated vsize (KiB) 232592

[startup+1242.3 s]
/proc/loadavg: 1.01 1.04 0.93 2/108 11934
/proc/meminfo: memFree=1472624/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=1302.35
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 44376 335140 0 80 7023 1084 121672 456 15 0 1 0 54755657 137334784 6349 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159688670771686241 0 0 17 0 0 0 0
/proc/11789/statm: 33529 6349 1143 1 0 5166 0
[pid=11932] ppid=11789 vsize=23124 CPUtime=16.78
/proc/11932/stat : 11932 (clasp-1.3.3-x86) R 11789 11932 11932 0 -1 4202496 5938 0 0 0 1673 5 0 0 25 0 1 0 54878198 23678976 5512 1992294400 134512640 136080129 4287884032 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11932/statm: 5781 5512 174 383 0 5396 0
Current children cumulated CPU time (s) 1319.13
Current children cumulated vsize (KiB) 157240

[startup+1302.3 s]
/proc/loadavg: 1.00 1.03 0.93 2/108 11934
/proc/meminfo: memFree=1462828/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=1305.91
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 44452 335140 0 80 7315 1148 121672 456 15 0 1 0 54755657 137334784 6349 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159688670771686241 0 0 17 0 0 0 0
/proc/11789/statm: 33529 6349 1143 1 0 5166 0
[pid=11932] ppid=11789 vsize=32908 CPUtime=76.44
/proc/11932/stat : 11932 (clasp-1.3.3-x86) R 11789 11932 11932 0 -1 4202496 8349 0 0 0 7637 7 0 0 25 0 1 0 54878198 33697792 7923 1992294400 134512640 136080129 4287884032 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11932/statm: 8227 7923 174 383 0 7842 0
Current children cumulated CPU time (s) 1382.35
Current children cumulated vsize (KiB) 167024

[startup+1362.3 s]
/proc/loadavg: 1.24 1.09 0.95 2/108 11945
/proc/meminfo: memFree=1471756/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=1430.38
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 48178 357420 0 80 7642 1196 133722 478 15 0 1 0 54755657 137334784 6350 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159688670771686241 0 0 17 0 0 0 0
/proc/11789/statm: 33529 6350 1143 1 0 5166 0
[pid=11945] ppid=11789 vsize=23792 CPUtime=15.31
/proc/11945/stat : 11945 (clasp-1.3.3-x86) R 11789 11945 11945 0 -1 4202496 6118 0 0 0 1527 4 0 0 25 0 1 0 54890346 24363008 5699 1992294400 134512640 136080129 4287195760 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11945/statm: 5948 5699 174 383 0 5563 0
Current children cumulated CPU time (s) 1445.69
Current children cumulated vsize (KiB) 157908

[startup+1422.31 s]
/proc/loadavg: 1.15 1.08 0.95 2/108 11953
/proc/meminfo: memFree=1472748/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=1494.77
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 50721 372369 0 80 7983 1221 139782 491 15 0 1 0 54755657 137334784 6351 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159688670771686241 0 0 17 0 0 0 0
/proc/11789/statm: 33529 6351 1143 1 0 5166 0
[pid=11953] ppid=11789 vsize=22940 CPUtime=14.3
/proc/11953/stat : 11953 (clasp-1.3.3-x86) R 11789 11953 11953 0 -1 4202496 5898 0 0 0 1426 4 0 0 25 0 1 0 54896456 23490560 5474 1992294400 134512640 136080129 4286705968 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11953/statm: 5735 5474 174 383 0 5350 0
Current children cumulated CPU time (s) 1509.07
Current children cumulated vsize (KiB) 157056

[startup+1482.3 s]
/proc/loadavg: 1.11 1.08 0.96 2/108 11964
/proc/meminfo: memFree=1462332/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=1498.28
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 50791 372369 0 80 8298 1257 139782 491 15 0 1 0 54755657 137334784 6351 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159688670771686241 0 0 17 0 0 0 0
/proc/11789/statm: 33529 6351 1143 1 0 5166 0
[pid=11953] ppid=11789 vsize=33112 CPUtime=74.27
/proc/11953/stat : 11953 (clasp-1.3.3-x86) R 11789 11953 11953 0 -1 4202496 8399 0 0 0 7421 6 0 0 25 0 1 0 54896456 33906688 7975 1992294400 134512640 136080129 4286705968 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11953/statm: 8278 7975 174 383 0 7893 0
Current children cumulated CPU time (s) 1572.55
Current children cumulated vsize (KiB) 167228

[startup+1542.3 s]
/proc/loadavg: 1.13 1.09 0.97 2/108 11975
/proc/meminfo: memFree=1473368/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=1623.29
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 54556 394631 0 80 8632 1303 151880 514 15 0 1 0 54755657 137334784 6352 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159836005329808225 0 0 17 1 0 0 0
/proc/11789/statm: 33529 6352 1143 1 0 5166 0
[pid=11973] ppid=11789 vsize=22348 CPUtime=12.89
/proc/11973/stat : 11973 (clasp-1.3.3-x86) R 11789 11973 11973 0 -1 4202496 5735 0 0 0 1285 4 0 0 25 0 1 0 54908597 22884352 5310 1992294400 134512640 136080129 4288499888 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11973/statm: 5587 5310 174 383 0 5202 0
Current children cumulated CPU time (s) 1636.18
Current children cumulated vsize (KiB) 156464

[startup+1602.3 s]
/proc/loadavg: 1.05 1.07 0.97 2/108 11975
/proc/meminfo: memFree=1462704/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134116 CPUtime=1627.02
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 54633 394631 0 80 8960 1348 151880 514 15 0 1 0 54755657 137334784 6352 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159836005329808225 0 0 17 1 0 0 0
/proc/11789/statm: 33529 6352 1143 1 0 5166 0
[pid=11973] ppid=11789 vsize=33380 CPUtime=72.86
/proc/11973/stat : 11973 (clasp-1.3.3-x86) R 11789 11973 11973 0 -1 4202496 8468 0 0 0 7278 8 0 0 25 0 1 0 54908597 34181120 8043 1992294400 134512640 136080129 4288499888 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11973/statm: 8345 8043 174 383 0 7960 0
Current children cumulated CPU time (s) 1699.88
Current children cumulated vsize (KiB) 167496

[startup+1662.3 s]
/proc/loadavg: 1.13 1.09 0.98 2/108 11986
/proc/meminfo: memFree=1474236/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134248 CPUtime=1751.89
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 58396 417197 0 80 9300 1390 163962 537 15 0 1 0 54755657 137469952 6353 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159688670771686241 0 0 17 0 0 0 0
/proc/11789/statm: 33562 6353 1143 1 0 5199 0
[pid=11986] ppid=11789 vsize=21520 CPUtime=11.64
/proc/11986/stat : 11986 (clasp-1.3.3-x86) R 11789 11986 11986 0 -1 4202496 5538 0 0 0 1160 4 0 0 25 0 1 0 54920722 22036480 5117 1992294400 134512640 136080129 4293071440 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11986/statm: 5380 5117 174 383 0 4995 0
Current children cumulated CPU time (s) 1763.53
Current children cumulated vsize (KiB) 155768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1696.8 s]
/proc/loadavg: 1.07 1.08 0.98 2/108 11988
/proc/meminfo: memFree=1466672/2059040 swapFree=4164960/4192956
[pid=11789] ppid=11787 vsize=134248 CPUtime=1753.91
/proc/11789/stat : 11789 (python) S 11787 11789 11453 0 -1 4202496 58464 417197 0 80 9479 1413 163962 537 15 0 1 0 54755657 137469952 6353 1992294400 4194304 4196484 140734876971760 18446744073709551615 255180189199 0 0 16781312 2 159688670771686241 0 0 17 0 0 0 0
/proc/11789/statm: 33562 6353 1143 1 0 5199 0
[pid=11986] ppid=11789 vsize=28784 CPUtime=46.13
/proc/11986/stat : 11986 (clasp-1.3.3-x86) R 11789 11986 11986 0 -1 4202496 7327 0 0 0 4607 6 0 0 25 0 1 0 54920722 29474816 6906 1992294400 134512640 136080129 4293071440 18446744073709551615 134588974 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11986/statm: 7196 6906 174 383 0 6811 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 163032

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 11789 and gives
#  childrusage.ru_utime.tv_sec=1734
#  childrusage.ru_utime.tv_usec=426327
#  childrusage.ru_stime.tv_sec=19
#  childrusage.ru_stime.tv_usec=507034
# CPU time returned by wait4() is 1753.93
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1696.82
CPU time (s): 1800.04
CPU user time (s): 1780.48
CPU system time (s): 19.56
CPU usage (%): 106.083
Max. virtual memory (cumulated for all children) (KiB): 1615800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1734.43
system time used= 19.507
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475661
page faults= 80
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10760
involuntary context switches= 27832

runsolver used 3.24651 second user time and 8.30474 second system time

The end

Launcher Data 

Begin job on node039 at 2010-06-21 17:37:08
IDJOB=2676172
IDBENCH=1372
IDSOLVER=1178
FILE ID=node039/2676172-1277134628
PBS_JOBID= 11182084
Free space on /tmp= 62508 MiB

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

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

MD5SUM BENCH= a399b3055416a9d1117a7f2bb11b2cef
RANDOM SEED=818773954

node039.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.267
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.53
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.267
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:       1524904 kB
Buffers:        124360 kB
Cached:         285144 kB
SwapCached:       1408 kB
Active:         227828 kB
Inactive:       214604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1524904 kB
SwapTotal:     4192956 kB
SwapFree:      4164960 kB
Dirty:           25888 kB
Writeback:           0 kB
AnonPages:       31484 kB
Mapped:          14228 kB
Slab:            69936 kB
PageTables:       4060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182508 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= 62488 MiB
End job on node039 at 2010-06-21 18:05:28