Trace number 3730997

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
PB10: borg-pb 10.05.30? (TO) 1800.04 1716.51

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUMd484bc8efed557f17788965b19feafe5
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark17.8783
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4602
Total number of constraints30179
Number of constraints which are clauses29160
Number of constraints which are cardinality constraints (but not clauses)941
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 103
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 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3730997-1338716330/watcher-3730997-1338716330 -o /tmp/evaluation-result-3730997-1338716330/solver-3730997-1338716330 -C 1800 -W 1900 -M 15500 solver HOME/instance-3730997-1338716330.opb 559831077 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.08 1.92 3/175 22370
/proc/meminfo: memFree=26754316/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/22370/stat : 22370 (python) D 22368 22370 21196 0 -1 4202496 881 0 0 0 0 0 0 0 20 0 1 0 337758476 15749120 630 33554432000 4194304 5683644 140736665837264 140736665777752 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 3845 630 334 364 0 287 0

[startup+0.050757 s]
/proc/loadavg: 2.06 2.08 1.92 3/175 22370
/proc/meminfo: memFree=26754316/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=25340 CPUtime=0.03 cores=1,3,5,7
/proc/22370/stat : 22370 (python) D 22368 22370 21196 0 -1 4202496 2725 0 0 0 2 1 0 0 20 0 1 0 337758476 25948160 1151 33554432000 4194304 4196484 140734199973008 140734199878744 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/22370/statm: 6335 1151 454 1 0 718 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25340

[startup+0.10025 s]
/proc/loadavg: 2.06 2.08 1.92 3/175 22370
/proc/meminfo: memFree=26754316/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=60528 CPUtime=0.06 cores=1,3,5,7
/proc/22370/stat : 22370 (python) R 22368 22370 21196 0 -1 4202496 4196 0 0 0 4 2 0 0 20 0 1 0 337758476 61980672 2314 33554432000 4194304 4196484 140734199973008 140734199788248 139967859308480 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/22370/statm: 15132 2314 613 1 0 1774 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 60528

[startup+0.300154 s]
/proc/loadavg: 2.06 2.08 1.92 3/175 22370
/proc/meminfo: memFree=26754316/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=103800 CPUtime=0.23 cores=1,3,5,7
/proc/22370/stat : 22370 (python) R 22368 22370 21196 0 -1 4202496 6860 1013 0 0 16 7 0 0 20 0 1 0 337758476 106291200 4266 33554432000 4194304 4196484 140734199973008 140734199938968 139967859915062 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/22370/statm: 25950 4266 1052 1 0 3236 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 103800

[startup+0.700124 s]
/proc/loadavg: 2.06 2.08 1.92 3/175 22370
/proc/meminfo: memFree=26754316/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=134452 CPUtime=0.53 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 11219 1013 0 0 37 16 0 0 20 0 1 0 337758476 137678848 6348 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/22370/statm: 33613 6348 1170 1 0 5185 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 134452

[startup+1.50026 s]
/proc/loadavg: 2.13 2.09 1.93 3/177 22376
/proc/meminfo: memFree=26730220/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=134452 CPUtime=0.55 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 11222 1013 0 0 39 16 0 0 20 0 1 0 337758476 137678848 6348 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/22370/statm: 33613 6348 1170 1 0 5185 0
[pid=22376] ppid=22370 vsize=5188 CPUtime=0.91 cores=1,3,5,7
/proc/22376/stat : 22376 (clasp-1.3.3-x86) R 22370 22376 22376 0 -1 4202496 1357 0 0 0 91 0 0 0 20 0 1 0 337758535 5312512 1051 33554432000 134512640 136080129 4288412912 4288411904 134588720 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/22376/statm: 1297 1051 176 383 0 912 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 139640

[startup+3.10016 s]
/proc/loadavg: 2.13 2.09 1.93 3/177 22376
/proc/meminfo: memFree=26728980/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=134452 CPUtime=0.62 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 11228 1013 0 0 45 17 0 0 20 0 1 0 337758476 137678848 6348 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/22370/statm: 33613 6348 1170 1 0 5185 0
[pid=22376] ppid=22370 vsize=5852 CPUtime=2.51 cores=1,3,5,7
/proc/22376/stat : 22376 (clasp-1.3.3-x86) R 22370 22376 22376 0 -1 4202496 1530 0 0 0 251 0 0 0 20 0 1 0 337758535 5992448 1224 33554432000 134512640 136080129 4288412912 4288411888 134804972 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/22376/statm: 1463 1224 176 383 0 1078 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 140304

