Trace number 2676173

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.02 1672.52

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
MD5SUM84dfc4b706a5e82746c96ff285501708
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 variables3750
Total number of constraints467625
Number of constraints which are clauses466875
Number of constraints which are cardinality constraints (but not clauses)750
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 

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

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.77 0.43 0.62 3/106 9264
/proc/meminfo: memFree=1539780/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=16708 CPUtime=0
/proc/9264/stat : 9264 (python) R 9262 9264 9064 0 -1 4202496 728 0 0 0 0 0 0 0 20 0 1 0 54755085 17108992 494 1992294400 4194304 4196484 140735594891632 18446744073709551615 263058830021 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9264/statm: 4177 496 272 1 0 273 0

[startup+0.045867 s]
/proc/loadavg: 0.77 0.43 0.62 3/106 9264
/proc/meminfo: memFree=1539780/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=17828 CPUtime=0.03
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 1814 0 0 0 2 1 0 0 15 0 1 0 54755085 18255872 842 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059167232 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 0
/proc/9264/statm: 4457 842 398 1 0 437 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17828

[startup+0.105435 s]
/proc/loadavg: 0.77 0.43 0.62 3/106 9264
/proc/meminfo: memFree=1539780/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=32156 CPUtime=0.08
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 2413 0 0 0 5 3 0 0 15 0 1 0 54755085 32927744 1390 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059167232 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 0
/proc/9264/statm: 8039 1390 459 1 0 911 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32156

[startup+0.305249 s]
/proc/loadavg: 0.77 0.43 0.62 3/106 9264
/proc/meminfo: memFree=1539780/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=70840 CPUtime=0.22
/proc/9264/stat : 9264 (python) R 9262 9264 9064 0 -1 4202496 4017 0 0 0 15 7 0 0 16 0 1 0 54755085 72540160 2844 1992294400 4194304 4196484 140733460140672 18446744073709551615 263058828373 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9264/statm: 17710 2845 693 1 0 2197 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 70840

[startup+0.70024 s]
/proc/loadavg: 0.77 0.43 0.62 3/106 9264
/proc/meminfo: memFree=1539780/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=98788 CPUtime=0.43
/proc/9264/stat : 9264 (python) R 9262 9264 9064 0 -1 4202496 4865 0 0 0 28 15 0 0 16 0 1 0 54755085 101158912 3579 1992294400 4194304 4196484 140733460140672 18446744073709551615 47120502328874 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9264/statm: 24697 3579 1022 1 0 2554 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 98788

[startup+1.50022 s]
/proc/loadavg: 0.79 0.44 0.62 2/107 9269
/proc/meminfo: memFree=1524892/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=118204 CPUtime=0.92
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 8629 927 0 0 62 30 0 0 15 0 1 0 54755085 121040896 5826 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059167232 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 0
/proc/9264/statm: 29551 5826 1059 1 0 4805 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 118204

[startup+3.10118 s]
/proc/loadavg: 0.79 0.44 0.62 2/108 9270
/proc/meminfo: memFree=1504300/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=132056 CPUtime=1.22
/proc/9264/stat : 9264 (python) R 9262 9264 9064 0 -1 4202496 10260 927 0 0 89 33 0 0 15 0 1 0 54755085 135225344 6307 1992294400 4194304 4196484 140733460140672 18446744073709551615 47120502612163 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9264/statm: 33014 6307 1133 1 0 5166 0
[pid=9270] ppid=9264 vsize=36192 CPUtime=1.37
/proc/9270/stat : 9270 (clasp-1.3.3-x86) R 9264 9270 9270 0 -1 4202496 10169 0 0 0 132 5 0 0 19 0 1 0 54755256 37060608 8561 1992294400 134512640 136080129 4289988896 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9270/statm: 9048 8561 174 383 0 8663 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 168248

[startup+6.30011 s]
/proc/loadavg: 0.79 0.44 0.62 2/108 9270
/proc/meminfo: memFree=1482228/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=132056 CPUtime=1.44
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 10270 927 0 0 108 36 0 0 15 0 1 0 54755085 135225344 6307 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159688670771686107 0 0 17 0 0 0 0
/proc/9264/statm: 33014 6307 1133 1 0 5166 0
[pid=9270] ppid=9264 vsize=39648 CPUtime=4.55
/proc/9270/stat : 9270 (clasp-1.3.3-x86) R 9264 9270 9270 0 -1 4202496 11045 0 0 0 448 7 0 0 25 0 1 0 54755256 40599552 9437 1992294400 134512640 136080129 4289988896 18446744073709551615 134588974 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9270/statm: 9912 9437 174 383 0 9527 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 171704

