Trace number 2676301

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb
MD5SUM464b0bce452dea50452bb0b774d05715
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.492924
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables8550
Total number of constraints185
Number of constraints which are clauses95
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint90
Maximum length of a constraint95
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 96
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.92 0.98 0.91 3/105 12154
/proc/meminfo: memFree=1515048/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=24036 CPUtime=0
/proc/12154/stat : 12154 (runsolver) D 12152 12154 12129 0 -1 4202560 81 0 0 0 0 0 0 0 16 0 1 0 54813196 24612864 106 1992294400 4194304 4302564 140735339654256 18446744073709551615 266013877239 0 0 4096 24578 18446744071562234166 0 0 17 1 0 0 0
/proc/12154/statm: 6009 106 69 27 0 2647 0

[startup+0.0460449 s]
/proc/loadavg: 0.92 0.98 0.91 3/105 12154
/proc/meminfo: memFree=1515048/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=16712 CPUtime=0
/proc/12154/stat : 12154 (python) R 12152 12154 12129 0 -1 4202496 792 0 0 0 0 0 0 0 15 0 1 0 54813196 17113088 552 1992294400 4194304 4196484 140735057050144 18446744073709551615 266014054400 0 0 16781312 2 0 0 0 17 0 0 0 3
/proc/12154/statm: 4178 552 295 1 0 274 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16712

[startup+0.100046 s]
/proc/loadavg: 0.92 0.98 0.91 3/105 12154
/proc/meminfo: memFree=1515048/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=17232 CPUtime=0.02
/proc/12154/stat : 12154 (python) R 12152 12154 12129 0 -1 4202496 1603 0 9 0 1 1 0 0 16 0 1 0 54813196 17645568 649 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014099591 0 0 16781312 2 0 0 0 17 0 0 0 5
/proc/12154/statm: 4307 649 342 1 0 287 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17232

[startup+0.300047 s]
/proc/loadavg: 0.92 0.98 0.91 3/105 12154
/proc/meminfo: memFree=1515048/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=36296 CPUtime=0.12
/proc/12154/stat : 12154 (python) R 12152 12154 12129 0 -1 4202496 2442 0 15 0 6 6 0 0 15 0 1 0 54813196 37167104 1424 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014054400 0 0 16781312 2 0 0 0 17 0 0 0 7
/proc/12154/statm: 9074 1424 467 1 0 912 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 36296

[startup+0.700051 s]
/proc/loadavg: 0.92 0.98 0.91 3/105 12154
/proc/meminfo: memFree=1515048/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=71520 CPUtime=0.3
/proc/12154/stat : 12154 (python) R 12152 12154 12129 0 -1 4202496 4107 0 33 0 18 12 0 0 15 0 1 0 54813196 73236480 2958 1992294400 4194304 4196484 140734453220720 18446744073709551615 47411683133052 0 0 16781312 2 0 0 0 17 0 0 0 15
/proc/12154/statm: 17880 2958 693 1 0 2367 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 71520

[startup+1.50006 s]
/proc/loadavg: 0.92 0.98 0.91 2/106 12155
/proc/meminfo: memFree=1489000/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=109736 CPUtime=0.8
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 7348 923 43 9 53 27 0 0 16 0 1 0 54813196 112369664 4757 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014054400 0 2147483391 16781312 2 18446744071699268798 0 0 17 0 0 0 23
/proc/12154/statm: 27434 4757 1044 1 0 3728 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 109736

[startup+3.10007 s]
/proc/loadavg: 0.92 0.98 0.91 1/106 12159
/proc/meminfo: memFree=1476340/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=132052 CPUtime=1.27
/proc/12154/stat : 12154 (python) R 12152 12154 12129 0 -1 4202496 10215 923 49 9 85 42 0 0 17 0 1 0 54813196 135221248 6306 1992294400 4194304 4196484 140734453220720 18446744073709551615 47411683040578 0 0 16781312 2 0 0 0 17 0 0 0 100
/proc/12154/statm: 33014 6306 1133 1 0 5166 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 132052
heavy processes:

[startup+6.3001 s]
/proc/loadavg: 1.01 1.00 0.92 2/107 12160
/proc/meminfo: memFree=1463408/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=132052 CPUtime=1.46
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 10228 923 49 9 102 44 0 0 16 0 1 0 54813196 135221248 6306 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159688670771686174 0 0 17 0 0 0 100
/proc/12154/statm: 33013 6306 1133 1 0 5165 0
[pid=12160] ppid=12154 vsize=12156 CPUtime=3.22
/proc/12160/stat : 12160 (clasp-1.3.3-x86) R 12154 12160 12160 0 -1 4202496 3125 0 0 0 322 0 0 0 25 0 1 0 54813500 12447744 2796 1992294400 134512640 136080129 4288502432 18446744073709551615 134716425 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12160/statm: 3039 2796 174 383 0 2654 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 144208
heavy processes:

[startup+12.7012 s]
/proc/loadavg: 1.01 1.00 0.92 2/107 12160
/proc/meminfo: memFree=1457836/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=132052 CPUtime=1.81
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 10252 923 49 9 133 48 0 0 15 0 1 0 54813196 135221248 6306 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159688670771686174 0 0 17 0 0 0 100
/proc/12154/statm: 33013 6306 1133 1 0 5165 0
[pid=12160] ppid=12154 vsize=15884 CPUtime=9.58
/proc/12160/stat : 12160 (clasp-1.3.3-x86) R 12154 12160 12160 0 -1 4202496 4034 0 0 0 957 1 0 0 25 0 1 0 54813500 16265216 3705 1992294400 134512640 136080129 4288502432 18446744073709551615 134601086 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12160/statm: 3971 3705 174 383 0 3586 0
Current children cumulated CPU time (s) 11.39
Current children cumulated vsize (KiB) 147936

[startup+25.5003 s]
/proc/loadavg: 1.07 1.02 0.93 2/107 12163
/proc/meminfo: memFree=1455544/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=12.73
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 11545 5877 49 10 204 60 1006 3 15 0 1 0 54813196 137330688 6328 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159836005329808158 0 0 17 1 0 0 100
/proc/12154/statm: 33528 6328 1143 1 0 5165 0
[pid=12163] ppid=12154 vsize=18348 CPUtime=12.23
/proc/12163/stat : 12163 (clasp-1.3.3-x86) R 12154 12163 12163 0 -1 4202496 4650 0 0 0 1221 2 0 0 25 0 1 0 54814522 18788352 4325 1992294400 134512640 136080129 4293451904 18446744073709551615 135505028 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12163/statm: 4587 4325 174 383 0 4202 0
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (KiB) 152460

[startup+51.1085 s]
/proc/loadavg: 1.05 1.01 0.93 2/107 12163
/proc/meminfo: memFree=1451948/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=14.27
/proc/12154/stat : 12154 (python) R 12152 12154 12129 0 -1 4202496 11629 5877 49 10 340 78 1006 3 15 0 1 0 54813196 137330688 6328 1992294400 4194304 4196484 140734453220720 18446744073709551615 266013741378 0 0 16781312 2 0 0 0 17 1 0 0 100
/proc/12154/statm: 33528 6328 1143 1 0 5165 0
[pid=12163] ppid=12154 vsize=21792 CPUtime=37.83
/proc/12163/stat : 12163 (clasp-1.3.3-x86) R 12154 12163 12163 0 -1 4202496 5545 0 0 0 3781 2 0 0 25 0 1 0 54814522 22315008 5208 1992294400 134512640 136080129 4293451904 18446744073709551615 134808135 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12163/statm: 5448 5208 174 383 0 5063 0
Current children cumulated CPU time (s) 52.1
Current children cumulated vsize (KiB) 155904

[startup+102.309 s]
/proc/loadavg: 1.02 1.01 0.93 2/107 12168
/proc/meminfo: memFree=1417972/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=67.72
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 12868 12880 49 10 633 118 6014 7 15 0 1 0 54813196 137330688 6331 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159688670771686174 0 0 17 0 0 0 100
/proc/12154/statm: 33528 6331 1143 1 0 5165 0
[pid=12168] ppid=12154 vsize=57220 CPUtime=38.6
/proc/12168/stat : 12168 (wbo1.4a) R 12154 12168 12168 0 -1 4202496 14181 0 0 0 3844 16 0 0 25 0 1 0 54819541 58593280 13831 1992294400 134512640 135751879 4290048816 18446744073709551615 134605073 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/12168/statm: 14305 13831 139 303 0 14000 0
Current children cumulated CPU time (s) 106.32
Current children cumulated vsize (KiB) 191332

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 12173
/proc/meminfo: memFree=1450088/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=121.9
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 14179 30707 49 10 947 166 11049 28 15 0 1 0 54813196 137330688 6332 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159836005329808158 0 0 17 1 0 0 100
/proc/12154/statm: 33528 6332 1143 1 0 5165 0
[pid=12171] ppid=12154 vsize=24104 CPUtime=47.93
/proc/12171/stat : 12171 (clasp-1.3.3-x86) R 12154 12171 12171 0 -1 4202496 6106 0 0 0 4791 2 0 0 25 0 1 0 54824631 24682496 5758 1992294400 134512640 136080129 4292997776 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12171/statm: 6026 5758 174 383 0 5641 0
Current children cumulated CPU time (s) 169.83
Current children cumulated vsize (KiB) 158216

