Trace number 2676196

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 1728.82

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
MD5SUM887c74fdc5099423a97b443d1200370c
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 benchmark0.289955
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables5500
Total number of constraints210
Number of constraints which are clauses110
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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


[startup+0 s]
/proc/loadavg: 0.93 1.05 1.20 3/106 11188
/proc/meminfo: memFree=1532864/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=16708 CPUtime=0
/proc/11188/stat : 11188 (python) R 11186 11188 11129 0 -1 4202496 757 0 0 0 0 0 0 0 23 0 1 0 54758880 17108992 521 1992294400 4194304 4196484 140736426828048 18446744073709551615 212605697936 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11188/statm: 4177 521 281 1 0 273 0

[startup+0.1067 s]
/proc/loadavg: 0.93 1.05 1.20 3/106 11188
/proc/meminfo: memFree=1532864/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=34216 CPUtime=0.09
/proc/11188/stat : 11188 (python) R 11186 11188 11129 0 -1 4202496 2422 0 0 0 6 3 0 0 23 0 1 0 54758880 35037184 1394 1992294400 4194304 4196484 140734356619824 18446744073709551615 47763187703354 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11188/statm: 8554 1394 462 1 0 911 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34216

[startup+0.200702 s]
/proc/loadavg: 0.93 1.05 1.20 3/106 11188
/proc/meminfo: memFree=1532864/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=62864 CPUtime=0.17
/proc/11188/stat : 11188 (python) R 11186 11188 11129 0 -1 4202496 3564 0 0 0 11 6 0 0 23 0 1 0 54758880 64372736 2421 1992294400 4194304 4196484 140734356619824 18446744073709551615 212588805859 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11188/statm: 15716 2421 614 1 0 1878 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 62864

[startup+0.300712 s]
/proc/loadavg: 0.93 1.05 1.20 3/106 11188
/proc/meminfo: memFree=1532864/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=71504 CPUtime=0.26
/proc/11188/stat : 11188 (python) R 11186 11188 11129 0 -1 4202496 4204 0 0 0 19 7 0 0 23 0 1 0 54758880 73220096 2994 1992294400 4194304 4196484 140734356619824 18446744073709551615 47763188083788 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11188/statm: 17876 2994 701 1 0 2363 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 71504

[startup+0.700755 s]
/proc/loadavg: 0.93 1.05 1.20 3/106 11188
/proc/meminfo: memFree=1532864/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=99068 CPUtime=0.53
/proc/11188/stat : 11188 (python) D 11186 11188 11129 0 -1 4202496 4954 0 0 0 34 19 0 0 25 0 1 0 54758880 101445632 3639 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589114935 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 0
/proc/11188/statm: 24767 3639 1023 1 0 2624 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 99068

[startup+1.50084 s]
/proc/loadavg: 0.93 1.05 1.20 1/107 11189
/proc/meminfo: memFree=1520580/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=99068 CPUtime=0.53
/proc/11188/stat : 11188 (python) D 11186 11188 11129 0 -1 4202496 4954 0 0 0 34 19 0 0 25 0 1 0 54758880 101445632 3639 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589114935 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 0
/proc/11188/statm: 24767 3639 1023 1 0 2624 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 99068

[startup+3.101 s]
/proc/loadavg: 0.93 1.05 1.20 1/107 11189
/proc/meminfo: memFree=1520580/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=99068 CPUtime=0.53
/proc/11188/stat : 11188 (python) D 11186 11188 11129 0 -1 4202496 4954 0 0 0 34 19 0 0 25 0 1 0 54758880 101445632 3639 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589114935 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 0
/proc/11188/statm: 24767 3639 1023 1 0 2624 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 99068
heavy processes:

[startup+6.30033 s]
/proc/loadavg: 1.01 1.07 1.21 1/107 11189
/proc/meminfo: memFree=1520580/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=99068 CPUtime=0.53
/proc/11188/stat : 11188 (python) D 11186 11188 11129 0 -1 4202496 4954 0 0 0 34 19 0 0 25 0 1 0 54758880 101445632 3639 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589114935 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 0
/proc/11188/statm: 24767 3639 1023 1 0 2624 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 99068
heavy processes:

[startup+12.701 s]
/proc/loadavg: 1.25 1.11 1.22 1/107 11189
/proc/meminfo: memFree=1520580/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=99068 CPUtime=0.53
/proc/11188/stat : 11188 (python) D 11186 11188 11129 0 -1 4202496 4954 0 0 0 34 19 0 0 25 0 1 0 54758880 101445632 3639 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589114935 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 0
/proc/11188/statm: 24767 3639 1023 1 0 2624 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 99068
heavy processes:

[startup+25.5013 s]
/proc/loadavg: 1.78 1.24 1.26 1/108 11190
/proc/meminfo: memFree=1517596/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=102236 CPUtime=0.6
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 5760 0 0 0 41 19 0 0 18 0 1 0 54758880 104689664 4398 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589108992 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 1883
/proc/11188/statm: 25559 4398 1025 1 0 3416 0
[pid=11190] ppid=11188 vsize=102232 CPUtime=0
/proc/11190/stat : 11190 (python) D 11188 11188 11129 0 -1 4202560 25 0 0 0 0 0 0 0 18 0 1 0 54760836 104685568 3388 1992294400 4194304 4196484 140734356619824 18446744073709551615 212588930039 0 0 16781312 2 18446744071696489144 0 0 17 0 0 0 0
/proc/11190/statm: 25558 3388 15 1 0 3415 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 204468
heavy processes:

[startup+51.101 s]
/proc/loadavg: 1.87 1.31 1.28 2/108 11199
/proc/meminfo: memFree=1506188/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=12.28
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 11542 4234 0 0 160 46 1019 3 15 0 1 0 54758880 137330688 6329 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159836005329808240 0 0 17 1 0 0 1883
/proc/11188/statm: 33528 6329 1143 1 0 5165 0
[pid=11199] ppid=11188 vsize=6844 CPUtime=3.17
/proc/11199/stat : 11199 (clasp-1.3.3-x86) R 11188 11199 11199 0 -1 4202496 1779 0 0 0 317 0 0 0 25 0 1 0 54763669 7008256 1465 1992294400 134512640 136080129 4292971808 18446744073709551615 134845190 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11199/statm: 1711 1465 174 383 0 1326 0
Current children cumulated CPU time (s) 15.45
Current children cumulated vsize (KiB) 140956
heavy processes:

[startup+102.301 s]
/proc/loadavg: 1.44 1.28 1.27 2/108 11202
/proc/meminfo: memFree=1501476/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=66.19
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 12804 8429 0 0 460 93 6060 6 15 0 1 0 54758880 137330688 6331 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159688670771686256 0 0 17 0 0 0 1883
/proc/11188/statm: 33528 6331 1143 1 0 5165 0
[pid=11202] ppid=11188 vsize=12664 CPUtime=3.58
/proc/11202/stat : 11202 (wbo1.4a) R 11188 11202 11202 0 -1 4202496 3067 0 0 0 353 5 0 0 25 0 1 0 54768752 12967936 2728 1992294400 134512640 135751879 4286716528 18446744073709551615 134517424 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11202/statm: 3166 2728 139 303 0 2861 0
Current children cumulated CPU time (s) 69.77
Current children cumulated vsize (KiB) 146776
heavy processes:

[startup+162.301 s]
/proc/loadavg: 1.23 1.24 1.26 2/108 11207
/proc/meminfo: memFree=1503956/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=120.45
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 14087 26157 0 0 799 142 11074 30 15 0 1 0 54758880 137330688 6333 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159688670771686256 0 0 17 0 0 0 1883
/proc/11188/statm: 33528 6333 1143 1 0 5165 0
[pid=11207] ppid=11188 vsize=9428 CPUtime=13.16
/proc/11207/stat : 11207 (clasp-1.3.3-x86) R 11188 11207 11207 0 -1 4202496 2411 0 0 0 1315 1 0 0 25 0 1 0 54773792 9654272 2095 1992294400 134512640 136080129 4289562592 18446744073709551615 134588658 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11207/statm: 2357 2095 174 383 0 1972 0
Current children cumulated CPU time (s) 133.61
Current children cumulated vsize (KiB) 143540

[startup+222.309 s]
/proc/loadavg: 1.20 1.22 1.25 2/108 11209
/proc/meminfo: memFree=1498748/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=124.17
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 14191 26157 0 0 1127 186 11074 30 15 0 1 0 54758880 137330688 6333 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159688670771686256 0 0 17 0 0 0 1883
/proc/11188/statm: 33528 6333 1143 1 0 5165 0
[pid=11207] ppid=11188 vsize=14608 CPUtime=73.15
/proc/11207/stat : 11207 (clasp-1.3.3-x86) R 11188 11207 11207 0 -1 4202496 3725 0 0 0 7314 1 0 0 25 0 1 0 54773792 14958592 3396 1992294400 134512640 136080129 4289562592 18446744073709551615 134804974 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11207/statm: 3652 3396 174 383 0 3267 0
Current children cumulated CPU time (s) 197.32
Current children cumulated vsize (KiB) 148720

