Trace number 3742235

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.07 1721.01

General information on the benchmark

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.07 2.08 3/195 31190
/proc/meminfo: memFree=28694236/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/31190/stat : 31190 (python) D 31188 31190 22930 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 339168185 15642624 527 33554432000 4194304 5683644 140734108673440 140734108659352 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/31190/statm: 3819 527 312 364 0 261 0

[startup+0.084709 s]
/proc/loadavg: 2.04 2.07 2.08 3/195 31190
/proc/meminfo: memFree=28694236/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=17288 CPUtime=0.02 cores=1,3,5,7
/proc/31190/stat : 31190 (python) D 31188 31190 22930 0 -1 4202496 2027 0 0 0 1 1 0 0 20 0 1 0 339168185 17702912 557 33554432000 4194304 4196484 140736683929648 140736683898264 233220947637 0 0 16781312 2 18446744072100609316 0 0 17 7 0 0 0 0 0
/proc/31190/statm: 4322 557 330 1 0 257 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17288

[startup+0.100273 s]
/proc/loadavg: 2.04 2.07 2.08 3/195 31190
/proc/meminfo: memFree=28694236/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=17616 CPUtime=0.02 cores=1,3,5,7
/proc/31190/stat : 31190 (python) R 31188 31190 22930 0 -1 4202496 2212 0 0 0 1 1 0 0 20 0 1 0 339168185 18038784 719 33554432000 4194304 4196484 140736683929648 140736683855592 233220948880 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0
/proc/31190/statm: 4404 719 354 1 0 339 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17616

[startup+0.300269 s]
/proc/loadavg: 2.04 2.07 2.08 3/195 31190
/proc/meminfo: memFree=28694236/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=54508 CPUtime=0.07 cores=1,3,5,7
/proc/31190/stat : 31190 (python) D 31188 31190 22930 0 -1 4202496 3956 0 0 0 4 3 0 0 20 0 1 0 339168185 55816192 2142 33554432000 4194304 4196484 140736683929648 140736683771240 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 13627 2142 600 1 0 1482 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 54508

[startup+0.700265 s]
/proc/loadavg: 2.04 2.07 2.08 3/195 31190
/proc/meminfo: memFree=28694236/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=101284 CPUtime=0.26 cores=1,3,5,7
/proc/31190/stat : 31190 (python) R 31188 31190 22930 0 -1 4202496 6300 0 0 0 15 11 0 0 20 0 1 0 339168185 103714816 4133 33554432000 4194304 4196484 140736683929648 140736683872920 233220616909 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 25321 4133 1047 1 0 3123 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 101284

[startup+1.50026 s]
/proc/loadavg: 2.04 2.07 2.08 3/196 31195
/proc/meminfo: memFree=28675132/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=118116 CPUtime=0.45 cores=1,3,5,7
/proc/31190/stat : 31190 (python) D 31188 31190 22930 0 -1 4202496 9594 1012 0 0 28 17 0 0 20 0 1 0 339168185 120950784 5830 33554432000 4194304 4196484 140736683929648 140736683863256 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 29529 5830 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 118116

[startup+3.10025 s]
/proc/loadavg: 2.04 2.07 2.08 3/197 31196
/proc/meminfo: memFree=28664892/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=134480 CPUtime=0.64 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 11217 1012 0 0 42 22 0 0 20 0 1 0 339168185 137707520 6346 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 33620 6346 1170 1 0 5192 0
[pid=31196] ppid=31190 vsize=8676 CPUtime=1.28 cores=1,3,5,7
/proc/31196/stat : 31196 (clasp-1.3.3-x86) R 31190 31196 31196 0 -1 4202496 2376 0 0 0 128 0 0 0 20 0 1 0 339168366 8884224 1913 33554432000 134512640 136080129 4289647456 4289646324 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/31196/statm: 2169 1913 175 383 0 1784 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 143156
heavy processes:

[startup+6.30029 s]
/proc/loadavg: 2.04 2.07 2.08 3/197 31196
/proc/meminfo: memFree=28658564/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=134480 CPUtime=0.78 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 11228 1012 0 0 54 24 0 0 20 0 1 0 339168185 137707520 6346 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 33620 6346 1170 1 0 5192 0
[pid=31196] ppid=31190 vsize=9336 CPUtime=4.48 cores=1,3,5,7
/proc/31196/stat : 31196 (clasp-1.3.3-x86) R 31190 31196 31196 0 -1 4202496 2537 0 0 0 448 0 0 0 20 0 1 0 339168366 9560064 2074 33554432000 134512640 136080129 4289647456 4289646528 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/31196/statm: 2334 2074 175 383 0 1949 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 143816

[startup+12.7003 s]
/proc/loadavg: 2.03 2.07 2.08 3/197 31196
/proc/meminfo: memFree=28646728/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=11.64 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 12480 4799 0 0 82 29 1052 1 20 0 1 0 339168185 139816960 6368 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6368 1180 1 0 5192 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (KiB) 136540

[startup+25.5003 s]
/proc/loadavg: 2.02 2.06 2.08 3/179 31203
/proc/meminfo: memFree=28768248/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=12.22 cores=1,3,5,7
/proc/31190/stat : 31190 (python) R 31188 31190 22930 0 -1 4202496 12511 4799 0 0 130 39 1052 1 20 0 1 0 339168185 139816960 6368 33554432000 4194304 4196484 140736683929648 140736683921408 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6368 1180 1 0 5192 0
[pid=31199] ppid=31190 vsize=10812 CPUtime=13.13 cores=1,3,5,7
/proc/31199/stat : 31199 (clasp-1.3.3-x86) R 31190 31199 31199 0 -1 4202496 2895 0 0 0 1313 0 0 0 20 0 1 0 339169421 11071488 2432 33554432000 134512640 136080129 4291677584 4291676656 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/31199/statm: 2703 2432 175 383 0 2318 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 147352

[startup+51.1003 s]
/proc/loadavg: 2.02 2.06 2.07 3/179 31212
/proc/meminfo: memFree=28764648/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=13.35 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 12545 4799 0 0 226 56 1052 1 20 0 1 0 339168185 139816960 6368 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6368 1180 1 0 5192 0
[pid=31199] ppid=31190 vsize=16236 CPUtime=38.73 cores=1,3,5,7
/proc/31199/stat : 31199 (clasp-1.3.3-x86) R 31190 31199 31199 0 -1 4202496 4250 0 0 0 3872 1 0 0 20 0 1 0 339169421 16625664 3788 33554432000 134512640 136080129 4291677584 4291676608 134842048 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/31199/statm: 4059 3788 175 383 0 3674 0
Current children cumulated CPU time (s) 52.08
Current children cumulated vsize (KiB) 152776

[startup+102.307 s]
/proc/loadavg: 2.00 2.05 2.07 3/179 31221
/proc/meminfo: memFree=28705100/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=66.27 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 13731 10311 0 0 444 95 6084 4 20 0 1 0 339168185 139816960 6372 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6372 1180 1 0 5192 0
[pid=31218] ppid=31190 vsize=68576 CPUtime=39.55 cores=1,3,5,7
/proc/31218/stat : 31218 (wbo1.4a) R 31190 31218 31218 0 -1 4202496 17277 0 0 0 3800 155 0 0 20 0 1 0 339174458 70221824 16571 33554432000 134512640 135751879 4286884304 4286882556 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/31218/statm: 17144 16571 139 303 0 16839 0
Current children cumulated CPU time (s) 105.82
Current children cumulated vsize (KiB) 205116