[startup+222.301 s]
/proc/loadavg: 1.04 1.01 0.93 2/107 12178
/proc/meminfo: memFree=1456164/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=225.93
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 15375 39238 49 10 1283 219 21059 32 15 0 1 0 54813196 137330688 6333 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159688670771686174 0 0 17 0 0 0 100
/proc/12154/statm: 33528 6333 1143 1 0 5165 0
[pid=12178] ppid=12154 vsize=19188 CPUtime=7.68
/proc/12178/stat : 12178 (wbo1.4a) R 12154 12178 12178 0 -1 4202496 4667 0 0 0 762 6 0 0 25 0 1 0 54834654 19648512 4312 1992294400 134512640 135751879 4294790240 18446744073709551615 134518477 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/12178/statm: 4797 4312 139 303 0 4492 0
Current children cumulated CPU time (s) 233.61
Current children cumulated vsize (KiB) 153300

[startup+282.301 s]
/proc/loadavg: 1.01 1.01 0.93 2/107 12178
/proc/meminfo: memFree=1383376/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=229.44
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 15465 39238 49 10 1595 258 21059 32 15 0 1 0 54813196 137330688 6333 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159688670771686174 0 0 17 0 0 0 100
/proc/12154/statm: 33528 6333 1143 1 0 5165 0
[pid=12178] ppid=12154 vsize=92796 CPUtime=67.31
/proc/12178/stat : 12178 (wbo1.4a) R 12154 12178 12178 0 -1 4202496 23086 0 0 0 6708 23 0 0 25 0 1 0 54834654 95023104 22731 1992294400 134512640 135751879 4294790240 18446744073709551615 134518941 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12178/statm: 23199 22731 139 303 0 22894 0
Current children cumulated CPU time (s) 296.75
Current children cumulated vsize (KiB) 226908

[startup+342.3 s]
/proc/loadavg: 1.05 1.02 0.94 2/107 12183
/proc/meminfo: memFree=1432232/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=333.66
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 16718 76761 49 10 1927 299 31071 69 16 0 1 0 54813196 137330688 6334 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159688670771686174 0 0 17 0 0 0 100
/proc/12154/statm: 33528 6334 1143 1 0 5165 0
[pid=12183] ppid=12154 vsize=42952 CPUtime=26.43
/proc/12183/stat : 12183 (wbo1.4b) R 12154 12183 12183 0 -1 4202496 10873 0 0 0 2630 13 0 0 25 0 1 0 54844766 43982848 10261 1992294400 134512640 135751879 4294306160 18446744073709551615 134517424 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/12183/statm: 10738 10261 143 303 0 10433 0
Current children cumulated CPU time (s) 360.09
Current children cumulated vsize (KiB) 177064

[startup+402.302 s]
/proc/loadavg: 1.24 1.07 0.96 2/119 12200
/proc/meminfo: memFree=1370448/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=387.64
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 18018 94755 49 10 2249 348 36075 92 15 0 1 0 54813196 137330688 6336 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159836005329808158 0 0 17 1 0 0 100
/proc/12154/statm: 33528 6336 1143 1 0 5165 0
[pid=12188] ppid=12154 vsize=1481944 CPUtime=37.35
/proc/12188/stat : 12188 (java) S 12154 12188 12188 0 -1 4202496 28853 0 1 0 3724 11 0 0 15 0 13 0 54849829 1517510656 26954 1992294400 134512640 134550932 4289861728 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12188/statm: 370486 26954 1422 10 0 367788 0
[pid=12188/tid=12189] ppid=12154 vsize=1481944 CPUtime=35.69
/proc/12188/task/12189/stat : 12189 (java) R 12154 12188 12188 0 -1 4202560 24156 0 1 0 3561 8 0 0 25 0 13 0 54849831 1517510656 26954 1992294400 134512640 134550932 4289861728 18446744073709551615 4109674534 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12188/tid=12190] ppid=12154 vsize=1481944 CPUtime=0
/proc/12188/task/12190/stat : 12190 (java) S 12154 12188 12188 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 54849832 1517510656 26954 1992294400 134512640 134550932 4289861728 18446744073709551615 4294960144 0 4 0 16800975 18446604437871747200 0 0 -1 1 0 0 0
[pid=12188/tid=12191] ppid=12154 vsize=1481944 CPUtime=0
/proc/12188/task/12191/stat : 12191 (java) S 12154 12188 12188 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 54849832 1517510656 26954 1992294400 134512640 134550932 4289861728 18446744073709551615 4294960144 0 4 0 16800975 18446604437871747200 0 0 -1 1 0 0 0
[pid=12188/tid=12192] ppid=12154 vsize=1481944 CPUtime=0
/proc/12188/task/12192/stat : 12192 (java) S 12154 12188 12188 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 54849834 1517510656 26954 1992294400 134512640 134550932 4289861728 18446744073709551615 4294960144 0 0 0 16800975 18446604437871747200 0 0 -1 0 0 0 0

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

