Trace number 2684764

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 1699.82

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/
j120/normalized-j12056_10-unsat.opb
MD5SUM9569f42797128c8734a8cda484f54275
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables57354
Total number of constraints201250
Number of constraints which are clauses200306
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints944
Minimum length of a constraint1
Maximum length of a constraint120
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 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 677
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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


[startup+0 s]
/proc/loadavg: 1.84 2.01 2.01 3/106 19922
/proc/meminfo: memFree=1435512/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=24036 CPUtime=0
/proc/19922/stat : 19922 (runsolver) D 19920 19922 19897 0 -1 4202560 81 0 0 0 0 0 0 0 16 0 1 0 11557948 24612864 106 1992294400 4194304 4302564 140736992549968 18446744073709551615 222256800759 0 0 4096 24578 18446744071562234166 0 0 17 1 0 0 0
/proc/19922/statm: 6009 106 69 27 0 2647 0

[startup+0.109707 s]
/proc/loadavg: 1.84 2.01 2.01 3/106 19922
/proc/meminfo: memFree=1435512/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=17964 CPUtime=0.03
/proc/19922/stat : 19922 (python) D 19920 19922 19897 0 -1 4202496 1835 0 9 0 1 2 0 0 15 0 1 0 11557948 18395136 894 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256979712 0 0 16781312 2 18446744071562234166 0 0 17 0 0 0 2
/proc/19922/statm: 4491 894 401 1 0 471 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17964

[startup+0.201711 s]
/proc/loadavg: 1.84 2.01 2.01 3/106 19922
/proc/meminfo: memFree=1435512/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=31504 CPUtime=0.08
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 2203 0 14 0 3 5 0 0 15 0 1 0 11557948 32260096 1235 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256977920 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 3
/proc/19922/statm: 7876 1235 458 1 0 748 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31504

[startup+0.301726 s]
/proc/loadavg: 1.84 2.01 2.01 3/106 19922
/proc/meminfo: memFree=1435512/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=40884 CPUtime=0.12
/proc/19922/stat : 19922 (python) R 19920 19922 19897 0 -1 4202496 2455 0 17 0 5 7 0 0 16 0 1 0 11557948 41865216 1473 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256979712 0 0 16781312 2 0 0 0 17 0 0 0 4
/proc/19922/statm: 10221 1473 474 1 0 1021 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 40884

[startup+0.701774 s]
/proc/loadavg: 1.84 2.01 2.01 3/106 19922
/proc/meminfo: memFree=1435512/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=89828 CPUtime=0.3
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 4497 0 39 0 16 14 0 0 15 0 1 0 11557948 91983872 3371 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256975717 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 12
/proc/19922/statm: 22457 3371 994 1 0 2394 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 89828

[startup+1.50003 s]
/proc/loadavg: 1.84 2.01 2.01 2/107 19923
/proc/meminfo: memFree=1406984/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=110300 CPUtime=0.76
/proc/19922/stat : 19922 (python) R 19920 19922 19897 0 -1 4202496 7256 921 41 8 47 28 0 1 16 0 1 0 11557948 112947200 4903 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256676289 0 0 16781312 2 0 0 0 17 0 0 0 16
/proc/19922/statm: 27575 4903 1045 1 0 3869 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 110300

[startup+3.101 s]
/proc/loadavg: 1.84 2.01 2.01 2/107 19927
/proc/meminfo: memFree=1395196/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=132036 CPUtime=1.2
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 9934 921 47 8 77 42 0 1 15 0 1 0 11557948 135204864 6260 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159688670771686308 0 0 17 0 0 0 35
/proc/19922/statm: 33009 6260 1132 1 0 5161 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 132036
heavy processes:

[startup+6.30094 s]
/proc/loadavg: 1.77 2.00 2.00 2/108 19928
/proc/meminfo: memFree=1378284/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=132036 CPUtime=1.37
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 9945 921 47 8 92 44 0 1 15 0 1 0 11557948 135204864 6260 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159688670771686308 0 0 17 0 0 0 35
/proc/19922/statm: 33009 6260 1132 1 0 5161 0
[pid=19928] ppid=19922 vsize=16304 CPUtime=3.83
/proc/19928/stat : 19928 (clasp-1.3.3-x86) R 19922 19928 19928 0 -1 4202496 4513 0 0 0 381 2 0 0 25 0 1 0 11558191 16695296 3773 1992294400 134512640 136080129 4293560368 18446744073709551615 134808433 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/19928/statm: 4076 3773 175 383 0 3691 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 148340

[startup+12.7008 s]
/proc/loadavg: 1.71 1.98 2.00 2/108 19928
/proc/meminfo: memFree=1374812/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=132036 CPUtime=1.73
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 9960 921 47 8 124 48 0 1 15 0 1 0 11557948 135204864 6260 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159688670771686308 0 0 17 0 0 0 35
/proc/19922/statm: 33009 6260 1132 1 0 5161 0
[pid=19928] ppid=19922 vsize=20096 CPUtime=10.19
/proc/19928/stat : 19928 (clasp-1.3.3-x86) R 19922 19928 19928 0 -1 4202496 5482 0 0 0 1014 5 0 0 25 0 1 0 11558191 20578304 4742 1992294400 134512640 136080129 4293560368 18446744073709551615 134588723 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/19928/statm: 5024 4742 175 383 0 4639 0
Current children cumulated CPU time (s) 11.92
Current children cumulated vsize (KiB) 152132

[startup+25.5006 s]
/proc/loadavg: 1.55 1.93 1.98 2/108 19931
/proc/meminfo: memFree=1373576/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=12.91
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 11251 7326 47 8 196 59 1028 8 15 0 1 0 11557948 137314304 6282 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159836005329808292 0 0 17 1 0 0 35
/proc/19922/statm: 33524 6282 1142 1 0 5161 0
[pid=19931] ppid=19922 vsize=21680 CPUtime=12.6
/proc/19931/stat : 19931 (clasp-1.3.3-x86) R 19922 19931 19931 0 -1 4202496 5864 0 0 0 1257 3 0 0 25 0 1 0 11559237 22200320 5121 1992294400 134512640 136080129 4286727936 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/19931/statm: 5420 5121 175 383 0 5035 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 155776

[startup+51.1001 s]
/proc/loadavg: 1.36 1.85 1.95 2/108 19933
/proc/meminfo: memFree=1370228/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=14.4
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 11325 7326 47 8 331 73 1028 8 15 0 1 0 11557948 137314304 6282 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159836005329808292 0 0 17 1 0 0 35
/proc/19922/statm: 33524 6282 1142 1 0 5161 0
[pid=19931] ppid=19922 vsize=25252 CPUtime=38.18
/proc/19931/stat : 19931 (clasp-1.3.3-x86) R 19922 19931 19931 0 -1 4202496 6755 0 0 0 3815 3 0 0 25 0 1 0 11559237 25858048 6012 1992294400 134512640 136080129 4286727936 18446744073709551615 134808296 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/19931/statm: 6313 6012 175 383 0 5928 0
Current children cumulated CPU time (s) 52.58
Current children cumulated vsize (KiB) 159348

[startup+102.3 s]
/proc/loadavg: 1.20 1.73 1.90 2/108 19936
/proc/meminfo: memFree=1359192/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=68.14
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 12514 15539 47 8 632 112 6056 14 16 0 1 0 11557948 137314304 6283 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159836005329808292 0 0 17 1 0 0 35
/proc/19922/statm: 33524 6283 1142 1 0 5161 0
[pid=19936] ppid=19922 vsize=37300 CPUtime=39.02
/proc/19936/stat : 19936 (wbo1.4a) R 19922 19936 19936 0 -1 4202496 10868 0 0 0 3879 23 0 0 25 0 1 0 11564275 38195200 8589 1992294400 134512640 135751879 4288083856 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/19936/statm: 9325 8589 139 303 0 9020 0
Current children cumulated CPU time (s) 107.16
Current children cumulated vsize (KiB) 171396

