Trace number 2675975

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.09 1700.63

General information on the benchmark

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

[startup+0.0485869 s]
/proc/loadavg: 0.00 0.26 0.58 2/106 9420
/proc/meminfo: memFree=1610900/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=3788 CPUtime=0
/proc/9420/stat : 9420 (solver) S 9418 9420 9395 0 -1 4194304 192 0 0 0 0 0 0 0 17 0 1 0 54744168 3878912 100 1992294400 4194304 4208684 140736278737328 18446744073709551615 264053040119 0 2147483391 4096 0 18446744071699535038 0 0 17 0 0 0 4
/proc/9420/statm: 947 100 84 4 0 62 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3788

[startup+0.102917 s]
/proc/loadavg: 0.00 0.26 0.58 2/106 9420
/proc/meminfo: memFree=1610900/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=17024 CPUtime=0
/proc/9420/stat : 9420 (python) R 9418 9420 9395 0 -1 4202496 880 0 0 0 0 0 0 0 16 0 1 0 54744168 17432576 636 1992294400 4194304 4196484 140736482692640 18446744073709551615 264053215077 0 0 16781312 2 0 0 0 17 0 0 0 6
/proc/9420/statm: 4256 639 307 1 0 352 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 17024

[startup+0.300922 s]
/proc/loadavg: 0.00 0.26 0.58 2/106 9420
/proc/meminfo: memFree=1610900/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=17224 CPUtime=0.02
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 1598 0 9 0 1 1 0 0 15 0 1 0 54744168 17637376 643 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053217280 0 2147483391 16781312 2 18446744071699535038 0 0 17 0 0 0 13
/proc/9420/statm: 4306 643 342 1 0 286 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17224

[startup+0.700931 s]
/proc/loadavg: 0.00 0.26 0.58 2/106 9420
/proc/meminfo: memFree=1610900/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=17828 CPUtime=0.03
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 1801 0 9 0 2 1 0 0 15 0 1 0 54744168 18255872 837 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053217280 0 2147483391 16781312 2 18446744071699535038 0 0 17 0 0 0 17
/proc/9420/statm: 4457 837 394 1 0 437 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17828

[startup+1.50095 s]
/proc/loadavg: 0.00 0.26 0.58 1/107 9421
/proc/meminfo: memFree=1606188/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=17828 CPUtime=0.03
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 1801 0 9 0 2 1 0 0 15 0 1 0 54744168 18255872 837 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053217280 0 2147483391 16781312 2 18446744071699535038 0 0 17 0 0 0 17
/proc/9420/statm: 4457 837 394 1 0 437 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17828

[startup+3.10099 s]
/proc/loadavg: 0.08 0.27 0.58 1/107 9421
/proc/meminfo: memFree=1605384/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=46208 CPUtime=0.14
/proc/9420/stat : 9420 (python) D 9418 9420 9395 0 -1 4202496 2647 0 20 0 8 6 0 0 15 0 1 0 54744168 47316992 1619 1992294400 4194304 4196484 140734882388992 18446744073709551615 264048299715 0 0 16781312 2 18446744071562234166 0 0 17 1 0 0 38
/proc/9420/statm: 11552 1619 503 1 0 1072 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 46208
heavy processes:

[startup+6.30007 s]
/proc/loadavg: 0.08 0.27 0.58 1/107 9421
/proc/meminfo: memFree=1585772/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=98792 CPUtime=0.57
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 4825 0 42 0 33 24 0 0 15 0 1 0 54744168 101163008 3580 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053217280 0 2147483391 16781312 2 18446744071699535038 0 0 17 1 0 0 81
/proc/9420/statm: 24698 3580 1022 1 0 2555 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 98792
heavy processes:

[startup+12.7004 s]
/proc/loadavg: 0.22 0.29 0.59 2/108 9426
/proc/meminfo: memFree=1566700/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=132056 CPUtime=1.58
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 10234 923 49 9 110 48 0 0 15 0 1 0 54744168 135225344 6306 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159836005329808276 0 0 17 1 0 0 100
/proc/9420/statm: 33014 6306 1133 1 0 5166 0
[pid=9426] ppid=9420 vsize=2440 CPUtime=3.35
/proc/9426/stat : 9426 (clasp-1.3.3-x86) R 9420 9426 9426 0 -1 4202496 682 0 0 0 335 0 0 0 25 0 1 0 54745099 2498560 367 1992294400 134512640 136080129 4290992224 18446744073709551615 134803096 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9426/statm: 610 367 175 383 0 225 0
Current children cumulated CPU time (s) 4.93
Current children cumulated vsize (KiB) 134496
heavy processes:

[startup+25.5005 s]
/proc/loadavg: 0.34 0.32 0.59 2/108 9431
/proc/meminfo: memFree=1566640/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=12.66
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 11581 2583 49 10 186 60 1018 2 15 0 1 0 54744168 137334784 6329 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6329 1143 1 0 5166 0
[pid=9431] ppid=9420 vsize=2576 CPUtime=5.82
/proc/9431/stat : 9431 (clasp-1.3.3-x86) R 9420 9431 9431 0 -1 4202496 708 0 0 0 582 0 0 0 25 0 1 0 54746131 2637824 393 1992294400 134512640 136080129 4293602384 18446744073709551615 134849507 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9431/statm: 644 393 175 383 0 259 0
Current children cumulated CPU time (s) 18.48
Current children cumulated vsize (KiB) 136692
heavy processes:

[startup+51.1002 s]
/proc/loadavg: 0.56 0.37 0.60 2/108 9431
/proc/meminfo: memFree=1566144/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=14.24
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 11663 2583 49 10 326 78 1018 2 15 0 1 0 54744168 137334784 6329 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6329 1143 1 0 5166 0
[pid=9431] ppid=9420 vsize=2956 CPUtime=31.26
/proc/9431/stat : 9431 (clasp-1.3.3-x86) R 9420 9431 9431 0 -1 4202496 807 0 0 0 3126 0 0 0 25 0 1 0 54746131 3026944 492 1992294400 134512640 136080129 4293602384 18446744073709551615 134579958 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9431/statm: 739 492 175 383 0 354 0
Current children cumulated CPU time (s) 45.5
Current children cumulated vsize (KiB) 137072

[startup+102.309 s]
/proc/loadavg: 0.82 0.47 0.62 2/108 9436
/proc/meminfo: memFree=1532540/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=68.27
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 12955 4325 49 10 641 122 6060 4 16 0 1 0 54744168 137334784 6331 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6331 1143 1 0 5166 0
[pid=9434] ppid=9420 vsize=37820 CPUtime=31.87
/proc/9434/stat : 9434 (wbo1.4a) R 9420 9434 9434 0 -1 4202496 9298 0 0 0 3167 20 0 0 25 0 1 0 54751210 38727680 8975 1992294400 134512640 135751879 4293719952 18446744073709551615 134517409 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9434/statm: 9455 8975 139 303 0 9150 0
Current children cumulated CPU time (s) 100.14
Current children cumulated vsize (KiB) 171936

[startup+162.302 s]
/proc/loadavg: 1.04 0.59 0.65 2/108 9439
/proc/meminfo: memFree=1566640/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=122.82
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 14314 18591 49 10 971 169 11104 38 15 0 1 0 54744168 137334784 6333 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6333 1143 1 0 5166 0
[pid=9439] ppid=9420 vsize=3052 CPUtime=41.03
/proc/9439/stat : 9439 (clasp-1.3.3-x86) R 9420 9439 9439 0 -1 4202496 829 0 0 0 4103 0 0 0 25 0 1 0 54756293 3125248 513 1992294400 134512640 136080129 4290880048 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9439/statm: 763 513 175 383 0 378 0
Current children cumulated CPU time (s) 163.85
Current children cumulated vsize (KiB) 137168

[startup+222.3 s]
/proc/loadavg: 1.09 0.68 0.68 2/108 9444
/proc/meminfo: memFree=1566764/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=227.21
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 15542 20408 49 10 1343 219 21118 41 16 0 1 0 54744168 137334784 6333 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6333 1143 1 0 5166 0
[pid=9444] ppid=9420 vsize=4120 CPUtime=0.45
/proc/9444/stat : 9444 (wbo1.4a) R 9420 9444 9444 0 -1 4202496 930 0 0 0 45 0 0 0 18 0 1 0 54766351 4218880 601 1992294400 134512640 135751879 4288886688 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9444/statm: 1030 601 139 303 0 725 0
Current children cumulated CPU time (s) 227.66
Current children cumulated vsize (KiB) 138236

