Trace number 2675981

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
borg-pb 10.05.30? (TO) 1800.04 1679.83

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24ls.opb
MD5SUM1a4510076d9024b805728ffe22c0d108
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 variables490
Total number of constraints737
Number of constraints which are clauses397
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints338
Minimum length of a constraint2
Maximum length of a constraint169
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 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 193
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.00 0.26 0.59 3/106 9792
/proc/meminfo: memFree=1515540/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=24036 CPUtime=0
/proc/9792/stat : 9792 (runsolver) R 9790 9792 9767 0 -1 4202560 80 0 0 0 0 0 0 0 18 0 1 0 54747770 24612864 106 1992294400 4194304 4302564 140735820362304 18446744073709551615 261752464375 0 2147483391 4096 24578 0 0 0 17 0 0 0 0
/proc/9792/statm: 6009 106 69 27 0 2647 0

[startup+0.100384 s]
/proc/loadavg: 0.00 0.26 0.59 3/106 9792
/proc/meminfo: memFree=1515540/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=17024 CPUtime=0
/proc/9792/stat : 9792 (python) D 9790 9792 9767 0 -1 4202496 890 0 0 0 0 0 0 0 16 0 1 0 54747770 17432576 645 1992294400 4194304 4196484 140737436779104 18446744073709551615 261752639333 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 5
/proc/9792/statm: 4256 645 311 1 0 352 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 17024

[startup+0.201383 s]
/proc/loadavg: 0.00 0.26 0.59 3/106 9792
/proc/meminfo: memFree=1515540/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=216 CPUtime=0.01
/proc/9792/stat : 9792 (python) D 9790 9792 9767 0 -1 4194304 961 0 0 0 1 0 0 0 15 0 1 0 54747770 221184 29 1992294400 4194304 4196484 140734542512432 18446744073709551615 261747719911 0 0 16781312 0 18446744071562234166 0 0 17 0 0 0 7
/proc/9792/statm: 54 29 22 1 0 22 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 216

[startup+0.301392 s]
/proc/loadavg: 0.00 0.26 0.59 3/106 9792
/proc/meminfo: memFree=1515540/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=16276 CPUtime=0.02
/proc/9792/stat : 9792 (python) D 9790 9792 9767 0 -1 4194304 1166 0 2 0 1 1 0 0 15 0 1 0 54747770 16666624 218 1992294400 4194304 4196484 140734542512432 18446744073709551615 47547184367440 0 0 16781312 0 18446744071562234166 0 0 17 0 0 0 11
/proc/9792/statm: 4069 218 139 1 0 49 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16276

[startup+0.701422 s]
/proc/loadavg: 0.00 0.26 0.59 3/106 9792
/proc/meminfo: memFree=1515540/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=17224 CPUtime=0.02
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 1585 0 9 0 1 1 0 0 15 0 1 0 54747770 17637376 632 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752641536 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 19
/proc/9792/statm: 4306 632 340 1 0 286 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17224

[startup+1.50149 s]
/proc/loadavg: 0.00 0.26 0.59 1/107 9793
/proc/meminfo: memFree=1511508/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=17432 CPUtime=0.02
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 1689 0 9 0 1 1 0 0 15 0 1 0 54747770 17850368 729 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752641536 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 30
/proc/9792/statm: 4358 729 354 1 0 338 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17432

[startup+3.10164 s]
/proc/loadavg: 0.16 0.29 0.59 1/107 9793
/proc/meminfo: memFree=1509716/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=36292 CPUtime=0.11
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 2416 0 15 0 6 5 0 0 16 0 1 0 54747770 37163008 1401 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752639333 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 54
/proc/9792/statm: 9073 1401 467 1 0 911 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 36292
heavy processes:

[startup+6.30092 s]
/proc/loadavg: 0.16 0.29 0.59 1/107 9793
/proc/meminfo: memFree=1490476/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=94668 CPUtime=0.5
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 4805 0 42 0 28 22 0 0 15 0 1 0 54747770 96940032 3563 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752641536 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 89
/proc/9792/statm: 23667 3563 1014 1 0 2555 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 94668
heavy processes:

[startup+12.7015 s]
/proc/loadavg: 0.21 0.29 0.59 2/108 9800
/proc/meminfo: memFree=1471588/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=132052 CPUtime=1.62
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 10230 919 49 9 112 49 0 1 16 0 1 0 54747770 135221248 6307 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159836005329808190 0 0 17 1 0 0 107
/proc/9792/statm: 33013 6307 1133 1 0 5165 0
[pid=9800] ppid=9792 vsize=2708 CPUtime=3.54
/proc/9800/stat : 9800 (clasp-1.3.3-x86) R 9792 9800 9800 0 -1 4202496 748 0 0 0 354 0 0 0 25 0 1 0 54748684 2772992 430 1992294400 134512640 136080129 4294689760 18446744073709551615 134804904 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9800/statm: 677 430 175 383 0 292 0
Current children cumulated CPU time (s) 5.16
Current children cumulated vsize (KiB) 134760
heavy processes:

[startup+25.5006 s]
/proc/loadavg: 0.33 0.32 0.60 2/108 9803
/proc/meminfo: memFree=1471528/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=13.01
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 11553 2654 49 10 206 61 1032 2 15 0 1 0 54747770 137330688 6329 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159836005329808190 0 0 17 1 0 0 107
/proc/9792/statm: 33528 6329 1143 1 0 5165 0
[pid=9803] ppid=9792 vsize=2836 CPUtime=5.84
/proc/9803/stat : 9803 (clasp-1.3.3-x86) R 9792 9803 9803 0 -1 4202496 779 0 0 0 584 0 0 0 25 0 1 0 54749730 2904064 463 1992294400 134512640 136080129 4294503104 18446744073709551615 134803258 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9803/statm: 709 463 175 383 0 324 0
Current children cumulated CPU time (s) 18.85
Current children cumulated vsize (KiB) 136948
heavy processes:

[startup+51.1008 s]
/proc/loadavg: 0.56 0.37 0.61 2/108 9803
/proc/meminfo: memFree=1471156/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=14.98
/proc/9792/stat : 9792 (python) R 9790 9792 9767 0 -1 4202496 11642 2654 49 10 380 84 1032 2 15 0 1 0 54747770 137330688 6329 1992294400 4194304 4196484 140734542512432 18446744073709551615 47547184153029 0 0 16781312 2 0 0 0 17 1 0 0 107
/proc/9792/statm: 33528 6329 1143 1 0 5165 0
[pid=9803] ppid=9792 vsize=3340 CPUtime=31.25
/proc/9803/stat : 9803 (clasp-1.3.3-x86) R 9792 9803 9803 0 -1 4202496 906 0 0 0 3125 0 0 0 25 0 1 0 54749730 3420160 590 1992294400 134512640 136080129 4294503104 18446744073709551615 134808099 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9803/statm: 835 590 175 383 0 450 0
Current children cumulated CPU time (s) 46.23
Current children cumulated vsize (KiB) 137452

[startup+102.316 s]
/proc/loadavg: 0.86 0.49 0.63 3/108 9808
/proc/meminfo: memFree=1419076/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=69.48
/proc/9792/stat : 9792 (python) R 9790 9792 9767 0 -1 4202496 12896 4531 49 10 769 134 6041 4 16 0 1 0 54747770 137330688 6332 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752302314 0 0 16781312 2 0 0 0 17 1 0 0 107
/proc/9792/statm: 33528 6332 1143 1 0 5165 0
[pid=9806] ppid=9792 vsize=55708 CPUtime=32.2
/proc/9806/stat : 9806 (wbo1.4a) R 9792 9806 9806 0 -1 4202496 13776 0 0 0 3183 37 0 0 25 0 1 0 54754780 57044992 13451 1992294400 134512640 135751879 4287585792 18446744073709551615 134604784 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/9806/statm: 13927 13451 139 303 0 13622 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 189820

