Trace number 3742378

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 1717.41

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K164.opb
MD5SUM57b7e746b37944d021e8febe16059957
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 variables19516
Total number of constraints19846
Number of constraints which are clauses19682
Number of constraints which are cardinality constraints (but not clauses)164
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint164
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 165
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.07 2.08 2.09 3/179 17808
/proc/meminfo: memFree=28578228/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/17808/stat : 17808 (python) R 17806 17808 11290 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 339352343 15642624 527 33554432000 4194304 5683644 140736418477536 140736418463448 215143498640 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 3819 527 312 364 0 261 0

[startup+0.048022 s]
/proc/loadavg: 2.07 2.08 2.09 3/179 17808
/proc/meminfo: memFree=28578228/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=16436 CPUtime=0 cores=0,2,4,6
/proc/17808/stat : 17808 (python) D 17806 17808 11290 0 -1 4202496 1184 0 0 0 0 0 0 0 20 0 1 0 339352343 16830464 887 33554432000 4194304 5683644 140736418477536 140736418459688 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 4109 887 382 364 0 551 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16436

[startup+0.100291 s]
/proc/loadavg: 2.07 2.08 2.09 3/179 17808
/proc/meminfo: memFree=28578228/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=17624 CPUtime=0.02 cores=0,2,4,6
/proc/17808/stat : 17808 (python) D 17806 17808 11290 0 -1 4202496 2216 0 0 0 1 1 0 0 20 0 1 0 339352343 18046976 722 33554432000 4194304 4196484 140735635233984 140735635159928 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/17808/statm: 4406 722 354 1 0 341 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17624

[startup+0.300247 s]
/proc/loadavg: 2.07 2.08 2.09 3/179 17808
/proc/meminfo: memFree=28578228/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=54508 CPUtime=0.07 cores=0,2,4,6
/proc/17808/stat : 17808 (python) D 17806 17808 11290 0 -1 4202496 3956 0 0 0 5 2 0 0 20 0 1 0 339352343 55816192 2142 33554432000 4194304 4196484 140735635233984 140735635079800 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/17808/statm: 13627 2142 600 1 0 1482 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 54508

[startup+0.700251 s]
/proc/loadavg: 2.07 2.08 2.09 3/179 17808
/proc/meminfo: memFree=28578228/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=99040 CPUtime=0.24 cores=0,2,4,6
/proc/17808/stat : 17808 (python) R 17806 17808 11290 0 -1 4202496 5756 0 0 0 13 11 0 0 20 0 1 0 339352343 101416960 3602 33554432000 4194304 4196484 140735635233984 140735635176168 215143497557 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/17808/statm: 24760 3602 1047 1 0 2562 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 99040

[startup+1.50027 s]
/proc/loadavg: 2.06 2.08 2.09 3/180 17813
/proc/meminfo: memFree=28558960/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=118116 CPUtime=0.5 cores=0,2,4,6
/proc/17808/stat : 17808 (python) D 17806 17808 11290 0 -1 4202496 9597 1010 0 0 27 23 0 0 20 0 1 0 339352343 120950784 5829 33554432000 4194304 4196484 140735635233984 140735635167336 215143497397 0 0 16781312 2 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/17808/statm: 29529 5829 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 118116

[startup+3.10022 s]
/proc/loadavg: 2.06 2.08 2.09 3/181 17814
/proc/meminfo: memFree=28551280/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=134452 CPUtime=0.71 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 11260 1010 0 0 41 30 0 0 20 0 1 0 339352343 137678848 6348 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/17808/statm: 33613 6348 1170 1 0 5185 0
[pid=17814] ppid=17808 vsize=7396 CPUtime=1.2 cores=0,2,4,6
/proc/17814/stat : 17814 (clasp-1.3.3-x86) R 17808 17814 17814 0 -1 4202496 2022 0 0 0 120 0 0 0 20 0 1 0 339352532 7573504 1595 33554432000 134512640 136080129 4287469408 4287468400 134588815 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/17814/statm: 1849 1595 175 383 0 1464 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 141848
heavy processes:

[startup+6.30023 s]
/proc/loadavg: 2.06 2.08 2.09 3/180 17814
/proc/meminfo: memFree=28550048/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=134452 CPUtime=0.84 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 11269 1010 0 0 52 32 0 0 20 0 1 0 339352343 137678848 6348 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/17808/statm: 33613 6348 1170 1 0 5185 0
[pid=17814] ppid=17808 vsize=8320 CPUtime=4.4 cores=0,2,4,6
/proc/17814/stat : 17814 (clasp-1.3.3-x86) R 17808 17814 17814 0 -1 4202496 2255 0 0 0 440 0 0 0 20 0 1 0 339352532 8519680 1828 33554432000 134512640 136080129 4287469408 4287468416 134842434 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/17814/statm: 2080 1828 175 383 0 1695 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 142772

[startup+12.7001 s]
/proc/loadavg: 2.05 2.08 2.08 3/181 17815
/proc/meminfo: memFree=28548444/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=11.69 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 12506 4510 0 0 80 37 1051 1 20 0 1 0 339352343 139788288 6368 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/17808/statm: 34128 6368 1180 1 0 5185 0
Current children cumulated CPU time (s) 11.69
Current children cumulated vsize (KiB) 136512

[startup+25.5003 s]
/proc/loadavg: 2.04 2.07 2.08 3/181 17818
/proc/meminfo: memFree=28548824/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=12.27 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 12533 4510 0 0 130 45 1051 1 20 0 1 0 339352343 139788288 6368 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6368 1180 1 0 5185 0
[pid=17818] ppid=17808 vsize=9648 CPUtime=13.07 cores=0,2,4,6
/proc/17818/stat : 17818 (clasp-1.3.3-x86) R 17808 17818 17818 0 -1 4202496 2567 0 0 0 1307 0 0 0 20 0 1 0 339353585 9879552 2144 33554432000 134512640 136080129 4289448896 4289447968 134849501 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/17818/statm: 2412 2144 175 383 0 2027 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 146160

[startup+51.1003 s]
/proc/loadavg: 2.02 2.07 2.08 3/181 17818
/proc/meminfo: memFree=28539828/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=13.44 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 12559 4510 0 0 234 58 1051 1 20 0 1 0 339352343 139788288 6368 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6368 1180 1 0 5185 0
[pid=17818] ppid=17808 vsize=12688 CPUtime=38.66 cores=0,2,4,6
/proc/17818/stat : 17818 (clasp-1.3.3-x86) R 17808 17818 17818 0 -1 4202496 3333 0 0 0 3866 0 0 0 20 0 1 0 339353585 12992512 2909 33554432000 134512640 136080129 4289448896 4289447968 134849100 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/17818/statm: 3172 2909 175 383 0 2787 0
Current children cumulated CPU time (s) 52.1
Current children cumulated vsize (KiB) 149200

[startup+102.307 s]
/proc/loadavg: 2.19 2.10 2.09 3/181 17821
/proc/meminfo: memFree=28481164/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=66.56 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 13722 9065 0 0 469 94 6091 2 20 0 1 0 339352343 139788288 6373 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6373 1180 1 0 5185 0
[pid=17821] ppid=17808 vsize=73276 CPUtime=39.42 cores=0,2,4,6
/proc/17821/stat : 17821 (wbo1.4a) R 17808 17821 17821 0 -1 4202496 18425 0 0 0 3851 91 0 0 20 0 1 0 339358629 75034624 17835 33554432000 134512640 135751879 4286709424 4286707676 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/17821/statm: 18319 17835 139 303 0 18014 0
Current children cumulated CPU time (s) 105.98
Current children cumulated vsize (KiB) 209788

