Trace number 3742651

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.06 1716.91

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K66.opb
MD5SUM03e282ee85097a100b1dfa3533d9978b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark871.544
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3630
Total number of constraints3764
Number of constraints which are clauses3698
Number of constraints which are cardinality constraints (but not clauses)66
Number of constraints which are nor clauses,nor cardinality constraints0
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 67
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.06 2.07 2.07 2/177 22282
/proc/meminfo: memFree=26871972/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/22282/stat : 22282 (python) R 22280 22282 15301 0 -1 4202496 823 0 0 0 0 0 0 0 20 0 1 0 339664806 15749120 579 33554432000 4194304 5683644 140737392981136 140737392953320 5153360 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/22282/statm: 3845 581 328 364 0 287 0

[startup+0.0596231 s]
/proc/loadavg: 2.06 2.07 2.07 2/177 22282
/proc/meminfo: memFree=26871972/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=27404 CPUtime=0.03 cores=0,2,4,6
/proc/22282/stat : 22282 (python) R 22280 22282 15301 0 -1 4202496 2777 0 0 0 2 1 0 0 20 0 1 0 339664806 28061696 1187 33554432000 4194304 4196484 140736378839680 140736378713320 251053032336 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/22282/statm: 6851 1187 456 1 0 719 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27404

[startup+0.100287 s]
/proc/loadavg: 2.06 2.07 2.07 2/177 22282
/proc/meminfo: memFree=26871972/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=54516 CPUtime=0.05 cores=0,2,4,6
/proc/22282/stat : 22282 (python) R 22280 22282 15301 0 -1 4202496 3904 0 0 0 4 1 0 0 20 0 1 0 339664806 55824384 2101 33554432000 4194304 4196484 140736378839680 140736378621400 251053032336 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/22282/statm: 13629 2101 573 1 0 1484 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54516

[startup+0.300267 s]
/proc/loadavg: 2.06 2.07 2.07 2/177 22282
/proc/meminfo: memFree=26871972/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=100256 CPUtime=0.19 cores=0,2,4,6
/proc/22282/stat : 22282 (python) R 22280 22282 15301 0 -1 4202496 6038 0 0 0 13 6 0 0 20 0 1 0 339664806 102662144 3871 33554432000 4194304 4196484 140736378839680 140736378782952 140237976459266 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/22282/statm: 25064 3871 1047 1 0 2866 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 100256

[startup+0.700176 s]
/proc/loadavg: 2.06 2.07 2.07 2/177 22282
/proc/meminfo: memFree=26871972/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=134460 CPUtime=0.49 cores=0,2,4,6
/proc/22282/stat : 22282 (python) R 22280 22282 15301 0 -1 4202496 11248 1014 0 0 36 13 0 0 20 0 1 0 339664806 137687040 6349 33554432000 4194304 4196484 140736378839680 140736378831440 251053073335 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 33615 6349 1170 1 0 5187 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 134460

[startup+1.50026 s]
/proc/loadavg: 2.06 2.07 2.07 3/179 22288
/proc/meminfo: memFree=26846256/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=134460 CPUtime=0.53 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 11252 1014 0 0 40 13 0 0 20 0 1 0 339664806 137687040 6349 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 33615 6349 1170 1 0 5187 0
[pid=22288] ppid=22282 vsize=3568 CPUtime=0.82 cores=0,2,4,6
/proc/22288/stat : 22288 (clasp-1.3.3-x86) R 22282 22288 22288 0 -1 4202496 960 0 0 0 82 0 0 0 20 0 1 0 339664873 3653632 645 33554432000 134512640 136080129 4294315248 4294314320 134849100 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22288/statm: 892 645 175 383 0 507 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 138028

[startup+3.10026 s]
/proc/loadavg: 2.14 2.08 2.08 3/179 22288
/proc/meminfo: memFree=26841420/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=134460 CPUtime=0.61 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 11258 1014 0 0 47 14 0 0 20 0 1 0 339664806 137687040 6349 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 33615 6349 1170 1 0 5187 0
[pid=22288] ppid=22282 vsize=4228 CPUtime=2.42 cores=0,2,4,6
/proc/22288/stat : 22288 (clasp-1.3.3-x86) R 22282 22288 22288 0 -1 4202496 1113 0 0 0 242 0 0 0 20 0 1 0 339664873 4329472 798 33554432000 134512640 136080129 4294315248 4294314320 134849631 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22288/statm: 1057 798 175 383 0 672 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 138688

