Trace number 3740860

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.02 1712.31

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-137.opb
MD5SUM395b6779bc0f993a1d1357b59c2e4536
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48411
Total number of constraints1121517
Number of constraints which are clauses1007723
Number of constraints which are cardinality constraints (but not clauses)3523
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint2
Maximum length of a constraint690
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

running on 4 cores: 0,2,4,6

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.03 2.07 2.08 3/177 28783
/proc/meminfo: memFree=28761120/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/28783/stat : 28783 (python) D 28781 28783 22930 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 338235038 15642624 526 33554432000 4194304 5683644 140736505223584 140736505209496 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/28783/statm: 3819 526 312 364 0 261 0

[startup+0.0148289 s]
/proc/loadavg: 2.03 2.07 2.08 3/177 28783
/proc/meminfo: memFree=28761120/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/28783/stat : 28783 (python) D 28781 28783 22930 0 -1 4202496 882 0 0 0 0 0 0 0 20 0 1 0 338235038 15749120 631 33554432000 4194304 5683644 140736505223584 140736505168312 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/28783/statm: 3845 631 334 364 0 287 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380

[startup+0.10031 s]
/proc/loadavg: 2.03 2.07 2.08 3/177 28783
/proc/meminfo: memFree=28761120/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=18024 CPUtime=0.02 cores=0,2,4,6
/proc/28783/stat : 28783 (python) R 28781 28783 22930 0 -1 4202496 2318 0 0 0 1 1 0 0 20 0 1 0 338235038 18456576 811 33554432000 4194304 4196484 140735004373408 140735004303576 233220575124 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/28783/statm: 4506 824 389 1 0 441 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18024

[startup+0.300278 s]
/proc/loadavg: 2.03 2.07 2.08 3/177 28783
/proc/meminfo: memFree=28761120/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=57144 CPUtime=0.08 cores=0,2,4,6
/proc/28783/stat : 28783 (python) D 28781 28783 22930 0 -1 4202496 4151 0 0 0 4 4 0 0 20 0 1 0 338235038 58515456 2279 33554432000 4194304 4196484 140735004373408 140735004215128 233220947637 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/28783/statm: 14286 2279 604 1 0 1624 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 57144

[startup+0.700181 s]
/proc/loadavg: 2.03 2.07 2.08 3/177 28783
/proc/meminfo: memFree=28761120/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=103800 CPUtime=0.27 cores=0,2,4,6
/proc/28783/stat : 28783 (python) R 28781 28783 22930 0 -1 4202496 6864 1012 0 0 16 11 0 0 20 0 1 0 338235038 106291200 4266 33554432000 4194304 4196484 140735004373408 140735004339368 139806411375144 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 25950 4266 1052 1 0 3236 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 103800

[startup+1.50023 s]
/proc/loadavg: 2.03 2.07 2.08 3/178 28788
/proc/meminfo: memFree=28742240/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=118120 CPUtime=0.46 cores=0,2,4,6
/proc/28783/stat : 28783 (python) D 28781 28783 22930 0 -1 4202496 9598 1012 0 0 29 17 0 0 20 0 1 0 338235038 120954880 5831 33554432000 4194304 4196484 140735004373408 140735004307016 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/28783/statm: 29530 5831 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 118120

[startup+3.10035 s]
/proc/loadavg: 2.03 2.07 2.08 3/179 28789
/proc/meminfo: memFree=28673348/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=134488 CPUtime=0.63 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 11265 1012 0 0 42 21 0 0 20 0 1 0 338235038 137715712 6349 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 33622 6349 1170 1 0 5194 0
[pid=28789] ppid=28783 vsize=78400 CPUtime=1.38 cores=0,2,4,6
/proc/28789/stat : 28789 (clasp-1.3.3-x86) R 28783 28789 28789 0 -1 4202496 20440 0 0 0 134 4 0 0 20 0 1 0 338235210 80281600 19184 33554432000 134512640 136080129 4289248768 4289247840 134849653 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/28789/statm: 19600 19184 176 383 0 19215 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 212888
heavy processes:

[startup+6.30028 s]
/proc/loadavg: 2.03 2.07 2.08 3/179 28789
/proc/meminfo: memFree=28653508/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=134488 CPUtime=0.78 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 11272 1012 0 0 54 24 0 0 20 0 1 0 338235038 137715712 6349 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 33622 6349 1170 1 0 5194 0
[pid=28789] ppid=28783 vsize=85296 CPUtime=4.57 cores=0,2,4,6
/proc/28789/stat : 28789 (clasp-1.3.3-x86) R 28783 28789 28789 0 -1 4202496 22139 0 0 0 453 4 0 0 20 0 1 0 338235210 87343104 20883 33554432000 134512640 136080129 4289248768 4289247840 134849614 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/28789/statm: 21324 20883 176 383 0 20939 0
Current children cumulated CPU time (s) 5.35
Current children cumulated vsize (KiB) 219784

[startup+12.7004 s]
/proc/loadavg: 2.02 2.07 2.08 3/179 28792
/proc/meminfo: memFree=28710808/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=11.57 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 12510 26693 0 0 83 29 1039 6 20 0 1 0 338235038 139825152 6370 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6370 1180 1 0 5194 0
[pid=28792] ppid=28783 vsize=40964 CPUtime=0.5 cores=0,2,4,6
/proc/28792/stat : 28792 (clasp-1.3.3-x86) R 28783 28792 28792 0 -1 4202496 11081 0 0 0 48 2 0 0 20 0 1 0 338236258 41947136 9771 33554432000 134512640 136080129 4290663472 4290660488 135562558 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/28792/statm: 10241 9771 165 383 0 9856 0
Current children cumulated CPU time (s) 12.07
Current children cumulated vsize (KiB) 177512

[startup+25.5003 s]
/proc/loadavg: 2.02 2.06 2.08 3/179 28792
/proc/meminfo: memFree=28637832/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=12.19 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 12539 26693 0 0 137 37 1039 6 20 0 1 0 338235038 139825152 6370 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6370 1180 1 0 5194 0
[pid=28792] ppid=28783 vsize=102600 CPUtime=13.29 cores=0,2,4,6
/proc/28792/stat : 28792 (clasp-1.3.3-x86) R 28783 28792 28792 0 -1 4202496 26388 0 0 0 1323 6 0 0 20 0 1 0 338236258 105062400 25132 33554432000 134512640 136080129 4290663472 4290662340 135505338 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/28792/statm: 25650 25132 176 383 0 25265 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 239148

[startup+51.1066 s]
/proc/loadavg: 2.01 2.06 2.07 4/179 28798
/proc/meminfo: memFree=28612580/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=13.42 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 12573 26693 0 0 244 53 1039 6 20 0 1 0 338235038 139825152 6370 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6370 1180 1 0 5194 0
[pid=28792] ppid=28783 vsize=135216 CPUtime=38.89 cores=0,2,4,6
/proc/28792/stat : 28792 (clasp-1.3.3-x86) R 28783 28792 28792 0 -1 4202496 34390 0 0 0 3880 9 0 0 20 0 1 0 338236258 138461184 33121 33554432000 134512640 136080129 4290663472 4290662464 134588654 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/28792/statm: 33804 33121 176 383 0 33419 0
Current children cumulated CPU time (s) 52.31
Current children cumulated vsize (KiB) 271764

[startup+102.3 s]
/proc/loadavg: 2.08 2.06 2.07 3/180 28804
/proc/meminfo: memFree=28617284/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=66.48 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 13754 64416 0 0 480 84 6066 18 20 0 1 0 338235038 139825152 6373 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6373 1180 1 0 5194 0
[pid=28801] ppid=28783 vsize=127060 CPUtime=39.66 cores=0,2,4,6
/proc/28801/stat : 28801 (wbo1.4a) R 28783 28801 28801 0 -1 4202496 42803 0 0 0 3876 90 0 0 20 0 1 0 338241300 130109440 29517 33554432000 134512640 135751879 4292796608 4292794860 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/28801/statm: 31765 29517 139 303 0 31460 0
Current children cumulated CPU time (s) 106.14
Current children cumulated vsize (KiB) 263608