[startup+282.301 s]
/proc/loadavg: 1.07 1.18 1.23 2/108 11214
/proc/meminfo: memFree=1465888/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=228.53
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 15422 31013 0 0 1477 238 21104 34 15 0 1 0 54758880 137330688 6333 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159688670771686256 0 0 17 0 0 0 1883
/proc/11188/statm: 33528 6333 1143 1 0 5165 0
[pid=11212] ppid=11188 vsize=49540 CPUtime=32.76
/proc/11212/stat : 11212 (wbo1.4a) R 11188 11212 11212 0 -1 4202496 12277 0 0 0 3261 15 0 0 25 0 1 0 54783832 50728960 11936 1992294400 134512640 135751879 4289964736 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11212/statm: 12385 11936 139 303 0 12080 0
Current children cumulated CPU time (s) 261.29
Current children cumulated vsize (KiB) 183652

[startup+342.301 s]
/proc/loadavg: 1.02 1.14 1.22 2/108 11216
/proc/meminfo: memFree=1386156/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=232.28
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 15463 31013 0 0 1805 285 21104 34 15 0 1 0 54758880 137330688 6334 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159688670771686256 0 0 17 0 0 0 1883
/proc/11188/statm: 33528 6334 1143 1 0 5165 0
[pid=11212] ppid=11188 vsize=127860 CPUtime=92.74
/proc/11212/stat : 11212 (wbo1.4a) R 11188 11212 11212 0 -1 4202496 31847 0 0 0 9235 39 0 0 25 0 1 0 54783832 130928640 31506 1992294400 134512640 135751879 4289964736 18446744073709551615 134518928 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11212/statm: 31965 31506 139 303 0 31660 0
Current children cumulated CPU time (s) 325.02
Current children cumulated vsize (KiB) 261972

[startup+402.302 s]
/proc/loadavg: 1.01 1.12 1.20 3/119 11233
/proc/meminfo: memFree=1497636/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=388.16
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 17897 84190 0 0 2186 342 36184 104 16 0 1 0 54758880 137330688 6337 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159688670771686256 0 0 17 0 0 0 1883
/proc/11188/statm: 33528 6337 1143 1 0 5165 0
[pid=11222] ppid=11188 vsize=1479076 CPUtime=1.53
/proc/11222/stat : 11222 (java) S 11188 11222 11222 0 -1 4202496 9264 0 6 0 147 6 0 0 18 0 13 0 54798991 1514573824 8341 1992294400 134512640 134550932 4290245008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8
/proc/11222/statm: 369769 8341 1420 10 0 367071 0
[pid=11222/tid=11223] ppid=11188 vsize=1479076 CPUtime=0.76
/proc/11222/task/11223/stat : 11223 (java) R 11188 11222 11222 0 -1 4202560 6255 0 3 0 72 4 0 0 19 0 13 0 54799002 1514573824 8341 1992294400 134512640 134550932 4290245008 18446744073709551615 4108977158 0 4 0 16800975 0 0 0 -1 0 0 0 4
[pid=11222/tid=11224] ppid=11188 vsize=1479076 CPUtime=0
/proc/11222/task/11224/stat : 11224 (java) S 11188 11222 11222 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 54799006 1514573824 8341 1992294400 134512640 134550932 4290245008 18446744073709551615 4294960144 0 4 0 16800975 18446604437573747648 0 0 -1 0 0 0 0
[pid=11222/tid=11225] ppid=11188 vsize=1479076 CPUtime=0
/proc/11222/task/11225/stat : 11225 (java) S 11188 11222 11222 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 54799006 1514573824 8341 1992294400 134512640 134550932 4290245008 18446744073709551615 4294960144 0 4 0 16800975 18446604437573747648 0 0 -1 0 0 0 0
[pid=11222/tid=11226] ppid=11188 vsize=1479076 CPUtime=0
/proc/11222/task/11226/stat : 11226 (java) S 11188 11222 11222 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 54799008 1514573824 8341 1992294400 134512640 134550932 4290245008 18446744073709551615 4294960144 0 0 0 16800975 18446604437573747648 0 0 -1 0 0 0 0
[pid=11222/tid=11227] ppid=11188 vsize=1479076 CPUtime=0
/proc/11222/task/11227/stat : 11227 (java) S 11188 11222 11222 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 13 0 54799008 1514573824 8341 1992294400 134512640 134550932 4290245008 18446744073709551615 4294960144 0 4 0 16800975 18446604437573747648 0 0 -1 0 0 0 0

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

