Trace number 2675965

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.07 1698.12

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl.opb
MD5SUMb2fe1642a1ae97e0b20cfe37f07bcc49
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1219.55
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables21380
Total number of constraints60984
Number of constraints which are clauses58828
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2156
Minimum length of a constraint1
Maximum length of a constraint13
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 73
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 262
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.14 0.82 0.75 3/106 10992
/proc/meminfo: memFree=1530300/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=16708 CPUtime=0
/proc/10992/stat : 10992 (python) R 10990 10992 10638 0 -1 4202496 717 0 0 0 0 0 0 0 20 0 1 0 54776931 17108992 482 1992294400 4194304 4196484 140735151522544 18446744073709551615 212213718672 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10992/statm: 4177 487 271 1 0 273 0

[startup+0.0898949 s]
/proc/loadavg: 1.14 0.82 0.75 3/106 10992
/proc/meminfo: memFree=1530300/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=31864 CPUtime=0.07
/proc/10992/stat : 10992 (python) R 10990 10992 10638 0 -1 4202496 2354 0 0 0 4 3 0 0 20 0 1 0 54776931 32628736 1331 1992294400 4194304 4196484 140736344668944 18446744073709551615 47785398855616 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10992/statm: 7966 1334 459 1 0 838 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31864

[startup+0.100895 s]
/proc/loadavg: 1.14 0.82 0.75 3/106 10992
/proc/meminfo: memFree=1530300/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=34216 CPUtime=0.07
/proc/10992/stat : 10992 (python) R 10990 10992 10638 0 -1 4202496 2421 0 0 0 4 3 0 0 20 0 1 0 54776931 35037184 1393 1992294400 4194304 4196484 140736344668944 18446744073709551615 47785398925855 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10992/statm: 8554 1393 462 1 0 911 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 34216

[startup+0.300892 s]
/proc/loadavg: 1.14 0.82 0.75 3/106 10992
/proc/meminfo: memFree=1530300/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=71508 CPUtime=0.25
/proc/10992/stat : 10992 (python) R 10990 10992 10638 0 -1 4202496 4196 0 0 0 17 8 0 0 20 0 1 0 54776931 73224192 2989 1992294400 4194304 4196484 140736344668944 18446744073709551615 47785398828288 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10992/statm: 17877 2989 695 1 0 2364 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 71508

[startup+0.700886 s]
/proc/loadavg: 1.14 0.82 0.75 3/106 10992
/proc/meminfo: memFree=1530300/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=99068 CPUtime=0.51
/proc/10992/stat : 10992 (python) D 10990 10992 10638 0 -1 4202496 4954 0 0 0 31 20 0 0 17 0 1 0 54776931 101445632 3638 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213724727 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 0
/proc/10992/statm: 24767 3638 1023 1 0 2624 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 99068

[startup+1.50087 s]
/proc/loadavg: 1.14 0.82 0.75 2/107 10993
/proc/meminfo: memFree=1516528/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=118900 CPUtime=0.98
/proc/10992/stat : 10992 (python) R 10990 10992 10638 0 -1 4202496 8901 929 0 0 67 31 0 0 17 0 1 0 54776931 121753600 6049 1992294400 4194304 4196484 140736344668944 18446744073709551615 47785399224027 0 0 16781312 2 0 0 0 17 1 0 0 32
/proc/10992/statm: 29725 6049 1063 1 0 4979 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 118900

[startup+3.10185 s]
/proc/loadavg: 1.14 0.82 0.75 2/108 10998
/proc/meminfo: memFree=1503376/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=132052 CPUtime=1.24
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 10256 929 0 0 90 34 0 0 16 0 1 0 54776931 135221248 6306 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159688670771686261 0 0 17 0 0 0 32
/proc/10992/statm: 33013 6306 1133 1 0 5165 0
[pid=10998] ppid=10992 vsize=7864 CPUtime=1.45
/proc/10998/stat : 10998 (clasp-1.3.3-x86) R 10992 10998 10998 0 -1 4202496 2150 0 0 0 144 1 0 0 21 0 1 0 54777094 8052736 1708 1992294400 134512640 136080129 4291594464 18446744073709551615 134849493 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10998/statm: 1966 1708 175 383 0 1581 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 139916