[startup+162.3 s]
/proc/loadavg: 2.15 2.08 2.08 3/180 28835
/proc/meminfo: memFree=28604548/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=120.72 cores=0,2,4,6
/proc/28783/stat : 28783 (python) R 28781 28783 22930 0 -1 4202496 14998 109099 0 0 733 116 11084 139 20 0 1 0 338235038 139825152 6375 33554432000 4194304 4196484 140735004373408 140735004365168 139806410708421 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34138 6375 1180 1 0 5195 0
[pid=28807] ppid=28783 vsize=141520 CPUtime=48.2 cores=0,2,4,6
/proc/28807/stat : 28807 (clasp-1.3.3-x86) R 28783 28807 28807 0 -1 4202496 35963 0 0 0 4812 8 0 0 20 0 1 0 338246444 144916480 34727 33554432000 134512640 136080129 4292069168 4292068244 134850025 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 35380 34727 176 383 0 34995 0
Current children cumulated CPU time (s) 168.92
Current children cumulated vsize (KiB) 278068

[startup+222.3 s]
/proc/loadavg: 2.25 2.12 2.09 3/179 28842
/proc/meminfo: memFree=28637396/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=224.03 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 16245 155708 0 0 994 162 21094 153 20 0 1 0 338235038 139825152 6376 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6376 1180 1 0 5194 0
[pid=28842] ppid=28783 vsize=106764 CPUtime=7.9 cores=0,2,4,6
/proc/28842/stat : 28842 (wbo1.4a) R 28783 28842 28842 0 -1 4202496 38170 0 0 0 775 15 0 0 20 0 1 0 338256477 109326336 24902 33554432000 134512640 135751879 4293400512 4293398764 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/28842/statm: 26691 24902 139 303 0 26386 0
Current children cumulated CPU time (s) 231.93
Current children cumulated vsize (KiB) 243312

[startup+282.3 s]
/proc/loadavg: 2.20 2.13 2.09 3/179 28848
/proc/meminfo: memFree=28604764/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=226.94 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 16286 155708 0 0 1248 199 21094 153 20 0 1 0 338235038 139825152 6376 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6376 1180 1 0 5194 0
[pid=28842] ppid=28783 vsize=144364 CPUtime=67.87 cores=0,2,4,6
/proc/28842/stat : 28842 (wbo1.4a) R 28783 28842 28842 0 -1 4202496 47585 0 0 0 6654 133 0 0 20 0 1 0 338256477 147828736 34279 33554432000 134512640 135751879 4293400512 4293398764 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/28842/statm: 36091 34279 139 303 0 35786 0
Current children cumulated CPU time (s) 294.81
Current children cumulated vsize (KiB) 280912

[startup+342.3 s]
/proc/loadavg: 2.07 2.10 2.09 3/179 28854
/proc/meminfo: memFree=28614468/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=332.84 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 17522 206113 0 0 1521 241 31123 399 20 0 1 0 338235038 139825152 6378 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6378 1180 1 0 5194 0
[pid=28854] ppid=28783 vsize=128260 CPUtime=25.07 cores=0,2,4,6
/proc/28854/stat : 28854 (wbo1.4b) R 28783 28854 28854 0 -1 4202496 43961 0 0 0 2477 30 0 0 20 0 1 0 338266758 131338240 30296 33554432000 134512640 135751879 4293267200 4293265292 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/28854/statm: 32065 30296 143 303 0 31760 0
Current children cumulated CPU time (s) 357.91
Current children cumulated vsize (KiB) 264808

[startup+402.301 s]
/proc/loadavg: 2.16 2.11 2.09 3/197 28922
/proc/meminfo: memFree=28096712/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=386.62 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 18749 255348 0 0 1779 280 36162 441 20 0 1 0 338235038 139825152 6378 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6378 1180 1 0 5194 0

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

/proc/28783/statm: 34137 6387 1180 1 0 5194 0
[pid=29031] ppid=28783 vsize=267236 CPUtime=251.1 cores=0,2,4,6
/proc/29031/stat : 29031 (clasp-1.3.3-x86) R 28783 29031 29031 0 -1 4202496 67097 0 0 0 25090 20 0 0 20 0 1 0 338316146 273649664 65813 33554432000 134512640 136080129 4292910704 4292909696 134588734 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/29031/statm: 66809 65813 176 383 0 66424 0
Current children cumulated CPU time (s) 1119.04
Current children cumulated vsize (KiB) 403784