[startup+162.3 s]
/proc/loadavg: 0.95 0.58 0.65 2/108 9813
/proc/meminfo: memFree=1471032/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=124.87
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 14221 24789 49 10 1195 186 11048 58 16 0 1 0 54747770 137330688 6333 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159836005329808190 0 0 17 1 0 0 107
/proc/9792/statm: 33528 6333 1143 1 0 5165 0
[pid=9811] ppid=9792 vsize=3352 CPUtime=41.53
/proc/9811/stat : 9811 (clasp-1.3.3-x86) R 9792 9811 9811 0 -1 4202496 924 0 0 0 4153 0 0 0 25 0 1 0 54759844 3432448 604 1992294400 134512640 136080129 4290512544 18446744073709551615 134808220 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9811/statm: 838 604 175 383 0 453 0
Current children cumulated CPU time (s) 166.4
Current children cumulated vsize (KiB) 137464

[startup+222.308 s]
/proc/loadavg: 0.98 0.65 0.67 2/108 9816
/proc/meminfo: memFree=1468676/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=229.96
/proc/9792/stat : 9792 (python) R 9790 9792 9767 0 -1 4202496 15437 26750 49 10 1643 240 21053 60 15 0 1 0 54747770 137330688 6334 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752686727 0 0 16781312 2 0 0 0 17 0 0 0 107
/proc/9792/statm: 33528 6334 1143 1 0 5165 0
[pid=9816] ppid=9792 vsize=6696 CPUtime=1.4
/proc/9816/stat : 9816 (wbo1.4a) R 9792 9816 9816 0 -1 4202496 1570 0 0 0 138 2 0 0 19 0 1 0 54769858 6856704 1242 1992294400 134512640 135751879 4291625072 18446744073709551615 134611031 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9816/statm: 1674 1242 139 303 0 1369 0
Current children cumulated CPU time (s) 231.36
Current children cumulated vsize (KiB) 140808

[startup+282.301 s]
/proc/loadavg: 1.10 0.74 0.70 2/108 9818
/proc/meminfo: memFree=1389316/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=234.46
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 15537 26750 49 10 2039 294 21053 60 15 0 1 0 54747770 137330688 6334 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159688670771686206 0 0 17 0 0 0 107
/proc/9792/statm: 33528 6334 1143 1 0 5165 0
[pid=9816] ppid=9792 vsize=86332 CPUtime=60.99
/proc/9816/stat : 9816 (wbo1.4a) R 9792 9816 9816 0 -1 4202496 21461 0 0 0 6046 53 0 0 25 0 1 0 54769858 88403968 21133 1992294400 134512640 135751879 4291625072 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9816/statm: 21583 21133 139 303 0 21278 0
Current children cumulated CPU time (s) 295.45
Current children cumulated vsize (KiB) 220444

[startup+342.301 s]
/proc/loadavg: 1.03 0.79 0.71 2/108 9823
/proc/meminfo: memFree=1433212/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=340.78
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 16823 62335 49 10 2476 349 31101 152 15 0 1 0 54747770 137330688 6337 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159688670771686206 0 0 17 0 0 0 107
/proc/9792/statm: 33528 6337 1143 1 0 5165 0
[pid=9823] ppid=9792 vsize=42428 CPUtime=19.19
/proc/9823/stat : 9823 (wbo1.4b) R 9792 9823 9823 0 -1 4202496 10501 0 0 0 1891 28 0 0 25 0 1 0 54780068 43446272 10176 1992294400 134512640 135751879 4291792592 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/9823/statm: 10607 10176 144 303 0 10302 0
Current children cumulated CPU time (s) 359.97
Current children cumulated vsize (KiB) 176540