[startup+162.3 s]
/proc/loadavg: 2.13 2.07 2.07 3/179 31224
/proc/meminfo: memFree=28751676/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=121.04 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 14980 35093 0 0 675 132 11125 172 20 0 1 0 339168185 139816960 6372 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6372 1180 1 0 5192 0
[pid=31224] ppid=31190 vsize=12932 CPUtime=47.43 cores=1,3,5,7
/proc/31224/stat : 31224 (clasp-1.3.3-x86) R 31190 31224 31224 0 -1 4202496 3430 0 0 0 4743 0 0 0 20 0 1 0 339179670 13242368 2964 33554432000 134512640 136080129 4291070816 4291069776 134808296 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/31224/statm: 3233 2964 175 383 0 2848 0
Current children cumulated CPU time (s) 168.47
Current children cumulated vsize (KiB) 149472

[startup+222.3 s]
/proc/loadavg: 2.04 2.05 2.07 3/179 31227
/proc/meminfo: memFree=28738332/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136544 CPUtime=224 cores=1,3,5,7
/proc/31190/stat : 31190 (python) R 31188 31190 22930 0 -1 4202496 16241 41074 0 0 920 175 21131 174 20 0 1 0 339168185 139821056 6376 33554432000 4194304 4196484 140736683929648 140736683921408 233220949376 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6376 1180 1 0 5192 0
[pid=31227] ppid=31190 vsize=21572 CPUtime=7.32 cores=1,3,5,7
/proc/31227/stat : 31227 (wbo1.4a) R 31190 31227 31227 0 -1 4202496 5547 0 0 0 693 39 0 0 20 0 1 0 339189682 22089728 4838 33554432000 134512640 135751879 4292868704 4292866956 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/31227/statm: 5393 4838 139 303 0 5088 0
Current children cumulated CPU time (s) 231.32
Current children cumulated vsize (KiB) 158116

[startup+282.3 s]
/proc/loadavg: 2.16 2.07 2.07 3/179 31227
/proc/meminfo: memFree=28632044/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=226.69 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 16278 41074 0 0 1149 215 21131 174 20 0 1 0 339168185 139816960 6376 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6376 1180 1 0 5192 0
[pid=31227] ppid=31190 vsize=124744 CPUtime=67.31 cores=1,3,5,7
/proc/31227/stat : 31227 (wbo1.4a) R 31190 31227 31227 0 -1 4202496 31323 0 0 0 6565 166 0 0 20 0 1 0 339189682 127737856 30607 33554432000 134512640 135751879 4292868704 4292866956 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/31227/statm: 31186 30607 139 303 0 30881 0
Current children cumulated CPU time (s) 294
Current children cumulated vsize (KiB) 261284

[startup+342.3 s]
/proc/loadavg: 2.11 2.07 2.07 4/179 31231
/proc/meminfo: memFree=28629668/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=332.18 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 17506 86536 0 0 1388 252 31143 435 20 0 1 0 339168185 139816960 6377 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6377 1180 1 0 5192 0
[pid=31230] ppid=31190 vsize=124352 CPUtime=24.53 cores=1,3,5,7
/proc/31230/stat : 31230 (wbo1.4b) R 31190 31230 31230 0 -1 4202496 31220 0 0 0 2448 5 0 0 20 0 1 0 339199959 127336448 30504 33554432000 134512640 135751879 4293253056 4293251216 134524613 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/31230/statm: 31088 30504 142 303 0 30783 0
Current children cumulated CPU time (s) 356.71
Current children cumulated vsize (KiB) 260892

[startup+402.301 s]
/proc/loadavg: 2.24 2.11 2.08 3/198 31258
/proc/meminfo: memFree=28527384/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=385.36 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 18744 129923 0 0 1622 291 36178 445 20 0 1 0 339168185 139816960 6378 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6378 1180 1 0 5192 0
[pid=31237] ppid=31190 vsize=2715136 CPUtime=34.91 cores=1,3,5,7
/proc/31237/stat : 31237 (java) S 31190 31237 31237 0 -1 4202496 11971 0 1 0 3485 6 0 0 20 0 19 0 339205008 2780299264 46966 33554432000 1073741824 1073778376 140737377187408 140737377178544 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31237/statm: 678784 46966 2257 9 0 669477 0

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