[startup+1122.3 s]
/proc/loadavg: 2.07 2.10 2.09 3/197 29090
/proc/meminfo: memFree=27956540/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=1171.29 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 42225 939748 0 2 4918 706 110708 797 20 0 1 0 338235038 139825152 6387 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6387 1180 1 0 5194 0
[pid=29089] ppid=28783 vsize=281616 CPUtime=10.68 cores=0,2,4,6
/proc/29089/stat : 29089 (bsolo_pb10) R 28783 29089 29089 0 -1 4202496 80682 0 0 0 1048 20 0 0 20 0 1 0 338346200 288374784 67726 33554432000 134512640 137138936 4287767488 4287185052 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/29089/statm: 70404 67726 184 642 0 69760 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 418164

[startup+1182.3 s]
/proc/loadavg: 2.02 2.08 2.08 3/179 29108
/proc/meminfo: memFree=28454380/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=1174.14 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 42274 939748 0 2 5167 742 110708 797 20 0 1 0 338235038 139825152 6387 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6387 1180 1 0 5194 0
[pid=29089] ppid=28783 vsize=281748 CPUtime=70.65 cores=0,2,4,6
/proc/29089/stat : 29089 (bsolo_pb10) R 28783 29089 29089 0 -1 4202496 80724 0 0 0 7022 43 0 0 20 0 1 0 338346200 288509952 67751 33554432000 134512640 137138936 4287767488 4287185052 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/29089/statm: 70437 67751 184 642 0 69793 0
Current children cumulated CPU time (s) 1244.79
Current children cumulated vsize (KiB) 418296

[startup+1242.3 s]
/proc/loadavg: 2.18 2.11 2.09 3/179 29114
/proc/meminfo: memFree=28602732/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=1288.38 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 44772 1046933 0 2 5424 776 121779 859 20 0 1 0 338235038 139825152 6387 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6387 1180 1 0 5194 0
[pid=29114] ppid=28783 vsize=111392 CPUtime=19.28 cores=0,2,4,6
/proc/29114/stat : 29114 (clasp-1.3.3-x86) R 28783 29114 29114 0 -1 4202496 28558 0 0 0 1923 5 0 0 20 0 1 0 338357339 114065408 27288 33554432000 134512640 136080129 4294642128 4294641200 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/29114/statm: 27848 27288 176 383 0 27463 0
Current children cumulated CPU time (s) 1307.66
Current children cumulated vsize (KiB) 247940

[startup+1302.3 s]
/proc/loadavg: 2.15 2.11 2.09 3/180 29117
/proc/meminfo: memFree=28535536/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=1291.25 cores=0,2,4,6
/proc/28783/stat : 28783 (python) R 28781 28783 22930 0 -1 4202496 44797 1046933 0 2 5677 810 121779 859 20 0 1 0 338235038 139825152 6387 33554432000 4194304 4196484 140735004373408 140735004365168 139806410458482 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6387 1180 1 0 5194 0
[pid=29114] ppid=28783 vsize=174552 CPUtime=79.22 cores=0,2,4,6
/proc/29114/stat : 29114 (clasp-1.3.3-x86) R 28783 29114 29114 0 -1 4202496 44120 0 0 0 7911 11 0 0 20 0 1 0 338357339 178741248 42837 33554432000 134512640 136080129 4294642128 4294641120 134588592 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/29114/statm: 43638 42837 176 383 0 43253 0
Current children cumulated CPU time (s) 1370.47
Current children cumulated vsize (KiB) 311100