[startup+6.30026 s]
/proc/loadavg: 2.14 2.08 2.08 3/179 22288
/proc/meminfo: memFree=26833792/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=134460 CPUtime=0.75 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 11265 1014 0 0 60 15 0 0 20 0 1 0 339664806 137687040 6349 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 33615 6349 1170 1 0 5187 0
[pid=22288] ppid=22282 vsize=5144 CPUtime=5.62 cores=0,2,4,6
/proc/22288/stat : 22288 (clasp-1.3.3-x86) R 22282 22288 22288 0 -1 4202496 1354 0 0 0 562 0 0 0 20 0 1 0 339664873 5267456 1039 33554432000 134512640 136080129 4294315248 4294314192 134804968 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22288/statm: 1286 1039 175 383 0 901 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 139604

[startup+12.7003 s]
/proc/loadavg: 2.11 2.08 2.08 3/179 22291
/proc/meminfo: memFree=26836520/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=11.12 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 12508 3602 0 0 90 20 1002 0 20 0 1 0 339664806 139796480 6369 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6369 1180 1 0 5187 0
[pid=22291] ppid=22282 vsize=4092 CPUtime=1.98 cores=0,2,4,6
/proc/22291/stat : 22291 (clasp-1.3.3-x86) R 22282 22291 22291 0 -1 4202496 1084 0 0 0 198 0 0 0 20 0 1 0 339665878 4190208 773 33554432000 134512640 136080129 4287828656 4287827648 134588674 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22291/statm: 1023 773 175 383 0 638 0
Current children cumulated CPU time (s) 13.1
Current children cumulated vsize (KiB) 140612

[startup+25.5003 s]
/proc/loadavg: 2.10 2.08 2.08 3/179 22291
/proc/meminfo: memFree=26833776/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=11.72 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 12534 3602 0 0 144 26 1002 0 20 0 1 0 339664806 139796480 6369 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6369 1180 1 0 5187 0
[pid=22291] ppid=22282 vsize=6720 CPUtime=14.77 cores=0,2,4,6
/proc/22291/stat : 22291 (clasp-1.3.3-x86) R 22282 22291 22291 0 -1 4202496 1748 0 0 0 1477 0 0 0 20 0 1 0 339665878 6881280 1437 33554432000 134512640 136080129 4287828656 4287827600 134580608 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22291/statm: 1680 1437 175 383 0 1295 0
Current children cumulated CPU time (s) 26.49
Current children cumulated vsize (KiB) 143240

[startup+51.1003 s]
/proc/loadavg: 2.06 2.07 2.07 3/179 22291
/proc/meminfo: memFree=26831620/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=12.88 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 12556 3602 0 0 246 40 1002 0 20 0 1 0 339664806 139796480 6369 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6369 1180 1 0 5187 0
[pid=22291] ppid=22282 vsize=8864 CPUtime=40.37 cores=0,2,4,6
/proc/22291/stat : 22291 (clasp-1.3.3-x86) R 22282 22291 22291 0 -1 4202496 2280 0 0 0 4037 0 0 0 20 0 1 0 339665878 9076736 1969 33554432000 134512640 136080129 4287828656 4287827648 134588720 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22291/statm: 2216 1969 175 383 0 1831 0
Current children cumulated CPU time (s) 53.25
Current children cumulated vsize (KiB) 145384

[startup+102.306 s]
/proc/loadavg: 2.10 2.07 2.07 3/179 22298
/proc/meminfo: memFree=26910332/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=65.91 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 13723 7033 0 0 473 73 6044 1 20 0 1 0 339664806 139796480 6374 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6374 1180 1 0 5187 0
[pid=22294] ppid=22282 vsize=52376 CPUtime=41.12 cores=0,2,4,6
/proc/22294/stat : 22294 (wbo1.4a) R 22282 22294 22294 0 -1 4202496 13008 0 0 0 4093 19 0 0 20 0 1 0 339670923 53633024 12639 33554432000 134512640 135751879 4287982752 4287981004 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/22294/statm: 13094 12639 139 303 0 12789 0
Current children cumulated CPU time (s) 107.03
Current children cumulated vsize (KiB) 188896