[startup+162.301 s]
/proc/loadavg: 1.27 1.66 1.87 2/108 19941
/proc/meminfo: memFree=1368368/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=122.26
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 13813 27917 47 8 906 194 11083 43 15 0 1 0 11557948 137314304 6284 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159836005329808292 0 0 17 1 0 0 35
/proc/19922/statm: 33524 6284 1142 1 0 5161 0
[pid=19939] ppid=19922 vsize=26836 CPUtime=48.4
/proc/19939/stat : 19939 (clasp-1.3.3-x86) R 19922 19939 19939 0 -1 4202496 7143 0 0 0 4835 5 0 0 25 0 1 0 11569335 27480064 6394 1992294400 134512640 136080129 4291923104 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/19939/statm: 6709 6394 175 383 0 6324 0
Current children cumulated CPU time (s) 170.66
Current children cumulated vsize (KiB) 160932

[startup+222.31 s]
/proc/loadavg: 1.25 1.58 1.82 2/108 19946
/proc/meminfo: memFree=1368492/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=226.51
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 15005 37776 47 8 1222 271 21107 51 15 0 1 0 11557948 137314304 6285 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159688670771686308 0 0 17 0 0 0 35
/proc/19922/statm: 33524 6285 1142 1 0 5161 0
[pid=19946] ppid=19922 vsize=28168 CPUtime=7.98
/proc/19946/stat : 19946 (wbo1.4a) R 19922 19946 19946 0 -1 4202496 8614 0 0 0 792 6 0 0 25 0 1 0 11579373 28844032 6332 1992294400 134512640 135751879 4287943040 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/19946/statm: 7042 6332 139 303 0 6737 0
Current children cumulated CPU time (s) 234.49
Current children cumulated vsize (KiB) 162264

[startup+282.301 s]
/proc/loadavg: 1.09 1.47 1.77 2/108 19948
/proc/meminfo: memFree=1353116/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=229.87
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 15092 37776 47 8 1516 313 21107 51 15 0 1 0 11557948 137314304 6285 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159688670771686308 0 0 17 0 0 0 35
/proc/19922/statm: 33524 6285 1142 1 0 5161 0
[pid=19946] ppid=19922 vsize=43736 CPUtime=67.93
/proc/19946/stat : 19946 (wbo1.4a) R 19922 19946 19946 0 -1 4202496 12478 0 0 0 6759 34 0 0 25 0 1 0 11579373 44785664 10196 1992294400 134512640 135751879 4287943040 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/19946/statm: 10934 10196 139 303 0 10629 0
Current children cumulated CPU time (s) 297.8
Current children cumulated vsize (KiB) 177832

[startup+342.301 s]
/proc/loadavg: 1.03 1.38 1.72 2/108 19951
/proc/meminfo: memFree=1308972/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=334
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 16334 53233 47 8 1817 357 31125 101 15 0 1 0 11557948 137314304 6287 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159688670771686308 0 0 17 0 0 0 35
/proc/19922/statm: 33524 6287 1142 1 0 5161 0
[pid=19951] ppid=19922 vsize=87960 CPUtime=27.21
/proc/19951/stat : 19951 (wbo1.4b) R 19922 19951 19951 0 -1 4202496 23427 0 0 0 2712 9 0 0 25 0 1 0 11589455 90071040 21144 1992294400 134512640 135751879 4289431888 18446744073709551615 134524019 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/19951/statm: 21990 21144 142 303 0 21685 0
Current children cumulated CPU time (s) 361.21
Current children cumulated vsize (KiB) 222056

