Trace number 3741832

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.03 1715.91

General information on the benchmark

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

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.15 2.10 2.09 3/195 19719
/proc/meminfo: memFree=26941908/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/19719/stat : 19719 (python) D 19717 19719 15301 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 338624740 15642624 527 33554432000 4194304 5683644 140736300988672 140736300974584 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 3819 527 312 364 0 261 0

[startup+0.102434 s]
/proc/loadavg: 2.15 2.10 2.09 3/195 19719
/proc/meminfo: memFree=26941908/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=17632 CPUtime=0.01 cores=0,2,4,6
/proc/19719/stat : 19719 (python) D 19717 19719 15301 0 -1 4202496 2232 0 0 0 1 0 0 0 20 0 1 0 338624740 18055168 737 33554432000 4194304 4196484 140734646295632 140734646253672 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 4408 737 367 1 0 343 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17632

[startup+0.200218 s]
/proc/loadavg: 2.15 2.10 2.09 3/195 19719
/proc/meminfo: memFree=26941908/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=36264 CPUtime=0.05 cores=0,2,4,6
/proc/19719/stat : 19719 (python) R 19717 19719 15301 0 -1 4202496 2959 0 0 0 3 2 0 0 20 0 1 0 338624740 37134336 1337 33554432000 4194304 4196484 140734646295632 140734646191608 140684516732191 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 9066 1337 475 1 0 859 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 36264

[startup+0.300167 s]
/proc/loadavg: 2.15 2.10 2.09 3/195 19719
/proc/meminfo: memFree=26941908/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=54716 CPUtime=0.07 cores=0,2,4,6
/proc/19719/stat : 19719 (python) D 19717 19719 15301 0 -1 4202496 4012 0 0 0 4 3 0 0 20 0 1 0 338624740 56029184 2190 33554432000 4194304 4196484 140734646295632 140734646127512 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 13679 2190 600 1 0 1534 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 54716

[startup+0.70015 s]
/proc/loadavg: 2.15 2.10 2.09 3/195 19719
/proc/meminfo: memFree=26941908/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=101288 CPUtime=0.23 cores=0,2,4,6
/proc/19719/stat : 19719 (python) R 19717 19719 15301 0 -1 4202496 6303 0 0 0 14 9 0 0 20 0 1 0 338624740 103718912 4136 33554432000 4194304 4196484 140734646295632 140734646238904 140684516492473 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 25322 4136 1047 1 0 3124 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 101288

[startup+1.50011 s]
/proc/loadavg: 2.15 2.10 2.09 2/196 19724
/proc/meminfo: memFree=26922416/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=118120 CPUtime=0.41 cores=0,2,4,6
/proc/19719/stat : 19719 (python) D 19717 19719 15301 0 -1 4202496 9596 1011 0 0 27 14 0 0 20 0 1 0 338624740 120954880 5831 33554432000 4194304 4196484 140734646295632 140734646229240 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 29530 5831 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 118120

[startup+3.10028 s]
/proc/loadavg: 2.15 2.10 2.09 3/197 19725
/proc/meminfo: memFree=26917820/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=134488 CPUtime=0.58 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 11232 1011 0 0 42 16 0 0 20 0 1 0 338624740 137715712 6348 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 33622 6348 1170 1 0 5194 0
[pid=19725] ppid=19719 vsize=4600 CPUtime=1.34 cores=0,2,4,6
/proc/19725/stat : 19725 (clasp-1.3.3-x86) R 19719 19725 19725 0 -1 4202496 1216 0 0 0 134 0 0 0 20 0 1 0 338624916 4710400 902 33554432000 134512640 136080129 4294889024 4294888152 134803117 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19725/statm: 1150 902 175 383 0 765 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 139088
heavy processes:

[startup+6.30026 s]
/proc/loadavg: 2.14 2.09 2.09 3/197 19725
/proc/meminfo: memFree=26913948/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=134488 CPUtime=0.73 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 11245 1011 0 0 55 18 0 0 20 0 1 0 338624740 137715712 6348 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 33622 6348 1170 1 0 5194 0
[pid=19725] ppid=19719 vsize=5524 CPUtime=4.54 cores=0,2,4,6
/proc/19725/stat : 19725 (clasp-1.3.3-x86) R 19719 19725 19725 0 -1 4202496 1457 0 0 0 454 0 0 0 20 0 1 0 338624916 5656576 1143 33554432000 134512640 136080129 4294889024 4294887920 134599302 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19725/statm: 1381 1143 175 383 0 996 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 140012

[startup+12.7003 s]
/proc/loadavg: 2.12 2.09 2.09 3/197 19728
/proc/meminfo: memFree=26914192/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=11.1 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 12509 4162 0 0 85 22 1002 1 20 0 1 0 338624740 139825152 6368 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6368 1180 1 0 5194 0
[pid=19728] ppid=19719 vsize=4468 CPUtime=0.89 cores=0,2,4,6
/proc/19728/stat : 19728 (clasp-1.3.3-x86) R 19719 19728 19728 0 -1 4202496 1166 0 0 0 89 0 0 0 20 0 1 0 338625920 4575232 853 33554432000 134512640 136080129 4288141488 4288140560 134849910 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19728/statm: 1117 853 175 383 0 732 0
Current children cumulated CPU time (s) 11.99
Current children cumulated vsize (KiB) 141016

[startup+25.5003 s]
/proc/loadavg: 2.17 2.10 2.09 3/197 19728
/proc/meminfo: memFree=26904928/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=11.71 cores=0,2,4,6
/proc/19719/stat : 19719 (python) R 19717 19719 15301 0 -1 4202496 12537 4162 0 0 138 30 1002 1 20 0 1 0 338624740 139825152 6368 33554432000 4194304 4196484 140734646295632 140734646287392 140684517109556 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6368 1180 1 0 5194 0
[pid=19728] ppid=19719 vsize=9176 CPUtime=13.69 cores=0,2,4,6
/proc/19728/stat : 19728 (clasp-1.3.3-x86) R 19719 19728 19728 0 -1 4202496 2348 0 0 0 1369 0 0 0 20 0 1 0 338625920 9396224 2035 33554432000 134512640 136080129 4288141488 4288140356 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19728/statm: 2294 2035 175 383 0 1909 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 145724

[startup+51.1003 s]
/proc/loadavg: 2.11 2.09 2.09 3/179 19731
/proc/meminfo: memFree=26975108/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=12.9 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 12574 4162 0 0 241 46 1002 1 20 0 1 0 338624740 139825152 6368 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6368 1180 1 0 5194 0
[pid=19728] ppid=19719 vsize=14868 CPUtime=39.28 cores=0,2,4,6
/proc/19728/stat : 19728 (clasp-1.3.3-x86) R 19719 19728 19728 0 -1 4202496 3789 0 0 0 3928 0 0 0 20 0 1 0 338625920 15224832 3476 33554432000 134512640 136080129 4288141488 4288140624 134845750 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19728/statm: 3717 3476 175 383 0 3332 0
Current children cumulated CPU time (s) 52.18
Current children cumulated vsize (KiB) 151416