[startup+6.3008 s]
/proc/loadavg: 1.21 0.84 0.76 2/108 11000
/proc/meminfo: memFree=1501268/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=132052 CPUtime=1.42
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 10265 929 0 0 106 36 0 0 15 0 1 0 54776931 135221248 6306 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159688670771686261 0 0 17 0 0 0 32
/proc/10992/statm: 33013 6306 1133 1 0 5165 0
[pid=10998] ppid=10992 vsize=10384 CPUtime=4.63
/proc/10998/stat : 10998 (clasp-1.3.3-x86) R 10992 10998 10998 0 -1 4202496 2770 0 0 0 462 1 0 0 25 0 1 0 54777094 10633216 2328 1992294400 134512640 136080129 4291594464 18446744073709551615 134849048 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10998/statm: 2596 2328 175 383 0 2211 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 142436

[startup+12.7027 s]
/proc/loadavg: 1.19 0.85 0.76 3/108 11003
/proc/meminfo: memFree=1503996/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=12.04
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 11568 5031 0 0 145 42 1014 3 15 0 1 0 54776931 137330688 6328 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159688670771686261 0 0 17 0 0 0 32
/proc/10992/statm: 33528 6328 1143 1 0 5165 0
[pid=11003] ppid=10992 vsize=7600 CPUtime=0.79
/proc/11003/stat : 11003 (clasp-1.3.3-x86) R 10992 11003 11003 0 -1 4202496 2075 0 0 0 78 1 0 0 18 0 1 0 54778120 7782400 1632 1992294400 134512640 136080129 4287148800 18446744073709551615 134846597 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11003/statm: 1900 1632 175 383 0 1515 0
Current children cumulated CPU time (s) 12.83
Current children cumulated vsize (KiB) 141712

[startup+25.5005 s]
/proc/loadavg: 1.22 0.87 0.77 2/108 11003
/proc/meminfo: memFree=1497672/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=12.78
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 11610 5031 0 0 211 50 1014 3 15 0 1 0 54776931 137330688 6328 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159688670771686261 0 0 17 0 0 0 32
/proc/10992/statm: 33528 6328 1143 1 0 5165 0
[pid=11003] ppid=10992 vsize=13692 CPUtime=13.51
/proc/11003/stat : 11003 (clasp-1.3.3-x86) R 10992 11003 11003 0 -1 4202496 3612 0 0 0 1348 3 0 0 25 0 1 0 54778120 14020608 3169 1992294400 134512640 136080129 4287148800 18446744073709551615 134849684 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11003/statm: 3423 3169 175 383 0 3038 0
Current children cumulated CPU time (s) 26.29
Current children cumulated vsize (KiB) 147804

[startup+51.1001 s]
/proc/loadavg: 1.26 0.91 0.78 2/108 11003
/proc/meminfo: memFree=1493704/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=14.24
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 11688 5031 0 0 343 64 1014 3 15 0 1 0 54776931 137330688 6328 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159688670771686261 0 0 17 0 0 0 32
/proc/10992/statm: 33528 6328 1143 1 0 5165 0
[pid=11003] ppid=10992 vsize=17636 CPUtime=38.93
/proc/11003/stat : 11003 (clasp-1.3.3-x86) R 10992 11003 11003 0 -1 4202496 4573 0 0 0 3888 5 0 0 25 0 1 0 54778120 18059264 4130 1992294400 134512640 136080129 4287148800 18446744073709551615 134602200 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11003/statm: 4409 4130 175 383 0 4024 0
Current children cumulated CPU time (s) 53.17
Current children cumulated vsize (KiB) 151748