[startup+402.302 s]
/proc/loadavg: 1.17 1.36 1.69 2/120 19968
/proc/meminfo: memFree=1193856/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=388.1
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 17592 84100 47 8 2121 403 36169 117 15 0 1 0 11557948 137314304 6287 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159688670771686308 0 0 17 0 0 0 35
/proc/19922/statm: 33524 6287 1142 1 0 5161 0
[pid=19956] ppid=19922 vsize=1490416 CPUtime=38.91
/proc/19956/stat : 19956 (java) S 19922 19956 19956 0 -1 4202496 52808 0 95 0 3862 29 0 0 16 0 13 0 11594518 1526185984 48345 1992294400 134512640 134550932 4287488592 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8
/proc/19956/statm: 372604 48345 1437 10 0 369906 0
[pid=19956/tid=19957] ppid=19922 vsize=1490416 CPUtime=35.09
/proc/19956/task/19957/stat : 19957 (java) R 19922 19956 19956 0 -1 4202560 30889 0 60 0 3492 17 0 0 25 0 13 0 11594530 1526185984 48345 1992294400 134512640 134550932 4287488592 18446744073709551615 4110063395 0 4 0 16800975 0 0 0 -1 1 0 0 15
[pid=19956/tid=19958] ppid=19922 vsize=1490416 CPUtime=0.48
/proc/19956/task/19958/stat : 19958 (java) S 19922 19956 19956 0 -1 4202560 6632 0 0 0 45 3 0 0 18 0 13 0 11594538 1526185984 48345 1992294400 134512640 134550932 4287488592 18446744073709551615 4294960144 0 4 0 16800975 18446604437821171648 0 0 -1 1 0 0 0
[pid=19956/tid=19959] ppid=19922 vsize=1490416 CPUtime=0.44
/proc/19956/task/19959/stat : 19959 (java) S 19922 19956 19956 0 -1 4202560 6077 0 0 0 42 2 0 0 18 0 13 0 11594538 1526185984 48345 1992294400 134512640 134550932 4287488592 18446744073709551615 4294960144 0 4 0 16800975 18446604437821171648 0 0 -1 0 0 0 0
[pid=19956/tid=19960] ppid=19922 vsize=1490416 CPUtime=0
/proc/19956/task/19960/stat : 19960 (java) S 19922 19956 19956 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 13 0 11594541 1526185984 48345 1992294400 134512640 134550932 4287488592 18446744073709551615 4294960144 0 0 0 16800975 18446604437821171648 0 0 -1 0 0 0 0
[pid=19956/tid=19961] ppid=19922 vsize=1490416 CPUtime=0

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

/proc/20046/statm: 12397 12059 175 383 0 12012 0
Current children cumulated CPU time (s) 1127.78
Current children cumulated vsize (KiB) 183684

[startup+1122.3 s]
/proc/loadavg: 1.31 1.19 1.39 2/108 20057
/proc/meminfo: memFree=1337228/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=1178.67
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 40925 385645 47 104 5787 975 110789 316 15 0 1 0 11557948 137314304 6297 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159688670771686308 0 0 17 0 0 0 35
/proc/19922/statm: 33524 6297 1142 1 0 5161 0
[pid=20057] ppid=19922 vsize=55156 CPUtime=12.49
/proc/20057/stat : 20057 (bsolo_pb10) R 19922 20057 20057 0 -1 4202496 13242 0 0 0 1245 4 0 0 25 0 1 0 11668927 56479744 11101 1992294400 134512640 137138936 4288756928 18446744073709551615 134542199 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/20057/statm: 13789 11101 183 642 0 13145 0
Current children cumulated CPU time (s) 1191.16
Current children cumulated vsize (KiB) 189252