[startup+282.301 s]
/proc/loadavg: 1.14 0.77 0.70 2/108 9446
/proc/meminfo: memFree=1509972/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=231.04
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 15670 20408 49 10 1675 270 21118 41 15 0 1 0 54744168 137334784 6334 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6334 1143 1 0 5166 0
[pid=9444] ppid=9420 vsize=61160 CPUtime=60.06
/proc/9444/stat : 9444 (wbo1.4a) R 9420 9444 9444 0 -1 4202496 15115 0 0 0 5970 36 0 0 25 0 1 0 54766351 62627840 14786 1992294400 134512640 135751879 4288886688 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9444/statm: 15290 14786 139 303 0 14985 0
Current children cumulated CPU time (s) 291.1
Current children cumulated vsize (KiB) 195276

[startup+342.307 s]
/proc/loadavg: 1.09 0.82 0.73 2/108 9451
/proc/meminfo: memFree=1543948/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=336.07
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 16985 44140 49 10 2044 324 31137 102 15 0 1 0 54744168 137334784 6335 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6335 1143 1 0 5166 0
[pid=9451] ppid=9420 vsize=26620 CPUtime=18.96
/proc/9451/stat : 9451 (wbo1.4b) R 9420 9451 9451 0 -1 4202496 6535 0 0 0 1882 14 0 0 25 0 1 0 54776500 27258880 6210 1992294400 134512640 135751879 4286962064 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9451/statm: 6655 6210 144 303 0 6350 0
Current children cumulated CPU time (s) 355.03
Current children cumulated vsize (KiB) 160736

[startup+402.302 s]
/proc/loadavg: 1.16 0.89 0.75 2/120 9468
/proc/meminfo: memFree=1382700/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=390.59
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 18327 60895 49 10 2391 371 36160 137 15 0 1 0 54744168 137334784 6337 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6337 1143 1 0 5166 0
[pid=9454] ppid=9420 vsize=1485464 CPUtime=29.86
/proc/9454/stat : 9454 (java) S 9420 9454 9454 0 -1 4202496 47999 0 91 0 2963 23 0 0 16 0 13 0 54781562 1521115136 44902 1992294400 134512640 134550932 4291698832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6
/proc/9454/statm: 371366 44902 1433 10 0 368668 0
[pid=9454/tid=9455] ppid=9420 vsize=1485464 CPUtime=27.77
/proc/9454/task/9455/stat : 9455 (java) R 9420 9454 9454 0 -1 4202560 30901 0 57 0 2762 15 0 0 25 0 13 0 54781572 1521115136 44902 1992294400 134512640 134550932 4291698832 18446744073709551615 4108986283 0 4 0 16800975 0 0 0 -1 1 0 0 18
[pid=9454/tid=9456] ppid=9420 vsize=1485464 CPUtime=0.09
/proc/9454/task/9456/stat : 9456 (java) S 9420 9454 9454 0 -1 4202560 5424 0 0 0 8 1 0 0 18 0 13 0 54781578 1521115136 44902 1992294400 134512640 134550932 4291698832 18446744073709551615 4294960144 0 4 0 16800975 18446604437839599488 0 0 -1 0 0 0 0
[pid=9454/tid=9457] ppid=9420 vsize=1485464 CPUtime=0.09
/proc/9454/task/9457/stat : 9457 (java) S 9420 9454 9454 0 -1 4202560 5078 0 0 0 7 2 0 0 18 0 13 0 54781578 1521115136 44902 1992294400 134512640 134550932 4291698832 18446744073709551615 4294960144 0 4 0 16800975 18446604437839599488 0 0 -1 1 0 0 0
[pid=9454/tid=9458] ppid=9420 vsize=1485464 CPUtime=0
/proc/9454/task/9458/stat : 9458 (java) S 9420 9454 9454 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 13 0 54781581 1521115136 44902 1992294400 134512640 134550932 4291698832 18446744073709551615 4294960144 0 0 0 16800975 18446604437839599488 0 0 -1 1 0 0 0
[pid=9454/tid=9459] ppid=9420 vsize=1485464 CPUtime=0

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