[startup+12.701 s]
/proc/loadavg: 0.82 0.46 0.62 2/108 9270
/proc/meminfo: memFree=1476152/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=12.49
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 11588 14309 0 0 155 42 1041 11 17 0 1 0 54755085 137334784 6330 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 7823226412189319424 0 0 17 1 0 0 0
/proc/9264/statm: 33529 6330 1143 1 0 5166 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 134116

[startup+25.5006 s]
/proc/loadavg: 0.92 0.50 0.63 2/108 9275
/proc/meminfo: memFree=1475532/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=13.47
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 11630 14309 0 0 244 51 1041 11 15 0 1 0 54755085 137334784 6331 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159836005329808091 0 0 17 1 0 0 0
/proc/9264/statm: 33529 6331 1143 1 0 5166 0
[pid=9273] ppid=9264 vsize=46260 CPUtime=13.16
/proc/9273/stat : 9273 (clasp-1.3.3-x86) R 9264 9273 9273 0 -1 4202496 12680 0 0 0 1309 7 0 0 25 0 1 0 54756318 47370240 11076 1992294400 134512640 136080129 4291985200 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9273/statm: 11565 11076 174 383 0 11180 0
Current children cumulated CPU time (s) 26.63
Current children cumulated vsize (KiB) 180376

[startup+51.104 s]
/proc/loadavg: 0.95 0.53 0.64 2/108 9275
/proc/meminfo: memFree=1454204/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=15.45
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 11717 14309 0 0 423 70 1041 11 15 0 1 0 54755085 137334784 6331 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159836005329808091 0 0 17 1 0 0 0
/proc/9264/statm: 33529 6331 1143 1 0 5166 0
[pid=9273] ppid=9264 vsize=67216 CPUtime=38.73
/proc/9273/stat : 9273 (clasp-1.3.3-x86) R 9264 9273 9273 0 -1 4202496 17928 0 0 0 3861 12 0 0 25 0 1 0 54756318 68829184 16324 1992294400 134512640 136080129 4291985200 18446744073709551615 134588831 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9273/statm: 16804 16324 174 383 0 16419 0
Current children cumulated CPU time (s) 54.18
Current children cumulated vsize (KiB) 201332

[startup+102.309 s]
/proc/loadavg: 1.12 0.66 0.67 2/108 9280
/proc/meminfo: memFree=1471316/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=70.34
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 12988 35448 0 0 799 113 6094 28 15 0 1 0 54755085 137334784 6333 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159688670771686107 0 0 17 0 0 0 0
/proc/9264/statm: 33529 6333 1143 1 0 5166 0
[pid=9278] ppid=9264 vsize=51220 CPUtime=38.93
/proc/9278/stat : 9278 (wbo1.4a) R 9264 9278 9278 0 -1 4202496 17776 0 0 0 3873 20 0 0 25 0 1 0 54761394 52449280 12059 1992294400 134512640 135751879 4290517920 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/9278/statm: 12805 12059 139 303 0 12500 0
Current children cumulated CPU time (s) 109.27
Current children cumulated vsize (KiB) 185336

[startup+162.3 s]
/proc/loadavg: 1.04 0.72 0.69 2/108 9283
/proc/meminfo: memFree=1444160/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=125.19
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 14326 55496 0 0 1192 159 11113 55 15 0 1 0 54755085 137334784 6334 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159688670771686107 0 0 17 0 0 0 0
/proc/9264/statm: 33529 6334 1143 1 0 5166 0
[pid=9283] ppid=9264 vsize=77704 CPUtime=48.05
/proc/9283/stat : 9283 (clasp-1.3.3-x86) R 9264 9283 9283 0 -1 4202496 20460 0 0 0 4788 17 0 0 25 0 1 0 54766476 79568896 18850 1992294400 134512640 136080129 4294299936 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9283/statm: 19426 18850 174 383 0 19041 0
Current children cumulated CPU time (s) 173.24
Current children cumulated vsize (KiB) 211820

