Trace number 3742534

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.01 1719.22

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K125.opb
MD5SUMd572050902dbd97a5ce685e3ceb3e01a
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 variables14875
Total number of constraints15127
Number of constraints which are clauses15002
Number of constraints which are cardinality constraints (but not clauses)125
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint125
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 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.24 2.11 2.10 3/177 6059
/proc/meminfo: memFree=30490180/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/6059/stat : 6059 (python) D 6057 6059 31325 0 -1 4202496 759 0 0 0 0 0 0 0 20 0 1 0 339601432 15642624 527 33554432000 4194304 5683644 140733759583712 140733759569624 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/6059/statm: 3819 527 312 364 0 261 0

[startup+0.086475 s]
/proc/loadavg: 2.24 2.11 2.10 3/177 6059
/proc/meminfo: memFree=30490180/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=17424 CPUtime=0.02 cores=1,3,5,7
/proc/6059/stat : 6059 (python) D 6057 6059 31325 0 -1 4202496 2151 0 0 0 1 1 0 0 20 0 1 0 339601432 17842176 662 33554432000 4194304 4196484 140734623572880 140734623516984 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/6059/statm: 4356 662 354 1 0 291 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17424

[startup+0.100326 s]
/proc/loadavg: 2.24 2.11 2.10 3/177 6059
/proc/meminfo: memFree=30490180/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=17892 CPUtime=0.02 cores=1,3,5,7
/proc/6059/stat : 6059 (python) R 6057 6059 31325 0 -1 4202496 2290 0 0 0 1 1 0 0 20 0 1 0 339601432 18321408 782 33554432000 4194304 4196484 140734623572880 140734623503048 139725932236343 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/6059/statm: 4473 782 372 1 0 408 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17892

[startup+0.300237 s]
/proc/loadavg: 2.24 2.11 2.10 3/177 6059
/proc/meminfo: memFree=30490180/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=57148 CPUtime=0.07 cores=1,3,5,7
/proc/6059/stat : 6059 (python) D 6057 6059 31325 0 -1 4202496 4112 0 0 0 4 3 0 0 20 0 1 0 339601432 58519552 2252 33554432000 4194304 4196484 140734623572880 140734623432632 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/6059/statm: 14287 2252 603 1 0 1625 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 57148

[startup+0.700298 s]
/proc/loadavg: 2.24 2.11 2.10 3/177 6059
/proc/meminfo: memFree=30490180/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=101568 CPUtime=0.24 cores=1,3,5,7
/proc/6059/stat : 6059 (python) D 6057 6059 31325 0 -1 4202496 6410 0 0 0 14 10 0 0 20 0 1 0 339601432 104005632 4233 33554432000 4194304 4196484 140734623572880 140734623522744 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/6059/statm: 25392 4233 1047 1 0 3194 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 101568

[startup+1.50026 s]
/proc/loadavg: 2.24 2.11 2.10 2/178 6064
/proc/meminfo: memFree=30471820/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=118124 CPUtime=0.51 cores=1,3,5,7
/proc/6059/stat : 6059 (python) D 6057 6059 31325 0 -1 4202496 9596 1015 0 0 27 24 0 0 20 0 1 0 339601432 120958976 5831 33554432000 4194304 4196484 140734623572880 140734623506488 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 29531 5831 1083 1 0 4730 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 118124

[startup+3.10031 s]
/proc/loadavg: 2.24 2.11 2.10 3/179 6065
/proc/meminfo: memFree=30465744/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=134492 CPUtime=0.72 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 11260 1015 0 0 42 30 0 0 20 0 1 0 339601432 137719808 6349 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 33623 6349 1170 1 0 5195 0
[pid=6065] ppid=6059 vsize=6232 CPUtime=1.29 cores=1,3,5,7
/proc/6065/stat : 6065 (clasp-1.3.3-x86) R 6059 6065 6065 0 -1 4202496 1676 0 0 0 129 0 0 0 20 0 1 0 339601612 6381568 1319 33554432000 134512640 136080129 4294833568 4294832640 134849226 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/6065/statm: 1558 1319 175 383 0 1173 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 140724
heavy processes:

[startup+6.3003 s]
/proc/loadavg: 2.22 2.11 2.10 3/179 6065
/proc/meminfo: memFree=30462272/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=134492 CPUtime=0.85 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 11267 1015 0 0 54 31 0 0 20 0 1 0 339601432 137719808 6349 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 33623 6349 1170 1 0 5195 0
[pid=6065] ppid=6059 vsize=7816 CPUtime=4.49 cores=1,3,5,7
/proc/6065/stat : 6065 (clasp-1.3.3-x86) R 6059 6065 6065 0 -1 4202496 2047 0 0 0 449 0 0 0 20 0 1 0 339601612 8003584 1690 33554432000 134512640 136080129 4294833568 4294832656 134804920 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/6065/statm: 1954 1690 175 383 0 1569 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 142308

[startup+12.7002 s]
/proc/loadavg: 2.20 2.11 2.09 3/179 6065
/proc/meminfo: memFree=30459796/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=11.73 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 12505 4454 0 0 84 36 1052 1 20 0 1 0 339601432 139829248 6370 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6370 1180 1 0 5195 0
Current children cumulated CPU time (s) 11.73
Current children cumulated vsize (KiB) 136552

[startup+25.5003 s]
/proc/loadavg: 2.16 2.10 2.09 3/179 6068
/proc/meminfo: memFree=30458308/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=12.31 cores=1,3,5,7
/proc/6059/stat : 6059 (python) R 6057 6059 31325 0 -1 4202496 12534 4454 0 0 134 44 1052 1 20 0 1 0 339601432 139829248 6370 33554432000 4194304 4196484 140734623572880 140734623564640 225444750263 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6370 1180 1 0 5195 0
[pid=6068] ppid=6059 vsize=10320 CPUtime=13.14 cores=1,3,5,7
/proc/6068/stat : 6068 (clasp-1.3.3-x86) R 6059 6068 6068 0 -1 4202496 2698 0 0 0 1314 0 0 0 20 0 1 0 339602667 10567680 2341 33554432000 134512640 136080129 4293618448 4293617536 134623367 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/6068/statm: 2580 2341 175 383 0 2195 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 146872

[startup+51.1003 s]
/proc/loadavg: 2.18 2.11 2.09 3/179 6068
/proc/meminfo: memFree=30445964/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=13.45 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 12564 4454 0 0 234 58 1052 1 20 0 1 0 339601432 139829248 6370 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6370 1180 1 0 5195 0
[pid=6068] ppid=6059 vsize=21148 CPUtime=38.74 cores=1,3,5,7
/proc/6068/stat : 6068 (clasp-1.3.3-x86) R 6059 6068 6068 0 -1 4202496 5374 0 0 0 3873 1 0 0 20 0 1 0 339602667 21655552 5015 33554432000 134512640 136080129 4293618448 4293617520 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/6068/statm: 5287 5015 175 383 0 4902 0
Current children cumulated CPU time (s) 52.19
Current children cumulated vsize (KiB) 157700

[startup+102.307 s]
/proc/loadavg: 2.12 2.11 2.09 3/179 6074
/proc/meminfo: memFree=30393108/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=66.46 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 13753 10749 0 0 462 93 6088 3 20 0 1 0 339601432 139829248 6373 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6373 1180 1 0 5195 0
[pid=6071] ppid=6059 vsize=78976 CPUtime=39.52 cores=1,3,5,7
/proc/6071/stat : 6071 (wbo1.4a) R 6059 6071 6071 0 -1 4202496 19783 0 0 0 3885 67 0 0 20 0 1 0 339607707 80871424 19224 33554432000 134512640 135751879 4294559136 4294555936 134649881 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/6071/statm: 19744 19224 139 303 0 19439 0
Current children cumulated CPU time (s) 105.98
Current children cumulated vsize (KiB) 215528