[startup+6.30021 s]
/proc/loadavg: 2.12 2.09 1.93 3/177 22376
/proc/meminfo: memFree=26727512/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=134452 CPUtime=0.76 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 11238 1013 0 0 57 19 0 0 20 0 1 0 337758476 137678848 6348 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/22370/statm: 33613 6348 1170 1 0 5185 0
[pid=22376] ppid=22370 vsize=7044 CPUtime=5.7 cores=1,3,5,7
/proc/22376/stat : 22376 (clasp-1.3.3-x86) R 22370 22376 22376 0 -1 4202496 1814 0 0 0 570 0 0 0 20 0 1 0 337758535 7213056 1508 33554432000 134512640 136080129 4288412912 4288411872 134808298 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/22376/statm: 1761 1508 176 383 0 1376 0
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (KiB) 141496

[startup+12.7002 s]
/proc/loadavg: 2.11 2.09 1.93 3/177 22379
/proc/meminfo: memFree=26730280/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136512 CPUtime=11.62 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 12492 4290 0 0 87 23 1052 0 20 0 1 0 337758476 139788288 6369 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/22370/statm: 34128 6369 1180 1 0 5185 0
[pid=22379] ppid=22370 vsize=5588 CPUtime=1.56 cores=1,3,5,7
/proc/22379/stat : 22379 (clasp-1.3.3-x86) R 22370 22379 22379 0 -1 4202496 1451 0 0 0 156 0 0 0 20 0 1 0 337759589 5722112 1139 33554432000 134512640 136080129 4292114160 4292113152 134588594 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/22379/statm: 1397 1139 176 383 0 1012 0
Current children cumulated CPU time (s) 13.18
Current children cumulated vsize (KiB) 142100

[startup+25.5002 s]
/proc/loadavg: 2.09 2.08 1.93 4/177 22382
/proc/meminfo: memFree=26735200/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136512 CPUtime=12.2 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 12519 4290 0 0 139 29 1052 0 20 0 1 0 337758476 139788288 6369 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/22370/statm: 34128 6369 1180 1 0 5185 0
[pid=22379] ppid=22370 vsize=9668 CPUtime=14.35 cores=1,3,5,7
/proc/22379/stat : 22379 (clasp-1.3.3-x86) R 22370 22379 22379 0 -1 4202496 2475 0 0 0 1435 0 0 0 20 0 1 0 337759589 9900032 2163 33554432000 134512640 136080129 4292114160 4292113152 134588878 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/22379/statm: 2417 2163 176 383 0 2032 0
Current children cumulated CPU time (s) 26.55
Current children cumulated vsize (KiB) 146180

[startup+51.1003 s]
/proc/loadavg: 2.06 2.08 1.93 3/177 22382
/proc/meminfo: memFree=26725264/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136512 CPUtime=13.37 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 12548 4290 0 0 242 43 1052 0 20 0 1 0 337758476 139788288 6369 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/22370/statm: 34128 6369 1180 1 0 5185 0
[pid=22379] ppid=22370 vsize=12516 CPUtime=39.95 cores=1,3,5,7
/proc/22379/stat : 22379 (clasp-1.3.3-x86) R 22370 22379 22379 0 -1 4202496 3196 0 0 0 3995 0 0 0 20 0 1 0 337759589 12816384 2883 33554432000 134512640 136080129 4292114160 4292113104 134579956 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/22379/statm: 3129 2883 176 383 0 2744 0
Current children cumulated CPU time (s) 53.32
Current children cumulated vsize (KiB) 149028

[startup+102.3 s]
/proc/loadavg: 2.07 2.08 1.93 3/178 22389
/proc/meminfo: memFree=26597400/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136512 CPUtime=66.38 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 13732 8544 0 0 475 74 6087 2 20 0 1 0 337758476 139788288 6373 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34128 6373 1180 1 0 5185 0
[pid=22385] ppid=22370 vsize=132036 CPUtime=40.76 cores=1,3,5,7
/proc/22385/stat : 22385 (wbo1.4a) R 22370 22385 22385 0 -1 4202496 33065 0 0 0 4059 17 0 0 20 0 1 0 337764628 135204864 32487 33554432000 134512640 135751879 4290090912 4290089164 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/22385/statm: 33009 32487 139 303 0 32704 0
Current children cumulated CPU time (s) 107.14
Current children cumulated vsize (KiB) 268548