[startup+402.301 s]
/proc/loadavg: 1.13 0.85 0.74 2/120 9840
/proc/meminfo: memFree=1290952/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=396.3
/proc/9792/stat : 9792 (python) R 9790 9792 9767 0 -1 4202496 18141 89585 49 10 2884 405 36118 223 15 0 1 0 54747770 137330688 6337 1992294400 4194304 4196484 140734542512432 18446744073709551615 47547183678485 0 0 16781312 2 0 0 0 17 0 0 0 107
/proc/9792/statm: 33528 6337 1143 1 0 5165 0
[pid=9826] ppid=9792 vsize=1479520 CPUtime=29.15
/proc/9826/stat : 9826 (java) S 9792 9826 9826 0 -1 4202496 50546 0 1 0 2890 25 0 0 15 0 13 0 54785191 1515028480 46676 1992294400 134512640 134550932 4287765824 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9826/statm: 369880 46676 1433 10 0 367182 0
[pid=9826/tid=9827] ppid=9792 vsize=1479520 CPUtime=27.54
/proc/9826/task/9827/stat : 9827 (java) R 9792 9826 9826 0 -1 4202560 30959 0 1 0 2738 16 0 0 25 0 13 0 54785193 1515028480 46676 1992294400 134512640 134550932 4287765824 18446744073709551615 4109386668 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9826/tid=9828] ppid=9792 vsize=1479520 CPUtime=0.15
/proc/9826/task/9828/stat : 9828 (java) S 9792 9826 9826 0 -1 4202560 7389 0 0 0 12 3 0 0 16 0 13 0 54785195 1515028480 46676 1992294400 134512640 134550932 4287765824 18446744073709551615 4294960144 0 4 0 16800975 18446604437841903872 0 0 -1 0 0 0 0
[pid=9826/tid=9829] ppid=9792 vsize=1479520 CPUtime=0.14
/proc/9826/task/9829/stat : 9829 (java) S 9792 9826 9826 0 -1 4202560 7405 0 0 0 11 3 0 0 18 0 13 0 54785195 1515028480 46676 1992294400 134512640 134550932 4287765824 18446744073709551615 4294960144 0 4 0 16800975 18446604437841903872 0 0 -1 1 0 0 0
[pid=9826/tid=9830] ppid=9792 vsize=1479520 CPUtime=0
/proc/9826/task/9830/stat : 9830 (java) S 9792 9826 9826 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 13 0 54785196 1515028480 46676 1992294400 134512640 134550932 4287765824 18446744073709551615 4294960144 0 0 0 16800975 18446604437841903872 0 0 -1 1 0 0 0
[pid=9826/tid=9831] ppid=9792 vsize=1479520 CPUtime=0

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

/proc/9916/statm: 1106 862 175 383 0 721 0
Current children cumulated CPU time (s) 1135.93
Current children cumulated vsize (KiB) 138536

[startup+1122.3 s]
/proc/loadavg: 1.14 1.10 0.94 2/108 9924
/proc/meminfo: memFree=1469176/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=902.62
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 40838 319199 49 12 8026 1074 80663 499 15 0 1 0 54747770 137330688 6348 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159836005329808190 0 0 17 1 0 0 107
/proc/9792/statm: 33528 6348 1143 1 0 5165 0
[pid=9916] ppid=9792 vsize=4592 CPUtime=297.65
/proc/9916/stat : 9916 (clasp-1.3.3-x86) R 9792 9916 9916 0 -1 4202496 1230 0 0 0 29763 2 0 0 25 0 1 0 54830052 4702208 906 1992294400 134512640 136080129 4287455344 18446744073709551615 134844376 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9916/statm: 1148 906 175 383 0 763 0
Current children cumulated CPU time (s) 1200.27
Current children cumulated vsize (KiB) 138704

