Trace number 2675941

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.05 1694.22

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM939f54a73a83900b8b6d857af47a0b62
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables62704
Total number of constraints187107
Number of constraints which are clauses186603
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint1
Maximum length of a constraint11
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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


[startup+0 s]
/proc/loadavg: 1.03 0.74 0.70 3/106 4950
/proc/meminfo: memFree=1376196/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=16708 CPUtime=0
/proc/4950/stat : 4950 (python) R 4948 4950 4491 0 -1 4202496 757 0 0 0 0 0 0 0 18 0 1 0 87135215 17108992 522 1992294400 4194304 4196484 140735891091184 18446744073709551615 237014224287 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4950/statm: 4177 522 281 1 0 273 0

[startup+0.090433 s]
/proc/loadavg: 1.03 0.74 0.70 3/106 4950
/proc/meminfo: memFree=1376196/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=31508 CPUtime=0.07
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 2242 0 0 0 4 3 0 0 18 0 1 0 87135215 32264192 1227 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997859328 0 2147483391 16781312 2 18446744071699424446 0 0 17 0 0 0 0
/proc/4950/statm: 7877 1227 459 1 0 749 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31508

[startup+0.103793 s]
/proc/loadavg: 1.03 0.74 0.70 3/106 4950
/proc/meminfo: memFree=1376196/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=32152 CPUtime=0.08
/proc/4950/stat : 4950 (python) R 4948 4950 4491 0 -1 4202496 2416 0 0 0 5 3 0 0 18 0 1 0 87135215 32923648 1389 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997859328 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4950/statm: 8038 1389 459 1 0 910 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32152

[startup+0.300827 s]
/proc/loadavg: 1.03 0.74 0.70 3/106 4950
/proc/meminfo: memFree=1376196/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=71508 CPUtime=0.25
/proc/4950/stat : 4950 (python) R 4948 4950 4491 0 -1 4202496 4142 0 0 0 18 7 0 0 18 0 1 0 87135215 73224192 2956 1992294400 4194304 4196484 140737256497056 18446744073709551615 47418219392006 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4950/statm: 17877 2956 693 1 0 2364 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 71508

[startup+0.7009 s]
/proc/loadavg: 1.03 0.74 0.70 3/106 4950
/proc/meminfo: memFree=1376196/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=101332 CPUtime=0.62
/proc/4950/stat : 4950 (python) R 4948 4950 4491 0 -1 4202496 5540 0 0 0 42 20 0 0 18 0 1 0 87135215 103763968 4218 1992294400 4194304 4196484 140737256497056 18446744073709551615 47418219157865 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4950/statm: 25333 4220 1023 1 0 3190 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 101332

[startup+1.50106 s]
/proc/loadavg: 1.03 0.74 0.70 2/107 4955
/proc/meminfo: memFree=1356472/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=132048 CPUtime=1.19
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 10262 926 0 0 87 32 0 0 18 0 1 0 87135215 135217152 6306 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 7753056679616282880 0 0 17 0 0 0 0
/proc/4950/statm: 33012 6306 1133 1 0 5164 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 132048

[startup+3.10135 s]
/proc/loadavg: 1.03 0.74 0.70 2/108 4956
/proc/meminfo: memFree=1339476/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=132048 CPUtime=1.3
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 10269 926 0 0 96 34 0 0 15 0 1 0 87135215 135217152 6306 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/4950/statm: 33012 6306 1133 1 0 5164 0
[pid=4956] ppid=4950 vsize=16344 CPUtime=1.75
/proc/4956/stat : 4956 (clasp-1.3.3-x86) R 4950 4956 4956 0 -1 4202496 4586 0 0 0 173 2 0 0 25 0 1 0 87135348 16736256 3806 1992294400 134512640 136080129 4290097296 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4956/statm: 4086 3806 175 383 0 3701 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 148392

[startup+6.30093 s]
/proc/loadavg: 1.02 0.75 0.70 2/108 4956
/proc/meminfo: memFree=1339476/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=132048 CPUtime=1.5
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 10280 926 0 0 113 37 0 0 15 0 1 0 87135215 135217152 6306 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/4950/statm: 33012 6306 1133 1 0 5164 0
[pid=4956] ppid=4950 vsize=17536 CPUtime=4.91
/proc/4956/stat : 4956 (clasp-1.3.3-x86) R 4950 4956 4956 0 -1 4202496 4858 0 0 0 489 2 0 0 25 0 1 0 87135348 17956864 4078 1992294400 134512640 136080129 4290097296 18446744073709551615 134716433 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4956/statm: 4384 4078 175 383 0 3999 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 149584