[startup+162.3 s]
/proc/loadavg: 2.02 2.06 1.93 3/177 22395
/proc/meminfo: memFree=26454624/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136512 CPUtime=119.62 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 14990 47233 0 0 716 107 11116 23 20 0 1 0 337758476 139788288 6376 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34128 6376 1180 1 0 5185 0
[pid=22392] ppid=22370 vsize=13076 CPUtime=50.23 cores=1,3,5,7
/proc/22392/stat : 22392 (clasp-1.3.3-x86) R 22370 22392 22392 0 -1 4202496 3331 0 0 0 5023 0 0 0 20 0 1 0 337769681 13389824 3017 33554432000 134512640 136080129 4289715168 4289714304 134610270 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/22392/statm: 3269 3017 176 383 0 2884 0
Current children cumulated CPU time (s) 169.85
Current children cumulated vsize (KiB) 149588

[startup+222.3 s]
/proc/loadavg: 2.11 2.08 1.94 3/195 22419
/proc/meminfo: memFree=26238180/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136512 CPUtime=222.8 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 16219 52848 0 0 981 144 21130 25 20 0 1 0 337758476 139788288 6377 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34128 6377 1180 1 0 5185 0
[pid=22419] ppid=22370 vsize=41496 CPUtime=10.05 cores=1,3,5,7
/proc/22419/stat : 22419 (wbo1.4a) R 22370 22419 22419 0 -1 4202496 10452 0 0 0 998 7 0 0 20 0 1 0 337779701 42491904 9877 33554432000 134512640 135751879 4286992944 4286991196 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/22419/statm: 10374 9877 139 303 0 10069 0
Current children cumulated CPU time (s) 232.85
Current children cumulated vsize (KiB) 178008

[startup+282.3 s]
/proc/loadavg: 2.10 2.08 1.95 3/177 22422
/proc/meminfo: memFree=26389120/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136512 CPUtime=225.59 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 16245 52848 0 0 1226 178 21130 25 20 0 1 0 337758476 139788288 6377 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34128 6377 1180 1 0 5185 0
[pid=22419] ppid=22370 vsize=205920 CPUtime=70.04 cores=1,3,5,7
/proc/22419/stat : 22419 (wbo1.4a) R 22370 22419 22419 0 -1 4202496 51506 0 0 0 6976 28 0 0 20 0 1 0 337779701 210862080 50930 33554432000 134512640 135751879 4286992944 4286991196 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/22419/statm: 51480 50930 139 303 0 51175 0
Current children cumulated CPU time (s) 295.63
Current children cumulated vsize (KiB) 342432

[startup+342.3 s]
/proc/loadavg: 2.08 2.08 1.95 4/177 22425
/proc/meminfo: memFree=26314476/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136512 CPUtime=329.43 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 17476 117191 0 0 1492 216 31174 61 20 0 1 0 337758476 139788288 6379 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34128 6379 1180 1 0 5185 0
[pid=22425] ppid=22370 vsize=97008 CPUtime=29.19 cores=1,3,5,7
/proc/22425/stat : 22425 (wbo1.4b) R 22370 22425 22425 0 -1 4202496 24432 0 0 0 2905 14 0 0 20 0 1 0 337789786 99336192 23734 33554432000 134512640 135751879 4294051168 4294049260 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/22425/statm: 24252 23734 144 303 0 23947 0
Current children cumulated CPU time (s) 358.62
Current children cumulated vsize (KiB) 233520

[startup+402.301 s]
/proc/loadavg: 2.17 2.09 1.96 3/195 22450
/proc/meminfo: memFree=26260428/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136512 CPUtime=382.83 cores=1,3,5,7

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