[startup+1182.3 s]
/proc/loadavg: 1.33 1.14 0.96 2/108 9929
/proc/meminfo: memFree=1428628/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=1207.4
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 42149 321436 49 12 8437 1128 110672 503 16 0 1 0 54747770 137330688 6348 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159688670771686206 0 0 17 0 0 0 107
/proc/9792/statm: 33528 6348 1143 1 0 5165 0
[pid=9927] ppid=9792 vsize=53776 CPUtime=57.46
/proc/9927/stat : 9927 (bsolo_pb10) R 9792 9927 9927 0 -1 4202496 11336 0 0 0 5734 12 0 0 25 0 1 0 54860252 55066624 11001 1992294400 134512640 137138936 4290133680 18446744073709551615 134542516 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/9927/statm: 13444 11001 192 642 0 12800 0
Current children cumulated CPU time (s) 1264.86
Current children cumulated vsize (KiB) 187888

[startup+1242.31 s]
/proc/loadavg: 1.21 1.14 0.97 2/108 9937
/proc/meminfo: memFree=1470788/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=1322.87
/proc/9792/stat : 9792 (python) R 9790 9792 9767 0 -1 4202496 44652 337085 49 12 8848 1183 121735 521 15 0 1 0 54747770 137330688 6349 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752303937 0 0 16781312 2 0 0 0 17 1 0 0 107
/proc/9792/statm: 33528 6349 1143 1 0 5165 0
[pid=9937] ppid=9792 vsize=2840 CPUtime=6.58
/proc/9937/stat : 9937 (clasp-1.3.3-x86) R 9792 9937 9937 0 -1 4202496 790 0 0 0 658 0 0 0 25 0 1 0 54871342 2908160 465 1992294400 134512640 136080129 4288524048 18446744073709551615 134808132 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9937/statm: 710 465 175 383 0 325 0
Current children cumulated CPU time (s) 1329.45
Current children cumulated vsize (KiB) 136952

[startup+1302.3 s]
/proc/loadavg: 1.07 1.12 0.97 2/108 9939
/proc/meminfo: memFree=1469672/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=1327.62
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 44755 337085 49 12 9269 1237 121735 521 16 0 1 0 54747770 137330688 6349 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159836005329808190 0 0 17 1 0 0 107
/proc/9792/statm: 33528 6349 1143 1 0 5165 0
[pid=9937] ppid=9792 vsize=3820 CPUtime=66.55
/proc/9937/stat : 9937 (clasp-1.3.3-x86) R 9792 9937 9937 0 -1 4202496 1020 0 0 0 6655 0 0 0 25 0 1 0 54871342 3911680 695 1992294400 134512640 136080129 4288524048 18446744073709551615 134804917 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9937/statm: 955 695 175 383 0 570 0
Current children cumulated CPU time (s) 1394.17
Current children cumulated vsize (KiB) 137932

[startup+1362.3 s]
/proc/loadavg: 1.22 1.14 0.99 2/108 9950
/proc/meminfo: memFree=1470540/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=1453.23
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 48498 342635 49 12 9704 1293 133798 528 15 0 1 0 54747770 137330688 6350 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159836005329808190 0 0 17 1 0 0 107
/proc/9792/statm: 33528 6350 1143 1 0 5165 0
[pid=9948] ppid=9792 vsize=2824 CPUtime=5.62
/proc/9948/stat : 9948 (clasp-1.3.3-x86) R 9792 9948 9948 0 -1 4202496 792 0 0 0 562 0 0 0 25 0 1 0 54883437 2891776 464 1992294400 134512640 136080129 4289281440 18446744073709551615 134844392 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9948/statm: 706 464 175 383 0 321 0
Current children cumulated CPU time (s) 1458.85
Current children cumulated vsize (KiB) 136936