[startup+1362.31 s]
/proc/loadavg: 2.10 2.11 2.09 3/179 29174
/proc/meminfo: memFree=28607772/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=1415.31 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 48552 1147266 0 2 5937 844 133863 887 20 0 1 0 338235038 139825152 6388 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6388 1180 1 0 5194 0
[pid=29171] ppid=28783 vsize=106372 CPUtime=18.01 cores=0,2,4,6
/proc/29171/stat : 29171 (clasp-1.3.3-x86) R 28783 29171 29171 0 -1 4202496 26910 0 0 0 1796 5 0 0 20 0 1 0 338369466 108924928 26151 33554432000 134512640 136080129 4293206640 4293205712 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/29171/statm: 26593 26151 176 383 0 26208 0
Current children cumulated CPU time (s) 1433.32
Current children cumulated vsize (KiB) 242920

[startup+1422.3 s]
/proc/loadavg: 2.12 2.11 2.09 4/179 29184
/proc/meminfo: memFree=28602804/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=1479.03 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 51056 1209777 0 2 6197 876 139927 903 20 0 1 0 338235038 139825152 6388 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6388 1180 1 0 5194 0
[pid=29183] ppid=28783 vsize=107508 CPUtime=17.14 cores=0,2,4,6
/proc/29183/stat : 29183 (clasp-1.3.3-x86) R 28783 29183 29183 0 -1 4202496 27177 0 0 0 1708 6 0 0 20 0 1 0 338375553 110088192 26425 33554432000 134512640 136080129 4288097136 4288096268 134597792 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/29183/statm: 26877 26425 176 383 0 26492 0
Current children cumulated CPU time (s) 1496.17
Current children cumulated vsize (KiB) 244056

