Trace number 3742118

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.05 1716.51

General information on the benchmark

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

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.19 2.15 2.10 3/179 16978
/proc/meminfo: memFree=28592692/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=14500 CPUtime=0 cores=0,2,4,6
/proc/16978/stat : 16978 (python) R 16976 16978 11290 0 -1 4202496 245 0 0 0 0 0 0 0 20 0 1 0 339008367 14848000 74 33554432000 4194304 5683644 140735627624288 140734521015464 215134303982 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 3628 91 72 364 0 54 0

[startup+0.0911039 s]
/proc/loadavg: 2.19 2.15 2.10 3/179 16978
/proc/meminfo: memFree=28592692/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=17420 CPUtime=0.01 cores=0,2,4,6
/proc/16978/stat : 16978 (python) R 16976 16978 11290 0 -1 4202496 2125 0 0 0 1 0 0 0 20 0 1 0 339008367 17838080 645 33554432000 4194304 4196484 140733259140144 140733259093960 215143498640 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/16978/statm: 4355 645 352 1 0 290 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17420

[startup+0.100394 s]
/proc/loadavg: 2.19 2.15 2.10 3/179 16978
/proc/meminfo: memFree=28592692/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=17620 CPUtime=0.02 cores=0,2,4,6
/proc/16978/stat : 16978 (python) D 16976 16978 11290 0 -1 4202496 2210 0 0 0 1 1 0 0 20 0 1 0 339008367 18042880 720 33554432000 4194304 4196484 140733259140144 140733259066088 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/16978/statm: 4405 720 354 1 0 340 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17620

[startup+0.300201 s]
/proc/loadavg: 2.19 2.15 2.10 3/179 16978
/proc/meminfo: memFree=28592692/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=54512 CPUtime=0.07 cores=0,2,4,6
/proc/16978/stat : 16978 (python) D 16976 16978 11290 0 -1 4202496 3932 0 0 0 4 3 0 0 20 0 1 0 339008367 55820288 2129 33554432000 4194304 4196484 140733259140144 140733258995672 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/16978/statm: 13628 2129 600 1 0 1483 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 54512

[startup+0.70023 s]
/proc/loadavg: 2.19 2.15 2.10 3/179 16978
/proc/meminfo: memFree=28592692/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=99044 CPUtime=0.25 cores=0,2,4,6
/proc/16978/stat : 16978 (python) R 16976 16978 11290 0 -1 4202496 5752 0 0 0 14 11 0 0 20 0 1 0 339008367 101421056 3602 33554432000 4194304 4196484 140733259140144 140733259083080 215143497557 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/16978/statm: 24761 3602 1047 1 0 2563 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 99044

[startup+1.50021 s]
/proc/loadavg: 2.19 2.15 2.10 2/180 16983
/proc/meminfo: memFree=28574416/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=118120 CPUtime=0.48 cores=0,2,4,6
/proc/16978/stat : 16978 (python) D 16976 16978 11290 0 -1 4202496 9590 1009 0 0 28 20 0 0 20 0 1 0 339008367 120954880 5829 33554432000 4194304 4196484 140733259140144 140733259073752 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 29530 5829 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 118120

[startup+3.10027 s]
/proc/loadavg: 2.19 2.15 2.10 3/181 16984
/proc/meminfo: memFree=28569952/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=134484 CPUtime=0.68 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 11213 1009 0 0 43 25 0 0 20 0 1 0 339008367 137711616 6346 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 33621 6346 1170 1 0 5193 0
[pid=16984] ppid=16978 vsize=4476 CPUtime=1.22 cores=0,2,4,6
/proc/16984/stat : 16984 (clasp-1.3.3-x86) R 16978 16984 16984 0 -1 4202496 1178 0 0 0 122 0 0 0 20 0 1 0 339008555 4583424 866 33554432000 134512640 136080129 4288248960 4288248096 134845871 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16984/statm: 1119 866 175 383 0 734 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 138960
heavy processes:

[startup+6.30031 s]
/proc/loadavg: 2.17 2.14 2.09 3/181 16984
/proc/meminfo: memFree=28567844/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=134484 CPUtime=0.83 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 11224 1009 0 0 56 27 0 0 20 0 1 0 339008367 137711616 6346 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 33621 6346 1170 1 0 5193 0
[pid=16984] ppid=16978 vsize=5656 CPUtime=4.42 cores=0,2,4,6
/proc/16984/stat : 16984 (clasp-1.3.3-x86) R 16978 16984 16984 0 -1 4202496 1476 0 0 0 442 0 0 0 20 0 1 0 339008555 5791744 1164 33554432000 134512640 136080129 4288248960 4288248032 134849563 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16984/statm: 1414 1164 175 383 0 1029 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 140140

[startup+12.7003 s]
/proc/loadavg: 2.16 2.14 2.09 3/181 16987
/proc/meminfo: memFree=28569948/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=11.21 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 12474 3761 0 0 87 31 1002 1 20 0 1 0 339008367 139821056 6368 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6368 1180 1 0 5193 0
[pid=16987] ppid=16978 vsize=4212 CPUtime=0.77 cores=0,2,4,6
/proc/16987/stat : 16987 (clasp-1.3.3-x86) R 16978 16987 16987 0 -1 4202496 1124 0 0 0 77 0 0 0 20 0 1 0 339009560 4313088 815 33554432000 134512640 136080129 4287596784 4287595776 134588786 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16987/statm: 1053 815 175 383 0 668 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 140756

[startup+25.5003 s]
/proc/loadavg: 2.12 2.13 2.09 3/181 16987
/proc/meminfo: memFree=28565748/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=11.8 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 12502 3761 0 0 139 38 1002 1 20 0 1 0 339008367 139821056 6368 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6368 1180 1 0 5193 0
[pid=16987] ppid=16978 vsize=7872 CPUtime=13.56 cores=0,2,4,6
/proc/16987/stat : 16987 (clasp-1.3.3-x86) R 16978 16987 16987 0 -1 4202496 2037 0 0 0 1356 0 0 0 20 0 1 0 339009560 8060928 1728 33554432000 134512640 136080129 4287596784 4287595856 134849634 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16987/statm: 1968 1728 175 383 0 1583 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 144416

[startup+51.1003 s]
/proc/loadavg: 2.08 2.12 2.09 3/181 16987
/proc/meminfo: memFree=28555264/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=13.01 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 12530 3761 0 0 246 52 1002 1 20 0 1 0 339008367 139821056 6368 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6368 1180 1 0 5193 0
[pid=16987] ppid=16978 vsize=14532 CPUtime=39.16 cores=0,2,4,6
/proc/16987/stat : 16987 (clasp-1.3.3-x86) R 16978 16987 16987 0 -1 4202496 3682 0 0 0 3916 0 0 0 20 0 1 0 339009560 14880768 3370 33554432000 134512640 136080129 4287596784 4287595856 134849904 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16987/statm: 3633 3370 175 383 0 3248 0
Current children cumulated CPU time (s) 52.17
Current children cumulated vsize (KiB) 151076

[startup+102.307 s]
/proc/loadavg: 2.11 2.13 2.09 4/181 16991
/proc/meminfo: memFree=28464668/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=66.16 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 13715 8653 0 0 483 84 6047 2 20 0 1 0 339008367 139821056 6372 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6372 1180 1 0 5193 0
[pid=16990] ppid=16978 vsize=100240 CPUtime=39.87 cores=0,2,4,6
/proc/16990/stat : 16990 (wbo1.4a) R 16978 16990 16990 0 -1 4202496 25000 0 0 0 3936 51 0 0 20 0 1 0 339014609 102645760 24574 33554432000 134512640 135751879 4289789792 4289787408 134605082 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16990/statm: 25060 24574 139 303 0 24755 0
Current children cumulated CPU time (s) 106.03
Current children cumulated vsize (KiB) 236784