/proc/9544/statm: 912 659 175 383 0 527 0
Current children cumulated CPU time (s) 1059.31
Current children cumulated vsize (KiB) 137764

[startup+1062.3 s]
/proc/loadavg: 1.05 1.02 0.88 2/108 9550
/proc/meminfo: memFree=1554536/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=880.71
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 41590 246613 49 102 6281 912 80558 320 15 0 1 0 54744168 137334784 6347 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6347 1143 1 0 5166 0
[pid=9544] ppid=9420 vsize=3740 CPUtime=241.96
/proc/9544/stat : 9544 (clasp-1.3.3-x86) R 9420 9544 9544 0 -1 4202496 1022 0 0 0 24196 0 0 0 25 0 1 0 54826087 3829760 703 1992294400 134512640 136080129 4286890384 18446744073709551615 134588881 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9544/statm: 935 703 175 383 0 550 0
Current children cumulated CPU time (s) 1122.67
Current children cumulated vsize (KiB) 137856

[startup+1122.3 s]
/proc/loadavg: 1.08 1.03 0.89 2/108 9555
/proc/meminfo: memFree=1552800/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134120 CPUtime=1184.74
/proc/9420/stat : 9420 (python) R 9418 9420 9395 0 -1 4202496 42854 248597 49 102 6621 960 110571 322 15 0 1 0 54744168 137338880 6348 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053219072 0 0 16781312 2 0 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6348 1143 1 0 5166 0
[pid=9555] ppid=9420 vsize=15348 CPUtime=1.39
/proc/9555/stat : 9555 (bsolo_pb10) R 9420 9555 9555 0 -1 4202496 1743 0 0 0 138 1 0 0 19 0 1 0 54856257 15716352 1411 1992294400 134512640 137138936 4287764032 18446744073709551615 134542624 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/9555/statm: 3837 1411 192 642 0 3193 0
Current children cumulated CPU time (s) 1186.13
Current children cumulated vsize (KiB) 149468

[startup+1182.3 s]
/proc/loadavg: 1.03 1.02 0.89 2/108 9557
/proc/meminfo: memFree=1528000/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=1188.57
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 42952 248597 49 102 6958 1006 110571 322 15 0 1 0 54744168 137334784 6348 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6348 1143 1 0 5166 0
[pid=9555] ppid=9420 vsize=39168 CPUtime=61.01
/proc/9555/stat : 9555 (bsolo_pb10) R 9420 9555 9555 0 -1 4202496 7679 0 0 0 6092 9 0 0 25 0 1 0 54856257 40108032 7347 1992294400 134512640 137138936 4287764032 18446744073709551615 134606964 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/9555/statm: 9792 7347 192 642 0 9148 0
Current children cumulated CPU time (s) 1249.58
Current children cumulated vsize (KiB) 173284

[startup+1242.3 s]
/proc/loadavg: 1.04 1.03 0.91 3/108 9565
/proc/meminfo: memFree=1555652/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=1302.95
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 45490 259989 49 102 7299 1057 121602 337 15 0 1 0 54744168 137334784 6348 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6348 1143 1 0 5166 0
[pid=9565] ppid=9420 vsize=2716 CPUtime=10.16
/proc/9565/stat : 9565 (clasp-1.3.3-x86) R 9420 9565 9565 0 -1 4202496 749 0 0 0 1016 0 0 0 25 0 1 0 54867380 2781184 427 1992294400 134512640 136080129 4289867520 18446744073709551615 134803244 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9565/statm: 679 427 175 383 0 294 0
Current children cumulated CPU time (s) 1313.11
Current children cumulated vsize (KiB) 136832