/proc/22370/statm: 34128 6389 1180 1 0 5185 0
[pid=22606] ppid=22370 vsize=82264 CPUtime=14.96 cores=1,3,5,7
/proc/22606/stat : 22606 (bsolo_pb10) R 22370 22606 22606 0 -1 4202496 19447 0 0 0 1491 5 0 0 20 0 1 0 337869209 84238336 18135 33554432000 134512640 137138936 4291172208 4291171136 134542325 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/22606/statm: 20566 18135 192 642 0 19922 0
Current children cumulated CPU time (s) 1178.57
Current children cumulated vsize (KiB) 218776

[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 22615
/proc/meminfo: memFree=26532700/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136512 CPUtime=1166.44 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 42074 373887 0 2 5060 710 110631 243 20 0 1 0 337758476 139788288 6389 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34128 6389 1180 1 0 5185 0
[pid=22606] ppid=22370 vsize=216840 CPUtime=74.91 cores=1,3,5,7
/proc/22606/stat : 22606 (bsolo_pb10) R 22370 22606 22606 0 -1 4202496 53147 0 0 0 7476 15 0 0 20 0 1 0 337869209 222044160 51788 33554432000 134512640 137138936 4291172208 4291171104 134542508 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/22606/statm: 54210 51788 192 642 0 53566 0
Current children cumulated CPU time (s) 1241.35
Current children cumulated vsize (KiB) 353352

[startup+1242.31 s]
/proc/loadavg: 2.13 2.07 2.01 4/177 22627
/proc/meminfo: memFree=26732648/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136512 CPUtime=1279.91 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 44545 447082 0 2 5312 745 121668 266 20 0 1 0 337758476 139788288 6389 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34128 6389 1180 1 0 5185 0
[pid=22627] ppid=22370 vsize=10428 CPUtime=24.27 cores=1,3,5,7
/proc/22627/stat : 22627 (clasp-1.3.3-x86) R 22370 22627 22627 0 -1 4202496 2666 0 0 0 2427 0 0 0 20 0 1 0 337880279 10678272 2352 33554432000 134512640 136080129 4293175504 4293174464 134808284 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/22627/statm: 2607 2352 176 383 0 2222 0
Current children cumulated CPU time (s) 1304.18
Current children cumulated vsize (KiB) 146940

[startup+1302.3 s]
/proc/loadavg: 2.24 2.10 2.02 3/178 22630
/proc/meminfo: memFree=26717912/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136512 CPUtime=1282.61 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 44570 447082 0 2 5551 776 121668 266 20 0 1 0 337758476 139788288 6389 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34128 6389 1180 1 0 5185 0
[pid=22627] ppid=22370 vsize=15472 CPUtime=84.25 cores=1,3,5,7
/proc/22627/stat : 22627 (clasp-1.3.3-x86) R 22370 22627 22627 0 -1 4202496 3925 0 0 0 8425 0 0 0 20 0 1 0 337880279 15843328 3612 33554432000 134512640 136080129 4293175504 4293174480 135520271 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/22627/statm: 3868 3612 176 383 0 3483 0
Current children cumulated CPU time (s) 1366.86
Current children cumulated vsize (KiB) 151984

[startup+1362.3 s]
/proc/loadavg: 2.20 2.11 2.02 3/178 22671
/proc/meminfo: memFree=26732724/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136512 CPUtime=1406.18 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 48278 459199 0 2 5802 810 133736 270 20 0 1 0 337758476 139788288 6391 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34128 6391 1180 1 0 5185 0
[pid=22671] ppid=22370 vsize=10328 CPUtime=23.49 cores=1,3,5,7
/proc/22671/stat : 22671 (clasp-1.3.3-x86) R 22370 22671 22671 0 -1 4202496 2660 0 0 0 2349 0 0 0 20 0 1 0 337892355 10575872 2343 33554432000 134512640 136080129 4287561840 4287560832 134588844 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/22671/statm: 2582 2343 176 383 0 2197 0
Current children cumulated CPU time (s) 1429.67
Current children cumulated vsize (KiB) 146840

[startup+1422.3 s]
/proc/loadavg: 2.07 2.09 2.02 4/177 22677
/proc/meminfo: memFree=26723296/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136644 CPUtime=1469.38 cores=1,3,5,7
/proc/22370/stat : 22370 (python) R 22368 22370 21196 0 -1 4202496 50766 466711 0 2 6051 843 139772 272 20 0 1 0 337758476 139923456 6392 33554432000 4194304 4196484 140734199973008 140734199964768 227512542135 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34161 6392 1180 1 0 5218 0
[pid=22677] ppid=22370 vsize=10328 CPUtime=23.08 cores=1,3,5,7
/proc/22677/stat : 22677 (clasp-1.3.3-x86) R 22370 22677 22677 0 -1 4202496 2662 0 0 0 2308 0 0 0 20 0 1 0 337898397 10575872 2344 33554432000 134512640 136080129 4287864576 4287863568 134589224 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/22677/statm: 2582 2344 176 383 0 2197 0
Current children cumulated CPU time (s) 1492.46
Current children cumulated vsize (KiB) 146972

[startup+1482.3 s]
/proc/loadavg: 2.08 2.09 2.02 3/177 22686
/proc/meminfo: memFree=26729140/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136644 CPUtime=1472.06 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 50792 466711 0 2 6289 873 139772 272 20 0 1 0 337758476 139923456 6392 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34161 6392 1180 1 0 5218 0
[pid=22677] ppid=22370 vsize=14920 CPUtime=83.06 cores=1,3,5,7
/proc/22677/stat : 22677 (clasp-1.3.3-x86) R 22370 22677 22677 0 -1 4202496 3810 0 0 0 8306 0 0 0 20 0 1 0 337898397 15278080 3490 33554432000 134512640 136080129 4287864576 4287863568 134588592 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/22677/statm: 3730 3490 176 383 0 3345 0
Current children cumulated CPU time (s) 1555.12
Current children cumulated vsize (KiB) 151564

[startup+1542.3 s]
/proc/loadavg: 2.03 2.07 2.01 3/177 22739
/proc/meminfo: memFree=26764212/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136644 CPUtime=1595.57 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 54520 478859 0 2 6540 904 151837 276 20 0 1 0 337758476 139923456 6392 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34161 6392 1180 1 0 5218 0
[pid=22695] ppid=22370 vsize=10328 CPUtime=22.33 cores=1,3,5,7
/proc/22695/stat : 22695 (clasp-1.3.3-x86) R 22370 22695 22695 0 -1 4202496 2647 0 0 0 2233 0 0 0 20 0 1 0 337910472 10575872 2333 33554432000 134512640 136080129 4290302432 4290301424 134588720 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/22695/statm: 2582 2333 176 383 0 2197 0
Current children cumulated CPU time (s) 1617.9
Current children cumulated vsize (KiB) 146972

[startup+1602.3 s]
/proc/loadavg: 2.24 2.10 2.02 3/177 22745
/proc/meminfo: memFree=26740928/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136644 CPUtime=1598.25 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 54547 478859 0 2 6779 933 151837 276 20 0 1 0 337758476 139923456 6392 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34161 6392 1180 1 0 5218 0
[pid=22695] ppid=22370 vsize=14924 CPUtime=82.31 cores=1,3,5,7
/proc/22695/stat : 22695 (clasp-1.3.3-x86) R 22370 22695 22695 0 -1 4202496 3808 0 0 0 8231 0 0 0 20 0 1 0 337910472 15282176 3497 33554432000 134512640 136080129 4290302432 4290301424 134588745 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/22695/statm: 3731 3497 176 383 0 3346 0
Current children cumulated CPU time (s) 1680.56
Current children cumulated vsize (KiB) 151568

[startup+1662.3 s]
/proc/loadavg: 2.19 2.11 2.03 3/177 22758
/proc/meminfo: memFree=26763912/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136644 CPUtime=1721.8 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 58256 491034 0 2 7031 966 163902 281 20 0 1 0 337758476 139923456 6394 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34161 6394 1180 1 0 5218 0
[pid=22755] ppid=22370 vsize=10332 CPUtime=21.58 cores=1,3,5,7
/proc/22755/stat : 22755 (clasp-1.3.3-x86) R 22370 22755 22755 0 -1 4202496 2648 0 0 0 2158 0 0 0 20 0 1 0 337922547 10579968 2333 33554432000 134512640 136080129 4287601808 4287600880 134849493 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/22755/statm: 2583 2333 176 383 0 2198 0
Current children cumulated CPU time (s) 1743.38
Current children cumulated vsize (KiB) 146976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1716.5 s]
/proc/loadavg: 2.26 2.14 2.04 3/177 22758
/proc/meminfo: memFree=26756336/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136644 CPUtime=1724.21 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 58279 491034 0 2 7246 992 163902 281 20 0 1 0 337758476 139923456 6394 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34161 6394 1180 1 0 5218 0
[pid=22755] ppid=22370 vsize=14936 CPUtime=75.77 cores=1,3,5,7
/proc/22755/stat : 22755 (clasp-1.3.3-x86) R 22370 22755 22755 0 -1 4202496 3808 0 0 0 7577 0 0 0 20 0 1 0 337922547 15294464 3493 33554432000 134512640 136080129 4287601808 4287600800 134844922 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/22755/statm: 3734 3493 176 383 0 3349 0
Current children cumulated CPU time (s) 1799.98
Current children cumulated vsize (KiB) 151580

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

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