[startup+12.7011 s]
/proc/loadavg: 1.02 0.75 0.71 2/108 4959
/proc/meminfo: memFree=1343692/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=12.37
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 11587 7268 0 0 154 45 1033 5 15 0 1 0 87135215 137326592 6328 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159836005329808160 0 0 17 1 0 0 0
/proc/4950/statm: 33527 6328 1143 1 0 5164 0
[pid=4959] ppid=4950 vsize=16344 CPUtime=0.87
/proc/4959/stat : 4959 (clasp-1.3.3-x86) R 4950 4959 4959 0 -1 4202496 4576 0 0 0 85 2 0 0 21 0 1 0 87136397 16736256 3801 1992294400 134512640 136080129 4287980544 18446744073709551615 134808089 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4959/statm: 4086 3801 175 383 0 3701 0
Current children cumulated CPU time (s) 13.24
Current children cumulated vsize (KiB) 150452

[startup+25.5014 s]
/proc/loadavg: 1.02 0.76 0.71 2/108 4959
/proc/meminfo: memFree=1336872/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=13.17
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 11633 7268 0 0 224 55 1033 5 15 0 1 0 87135215 137326592 6328 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159836005329808160 0 0 17 1 0 0 0
/proc/4950/statm: 33527 6328 1143 1 0 5164 0
[pid=4959] ppid=4950 vsize=20172 CPUtime=13.66
/proc/4959/stat : 4959 (clasp-1.3.3-x86) R 4950 4959 4959 0 -1 4202496 5542 0 0 0 1363 3 0 0 25 0 1 0 87136397 20656128 4767 1992294400 134512640 136080129 4287980544 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4959/statm: 5043 4767 175 383 0 4658 0
Current children cumulated CPU time (s) 26.83
Current children cumulated vsize (KiB) 154280

[startup+51.1018 s]
/proc/loadavg: 1.01 0.78 0.72 2/108 4961
/proc/meminfo: memFree=1325092/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=14.76
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 11719 7268 0 0 363 75 1033 5 15 0 1 0 87135215 137326592 6328 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159836005329808160 0 0 17 1 0 0 0
/proc/4950/statm: 33527 6328 1143 1 0 5164 0
[pid=4959] ppid=4950 vsize=32288 CPUtime=39.25
/proc/4959/stat : 4959 (clasp-1.3.3-x86) R 4950 4959 4959 0 -1 4202496 8538 0 0 0 3918 7 0 0 25 0 1 0 87136397 33062912 7763 1992294400 134512640 136080129 4287980544 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4959/statm: 8072 7763 175 383 0 7687 0
Current children cumulated CPU time (s) 54.01
Current children cumulated vsize (KiB) 166396

[startup+102.309 s]
/proc/loadavg: 1.08 0.83 0.74 2/108 4964
/proc/meminfo: memFree=1330176/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=68.8
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 12984 17505 0 0 671 121 6073 15 15 0 1 0 87135215 137326592 6332 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/4950/statm: 33527 6332 1143 1 0 5164 0
[pid=4964] ppid=4950 vsize=29584 CPUtime=39.67
/proc/4964/stat : 4964 (wbo1.4a) R 4950 4964 4964 0 -1 4202496 8509 0 0 0 3957 10 0 0 25 0 1 0 87141453 30294016 6500 1992294400 134512640 135751879 4287302672 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4964/statm: 7396 6500 139 303 0 7091 0
Current children cumulated CPU time (s) 108.47
Current children cumulated vsize (KiB) 163692

[startup+162.301 s]
/proc/loadavg: 1.03 0.86 0.75 2/108 4969
/proc/meminfo: memFree=1322612/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=123.22
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 14307 27172 0 0 1004 171 11118 29 15 0 1 0 87135215 137326592 6333 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/4950/statm: 33527 6333 1143 1 0 5164 0
[pid=4967] ppid=4950 vsize=34812 CPUtime=48.69
/proc/4967/stat : 4967 (clasp-1.3.3-x86) R 4950 4967 4967 0 -1 4202496 9197 0 0 0 4862 7 0 0 25 0 1 0 87146546 35647488 8418 1992294400 134512640 136080129 4294807664 18446744073709551615 134845968 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/4967/statm: 8703 8418 175 383 0 8318 0
Current children cumulated CPU time (s) 171.91
Current children cumulated vsize (KiB) 168920