[startup+222.301 s]
/proc/loadavg: 1.01 0.76 0.71 2/108 9288
/proc/meminfo: memFree=1487188/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=230.39
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 15564 86081 0 0 1606 210 21138 85 15 0 1 0 54755085 137334784 6335 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159836005329808091 0 0 17 1 0 0 0
/proc/9264/statm: 33529 6335 1143 1 0 5166 0
[pid=9288] ppid=9264 vsize=34456 CPUtime=7.15
/proc/9288/stat : 9288 (wbo1.4a) R 9264 9288 9288 0 -1 4202496 13598 0 0 0 710 5 0 0 25 0 1 0 54776598 35282944 7881 1992294400 134512640 135751879 4291414656 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/9288/statm: 8614 7881 139 303 0 8309 0
Current children cumulated CPU time (s) 237.54
Current children cumulated vsize (KiB) 168572

[startup+282.3 s]
/proc/loadavg: 1.15 0.85 0.74 2/108 9290
/proc/meminfo: memFree=1456684/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=235.08
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 15648 86081 0 0 2028 257 21138 85 15 0 1 0 54755085 137334784 6335 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159836005329808091 0 0 17 1 0 0 0
/proc/9264/statm: 33529 6335 1143 1 0 5166 0
[pid=9288] ppid=9264 vsize=65400 CPUtime=67.13
/proc/9288/stat : 9288 (wbo1.4a) R 9264 9288 9288 0 -1 4202496 21334 0 0 0 6682 31 0 0 25 0 1 0 54776598 66969600 15617 1992294400 134512640 135751879 4291414656 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/9288/statm: 16350 15617 139 303 0 16045 0
Current children cumulated CPU time (s) 302.21
Current children cumulated vsize (KiB) 199516

[startup+342.3 s]
/proc/loadavg: 1.05 0.87 0.75 2/108 9295
/proc/meminfo: memFree=1477764/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=340.93
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 16946 112447 0 0 2472 311 31179 131 15 0 1 0 54755085 137334784 6337 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159688670771686107 0 0 17 0 0 0 0
/proc/9264/statm: 33529 6337 1143 1 0 5166 0
[pid=9293] ppid=9264 vsize=44612 CPUtime=26.04
/proc/9293/stat : 9293 (wbo1.4b) R 9264 9293 9293 0 -1 4202496 16237 0 0 0 2588 16 0 0 25 0 1 0 54786693 45682688 10429 1992294400 134512640 135751879 4290144480 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9293/statm: 11153 10429 143 303 0 10848 0
Current children cumulated CPU time (s) 366.97
Current children cumulated vsize (KiB) 178728

[startup+402.313 s]
/proc/loadavg: 1.12 0.93 0.77 2/120 9312
/proc/meminfo: memFree=1322796/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=395.91
/proc/9264/stat : 9264 (python) R 9262 9264 9064 0 -1 4202496 18281 132584 0 0 2872 361 36200 158 15 0 1 0 54755085 137334784 6339 1992294400 4194304 4196484 140733460140672 18446744073709551615 47120501977565 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9264/statm: 33529 6339 1143 1 0 5166 0
[pid=9298] ppid=9264 vsize=1481684 CPUtime=37.17
/proc/9298/stat : 9298 (java) S 9264 9298 9298 0 -1 4202496 54274 0 2 0 3690 27 0 0 15 0 13 0 54791775 1517244416 49912 1992294400 134512640 134550932 4294163056 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9298/statm: 370421 49912 1437 10 0 367723 0
[pid=9298/tid=9299] ppid=9264 vsize=1481684 CPUtime=33.68
/proc/9298/task/9299/stat : 9299 (java) R 9264 9298 9298 0 -1 4202560 30950 0 2 0 3351 17 0 0 25 0 13 0 54791778 1517244416 49912 1992294400 134512640 134550932 4294163056 18446744073709551615 4109550227 0 4 0 16800975 0 0 0 -1 1 0 0 3
[pid=9298/tid=9300] ppid=9264 vsize=1481684 CPUtime=0.71
/proc/9298/task/9300/stat : 9300 (java) S 9264 9298 9298 0 -1 4202560 8013 0 0 0 68 3 0 0 16 0 13 0 54791782 1517244416 49912 1992294400 134512640 134550932 4294163056 18446744073709551615 4294960144 0 4 0 16800975 18446604437838243776 0 0 -1 1 0 0 0
[pid=9298/tid=9301] ppid=9264 vsize=1481684 CPUtime=0.66
/proc/9298/task/9301/stat : 9301 (java) S 9264 9298 9298 0 -1 4202560 8593 0 0 0 64 2 0 0 16 0 13 0 54791782 1517244416 49912 1992294400 134512640 134550932 4294163056 18446744073709551615 4294960144 0 4 0 16800975 18446604437838243776 0 0 -1 0 0 0 0
[pid=9298/tid=9302] ppid=9264 vsize=1481684 CPUtime=0
/proc/9298/task/9302/stat : 9302 (java) S 9264 9298 9298 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 13 0 54791784 1517244416 49912 1992294400 134512640 134550932 4294163056 18446744073709551615 4294960144 0 0 0 16800975 18446604437838243776 0 0 -1 0 0 0 0
[pid=9298/tid=9303] ppid=9264 vsize=1481684 CPUtime=0
/proc/9298/task/9303/stat : 9303 (java) S 9264 9298 9298 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 54791784 1517244416 49912 1992294400 134512640 134550932 4294163056 18446744073709551615 4294960144 0 4 0 16800975 18446604437838243776 0 0 -1 0 0 0 0

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