[startup+1482.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/179 29187
/proc/meminfo: memFree=28538880/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=1481.91 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 51083 1209777 0 2 6444 917 139927 903 20 0 1 0 338235038 139825152 6388 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6388 1180 1 0 5194 0
[pid=29183] ppid=28783 vsize=171580 CPUtime=77.09 cores=0,2,4,6
/proc/29183/stat : 29183 (clasp-1.3.3-x86) R 28783 29183 29183 0 -1 4202496 43002 0 0 0 7699 10 0 0 20 0 1 0 338375553 175697920 42171 33554432000 134512640 136080129 4288097136 4288096004 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/29183/statm: 42895 42171 176 383 0 42510 0
Current children cumulated CPU time (s) 1559
Current children cumulated vsize (KiB) 308128

[startup+1542.3 s]
/proc/loadavg: 2.01 2.07 2.08 3/179 29196
/proc/meminfo: memFree=28589620/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=1606.06 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 54851 1308362 0 2 6702 956 152019 929 20 0 1 0 338235038 139825152 6388 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6388 1180 1 0 5194 0
[pid=29196] ppid=28783 vsize=103184 CPUtime=15.84 cores=0,2,4,6
/proc/29196/stat : 29196 (clasp-1.3.3-x86) R 28783 29196 29196 0 -1 4202496 26573 0 0 0 1577 7 0 0 20 0 1 0 338387683 105660416 25305 33554432000 134512640 136080129 4288113232 4288112224 134588974 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 25796 25305 176 383 0 25411 0
Current children cumulated CPU time (s) 1621.9
Current children cumulated vsize (KiB) 239732

[startup+1602.3 s]
/proc/loadavg: 2.17 2.10 2.09 3/179 29199
/proc/meminfo: memFree=28526956/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=1608.91 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 54876 1308362 0 2 6951 992 152019 929 20 0 1 0 338235038 139825152 6388 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6388 1180 1 0 5194 0
[pid=29196] ppid=28783 vsize=165656 CPUtime=75.79 cores=0,2,4,6
/proc/29196/stat : 29196 (clasp-1.3.3-x86) R 28783 29196 29196 0 -1 4202496 42044 0 0 0 7568 11 0 0 20 0 1 0 338387683 169631744 40767 33554432000 134512640 136080129 4288113232 4288112100 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 41414 40767 176 383 0 41029 0
Current children cumulated CPU time (s) 1684.7
Current children cumulated vsize (KiB) 302204

[startup+1662.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/179 29211
/proc/meminfo: memFree=28623272/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=1733.05 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 58627 1408284 0 2 7210 1029 164106 960 20 0 1 0 338235038 139825152 6392 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6392 1180 1 0 5194 0
[pid=29208] ppid=28783 vsize=100780 CPUtime=14.54 cores=0,2,4,6
/proc/29208/stat : 29208 (clasp-1.3.3-x86) R 28783 29208 29208 0 -1 4202496 25536 0 0 0 1449 5 0 0 20 0 1 0 338399812 103198720 24778 33554432000 134512640 136080129 4287190880 4287189956 134850031 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/29208/statm: 25195 24778 176 383 0 24810 0
Current children cumulated CPU time (s) 1747.59
Current children cumulated vsize (KiB) 237328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1712.3 s]
/proc/loadavg: 2.12 2.09 2.09 4/197 29232
/proc/meminfo: memFree=28145736/32873844 swapFree=7120/7120
[pid=28783] ppid=28781 vsize=136548 CPUtime=1735.44 cores=0,2,4,6
/proc/28783/stat : 28783 (python) S 28781 28783 22930 0 -1 4202496 58649 1408284 0 2 7423 1055 164106 960 20 0 1 0 338235038 139825152 6392 33554432000 4194304 4196484 140735004373408 140735004365168 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/28783/statm: 34137 6392 1180 1 0 5194 0
[pid=29208] ppid=28783 vsize=165112 CPUtime=64.52 cores=0,2,4,6
/proc/29208/stat : 29208 (clasp-1.3.3-x86) R 28783 29208 29208 0 -1 4202496 41467 0 0 0 6442 10 0 0 20 0 1 0 338399812 169074688 40598 33554432000 134512640 136080129 4287190880 4287189952 134849659 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/29208/statm: 41278 40598 176 383 0 40893 0
Current children cumulated CPU time (s) 1799.96
Current children cumulated vsize (KiB) 301660

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28783 and gives
#  childrusage.ru_utime.tv_sec=1715
#  childrusage.ru_utime.tv_usec=303234
#  childrusage.ru_stime.tv_sec=20
#  childrusage.ru_stime.tv_usec=166934
# CPU time returned by wait4() is 1735.47
# while last known CPU time is 1799.96
#
# 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.190002
#  lost CPU system time (s): -0.13

Real time (s): 1712.31
CPU time (s): 1800.02
CPU user time (s): 1779.9
CPU system time (s): 20.12
CPU usage (%): 105.122
Max. virtual memory (cumulated for all children) (KiB): 2851688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1715.3
system time used= 20.1669
maximum resident set size= 632292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1466933
page faults= 2
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12564
involuntary context switches= 7751

runsolver used 3.45947 second user time and 9.8455 second system time

The end

Launcher Data

Begin job on node142 at 2012-06-03 12:58:21
IDJOB=3740860
IDBENCH=89649
IDSOLVER=2323
FILE ID=node142/3740860-1338721099
RUNJOBID= node142-1338713724-22946
PBS_JOBID= 14636740
Free space on /tmp= 71120 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-137.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740860-1338721099/watcher-3740860-1338721099 -o /tmp/evaluation-result-3740860-1338721099/solver-3740860-1338721099 -C 1800 -W 1900 -M 15500  solver HOME/instance-3740860-1338721099.opb 15031999 

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

MD5SUM BENCH= 395b6779bc0f993a1d1357b59c2e4536
RANDOM SEED=15031999

node142.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		: 2666.776
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	: 5333.55
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		: 2666.776
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		: 2666.776
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	: 5391.91
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		: 2666.776
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.92
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		: 2666.776
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.90
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		: 2666.776
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		: 2666.776
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	: 5331.91
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		: 2666.776
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:       32873844 kB
MemFree:        28761368 kB
Buffers:          339664 kB
Cached:          2900072 kB
SwapCached:            0 kB
Active:          1375224 kB
Inactive:        1914688 kB
Active(anon):      41620 kB
Inactive(anon):    11220 kB
Active(file):    1333604 kB
Inactive(file):  1903468 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             70312 kB
Writeback:             0 kB
AnonPages:         57612 kB
Mapped:            14548 kB
Shmem:               200 kB
Slab:             684448 kB
SReclaimable:     125664 kB
SUnreclaim:       558784 kB
KernelStack:        1456 kB
PageTables:         4228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     165540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71092 MiB
End job on node142 at 2012-06-03 13:26:56