[startup+102.308 s]
/proc/loadavg: 1.17 0.94 0.80 2/108 11008
/proc/meminfo: memFree=1483536/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=67.88
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 12931 10825 0 0 645 98 6034 11 15 0 1 0 54776931 137330688 6331 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159688670771686261 0 0 17 0 0 0 32
/proc/10992/statm: 33528 6331 1143 1 0 5165 0
[pid=11006] ppid=10992 vsize=28960 CPUtime=39.5
/proc/11006/stat : 11006 (wbo1.4a) R 10992 11006 11006 0 -1 4202496 7427 0 0 0 3922 28 0 0 25 0 1 0 54783184 29655040 6601 1992294400 134512640 135751879 4292145728 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11006/statm: 7240 6601 139 303 0 6935 0
Current children cumulated CPU time (s) 107.38
Current children cumulated vsize (KiB) 163072

[startup+162.3 s]
/proc/loadavg: 1.15 0.97 0.82 2/108 11013
/proc/meminfo: memFree=1495068/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=121.82
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 14243 20142 0 0 968 132 11035 47 15 0 1 0 54776931 137330688 6332 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159688670771686261 0 0 17 0 0 0 32
/proc/10992/statm: 33528 6332 1143 1 0 5165 0
[pid=11011] ppid=10992 vsize=15924 CPUtime=48.73
/proc/11011/stat : 11011 (clasp-1.3.3-x86) R 10992 11011 11011 0 -1 4202496 4156 0 0 0 4871 2 0 0 25 0 1 0 54788256 16306176 3710 1992294400 134512640 136080129 4294524608 18446744073709551615 134588658 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11011/statm: 3981 3710 175 383 0 3596 0
Current children cumulated CPU time (s) 170.55
Current children cumulated vsize (KiB) 150036

[startup+222.301 s]
/proc/loadavg: 1.19 1.01 0.84 2/108 11016
/proc/meminfo: memFree=1496680/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=226.07
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 15469 25572 0 0 1313 169 21074 51 15 0 1 0 54776931 137330688 6333 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159688670771686261 0 0 17 0 0 0 32
/proc/10992/statm: 33528 6333 1143 1 0 5165 0
[pid=11016] ppid=10992 vsize=15760 CPUtime=7.86
/proc/11016/stat : 11016 (wbo1.4a) R 10992 11016 11016 0 -1 4202496 4158 0 0 0 777 9 0 0 25 0 1 0 54798367 16138240 3325 1992294400 134512640 135751879 4291854144 18446744073709551615 134604644 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11016/statm: 3940 3325 139 303 0 3635 0
Current children cumulated CPU time (s) 233.93
Current children cumulated vsize (KiB) 149872

[startup+282.301 s]
/proc/loadavg: 1.23 1.06 0.86 3/108 11018
/proc/meminfo: memFree=1475228/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=229.67
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 15552 25572 0 0 1642 200 21074 51 15 0 1 0 54776931 137330688 6333 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159688670771686261 0 0 17 0 0 0 32
/proc/10992/statm: 33528 6333 1143 1 0 5165 0
[pid=11016] ppid=10992 vsize=37448 CPUtime=67.46
/proc/11016/stat : 11016 (wbo1.4a) R 10992 11016 11016 0 -1 4202496 9538 0 0 0 6709 37 0 0 25 0 1 0 54798367 38346752 8705 1992294400 134512640 135751879 4291854144 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11016/statm: 9362 8705 139 303 0 9057 0
Current children cumulated CPU time (s) 297.13
Current children cumulated vsize (KiB) 171560