[startup+1716.5 s]
/proc/loadavg: 2.26 2.14 2.04 3/177 22758
/proc/meminfo: memFree=26756336/32873624 swapFree=7112/7112
[pid=22370] ppid=22368 vsize=136644 CPUtime=1724.21 cores=1,3,5,7
/proc/22370/stat : 22370 (python) S 22368 22370 21196 0 -1 4202496 58279 491034 0 2 7246 992 163902 281 20 0 1 0 337758476 139923456 6394 33554432000 4194304 4196484 140734199973008 140734199964768 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/22370/statm: 34161 6394 1180 1 0 5218 0
[pid=22755] ppid=22370 vsize=14936 CPUtime=75.77 cores=1,3,5,7
/proc/22755/stat : 22755 (clasp-1.3.3-x86) R 22370 22755 22755 0 -1 4202496 3808 0 0 0 7577 0 0 0 20 0 1 0 337922547 15294464 3493 33554432000 134512640 136080129 4287601808 4287600800 134844922 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/22755/statm: 3734 3493 176 383 0 3349 0
Current children cumulated CPU time (s) 1799.98
Current children cumulated vsize (KiB) 151580

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22370 and gives
#  childrusage.ru_utime.tv_sec=1711
#  childrusage.ru_utime.tv_usec=488814
#  childrusage.ru_stime.tv_sec=12
#  childrusage.ru_stime.tv_usec=740063
# CPU time returned by wait4() is 1724.23
# while last known CPU time is 1799.98
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0599976
#  lost CPU user time (s): 0.179993
#  lost CPU system time (s): -0.12