[startup+1302.3 s]
/proc/loadavg: 1.10 1.05 0.92 2/108 9567
/proc/meminfo: memFree=1554908/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=1306.69
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 45575 259989 49 102 7629 1101 121602 337 15 0 1 0 54744168 137334784 6348 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6348 1143 1 0 5166 0
[pid=9565] ppid=9420 vsize=3180 CPUtime=70.15
/proc/9565/stat : 9565 (clasp-1.3.3-x86) R 9420 9565 9565 0 -1 4202496 875 0 0 0 7015 0 0 0 25 0 1 0 54867380 3256320 553 1992294400 134512640 136080129 4289867520 18446744073709551615 134579995 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9565/statm: 795 553 175 383 0 410 0
Current children cumulated CPU time (s) 1376.84
Current children cumulated vsize (KiB) 137296

[startup+1362.3 s]
/proc/loadavg: 1.21 1.09 0.93 2/108 9576
/proc/meminfo: memFree=1555528/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=1431.58
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 49439 265242 49 102 7978 1150 133686 344 15 0 1 0 54744168 137334784 6349 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6349 1143 1 0 5166 0
[pid=9576] ppid=9420 vsize=2588 CPUtime=9.14
/proc/9576/stat : 9576 (clasp-1.3.3-x86) R 9420 9576 9576 0 -1 4202496 734 0 0 0 914 0 0 0 25 0 1 0 54879482 2650112 411 1992294400 134512640 136080129 4287529456 18446744073709551615 134588974 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9576/statm: 647 411 175 383 0 262 0
Current children cumulated CPU time (s) 1440.72
Current children cumulated vsize (KiB) 136704

[startup+1422.31 s]
/proc/loadavg: 1.07 1.07 0.93 2/108 9584
/proc/meminfo: memFree=1555404/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=1495.97
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 52026 268769 49 102 8325 1195 139729 348 15 0 1 0 54744168 137334784 6350 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6350 1143 1 0 5166 0
[pid=9584] ppid=9420 vsize=2584 CPUtime=8.52
/proc/9584/stat : 9584 (clasp-1.3.3-x86) R 9420 9584 9584 0 -1 4202496 732 0 0 0 852 0 0 0 25 0 1 0 54885545 2646016 412 1992294400 134512640 136080129 4289873040 18446744073709551615 134845684 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9584/statm: 646 412 175 383 0 261 0
Current children cumulated CPU time (s) 1504.49
Current children cumulated vsize (KiB) 136700

[startup+1482.3 s]
/proc/loadavg: 1.03 1.05 0.93 2/108 9586
/proc/meminfo: memFree=1554784/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=1499.71
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 52117 268769 49 102 8653 1241 139729 348 15 0 1 0 54744168 137334784 6350 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6350 1143 1 0 5166 0
[pid=9584] ppid=9420 vsize=3180 CPUtime=68.5
/proc/9584/stat : 9584 (clasp-1.3.3-x86) R 9420 9584 9584 0 -1 4202496 873 0 0 0 6850 0 0 0 25 0 1 0 54885545 3256320 553 1992294400 134512640 136080129 4289873040 18446744073709551615 134610270 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9584/statm: 795 553 175 383 0 410 0
Current children cumulated CPU time (s) 1568.21
Current children cumulated vsize (KiB) 137296

[startup+1542.3 s]
/proc/loadavg: 1.04 1.05 0.94 2/108 9606
/proc/meminfo: memFree=1555404/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=1624.58
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 55949 274114 49 102 9003 1289 151812 354 15 0 1 0 54744168 137334784 6351 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159836005329808276 0 0 17 1 0 0 101
/proc/9420/statm: 33529 6351 1143 1 0 5166 0
[pid=9606] ppid=9420 vsize=2572 CPUtime=7.45
/proc/9606/stat : 9606 (clasp-1.3.3-x86) R 9420 9606 9606 0 -1 4202496 732 0 0 0 745 0 0 0 25 0 1 0 54897646 2633728 412 1992294400 134512640 136080129 4293445520 18446744073709551615 134850005 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9606/statm: 643 412 175 383 0 258 0
Current children cumulated CPU time (s) 1632.03
Current children cumulated vsize (KiB) 136688