[startup+162.3 s]
/proc/loadavg: 2.07 2.08 2.08 3/181 17824
/proc/meminfo: memFree=28534736/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=121.1 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 14961 33231 0 0 712 133 11140 125 20 0 1 0 339352343 139788288 6374 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6374 1180 1 0 5185 0
[pid=17824] ppid=17808 vsize=12816 CPUtime=47.67 cores=0,2,4,6
/proc/17824/stat : 17824 (clasp-1.3.3-x86) R 17808 17824 17824 0 -1 4202496 3374 0 0 0 4767 0 0 0 20 0 1 0 339363804 13123584 2951 33554432000 134512640 136080129 4289876880 4289875888 134842258 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/17824/statm: 3204 2951 175 383 0 2819 0
Current children cumulated CPU time (s) 168.77
Current children cumulated vsize (KiB) 149328

[startup+222.3 s]
/proc/loadavg: 2.15 2.09 2.09 3/181 17830
/proc/meminfo: memFree=28489568/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=224.41 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 16208 42337 0 0 975 174 21163 129 20 0 1 0 339352343 139788288 6375 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6375 1180 1 0 5185 0
[pid=17830] ppid=17808 vsize=23656 CPUtime=7.38 cores=0,2,4,6
/proc/17830/stat : 17830 (wbo1.4a) R 17808 17830 17830 0 -1 4202496 6011 0 0 0 715 23 0 0 20 0 1 0 339373834 24223744 5368 33554432000 134512640 135751879 4288083328 4288080944 134605084 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/17830/statm: 5914 5368 139 303 0 5609 0
Current children cumulated CPU time (s) 231.79
Current children cumulated vsize (KiB) 160168