[startup+162.3 s]
/proc/loadavg: 2.04 2.10 2.08 4/181 16994
/proc/meminfo: memFree=28546020/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=119.83 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 14964 40329 0 0 732 120 11060 71 20 0 1 0 339008367 139821056 6372 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6372 1180 1 0 5193 0
[pid=16994] ppid=16978 vsize=15420 CPUtime=49.02 cores=0,2,4,6
/proc/16994/stat : 16994 (clasp-1.3.3-x86) R 16978 16994 16994 0 -1 4202496 3928 0 0 0 4902 0 0 0 20 0 1 0 339019693 15790080 3615 33554432000 134512640 136080129 4288708448 4288707520 134850073 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16994/statm: 3855 3615 175 383 0 3470 0
Current children cumulated CPU time (s) 168.85
Current children cumulated vsize (KiB) 151964

[startup+222.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/182 17003
/proc/meminfo: memFree=28460296/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=223.26 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 16217 46519 0 0 996 163 21094 73 20 0 1 0 339008367 139821056 6376 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6376 1180 1 0 5193 0
[pid=17003] ppid=16978 vsize=25288 CPUtime=8.63 cores=0,2,4,6
/proc/17003/stat : 17003 (wbo1.4a) R 16978 17003 17003 0 -1 4202496 6271 0 0 0 848 15 0 0 20 0 1 0 339029733 25894912 5850 33554432000 134512640 135751879 4292358064 4292356316 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/17003/statm: 6322 5850 139 303 0 6017 0
Current children cumulated CPU time (s) 231.89
Current children cumulated vsize (KiB) 161832

[startup+282.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/181 17009
/proc/meminfo: memFree=28437460/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=226.12 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 16252 46519 0 0 1246 199 21094 73 20 0 1 0 339008367 139821056 6376 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6376 1180 1 0 5193 0
[pid=17003] ppid=16978 vsize=161100 CPUtime=68.6 cores=0,2,4,6
/proc/17003/stat : 17003 (wbo1.4a) R 16978 17003 17003 0 -1 4202496 40229 0 0 0 6786 74 0 0 20 0 1 0 339029733 164966400 39793 33554432000 134512640 135751879 4292358064 4292356316 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/17003/statm: 40275 39793 139 303 0 39970 0
Current children cumulated CPU time (s) 294.72
Current children cumulated vsize (KiB) 297644

[startup+342.3 s]
/proc/loadavg: 2.14 2.11 2.09 3/181 17012
/proc/meminfo: memFree=28526972/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=330.34 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 17483 102295 0 0 1516 240 31109 169 20 0 1 0 339008367 139821056 6378 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6378 1180 1 0 5193 0
[pid=17012] ppid=16978 vsize=55152 CPUtime=27.45 cores=0,2,4,6
/proc/17012/stat : 17012 (wbo1.4b) R 16978 17012 17012 0 -1 4202496 13733 0 0 0 2737 8 0 0 20 0 1 0 339039849 56475648 13308 33554432000 134512640 135751879 4294359936 4294357392 134605082 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/17012/statm: 13788 13308 143 303 0 13483 0
Current children cumulated CPU time (s) 357.79
Current children cumulated vsize (KiB) 191696

[startup+402.301 s]
/proc/loadavg: 2.10 2.11 2.09 3/199 17043
/proc/meminfo: memFree=28476868/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=384.15 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 18729 126291 0 0 1776 277 36155 207 20 0 1 0 339008367 139821056 6379 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6379 1180 1 0 5193 0

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

/proc/17190/statm: 8313 8054 175 383 0 7928 0
Current children cumulated CPU time (s) 1114.61
Current children cumulated vsize (KiB) 169796

[startup+1122.3 s]
/proc/loadavg: 2.04 2.06 2.07 3/181 17206
/proc/meminfo: memFree=28501800/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=1163.98 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 42222 325966 0 2 4881 752 110381 384 20 0 1 0 339008367 139821056 6388 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6388 1180 1 0 5193 0
[pid=17206] ppid=16978 vsize=48592 CPUtime=13.59 cores=0,2,4,6
/proc/17206/stat : 17206 (bsolo_pb10) R 16978 17206 17206 0 -1 4202496 10258 0 0 0 1353 6 0 0 20 0 1 0 339119237 49758208 9717 33554432000 134512640 137138936 4288153024 4288151540 134551152 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/17206/statm: 12148 9717 192 642 0 11504 0
Current children cumulated CPU time (s) 1177.57
Current children cumulated vsize (KiB) 185136

[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.07 3/199 17227
/proc/meminfo: memFree=28338448/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=1166.83 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 42246 325966 0 2 5129 789 110381 384 20 0 1 0 339008367 139821056 6388 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6388 1180 1 0 5193 0
[pid=17206] ppid=16978 vsize=143908 CPUtime=73.55 cores=0,2,4,6
/proc/17206/stat : 17206 (bsolo_pb10) R 16978 17206 17206 0 -1 4202496 34183 0 0 0 7341 14 0 0 20 0 1 0 339119237 147361792 33563 33554432000 134512640 137138936 4288153024 4288151952 134542286 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/17206/statm: 35977 33563 192 642 0 35333 0
Current children cumulated CPU time (s) 1240.38
Current children cumulated vsize (KiB) 280452

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/181 17236
/proc/meminfo: memFree=28565708/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=1280.49 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 44730 377821 0 2 5384 826 121436 403 20 0 1 0 339008367 139821056 6388 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6388 1180 1 0 5193 0
[pid=17233] ppid=16978 vsize=13188 CPUtime=22.77 cores=0,2,4,6
/proc/17233/stat : 17233 (clasp-1.3.3-x86) R 16978 17233 17233 0 -1 4202496 3368 0 0 0 2277 0 0 0 20 0 1 0 339130319 13504512 3047 33554432000 134512640 136080129 4286825648 4286824720 134849981 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/17233/statm: 3297 3047 175 383 0 2912 0
Current children cumulated CPU time (s) 1303.26
Current children cumulated vsize (KiB) 149732

[startup+1302.3 s]
/proc/loadavg: 2.15 2.07 2.07 3/181 17236
/proc/meminfo: memFree=28516044/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=1283.31 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 44755 377821 0 2 5626 866 121436 403 20 0 1 0 339008367 139821056 6388 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6388 1180 1 0 5193 0
[pid=17233] ppid=16978 vsize=18748 CPUtime=82.77 cores=0,2,4,6
/proc/17233/stat : 17233 (clasp-1.3.3-x86) R 16978 17233 17233 0 -1 4202496 4764 0 0 0 8276 1 0 0 20 0 1 0 339130319 19197952 4438 33554432000 134512640 136080129 4286825648 4286824740 134607900 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/17233/statm: 4687 4438 175 383 0 4302 0
Current children cumulated CPU time (s) 1366.08
Current children cumulated vsize (KiB) 155292

[startup+1362.3 s]
/proc/loadavg: 2.21 2.09 2.07 3/181 17249
/proc/meminfo: memFree=28533684/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=1406.71 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 48470 390558 0 2 5886 903 133475 407 20 0 1 0 339008367 139821056 6388 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6388 1180 1 0 5193 0
[pid=17246] ppid=16978 vsize=10336 CPUtime=22.28 cores=0,2,4,6
/proc/17246/stat : 17246 (clasp-1.3.3-x86) R 16978 17246 17246 0 -1 4202496 2669 0 0 0 2228 0 0 0 20 0 1 0 339142368 10584064 2351 33554432000 134512640 136080129 4291924608 4291923600 134844340 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/17246/statm: 2584 2351 175 383 0 2199 0
Current children cumulated CPU time (s) 1428.99
Current children cumulated vsize (KiB) 146880

[startup+1422.31 s]
/proc/loadavg: 2.20 2.10 2.08 3/182 17267
/proc/meminfo: memFree=28556276/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=1470.12 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 50959 398951 0 2 6141 939 139522 410 20 0 1 0 339008367 139821056 6389 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6389 1180 1 0 5193 0
[pid=17261] ppid=16978 vsize=12136 CPUtime=21.74 cores=0,2,4,6
/proc/17261/stat : 17261 (clasp-1.3.3-x86) R 16978 17261 17261 0 -1 4202496 3117 0 0 0 2174 0 0 0 20 0 1 0 339148422 12427264 2798 33554432000 134512640 136080129 4291321456 4291320532 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/17261/statm: 3034 2798 175 383 0 2649 0
Current children cumulated CPU time (s) 1491.86
Current children cumulated vsize (KiB) 148680

[startup+1482.3 s]
/proc/loadavg: 2.14 2.09 2.08 3/181 17285
/proc/meminfo: memFree=28571460/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=1472.94 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 50989 398951 0 2 6383 979 139522 410 20 0 1 0 339008367 139821056 6389 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6389 1180 1 0 5193 0
[pid=17261] ppid=16978 vsize=21308 CPUtime=81.73 cores=0,2,4,6
/proc/17261/stat : 17261 (clasp-1.3.3-x86) R 16978 17261 17261 0 -1 4202496 5419 0 0 0 8172 1 0 0 20 0 1 0 339148422 21819392 5093 33554432000 134512640 136080129 4291321456 4291320448 134589230 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/17261/statm: 5327 5093 175 383 0 4942 0
Current children cumulated CPU time (s) 1554.67
Current children cumulated vsize (KiB) 157852

[startup+1542.3 s]
/proc/loadavg: 2.05 2.08 2.07 4/181 17318
/proc/meminfo: memFree=28583372/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=1596.34 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 54703 411251 0 2 6639 1021 151560 414 20 0 1 0 339008367 139821056 6391 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6391 1180 1 0 5193 0
[pid=17315] ppid=16978 vsize=10620 CPUtime=21.25 cores=0,2,4,6
/proc/17315/stat : 17315 (clasp-1.3.3-x86) R 16978 17315 17315 0 -1 4202496 2728 0 0 0 2125 0 0 0 20 0 1 0 339160471 10874880 2408 33554432000 134512640 136080129 4292026688 4292025680 134588606 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/17315/statm: 2655 2409 175 383 0 2270 0
Current children cumulated CPU time (s) 1617.59
Current children cumulated vsize (KiB) 147164

[startup+1602.3 s]
/proc/loadavg: 2.02 2.06 2.07 3/181 17333
/proc/meminfo: memFree=28564268/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=1599.15 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 54735 411251 0 2 6881 1060 151560 414 20 0 1 0 339008367 139821056 6391 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6391 1180 1 0 5193 0
[pid=17315] ppid=16978 vsize=23340 CPUtime=81.25 cores=0,2,4,6
/proc/17315/stat : 17315 (clasp-1.3.3-x86) R 16978 17315 17315 0 -1 4202496 5910 0 0 0 8124 1 0 0 20 0 1 0 339160471 23900160 5583 33554432000 134512640 136080129 4292026688 4292025632 134579945 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/17315/statm: 5835 5583 175 383 0 5450 0
Current children cumulated CPU time (s) 1680.4
Current children cumulated vsize (KiB) 159884

[startup+1662.3 s]
/proc/loadavg: 2.05 2.06 2.07 4/181 17343
/proc/meminfo: memFree=28566568/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=1722.5 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 58442 424108 0 2 7135 1101 163596 418 20 0 1 0 339008367 139821056 6392 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6392 1180 1 0 5193 0
[pid=17343] ppid=16978 vsize=11392 CPUtime=20.81 cores=0,2,4,6
/proc/17343/stat : 17343 (clasp-1.3.3-x86) R 16978 17343 17343 0 -1 4202496 2910 0 0 0 2081 0 0 0 20 0 1 0 339172515 11665408 2590 33554432000 134512640 136080129 4294335600 4294334692 134607923 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/17343/statm: 2848 2590 175 383 0 2463 0
Current children cumulated CPU time (s) 1743.31
Current children cumulated vsize (KiB) 147936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1716.5 s]
/proc/loadavg: 2.08 2.06 2.07 3/182 17344
/proc/meminfo: memFree=28551348/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=1725.05 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 58465 424108 0 2 7357 1134 163596 418 20 0 1 0 339008367 139821056 6392 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6392 1180 1 0 5193 0
[pid=17343] ppid=16978 vsize=21392 CPUtime=75 cores=0,2,4,6
/proc/17343/stat : 17343 (clasp-1.3.3-x86) R 16978 17343 17343 0 -1 4202496 5506 0 0 0 7499 1 0 0 20 0 1 0 339172515 21905408 5100 33554432000 134512640 136080129 4294335600 4294334560 134808286 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/17343/statm: 5348 5100 175 383 0 4963 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 157936

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

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

[startup+1716.5 s]
/proc/loadavg: 2.08 2.06 2.07 3/182 17344
/proc/meminfo: memFree=28551348/32873844 swapFree=7380/7380
[pid=16978] ppid=16976 vsize=136544 CPUtime=1725.05 cores=0,2,4,6
/proc/16978/stat : 16978 (python) S 16976 16978 11290 0 -1 4202496 58465 424108 0 2 7357 1134 163596 418 20 0 1 0 339008367 139821056 6392 33554432000 4194304 4196484 140733259140144 140733259131904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16978/statm: 34136 6392 1180 1 0 5193 0
[pid=17343] ppid=16978 vsize=21392 CPUtime=75 cores=0,2,4,6
/proc/17343/stat : 17343 (clasp-1.3.3-x86) R 16978 17343 17343 0 -1 4202496 5506 0 0 0 7499 1 0 0 20 0 1 0 339172515 21905408 5100 33554432000 134512640 136080129 4294335600 4294334560 134808286 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/17343/statm: 5348 5100 175 383 0 4963 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 157936

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16978 and gives
#  childrusage.ru_utime.tv_sec=1709
#  childrusage.ru_utime.tv_usec=538110
#  childrusage.ru_stime.tv_sec=15
#  childrusage.ru_stime.tv_usec=531638
# CPU time returned by wait4() is 1725.07
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1716.51
CPU time (s): 1800.05
CPU user time (s): 1784.52
CPU system time (s): 15.53
CPU usage (%): 104.867
Max. virtual memory (cumulated for all children) (KiB): 2851684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1709.54
system time used= 15.5316
maximum resident set size= 298676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482573
page faults= 2
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11060
involuntary context switches= 2674

runsolver used 4.15237 second user time and 8.75267 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 15:07:14
IDJOB=3742118
IDBENCH=90133
IDSOLVER=2323
FILE ID=node133/3742118-1338728834
RUNJOBID= node133-1338713154-11306
PBS_JOBID= 14636724
Free space on /tmp= 70464 MiB

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

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

MD5SUM BENCH= 96708928b3148fdbe0ae701534d6c3d7
RANDOM SEED=1818008023

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28592692 kB
Buffers:          468312 kB
Cached:          2850964 kB
SwapCached:          676 kB
Active:          1571392 kB
Inactive:        1807480 kB
Active(anon):      51180 kB
Inactive(anon):    10220 kB
Active(file):    1520212 kB
Inactive(file):  1797260 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             21088 kB
Writeback:             0 kB
AnonPages:         65988 kB
Mapped:            14564 kB
Shmem:                 0 kB
Slab:             761396 kB
SReclaimable:     202208 kB
SUnreclaim:       559188 kB
KernelStack:        1472 kB
PageTables:         4240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     175340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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= 70444 MiB
End job on node133 at 2012-06-03 15:35:54