[startup+162.3 s]
/proc/loadavg: 2.04 2.06 2.07 4/179 22313
/proc/meminfo: memFree=26989460/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=119.35 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 14966 23472 0 0 720 109 11081 25 20 0 1 0 339664806 139796480 6375 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6375 1180 1 0 5187 0
[pid=22301] ppid=22282 vsize=9472 CPUtime=50.48 cores=0,2,4,6
/proc/22301/stat : 22301 (clasp-1.3.3-x86) R 22282 22301 22301 0 -1 4202496 2439 0 0 0 5048 0 0 0 20 0 1 0 339675987 9699328 2126 33554432000 134512640 136080129 4286992848 4286991840 134588941 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22301/statm: 2368 2126 175 383 0 1983 0
Current children cumulated CPU time (s) 169.83
Current children cumulated vsize (KiB) 145992

[startup+222.3 s]
/proc/loadavg: 2.07 2.06 2.07 3/198 22355
/proc/meminfo: memFree=26874140/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=222.61 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 16218 27409 0 0 978 149 21108 26 20 0 1 0 339664806 139796480 6376 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6376 1180 1 0 5187 0
[pid=22334] ppid=22282 vsize=18736 CPUtime=10.18 cores=0,2,4,6
/proc/22334/stat : 22334 (wbo1.4a) R 22282 22334 22334 0 -1 4202496 4601 0 0 0 1012 6 0 0 20 0 1 0 339686017 19185664 4231 33554432000 134512640 135751879 4288066320 4288064572 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/22334/statm: 4684 4231 139 303 0 4379 0
Current children cumulated CPU time (s) 232.79
Current children cumulated vsize (KiB) 155256

[startup+282.3 s]
/proc/loadavg: 2.09 2.06 2.07 3/180 22384
/proc/meminfo: memFree=26881252/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=225.46 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 16256 27409 0 0 1230 182 21108 26 20 0 1 0 339664806 139796480 6376 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6376 1180 1 0 5187 0
[pid=22334] ppid=22282 vsize=83156 CPUtime=70.16 cores=0,2,4,6
/proc/22334/stat : 22334 (wbo1.4a) R 22282 22334 22334 0 -1 4202496 20715 0 0 0 6989 27 0 0 20 0 1 0 339686017 85151744 20336 33554432000 134512640 135751879 4288066320 4288064572 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/22334/statm: 20789 20336 139 303 0 20484 0
Current children cumulated CPU time (s) 295.62
Current children cumulated vsize (KiB) 219676

[startup+342.3 s]
/proc/loadavg: 2.03 2.05 2.06 3/179 22399
/proc/meminfo: memFree=26892024/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=329.27 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 17496 56488 0 0 1504 222 31136 65 20 0 1 0 339664806 139796480 6378 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6378 1180 1 0 5187 0
[pid=22396] ppid=22282 vsize=104128 CPUtime=29.43 cores=0,2,4,6
/proc/22396/stat : 22396 (wbo1.4b) R 22282 22396 22396 0 -1 4202496 25988 0 0 0 2927 16 0 0 20 0 1 0 339696090 106627072 25598 33554432000 134512640 135751879 4289487984 4289486076 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/22396/statm: 26032 25598 144 303 0 25727 0
Current children cumulated CPU time (s) 358.7
Current children cumulated vsize (KiB) 240648