[startup+342.301 s]
/proc/loadavg: 1.08 1.05 0.87 2/108 11023
/proc/meminfo: memFree=1383468/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=334.05
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 16821 38070 0 0 1976 235 31092 102 15 0 1 0 54776931 137330688 6335 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159688670771686261 0 0 17 0 0 0 32
/proc/10992/statm: 33528 6335 1143 1 0 5165 0
[pid=11023] ppid=10992 vsize=129888 CPUtime=26.38
/proc/11023/stat : 11023 (wbo1.4b) R 10992 11023 11023 0 -1 4202496 32647 0 0 0 2625 13 0 0 25 0 1 0 54808506 133005312 31820 1992294400 134512640 135751879 4287981456 18446744073709551615 135203971 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11023/statm: 32472 31820 142 303 0 32167 0
Current children cumulated CPU time (s) 360.43
Current children cumulated vsize (KiB) 264000

[startup+402.301 s]
/proc/loadavg: 1.24 1.10 0.90 2/120 11040
/proc/meminfo: memFree=1313724/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=388.31
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 18134 74214 0 0 2300 279 36132 120 15 0 1 0 54776931 137330688 6336 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159688670771686261 0 0 17 0 0 0 32
/proc/10992/statm: 33528 6336 1143 1 0 5165 0
[pid=11026] ppid=10992 vsize=1482720 CPUtime=37
/proc/11026/stat : 11026 (java) S 10992 11026 11026 0 -1 4202496 50499 0 88 0 3671 29 0 0 16 0 13 0 54813599 1518305280 47556 1992294400 134512640 134550932 4289691904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5
/proc/11026/statm: 370680 47556 1437 10 0 367982 0
[pid=11026/tid=11027] ppid=10992 vsize=1482720 CPUtime=34.12
/proc/11026/task/11027/stat : 11027 (java) R 10992 11026 11026 0 -1 4202560 31316 0 54 0 3395 17 0 0 25 0 13 0 54813608 1518305280 47556 1992294400 134512640 134550932 4289691904 18446744073709551615 4109408115 0 4 0 16800975 0 0 0 -1 1 0 0 8
[pid=11026/tid=11028] ppid=10992 vsize=1482720 CPUtime=0.34
/proc/11026/task/11028/stat : 11028 (java) S 10992 11026 11026 0 -1 4202560 6092 0 0 0 31 3 0 0 16 0 13 0 54813611 1518305280 47556 1992294400 134512640 134550932 4289691904 18446744073709551615 4294960144 0 4 0 16800975 18446604437843846208 0 0 -1 1 0 0 0
[pid=11026/tid=11029] ppid=10992 vsize=1482720 CPUtime=0.33
/proc/11026/task/11029/stat : 11029 (java) S 10992 11026 11026 0 -1 4202560 7619 0 0 0 30 3 0 0 15 0 13 0 54813611 1518305280 47556 1992294400 134512640 134550932 4289691904 18446744073709551615 4294960144 0 4 0 16800975 18446604437843846208 0 0 -1 0 0 0 0
[pid=11026/tid=11030] ppid=10992 vsize=1482720 CPUtime=0

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

/proc/11116/statm: 8221 7925 175 383 0 7836 0
Current children cumulated CPU time (s) 1127.04
Current children cumulated vsize (KiB) 166996

[startup+1122.3 s]
/proc/loadavg: 1.17 1.10 0.99 2/108 11127
/proc/meminfo: memFree=1484568/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=1179.19
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 41849 307325 0 89 6220 791 110622 286 15 0 1 0 54776931 137330688 6345 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159836005329808245 0 0 17 1 0 0 32
/proc/10992/statm: 33528 6345 1143 1 0 5165 0
[pid=11127] ppid=10992 vsize=24308 CPUtime=11.27
/proc/11127/stat : 11127 (bsolo_pb10) R 10992 11127 11127 0 -1 4202496 4402 0 0 0 1123 4 0 0 25 0 1 0 54888026 24891392 3561 1992294400 134512640 137138936 4292635216 18446744073709551615 134542199 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/11127/statm: 6077 3561 184 642 0 5433 0
Current children cumulated CPU time (s) 1190.46
Current children cumulated vsize (KiB) 158420