/proc/31190/statm: 34135 6385 1180 1 0 5192 0
[pid=31361] ppid=31190 vsize=21036 CPUtime=248.61 cores=1,3,5,7
/proc/31361/stat : 31361 (clasp-1.3.3-x86) R 31190 31361 31361 0 -1 4202496 5462 0 0 0 24853 8 0 0 20 0 1 0 339249549 21540864 4993 33554432000 134512640 136080129 4290512976 4290511844 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/31361/statm: 5259 4993 175 383 0 4874 0
Current children cumulated CPU time (s) 1111.48
Current children cumulated vsize (KiB) 157576

[startup+1122.3 s]
/proc/loadavg: 2.15 2.09 2.08 3/179 31430
/proc/meminfo: memFree=28757708/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=1166.17 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 42220 315255 0 2 4506 760 110692 659 20 0 1 0 339168185 139816960 6386 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6386 1180 1 0 5192 0
[pid=31430] ppid=31190 vsize=20032 CPUtime=7.99 cores=1,3,5,7
/proc/31430/stat : 31430 (bsolo_pb10) R 31190 31430 31430 0 -1 4202496 3216 0 0 0 798 1 0 0 20 0 1 0 339279615 20512768 2461 33554432000 134512640 137138936 4293376160 4293089260 136570369 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/31430/statm: 5008 2461 184 642 0 4364 0
Current children cumulated CPU time (s) 1174.16
Current children cumulated vsize (KiB) 156572

[startup+1182.3 s]
/proc/loadavg: 2.10 2.09 2.08 3/179 31430
/proc/meminfo: memFree=28673188/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=1168.94 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 42248 315255 0 2 4745 798 110692 659 20 0 1 0 339168185 139816960 6387 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6387 1180 1 0 5192 0
[pid=31430] ppid=31190 vsize=92736 CPUtime=67.96 cores=1,3,5,7
/proc/31430/stat : 31430 (bsolo_pb10) R 31190 31430 31430 0 -1 4202496 21687 0 0 0 6746 50 0 0 20 0 1 0 339279615 94961664 21150 33554432000 134512640 137138936 4293376160 4293375276 136570369 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/31430/statm: 23184 21150 192 642 0 22540 0
Current children cumulated CPU time (s) 1236.9
Current children cumulated vsize (KiB) 229276