[startup+1422.3 s]
/proc/loadavg: 1.20 1.14 1.00 2/108 9956
/proc/meminfo: memFree=1470788/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=1518.58
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 51057 346364 49 12 10141 1344 139841 532 15 0 1 0 54747770 137330688 6350 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159836005329808190 0 0 17 1 0 0 107
/proc/9792/statm: 33528 6350 1143 1 0 5165 0
[pid=9956] ppid=9792 vsize=2820 CPUtime=5.07
/proc/9956/stat : 9956 (clasp-1.3.3-x86) R 9792 9956 9956 0 -1 4202496 776 0 0 0 507 0 0 0 25 0 1 0 54889493 2887680 450 1992294400 134512640 136080129 4289876656 18446744073709551615 134850034 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9956/statm: 705 450 175 383 0 320 0
Current children cumulated CPU time (s) 1523.65
Current children cumulated vsize (KiB) 136932

[startup+1482.3 s]
/proc/loadavg: 1.07 1.12 1.00 2/108 9958
/proc/meminfo: memFree=1469920/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=1523.27
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 51153 346364 49 12 10562 1392 139841 532 15 0 1 0 54747770 137330688 6350 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159836005329808190 0 0 17 1 0 0 107
/proc/9792/statm: 33528 6350 1143 1 0 5165 0
[pid=9956] ppid=9792 vsize=3636 CPUtime=65.04
/proc/9956/stat : 9956 (clasp-1.3.3-x86) R 9792 9956 9956 0 -1 4202496 994 0 0 0 6503 1 0 0 25 0 1 0 54889493 3723264 668 1992294400 134512640 136080129 4289876656 18446744073709551615 134845193 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9956/statm: 909 668 175 383 0 524 0
Current children cumulated CPU time (s) 1588.31
Current children cumulated vsize (KiB) 137748

[startup+1542.31 s]
/proc/loadavg: 1.02 1.09 1.00 2/108 9978
/proc/meminfo: memFree=1470664/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=1649.21
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 54882 352004 49 12 11008 1445 151929 539 15 0 1 0 54747770 137330688 6351 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159688670771686206 0 0 17 0 0 0 107
/proc/9792/statm: 33528 6351 1143 1 0 5165 0
[pid=9978] ppid=9792 vsize=2700 CPUtime=3.95
/proc/9978/stat : 9978 (clasp-1.3.3-x86) R 9792 9978 9978 0 -1 4202496 760 0 0 0 395 0 0 0 25 0 1 0 54901602 2764800 437 1992294400 134512640 136080129 4287273776 18446744073709551615 134577697 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9978/statm: 675 437 175 383 0 290 0
Current children cumulated CPU time (s) 1653.16
Current children cumulated vsize (KiB) 136812

[startup+1602.3 s]
/proc/loadavg: 1.05 1.09 1.00 2/108 9980
/proc/meminfo: memFree=1469796/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=1653.55
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 54995 352004 49 12 11394 1493 151929 539 15 0 1 0 54747770 137330688 6351 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159688670771686206 0 0 17 0 0 0 107
/proc/9792/statm: 33528 6351 1143 1 0 5165 0
[pid=9978] ppid=9792 vsize=3632 CPUtime=63.57
/proc/9978/stat : 9978 (clasp-1.3.3-x86) R 9792 9978 9978 0 -1 4202496 983 0 0 0 6357 0 0 0 25 0 1 0 54901602 3719168 660 1992294400 134512640 136080129 4287273776 18446744073709551615 134850060 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9978/statm: 908 660 175 383 0 523 0
Current children cumulated CPU time (s) 1717.12
Current children cumulated vsize (KiB) 137744