/proc/11312/statm: 5084 4821 174 383 0 4699 0
Current children cumulated CPU time (s) 1156.97
Current children cumulated vsize (KiB) 154448

[startup+1182.3 s]
/proc/loadavg: 1.15 1.13 1.15 2/108 11325
/proc/meminfo: memFree=1422844/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=1185.55
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 41100 343844 0 7 6692 995 110573 295 15 0 1 0 54758880 137330688 6348 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159688670771686256 0 0 17 0 0 0 1883
/proc/11188/statm: 33528 6348 1143 1 0 5165 0
[pid=11323] ppid=11188 vsize=98800 CPUtime=35.07
/proc/11323/stat : 11323 (bsolo_pb10) R 11188 11323 11323 0 -1 4202496 22647 0 0 0 3497 10 0 0 25 0 1 0 54873578 101171200 22256 1992294400 134512640 137138936 4287750864 18446744073709551615 134542345 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11323/statm: 24700 22256 192 642 0 24056 0
Current children cumulated CPU time (s) 1220.62
Current children cumulated vsize (KiB) 232912

[startup+1242.3 s]
/proc/loadavg: 1.26 1.17 1.16 2/108 11327
/proc/meminfo: memFree=1329100/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=1189.32
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 41141 343844 0 7 7021 1043 110573 295 16 0 1 0 54758880 137330688 6348 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159688670771686256 0 0 17 0 0 0 1883
/proc/11188/statm: 33528 6348 1143 1 0 5165 0
[pid=11323] ppid=11188 vsize=191352 CPUtime=94.98
/proc/11323/stat : 11323 (bsolo_pb10) R 11188 11323 11323 0 -1 4202496 45797 0 0 0 9478 20 0 0 25 0 1 0 54873578 195944448 45406 1992294400 134512640 137138936 4287750864 18446744073709551615 134606592 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11323/statm: 47838 45406 192 642 0 47194 0
Current children cumulated CPU time (s) 1284.3
Current children cumulated vsize (KiB) 325464

[startup+1302.3 s]
/proc/loadavg: 1.29 1.18 1.16 2/108 11333
/proc/meminfo: memFree=1498608/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=1303.71
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 43577 395783 0 7 7359 1094 121596 322 15 0 1 0 54758880 137330688 6348 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159688670771686256 0 0 17 0 0 0 1883
/proc/11188/statm: 33528 6348 1143 1 0 5165 0
[pid=11333] ppid=11188 vsize=12820 CPUtime=44.41
/proc/11333/stat : 11333 (clasp-1.3.3-x86) R 11188 11333 11333 0 -1 4202496 3281 0 0 0 4440 1 0 0 25 0 1 0 54884666 13127680 2963 1992294400 134512640 136080129 4290353696 18446744073709551615 134588745 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11333/statm: 3205 2963 174 383 0 2820 0
Current children cumulated CPU time (s) 1348.12
Current children cumulated vsize (KiB) 146932

[startup+1362.3 s]
/proc/loadavg: 1.36 1.21 1.17 2/108 11338
/proc/meminfo: memFree=1504312/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=1407.94
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 44769 400601 0 7 7689 1143 131636 326 15 0 1 0 54758880 137330688 6349 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159688670771686256 0 0 17 0 0 0 1883
/proc/11188/statm: 33528 6349 1143 1 0 5165 0
[pid=11338] ppid=11188 vsize=7248 CPUtime=3.92
/proc/11338/stat : 11338 (clasp-1.3.3-x86) R 11188 11338 11338 0 -1 4202496 1884 0 0 0 392 0 0 0 25 0 1 0 54894716 7421952 1563 1992294400 134512640 136080129 4294885280 18446744073709551615 134588958 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11338/statm: 1812 1563 174 383 0 1427 0
Current children cumulated CPU time (s) 1411.86
Current children cumulated vsize (KiB) 141360