[startup+1242.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/179 31440
/proc/meminfo: memFree=28710604/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=1283.18 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 44714 348051 0 2 4982 838 121778 720 20 0 1 0 339168185 139816960 6388 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6388 1180 1 0 5192 0
[pid=31439] ppid=31190 vsize=11068 CPUtime=16.45 cores=1,3,5,7
/proc/31439/stat : 31439 (clasp-1.3.3-x86) R 31190 31439 31439 0 -1 4202496 2962 0 0 0 1645 0 0 0 20 0 1 0 339290768 11333632 2497 33554432000 134512640 136080129 4286748064 4286747136 134849100 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/31439/statm: 2767 2497 175 383 0 2382 0
Current children cumulated CPU time (s) 1299.63
Current children cumulated vsize (KiB) 147608

[startup+1302.3 s]
/proc/loadavg: 2.05 2.07 2.08 3/179 31443
/proc/meminfo: memFree=28696936/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=1285.82 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 44740 348051 0 2 5212 872 121778 720 20 0 1 0 339168185 139816960 6388 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6388 1180 1 0 5192 0
[pid=31439] ppid=31190 vsize=14124 CPUtime=76.45 cores=1,3,5,7
/proc/31439/stat : 31439 (clasp-1.3.3-x86) R 31190 31439 31439 0 -1 4202496 3738 0 0 0 7644 1 0 0 20 0 1 0 339290768 14462976 3275 33554432000 134512640 136080129 4286748064 4286746928 134716422 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/31439/statm: 3531 3275 175 383 0 3146 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 150664

[startup+1362.3 s]
/proc/loadavg: 2.20 2.10 2.09 3/197 31473
/proc/meminfo: memFree=28648716/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=1408.78 cores=1,3,5,7
/proc/31190/stat : 31190 (python) R 31188 31190 22930 0 -1 4202496 48438 360500 0 2 5455 912 133787 724 20 0 1 0 339168185 139816960 6388 33554432000 4194304 4196484 140736683929648 140736683921408 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6388 1180 1 0 5192 0
[pid=31452] ppid=31190 vsize=10920 CPUtime=16.26 cores=1,3,5,7
/proc/31452/stat : 31452 (clasp-1.3.3-x86) R 31190 31452 31452 0 -1 4202496 2943 0 0 0 1626 0 0 0 20 0 1 0 339302787 11182080 2471 33554432000 134512640 136080129 4289151376 4289150444 134842240 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/31452/statm: 2730 2471 175 383 0 2345 0
Current children cumulated CPU time (s) 1425.04
Current children cumulated vsize (KiB) 147460

[startup+1422.31 s]
/proc/loadavg: 2.11 2.09 2.08 3/197 31479
/proc/meminfo: memFree=28587528/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=1471.97 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 50927 368636 0 2 5692 956 139822 727 20 0 1 0 339168185 139816960 6389 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6389 1180 1 0 5192 0
[pid=31479] ppid=31190 vsize=10656 CPUtime=15.87 cores=1,3,5,7
/proc/31479/stat : 31479 (clasp-1.3.3-x86) R 31190 31479 31479 0 -1 4202496 2860 0 0 0 1587 0 0 0 20 0 1 0 339308828 10911744 2393 33554432000 134512640 136080129 4286789792 4286788864 134849103 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/31479/statm: 2664 2393 175 383 0 2279 0
Current children cumulated CPU time (s) 1487.84
Current children cumulated vsize (KiB) 147196

[startup+1482.3 s]
/proc/loadavg: 2.18 2.11 2.09 3/179 31482
/proc/meminfo: memFree=28602832/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=1474.61 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 50958 368636 0 2 5918 994 139822 727 20 0 1 0 339168185 139816960 6389 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6389 1180 1 0 5192 0
[pid=31479] ppid=31190 vsize=14352 CPUtime=75.85 cores=1,3,5,7
/proc/31479/stat : 31479 (clasp-1.3.3-x86) R 31190 31479 31479 0 -1 4202496 3774 0 0 0 7584 1 0 0 20 0 1 0 339308828 14696448 3305 33554432000 134512640 136080129 4286789792 4286788864 134849959 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/31479/statm: 3588 3305 175 383 0 3203 0
Current children cumulated CPU time (s) 1550.46
Current children cumulated vsize (KiB) 150892

[startup+1542.3 s]
/proc/loadavg: 2.17 2.11 2.09 3/178 31491
/proc/meminfo: memFree=28606780/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=1597.58 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 54679 380928 0 2 6162 1032 151833 731 20 0 1 0 339168185 139816960 6389 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6389 1180 1 0 5192 0
[pid=31491] ppid=31190 vsize=11236 CPUtime=15.65 cores=1,3,5,7
/proc/31491/stat : 31491 (clasp-1.3.3-x86) R 31190 31491 31491 0 -1 4202496 3011 0 0 0 1565 0 0 0 20 0 1 0 339320849 11505664 2544 33554432000 134512640 136080129 4291318160 4291317088 134842258 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/31491/statm: 2809 2544 175 383 0 2424 0
Current children cumulated CPU time (s) 1613.23
Current children cumulated vsize (KiB) 147776

[startup+1602.3 s]
/proc/loadavg: 2.15 2.11 2.09 3/180 31501
/proc/meminfo: memFree=28760360/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=1600.24 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 54709 380928 0 2 6391 1069 151833 731 20 0 1 0 339168185 139816960 6389 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6389 1180 1 0 5192 0
[pid=31491] ppid=31190 vsize=14312 CPUtime=75.64 cores=1,3,5,7
/proc/31491/stat : 31491 (clasp-1.3.3-x86) R 31190 31491 31491 0 -1 4202496 3781 0 0 0 7564 0 0 0 20 0 1 0 339320849 14655488 3315 33554432000 134512640 136080129 4291318160 4291317152 134588783 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/31491/statm: 3578 3315 175 383 0 3193 0
Current children cumulated CPU time (s) 1675.88
Current children cumulated vsize (KiB) 150852

[startup+1662.3 s]
/proc/loadavg: 2.02 2.07 2.08 3/180 31551
/proc/meminfo: memFree=28764268/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=1723.75 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 58434 393440 0 2 6635 1109 163896 735 20 0 1 0 339168185 139816960 6391 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6391 1180 1 0 5192 0
[pid=31548] ppid=31190 vsize=11100 CPUtime=14.93 cores=1,3,5,7
/proc/31548/stat : 31548 (clasp-1.3.3-x86) R 31190 31548 31548 0 -1 4202496 2985 0 0 0 1493 0 0 0 20 0 1 0 339332921 11366400 2518 33554432000 134512640 136080129 4289248144 4289247304 134856211 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/31548/statm: 2775 2518 175 383 0 2390 0
Current children cumulated CPU time (s) 1738.68
Current children cumulated vsize (KiB) 147640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1721 s]
/proc/loadavg: 2.05 2.07 2.08 3/197 31578
/proc/meminfo: memFree=28626872/32873844 swapFree=7120/7120
[pid=31190] ppid=31188 vsize=136540 CPUtime=1726.35 cores=1,3,5,7
/proc/31190/stat : 31190 (python) S 31188 31190 22930 0 -1 4202496 58459 393440 0 2 6859 1145 163896 735 20 0 1 0 339168185 139816960 6391 33554432000 4194304 4196484 140736683929648 140736683921408 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/31190/statm: 34135 6391 1180 1 0 5192 0
[pid=31548] ppid=31190 vsize=14268 CPUtime=73.62 cores=1,3,5,7
/proc/31548/stat : 31548 (clasp-1.3.3-x86) R 31190 31548 31548 0 -1 4202496 3774 0 0 0 7362 0 0 0 20 0 1 0 339332921 14610432 3306 33554432000 134512640 136080129 4289248144 4289247216 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/31548/statm: 3567 3306 175 383 0 3182 0
Current children cumulated CPU time (s) 1799.97
Current children cumulated vsize (KiB) 150808

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 31190 and gives
#  childrusage.ru_utime.tv_sec=1707
#  childrusage.ru_utime.tv_usec=561411
#  childrusage.ru_stime.tv_sec=18
#  childrusage.ru_stime.tv_usec=808140
# CPU time returned by wait4() is 1726.37
# while last known CPU time is 1799.97
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 1721.01
CPU time (s): 1800.07
CPU user time (s): 1781.33
CPU system time (s): 18.74
CPU usage (%): 104.594
Max. virtual memory (cumulated for all children) (KiB): 2851680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1707.56
system time used= 18.8081
maximum resident set size= 241912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 451900
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= 11188
involuntary context switches= 2570

runsolver used 3.80342 second user time and 9.97348 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 15:33:52
IDJOB=3742235
IDBENCH=90143
IDSOLVER=2323
FILE ID=node142/3742235-1338730432
RUNJOBID= node142-1338713724-22947
PBS_JOBID= 14636740
Free space on /tmp= 71168 MiB

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

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

MD5SUM BENCH= 4ffc81aa318dee614e51a62344fd339d
RANDOM SEED=1069523736

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28694764 kB
Buffers:          353204 kB
Cached:          2862496 kB
SwapCached:            0 kB
Active:          1419108 kB
Inactive:        1926632 kB
Active(anon):     121488 kB
Inactive(anon):    11220 kB
Active(file):    1297620 kB
Inactive(file):  1915412 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             22220 kB
Writeback:             0 kB
AnonPages:        149408 kB
Mapped:            21948 kB
Shmem:               200 kB
Slab:             682932 kB
SReclaimable:     124440 kB
SUnreclaim:       558492 kB
KernelStack:        1600 kB
PageTables:         4740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1538884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 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= 71148 MiB
End job on node142 at 2012-06-03 16:02:36