[startup+1662.3 s]
/proc/loadavg: 1.02 1.07 1.00 2/108 9991
/proc/meminfo: memFree=1470788/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=1779.2
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 58759 357582 49 12 11807 1545 164023 545 15 0 1 0 54747770 137330688 6352 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159688670771686206 0 0 17 0 0 0 107
/proc/9792/statm: 33528 6352 1143 1 0 5165 0
[pid=9991] ppid=9792 vsize=2572 CPUtime=2.11
/proc/9991/stat : 9991 (clasp-1.3.3-x86) R 9792 9991 9991 0 -1 4202496 723 0 0 0 211 0 0 0 23 0 1 0 54913787 2633728 395 1992294400 134512640 136080129 4291801872 18446744073709551615 134804904 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9991/statm: 643 395 175 383 0 258 0
Current children cumulated CPU time (s) 1781.31
Current children cumulated vsize (KiB) 136684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1679.81 s]
/proc/loadavg: 1.08 1.08 1.00 2/108 9991
/proc/meminfo: memFree=1470168/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=1780.52
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 58816 357582 49 12 11924 1560 164023 545 16 0 1 0 54747770 137330688 6352 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159688670771686206 0 0 17 0 0 0 107
/proc/9792/statm: 33528 6352 1143 1 0 5165 0
[pid=9991] ppid=9792 vsize=3080 CPUtime=19.52
/proc/9991/stat : 9991 (clasp-1.3.3-x86) R 9792 9991 9991 0 -1 4202496 868 0 0 0 1952 0 0 0 25 0 1 0 54913787 3153920 540 1992294400 134512640 136080129 4291801872 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9991/statm: 770 540 175 383 0 385 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 137192

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

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

[startup+1679.81 s]
/proc/loadavg: 1.08 1.08 1.00 2/108 9991
/proc/meminfo: memFree=1470168/2059040 swapFree=4140528/4192956
[pid=9792] ppid=9790 vsize=134112 CPUtime=1780.52
/proc/9792/stat : 9792 (python) S 9790 9792 9767 0 -1 4202496 58816 357582 49 12 11924 1560 164023 545 16 0 1 0 54747770 137330688 6352 1992294400 4194304 4196484 140734542512432 18446744073709551615 261752663567 0 0 16781312 2 159688670771686206 0 0 17 0 0 0 107
/proc/9792/statm: 33528 6352 1143 1 0 5165 0
[pid=9991] ppid=9792 vsize=3080 CPUtime=19.52
/proc/9991/stat : 9991 (clasp-1.3.3-x86) R 9792 9991 9991 0 -1 4202496 868 0 0 0 1952 0 0 0 25 0 1 0 54913787 3153920 540 1992294400 134512640 136080129 4291801872 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9991/statm: 770 540 175 383 0 385 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 137192

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9792 and gives
#  childrusage.ru_utime.tv_sec=1759
#  childrusage.ru_utime.tv_usec=483517
#  childrusage.ru_stime.tv_sec=21
#  childrusage.ru_stime.tv_usec=63797
# CPU time returned by wait4() is 1780.55
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1679.83
CPU time (s): 1800.04
CPU user time (s): 1778.99
CPU system time (s): 21.05
CPU usage (%): 107.156
Max. virtual memory (cumulated for all children) (KiB): 1616116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.48
system time used= 21.0638
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416399
page faults= 61
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14450
involuntary context switches= 31603

runsolver used 3.73943 second user time and 8.75167 second system time

The end

Launcher Data 

Begin job on node050 at 2010-06-21 17:35:59
IDJOB=2675981
IDBENCH=1167
IDSOLVER=1178
FILE ID=node050/2675981-1277134558
PBS_JOBID= 11182076
Free space on /tmp= 62492 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2675981-1277134558/watcher-2675981-1277134558 -o /tmp/evaluation-result-2675981-1277134558/solver-2675981-1277134558 -C 1800 -W 2000 -M 1800  solver HOME/instance-2675981-1277134558.opb 1337528790 

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

MD5SUM BENCH= 1a4510076d9024b805728ffe22c0d108
RANDOM SEED=1337528790

node050.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.215
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.43
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.215
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1516068 kB
Buffers:        128144 kB
Cached:         313704 kB
SwapCached:       5700 kB
Active:         235380 kB
Inactive:       219652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1516068 kB
SwapTotal:     4192956 kB
SwapFree:      4140528 kB
Dirty:           20752 kB
Writeback:           0 kB
AnonPages:       11868 kB
Mapped:          12800 kB
Slab:            66048 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181956 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= 62472 MiB
End job on node050 at 2010-06-21 18:04:03