[startup+222.3 s]
/proc/loadavg: 1.01 0.88 0.76 2/108 4974
/proc/meminfo: memFree=1333896/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=227.88
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 15533 38356 0 0 1356 222 21170 40 16 0 1 0 87135215 137326592 6334 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/4950/statm: 33527 6334 1143 1 0 5164 0
[pid=4974] ppid=4950 vsize=25596 CPUtime=7.64
/proc/4974/stat : 4974 (wbo1.4a) R 4950 4974 4974 0 -1 4202496 7500 0 0 0 761 3 0 0 25 0 1 0 87156674 26210304 5490 1992294400 134512640 135751879 4287475264 18446744073709551615 134607274 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4974/statm: 6399 5490 139 303 0 6094 0
Current children cumulated CPU time (s) 235.52
Current children cumulated vsize (KiB) 159704

[startup+282.301 s]
/proc/loadavg: 1.14 0.94 0.79 2/108 4976
/proc/meminfo: memFree=1327820/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=231.8
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 15623 38356 0 0 1698 272 21170 40 15 0 1 0 87135215 137326592 6334 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/4950/statm: 33527 6334 1143 1 0 5164 0
[pid=4974] ppid=4950 vsize=31960 CPUtime=67.28
/proc/4974/stat : 4974 (wbo1.4a) R 4950 4974 4974 0 -1 4202496 9091 0 0 0 6715 13 0 0 25 0 1 0 87156674 32727040 7081 1992294400 134512640 135751879 4287475264 18446744073709551615 134616465 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4974/statm: 7990 7081 139 303 0 7685 0
Current children cumulated CPU time (s) 299.08
Current children cumulated vsize (KiB) 166068

[startup+342.301 s]
/proc/loadavg: 1.05 0.95 0.80 2/108 4981
/proc/meminfo: memFree=1216592/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=336.05
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 16911 49161 0 0 2045 322 31178 60 15 0 1 0 87135215 137326592 6335 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159836005329808160 0 0 17 1 0 0 0
/proc/4950/statm: 33527 6335 1143 1 0 5164 0
[pid=4979] ppid=4950 vsize=142644 CPUtime=26.71
/proc/4979/stat : 4979 (wbo1.4b) R 4950 4979 4979 0 -1 4202496 36678 0 0 0 2657 14 0 0 25 0 1 0 87166771 146067456 34670 1992294400 134512640 135751879 4290707568 18446744073709551615 134583124 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4979/statm: 35661 34670 142 303 0 35356 0
Current children cumulated CPU time (s) 362.76
Current children cumulated vsize (KiB) 276752

[startup+402.302 s]
/proc/loadavg: 1.22 1.02 0.83 2/120 4996
/proc/meminfo: memFree=1175244/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=390.65
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 18243 86749 0 0 2390 372 36225 78 15 0 1 0 87135215 137326592 6336 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159836005329808160 0 0 17 1 0 0 0
/proc/4950/statm: 33527 6336 1143 1 0 5164 0
[pid=4984] ppid=4950 vsize=1479116 CPUtime=36.74
/proc/4984/stat : 4984 (java) S 4950 4984 4984 0 -1 4202496 45379 0 86 0 3646 28 0 0 17 0 13 0 87171841 1514614784 43663 1992294400 134512640 134550932 4293395008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5
/proc/4984/statm: 369779 43663 1437 10 0 367081 0
[pid=4984/tid=4985] ppid=4950 vsize=1479116 CPUtime=34.42
/proc/4984/task/4985/stat : 4985 (java) R 4950 4984 4984 0 -1 4202560 30878 0 52 0 3423 19 0 0 25 0 13 0 87171850 1514614784 43663 1992294400 134512640 134550932 4293395008 18446744073709551615 4109611481 0 4 0 16800975 0 0 0 -1 0 0 0 13
[pid=4984/tid=4986] ppid=4950 vsize=1479116 CPUtime=0.28
/proc/4984/task/4986/stat : 4986 (java) S 4950 4984 4984 0 -1 4202560 5898 0 0 0 26 2 0 0 18 0 13 0 87171854 1514614784 43663 1992294400 134512640 134550932 4293395008 18446744073709551615 4294960144 0 4 0 16800975 18446604437845342144 0 0 -1 1 0 0 0
[pid=4984/tid=4987] ppid=4950 vsize=1479116 CPUtime=0.29
/proc/4984/task/4987/stat : 4987 (java) S 4950 4984 4984 0 -1 4202560 4898 0 0 0 27 2 0 0 18 0 13 0 87171854 1514614784 43663 1992294400 134512640 134550932 4293395008 18446744073709551615 4294960144 0 4 0 16800975 18446604437845342144 0 0 -1 0 0 0 0
[pid=4984/tid=4988] ppid=4950 vsize=1479116 CPUtime=0

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

