Trace number 3739693

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.09 1714.71

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12047_6-sat.opb
MD5SUM937ecf63c168ba3c2555061c1a7466e0
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 variables33396
Total number of constraints116135
Number of constraints which are clauses115587
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints548
Minimum length of a constraint1
Maximum length of a constraint66
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 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 383
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

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.14 2.07 2.04 2/177 2234
/proc/meminfo: memFree=30530096/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/2234/stat : 2234 (python) D 2232 2234 31325 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 338076313 15642624 527 33554432000 4194304 5683644 140735213582656 140735213568568 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/2234/statm: 3819 527 312 364 0 261 0

[startup+0.0944091 s]
/proc/loadavg: 2.14 2.07 2.04 2/177 2234
/proc/meminfo: memFree=30530096/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=17452 CPUtime=0.02 cores=0,2,4,6
/proc/2234/stat : 2234 (python) R 2232 2234 31325 0 -1 4202496 2152 0 0 0 1 1 0 0 20 0 1 0 338076313 17870848 664 33554432000 4194304 4196484 140737471435248 140737471379352 139837358573504 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 4355 665 354 1 0 290 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17452

[startup+0.100308 s]
/proc/loadavg: 2.14 2.07 2.04 2/177 2234
/proc/meminfo: memFree=30530096/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=17628 CPUtime=0.02 cores=0,2,4,6
/proc/2234/stat : 2234 (python) D 2232 2234 31325 0 -1 4202496 2217 0 0 0 1 1 0 0 20 0 1 0 338076313 18051072 723 33554432000 4194304 4196484 140737471435248 140737471365416 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 4407 723 354 1 0 342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17628

[startup+0.300259 s]
/proc/loadavg: 2.14 2.07 2.04 2/177 2234
/proc/meminfo: memFree=30530096/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=54512 CPUtime=0.07 cores=0,2,4,6
/proc/2234/stat : 2234 (python) D 2232 2234 31325 0 -1 4202496 3957 0 0 0 4 3 0 0 20 0 1 0 338076313 55820288 2143 33554432000 4194304 4196484 140737471435248 140737471281064 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 13628 2143 600 1 0 1483 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 54512

[startup+0.700284 s]
/proc/loadavg: 2.14 2.07 2.04 2/177 2234
/proc/meminfo: memFree=30530096/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=99044 CPUtime=0.21 cores=0,2,4,6
/proc/2234/stat : 2234 (python) R 2232 2234 31325 0 -1 4202496 5757 0 0 0 13 8 0 0 20 0 1 0 338076313 101421056 3603 33554432000 4194304 4196484 140737471435248 140737471377432 225444709664 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 24761 3603 1047 1 0 2563 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 99044

[startup+1.50027 s]
/proc/loadavg: 2.14 2.07 2.04 3/178 2239
/proc/meminfo: memFree=30511116/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=118120 CPUtime=0.44 cores=0,2,4,6
/proc/2234/stat : 2234 (python) D 2232 2234 31325 0 -1 4202496 9596 1013 0 0 29 15 0 0 20 0 1 0 338076313 120954880 5830 33554432000 4194304 4196484 140737471435248 140737471368856 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 29530 5830 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 118120

[startup+3.10025 s]
/proc/loadavg: 2.14 2.07 2.04 3/179 2240
/proc/meminfo: memFree=30500080/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=134488 CPUtime=0.64 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 11255 1013 0 0 45 19 0 0 20 0 1 0 338076313 137715712 6349 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 33622 6349 1170 1 0 5194 0
[pid=2240] ppid=2234 vsize=9576 CPUtime=1.21 cores=0,2,4,6
/proc/2240/stat : 2240 (clasp-1.3.3-x86) R 2234 2240 2240 0 -1 4202496 2685 0 0 0 121 0 0 0 20 0 1 0 338076501 9805824 2124 33554432000 134512640 136080129 4287304160 4287302948 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2240/statm: 2394 2124 176 383 0 2009 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 144064
heavy processes:

[startup+6.30024 s]
/proc/loadavg: 2.13 2.07 2.03 3/179 2240
/proc/meminfo: memFree=30494376/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=134488 CPUtime=0.78 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 11261 1013 0 0 57 21 0 0 20 0 1 0 338076313 137715712 6349 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 33622 6349 1170 1 0 5194 0
[pid=2240] ppid=2234 vsize=13340 CPUtime=4.41 cores=0,2,4,6
/proc/2240/stat : 2240 (clasp-1.3.3-x86) R 2234 2240 2240 0 -1 4202496 3615 0 0 0 441 0 0 0 20 0 1 0 338076501 13660160 3054 33554432000 134512640 136080129 4287304160 4287303168 134716422 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2240/statm: 3335 3054 176 383 0 2950 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 147828

[startup+12.7003 s]
/proc/loadavg: 2.12 2.07 2.03 4/179 2243
/proc/meminfo: memFree=30496692/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=11.21 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 12504 6116 0 0 87 26 1007 1 20 0 1 0 338076313 139825152 6369 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6369 1180 1 0 5194 0
[pid=2243] ppid=2234 vsize=9048 CPUtime=0.71 cores=0,2,4,6
/proc/2243/stat : 2243 (clasp-1.3.3-x86) R 2234 2243 2243 0 -1 4202496 2045 0 0 0 71 0 0 0 20 0 1 0 338077510 9265152 1999 33554432000 134512640 136080129 4293101472 4293100544 134849462 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2243/statm: 2262 1999 176 383 0 1877 0
Current children cumulated CPU time (s) 11.92
Current children cumulated vsize (KiB) 145596

[startup+25.5003 s]
/proc/loadavg: 2.09 2.06 2.03 3/179 2243
/proc/meminfo: memFree=30478648/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=11.79 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 12533 6116 0 0 138 33 1007 1 20 0 1 0 338076313 139825152 6369 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6369 1180 1 0 5194 0
[pid=2243] ppid=2234 vsize=17916 CPUtime=13.51 cores=0,2,4,6
/proc/2243/stat : 2243 (clasp-1.3.3-x86) R 2234 2243 2243 0 -1 4202496 4242 0 0 0 1351 0 0 0 20 0 1 0 338077510 18345984 4196 33554432000 134512640 136080129 4293101472 4293100340 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2243/statm: 4479 4196 176 383 0 4094 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 154464

[startup+51.1003 s]
/proc/loadavg: 2.06 2.06 2.03 3/179 2243
/proc/meminfo: memFree=30458912/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=12.98 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 12562 6116 0 0 243 47 1007 1 20 0 1 0 338076313 139825152 6369 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6369 1180 1 0 5194 0
[pid=2243] ppid=2234 vsize=26152 CPUtime=39.11 cores=0,2,4,6
/proc/2243/stat : 2243 (clasp-1.3.3-x86) R 2234 2243 2243 0 -1 4202496 6324 0 0 0 3910 1 0 0 20 0 1 0 338077510 26779648 6278 33554432000 134512640 136080129 4293101472 4293100464 134844248 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2243/statm: 6538 6278 176 383 0 6153 0
Current children cumulated CPU time (s) 52.09
Current children cumulated vsize (KiB) 162700

[startup+102.307 s]
/proc/loadavg: 2.07 2.06 2.03 3/179 2249
/proc/meminfo: memFree=30445480/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=66.13 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 13752 13484 0 0 474 84 6052 3 20 0 1 0 338076313 139825152 6374 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6374 1180 1 0 5194 0
[pid=2246] ppid=2234 vsize=51264 CPUtime=39.8 cores=0,2,4,6
/proc/2246/stat : 2246 (wbo1.4a) R 2234 2246 2246 0 -1 4202496 13358 0 0 0 3964 16 0 0 20 0 1 0 338082561 52494336 12059 33554432000 134512640 135751879 4292602160 4292600412 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/2246/statm: 12816 12059 139 303 0 12511 0
Current children cumulated CPU time (s) 105.93
Current children cumulated vsize (KiB) 187812