[startup+282.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/181 17836
/proc/meminfo: memFree=28466112/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=227.21 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 16247 42337 0 0 1215 214 21163 129 20 0 1 0 339352343 139788288 6375 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6375 1180 1 0 5185 0
[pid=17830] ppid=17808 vsize=121488 CPUtime=67.32 cores=0,2,4,6
/proc/17830/stat : 17830 (wbo1.4a) R 17808 17830 17830 0 -1 4202496 30500 0 0 0 6591 141 0 0 20 0 1 0 339373834 124403712 29865 33554432000 134512640 135751879 4288083328 4288080944 134605024 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/17830/statm: 30372 29865 139 303 0 30067 0
Current children cumulated CPU time (s) 294.53
Current children cumulated vsize (KiB) 258000

[startup+342.3 s]
/proc/loadavg: 2.14 2.10 2.09 4/182 17843
/proc/meminfo: memFree=28436576/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=332.57 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 17478 88962 0 0 1465 255 31188 349 20 0 1 0 339352343 139788288 6376 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6376 1180 1 0 5185 0
[pid=17840] ppid=17808 vsize=139440 CPUtime=24.82 cores=0,2,4,6
/proc/17840/stat : 17840 (wbo1.4b) R 17808 17840 17840 0 -1 4202496 34961 0 0 0 2476 6 0 0 20 0 1 0 339384088 142786560 34353 33554432000 134512640 135751879 4292044544 4292042704 134524605 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/17840/statm: 34860 34353 142 303 0 34555 0
Current children cumulated CPU time (s) 357.39
Current children cumulated vsize (KiB) 275952

[startup+402.301 s]
/proc/loadavg: 2.10 2.09 2.09 3/199 17873
/proc/meminfo: memFree=28419664/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=385.98 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 18717 143503 0 0 1713 294 36231 360 20 0 1 0 339352343 139788288 6378 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6378 1180 1 0 5185 0
[pid=17846] ppid=17808 vsize=2715136 CPUtime=35.27 cores=0,2,4,6
/proc/17846/stat : 17846 (java) S 17808 17846 17846 0 -1 4202496 11617 0 1 0 3522 5 0 0 20 0 19 0 339389147 2780299264 43483 33554432000 1073741824 1073778376 140733778053296 140733778044432 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17846/statm: 678784 43483 2255 9 0 669477 0

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

/proc/18017/statm: 12030 11782 175 383 0 11645 0
Current children cumulated CPU time (s) 1051.49
Current children cumulated vsize (KiB) 184632

[startup+1062.3 s]
/proc/loadavg: 2.04 2.11 2.09 3/181 18030
/proc/meminfo: memFree=28440028/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=861.46 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 40856 321577 0 2 4511 727 80387 521 20 0 1 0 339352343 139788288 6387 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6387 1180 1 0 5185 0
[pid=18017] ppid=17808 vsize=48120 CPUtime=252.8 cores=0,2,4,6
/proc/18017/stat : 18017 (clasp-1.3.3-x86) R 17808 18017 18017 0 -1 4202496 12221 0 0 0 25278 2 0 0 20 0 1 0 339433287 49274880 11782 33554432000 134512640 136080129 4291537648 4291536720 134850005 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/18017/statm: 12030 11782 175 383 0 11645 0
Current children cumulated CPU time (s) 1114.26
Current children cumulated vsize (KiB) 184632

[startup+1122.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/181 18036
/proc/meminfo: memFree=28442164/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=1164.57 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 42079 337242 0 2 4761 769 110403 524 20 0 1 0 339352343 139788288 6387 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6387 1180 1 0 5185 0
[pid=18036] ppid=17808 vsize=28080 CPUtime=12.58 cores=0,2,4,6
/proc/18036/stat : 18036 (bsolo_pb10) R 17808 18036 18036 0 -1 4202496 5366 0 0 0 1247 11 0 0 20 0 1 0 339463314 28753920 4532 33554432000 134512640 137138936 4288690352 4288689280 134542495 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/18036/statm: 7020 4532 192 642 0 6376 0
Current children cumulated CPU time (s) 1177.15
Current children cumulated vsize (KiB) 164592

[startup+1182.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/199 18057
/proc/meminfo: memFree=28304964/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=1167.37 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 42110 337242 0 2 5002 808 110403 524 20 0 1 0 339352343 139788288 6387 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6387 1180 1 0 5185 0
[pid=18036] ppid=17808 vsize=126724 CPUtime=72.53 cores=0,2,4,6
/proc/18036/stat : 18036 (bsolo_pb10) R 17808 18036 18036 0 -1 4202496 30065 0 0 0 7221 32 0 0 20 0 1 0 339463314 129765376 29200 33554432000 134512640 137138936 4288690352 4288688848 134618214 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/18036/statm: 31681 29200 192 642 0 31037 0
Current children cumulated CPU time (s) 1239.9
Current children cumulated vsize (KiB) 263236

[startup+1242.3 s]
/proc/loadavg: 2.07 2.09 2.08 3/199 18064
/proc/meminfo: memFree=28368040/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=1280.83 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 44595 377508 0 2 5248 849 121424 562 20 0 1 0 339352343 139788288 6387 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6387 1180 1 0 5185 0
[pid=18063] ppid=17808 vsize=10496 CPUtime=21.89 cores=0,2,4,6
/proc/18063/stat : 18063 (clasp-1.3.3-x86) R 17808 18063 18063 0 -1 4202496 2797 0 0 0 2189 0 0 0 20 0 1 0 339474383 10747904 2369 33554432000 134512640 136080129 4294825824 4294824896 134849989 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/18063/statm: 2624 2369 175 383 0 2239 0
Current children cumulated CPU time (s) 1302.72
Current children cumulated vsize (KiB) 147008

[startup+1302.3 s]
/proc/loadavg: 2.18 2.12 2.09 3/181 18067
/proc/meminfo: memFree=28370816/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=1283.56 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 44620 377508 0 2 5483 887 121424 562 20 0 1 0 339352343 139788288 6387 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6387 1180 1 0 5185 0
[pid=18063] ppid=17808 vsize=31384 CPUtime=81.89 cores=0,2,4,6
/proc/18063/stat : 18063 (clasp-1.3.3-x86) R 17808 18063 18063 0 -1 4202496 8021 0 0 0 8188 1 0 0 20 0 1 0 339474383 32137216 7593 33554432000 134512640 136080129 4294825824 4294824896 134850002 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/18063/statm: 7846 7593 175 383 0 7461 0
Current children cumulated CPU time (s) 1365.45
Current children cumulated vsize (KiB) 167896

[startup+1362.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/181 18079
/proc/meminfo: memFree=28555724/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=1406.74 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 48343 393358 0 2 5734 927 133446 567 20 0 1 0 339352343 139788288 6388 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6388 1180 1 0 5185 0
[pid=18076] ppid=17808 vsize=10616 CPUtime=21.57 cores=0,2,4,6
/proc/18076/stat : 18076 (clasp-1.3.3-x86) R 17808 18076 18076 0 -1 4202496 2810 0 0 0 2157 0 0 0 20 0 1 0 339486415 10870784 2379 33554432000 134512640 136080129 4293826208 4293825280 134849493 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/18076/statm: 2654 2379 175 383 0 2269 0
Current children cumulated CPU time (s) 1428.31
Current children cumulated vsize (KiB) 147128

[startup+1422.31 s]
/proc/loadavg: 2.28 2.16 2.10 3/181 18094
/proc/meminfo: memFree=28565220/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=1470.09 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 50839 401432 0 2 5983 966 139490 570 20 0 1 0 339352343 139788288 6388 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6388 1180 1 0 5185 0
[pid=18088] ppid=17808 vsize=10588 CPUtime=21.07 cores=0,2,4,6
/proc/18088/stat : 18088 (clasp-1.3.3-x86) R 17808 18088 18088 0 -1 4202496 2815 0 0 0 2107 0 0 0 20 0 1 0 339492466 10842112 2386 33554432000 134512640 136080129 4289120768 4289119844 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/18088/statm: 2647 2386 175 383 0 2262 0
Current children cumulated CPU time (s) 1491.16
Current children cumulated vsize (KiB) 147100

[startup+1482.3 s]
/proc/loadavg: 2.10 2.13 2.09 3/181 18112
/proc/meminfo: memFree=28556520/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=1472.86 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 50869 401432 0 2 6222 1004 139490 570 20 0 1 0 339352343 139788288 6388 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6388 1180 1 0 5185 0
[pid=18088] ppid=17808 vsize=27376 CPUtime=81.04 cores=0,2,4,6
/proc/18088/stat : 18088 (clasp-1.3.3-x86) R 17808 18088 18088 0 -1 4202496 7000 0 0 0 8103 1 0 0 20 0 1 0 339492466 28033024 6566 33554432000 134512640 136080129 4289120768 4289119840 134849678 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/18088/statm: 6844 6566 175 383 0 6459 0
Current children cumulated CPU time (s) 1553.9
Current children cumulated vsize (KiB) 163888

[startup+1542.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/182 18149
/proc/meminfo: memFree=28572520/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=1596.12 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 54585 416351 0 2 6478 1041 151518 575 20 0 1 0 339352343 139788288 6389 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6389 1180 1 0 5185 0
[pid=18142] ppid=17808 vsize=10448 CPUtime=20.65 cores=0,2,4,6
/proc/18142/stat : 18142 (clasp-1.3.3-x86) R 17808 18142 18142 0 -1 4202496 2792 0 0 0 2065 0 0 0 20 0 1 0 339504506 10698752 2361 33554432000 134512640 136080129 4288090096 4288089136 134856987 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/18142/statm: 2612 2361 175 383 0 2227 0
Current children cumulated CPU time (s) 1616.77
Current children cumulated vsize (KiB) 146960

[startup+1602.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/181 18164
/proc/meminfo: memFree=28566452/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=1598.91 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 54611 416351 0 2 6717 1081 151518 575 20 0 1 0 339352343 139788288 6389 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6389 1180 1 0 5185 0
[pid=18142] ppid=17808 vsize=15376 CPUtime=80.64 cores=0,2,4,6
/proc/18142/stat : 18142 (clasp-1.3.3-x86) R 17808 18142 18142 0 -1 4202496 4001 0 0 0 8064 0 0 0 20 0 1 0 339504506 15745024 3568 33554432000 134512640 136080129 4288090096 4288089168 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/18142/statm: 3844 3568 175 383 0 3459 0
Current children cumulated CPU time (s) 1679.55
Current children cumulated vsize (KiB) 151888

[startup+1662.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/181 18173
/proc/meminfo: memFree=28567132/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=1722.22 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 58337 428944 0 2 6971 1121 163550 580 20 0 1 0 339352343 139788288 6391 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6391 1180 1 0 5185 0
[pid=18173] ppid=17808 vsize=10580 CPUtime=20.23 cores=0,2,4,6
/proc/18173/stat : 18173 (clasp-1.3.3-x86) R 17808 18173 18173 0 -1 4202496 2824 0 0 0 2023 0 0 0 20 0 1 0 339516548 10833920 2393 33554432000 134512640 136080129 4287719920 4287718848 134842470 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/18173/statm: 2645 2393 175 383 0 2260 0
Current children cumulated CPU time (s) 1742.45
Current children cumulated vsize (KiB) 147092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1717.4 s]
/proc/loadavg: 2.05 2.09 2.08 4/181 18173
/proc/meminfo: memFree=28559496/32873844 swapFree=7380/7380
[pid=17808] ppid=17806 vsize=136512 CPUtime=1724.76 cores=0,2,4,6
/proc/17808/stat : 17808 (python) S 17806 17808 11290 0 -1 4202496 58360 428944 0 2 7191 1155 163550 580 20 0 1 0 339352343 139788288 6391 33554432000 4194304 4196484 140735635233984 140735635225744 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/17808/statm: 34128 6391 1180 1 0 5185 0
[pid=18173] ppid=17808 vsize=15336 CPUtime=75.33 cores=0,2,4,6
/proc/18173/stat : 18173 (clasp-1.3.3-x86) R 17808 18173 18173 0 -1 4202496 4011 0 0 0 7532 1 0 0 20 0 1 0 339516548 15704064 3577 33554432000 134512640 136080129 4287719920 4287718912 134588789 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/18173/statm: 3834 3577 175 383 0 3449 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 151848

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17808 and gives
#  childrusage.ru_utime.tv_sec=1707
#  childrusage.ru_utime.tv_usec=423432
#  childrusage.ru_stime.tv_sec=17
#  childrusage.ru_stime.tv_usec=356361
# CPU time returned by wait4() is 1724.78
# 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): 1717.41
CPU time (s): 1800.09
CPU user time (s): 1782.73
CPU system time (s): 17.36
CPU usage (%): 104.814
Max. virtual memory (cumulated for all children) (KiB): 2851652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1707.42
system time used= 17.3564
maximum resident set size= 229228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487304
page faults= 2
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11205
involuntary context switches= 2755

runsolver used 3.60145 second user time and 9.35358 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 16:04:35
IDJOB=3742378
IDBENCH=90170
IDSOLVER=2323
FILE ID=node133/3742378-1338732275
RUNJOBID= node133-1338713154-11306
PBS_JOBID= 14636724
Free space on /tmp= 70460 MiB

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

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

MD5SUM BENCH= 57b7e746b37944d021e8febe16059957
RANDOM SEED=1017745486

node133.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.540
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.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
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.92
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.540
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.540
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.540
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.540
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.540
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.540
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:        28578608 kB
Buffers:          472812 kB
Cached:          2853664 kB
SwapCached:          676 kB
Active:          1583656 kB
Inactive:        1808940 kB
Active(anon):      57784 kB
Inactive(anon):    10220 kB
Active(file):    1525872 kB
Inactive(file):  1798720 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             21568 kB
Writeback:             0 kB
AnonPages:         72500 kB
Mapped:            14564 kB
Shmem:                 0 kB
Slab:             761096 kB
SReclaimable:     202572 kB
SUnreclaim:       558524 kB
KernelStack:        1472 kB
PageTables:         4360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     181708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 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= 70440 MiB
End job on node133 at 2012-06-03 16:33:15