/proc/5074/statm: 11269 10957 175 383 0 10884 0
Current children cumulated CPU time (s) 1065.67
Current children cumulated vsize (KiB) 179184

[startup+1062.3 s]
/proc/loadavg: 1.09 1.07 0.93 2/108 5080
/proc/meminfo: memFree=1300396/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134112 CPUtime=882.01
/proc/4950/stat : 4950 (python) R 4948 4950 4491 0 -1 4202496 40800 378054 0 87 6149 936 80843 273 16 0 1 0 87135215 137330688 6345 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997904519 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4950/statm: 33528 6345 1143 1 0 5165 0
[pid=5074] ppid=4950 vsize=45076 CPUtime=247.37
/proc/5074/stat : 5074 (clasp-1.3.3-x86) R 4950 5074 5074 0 -1 4202496 11743 0 0 0 24729 8 0 0 25 0 1 0 87216698 46157824 10958 1992294400 134512640 136080129 4290985152 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5074/statm: 11269 10958 175 383 0 10884 0
Current children cumulated CPU time (s) 1129.38
Current children cumulated vsize (KiB) 179188

[startup+1122.3 s]
/proc/loadavg: 1.06 1.07 0.94 2/108 5085
/proc/meminfo: memFree=1305852/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=1186.11
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 42032 391411 0 87 6484 985 110857 285 15 0 1 0 87135215 137326592 6345 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/4950/statm: 33527 6345 1143 1 0 5164 0
[pid=5085] ppid=4950 vsize=49652 CPUtime=7.06
/proc/5085/stat : 5085 (bsolo_pb10) R 4950 5085 5085 0 -1 4202496 11608 0 0 0 702 4 0 0 25 0 1 0 87246737 50843648 9741 1992294400 134512640 137138936 4294221824 18446744073709551615 134542199 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/5085/statm: 12413 9741 183 642 0 11769 0
Current children cumulated CPU time (s) 1193.17
Current children cumulated vsize (KiB) 183760

[startup+1182.3 s]
/proc/loadavg: 1.07 1.07 0.94 2/108 5087
/proc/meminfo: memFree=1305232/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=1189.82
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 42163 391411 0 87 6806 1034 110857 285 16 0 1 0 87135215 137326592 6345 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/4950/statm: 33527 6345 1143 1 0 5164 0
[pid=5085] ppid=4950 vsize=50048 CPUtime=67.05
/proc/5085/stat : 5085 (bsolo_pb10) R 4950 5085 5085 0 -1 4202496 11733 0 0 0 6696 9 0 0 25 0 1 0 87246737 51249152 9866 1992294400 134512640 137138936 4294221824 18446744073709551615 134542187 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/5085/statm: 12512 9866 183 642 0 11868 0
Current children cumulated CPU time (s) 1256.87
Current children cumulated vsize (KiB) 184156

[startup+1242.3 s]
/proc/loadavg: 1.07 1.07 0.95 2/108 5104
/proc/meminfo: memFree=1322212/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=1304.6
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 44701 410809 0 87 7145 1083 121929 303 15 0 1 0 87135215 137326592 6346 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/4950/statm: 33527 6346 1143 1 0 5164 0
[pid=5093] ppid=4950 vsize=23220 CPUtime=16.04
/proc/5093/stat : 5093 (clasp-1.3.3-x86) R 4950 5093 5093 0 -1 4202496 6304 0 0 0 1600 4 0 0 25 0 1 0 87257838 23777280 5517 1992294400 134512640 136080129 4291054704 18446744073709551615 134591633 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5093/statm: 5805 5517 175 383 0 5420 0
Current children cumulated CPU time (s) 1320.64
Current children cumulated vsize (KiB) 157328