/proc/9388/statm: 48126 47062 174 383 0 47741 0
Current children cumulated CPU time (s) 1145.52
Current children cumulated vsize (KiB) 326620

[startup+1122.3 s]
/proc/loadavg: 1.06 1.06 0.91 2/108 9399
/proc/meminfo: memFree=1408268/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=1203.17
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 42303 583206 0 3 7904 937 110946 530 16 0 1 0 54755085 137334784 6348 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159688670771686107 0 0 17 0 0 0 0
/proc/9264/statm: 33529 6348 1143 1 0 5166 0
[pid=9399] ppid=9264 vsize=119792 CPUtime=6.95
/proc/9399/stat : 9399 (bsolo_pb10) R 9264 9399 9399 0 -1 4202496 32738 0 0 0 681 14 0 0 25 0 1 0 54866618 122667008 27494 1992294400 134512640 137138936 4294643536 18446744073709551615 136570369 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/9399/statm: 29948 27494 184 642 0 29304 0
Current children cumulated CPU time (s) 1210.12
Current children cumulated vsize (KiB) 253908

[startup+1182.3 s]
/proc/loadavg: 1.13 1.07 0.93 2/108 9401
/proc/meminfo: memFree=1408268/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=1207.44
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 42396 583206 0 3 8287 981 110946 530 15 0 1 0 54755085 137334784 6348 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159688670771686107 0 0 17 0 0 0 0
/proc/9264/statm: 33529 6348 1143 1 0 5166 0
[pid=9399] ppid=9264 vsize=119792 CPUtime=66.69
/proc/9399/stat : 9399 (bsolo_pb10) R 9264 9399 9399 0 -1 4202496 32738 0 0 0 6614 55 0 0 25 0 1 0 54866618 122667008 27494 1992294400 134512640 137138936 4294643536 18446744073709551615 134540051 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/9399/statm: 29948 27494 184 642 0 29304 0
Current children cumulated CPU time (s) 1274.13
Current children cumulated vsize (KiB) 253908

[startup+1242.31 s]
/proc/loadavg: 1.05 1.06 0.93 2/108 9409
/proc/meminfo: memFree=1472376/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=1323.56
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 44893 637576 0 3 8713 1027 122005 611 15 0 1 0 54755085 137334784 6348 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159836005329808091 0 0 17 1 0 0 0
/proc/9264/statm: 33529 6348 1143 1 0 5166 0
[pid=9409] ppid=9264 vsize=47996 CPUtime=14.94
/proc/9409/stat : 9409 (clasp-1.3.3-x86) R 9264 9409 9409 0 -1 4202496 13147 0 0 0 1484 10 0 0 25 0 1 0 54877821 49147904 11535 1992294400 134512640 136080129 4292257248 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9409/statm: 11999 11535 174 383 0 11614 0
Current children cumulated CPU time (s) 1338.5
Current children cumulated vsize (KiB) 182112

[startup+1302.3 s]
/proc/loadavg: 1.13 1.07 0.94 2/108 9411
/proc/meminfo: memFree=1428852/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=1328.09
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 44969 637576 0 3 9123 1070 122005 611 15 0 1 0 54755085 137334784 6348 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159836005329808091 0 0 17 1 0 0 0
/proc/9264/statm: 33529 6348 1143 1 0 5166 0
[pid=9409] ppid=9264 vsize=91256 CPUtime=74.91
/proc/9409/stat : 9409 (clasp-1.3.3-x86) R 9264 9409 9409 0 -1 4202496 23914 0 0 0 7469 22 0 0 25 0 1 0 54877821 93446144 22302 1992294400 134512640 136080129 4292257248 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9409/statm: 22814 22302 174 383 0 22429 0
Current children cumulated CPU time (s) 1403
Current children cumulated vsize (KiB) 225372