[startup+1182.3 s]
/proc/loadavg: 1.06 1.08 0.99 3/108 11129
/proc/meminfo: memFree=1433852/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=1183.11
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 41938 307325 0 89 6555 848 110622 286 15 0 1 0 54776931 137330688 6346 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159836005329808245 0 0 17 1 0 0 32
/proc/10992/statm: 33528 6346 1143 1 0 5165 0
[pid=11127] ppid=10992 vsize=75948 CPUtime=70.88
/proc/11127/stat : 11127 (bsolo_pb10) R 10992 11127 11127 0 -1 4202496 17512 0 0 0 7061 27 0 0 25 0 1 0 54888026 77770752 16461 1992294400 134512640 137138936 4292635216 18446744073709551615 136504096 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/11127/statm: 18987 16461 192 642 0 18343 0
Current children cumulated CPU time (s) 1253.99
Current children cumulated vsize (KiB) 210060

[startup+1242.3 s]
/proc/loadavg: 1.02 1.06 0.99 3/108 11146
/proc/meminfo: memFree=1481096/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=1297.76
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 44415 337522 0 89 6878 898 121674 326 15 0 1 0 54776931 137330688 6346 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159688670771686261 0 0 17 0 0 0 32
/proc/10992/statm: 33528 6346 1143 1 0 5165 0
[pid=11146] ppid=10992 vsize=18700 CPUtime=19.72
/proc/11146/stat : 11146 (clasp-1.3.3-x86) R 10992 11146 11146 0 -1 4202496 4869 0 0 0 1969 3 0 0 25 0 1 0 54899188 19148800 4420 1992294400 134512640 136080129 4294904976 18446744073709551615 134849631 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11146/statm: 4675 4420 175 383 0 4290 0
Current children cumulated CPU time (s) 1317.48
Current children cumulated vsize (KiB) 152812

[startup+1302.3 s]
/proc/loadavg: 1.01 1.05 0.99 2/108 11148
/proc/meminfo: memFree=1476012/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=1301.26
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 44486 337522 0 89 7192 934 121674 326 15 0 1 0 54776931 137330688 6346 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159688670771686261 0 0 17 0 0 0 32
/proc/10992/statm: 33528 6346 1143 1 0 5165 0
[pid=11146] ppid=10992 vsize=23620 CPUtime=79.7
/proc/11146/stat : 11146 (clasp-1.3.3-x86) R 10992 11146 11146 0 -1 4202496 6083 0 0 0 7967 3 0 0 25 0 1 0 54899188 24186880 5634 1992294400 134512640 136080129 4294904976 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11146/statm: 5905 5634 175 383 0 5520 0
Current children cumulated CPU time (s) 1380.96
Current children cumulated vsize (KiB) 157732

[startup+1362.3 s]
/proc/loadavg: 1.03 1.05 1.00 2/108 11159
/proc/meminfo: memFree=1485188/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=1425.99
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 48181 354267 0 89 7522 977 133762 338 15 0 1 0 54776931 137330688 6347 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159688670771686261 0 0 17 0 0 0 32
/proc/10992/statm: 33528 6347 1143 1 0 5165 0
[pid=11157] ppid=10992 vsize=15524 CPUtime=18.54
/proc/11157/stat : 11157 (clasp-1.3.3-x86) R 10992 11157 11157 0 -1 4202496 4087 0 0 0 1852 2 0 0 25 0 1 0 54911305 15896576 3636 1992294400 134512640 136080129 4292186144 18446744073709551615 134849233 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11157/statm: 3881 3636 175 383 0 3496 0
Current children cumulated CPU time (s) 1444.53
Current children cumulated vsize (KiB) 149636

