Trace number 3742443

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.04 1717.02

General information on the benchmark

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

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.20 2.13 2.10 3/177 31834
/proc/meminfo: memFree=28754332/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/31834/stat : 31834 (python) R 31832 31834 22930 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 339438209 15642624 527 33554432000 4194304 5683644 140735065049856 140735065035768 233220948880 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/31834/statm: 3819 527 312 364 0 261 0

[startup+0.022101 s]
/proc/loadavg: 2.20 2.13 2.10 3/177 31834
/proc/meminfo: memFree=28754332/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=15576 CPUtime=0 cores=0,2,4,6
/proc/31834/stat : 31834 (python) D 31832 31834 22930 0 -1 4202496 951 0 0 0 0 0 0 0 20 0 1 0 339438209 15949824 695 33554432000 4194304 5683644 140735065049856 140735064980856 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/31834/statm: 3894 695 334 364 0 336 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15576

[startup+0.100282 s]
/proc/loadavg: 2.20 2.13 2.10 3/177 31834
/proc/meminfo: memFree=28754332/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=17620 CPUtime=0.02 cores=0,2,4,6
/proc/31834/stat : 31834 (python) D 31832 31834 22930 0 -1 4202496 2211 0 0 0 2 0 0 0 20 0 1 0 339438209 18042880 720 33554432000 4194304 4196484 140734201176528 140734201106696 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/31834/statm: 4405 720 354 1 0 340 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17620

[startup+0.300249 s]
/proc/loadavg: 2.20 2.13 2.10 3/177 31834
/proc/meminfo: memFree=28754332/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=54516 CPUtime=0.08 cores=0,2,4,6
/proc/31834/stat : 31834 (python) D 31832 31834 22930 0 -1 4202496 3934 0 0 0 5 3 0 0 20 0 1 0 339438209 55824384 2130 33554432000 4194304 4196484 140734201176528 140734201032056 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/31834/statm: 13629 2130 600 1 0 1484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54516

[startup+0.700234 s]
/proc/loadavg: 2.20 2.13 2.10 3/177 31834
/proc/meminfo: memFree=28754332/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=99048 CPUtime=0.22 cores=0,2,4,6
/proc/31834/stat : 31834 (python) R 31832 31834 22930 0 -1 4202496 5755 0 0 0 13 9 0 0 20 0 1 0 339438209 101425152 3603 33554432000 4194304 4196484 140734201176528 140734201118712 233220948880 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/31834/statm: 24762 3603 1047 1 0 2564 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 99048

[startup+1.50027 s]
/proc/loadavg: 2.20 2.13 2.10 2/178 31839
/proc/meminfo: memFree=28735584/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=118124 CPUtime=0.42 cores=0,2,4,6
/proc/31834/stat : 31834 (python) D 31832 31834 22930 0 -1 4202496 9594 1010 0 0 26 16 0 0 20 0 1 0 339438209 120958976 5830 33554432000 4194304 4196484 140734201176528 140734201110136 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/31834/statm: 29531 5830 1083 1 0 4730 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 118124

[startup+3.10028 s]
/proc/loadavg: 2.18 2.13 2.09 3/179 31840
/proc/meminfo: memFree=28726160/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=134492 CPUtime=0.61 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 11243 1010 0 0 40 21 0 0 20 0 1 0 339438209 137719808 6349 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 33623 6349 1170 1 0 5195 0
[pid=31840] ppid=31834 vsize=7872 CPUtime=1.19 cores=0,2,4,6
/proc/31840/stat : 31840 (clasp-1.3.3-x86) R 31834 31840 31840 0 -1 4202496 2139 0 0 0 119 0 0 0 20 0 1 0 339438398 8060928 1696 33554432000 134512640 136080129 4286640192 4286639352 134856204 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31840/statm: 1968 1696 175 383 0 1583 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 142364
heavy processes:

[startup+6.30029 s]
/proc/loadavg: 2.18 2.13 2.09 3/179 31840
/proc/meminfo: memFree=28725540/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=134492 CPUtime=0.75 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 11254 1010 0 0 53 22 0 0 20 0 1 0 339438209 137719808 6349 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 33623 6349 1170 1 0 5195 0
[pid=31840] ppid=31834 vsize=8664 CPUtime=4.39 cores=0,2,4,6
/proc/31840/stat : 31840 (clasp-1.3.3-x86) R 31834 31840 31840 0 -1 4202496 2343 0 0 0 439 0 0 0 20 0 1 0 339438398 8871936 1900 33554432000 134512640 136080129 4286640192 4286639264 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31840/statm: 2166 1900 175 383 0 1781 0
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (KiB) 143156

[startup+12.7003 s]
/proc/loadavg: 2.23 2.14 2.10 3/179 31843
/proc/meminfo: memFree=28726920/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=11.11 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 12513 4657 0 0 82 27 1000 2 20 0 1 0 339438209 139829248 6369 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6369 1180 1 0 5195 0
[pid=31843] ppid=31834 vsize=7740 CPUtime=0.76 cores=0,2,4,6
/proc/31843/stat : 31843 (clasp-1.3.3-x86) R 31834 31843 31843 0 -1 4202496 2091 0 0 0 76 0 0 0 20 0 1 0 339439402 7925760 1657 33554432000 134512640 136080129 4292558672 4292557536 134716389 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31843/statm: 1935 1657 175 383 0 1550 0
Current children cumulated CPU time (s) 11.87
Current children cumulated vsize (KiB) 144292

[startup+25.5003 s]
/proc/loadavg: 2.19 2.13 2.10 3/179 31843
/proc/meminfo: memFree=28723944/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=11.69 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 12536 4657 0 0 134 33 1000 2 20 0 1 0 339438209 139829248 6369 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6369 1180 1 0 5195 0
[pid=31843] ppid=31834 vsize=10288 CPUtime=13.55 cores=0,2,4,6
/proc/31843/stat : 31843 (clasp-1.3.3-x86) R 31834 31843 31843 0 -1 4202496 2745 0 0 0 1355 0 0 0 20 0 1 0 339439402 10534912 2311 33554432000 134512640 136080129 4292558672 4292557536 134716386 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31843/statm: 2572 2311 175 383 0 2187 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 146840

[startup+51.1003 s]
/proc/loadavg: 2.13 2.12 2.09 3/179 31843
/proc/meminfo: memFree=28722084/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=12.89 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 12558 4657 0 0 239 48 1000 2 20 0 1 0 339438209 139829248 6369 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6369 1180 1 0 5195 0
[pid=31843] ppid=31834 vsize=12400 CPUtime=39.15 cores=0,2,4,6
/proc/31843/stat : 31843 (clasp-1.3.3-x86) R 31834 31843 31843 0 -1 4202496 3252 0 0 0 3915 0 0 0 20 0 1 0 339439402 12697600 2818 33554432000 134512640 136080129 4292558672 4292557804 134597792 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31843/statm: 3100 2818 175 383 0 2715 0
Current children cumulated CPU time (s) 52.04
Current children cumulated vsize (KiB) 148952

[startup+102.307 s]
/proc/loadavg: 2.08 2.11 2.09 3/180 31850
/proc/meminfo: memFree=28662680/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=66.05 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 13738 9010 0 0 477 83 6042 3 20 0 1 0 339438209 139829248 6374 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6374 1180 1 0 5195 0
[pid=31846] ppid=31834 vsize=71896 CPUtime=39.89 cores=0,2,4,6
/proc/31846/stat : 31846 (wbo1.4a) R 31834 31846 31846 0 -1 4202496 18017 0 0 0 3866 123 0 0 20 0 1 0 339444449 73621504 17345 33554432000 134512640 135751879 4290329072 4290326688 134605065 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/31846/statm: 17974 17345 139 303 0 17669 0
Current children cumulated CPU time (s) 105.94
Current children cumulated vsize (KiB) 208448