[startup+1362.3 s]
/proc/loadavg: 1.05 1.06 0.94 2/108 9420
/proc/meminfo: memFree=1472996/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=1454.61
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 48756 693080 0 3 9550 1119 134135 657 16 0 1 0 54755085 137334784 6349 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159836005329808091 0 0 17 1 0 0 0
/proc/9264/statm: 33529 6349 1143 1 0 5166 0
[pid=9420] ppid=9264 vsize=47364 CPUtime=12.91
/proc/9420/stat : 9420 (clasp-1.3.3-x86) R 9264 9420 9420 0 -1 4202496 12966 0 0 0 1283 8 0 0 25 0 1 0 54890015 48500736 11350 1992294400 134512640 136080129 4291946256 18446744073709551615 134588765 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9420/statm: 11841 11350 174 383 0 11456 0
Current children cumulated CPU time (s) 1467.52
Current children cumulated vsize (KiB) 181480

[startup+1422.31 s]
/proc/loadavg: 1.02 1.04 0.94 2/108 9428
/proc/meminfo: memFree=1473616/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=1519.73
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 51346 727539 0 3 9965 1169 140159 680 15 0 1 0 54755085 137334784 6350 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159688670771686107 0 0 17 0 0 0 0
/proc/9264/statm: 33529 6350 1143 1 0 5166 0
[pid=9428] ppid=9264 vsize=45868 CPUtime=12.11
/proc/9428/stat : 9428 (clasp-1.3.3-x86) R 9264 9428 9428 0 -1 4202496 12606 0 0 0 1201 10 0 0 25 0 1 0 54896102 46968832 10989 1992294400 134512640 136080129 4289211584 18446744073709551615 134588828 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9428/statm: 11467 10989 174 383 0 11082 0
Current children cumulated CPU time (s) 1531.84
Current children cumulated vsize (KiB) 179984

[startup+1482.3 s]
/proc/loadavg: 1.04 1.05 0.94 2/108 9439
/proc/meminfo: memFree=1430464/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=1524.07
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 51428 727539 0 3 10355 1213 140159 680 15 0 1 0 54755085 137334784 6350 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159688670771686107 0 0 17 0 0 0 0
/proc/9264/statm: 33529 6350 1143 1 0 5166 0
[pid=9428] ppid=9264 vsize=89804 CPUtime=71.77
/proc/9428/stat : 9428 (clasp-1.3.3-x86) R 9264 9428 9428 0 -1 4202496 23565 0 0 0 7156 21 0 0 25 0 1 0 54896102 91959296 21948 1992294400 134512640 136080129 4289211584 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9428/statm: 22451 21948 174 383 0 22066 0
Current children cumulated CPU time (s) 1595.84
Current children cumulated vsize (KiB) 223920

[startup+1542.3 s]
/proc/loadavg: 1.05 1.05 0.95 2/108 9450
/proc/meminfo: memFree=1476096/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=1650.58
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 55148 782903 0 3 10770 1263 152295 730 15 0 1 0 54755085 137334784 6351 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159836005329808091 0 0 17 1 0 0 0
/proc/9264/statm: 33529 6351 1143 1 0 5166 0
[pid=9450] ppid=9264 vsize=43748 CPUtime=9.58
/proc/9450/stat : 9450 (clasp-1.3.3-x86) R 9264 9450 9450 0 -1 4202496 12078 0 0 0 950 8 0 0 25 0 1 0 54908356 44797952 10465 1992294400 134512640 136080129 4291364816 18446744073709551615 134850068 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9450/statm: 10937 10465 174 383 0 10552 0
Current children cumulated CPU time (s) 1660.16
Current children cumulated vsize (KiB) 177864

[startup+1602.3 s]
/proc/loadavg: 1.02 1.04 0.95 2/108 9452
/proc/meminfo: memFree=1433192/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=1655.08
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 55243 782903 0 3 11176 1307 152295 730 15 0 1 0 54755085 137334784 6351 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159836005329808091 0 0 17 1 0 0 0
/proc/9264/statm: 33529 6351 1143 1 0 5166 0
[pid=9450] ppid=9264 vsize=87076 CPUtime=69.55
/proc/9450/stat : 9450 (clasp-1.3.3-x86) R 9264 9450 9450 0 -1 4202496 22862 0 0 0 6936 19 0 0 25 0 1 0 54908356 89165824 21249 1992294400 134512640 136080129 4291364816 18446744073709551615 134588560 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9450/statm: 21769 21249 174 383 0 21384 0
Current children cumulated CPU time (s) 1724.63
Current children cumulated vsize (KiB) 221192