/proc/12278/statm: 10126 9844 174 383 0 9741 0
Current children cumulated CPU time (s) 1125.12
Current children cumulated vsize (KiB) 174616

[startup+1122.3 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 12298
/proc/meminfo: memFree=1412644/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=1177.81
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 41263 354208 49 12 6138 929 110445 269 15 0 1 0 54813196 137330688 6347 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159688670771686174 0 0 17 0 0 0 100
/proc/12154/statm: 33528 6347 1143 1 0 5165 0
[pid=12298] ppid=12154 vsize=70460 CPUtime=10.87
/proc/12298/stat : 12298 (bsolo_pb10) R 12154 12298 12298 0 -1 4202496 15686 0 0 0 1076 11 0 0 25 0 1 0 54924332 72151040 15192 1992294400 134512640 137138936 4290689456 18446744073709551615 134542525 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/12298/statm: 17615 15192 192 642 0 16971 0
Current children cumulated CPU time (s) 1188.68
Current children cumulated vsize (KiB) 204572

[startup+1182.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 12298
/proc/meminfo: memFree=1321752/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=1181.25
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 41347 354208 49 12 6448 963 110445 269 15 0 1 0 54813196 137330688 6347 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159688670771686174 0 0 17 0 0 0 100
/proc/12154/statm: 33528 6347 1143 1 0 5165 0
[pid=12298] ppid=12154 vsize=161000 CPUtime=70.49
/proc/12298/stat : 12298 (bsolo_pb10) R 12154 12298 12298 0 -1 4202496 38316 0 0 0 7028 21 0 0 25 0 1 0 54924332 164864000 37806 1992294400 134512640 137138936 4290689456 18446744073709551615 134542532 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/12298/statm: 40250 37806 192 642 0 39606 0
Current children cumulated CPU time (s) 1251.74
Current children cumulated vsize (KiB) 295112

[startup+1242.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 12306
/proc/meminfo: memFree=1453936/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=1295.38
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 43794 405814 49 12 6767 1001 121469 301 15 0 1 0 54813196 137330688 6348 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159688670771686174 0 0 17 0 0 0 100
/proc/12154/statm: 33528 6348 1143 1 0 5165 0
[pid=12306] ppid=12154 vsize=19236 CPUtime=19.59
/proc/12306/stat : 12306 (clasp-1.3.3-x86) R 12154 12306 12306 0 -1 4202496 4894 0 0 0 1957 2 0 0 25 0 1 0 54935466 19697664 4560 1992294400 134512640 136080129 4294636752 18446744073709551615 134804917 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12306/statm: 4809 4560 174 383 0 4424 0
Current children cumulated CPU time (s) 1314.97
Current children cumulated vsize (KiB) 153348

[startup+1302.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 12308
/proc/meminfo: memFree=1445132/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=1298.77
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 43867 405814 49 12 7069 1038 121469 301 16 0 1 0 54813196 137330688 6348 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159688670771686174 0 0 17 0 0 0 100
/proc/12154/statm: 33528 6348 1143 1 0 5165 0
[pid=12306] ppid=12154 vsize=27752 CPUtime=79.57
/proc/12306/stat : 12306 (clasp-1.3.3-x86) R 12154 12306 12306 0 -1 4202496 7034 0 0 0 7954 3 0 0 25 0 1 0 54935466 28418048 6687 1992294400 134512640 136080129 4294636752 18446744073709551615 134577690 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12306/statm: 6938 6687 174 383 0 6553 0
Current children cumulated CPU time (s) 1378.34
Current children cumulated vsize (KiB) 161864

[startup+1362.3 s]
/proc/loadavg: 1.11 1.05 1.01 2/107 12319
/proc/meminfo: memFree=1453812/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=1423.28
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 47489 424249 49 12 7401 1084 133529 314 15 0 1 0 54813196 137330688 6348 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159836005329808158 0 0 17 1 0 0 100
/proc/12154/statm: 33528 6348 1143 1 0 5165 0
[pid=12319] ppid=12154 vsize=19240 CPUtime=18.73
/proc/12319/stat : 12319 (clasp-1.3.3-x86) R 12154 12319 12319 0 -1 4202496 4899 0 0 0 1872 1 0 0 25 0 1 0 54947551 19701760 4564 1992294400 134512640 136080129 4287713584 18446744073709551615 134605140 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12319/statm: 4810 4564 174 383 0 4425 0
Current children cumulated CPU time (s) 1442.01
Current children cumulated vsize (KiB) 153352

[startup+1422.31 s]
/proc/loadavg: 1.04 1.04 1.00 2/107 12327
/proc/meminfo: memFree=1453688/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=1487.41
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 49971 436399 49 12 7723 1138 139558 322 15 0 1 0 54813196 137330688 6349 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159836005329808158 0 0 17 1 0 0 100
/proc/12154/statm: 33528 6349 1143 1 0 5165 0
[pid=12325] ppid=12154 vsize=19240 CPUtime=18.29
/proc/12325/stat : 12325 (clasp-1.3.3-x86) R 12154 12325 12325 0 -1 4202496 4894 0 0 0 1827 2 0 0 25 0 1 0 54953596 19701760 4560 1992294400 134512640 136080129 4288239168 18446744073709551615 134580640 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12325/statm: 4810 4560 174 383 0 4425 0
Current children cumulated CPU time (s) 1505.7
Current children cumulated vsize (KiB) 153352

[startup+1482.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 12327
/proc/meminfo: memFree=1445132/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=1491.01
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 50044 436399 49 12 8034 1187 139558 322 15 0 1 0 54813196 137330688 6349 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159836005329808158 0 0 17 1 0 0 100
/proc/12154/statm: 33528 6349 1143 1 0 5165 0
[pid=12325] ppid=12154 vsize=27780 CPUtime=78.26
/proc/12325/stat : 12325 (clasp-1.3.3-x86) R 12154 12325 12325 0 -1 4202496 7017 0 0 0 7823 3 0 0 25 0 1 0 54953596 28446720 6678 1992294400 134512640 136080129 4288239168 18446744073709551615 134601685 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12325/statm: 6945 6678 174 383 0 6560 0
Current children cumulated CPU time (s) 1569.27
Current children cumulated vsize (KiB) 161892

[startup+1542.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 12338
/proc/meminfo: memFree=1453564/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=1615.13
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 53680 454857 49 12 8360 1234 151585 334 15 0 1 0 54813196 137330688 6350 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159688670771686174 0 0 17 0 0 0 100
/proc/12154/statm: 33528 6350 1143 1 0 5165 0
[pid=12338] ppid=12154 vsize=19256 CPUtime=17.64
/proc/12338/stat : 12338 (clasp-1.3.3-x86) R 12154 12338 12338 0 -1 4202496 4896 0 0 0 1762 2 0 0 25 0 1 0 54965661 19718144 4562 1992294400 134512640 136080129 4292807328 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12338/statm: 4814 4562 174 383 0 4429 0
Current children cumulated CPU time (s) 1632.77
Current children cumulated vsize (KiB) 153368

[startup+1602.3 s]
/proc/loadavg: 1.21 1.08 1.02 2/107 12340
/proc/meminfo: memFree=1445256/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=1618.53
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 53760 454857 49 12 8659 1275 151585 334 15 0 1 0 54813196 137330688 6350 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159688670771686174 0 0 17 0 0 0 100
/proc/12154/statm: 33528 6350 1143 1 0 5165 0
[pid=12338] ppid=12154 vsize=27500 CPUtime=77.62
/proc/12338/stat : 12338 (clasp-1.3.3-x86) R 12154 12338 12338 0 -1 4202496 6965 0 0 0 7759 3 0 0 25 0 1 0 54965661 28160000 6626 1992294400 134512640 136080129 4292807328 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12338/statm: 6875 6626 174 383 0 6490 0
Current children cumulated CPU time (s) 1696.15
Current children cumulated vsize (KiB) 161612

[startup+1662.3 s]
/proc/loadavg: 1.08 1.06 1.01 2/107 12351
/proc/meminfo: memFree=1453564/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=1742.91
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 57375 473443 49 12 8979 1332 163634 346 15 0 1 0 54813196 137330688 6351 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159836005329808158 0 0 17 1 0 0 100
/proc/12154/statm: 33528 6351 1143 1 0 5165 0
[pid=12351] ppid=12154 vsize=19240 CPUtime=16.66
/proc/12351/stat : 12351 (clasp-1.3.3-x86) R 12154 12351 12351 0 -1 4202496 4894 0 0 0 1664 2 0 0 25 0 1 0 54977746 19701760 4559 1992294400 134512640 136080129 4294453776 18446744073709551615 134588881 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/12351/statm: 4810 4559 174 383 0 4425 0
Current children cumulated CPU time (s) 1759.57
Current children cumulated vsize (KiB) 153352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1700.7 s]
/proc/loadavg: 1.04 1.05 1.01 2/107 12351
/proc/meminfo: memFree=1448232/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=1745.22
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 57439 473443 49 12 9177 1365 163634 346 15 0 1 0 54813196 137330688 6351 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159836005329808158 0 0 17 1 0 0 100
/proc/12154/statm: 33528 6351 1143 1 0 5165 0
[pid=12351] ppid=12154 vsize=24584 CPUtime=54.82
/proc/12351/stat : 12351 (clasp-1.3.3-x86) R 12154 12351 12351 0 -1 4202496 6257 0 0 0 5479 3 0 0 25 0 1 0 54977746 25174016 5904 1992294400 134512640 136080129 4294453776 18446744073709551615 134836639 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12351/statm: 6146 5904 174 383 0 5761 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 158696

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

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

[startup+1700.7 s]
/proc/loadavg: 1.04 1.05 1.01 2/107 12351
/proc/meminfo: memFree=1448232/2059040 swapFree=4140324/4192956
[pid=12154] ppid=12152 vsize=134112 CPUtime=1745.22
/proc/12154/stat : 12154 (python) S 12152 12154 12129 0 -1 4202496 57439 473443 49 12 9177 1365 163634 346 15 0 1 0 54813196 137330688 6351 1992294400 4194304 4196484 140734453220720 18446744073709551615 266014076431 0 0 16781312 2 159836005329808158 0 0 17 1 0 0 100
/proc/12154/statm: 33528 6351 1143 1 0 5165 0
[pid=12351] ppid=12154 vsize=24584 CPUtime=54.82
/proc/12351/stat : 12351 (clasp-1.3.3-x86) R 12154 12351 12351 0 -1 4202496 6257 0 0 0 5479 3 0 0 25 0 1 0 54977746 25174016 5904 1992294400 134512640 136080129 4294453776 18446744073709551615 134836639 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12351/statm: 6146 5904 174 383 0 5761 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 158696

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12154 and gives
#  childrusage.ru_utime.tv_sec=1728
#  childrusage.ru_utime.tv_usec=119285
#  childrusage.ru_stime.tv_sec=17
#  childrusage.ru_stime.tv_usec=122397
# CPU time returned by wait4() is 1745.24
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1700.72
CPU time (s): 1800.04
CPU user time (s): 1782.9
CPU system time (s): 17.14
CPU usage (%): 105.84
Max. virtual memory (cumulated for all children) (KiB): 1616060

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

runsolver used 3.22551 second user time and 8.58669 second system time

The end

Launcher Data 

Begin job on node054 at 2010-06-21 17:46:57
IDJOB=2676301
IDBENCH=2585
IDSOLVER=1178
FILE ID=node054/2676301-1277135217
PBS_JOBID= 11182116
Free space on /tmp= 62572 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2676301-1277135217/watcher-2676301-1277135217 -o /tmp/evaluation-result-2676301-1277135217/solver-2676301-1277135217 -C 1800 -W 2000 -M 1800  solver HOME/instance-2676301-1277135217.opb 371928517 

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

MD5SUM BENCH= 464b0bce452dea50452bb0b774d05715
RANDOM SEED=371928517

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.217
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1515452 kB
Buffers:        143796 kB
Cached:         297120 kB
SwapCached:       5804 kB
Active:         184700 kB
Inactive:       269360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1515452 kB
SwapTotal:     4192956 kB
SwapFree:      4140324 kB
Dirty:           20724 kB
Writeback:           0 kB
AnonPages:       11616 kB
Mapped:          12844 kB
Slab:            67780 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182288 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62552 MiB
End job on node054 at 2010-06-21 18:15:21