[startup+1422.3 s]
/proc/loadavg: 1.27 1.20 1.17 2/108 11355
/proc/meminfo: memFree=1498360/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=1432.25
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 47245 407235 0 7 8027 1196 133671 331 15 0 1 0 54758880 137330688 6349 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159836005329808240 0 0 17 1 0 0 1883
/proc/11188/statm: 33528 6349 1143 1 0 5165 0
[pid=11344] ppid=11188 vsize=12344 CPUtime=43.12
/proc/11344/stat : 11344 (clasp-1.3.3-x86) R 11188 11344 11344 0 -1 4202496 3167 0 0 0 4311 1 0 0 25 0 1 0 54896767 12640256 2844 1992294400 134512640 136080129 4288157760 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11344/statm: 3086 2844 174 383 0 2701 0
Current children cumulated CPU time (s) 1475.37
Current children cumulated vsize (KiB) 146456

[startup+1482.3 s]
/proc/loadavg: 1.30 1.22 1.18 2/108 11363
/proc/meminfo: memFree=1498732/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=1496.85
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 49736 414877 0 7 8364 1248 139735 338 15 0 1 0 54758880 137330688 6350 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159836005329808240 0 0 17 1 0 0 1883
/proc/11188/statm: 33528 6350 1143 1 0 5165 0
[pid=11361] ppid=11188 vsize=12404 CPUtime=42.05
/proc/11361/stat : 11361 (clasp-1.3.3-x86) R 11188 11361 11361 0 -1 4202496 3166 0 0 0 4203 2 0 0 25 0 1 0 54902877 12701696 2842 1992294400 134512640 136080129 4294522032 18446744073709551615 134588728 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11361/statm: 3101 2842 174 383 0 2716 0
Current children cumulated CPU time (s) 1538.9
Current children cumulated vsize (KiB) 146516

[startup+1542.31 s]
/proc/loadavg: 1.37 1.26 1.19 2/108 11368
/proc/meminfo: memFree=1505428/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=1600.97
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 50924 419801 0 7 8691 1300 149764 342 15 0 1 0 54758880 137330688 6350 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159688670771686256 0 0 17 0 0 0 1883
/proc/11188/statm: 33528 6350 1143 1 0 5165 0
[pid=11368] ppid=11188 vsize=5540 CPUtime=1.33
/proc/11368/stat : 11368 (clasp-1.3.3-x86) R 11188 11368 11368 0 -1 4202496 1464 0 0 0 133 0 0 0 23 0 1 0 54912975 5672960 1143 1992294400 134512640 136080129 4289407632 18446744073709551615 134579967 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11368/statm: 1385 1143 174 383 0 1000 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 139652

[startup+1602.3 s]
/proc/loadavg: 1.17 1.22 1.18 2/108 11374
/proc/meminfo: memFree=1498236/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=1625.19
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 53427 426514 0 7 9027 1354 151791 347 15 0 1 0 54758880 137330688 6350 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159836005329808240 0 0 17 1 0 0 1883
/proc/11188/statm: 33528 6350 1143 1 0 5165 0
[pid=11374] ppid=11188 vsize=12232 CPUtime=40.8
/proc/11374/stat : 11374 (clasp-1.3.3-x86) R 11188 11374 11374 0 -1 4202496 3126 0 0 0 4079 1 0 0 25 0 1 0 54915027 12525568 2803 1992294400 134512640 136080129 4292164880 18446744073709551615 134588737 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11374/statm: 3058 2803 174 383 0 2673 0
Current children cumulated CPU time (s) 1665.99
Current children cumulated vsize (KiB) 146344

[startup+1662.3 s]
/proc/loadavg: 1.09 1.19 1.17 2/108 11379
/proc/meminfo: memFree=1507040/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=1729.36
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 54615 431359 0 7 9357 1403 161825 351 18 0 1 0 54758880 137330688 6351 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159688670771686256 0 0 17 0 0 0 1883
/proc/11188/statm: 33528 6351 1143 1 0 5165 0
[pid=11379] ppid=11188 vsize=4484 CPUtime=0.36
/proc/11379/stat : 11379 (clasp-1.3.3-x86) R 11188 11379 11379 0 -1 4202496 1179 0 0 0 36 0 0 0 20 0 1 0 54925072 4591616 857 1992294400 134512640 136080129 4294284832 18446744073709551615 134597792 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11379/statm: 1121 857 174 383 0 736 0
Current children cumulated CPU time (s) 1729.72
Current children cumulated vsize (KiB) 138596