[startup+102.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/179 19734
/proc/meminfo: memFree=26821848/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=66.1 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 13776 9293 0 0 480 79 6048 3 20 0 1 0 338624740 139825152 6373 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6373 1180 1 0 5194 0
[pid=19734] ppid=19719 vsize=109220 CPUtime=39.99 cores=0,2,4,6
/proc/19734/stat : 19734 (wbo1.4a) R 19719 19734 19734 0 -1 4202496 27262 0 0 0 3933 66 0 0 20 0 1 0 338630971 111841280 26845 33554432000 134512640 135751879 4293069104 4293066720 134604741 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/19734/statm: 27305 26845 139 303 0 27000 0
Current children cumulated CPU time (s) 106.09
Current children cumulated vsize (KiB) 245768

[startup+162.3 s]
/proc/loadavg: 2.30 2.14 2.10 3/179 19741
/proc/meminfo: memFree=26960948/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=119.86 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 15060 42304 0 0 730 116 11063 77 20 0 1 0 338624740 139825152 6374 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6374 1180 1 0 5194 0
[pid=19737] ppid=19719 vsize=15764 CPUtime=49.07 cores=0,2,4,6
/proc/19737/stat : 19737 (clasp-1.3.3-x86) R 19719 19737 19737 0 -1 4202496 4017 0 0 0 4907 0 0 0 20 0 1 0 338636062 16142336 3703 33554432000 134512640 136080129 4291364352 4291363344 134588742 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19737/statm: 3941 3703 175 383 0 3556 0
Current children cumulated CPU time (s) 168.93
Current children cumulated vsize (KiB) 152312

[startup+222.306 s]
/proc/loadavg: 2.18 2.12 2.10 4/179 19756
/proc/meminfo: memFree=26991876/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=223.33 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 16358 49362 0 0 1003 154 21097 79 20 0 1 0 338624740 139825152 6375 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6375 1180 1 0 5194 0
[pid=19753] ppid=19719 vsize=29792 CPUtime=8.69 cores=0,2,4,6
/proc/19753/stat : 19753 (wbo1.4a) R 19719 19753 19753 0 -1 4202496 7390 0 0 0 850 19 0 0 20 0 1 0 338646101 30507008 6970 33554432000 134512640 135751879 4294240016 4294238268 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/19753/statm: 7448 6970 139 303 0 7143 0
Current children cumulated CPU time (s) 232.02
Current children cumulated vsize (KiB) 166340

[startup+282.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/197 19792
/proc/meminfo: memFree=26829348/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=226.22 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 16382 49362 0 0 1256 190 21097 79 20 0 1 0 338624740 139825152 6375 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6375 1180 1 0 5194 0
[pid=19753] ppid=19719 vsize=153332 CPUtime=68.64 cores=0,2,4,6
/proc/19753/stat : 19753 (wbo1.4a) R 19719 19753 19753 0 -1 4202496 38322 0 0 0 6786 78 0 0 20 0 1 0 338646101 157011968 37872 33554432000 134512640 135751879 4294240016 4294238268 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/19753/statm: 38333 37873 139 303 0 38028 0
Current children cumulated CPU time (s) 294.86
Current children cumulated vsize (KiB) 289880

[startup+342.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/179 19801
/proc/meminfo: memFree=26959212/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=330.72 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 17652 101445 0 0 1526 232 31122 192 20 0 1 0 338624740 139825152 6377 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6377 1180 1 0 5194 0
[pid=19795] ppid=19719 vsize=54472 CPUtime=27.22 cores=0,2,4,6
/proc/19795/stat : 19795 (wbo1.4b) R 19719 19795 19795 0 -1 4202496 13579 0 0 0 2716 6 0 0 20 0 1 0 338656246 55779328 13158 33554432000 134512640 135751879 4287205888 4287203980 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/19795/statm: 13618 13158 143 303 0 13313 0
Current children cumulated CPU time (s) 357.94
Current children cumulated vsize (KiB) 191020

[startup+402.301 s]
/proc/loadavg: 2.13 2.11 2.09 3/198 19837
/proc/meminfo: memFree=26903916/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=384.35 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 18907 120993 0 0 1787 270 36155 223 20 0 1 0 338624740 139825152 6378 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6378 1180 1 0 5194 0

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

/proc/19920/statm: 6861 6624 175 383 0 6476 0
Current children cumulated CPU time (s) 1052.23
Current children cumulated vsize (KiB) 163992

[startup+1062.3 s]
/proc/loadavg: 2.18 2.09 2.08 4/179 19939
/proc/meminfo: memFree=26986824/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=861 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 41694 291447 0 2 4686 678 80368 368 20 0 1 0 338624740 139825152 6387 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6387 1180 1 0 5194 0
[pid=19920] ppid=19719 vsize=31364 CPUtime=254.04 cores=0,2,4,6
/proc/19920/stat : 19920 (clasp-1.3.3-x86) R 19719 19920 19920 0 -1 4202496 7911 0 0 0 25403 1 0 0 20 0 1 0 338705560 32116736 7576 33554432000 134512640 136080129 4292619008 4292617952 134579953 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19920/statm: 7841 7576 175 383 0 7456 0
Current children cumulated CPU time (s) 1115.04
Current children cumulated vsize (KiB) 167912

[startup+1122.3 s]
/proc/loadavg: 2.06 2.07 2.08 3/179 19951
/proc/meminfo: memFree=26979268/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=1164.07 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 42962 301458 0 2 4958 709 110370 370 20 0 1 0 338624740 139825152 6387 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6387 1180 1 0 5194 0
[pid=19951] ppid=19719 vsize=48960 CPUtime=13.97 cores=0,2,4,6
/proc/19951/stat : 19951 (bsolo_pb10) R 19719 19951 19951 0 -1 4202496 10330 0 0 0 1391 6 0 0 20 0 1 0 338735571 50135040 9800 33554432000 134512640 137138936 4290127520 4290126636 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/19951/statm: 12240 9800 192 642 0 11596 0
Current children cumulated CPU time (s) 1178.04
Current children cumulated vsize (KiB) 185508

[startup+1182.3 s]
/proc/loadavg: 2.06 2.07 2.08 3/179 19951
/proc/meminfo: memFree=26869808/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=1166.94 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 42996 301458 0 2 5210 744 110370 370 20 0 1 0 338624740 139825152 6388 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6388 1180 1 0 5194 0
[pid=19951] ppid=19719 vsize=157608 CPUtime=73.92 cores=0,2,4,6
/proc/19951/stat : 19951 (bsolo_pb10) R 19719 19951 19951 0 -1 4202496 37555 0 0 0 7377 15 0 0 20 0 1 0 338735571 161390592 36979 33554432000 134512640 137138936 4290127520 4290126448 134542516 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/19951/statm: 39402 36979 192 642 0 38758 0
Current children cumulated CPU time (s) 1240.86
Current children cumulated vsize (KiB) 294156

[startup+1242.3 s]
/proc/loadavg: 2.08 2.07 2.08 3/179 19966
/proc/meminfo: memFree=27007656/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=1280.52 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 45554 347994 0 2 5465 783 121413 391 20 0 1 0 338624740 139825152 6388 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6388 1180 1 0 5194 0
[pid=19966] ppid=19719 vsize=12000 CPUtime=23.25 cores=0,2,4,6
/proc/19966/stat : 19966 (clasp-1.3.3-x86) R 19719 19966 19966 0 -1 4202496 3083 0 0 0 2325 0 0 0 20 0 1 0 338746644 12288000 2766 33554432000 134512640 136080129 4294070576 4294069568 134588820 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 3000 2766 175 383 0 2615 0
Current children cumulated CPU time (s) 1303.77
Current children cumulated vsize (KiB) 148548

[startup+1302.3 s]
/proc/loadavg: 2.11 2.07 2.08 3/179 20010
/proc/meminfo: memFree=26990852/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=1283.33 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 45579 347994 0 2 5710 819 121413 391 20 0 1 0 338624740 139825152 6388 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6388 1180 1 0 5194 0
[pid=19966] ppid=19719 vsize=24240 CPUtime=83.23 cores=0,2,4,6
/proc/19966/stat : 19966 (clasp-1.3.3-x86) R 19719 19966 19966 0 -1 4202496 6117 0 0 0 8321 2 0 0 20 0 1 0 338746644 24821760 5795 33554432000 134512640 136080129 4294070576 4294069648 134849904 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/19966/statm: 6060 5795 175 383 0 5675 0
Current children cumulated CPU time (s) 1366.56
Current children cumulated vsize (KiB) 160788

[startup+1362.3 s]
/proc/loadavg: 2.09 2.07 2.08 3/179 20026
/proc/meminfo: memFree=26984196/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=1406.75 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 49396 361277 0 2 5970 858 133450 397 20 0 1 0 338624740 139825152 6389 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6389 1180 1 0 5194 0
[pid=20022] ppid=19719 vsize=11244 CPUtime=22.75 cores=0,2,4,6
/proc/20022/stat : 20022 (clasp-1.3.3-x86) R 19719 20022 20022 0 -1 4202496 2868 0 0 0 2275 0 0 0 20 0 1 0 338758694 11513856 2556 33554432000 134512640 136080129 4291791424 4291790496 134849595 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/20022/statm: 2811 2556 175 383 0 2426 0
Current children cumulated CPU time (s) 1429.5
Current children cumulated vsize (KiB) 147792

[startup+1422.3 s]
/proc/loadavg: 2.08 2.07 2.07 3/180 20036
/proc/meminfo: memFree=27000676/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=1470.17 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 51957 369349 0 2 6228 892 139498 399 20 0 1 0 338624740 139825152 6389 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6389 1180 1 0 5194 0
[pid=20032] ppid=19719 vsize=11360 CPUtime=22.22 cores=0,2,4,6
/proc/20032/stat : 20032 (clasp-1.3.3-x86) R 19719 20032 20032 0 -1 4202496 2917 0 0 0 2222 0 0 0 20 0 1 0 338764747 11632640 2603 33554432000 134512640 136080129 4289764048 4289763040 134588755 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/20032/statm: 2840 2603 175 383 0 2455 0
Current children cumulated CPU time (s) 1492.39
Current children cumulated vsize (KiB) 147908

[startup+1482.3 s]
/proc/loadavg: 2.12 2.08 2.08 3/179 20036
/proc/meminfo: memFree=26980888/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=1473 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 51985 369349 0 2 6475 928 139498 399 20 0 1 0 338624740 139825152 6389 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6389 1180 1 0 5194 0
[pid=20032] ppid=19719 vsize=21132 CPUtime=82.21 cores=0,2,4,6
/proc/20032/stat : 20032 (clasp-1.3.3-x86) R 19719 20032 20032 0 -1 4202496 5355 0 0 0 8220 1 0 0 20 0 1 0 338764747 21639168 5037 33554432000 134512640 136080129 4289764048 4289762912 134716415 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/20032/statm: 5283 5037 175 383 0 4898 0
Current children cumulated CPU time (s) 1555.21
Current children cumulated vsize (KiB) 157680

[startup+1542.31 s]
/proc/loadavg: 2.04 2.07 2.07 3/179 20048
/proc/meminfo: memFree=26911152/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=1596.47 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 55818 381875 0 2 6734 969 151540 404 20 0 1 0 338624740 139825152 6390 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6390 1180 1 0 5194 0
[pid=20048] ppid=19719 vsize=10200 CPUtime=21.7 cores=0,2,4,6
/proc/20048/stat : 20048 (clasp-1.3.3-x86) R 19719 20048 20048 0 -1 4202496 2631 0 0 0 2170 0 0 0 20 0 1 0 338776799 10444800 2314 33554432000 134512640 136080129 4288925488 4288924560 134849100 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/20048/statm: 2550 2314 175 383 0 2165 0
Current children cumulated CPU time (s) 1618.17
Current children cumulated vsize (KiB) 146748

[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/180 20051
/proc/meminfo: memFree=26767204/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=1599.28 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 55850 381875 0 2 6983 1001 151540 404 20 0 1 0 338624740 139825152 6390 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6390 1180 1 0 5194 0
[pid=20048] ppid=19719 vsize=18132 CPUtime=81.68 cores=0,2,4,6
/proc/20048/stat : 20048 (clasp-1.3.3-x86) R 19719 20048 20048 0 -1 4202496 4603 0 0 0 8168 0 0 0 20 0 1 0 338776799 18567168 4286 33554432000 134512640 136080129 4288925488 4288924480 134588723 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/20048/statm: 4533 4286 175 383 0 4148 0
Current children cumulated CPU time (s) 1680.96
Current children cumulated vsize (KiB) 154680

[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.06 4/197 20085
/proc/meminfo: memFree=26945584/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=1722.68 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 59690 393557 0 2 7247 1036 163577 408 20 0 1 0 338624740 139825152 6392 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6392 1180 1 0 5194 0
[pid=20063] ppid=19719 vsize=9844 CPUtime=21.22 cores=0,2,4,6
/proc/20063/stat : 20063 (clasp-1.3.3-x86) R 19719 20063 20063 0 -1 4202496 2535 0 0 0 2122 0 0 0 20 0 1 0 338788847 10080256 2219 33554432000 134512640 136080129 4294496880 4294495956 134850021 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/20063/statm: 2461 2219 175 383 0 2076 0
Current children cumulated CPU time (s) 1743.9
Current children cumulated vsize (KiB) 146392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1715.9 s]
/proc/loadavg: 2.06 2.05 2.06 3/197 20085
/proc/meminfo: memFree=26853740/32873648 swapFree=7368/7368
[pid=19719] ppid=19717 vsize=136548 CPUtime=1725.21 cores=0,2,4,6
/proc/19719/stat : 19719 (python) S 19717 19719 15301 0 -1 4202496 59712 393557 0 2 7468 1068 163577 408 20 0 1 0 338624740 139825152 6392 33554432000 4194304 4196484 140734646295632 140734646287392 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/19719/statm: 34137 6392 1180 1 0 5194 0
[pid=20063] ppid=19719 vsize=21056 CPUtime=74.82 cores=0,2,4,6
/proc/20063/stat : 20063 (clasp-1.3.3-x86) R 19719 20063 20063 0 -1 4202496 5354 0 0 0 7481 1 0 0 20 0 1 0 338788847 21561344 5031 33554432000 134512640 136080129 4294496880 4294495840 134808384 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/20063/statm: 5264 5031 175 383 0 4879 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 157604

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 19719 and gives
#  childrusage.ru_utime.tv_sec=1710
#  childrusage.ru_utime.tv_usec=461970
#  childrusage.ru_stime.tv_sec=14
#  childrusage.ru_stime.tv_usec=768754
# CPU time returned by wait4() is 1725.23
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1715.91
CPU time (s): 1800.03
CPU user time (s): 1785.26
CPU system time (s): 14.77
CPU usage (%): 104.902
Max. virtual memory (cumulated for all children) (KiB): 2851688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.46
system time used= 14.7688
maximum resident set size= 212400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 453270
page faults= 2
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11138
involuntary context switches= 2943

runsolver used 3.43048 second user time and 8.79566 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 14:03:26
IDJOB=3741832
IDBENCH=90111
IDSOLVER=2323
FILE ID=node149/3741832-1338725006
RUNJOBID= node149-1338713283-15317
PBS_JOBID= 14636730
Free space on /tmp= 71036 MiB

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

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

MD5SUM BENCH= 827b46126fccb5cb8162396480ca6949
RANDOM SEED=628335979

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26941808 kB
Buffers:          762716 kB
Cached:          4129700 kB
SwapCached:         2468 kB
Active:          2119184 kB
Inactive:        2882684 kB
Active(anon):      92692 kB
Inactive(anon):     9368 kB
Active(file):    2026492 kB
Inactive(file):  2873316 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             21024 kB
Writeback:             0 kB
AnonPages:        135304 kB
Mapped:            25704 kB
Shmem:                96 kB
Slab:             760252 kB
SReclaimable:     203548 kB
SUnreclaim:       556704 kB
KernelStack:        1608 kB
PageTables:         4488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1537644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71012 MiB
End job on node149 at 2012-06-03 14:32:04