[startup+1182.3 s]
/proc/loadavg: 1.28 1.20 1.37 2/108 20059
/proc/meminfo: memFree=1337228/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=1182.02
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 41030 385645 47 104 6080 1017 110789 316 15 0 1 0 11557948 137314304 6297 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159688670771686308 0 0 17 0 0 0 35
/proc/19922/statm: 33524 6297 1142 1 0 5161 0
[pid=20057] ppid=19922 vsize=55156 CPUtime=72.48
/proc/20057/stat : 20057 (bsolo_pb10) R 19922 20057 20057 0 -1 4202496 13247 0 0 0 7241 7 0 0 25 0 1 0 11668927 56479744 11106 1992294400 134512640 137138936 4288756928 18446744073709551615 136504449 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/20057/statm: 13789 11106 183 642 0 13145 0
Current children cumulated CPU time (s) 1254.5
Current children cumulated vsize (KiB) 189252

[startup+1242.3 s]
/proc/loadavg: 1.23 1.20 1.36 2/108 20065
/proc/meminfo: memFree=1359176/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=1296.15
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 43495 406308 47 104 6411 1046 121825 333 16 0 1 0 11557948 137314304 6298 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159836005329808292 0 0 17 1 0 0 35
/proc/19922/statm: 33524 6298 1142 1 0 5161 0
[pid=20065] ppid=19922 vsize=23396 CPUtime=21.69
/proc/20065/stat : 20065 (clasp-1.3.3-x86) R 19922 20065 20065 0 -1 4202496 6323 0 0 0 2166 3 0 0 25 0 1 0 11679996 23957504 5569 1992294400 134512640 136080129 4292579120 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20065/statm: 5849 5569 175 383 0 5464 0
Current children cumulated CPU time (s) 1317.84
Current children cumulated vsize (KiB) 157492

[startup+1302.3 s]
/proc/loadavg: 1.26 1.21 1.35 2/108 20067
/proc/meminfo: memFree=1349132/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=1299.69
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 43569 406308 47 104 6749 1062 121825 333 15 0 1 0 11557948 137314304 6298 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159836005329808292 0 0 17 1 0 0 35
/proc/19922/statm: 33524 6298 1142 1 0 5161 0
[pid=20065] ppid=19922 vsize=33568 CPUtime=81.33
/proc/20065/stat : 20065 (clasp-1.3.3-x86) R 19922 20065 20065 0 -1 4202496 8848 0 0 0 8127 6 0 0 25 0 1 0 11679996 34373632 8094 1992294400 134512640 136080129 4292579120 18446744073709551615 134845904 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20065/statm: 8392 8094 175 383 0 8007 0
Current children cumulated CPU time (s) 1381.02
Current children cumulated vsize (KiB) 167664

[startup+1362.3 s]
/proc/loadavg: 1.29 1.23 1.35 2/108 20078
/proc/meminfo: memFree=1359052/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=1424.44
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 47188 429059 47 104 7077 1099 133916 352 15 0 1 0 11557948 137314304 6299 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159836005329808292 0 0 17 1 0 0 35
/proc/19922/statm: 33524 6299 1142 1 0 5161 0
[pid=20078] ppid=19922 vsize=23396 CPUtime=20.03
/proc/20078/stat : 20078 (clasp-1.3.3-x86) R 19922 20078 20078 0 -1 4202496 6319 0 0 0 1999 4 0 0 25 0 1 0 11692173 23957504 5570 1992294400 134512640 136080129 4290760272 18446744073709551615 134850019 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20078/statm: 5849 5570 175 383 0 5464 0
Current children cumulated CPU time (s) 1444.47
Current children cumulated vsize (KiB) 157492

[startup+1422.3 s]
/proc/loadavg: 1.24 1.22 1.34 2/108 20086
/proc/meminfo: memFree=1359052/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=1488.6
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 49662 443741 47 104 7393 1135 139967 365 15 0 1 0 11557948 137314304 6299 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159688670771686308 0 0 17 0 0 0 35
/proc/19922/statm: 33524 6299 1142 1 0 5161 0
[pid=20086] ppid=19922 vsize=23396 CPUtime=19.15
/proc/20086/stat : 20086 (clasp-1.3.3-x86) R 19922 20086 20086 0 -1 4202496 6309 0 0 0 1911 4 0 0 25 0 1 0 11698251 23957504 5561 1992294400 134512640 136080129 4287728640 18446744073709551615 134607925 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20086/statm: 5849 5561 175 383 0 5464 0
Current children cumulated CPU time (s) 1507.75
Current children cumulated vsize (KiB) 157492