[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 0.95 2/108 9461
/proc/meminfo: memFree=1477956/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=1781.53
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 59010 838766 0 3 11600 1354 164422 777 15 0 1 0 54755085 137334784 6352 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159688670771686107 0 0 17 0 0 0 0
/proc/9264/statm: 33529 6352 1143 1 0 5166 0
[pid=9461] ppid=9264 vsize=41908 CPUtime=7.61
/proc/9461/stat : 9461 (clasp-1.3.3-x86) R 9264 9461 9461 0 -1 4202496 11626 0 0 0 753 8 0 0 25 0 1 0 54920548 42913792 10011 1992294400 134512640 136080129 4293502128 18446744073709551615 134850039 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9461/statm: 10477 10011 174 383 0 10092 0
Current children cumulated CPU time (s) 1789.14
Current children cumulated vsize (KiB) 176024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1672.5 s]
/proc/loadavg: 1.00 1.03 0.95 2/108 9461
/proc/meminfo: memFree=1469028/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=1782.27
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 59062 838766 0 3 11667 1361 164422 777 15 0 1 0 54755085 137334784 6352 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159688670771686107 0 0 17 0 0 0 0
/proc/9264/statm: 33529 6352 1143 1 0 5166 0
[pid=9461] ppid=9264 vsize=50656 CPUtime=17.75
/proc/9461/stat : 9461 (clasp-1.3.3-x86) R 9264 9461 9461 0 -1 4202496 13806 0 0 0 1765 10 0 0 25 0 1 0 54920548 51871744 12191 1992294400 134512640 136080129 4293502128 18446744073709551615 135505028 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9461/statm: 12664 12191 174 383 0 12279 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 184772

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

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

[startup+1672.5 s]
/proc/loadavg: 1.00 1.03 0.95 2/108 9461
/proc/meminfo: memFree=1469028/2059040 swapFree=4140524/4192956
[pid=9264] ppid=9262 vsize=134116 CPUtime=1782.27
/proc/9264/stat : 9264 (python) S 9262 9264 9064 0 -1 4202496 59062 838766 0 3 11667 1361 164422 777 15 0 1 0 54755085 137334784 6352 1992294400 4194304 4196484 140733460140672 18446744073709551615 263059189263 0 0 16781312 2 159688670771686107 0 0 17 0 0 0 0
/proc/9264/statm: 33529 6352 1143 1 0 5166 0
[pid=9461] ppid=9264 vsize=50656 CPUtime=17.75
/proc/9461/stat : 9461 (clasp-1.3.3-x86) R 9264 9461 9461 0 -1 4202496 13806 0 0 0 1765 10 0 0 25 0 1 0 54920548 51871744 12191 1992294400 134512640 136080129 4293502128 18446744073709551615 135505028 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9461/statm: 12664 12191 174 383 0 12279 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 184772

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9264 and gives
#  childrusage.ru_utime.tv_sec=1760
#  childrusage.ru_utime.tv_usec=902302
#  childrusage.ru_stime.tv_sec=21
#  childrusage.ru_stime.tv_usec=388748
# CPU time returned by wait4() is 1782.29
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1672.52
CPU time (s): 1800.02
CPU user time (s): 1778.54
CPU system time (s): 21.48
CPU usage (%): 107.623
Max. virtual memory (cumulated for all children) (KiB): 1621496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1760.9
system time used= 21.3887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 897829
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12036
involuntary context switches= 23570

runsolver used 3.35649 second user time and 8.58669 second system time

The end

Launcher Data 

Begin job on node048 at 2010-06-21 17:37:11
IDJOB=2676173
IDBENCH=1373
IDSOLVER=1178
FILE ID=node048/2676173-1277134630
PBS_JOBID= 11182078
Free space on /tmp= 62552 MiB

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

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

MD5SUM BENCH= 84dfc4b706a5e82746c96ff285501708
RANDOM SEED=568007860

node048.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.212
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.42
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.212
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1540060 kB
Buffers:        125216 kB
Cached:         290492 kB
SwapCached:       5372 kB
Active:         240088 kB
Inactive:       188548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1540060 kB
SwapTotal:     4192956 kB
SwapFree:      4140524 kB
Dirty:           40248 kB
Writeback:           0 kB
AnonPages:       11576 kB
Mapped:          12904 kB
Slab:            68388 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182540 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= 62532 MiB
End job on node048 at 2010-06-21 18:05:07