[startup+1602.3 s]
/proc/loadavg: 1.01 1.04 0.94 2/108 9608
/proc/meminfo: memFree=1554908/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=1628.54
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 56046 274114 49 102 9355 1333 151812 354 15 0 1 0 54744168 137334784 6351 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159836005329808276 0 0 17 1 0 0 101
/proc/9420/statm: 33529 6351 1143 1 0 5166 0
[pid=9606] ppid=9420 vsize=3204 CPUtime=67.04
/proc/9606/stat : 9606 (clasp-1.3.3-x86) R 9420 9606 9606 0 -1 4202496 871 0 0 0 6704 0 0 0 25 0 1 0 54897646 3280896 551 1992294400 134512640 136080129 4293445520 18446744073709551615 134804904 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9606/statm: 801 551 175 383 0 416 0
Current children cumulated CPU time (s) 1695.58
Current children cumulated vsize (KiB) 137320

[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 0.94 2/108 9617
/proc/meminfo: memFree=1555404/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=1753.3
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 59883 279371 49 102 9719 1383 163868 360 15 0 1 0 54744168 137334784 6352 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6352 1143 1 0 5166 0
[pid=9617] ppid=9420 vsize=2584 CPUtime=6.1
/proc/9617/stat : 9617 (clasp-1.3.3-x86) R 9420 9617 9617 0 -1 4202496 714 0 0 0 610 0 0 0 25 0 1 0 54909786 2646016 389 1992294400 134512640 136080129 4289261616 18446744073709551615 134588658 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9617/statm: 646 389 175 383 0 261 0
Current children cumulated CPU time (s) 1759.4
Current children cumulated vsize (KiB) 136700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1700.61 s]
/proc/loadavg: 1.00 1.03 0.94 2/108 9619
/proc/meminfo: memFree=1554908/2059040 swapFree=4140984/4192956
[pid=9420] ppid=9418 vsize=134116 CPUtime=1755.68
/proc/9420/stat : 9420 (python) S 9418 9420 9395 0 -1 4202496 59967 279371 49 102 9931 1409 163868 360 15 0 1 0 54744168 137334784 6352 1992294400 4194304 4196484 140734882388992 18446744073709551615 264053239311 0 0 16781312 2 159688670771686292 0 0 17 0 0 0 101
/proc/9420/statm: 33529 6352 1143 1 0 5166 0
[pid=9617] ppid=9420 vsize=3076 CPUtime=44.41
/proc/9617/stat : 9617 (clasp-1.3.3-x86) R 9420 9617 9617 0 -1 4202496 841 0 0 0 4441 0 0 0 25 0 1 0 54909786 3149824 516 1992294400 134512640 136080129 4289261616 18446744073709551615 134835119 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9617/statm: 769 516 175 383 0 384 0
Current children cumulated CPU time (s) 1800.09
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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9420 and gives
#  childrusage.ru_utime.tv_sec=1738
#  childrusage.ru_utime.tv_usec=3783
#  childrusage.ru_stime.tv_sec=17
#  childrusage.ru_stime.tv_usec=703308
# CPU time returned by wait4() is 1755.71
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1700.63
CPU time (s): 1800.09
CPU user time (s): 1782.4
CPU system time (s): 17.69
CPU usage (%): 105.849
Max. virtual memory (cumulated for all children) (KiB): 1622356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1738
system time used= 17.7033
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339339
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= 14678
involuntary context switches= 28474

runsolver used 3.45347 second user time and 8.64869 second system time

The end

Launcher Data 

Begin job on node049 at 2010-06-21 17:35:58
IDJOB=2675975
IDBENCH=1161
IDSOLVER=1178
FILE ID=node049/2675975-1277134558
PBS_JOBID= 11182077
Free space on /tmp= 62572 MiB

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

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

MD5SUM BENCH= cc11de80c07cf0d445d50327479f6689
RANDOM SEED=1337528790

node049.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1611180 kB
Buffers:        141180 kB
Cached:         207164 kB
SwapCached:       5724 kB
Active:         175572 kB
Inactive:       186044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1611180 kB
SwapTotal:     4192956 kB
SwapFree:      4140984 kB
Dirty:           20836 kB
Writeback:           0 kB
AnonPages:       11920 kB
Mapped:          13012 kB
Slab:            64044 kB
PageTables:       4044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184472 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62552 MiB
End job on node049 at 2010-06-21 18:04:24