[startup+1422.31 s]
/proc/loadavg: 1.01 1.04 1.00 2/108 11165
/proc/meminfo: memFree=1486552/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=1490.48
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 50717 365450 0 89 7841 1023 139837 347 15 0 1 0 54776931 137330688 6347 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159836005329808245 0 0 17 1 0 0 32
/proc/10992/statm: 33528 6347 1143 1 0 5165 0
[pid=11165] ppid=10992 vsize=13432 CPUtime=17.53
/proc/11165/stat : 11165 (clasp-1.3.3-x86) R 10992 11165 11165 0 -1 4202496 3542 0 0 0 1751 2 0 0 25 0 1 0 54917396 13754368 3091 1992294400 134512640 136080129 4287814176 18446744073709551615 134845923 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11165/statm: 3358 3091 175 383 0 2973 0
Current children cumulated CPU time (s) 1508.01
Current children cumulated vsize (KiB) 147544

[startup+1482.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 11167
/proc/meminfo: memFree=1476880/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=1494.15
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 50791 365450 0 89 8154 1077 139837 347 15 0 1 0 54776931 137330688 6347 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159836005329808245 0 0 17 1 0 0 32
/proc/10992/statm: 33528 6347 1143 1 0 5165 0
[pid=11165] ppid=10992 vsize=22820 CPUtime=77.15
/proc/11165/stat : 11165 (clasp-1.3.3-x86) R 10992 11165 11165 0 -1 4202496 5868 0 0 0 7709 6 0 0 25 0 1 0 54917396 23367680 5417 1992294400 134512640 136080129 4287814176 18446744073709551615 134588592 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11165/statm: 5705 5417 175 383 0 5320 0
Current children cumulated CPU time (s) 1571.3
Current children cumulated vsize (KiB) 156932

[startup+1542.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/108 11178
/proc/meminfo: memFree=1483824/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=1618.66
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 54540 381225 0 89 8494 1124 151886 362 15 0 1 0 54776931 137330688 6348 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159836005329808245 0 0 17 1 0 0 32
/proc/10992/statm: 33528 6348 1143 1 0 5165 0
[pid=11178] ppid=10992 vsize=15664 CPUtime=16.13
/proc/11178/stat : 11178 (clasp-1.3.3-x86) R 10992 11178 11178 0 -1 4202496 4104 0 0 0 1612 1 0 0 25 0 1 0 54929545 16039936 3656 1992294400 134512640 136080129 4293466576 18446744073709551615 134716403 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11178/statm: 3916 3656 175 383 0 3531 0
Current children cumulated CPU time (s) 1634.79
Current children cumulated vsize (KiB) 149776

[startup+1602.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/108 11180
/proc/meminfo: memFree=1479732/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=1622.33
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 54615 381225 0 89 8812 1173 151886 362 15 0 1 0 54776931 137330688 6348 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159836005329808245 0 0 17 1 0 0 32
/proc/10992/statm: 33528 6348 1143 1 0 5165 0
[pid=11178] ppid=10992 vsize=19652 CPUtime=76.11
/proc/11178/stat : 11178 (clasp-1.3.3-x86) R 10992 11178 11178 0 -1 4202496 5108 0 0 0 7608 3 0 0 25 0 1 0 54929545 20123648 4660 1992294400 134512640 136080129 4293466576 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11178/statm: 4913 4660 175 383 0 4528 0
Current children cumulated CPU time (s) 1698.44
Current children cumulated vsize (KiB) 153764

[startup+1662.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/108 11191
/proc/meminfo: memFree=1487420/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=1747.02
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 58384 395620 0 89 9146 1226 163956 374 15 0 1 0 54776931 137330688 6349 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159836005329808245 0 0 17 1 0 0 32
/proc/10992/statm: 33528 6349 1143 1 0 5165 0
[pid=11189] ppid=10992 vsize=12092 CPUtime=15.12
/proc/11189/stat : 11189 (clasp-1.3.3-x86) R 10992 11189 11189 0 -1 4202496 3222 0 0 0 1510 2 0 0 25 0 1 0 54941647 12382208 2770 1992294400 134512640 136080129 4289589280 18446744073709551615 134849100 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11189/statm: 3023 2770 175 383 0 2638 0
Current children cumulated CPU time (s) 1762.14
Current children cumulated vsize (KiB) 146204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1698.1 s]
/proc/loadavg: 1.10 1.04 1.01 2/108 11191
/proc/meminfo: memFree=1476384/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=1749.16
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 58442 395620 0 89 9330 1256 163956 374 15 0 1 0 54776931 137330688 6349 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159836005329808245 0 0 17 1 0 0 32
/proc/10992/statm: 33528 6349 1143 1 0 5165 0
[pid=11189] ppid=10992 vsize=23036 CPUtime=50.91
/proc/11189/stat : 11189 (clasp-1.3.3-x86) R 10992 11189 11189 0 -1 4202496 5959 0 0 0 5086 5 0 0 25 0 1 0 54941647 23588864 5507 1992294400 134512640 136080129 4289589280 18446744073709551615 134850044 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11189/statm: 5759 5507 175 383 0 5374 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 157148

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

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

[startup+1698.1 s]
/proc/loadavg: 1.10 1.04 1.01 2/108 11191
/proc/meminfo: memFree=1476384/2059040 swapFree=4140440/4192956
[pid=10992] ppid=10990 vsize=134112 CPUtime=1749.16
/proc/10992/stat : 10992 (python) S 10990 10992 10638 0 -1 4202496 58442 395620 0 89 9330 1256 163956 374 15 0 1 0 54776931 137330688 6349 1992294400 4194304 4196484 140736344668944 18446744073709551615 212213739023 0 0 16781312 2 159836005329808245 0 0 17 1 0 0 32
/proc/10992/statm: 33528 6349 1143 1 0 5165 0
[pid=11189] ppid=10992 vsize=23036 CPUtime=50.91
/proc/11189/stat : 11189 (clasp-1.3.3-x86) R 10992 11189 11189 0 -1 4202496 5959 0 0 0 5086 5 0 0 25 0 1 0 54941647 23588864 5507 1992294400 134512640 136080129 4289589280 18446744073709551615 134850044 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11189/statm: 5759 5507 175 383 0 5374 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 157148

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10992 and gives
#  childrusage.ru_utime.tv_sec=1732
#  childrusage.ru_utime.tv_usec=872563
#  childrusage.ru_stime.tv_sec=16
#  childrusage.ru_stime.tv_usec=320518
# CPU time returned by wait4() is 1749.19
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1698.12
CPU time (s): 1800.07
CPU user time (s): 1783.72
CPU system time (s): 16.35
CPU usage (%): 106.004
Max. virtual memory (cumulated for all children) (KiB): 1617592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1732.87
system time used= 16.3205
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 454063
page faults= 89
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10308
involuntary context switches= 26878

runsolver used 3.18851 second user time and 8.61669 second system time

The end

Launcher Data 

Begin job on node045 at 2010-06-21 17:40:47
IDJOB=2675965
IDBENCH=1488
IDSOLVER=1178
FILE ID=node045/2675965-1277134847
PBS_JOBID= 11182080
Free space on /tmp= 62544 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2675965-1277134847/watcher-2675965-1277134847 -o /tmp/evaluation-result-2675965-1277134847/solver-2675965-1277134847 -C 1800 -W 2000 -M 1800  solver HOME/instance-2675965-1277134847.opb 1701543066 

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

MD5SUM BENCH= b2fe1642a1ae97e0b20cfe37f07bcc49
RANDOM SEED=1701543066

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1530704 kB
Buffers:        127180 kB
Cached:         294332 kB
SwapCached:       6448 kB
Active:         225592 kB
Inactive:       209896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1530704 kB
SwapTotal:     4192956 kB
SwapFree:      4140440 kB
Dirty:           23492 kB
Writeback:           0 kB
AnonPages:       11600 kB
Mapped:          12876 kB
Slab:            70984 kB
PageTables:       4080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183464 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62524 MiB
End job on node045 at 2010-06-21 18:09:07