[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.05 4/196 22420
/proc/meminfo: memFree=26882664/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=382.54 cores=0,2,4,6

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

/proc/22506/statm: 3840 3595 175 383 0 3455 0
Current children cumulated CPU time (s) 1115.4
Current children cumulated vsize (KiB) 151880

[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.04 3/179 22534
/proc/meminfo: memFree=26938556/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=1161.9 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 42080 294473 0 2 4856 731 110394 209 20 0 1 0 339664806 139796480 6388 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6388 1180 1 0 5187 0
[pid=22534] ppid=22282 vsize=47116 CPUtime=16.4 cores=0,2,4,6
/proc/22534/stat : 22534 (bsolo_pb10) R 22282 22534 22534 0 -1 4202496 9722 0 0 0 1638 2 0 0 20 0 1 0 339775394 48246784 9336 33554432000 134512640 137138936 4293816432 4293815360 134542787 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/22534/statm: 11779 9336 192 642 0 11135 0
Current children cumulated CPU time (s) 1178.3
Current children cumulated vsize (KiB) 183636

[startup+1182.3 s]
/proc/loadavg: 2.12 2.06 2.04 3/179 22543
/proc/meminfo: memFree=26879236/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=1164.69 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 42105 294473 0 2 5099 767 110394 209 20 0 1 0 339664806 139796480 6388 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6388 1180 1 0 5187 0
[pid=22534] ppid=22282 vsize=122816 CPUtime=76.37 cores=0,2,4,6
/proc/22534/stat : 22534 (bsolo_pb10) R 22282 22534 22534 0 -1 4202496 28704 0 0 0 7629 8 0 0 20 0 1 0 339775394 125763584 28287 33554432000 134512640 137138936 4293816432 4293815360 134542199 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/22534/statm: 30704 28287 192 642 0 30060 0
Current children cumulated CPU time (s) 1241.06
Current children cumulated vsize (KiB) 259336

[startup+1242.3 s]
/proc/loadavg: 1.87 2.01 2.03 2/172 22574
/proc/meminfo: memFree=27042212/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=1277.98 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 44585 330862 0 2 5350 805 121422 221 20 0 1 0 339664806 139796480 6389 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6389 1180 1 0 5187 0
[pid=22549] ppid=22282 vsize=7508 CPUtime=25.94 cores=0,2,4,6
/proc/22549/stat : 22549 (clasp-1.3.3-x86) R 22282 22549 22549 0 -1 4202496 1959 0 0 0 2594 0 0 0 20 0 1 0 339786441 7688192 1642 33554432000 134512640 136080129 4293221616 4293220608 134588820 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22549/statm: 1877 1642 175 383 0 1492 0
Current children cumulated CPU time (s) 1303.92
Current children cumulated vsize (KiB) 144028

[startup+1302.3 s]
/proc/loadavg: 1.32 1.83 1.96 2/172 22574
/proc/meminfo: memFree=27038792/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=1280.64 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 44609 330862 0 2 5581 840 121422 221 20 0 1 0 339664806 139796480 6389 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6389 1180 1 0 5187 0
[pid=22549] ppid=22282 vsize=11488 CPUtime=85.93 cores=0,2,4,6
/proc/22549/stat : 22549 (clasp-1.3.3-x86) R 22282 22549 22549 0 -1 4202496 2947 0 0 0 8592 1 0 0 20 0 1 0 339786441 11763712 2627 33554432000 134512640 136080129 4293221616 4293220692 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22549/statm: 2872 2627 175 383 0 2487 0
Current children cumulated CPU time (s) 1366.57
Current children cumulated vsize (KiB) 148008

[startup+1362.3 s]
/proc/loadavg: 1.17 1.69 1.90 2/172 22584
/proc/meminfo: memFree=27043020/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=1404.67 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 48323 339617 0 2 5831 875 133536 225 20 0 1 0 339664806 139796480 6390 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6390 1180 1 0 5187 0
[pid=22584] ppid=22282 vsize=7088 CPUtime=24.7 cores=0,2,4,6
/proc/22584/stat : 22584 (clasp-1.3.3-x86) R 22282 22584 22584 0 -1 4202496 1855 0 0 0 2470 0 0 0 20 0 1 0 339798565 7258112 1537 33554432000 134512640 136080129 4292652768 4292651760 134588768 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22584/statm: 1772 1537 175 383 0 1387 0
Current children cumulated CPU time (s) 1429.37
Current children cumulated vsize (KiB) 143608

[startup+1422.31 s]
/proc/loadavg: 1.06 1.56 1.84 2/173 22593
/proc/meminfo: memFree=27042364/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=1468.32 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 50806 345348 0 2 6076 908 139620 228 20 0 1 0 339664806 139796480 6390 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6390 1180 1 0 5187 0
[pid=22593] ppid=22282 vsize=7632 CPUtime=23.8 cores=0,2,4,6
/proc/22593/stat : 22593 (clasp-1.3.3-x86) R 22282 22593 22593 0 -1 4202496 1981 0 0 0 2380 0 0 0 20 0 1 0 339804656 7815168 1660 33554432000 134512640 136080129 4293935904 4293934600 134601768 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22593/statm: 1908 1660 175 383 0 1523 0
Current children cumulated CPU time (s) 1492.12
Current children cumulated vsize (KiB) 144152

[startup+1482.3 s]
/proc/loadavg: 1.02 1.45 1.79 2/172 22593
/proc/meminfo: memFree=27039460/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=1470.98 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 50833 345348 0 2 6309 941 139620 228 20 0 1 0 339664806 139796480 6390 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6390 1180 1 0 5187 0
[pid=22593] ppid=22282 vsize=11132 CPUtime=83.78 cores=0,2,4,6
/proc/22593/stat : 22593 (clasp-1.3.3-x86) R 22282 22593 22593 0 -1 4202496 2873 0 0 0 8378 0 0 0 20 0 1 0 339804656 11399168 2550 33554432000 134512640 136080129 4293935904 4293934976 134849200 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22593/statm: 2783 2550 175 383 0 2398 0
Current children cumulated CPU time (s) 1554.76
Current children cumulated vsize (KiB) 147652

[startup+1542.3 s]
/proc/loadavg: 1.01 1.37 1.73 2/172 22602
/proc/meminfo: memFree=27043656/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=1595.02 cores=0,2,4,6
/proc/22282/stat : 22282 (python) R 22280 22282 15301 0 -1 4202496 54560 354313 0 2 6556 979 151736 231 20 0 1 0 339664806 139796480 6393 33554432000 4194304 4196484 140736378839680 140736378831440 251053031172 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6393 1180 1 0 5187 0
[pid=22602] ppid=22282 vsize=7240 CPUtime=22.56 cores=0,2,4,6
/proc/22602/stat : 22602 (clasp-1.3.3-x86) R 22282 22602 22602 0 -1 4202496 1865 0 0 0 2256 0 0 0 20 0 1 0 339816780 7413760 1547 33554432000 134512640 136080129 4289536800 4289535792 134588668 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22602/statm: 1810 1547 175 383 0 1425 0
Current children cumulated CPU time (s) 1617.58
Current children cumulated vsize (KiB) 143760

[startup+1602.3 s]
/proc/loadavg: 1.04 1.31 1.69 3/172 22602
/proc/meminfo: memFree=27039372/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136520 CPUtime=1597.7 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 54585 354313 0 2 6790 1013 151736 231 20 0 1 0 339664806 139796480 6393 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34130 6393 1180 1 0 5187 0
[pid=22602] ppid=22282 vsize=10996 CPUtime=82.54 cores=0,2,4,6
/proc/22602/stat : 22602 (clasp-1.3.3-x86) R 22282 22602 22602 0 -1 4202496 2829 0 0 0 8254 0 0 0 20 0 1 0 339816780 11259904 2509 33554432000 134512640 136080129 4289536800 4289535792 134588658 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22602/statm: 2749 2509 175 383 0 2364 0
Current children cumulated CPU time (s) 1680.24
Current children cumulated vsize (KiB) 147516

[startup+1662.3 s]
/proc/loadavg: 1.05 1.27 1.65 2/172 22612
/proc/meminfo: memFree=27042544/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136652 CPUtime=1721.71 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 58320 363095 0 2 7037 1049 163851 234 20 0 1 0 339664806 139931648 6394 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34163 6394 1180 1 0 5220 0
[pid=22612] ppid=22282 vsize=7368 CPUtime=21.31 cores=0,2,4,6
/proc/22612/stat : 22612 (clasp-1.3.3-x86) R 22282 22612 22612 0 -1 4202496 1926 0 0 0 2131 0 0 0 20 0 1 0 339828904 7544832 1608 33554432000 134512640 136080129 4288954512 4288953504 134844392 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22612/statm: 1842 1608 175 383 0 1457 0
Current children cumulated CPU time (s) 1743.02
Current children cumulated vsize (KiB) 144020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1716.9 s]
/proc/loadavg: 1.02 1.22 1.61 2/172 22612
/proc/meminfo: memFree=27039384/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136652 CPUtime=1724.16 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 58344 363095 0 2 7249 1082 163851 234 20 0 1 0 339664806 139931648 6394 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34163 6394 1180 1 0 5220 0
[pid=22612] ppid=22282 vsize=11128 CPUtime=75.9 cores=0,2,4,6
/proc/22612/stat : 22612 (clasp-1.3.3-x86) R 22282 22612 22612 0 -1 4202496 2849 0 0 0 7590 0 0 0 20 0 1 0 339828904 11395072 2530 33554432000 134512640 136080129 4288954512 4288953584 134849989 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22612/statm: 2782 2530 175 383 0 2397 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 147780

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

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

[startup+1716.9 s]
/proc/loadavg: 1.02 1.22 1.61 2/172 22612
/proc/meminfo: memFree=27039384/32873648 swapFree=7368/7368
[pid=22282] ppid=22280 vsize=136652 CPUtime=1724.16 cores=0,2,4,6
/proc/22282/stat : 22282 (python) S 22280 22282 15301 0 -1 4202496 58344 363095 0 2 7249 1082 163851 234 20 0 1 0 339664806 139931648 6394 33554432000 4194304 4196484 140736378839680 140736378831440 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/22282/statm: 34163 6394 1180 1 0 5220 0
[pid=22612] ppid=22282 vsize=11128 CPUtime=75.9 cores=0,2,4,6
/proc/22612/stat : 22612 (clasp-1.3.3-x86) R 22282 22612 22612 0 -1 4202496 2849 0 0 0 7590 0 0 0 20 0 1 0 339828904 11395072 2530 33554432000 134512640 136080129 4288954512 4288953584 134849989 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/22612/statm: 2782 2530 175 383 0 2397 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 147780

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22282 and gives
#  childrusage.ru_utime.tv_sec=1711
#  childrusage.ru_utime.tv_usec=11886
#  childrusage.ru_stime.tv_sec=13
#  childrusage.ru_stime.tv_usec=176996
# CPU time returned by wait4() is 1724.19
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1716.91
CPU time (s): 1800.06
CPU user time (s): 1786.9
CPU system time (s): 13.16
CPU usage (%): 104.843
Max. virtual memory (cumulated for all children) (KiB): 2851660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1711.01
system time used= 13.177
maximum resident set size= 381160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 421439
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= 9190
involuntary context switches= 3268

runsolver used 3.42048 second user time and 8.5257 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 16:56:47
IDJOB=3742651
IDBENCH=90220
IDSOLVER=2323
FILE ID=node149/3742651-1338735407
RUNJOBID= node149-1338713283-15317
PBS_JOBID= 14636730
Free space on /tmp= 71032 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K66.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742651-1338735407/watcher-3742651-1338735407 -o /tmp/evaluation-result-3742651-1338735407/solver-3742651-1338735407 -C 1800 -W 1900 -M 15500  solver HOME/instance-3742651-1338735407.opb 1590366816 

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

MD5SUM BENCH= 03e282ee85097a100b1dfa3533d9978b
RANDOM SEED=1590366816

node149.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.145
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	: 5332.29
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.145
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.145
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	: 5438.55
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.145
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.145
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.145
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	: 5438.55
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.145
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.145
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:       32873648 kB
MemFree:        26872352 kB
Buffers:          775280 kB
Cached:          4132616 kB
SwapCached:         2468 kB
Active:          2218468 kB
Inactive:        2883464 kB
Active(anon):     177276 kB
Inactive(anon):     9368 kB
Active(file):    2041192 kB
Inactive(file):  2874096 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             21704 kB
Writeback:             4 kB
AnonPages:        188932 kB
Mapped:            18340 kB
Shmem:                96 kB
Slab:             761152 kB
SReclaimable:     203676 kB
SUnreclaim:       557476 kB
KernelStack:        1464 kB
PageTables:         4636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     301232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71036 MiB
End job on node149 at 2012-06-03 17:25:26