[startup+1482.31 s]
/proc/loadavg: 1.09 1.17 1.31 2/108 20088
/proc/meminfo: memFree=1350372/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=1491.94
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 49746 443741 47 104 7682 1180 139967 365 15 0 1 0 11557948 137314304 6299 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159688670771686308 0 0 17 0 0 0 35
/proc/19922/statm: 33524 6299 1142 1 0 5161 0
[pid=20086] ppid=19922 vsize=32512 CPUtime=78.9
/proc/20086/stat : 20086 (clasp-1.3.3-x86) R 19922 20086 20086 0 -1 4202496 8572 0 0 0 7884 6 0 0 25 0 1 0 11698251 33292288 7824 1992294400 134512640 136080129 4287728640 18446744073709551615 134807686 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20086/statm: 8128 7824 175 383 0 7743 0
Current children cumulated CPU time (s) 1570.84
Current children cumulated vsize (KiB) 166608

[startup+1542.31 s]
/proc/loadavg: 1.11 1.17 1.30 2/108 20097
/proc/meminfo: memFree=1359052/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=1616.43
/proc/19922/stat : 19922 (python) R 19920 19922 19897 0 -1 4202496 53406 466398 47 104 8008 1211 152041 383 15 0 1 0 11557948 137314304 6300 1992294400 4194304 4196484 140736391697088 18446744073709551615 47983733949487 0 0 16781312 2 0 0 0 17 1 0 0 35
/proc/19922/statm: 33524 6300 1142 1 0 5161 0
[pid=20097] ppid=19922 vsize=23396 CPUtime=17.73
/proc/20097/stat : 20097 (clasp-1.3.3-x86) R 19922 20097 20097 0 -1 4202496 6310 0 0 0 1769 4 0 0 25 0 1 0 11710394 23957504 5556 1992294400 134512640 136080129 4291140688 18446744073709551615 134588560 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20097/statm: 5849 5556 175 383 0 5464 0
Current children cumulated CPU time (s) 1634.16
Current children cumulated vsize (KiB) 157492

[startup+1602.3 s]
/proc/loadavg: 1.04 1.14 1.28 2/108 20099
/proc/meminfo: memFree=1350000/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=1619.93
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 53490 466398 47 104 8354 1215 152041 383 15 0 1 0 11557948 137314304 6300 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159836005329808292 0 0 17 1 0 0 35
/proc/19922/statm: 33524 6300 1142 1 0 5161 0
[pid=20097] ppid=19922 vsize=32904 CPUtime=77.34
/proc/20097/stat : 20097 (clasp-1.3.3-x86) R 19922 20097 20097 0 -1 4202496 8669 0 0 0 7727 7 0 0 25 0 1 0 11710394 33693696 7915 1992294400 134512640 136080129 4291140688 18446744073709551615 134808220 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/20097/statm: 8226 7915 175 383 0 7841 0
Current children cumulated CPU time (s) 1697.27
Current children cumulated vsize (KiB) 167000