[startup+162.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/179 6083
/proc/meminfo: memFree=30449496/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=119.97 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 14991 35601 0 0 701 127 11093 76 20 0 1 0 339601432 139829248 6376 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6376 1180 1 0 5195 0
[pid=6080] ppid=6059 vsize=17860 CPUtime=48.7 cores=1,3,5,7
/proc/6080/stat : 6080 (clasp-1.3.3-x86) R 6059 6080 6080 0 -1 4202496 4559 0 0 0 4869 1 0 0 20 0 1 0 339612790 18288640 4200 33554432000 134512640 136080129 4288392432 4288391504 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/6080/statm: 4465 4200 175 383 0 4080 0
Current children cumulated CPU time (s) 168.67
Current children cumulated vsize (KiB) 154412

[startup+222.3 s]
/proc/loadavg: 2.17 2.12 2.09 3/179 6089
/proc/meminfo: memFree=30449748/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=223.15 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 16235 43578 0 0 960 169 21107 79 20 0 1 0 339601432 139829248 6376 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6376 1180 1 0 5195 0
[pid=6086] ppid=6059 vsize=22484 CPUtime=8.5 cores=1,3,5,7
/proc/6086/stat : 6086 (wbo1.4a) R 6059 6086 6086 0 -1 4202496 5646 0 0 0 832 18 0 0 20 0 1 0 339622810 23023616 5095 33554432000 134512640 135751879 4290901440 4290899612 134516976 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/6086/statm: 5621 5095 139 303 0 5316 0
Current children cumulated CPU time (s) 231.65
Current children cumulated vsize (KiB) 159036

[startup+282.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/180 6099
/proc/meminfo: memFree=30346416/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=225.89 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 16277 43578 0 0 1196 207 21107 79 20 0 1 0 339601432 139829248 6376 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6376 1180 1 0 5195 0
[pid=6086] ppid=6059 vsize=123204 CPUtime=68.49 cores=1,3,5,7
/proc/6086/stat : 6086 (wbo1.4a) R 6059 6086 6086 0 -1 4202496 30846 0 0 0 6766 83 0 0 20 0 1 0 339622810 126160896 30283 33554432000 134512640 135751879 4290901440 4290899692 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/6086/statm: 30801 30283 139 303 0 30496 0
Current children cumulated CPU time (s) 294.38
Current children cumulated vsize (KiB) 259756

[startup+342.3 s]
/proc/loadavg: 2.17 2.12 2.09 3/179 6194
/proc/meminfo: memFree=30349384/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=330.48 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 17511 90292 0 0 1440 247 31151 210 20 0 1 0 339601432 139829248 6378 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6378 1180 1 0 5195 0
[pid=6146] ppid=6059 vsize=126988 CPUtime=26.69 cores=1,3,5,7
/proc/6146/stat : 6146 (wbo1.4b) R 6059 6146 6146 0 -1 4202496 31756 0 0 0 2661 8 0 0 20 0 1 0 339632990 130035712 31222 33554432000 134512640 135751879 4289001200 4288999360 134524613 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/6146/statm: 31747 31222 142 303 0 31442 0
Current children cumulated CPU time (s) 357.17
Current children cumulated vsize (KiB) 263540

[startup+402.301 s]
/proc/loadavg: 2.06 2.10 2.09 3/197 6221
/proc/meminfo: memFree=30322924/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=383.72 cores=1,3,5,7
/proc/6059/stat : 6059 (python) R 6057 6059 31325 0 -1 4202496 18720 130547 0 0 1682 284 36184 222 20 0 1 0 339601432 139829248 6378 33554432000 4194304 4196484 140734623572880 140734623564640 225444750263 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6059/statm: 34138 6378 1180 1 0 5195 0
[pid=6200] ppid=6059 vsize=2715136 CPUtime=37.32 cores=1,3,5,7
/proc/6200/stat : 6200 (java) S 6059 6200 6200 0 -1 4202496 11014 0 1 0 3727 5 0 0 20 0 19 0 339638039 2780299264 38914 33554432000 1073741824 1073778376 140735613818336 140735613809472 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6200/statm: 678784 38914 2257 9 0 669477 0

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

/proc/6327/statm: 9633 9380 175 383 0 9248 0
Current children cumulated CPU time (s) 1050.5
Current children cumulated vsize (KiB) 175084

[startup+1062.3 s]
/proc/loadavg: 2.02 2.06 2.08 3/197 6405
/proc/meminfo: memFree=30369232/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=863.53 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 40946 293203 0 2 4372 726 80929 326 20 0 1 0 339601432 139829248 6388 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6388 1180 1 0 5195 0
[pid=6327] ppid=6059 vsize=40116 CPUtime=249.61 cores=1,3,5,7
/proc/6327/stat : 6327 (clasp-1.3.3-x86) R 6059 6327 6327 0 -1 4202496 10140 0 0 0 24959 2 0 0 20 0 1 0 339682694 41078784 9764 33554432000 134512640 136080129 4291827648 4291826720 134845190 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/6327/statm: 10029 9764 175 383 0 9644 0
Current children cumulated CPU time (s) 1113.14
Current children cumulated vsize (KiB) 176668

[startup+1122.3 s]
/proc/loadavg: 2.07 2.06 2.08 3/179 6417
/proc/meminfo: memFree=30458428/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=1166.64 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 42179 304786 0 2 4615 764 110955 330 20 0 1 0 339601432 139829248 6389 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6389 1180 1 0 5195 0
[pid=6414] ppid=6059 vsize=25080 CPUtime=9.3 cores=1,3,5,7
/proc/6414/stat : 6414 (bsolo_pb10) R 6059 6414 6414 0 -1 4202496 4505 0 0 0 924 6 0 0 20 0 1 0 339712731 25681920 3824 33554432000 134512640 137138936 4293686896 4293686012 136570369 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/6414/statm: 6270 3824 192 642 0 5626 0
Current children cumulated CPU time (s) 1175.94
Current children cumulated vsize (KiB) 161632

[startup+1182.3 s]
/proc/loadavg: 2.07 2.06 2.08 4/179 6427
/proc/meminfo: memFree=30357892/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=1169.36 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 42222 304786 0 2 4847 804 110955 330 20 0 1 0 339601432 139829248 6389 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6389 1180 1 0 5195 0
[pid=6414] ppid=6059 vsize=123136 CPUtime=69.25 cores=1,3,5,7
/proc/6414/stat : 6414 (bsolo_pb10) R 6059 6414 6414 0 -1 4202496 29069 0 0 0 6906 19 0 0 20 0 1 0 339712731 126091264 28362 33554432000 134512640 137138936 4293686896 4293685648 134576319 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/6414/statm: 30784 28362 192 642 0 30140 0
Current children cumulated CPU time (s) 1238.61
Current children cumulated vsize (KiB) 259688

[startup+1242.3 s]
/proc/loadavg: 2.10 2.08 2.08 3/179 6433
/proc/meminfo: memFree=30457988/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=1283.23 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 44716 346433 0 2 5090 844 122031 358 20 0 1 0 339601432 139829248 6389 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6389 1180 1 0 5195 0
[pid=6433] ppid=6059 vsize=10492 CPUtime=18.16 cores=1,3,5,7
/proc/6433/stat : 6433 (clasp-1.3.3-x86) R 6059 6433 6433 0 -1 4202496 2716 0 0 0 1816 0 0 0 20 0 1 0 339723844 10743808 2358 33554432000 134512640 136080129 4294723904 4294723040 134845713 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/6433/statm: 2623 2358 175 383 0 2238 0
Current children cumulated CPU time (s) 1301.39
Current children cumulated vsize (KiB) 147044

[startup+1302.3 s]
/proc/loadavg: 2.13 2.09 2.09 3/179 6433
/proc/meminfo: memFree=30440420/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=1285.95 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 44751 346433 0 2 5322 884 122031 358 20 0 1 0 339601432 139829248 6389 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6389 1180 1 0 5195 0
[pid=6433] ppid=6059 vsize=24756 CPUtime=78.15 cores=1,3,5,7
/proc/6433/stat : 6433 (clasp-1.3.3-x86) R 6059 6433 6433 0 -1 4202496 6298 0 0 0 7814 1 0 0 20 0 1 0 339723844 25350144 5936 33554432000 134512640 136080129 4294723904 4294722848 134716422 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/6433/statm: 6189 5936 175 383 0 5804 0
Current children cumulated CPU time (s) 1364.1
Current children cumulated vsize (KiB) 161308

[startup+1362.3 s]
/proc/loadavg: 2.13 2.10 2.09 4/179 6442
/proc/meminfo: memFree=30451784/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=1410.03 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 48466 360456 0 2 5568 922 134151 362 20 0 1 0 339601432 139829248 6390 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6390 1180 1 0 5195 0
[pid=6442] ppid=6059 vsize=12324 CPUtime=16.86 cores=1,3,5,7
/proc/6442/stat : 6442 (clasp-1.3.3-x86) R 6059 6442 6442 0 -1 4202496 3176 0 0 0 1686 0 0 0 20 0 1 0 339735975 12619776 2813 33554432000 134512640 136080129 4289067648 4289066640 134588815 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/6442/statm: 3081 2813 175 383 0 2696 0
Current children cumulated CPU time (s) 1426.89
Current children cumulated vsize (KiB) 148876

[startup+1422.31 s]
/proc/loadavg: 2.23 2.13 2.10 3/179 6448
/proc/meminfo: memFree=30449052/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=1473.76 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 50977 371079 0 2 5812 960 140238 366 20 0 1 0 339601432 139829248 6391 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6391 1180 1 0 5195 0
[pid=6448] ppid=6059 vsize=14416 CPUtime=15.92 cores=1,3,5,7
/proc/6448/stat : 6448 (clasp-1.3.3-x86) R 6059 6448 6448 0 -1 4202496 3704 0 0 0 1591 1 0 0 20 0 1 0 339742070 14761984 3341 33554432000 134512640 136080129 4290184976 4290184048 134849910 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/6448/statm: 3604 3341 175 383 0 3219 0
Current children cumulated CPU time (s) 1489.68
Current children cumulated vsize (KiB) 150968

[startup+1482.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/179 6454
/proc/meminfo: memFree=30386204/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=1476.44 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 51007 371079 0 2 6044 996 140238 366 20 0 1 0 339601432 139829248 6391 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6391 1180 1 0 5195 0
[pid=6448] ppid=6059 vsize=22736 CPUtime=75.89 cores=1,3,5,7
/proc/6448/stat : 6448 (clasp-1.3.3-x86) R 6059 6448 6448 0 -1 4202496 5807 0 0 0 7588 1 0 0 20 0 1 0 339742070 23281664 5440 33554432000 134512640 136080129 4290184976 4290184052 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/6448/statm: 5684 5440 175 383 0 5299 0
Current children cumulated CPU time (s) 1552.33
Current children cumulated vsize (KiB) 159288

[startup+1542.3 s]
/proc/loadavg: 2.20 2.13 2.10 3/179 6464
/proc/meminfo: memFree=30346740/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=1600.02 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 54764 385668 0 2 6288 1038 152304 372 20 0 1 0 339601432 139829248 6392 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6392 1180 1 0 5195 0
[pid=6464] ppid=6059 vsize=9428 CPUtime=15.13 cores=1,3,5,7
/proc/6464/stat : 6464 (clasp-1.3.3-x86) R 6059 6464 6464 0 -1 4202496 2459 0 0 0 1513 0 0 0 20 0 1 0 339754148 9654272 2096 33554432000 134512640 136080129 4291947136 4291946208 134849659 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/6464/statm: 2357 2096 175 383 0 1972 0
Current children cumulated CPU time (s) 1615.15
Current children cumulated vsize (KiB) 145980

[startup+1602.3 s]
/proc/loadavg: 2.07 2.10 2.09 3/179 6470
/proc/meminfo: memFree=30441660/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=1602.67 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 54791 385668 0 2 6518 1073 152304 372 20 0 1 0 339601432 139829248 6392 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6392 1180 1 0 5195 0
[pid=6464] ppid=6059 vsize=28448 CPUtime=75.11 cores=1,3,5,7
/proc/6464/stat : 6464 (clasp-1.3.3-x86) R 6059 6464 6464 0 -1 4202496 7212 0 0 0 7510 1 0 0 20 0 1 0 339754148 29130752 6843 33554432000 134512640 136080129 4291947136 4291946208 134849100 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/6464/statm: 7112 6843 175 383 0 6727 0
Current children cumulated CPU time (s) 1677.78
Current children cumulated vsize (KiB) 165000

[startup+1662.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/179 6482
/proc/meminfo: memFree=30463760/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=1726.73 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 58524 401138 0 2 6762 1114 164420 377 20 0 1 0 339601432 139829248 6393 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6393 1180 1 0 5195 0
[pid=6479] ppid=6059 vsize=9956 CPUtime=13.86 cores=1,3,5,7
/proc/6479/stat : 6479 (clasp-1.3.3-x86) R 6059 6479 6479 0 -1 4202496 2583 0 0 0 1386 0 0 0 20 0 1 0 339766275 10194944 2226 33554432000 134512640 136080129 4294636816 4294635808 134588658 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/6479/statm: 2489 2226 175 383 0 2104 0
Current children cumulated CPU time (s) 1740.59
Current children cumulated vsize (KiB) 146508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1719.2 s]
/proc/loadavg: 2.11 2.09 2.09 3/179 6488
/proc/meminfo: memFree=30447000/32873844 swapFree=7900/7900
[pid=6059] ppid=6057 vsize=136552 CPUtime=1729.26 cores=1,3,5,7
/proc/6059/stat : 6059 (python) S 6057 6059 31325 0 -1 4202496 58548 401138 0 2 6981 1148 164420 377 20 0 1 0 339601432 139829248 6393 33554432000 4194304 4196484 140734623572880 140734623564640 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6059/statm: 34138 6393 1180 1 0 5195 0
[pid=6479] ppid=6059 vsize=23032 CPUtime=70.75 cores=1,3,5,7
/proc/6479/stat : 6479 (clasp-1.3.3-x86) R 6059 6479 6479 0 -1 4202496 5855 0 0 0 7074 1 0 0 20 0 1 0 339766275 23584768 5491 33554432000 134512640 136080129 4294636816 4294635888 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/6479/statm: 5758 5491 175 383 0 5373 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 159584

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 6059 and gives
#  childrusage.ru_utime.tv_sec=1714
#  childrusage.ru_utime.tv_usec=22428
#  childrusage.ru_stime.tv_sec=15
#  childrusage.ru_stime.tv_usec=255680
# CPU time returned by wait4() is 1729.28
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1719.22
CPU time (s): 1800.01
CPU user time (s): 1784.75
CPU system time (s): 15.26
CPU usage (%): 104.699
Max. virtual memory (cumulated for all children) (KiB): 2851692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1714.02
system time used= 15.2557
maximum resident set size= 210952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 459686
page faults= 2
swaps= 0
block input operations= 0
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11201
involuntary context switches= 4524

runsolver used 3.74043 second user time and 9.66453 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-03 16:46:08
IDJOB=3742534
IDBENCH=90201
IDSOLVER=2323
FILE ID=node137/3742534-1338734768
RUNJOBID= node137-1338714575-31342
PBS_JOBID= 14636756
Free space on /tmp= 70300 MiB

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

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

MD5SUM BENCH= d572050902dbd97a5ce685e3ceb3e01a
RANDOM SEED=24269665

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30490956 kB
Buffers:          262116 kB
Cached:          1257288 kB
SwapCached:         5796 kB
Active:           854572 kB
Inactive:         702812 kB
Active(anon):      33568 kB
Inactive(anon):     7172 kB
Active(file):     821004 kB
Inactive(file):   695640 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             21448 kB
Writeback:             8 kB
AnonPages:         42088 kB
Mapped:            13312 kB
Shmem:                 0 kB
Slab:             686776 kB
SReclaimable:     126736 kB
SUnreclaim:       560040 kB
KernelStack:        1440 kB
PageTables:         4260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     157992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70284 MiB
End job on node137 at 2012-06-03 17:14:50