[startup+1302.3 s]
/proc/loadavg: 1.07 1.07 0.96 2/108 5104
/proc/meminfo: memFree=1303868/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=1308.33
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 44790 410809 0 87 7473 1128 121929 303 15 0 1 0 87135215 137326592 6346 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/4950/statm: 33527 6346 1143 1 0 5164 0
[pid=5093] ppid=4950 vsize=41400 CPUtime=76.03
/proc/5093/stat : 5093 (clasp-1.3.3-x86) R 4950 5093 5093 0 -1 4202496 10830 0 0 0 7596 7 0 0 25 0 1 0 87257838 42393600 10043 1992294400 134512640 136080129 4291054704 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5093/statm: 10350 10043 175 383 0 9965 0
Current children cumulated CPU time (s) 1384.36
Current children cumulated vsize (KiB) 175508

[startup+1362.3 s]
/proc/loadavg: 1.07 1.07 0.96 2/108 5115
/proc/meminfo: memFree=1324204/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=1433.21
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 48547 436172 0 87 7819 1179 133999 324 15 0 1 0 87135215 137326592 6347 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159836005329808160 0 0 17 1 0 0 0
/proc/4950/statm: 33527 6347 1143 1 0 5164 0
[pid=5115] ppid=4950 vsize=21528 CPUtime=14.75
/proc/5115/stat : 5115 (clasp-1.3.3-x86) R 4950 5115 5115 0 -1 4202496 5874 0 0 0 1472 3 0 0 25 0 1 0 87269959 22044672 5092 1992294400 134512640 136080129 4287314112 18446744073709551615 134849469 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5115/statm: 5382 5092 175 383 0 4997 0
Current children cumulated CPU time (s) 1447.96
Current children cumulated vsize (KiB) 155636

[startup+1422.31 s]
/proc/loadavg: 1.10 1.07 0.97 2/108 5123
/proc/meminfo: memFree=1324080/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=1497.7
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 51116 452192 0 87 8157 1229 140045 339 15 0 1 0 87135215 137326592 6347 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/4950/statm: 33527 6347 1143 1 0 5164 0
[pid=5123] ppid=4950 vsize=21628 CPUtime=13.83
/proc/5123/stat : 5123 (clasp-1.3.3-x86) R 4950 5123 5123 0 -1 4202496 5909 0 0 0 1380 3 0 0 25 0 1 0 87276060 22147072 5123 1992294400 134512640 136080129 4294256112 18446744073709551615 134849103 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5123/statm: 5407 5123 175 383 0 5022 0
Current children cumulated CPU time (s) 1511.53
Current children cumulated vsize (KiB) 155736

[startup+1482.3 s]
/proc/loadavg: 1.11 1.07 0.97 2/108 5125
/proc/meminfo: memFree=1306472/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=1501.42
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 51199 452192 0 87 8481 1277 140045 339 16 0 1 0 87135215 137326592 6347 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/4950/statm: 33527 6347 1143 1 0 5164 0
[pid=5123] ppid=4950 vsize=39092 CPUtime=73.81
/proc/5123/stat : 5123 (clasp-1.3.3-x86) R 4950 5123 5123 0 -1 4202496 10268 0 0 0 7374 7 0 0 25 0 1 0 87276060 40030208 9482 1992294400 134512640 136080129 4294256112 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5123/statm: 9773 9482 175 383 0 9388 0
Current children cumulated CPU time (s) 1575.23
Current children cumulated vsize (KiB) 173200

[startup+1542.3 s]
/proc/loadavg: 1.10 1.07 0.98 2/108 5136
/proc/meminfo: memFree=1325816/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=1626.42
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 54981 476537 0 87 8826 1328 152130 358 16 0 1 0 87135215 137326592 6348 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/4950/statm: 33527 6348 1143 1 0 5164 0
[pid=5134] ppid=4950 vsize=19776 CPUtime=12.64
/proc/5134/stat : 5134 (clasp-1.3.3-x86) R 4950 5134 5134 0 -1 4202496 5438 0 0 0 1262 2 0 0 25 0 1 0 87288178 20250624 4653 1992294400 134512640 136080129 4289834096 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5134/statm: 4944 4653 175 383 0 4559 0
Current children cumulated CPU time (s) 1639.06
Current children cumulated vsize (KiB) 153884