[startup+1662.3 s]
/proc/loadavg: 1.01 1.11 1.26 2/108 20110
/proc/meminfo: memFree=1358928/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=1744.63
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 57159 489123 47 104 8705 1233 164120 405 15 0 1 0 11557948 137314304 6301 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159836005329808292 0 0 17 1 0 0 35
/proc/19922/statm: 33524 6301 1142 1 0 5161 0
[pid=20110] ppid=19922 vsize=23396 CPUtime=15.93
/proc/20110/stat : 20110 (clasp-1.3.3-x86) R 19922 20110 20110 0 -1 4202496 6304 0 0 0 1589 4 0 0 25 0 1 0 11722572 23957504 5557 1992294400 134512640 136080129 4290784912 18446744073709551615 134849469 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20110/statm: 5849 5557 175 383 0 5464 0
Current children cumulated CPU time (s) 1760.56
Current children cumulated vsize (KiB) 157492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1699.8 s]
/proc/loadavg: 1.00 1.09 1.25 2/108 20112
/proc/meminfo: memFree=1353720/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=1746.82
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 57235 489123 47 104 8917 1240 164120 405 15 0 1 0 11557948 137314304 6301 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159836005329808292 0 0 17 1 0 0 35
/proc/19922/statm: 33524 6301 1142 1 0 5161 0
[pid=20110] ppid=19922 vsize=28532 CPUtime=53.2
/proc/20110/stat : 20110 (clasp-1.3.3-x86) R 19922 20110 20110 0 -1 4202496 7580 0 0 0 5315 5 0 0 25 0 1 0 11722572 29216768 6833 1992294400 134512640 136080129 4290784912 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20110/statm: 7133 6833 175 383 0 6748 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 162628

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

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

[startup+1699.8 s]
/proc/loadavg: 1.00 1.09 1.25 2/108 20112
/proc/meminfo: memFree=1353720/2059040 swapFree=4192956/4192956
[pid=19922] ppid=19920 vsize=134096 CPUtime=1746.82
/proc/19922/stat : 19922 (python) S 19920 19922 19897 0 -1 4202496 57235 489123 47 104 8917 1240 164120 405 15 0 1 0 11557948 137314304 6301 1992294400 4194304 4196484 140736391697088 18446744073709551615 222256999951 0 0 16781312 2 159836005329808292 0 0 17 1 0 0 35
/proc/19922/statm: 33524 6301 1142 1 0 5161 0
[pid=20110] ppid=19922 vsize=28532 CPUtime=53.2
/proc/20110/stat : 20110 (clasp-1.3.3-x86) R 19922 20110 20110 0 -1 4202496 7580 0 0 0 5315 5 0 0 25 0 1 0 11722572 29216768 6833 1992294400 134512640 136080129 4290784912 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/20110/statm: 7133 6833 175 383 0 6748 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 162628

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19922 and gives
#  childrusage.ru_utime.tv_sec=1730
#  childrusage.ru_utime.tv_usec=391940
#  childrusage.ru_stime.tv_sec=16
#  childrusage.ru_stime.tv_usec=463497
# CPU time returned by wait4() is 1746.86
# 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): 1699.82
CPU time (s): 1800.02
CPU user time (s): 1783.52
CPU system time (s): 16.5
CPU usage (%): 105.895
Max. virtual memory (cumulated for all children) (KiB): 1626844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1730.39
system time used= 16.4635
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 546358
page faults= 151
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15049
involuntary context switches= 21400

runsolver used 3.04654 second user time and 8.46671 second system time

The end

Launcher Data 

Begin job on node056 at 2010-07-06 18:25:14
IDJOB=2684764
IDBENCH=73545
IDSOLVER=1178
FILE ID=node056/2684764-1278433514
PBS_JOBID= 11233489
Free space on /tmp= 98460 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12056_10-unsat.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684764-1278433514/watcher-2684764-1278433514 -o /tmp/evaluation-result-2684764-1278433514/solver-2684764-1278433514 -C 1800 -W 2000 -M 1800  solver HOME/instance-2684764-1278433514.opb 1624613616 

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

MD5SUM BENCH= 9569f42797128c8734a8cda484f54275
RANDOM SEED=1624613616

node056.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.197
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.39
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.197
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.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1436396 kB
Buffers:        101288 kB
Cached:         386608 kB
SwapCached:          0 kB
Active:         200404 kB
Inactive:       347192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1436396 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           27144 kB
Writeback:           0 kB
AnonPages:       59776 kB
Mapped:          14352 kB
Slab:            52912 kB
PageTables:       4236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180384 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= 98440 MiB
End job on node056 at 2010-07-06 18:53:37