Real time (s): 1716.51
CPU time (s): 1800.04
CPU user time (s): 1787.43
CPU system time (s): 12.61
CPU usage (%): 104.866
Max. virtual memory (cumulated for all children) (KiB): 2851652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1711.49
system time used= 12.7401
maximum resident set size= 662084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 549313
page faults= 2
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9302
involuntary context switches= 2998

runsolver used 3.62145 second user time and 8.03278 second system time

The end

Launcher Data 

Begin job on node121 at 2012-06-03 11:38:50
IDJOB=3730997
IDBENCH=1500
IDSOLVER=2323
FILE ID=node121/3730997-1338716330
RUNJOBID= node121-1338714575-21213
PBS_JOBID= 14636757
Free space on /tmp= 71224 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730997-1338716330/watcher-3730997-1338716330 -o /tmp/evaluation-result-3730997-1338716330/solver-3730997-1338716330 -C 1800 -W 1900 -M 15500  solver HOME/instance-3730997-1338716330.opb 559831077 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d484bc8efed557f17788965b19feafe5
RANDOM SEED=559831077

node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        26754208 kB
Buffers:          624208 kB
Cached:          4539956 kB
SwapCached:            0 kB
Active:          1927712 kB
Inactive:        3307752 kB
Active(anon):      58784 kB
Inactive(anon):    10760 kB
Active(file):    1868928 kB
Inactive(file):  3296992 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             23468 kB
Writeback:             0 kB
AnonPages:         75976 kB
Mapped:            18192 kB
Shmem:               200 kB
Slab:             745188 kB
SReclaimable:     187716 kB
SUnreclaim:       557472 kB
KernelStack:        1440 kB
PageTables:         4184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     173100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71212 MiB
End job on node121 at 2012-06-03 12:07:29