[startup+162.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/179 31856
/proc/meminfo: memFree=28705688/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=120.78 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 14984 33671 0 0 725 122 11084 147 20 0 1 0 339438209 139829248 6375 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6375 1180 1 0 5195 0
[pid=31853] ppid=31834 vsize=18628 CPUtime=48.02 cores=0,2,4,6
/proc/31853/stat : 31853 (clasp-1.3.3-x86) R 31834 31853 31853 0 -1 4202496 4821 0 0 0 4801 1 0 0 20 0 1 0 339449636 19075072 4383 33554432000 134512640 136080129 4293625456 4293624528 134849653 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/31853/statm: 4657 4383 175 383 0 4272 0
Current children cumulated CPU time (s) 168.8
Current children cumulated vsize (KiB) 155180

[startup+222.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/179 31859
/proc/meminfo: memFree=28619624/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=224.2 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 16208 39550 0 0 988 166 21117 149 20 0 1 0 339438209 139829248 6377 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6377 1180 1 0 5195 0
[pid=31859] ppid=31834 vsize=20208 CPUtime=7.63 cores=0,2,4,6
/proc/31859/stat : 31859 (wbo1.4a) R 31834 31859 31859 0 -1 4202496 5099 0 0 0 736 27 0 0 20 0 1 0 339459675 20692992 4426 33554432000 134512640 135751879 4287541424 4287539676 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 5052 4427 139 303 0 4747 0
Current children cumulated CPU time (s) 231.83
Current children cumulated vsize (KiB) 156760

[startup+282.3 s]
/proc/loadavg: 2.14 2.11 2.09 3/179 31865
/proc/meminfo: memFree=28638668/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=227.07 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 16232 39550 0 0 1238 203 21117 149 20 0 1 0 339438209 139829248 6377 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6377 1180 1 0 5195 0
[pid=31859] ppid=31834 vsize=127504 CPUtime=67.59 cores=0,2,4,6
/proc/31859/stat : 31859 (wbo1.4a) R 31834 31859 31859 0 -1 4202496 31958 0 0 0 6580 179 0 0 20 0 1 0 339459675 130564096 31297 33554432000 134512640 135751879 4287541424 4287539676 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/31859/statm: 31876 31297 139 303 0 31571 0
Current children cumulated CPU time (s) 294.66
Current children cumulated vsize (KiB) 264056

[startup+342.3 s]
/proc/loadavg: 2.23 2.13 2.10 3/179 31868
/proc/meminfo: memFree=28612272/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=332.66 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 17481 86933 0 0 1493 242 31118 413 20 0 1 0 339438209 139829248 6377 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6377 1180 1 0 5195 0
[pid=31868] ppid=31834 vsize=143148 CPUtime=24.9 cores=0,2,4,6
/proc/31868/stat : 31868 (wbo1.4b) R 31834 31868 31868 0 -1 4202496 35806 0 0 0 2483 7 0 0 20 0 1 0 339469947 146583552 35151 33554432000 134512640 135751879 4291175744 4291173904 134524613 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/31868/statm: 35787 35151 142 303 0 35482 0
Current children cumulated CPU time (s) 357.56
Current children cumulated vsize (KiB) 279700

[startup+402.301 s]
/proc/loadavg: 2.19 2.14 2.10 3/197 31899
/proc/meminfo: memFree=28592624/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=386.1 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 18728 141809 0 0 1741 280 36164 425 20 0 1 0 339438209 139829248 6379 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6379 1180 1 0 5195 0

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

/proc/31834/statm: 34138 6386 1180 1 0 5195 0
[pid=32046] ppid=31834 vsize=43132 CPUtime=252.48 cores=0,2,4,6
/proc/32046/stat : 32046 (clasp-1.3.3-x86) R 31834 32046 32046 0 -1 4202496 10974 0 0 0 25246 2 0 0 20 0 1 0 339519185 44167168 10520 33554432000 134512640 136080129 4289719136 4289718128 134588752 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/32046/statm: 10783 10520 175 383 0 10398 0
Current children cumulated CPU time (s) 1114.26
Current children cumulated vsize (KiB) 179684

[startup+1122.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/197 32083
/proc/meminfo: memFree=28629988/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=1165.06 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 42282 337711 0 2 4817 745 110343 601 20 0 1 0 339438209 139829248 6388 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6388 1180 1 0 5195 0
[pid=32062] ppid=31834 vsize=26616 CPUtime=12.11 cores=0,2,4,6
/proc/32062/stat : 32062 (bsolo_pb10) R 31834 32062 32062 0 -1 4202496 5072 0 0 0 1205 6 0 0 20 0 1 0 339549227 27254784 4143 33554432000 134512640 137138936 4287586096 4287584844 135984570 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/32062/statm: 6654 4143 192 642 0 6010 0
Current children cumulated CPU time (s) 1177.17
Current children cumulated vsize (KiB) 163168

[startup+1182.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/197 32083
/proc/meminfo: memFree=28495576/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=1167.9 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 42308 337711 0 2 5062 784 110343 601 20 0 1 0 339438209 139829248 6388 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6388 1180 1 0 5195 0
[pid=32062] ppid=31834 vsize=110720 CPUtime=72.1 cores=0,2,4,6
/proc/32062/stat : 32062 (bsolo_pb10) R 31834 32062 32062 0 -1 4202496 26103 0 0 0 7169 41 0 0 20 0 1 0 339549227 113377280 25174 33554432000 134512640 137138936 4287586096 4287585024 134542017 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/32062/statm: 27680 25174 192 642 0 27036 0
Current children cumulated CPU time (s) 1240
Current children cumulated vsize (KiB) 247272

[startup+1242.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/179 32092
/proc/meminfo: memFree=28639816/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=1281.55 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 44798 374535 0 2 5313 823 121367 652 20 0 1 0 339438209 139829248 6388 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6388 1180 1 0 5195 0
[pid=32092] ppid=31834 vsize=11180 CPUtime=21.32 cores=0,2,4,6
/proc/32092/stat : 32092 (clasp-1.3.3-x86) R 31834 32092 32092 0 -1 4202496 2971 0 0 0 2132 0 0 0 20 0 1 0 339560306 11448320 2531 33554432000 134512640 136080129 4288239248 4288238240 134588844 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/32092/statm: 2795 2531 175 383 0 2410 0
Current children cumulated CPU time (s) 1302.87
Current children cumulated vsize (KiB) 147732

[startup+1302.3 s]
/proc/loadavg: 2.06 2.09 2.09 3/180 32096
/proc/meminfo: memFree=28568520/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=1284.31 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 44823 374535 0 2 5553 859 121367 652 20 0 1 0 339438209 139829248 6388 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6388 1180 1 0 5195 0
[pid=32092] ppid=31834 vsize=14664 CPUtime=81.31 cores=0,2,4,6
/proc/32092/stat : 32092 (clasp-1.3.3-x86) R 31834 32092 32092 0 -1 4202496 3827 0 0 0 8131 0 0 0 20 0 1 0 339560306 15015936 3387 33554432000 134512640 136080129 4288239248 4288238240 134588658 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/32092/statm: 3666 3387 175 383 0 3281 0
Current children cumulated CPU time (s) 1365.62
Current children cumulated vsize (KiB) 151216

[startup+1362.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/179 32108
/proc/meminfo: memFree=28699672/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=1407.62 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 48557 386880 0 2 5806 901 133399 656 20 0 1 0 339438209 139829248 6390 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6390 1180 1 0 5195 0
[pid=32108] ppid=31834 vsize=11044 CPUtime=20.89 cores=0,2,4,6
/proc/32108/stat : 32108 (clasp-1.3.3-x86) R 31834 32108 32108 0 -1 4202496 2923 0 0 0 2089 0 0 0 20 0 1 0 339572348 11309056 2483 33554432000 134512640 136080129 4287452976 4287452104 134803132 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/32108/statm: 2761 2483 175 383 0 2376 0
Current children cumulated CPU time (s) 1428.51
Current children cumulated vsize (KiB) 147596

[startup+1422.31 s]
/proc/loadavg: 2.02 2.07 2.08 3/179 32132
/proc/meminfo: memFree=28759880/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=1470.99 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 51048 394879 0 2 6058 939 139444 658 20 0 1 0 339438209 139829248 6390 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6390 1180 1 0 5195 0
[pid=32126] ppid=31834 vsize=10908 CPUtime=20.4 cores=0,2,4,6
/proc/32126/stat : 32126 (clasp-1.3.3-x86) R 31834 32126 32126 0 -1 4202496 2898 0 0 0 2040 0 0 0 20 0 1 0 339578399 11169792 2458 33554432000 134512640 136080129 4292919376 4292918448 134849626 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/32126/statm: 2727 2458 175 383 0 2342 0
Current children cumulated CPU time (s) 1491.39
Current children cumulated vsize (KiB) 147460

[startup+1482.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/197 32162
/proc/meminfo: memFree=28617072/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=1473.81 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 51079 394879 0 2 6303 976 139444 658 20 0 1 0 339438209 139829248 6390 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6390 1180 1 0 5195 0
[pid=32126] ppid=31834 vsize=14228 CPUtime=80.38 cores=0,2,4,6
/proc/32126/stat : 32126 (clasp-1.3.3-x86) R 31834 32126 32126 0 -1 4202496 3720 0 0 0 8038 0 0 0 20 0 1 0 339578399 14569472 3282 33554432000 134512640 136080129 4292919376 4292918448 134850389 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/32126/statm: 3557 3282 175 383 0 3172 0
Current children cumulated CPU time (s) 1554.19
Current children cumulated vsize (KiB) 150780

[startup+1542.3 s]
/proc/loadavg: 2.08 2.06 2.07 3/179 32183
/proc/meminfo: memFree=28759688/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=1597.16 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 54823 407065 0 2 6561 1012 151481 662 20 0 1 0 339438209 139829248 6391 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6391 1180 1 0 5195 0
[pid=32177] ppid=31834 vsize=10932 CPUtime=19.92 cores=0,2,4,6
/proc/32177/stat : 32177 (clasp-1.3.3-x86) R 31834 32177 32177 0 -1 4202496 2913 0 0 0 1992 0 0 0 20 0 1 0 339590445 11194368 2474 33554432000 134512640 136080129 4290828800 4290827872 134849599 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/32177/statm: 2733 2474 175 383 0 2348 0
Current children cumulated CPU time (s) 1617.08
Current children cumulated vsize (KiB) 147484

[startup+1602.3 s]
/proc/loadavg: 2.15 2.08 2.08 3/179 32190
/proc/meminfo: memFree=28750072/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=1599.95 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 54852 407065 0 2 6801 1051 151481 662 20 0 1 0 339438209 139829248 6391 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6391 1180 1 0 5195 0
[pid=32177] ppid=31834 vsize=14924 CPUtime=79.92 cores=0,2,4,6
/proc/32177/stat : 32177 (clasp-1.3.3-x86) R 31834 32177 32177 0 -1 4202496 3906 0 0 0 7991 1 0 0 20 0 1 0 339590445 15282176 3466 33554432000 134512640 136080129 4290828800 4290827872 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/32177/statm: 3731 3466 175 383 0 3346 0
Current children cumulated CPU time (s) 1679.87
Current children cumulated vsize (KiB) 151476

[startup+1662.3 s]
/proc/loadavg: 2.09 2.08 2.08 3/179 32199
/proc/meminfo: memFree=28731100/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=1723.32 cores=0,2,4,6
/proc/31834/stat : 31834 (python) R 31832 31834 22930 0 -1 4202496 58617 419376 0 2 7058 1091 163516 667 20 0 1 0 339438209 139829248 6393 33554432000 4194304 4196484 140734201176528 140734201168288 139894559844650 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34139 6393 1180 1 0 5196 0
[pid=32199] ppid=31834 vsize=10776 CPUtime=19.46 cores=0,2,4,6
/proc/32199/stat : 32199 (clasp-1.3.3-x86) R 31834 32199 32199 0 -1 4202496 2872 0 0 0 1946 0 0 0 20 0 1 0 339602492 11034624 2428 33554432000 134512640 136080129 4292720720 4292719584 134716422 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/32199/statm: 2694 2428 175 383 0 2309 0
Current children cumulated CPU time (s) 1742.78
Current children cumulated vsize (KiB) 147328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1717 s]
/proc/loadavg: 2.08 2.08 2.08 3/179 32199
/proc/meminfo: memFree=28718364/32873844 swapFree=7120/7120
[pid=31834] ppid=31832 vsize=136552 CPUtime=1725.86 cores=0,2,4,6
/proc/31834/stat : 31834 (python) S 31832 31834 22930 0 -1 4202496 58641 419376 0 2 7276 1127 163516 667 20 0 1 0 339438209 139829248 6393 33554432000 4194304 4196484 140734201176528 140734201168288 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/31834/statm: 34138 6393 1180 1 0 5195 0
[pid=32199] ppid=31834 vsize=14472 CPUtime=74.16 cores=0,2,4,6
/proc/32199/stat : 32199 (clasp-1.3.3-x86) R 31834 32199 32199 0 -1 4202496 3813 0 0 0 7416 0 0 0 20 0 1 0 339602492 14819328 3366 33554432000 134512640 136080129 4292720720 4292719680 134808072 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/32199/statm: 3618 3366 175 383 0 3233 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 151024

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 31834 and gives
#  childrusage.ru_utime.tv_sec=1707
#  childrusage.ru_utime.tv_usec=937354
#  childrusage.ru_stime.tv_sec=17
#  childrusage.ru_stime.tv_usec=952270
# CPU time returned by wait4() is 1725.89
# while last known CPU time is 1800.02
#
# 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.019989
#  lost CPU user time (s): 0.0599976
#  lost CPU system time (s): -0.0400004

Real time (s): 1717.02
CPU time (s): 1800.04
CPU user time (s): 1782.14
CPU system time (s): 17.9
CPU usage (%): 104.835
Max. virtual memory (cumulated for all children) (KiB): 2851692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1707.94
system time used= 17.9523
maximum resident set size= 235752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 478018
page faults= 2
swaps= 0
block input operations= 0
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11166
involuntary context switches= 2912

runsolver used 3.39048 second user time and 9.54555 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 16:18:52
IDJOB=3742443
IDBENCH=90186
IDSOLVER=2323
FILE ID=node142/3742443-1338733132
RUNJOBID= node142-1338713724-22946
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_K180.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742443-1338733132/watcher-3742443-1338733132 -o /tmp/evaluation-result-3742443-1338733132/solver-3742443-1338733132 -C 1800 -W 1900 -M 15500  solver HOME/instance-3742443-1338733132.opb 1357375744 

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

MD5SUM BENCH= f1881d1e83243719865906bde58f94f2
RANDOM SEED=1357375744

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:        28754472 kB
Buffers:          356800 kB
Cached:          2863452 kB
SwapCached:            0 kB
Active:          1368172 kB
Inactive:        1927112 kB
Active(anon):      66508 kB
Inactive(anon):    11220 kB
Active(file):    1301664 kB
Inactive(file):  1915892 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             21760 kB
Writeback:             0 kB
AnonPages:         84528 kB
Mapped:            14544 kB
Shmem:               200 kB
Slab:             682912 kB
SReclaimable:     124448 kB
SUnreclaim:       558464 kB
KernelStack:        1456 kB
PageTables:         4216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     192320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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:47:32