[startup+1602.3 s]
/proc/loadavg: 1.08 1.07 0.98 2/108 5136
/proc/meminfo: memFree=1313664/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=1630.12
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 55078 476537 0 87 9150 1374 152130 358 15 0 1 0 87135215 137326592 6348 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159688670771686176 0 0 17 0 0 0 0
/proc/4950/statm: 33527 6348 1143 1 0 5164 0
[pid=5134] ppid=4950 vsize=31900 CPUtime=72.62
/proc/5134/stat : 5134 (clasp-1.3.3-x86) R 4950 5134 5134 0 -1 4202496 8454 0 0 0 7257 5 0 0 25 0 1 0 87288178 32665600 7669 1992294400 134512640 136080129 4289834096 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5134/statm: 7975 7669 175 383 0 7590 0
Current children cumulated CPU time (s) 1702.74
Current children cumulated vsize (KiB) 166008

[startup+1662.3 s]
/proc/loadavg: 1.03 1.05 0.98 2/108 5147
/proc/meminfo: memFree=1325196/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=1754.96
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 58835 501253 0 87 9495 1425 164198 378 15 0 1 0 87135215 137326592 6349 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159836005329808160 0 0 17 1 0 0 0
/proc/4950/statm: 33527 6349 1143 1 0 5164 0
[pid=5147] ppid=4950 vsize=20436 CPUtime=11.43
/proc/5147/stat : 5147 (clasp-1.3.3-x86) R 4950 5147 5147 0 -1 4202496 5589 0 0 0 1141 2 0 0 25 0 1 0 87300293 20926464 4804 1992294400 134512640 136080129 4291794560 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5147/statm: 5109 4804 175 383 0 4724 0
Current children cumulated CPU time (s) 1766.39
Current children cumulated vsize (KiB) 154544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1694.2 s]
/proc/loadavg: 1.07 1.06 0.99 2/108 5149
/proc/meminfo: memFree=1309696/2059040 swapFree=4136180/4192956
[pid=4950] ppid=4948 vsize=134108 CPUtime=1756.94
/proc/4950/stat : 4950 (python) S 4948 4950 4491 0 -1 4202496 58907 501253 0 87 9665 1453 164198 378 15 0 1 0 87135215 137326592 6349 1992294400 4194304 4196484 140737256497056 18446744073709551615 236997881359 0 0 16781312 2 159836005329808160 0 0 17 1 0 0 0
/proc/4950/statm: 33527 6349 1143 1 0 5164 0
[pid=5147] ppid=4950 vsize=35792 CPUtime=43.11
/proc/5147/stat : 5147 (clasp-1.3.3-x86) R 4950 5147 5147 0 -1 4202496 9443 0 0 0 4304 7 0 0 25 0 1 0 87300293 36651008 8658 1992294400 134512640 136080129 4291794560 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5147/statm: 8948 8658 175 383 0 8563 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 169900

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 4950 and gives
#  childrusage.ru_utime.tv_sec=1738
#  childrusage.ru_utime.tv_usec=645685
#  childrusage.ru_stime.tv_sec=18
#  childrusage.ru_stime.tv_usec=319215
# CPU time returned by wait4() is 1756.96
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1694.22
CPU time (s): 1800.05
CPU user time (s): 1781.67
CPU system time (s): 18.38
CPU usage (%): 106.247
Max. virtual memory (cumulated for all children) (KiB): 1614164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1738.65
system time used= 18.3192
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 560161
page faults= 87
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9916
involuntary context switches= 22639

runsolver used 4.07938 second user time and 9.44756 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-21 17:40:33
IDJOB=2675941
IDBENCH=1479
IDSOLVER=1178
FILE ID=node027/2675941-1277134833
PBS_JOBID= 11182092
Free space on /tmp= 62316 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2675941-1277134833/watcher-2675941-1277134833 -o /tmp/evaluation-result-2675941-1277134833/solver-2675941-1277134833 -C 1800 -W 2000 -M 1800  solver HOME/instance-2675941-1277134833.opb 997500734 

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

MD5SUM BENCH= 939f54a73a83900b8b6d857af47a0b62
RANDOM SEED=997500734

node027.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		: 2800.261
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	: 5600.52
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		: 2800.261
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:       1376600 kB
Buffers:        128464 kB
Cached:         442440 kB
SwapCached:      10292 kB
Active:         269636 kB
Inactive:       315472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1376600 kB
SwapTotal:     4192956 kB
SwapFree:      4136180 kB
Dirty:           27028 kB
Writeback:           0 kB
AnonPages:       11756 kB
Mapped:           9272 kB
Slab:            75296 kB
PageTables:       3964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183764 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62296 MiB
End job on node027 at 2010-06-21 18:08:50