[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.02 3/197 2273
/proc/meminfo: memFree=30083988/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=119.28 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 14986 29650 0 0 720 125 11060 23 20 0 1 0 338076313 139825152 6376 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6376 1180 1 0 5194 0
[pid=2252] ppid=2234 vsize=26828 CPUtime=49.46 cores=0,2,4,6
/proc/2252/stat : 2252 (clasp-1.3.3-x86) R 2234 2252 2252 0 -1 4202496 6479 0 0 0 4945 1 0 0 20 0 1 0 338087593 27471872 6428 33554432000 134512640 136080129 4291358608 4291357616 134716383 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2252/statm: 6707 6428 176 383 0 6322 0
Current children cumulated CPU time (s) 168.74
Current children cumulated vsize (KiB) 163376

[startup+222.3 s]
/proc/loadavg: 2.49 2.19 2.07 3/197 2276
/proc/meminfo: memFree=29991164/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=222.84 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 16236 38999 0 0 989 168 21100 27 20 0 1 0 338076313 139825152 6377 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6377 1180 1 0 5194 0
[pid=2276] ppid=2234 vsize=24832 CPUtime=9.01 cores=0,2,4,6
/proc/2276/stat : 2276 (wbo1.4a) R 2234 2276 2276 0 -1 4202496 6780 0 0 0 896 5 0 0 20 0 1 0 338097640 25427968 5481 33554432000 134512640 135751879 4292137168 4292135344 134616332 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/2276/statm: 6208 5481 139 303 0 5903 0
Current children cumulated CPU time (s) 231.85
Current children cumulated vsize (KiB) 161380

[startup+282.3 s]
/proc/loadavg: 2.22 2.16 2.07 3/180 2281
/proc/meminfo: memFree=30406364/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=225.68 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 16271 38999 0 0 1234 207 21100 27 20 0 1 0 338076313 139825152 6377 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6377 1180 1 0 5194 0
[pid=2276] ppid=2234 vsize=72916 CPUtime=68.98 cores=0,2,4,6
/proc/2276/stat : 2276 (wbo1.4a) R 2234 2276 2276 0 -1 4202496 18797 0 0 0 6872 26 0 0 20 0 1 0 338097640 74665984 17483 33554432000 134512640 135751879 4292137168 4292135340 134517408 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/2276/statm: 18229 17483 139 303 0 17924 0
Current children cumulated CPU time (s) 294.66
Current children cumulated vsize (KiB) 209464

[startup+342.3 s]
/proc/loadavg: 2.13 2.15 2.07 3/179 2287
/proc/meminfo: memFree=30422168/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=329.15 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 17490 63384 0 0 1488 245 31118 64 20 0 1 0 338076313 139825152 6378 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6378 1180 1 0 5194 0
[pid=2284] ppid=2234 vsize=90596 CPUtime=28.39 cores=0,2,4,6
/proc/2284/stat : 2284 (wbo1.4b) R 2234 2284 2284 0 -1 4202496 23166 0 0 0 2835 4 0 0 20 0 1 0 338107701 92770304 21859 33554432000 134512640 135751879 4290850032 4290848192 134524613 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/2284/statm: 22649 21859 142 303 0 22344 0
Current children cumulated CPU time (s) 357.54
Current children cumulated vsize (KiB) 227144

[startup+402.301 s]
/proc/loadavg: 2.15 2.15 2.08 3/197 2314
/proc/meminfo: memFree=30071204/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=382.21 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 18703 91233 0 0 1736 284 36131 70 20 0 1 0 338076313 139825152 6379 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6379 1180 1 0 5194 0

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

/proc/2450/statm: 12920 12648 176 383 0 12535 0
Current children cumulated CPU time (s) 1116.87
Current children cumulated vsize (KiB) 188228

[startup+1122.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/180 2475
/proc/meminfo: memFree=30479756/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=1162.46 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 41976 293519 0 2 4817 759 110457 213 20 0 1 0 338076313 139825152 6388 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6388 1180 1 0 5194 0
[pid=2472] ppid=2234 vsize=50420 CPUtime=17.36 cores=0,2,4,6
/proc/2472/stat : 2472 (bsolo_pb10) R 2234 2472 2472 0 -1 4202496 11609 0 0 0 1731 5 0 0 20 0 1 0 338186803 51630080 10050 33554432000 134512640 137138936 4293000528 4292999456 134542516 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/2472/statm: 12605 10050 192 642 0 11961 0
Current children cumulated CPU time (s) 1179.82
Current children cumulated vsize (KiB) 186968

[startup+1182.3 s]
/proc/loadavg: 2.18 2.11 2.09 3/179 2482
/proc/meminfo: memFree=30371416/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=1165.32 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 42005 293519 0 2 5067 795 110457 213 20 0 1 0 338076313 139825152 6388 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6388 1180 1 0 5194 0
[pid=2472] ppid=2234 vsize=159864 CPUtime=77.31 cores=0,2,4,6
/proc/2472/stat : 2472 (bsolo_pb10) R 2234 2472 2472 0 -1 4202496 39018 0 0 0 7718 13 0 0 20 0 1 0 338186803 163700736 37411 33554432000 134512640 137138936 4293000528 4292999456 134542516 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/2472/statm: 39966 37411 192 642 0 39322 0
Current children cumulated CPU time (s) 1242.63
Current children cumulated vsize (KiB) 296412

[startup+1242.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/179 2488
/proc/meminfo: memFree=30491972/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=1278.67 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 44477 346663 0 2 5316 834 121486 231 20 0 1 0 338076313 139825152 6388 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6388 1180 1 0 5194 0
[pid=2488] ppid=2234 vsize=21900 CPUtime=26.77 cores=0,2,4,6
/proc/2488/stat : 2488 (clasp-1.3.3-x86) R 2234 2488 2488 0 -1 4202496 5256 0 0 0 2676 1 0 0 20 0 1 0 338197864 22425600 5202 33554432000 134512640 136080129 4290486112 4290485244 134716368 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2488/statm: 5475 5202 176 383 0 5090 0
Current children cumulated CPU time (s) 1305.44
Current children cumulated vsize (KiB) 158448

[startup+1302.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/179 2497
/proc/meminfo: memFree=30485764/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=1281.47 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 44505 346663 0 2 5561 869 121486 231 20 0 1 0 338076313 139825152 6388 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6388 1180 1 0 5194 0
[pid=2488] ppid=2234 vsize=34552 CPUtime=86.75 cores=0,2,4,6
/proc/2488/stat : 2488 (clasp-1.3.3-x86) R 2234 2488 2488 0 -1 4202496 8420 0 0 0 8673 2 0 0 20 0 1 0 338197864 35381248 8378 33554432000 134512640 136080129 4290486112 4290485248 134610270 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2488/statm: 8638 8378 176 383 0 8253 0
Current children cumulated CPU time (s) 1368.22
Current children cumulated vsize (KiB) 171100

[startup+1362.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/179 2506
/proc/meminfo: memFree=30492780/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=1404.9 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 48183 366316 0 2 5815 907 133530 238 20 0 1 0 338076313 139825152 6390 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6390 1180 1 0 5194 0
[pid=2506] ppid=2234 vsize=21904 CPUtime=26.19 cores=0,2,4,6
/proc/2506/stat : 2506 (clasp-1.3.3-x86) R 2234 2506 2506 0 -1 4202496 5770 0 0 0 2617 2 0 0 20 0 1 0 338209922 22429696 5204 33554432000 134512640 136080129 4294787280 4294786272 134588742 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2506/statm: 5476 5204 176 383 0 5091 0
Current children cumulated CPU time (s) 1431.09
Current children cumulated vsize (KiB) 158452

[startup+1422.31 s]
/proc/loadavg: 2.09 2.10 2.09 3/179 2521
/proc/meminfo: memFree=30499680/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=1468.35 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 50662 379013 0 2 6065 945 139582 243 20 0 1 0 338076313 139825152 6391 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6391 1180 1 0 5194 0
[pid=2515] ppid=2234 vsize=21376 CPUtime=25.58 cores=0,2,4,6
/proc/2515/stat : 2515 (clasp-1.3.3-x86) R 2234 2515 2515 0 -1 4202496 5117 0 0 0 2558 0 0 0 20 0 1 0 338215983 21889024 5067 33554432000 134512640 136080129 4292602336 4292601408 134849233 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2515/statm: 5344 5067 176 383 0 4959 0
Current children cumulated CPU time (s) 1493.93
Current children cumulated vsize (KiB) 157924

[startup+1482.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/178 2521
/proc/meminfo: memFree=30479264/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=1471.11 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 50689 379013 0 2 6306 980 139582 243 20 0 1 0 338076313 139825152 6391 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6391 1180 1 0 5194 0
[pid=2515] ppid=2234 vsize=33632 CPUtime=85.57 cores=0,2,4,6
/proc/2515/stat : 2515 (clasp-1.3.3-x86) R 2234 2515 2515 0 -1 4202496 8169 0 0 0 8556 1 0 0 20 0 1 0 338215983 34439168 8112 33554432000 134512640 136080129 4292602336 4292601328 134588745 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2515/statm: 8408 8112 176 383 0 8023 0
Current children cumulated CPU time (s) 1556.68
Current children cumulated vsize (KiB) 170180

[startup+1542.3 s]
/proc/loadavg: 2.21 2.13 2.10 3/179 2578
/proc/meminfo: memFree=29778044/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=1594.51 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 54407 398038 0 2 6561 1019 151616 255 20 0 1 0 338076313 139825152 6393 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6393 1180 1 0 5194 0
[pid=2578] ppid=2234 vsize=21360 CPUtime=25.04 cores=0,2,4,6
/proc/2578/stat : 2578 (clasp-1.3.3-x86) R 2234 2578 2578 0 -1 4202496 5628 0 0 0 2503 1 0 0 20 0 1 0 338228037 21872640 5068 33554432000 134512640 136080129 4292456032 4292455024 134588697 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2578/statm: 5340 5068 176 383 0 4955 0
Current children cumulated CPU time (s) 1619.55
Current children cumulated vsize (KiB) 157908

[startup+1602.3 s]
/proc/loadavg: 2.14 2.13 2.10 3/179 2581
/proc/meminfo: memFree=29625024/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=1597.29 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 54432 398038 0 2 6802 1056 151616 255 20 0 1 0 338076313 139825152 6393 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6393 1180 1 0 5194 0
[pid=2578] ppid=2234 vsize=33512 CPUtime=85.03 cores=0,2,4,6
/proc/2578/stat : 2578 (clasp-1.3.3-x86) R 2234 2578 2578 0 -1 4202496 8646 0 0 0 8501 2 0 0 20 0 1 0 338228037 34316288 8081 33554432000 134512640 136080129 4292456032 4292455104 134849656 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2578/statm: 8378 8081 176 383 0 7993 0
Current children cumulated CPU time (s) 1682.32
Current children cumulated vsize (KiB) 170060

[startup+1662.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/179 2593
/proc/meminfo: memFree=29777772/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=1720.78 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 58120 417561 0 2 7059 1096 163662 261 20 0 1 0 338076313 139825152 6394 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6394 1180 1 0 5194 0
[pid=2593] ppid=2234 vsize=21376 CPUtime=24.46 cores=0,2,4,6
/proc/2593/stat : 2593 (clasp-1.3.3-x86) R 2234 2593 2593 0 -1 4202496 5115 0 0 0 2446 0 0 0 20 0 1 0 338240095 21889024 5067 33554432000 134512640 136080129 4290189088 4290188160 134849100 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2593/statm: 5344 5067 176 383 0 4959 0
Current children cumulated CPU time (s) 1745.24
Current children cumulated vsize (KiB) 157924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1714.7 s]
/proc/loadavg: 2.10 2.11 2.09 3/180 2596
/proc/meminfo: memFree=29763408/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=1723.23 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 58142 417561 0 2 7270 1130 163662 261 20 0 1 0 338076313 139825152 6394 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6394 1180 1 0 5194 0
[pid=2593] ppid=2234 vsize=32828 CPUtime=76.86 cores=0,2,4,6
/proc/2593/stat : 2593 (clasp-1.3.3-x86) R 2234 2593 2593 0 -1 4202496 7963 0 0 0 7685 1 0 0 20 0 1 0 338240095 33615872 7915 33554432000 134512640 136080129 4290189088 4290188048 134807681 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2593/statm: 8207 7915 176 383 0 7822 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 169376

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

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

[startup+1714.7 s]
/proc/loadavg: 2.10 2.11 2.09 3/180 2596
/proc/meminfo: memFree=29763408/32873844 swapFree=7900/7900
[pid=2234] ppid=2232 vsize=136548 CPUtime=1723.23 cores=0,2,4,6
/proc/2234/stat : 2234 (python) S 2232 2234 31325 0 -1 4202496 58142 417561 0 2 7270 1130 163662 261 20 0 1 0 338076313 139825152 6394 33554432000 4194304 4196484 140737471435248 140737471427008 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/2234/statm: 34137 6394 1180 1 0 5194 0
[pid=2593] ppid=2234 vsize=32828 CPUtime=76.86 cores=0,2,4,6
/proc/2593/stat : 2593 (clasp-1.3.3-x86) R 2234 2593 2593 0 -1 4202496 7963 0 0 0 7685 1 0 0 20 0 1 0 338240095 33615872 7915 33554432000 134512640 136080129 4290189088 4290188048 134807681 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/2593/statm: 8207 7915 176 383 0 7822 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 169376

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2234 and gives
#  childrusage.ru_utime.tv_sec=1709
#  childrusage.ru_utime.tv_usec=336141
#  childrusage.ru_stime.tv_sec=13
#  childrusage.ru_stime.tv_usec=923883
# CPU time returned by wait4() is 1723.26
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1714.71
CPU time (s): 1800.09
CPU user time (s): 1786.17
CPU system time (s): 13.92
CPU usage (%): 104.979
Max. virtual memory (cumulated for all children) (KiB): 2851688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1709.34
system time used= 13.9239
maximum resident set size= 551768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475704
page faults= 2
swaps= 0
block input operations= 0
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11881
involuntary context switches= 6153

runsolver used 3.58045 second user time and 9.05562 second system time

The end

Launcher Data

Begin job on node137 at 2012-06-03 12:31:57
IDJOB=3739693
IDBENCH=74121
IDSOLVER=2323
FILE ID=node137/3739693-1338719517
RUNJOBID= node137-1338714575-31341
PBS_JOBID= 14636756
Free space on /tmp= 70300 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12047_6-sat.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739693-1338719517/watcher-3739693-1338719517 -o /tmp/evaluation-result-3739693-1338719517/solver-3739693-1338719517 -C 1800 -W 1900 -M 15500  solver HOME/instance-3739693-1338719517.opb 2091686807 

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

MD5SUM BENCH= 937ecf63c168ba3c2555061c1a7466e0
RANDOM SEED=2091686807

node137.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.600
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.20
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.600
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.600
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		: 2666.600
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		: 2666.600
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		: 2666.600
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.90
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.600
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.600
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:        30530740 kB
Buffers:          235588 kB
Cached:          1231224 kB
SwapCached:         5796 kB
Active:           848408 kB
Inactive:         669652 kB
Active(anon):      46556 kB
Inactive(anon):     7172 kB
Active(file):     801852 kB
Inactive(file):   662480 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             23752 kB
Writeback:             0 kB
AnonPages:         55052 kB
Mapped:            13172 kB
Shmem:                 0 kB
Slab:             685900 kB
SReclaimable:     126280 kB
SUnreclaim:       559620 kB
KernelStack:        1448 kB
PageTables:         4368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     172188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 69980 MiB
End job on node137 at 2012-06-03 13:00:35