[startup+1722.3 s]
/proc/loadavg: 1.03 1.15 1.16 2/108 11387
/proc/meminfo: memFree=1498856/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=1753.64
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 57131 438098 0 7 9697 1457 163852 358 15 0 1 0 54758880 137330688 6351 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159688670771686256 0 0 17 0 0 0 1883
/proc/11188/statm: 33528 6351 1143 1 0 5165 0
[pid=11385] ppid=11188 vsize=12000 CPUtime=39.58
/proc/11385/stat : 11385 (clasp-1.3.3-x86) R 11188 11385 11385 0 -1 4202496 3072 0 0 0 3956 2 0 0 25 0 1 0 54927125 12288000 2748 1992294400 134512640 136080129 4288647872 18446744073709551615 134849944 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11385/statm: 3000 2748 174 383 0 2615 0
Current children cumulated CPU time (s) 1793.22
Current children cumulated vsize (KiB) 146112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1728.8 s]
/proc/loadavg: 1.03 1.15 1.16 2/108 11387
/proc/meminfo: memFree=1497988/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=1754.03
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 57143 438098 0 7 9730 1463 163852 358 15 0 1 0 54758880 137330688 6351 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159688670771686256 0 0 17 0 0 0 1883
/proc/11188/statm: 33528 6351 1143 1 0 5165 0
[pid=11385] ppid=11188 vsize=12776 CPUtime=46.04
/proc/11385/stat : 11385 (clasp-1.3.3-x86) R 11188 11385 11385 0 -1 4202496 3285 0 0 0 4602 2 0 0 25 0 1 0 54927125 13082624 2961 1992294400 134512640 136080129 4288647872 18446744073709551615 134849989 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11385/statm: 3194 2961 174 383 0 2809 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 146888

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

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

[startup+1728.8 s]
/proc/loadavg: 1.03 1.15 1.16 2/108 11387
/proc/meminfo: memFree=1497988/2059040 swapFree=4140020/4192956
[pid=11188] ppid=11186 vsize=134112 CPUtime=1754.03
/proc/11188/stat : 11188 (python) S 11186 11188 11129 0 -1 4202496 57143 438098 0 7 9730 1463 163852 358 15 0 1 0 54758880 137330688 6351 1992294400 4194304 4196484 140734356619824 18446744073709551615 212589129231 0 0 16781312 2 159688670771686256 0 0 17 0 0 0 1883
/proc/11188/statm: 33528 6351 1143 1 0 5165 0
[pid=11385] ppid=11188 vsize=12776 CPUtime=46.04
/proc/11385/stat : 11385 (clasp-1.3.3-x86) R 11188 11385 11385 0 -1 4202496 3285 0 0 0 4602 2 0 0 25 0 1 0 54927125 13082624 2961 1992294400 134512640 136080129 4288647872 18446744073709551615 134849989 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11385/statm: 3194 2961 174 383 0 2809 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 146888

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11188 and gives
#  childrusage.ru_utime.tv_sec=1735
#  childrusage.ru_utime.tv_usec=839112
#  childrusage.ru_stime.tv_sec=18
#  childrusage.ru_stime.tv_usec=218230
# CPU time returned by wait4() is 1754.06
# 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): 1728.82
CPU time (s): 1800.07
CPU user time (s): 1781.84
CPU system time (s): 18.23
CPU usage (%): 104.121
Max. virtual memory (cumulated for all children) (KiB): 1613488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1735.84
system time used= 18.2182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495242
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10905
involuntary context switches= 18902

runsolver used 2.95355 second user time and 8.39772 second system time

The end

Launcher Data 

Begin job on node083 at 2010-06-21 17:37:31
IDJOB=2676196
IDBENCH=1396
IDSOLVER=1178
FILE ID=node083/2676196-1277134651
PBS_JOBID= 11182111
Free space on /tmp= 62532 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2676196-1277134651/watcher-2676196-1277134651 -o /tmp/evaluation-result-2676196-1277134651/solver-2676196-1277134651 -C 1800 -W 2000 -M 1800  solver HOME/instance-2676196-1277134651.opb 417089247 

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

MD5SUM BENCH= 887c74fdc5099423a97b443d1200370c
RANDOM SEED=417089247

node083.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.262
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.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		: 3000.262
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	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1533392 kB
Buffers:        119920 kB
Cached:         304124 kB
SwapCached:       5464 kB
Active:         207344 kB
Inactive:       229600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1533392 kB
SwapTotal:     4192956 kB
SwapFree:      4140020 kB
Dirty:           20800 kB
Writeback:           0 kB
AnonPages:       11560 kB
Mapped:          12960 kB
Slab:            66912 kB
PageTables:       3948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182564 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= 62512 MiB
End job on node083 at 2010-06-21 18:06:22