Trace number 3742040

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 1719.61

General information on the benchmark

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.03 2.04 2/179 16694
/proc/meminfo: memFree=28532908/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/16694/stat : 16694 (python) D 16692 16694 11290 0 -1 4202496 756 0 0 0 0 0 0 0 20 0 1 0 338913556 15642624 527 33554432000 4194304 5683644 140735395450032 140735395435944 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 3 0 0 0 0 0
/proc/16694/statm: 3819 527 312 364 0 261 0

[startup+0.0715081 s]
/proc/loadavg: 2.00 2.03 2.04 2/179 16694
/proc/meminfo: memFree=28532908/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=16592 CPUtime=0.01 cores=1,3,5,7
/proc/16694/stat : 16694 (python) D 16692 16694 11290 0 -1 4202496 1363 0 0 0 1 0 0 0 20 0 1 0 338913556 16990208 1030 33554432000 4194304 5683644 140735395450032 140735395414056 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 3 0 0 0 0 0
/proc/16694/statm: 4148 1030 422 364 0 590 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16592

[startup+0.100318 s]
/proc/loadavg: 2.00 2.03 2.04 2/179 16694
/proc/meminfo: memFree=28532908/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=17660 CPUtime=0.02 cores=1,3,5,7
/proc/16694/stat : 16694 (python) R 16692 16694 11290 0 -1 4202496 2215 0 0 0 1 1 0 0 20 0 1 0 338913556 18083840 724 33554432000 4194304 4196484 140736508077280 140736508007448 215143497476 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/16694/statm: 4415 724 354 1 0 350 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17660

[startup+0.300245 s]
/proc/loadavg: 2.00 2.03 2.04 2/179 16694
/proc/meminfo: memFree=28532908/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=54512 CPUtime=0.08 cores=1,3,5,7
/proc/16694/stat : 16694 (python) D 16692 16694 11290 0 -1 4202496 3954 0 0 0 4 4 0 0 20 0 1 0 338913556 55820288 2143 33554432000 4194304 4196484 140736508077280 140736507923096 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/16694/statm: 13628 2143 600 1 0 1483 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54512

[startup+0.700209 s]
/proc/loadavg: 2.00 2.03 2.04 2/179 16694
/proc/meminfo: memFree=28532908/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=100120 CPUtime=0.25 cores=1,3,5,7
/proc/16694/stat : 16694 (python) R 16692 16694 11290 0 -1 4202496 5988 0 0 0 14 11 0 0 20 0 1 0 338913556 102522880 3824 33554432000 4194304 4196484 140736508077280 140736508020552 215143124884 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/16694/statm: 25030 3825 1047 1 0 2832 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 100120

[startup+1.50027 s]
/proc/loadavg: 2.00 2.03 2.04 3/180 16699
/proc/meminfo: memFree=28511680/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=118120 CPUtime=0.47 cores=1,3,5,7
/proc/16694/stat : 16694 (python) D 16692 16694 11290 0 -1 4202496 9594 1014 0 0 28 19 0 0 20 0 1 0 338913556 120954880 5831 33554432000 4194304 4196484 140736508077280 140736508010888 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 29530 5831 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 118120

[startup+3.10025 s]
/proc/loadavg: 2.00 2.03 2.04 3/181 16700
/proc/meminfo: memFree=28502380/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=134456 CPUtime=0.66 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 11250 1014 0 0 43 23 0 0 20 0 1 0 338913556 137682944 6349 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 33614 6349 1170 1 0 5186 0
[pid=16700] ppid=16694 vsize=4676 CPUtime=1.28 cores=1,3,5,7
/proc/16700/stat : 16700 (clasp-1.3.3-x86) R 16694 16700 16700 0 -1 4202496 1218 0 0 0 128 0 0 0 20 0 1 0 338913737 4788224 903 33554432000 134512640 136080129 4291936848 4291935936 134591714 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16700/statm: 1169 903 175 383 0 784 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 139132
heavy processes:

[startup+6.30025 s]
/proc/loadavg: 2.08 2.05 2.05 3/181 16700
/proc/meminfo: memFree=28492460/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=134456 CPUtime=0.8 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 11259 1014 0 0 55 25 0 0 20 0 1 0 338913556 137682944 6349 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 33614 6349 1170 1 0 5186 0
[pid=16700] ppid=16694 vsize=5204 CPUtime=4.48 cores=1,3,5,7
/proc/16700/stat : 16700 (clasp-1.3.3-x86) R 16694 16700 16700 0 -1 4202496 1380 0 0 0 448 0 0 0 20 0 1 0 338913737 5328896 1065 33554432000 134512640 136080129 4291936848 4291935808 134808433 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16700/statm: 1301 1065 175 383 0 916 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 139660

[startup+12.7002 s]
/proc/loadavg: 2.16 2.07 2.05 3/181 16700
/proc/meminfo: memFree=28476456/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=11.66 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 12501 3641 0 0 84 29 1052 1 20 0 1 0 338913556 139792384 6369 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6369 1180 1 0 5186 0
Current children cumulated CPU time (s) 11.66
Current children cumulated vsize (KiB) 136516

[startup+25.5003 s]
/proc/loadavg: 2.20 2.08 2.06 3/181 16706
/proc/meminfo: memFree=28590756/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=12.25 cores=1,3,5,7
/proc/16694/stat : 16694 (python) R 16692 16694 11290 0 -1 4202496 12528 3641 0 0 137 35 1052 1 20 0 1 0 338913556 139792384 6369 33554432000 4194304 4196484 140736508077280 140736508069040 215143539639 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6369 1180 1 0 5186 0
[pid=16703] ppid=16694 vsize=7428 CPUtime=13.13 cores=1,3,5,7
/proc/16703/stat : 16703 (clasp-1.3.3-x86) R 16694 16703 16703 0 -1 4202496 1915 0 0 0 1313 0 0 0 20 0 1 0 338914791 7606272 1604 33554432000 134512640 136080129 4286874176 4286873308 134597792 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16703/statm: 1857 1604 175 383 0 1472 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 143944

[startup+51.1003 s]
/proc/loadavg: 2.28 2.10 2.06 3/181 16706
/proc/meminfo: memFree=28576728/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=13.37 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 12553 3641 0 0 231 53 1052 1 20 0 1 0 338913556 139792384 6369 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6369 1180 1 0 5186 0
[pid=16703] ppid=16694 vsize=14708 CPUtime=38.72 cores=1,3,5,7
/proc/16703/stat : 16703 (clasp-1.3.3-x86) R 16694 16703 16703 0 -1 4202496 3739 0 0 0 3872 0 0 0 20 0 1 0 338914791 15060992 3423 33554432000 134512640 136080129 4286874176 4286873248 134850404 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16703/statm: 3677 3423 175 383 0 3292 0
Current children cumulated CPU time (s) 52.09
Current children cumulated vsize (KiB) 151224

[startup+102.307 s]
/proc/loadavg: 2.18 2.10 2.06 3/181 16709
/proc/meminfo: memFree=28476292/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=66.34 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 13721 8838 0 0 455 90 6086 3 20 0 1 0 338913556 139792384 6374 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6374 1180 1 0 5186 0
[pid=16709] ppid=16694 vsize=106684 CPUtime=39.55 cores=1,3,5,7
/proc/16709/stat : 16709 (wbo1.4a) R 16694 16709 16709 0 -1 4202496 26640 0 0 0 3880 75 0 0 20 0 1 0 338919829 109244416 26216 33554432000 134512640 135751879 4291393056 4291391308 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16709/statm: 26671 26216 139 303 0 26366 0
Current children cumulated CPU time (s) 105.89
Current children cumulated vsize (KiB) 243200

[startup+162.3 s]
/proc/loadavg: 2.07 2.08 2.06 3/181 16716
/proc/meminfo: memFree=28471824/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=120.26 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 14966 43350 0 0 693 127 11102 104 20 0 1 0 338913556 139792384 6375 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6375 1180 1 0 5186 0
[pid=16712] ppid=16694 vsize=17552 CPUtime=48.34 cores=1,3,5,7
/proc/16712/stat : 16712 (clasp-1.3.3-x86) R 16694 16712 16712 0 -1 4202496 4470 0 0 0 4834 0 0 0 20 0 1 0 338924949 17973248 4153 33554432000 134512640 136080129 4286778336 4286777296 134808296 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16712/statm: 4388 4153 175 383 0 4003 0
Current children cumulated CPU time (s) 168.6
Current children cumulated vsize (KiB) 154068

[startup+222.3 s]
/proc/loadavg: 2.02 2.06 2.05 4/181 16719
/proc/meminfo: memFree=28331000/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=223.38 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 16219 50234 0 0 950 167 21115 106 20 0 1 0 338913556 139792384 6376 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6376 1180 1 0 5186 0
[pid=16719] ppid=16694 vsize=25004 CPUtime=8.16 cores=1,3,5,7
/proc/16719/stat : 16719 (wbo1.4a) R 16694 16719 16719 0 -1 4202496 6213 0 0 0 796 20 0 0 20 0 1 0 338934968 25604096 5781 33554432000 134512640 135751879 4290906128 4290904380 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16719/statm: 6251 5781 139 303 0 5946 0
Current children cumulated CPU time (s) 231.54
Current children cumulated vsize (KiB) 161520

[startup+282.3 s]
/proc/loadavg: 2.04 2.06 2.05 4/199 16743
/proc/meminfo: memFree=28355916/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=226.16 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 16256 50234 0 0 1189 206 21115 106 20 0 1 0 338913556 139792384 6376 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6376 1180 1 0 5186 0
[pid=16719] ppid=16694 vsize=176120 CPUtime=68.12 cores=1,3,5,7
/proc/16719/stat : 16719 (wbo1.4a) R 16694 16719 16719 0 -1 4202496 44041 0 0 0 6680 132 0 0 20 0 1 0 338934968 180346880 43571 33554432000 134512640 135751879 4290906128 4290903744 134605082 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16719/statm: 44030 43571 139 303 0 43725 0
Current children cumulated CPU time (s) 294.28
Current children cumulated vsize (KiB) 312636

[startup+342.3 s]
/proc/loadavg: 2.21 2.10 2.06 3/199 16746
/proc/meminfo: memFree=28385316/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=330.62 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 17484 111796 0 0 1429 250 31127 256 20 0 1 0 338913556 139792384 6377 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6377 1180 1 0 5186 0
[pid=16746] ppid=16694 vsize=59444 CPUtime=26.46 cores=1,3,5,7
/proc/16746/stat : 16746 (wbo1.4b) R 16694 16746 16746 0 -1 4202496 14823 0 0 0 2642 4 0 0 20 0 1 0 338945137 60870656 14398 33554432000 134512640 135751879 4292665408 4292662972 134697033 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/16746/statm: 14861 14398 142 303 0 14556 0
Current children cumulated CPU time (s) 357.08
Current children cumulated vsize (KiB) 195960

[startup+402.301 s]
/proc/loadavg: 2.18 2.11 2.07 3/199 16770
/proc/meminfo: memFree=28427812/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=384.26 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 18729 127555 0 0 1689 292 36166 279 20 0 1 0 338913556 139792384 6379 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6379 1180 1 0 5186 0
[pid=16749] ppid=16694 vsize=2715136 CPUtime=36.5 cores=1,3,5,7
/proc/16749/stat : 16749 (java) S 16694 16749 16749 0 -1 4202496 9036 0 1 0 3645 5 0 0 20 0 19 0 338950201 2780299264 30839 33554432000 1073741824 1073778376 140734296408400 140734296399536 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16749/statm: 678784 30839 2250 9 0 669477 0

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

/proc/16939/statm: 8517 8268 175 383 0 8132 0
Current children cumulated CPU time (s) 1049.98
Current children cumulated vsize (KiB) 170584

[startup+1062.3 s]
/proc/loadavg: 2.09 2.12 2.09 4/181 16994
/proc/meminfo: memFree=28561152/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=863.65 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 40994 306504 0 2 4395 739 80774 457 20 0 1 0 338913556 139792384 6389 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6389 1180 1 0 5186 0
[pid=16939] ppid=16694 vsize=36424 CPUtime=249.03 cores=1,3,5,7
/proc/16939/stat : 16939 (clasp-1.3.3-x86) R 16694 16939 16939 0 -1 4202496 9225 0 0 0 24901 2 0 0 20 0 1 0 338994876 37298176 8861 33554432000 134512640 136080129 4290906096 4290905040 134804920 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16939/statm: 9106 8861 175 383 0 8721 0
Current children cumulated CPU time (s) 1112.68
Current children cumulated vsize (KiB) 172940

[startup+1122.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/182 17000
/proc/meminfo: memFree=28549696/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=1166.86 cores=1,3,5,7
/proc/16694/stat : 16694 (python) R 16692 16694 11290 0 -1 4202496 42221 317430 0 2 4637 779 110809 461 20 0 1 0 338913556 139792384 6389 33554432000 4194304 4196484 140736508077280 140736508069040 215143497476 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6389 1180 1 0 5186 0
[pid=17000] ppid=16694 vsize=43324 CPUtime=8.62 cores=1,3,5,7
/proc/17000/stat : 17000 (bsolo_pb10) R 16694 17000 17000 0 -1 4202496 8938 0 0 0 858 4 0 0 20 0 1 0 339024922 44363776 8382 33554432000 134512640 137138936 4290926816 4290925932 136570369 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/17000/statm: 10831 8382 192 642 0 10187 0
Current children cumulated CPU time (s) 1175.48
Current children cumulated vsize (KiB) 179840

[startup+1182.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/181 17003
/proc/meminfo: memFree=28403248/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=1169.62 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 42260 317430 0 2 4872 820 110809 461 20 0 1 0 338913556 139792384 6390 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6390 1180 1 0 5186 0
[pid=17000] ppid=16694 vsize=149636 CPUtime=68.57 cores=1,3,5,7
/proc/17000/stat : 17000 (bsolo_pb10) R 16694 17000 17000 0 -1 4202496 35575 0 0 0 6839 18 0 0 20 0 1 0 339024922 153227264 34991 33554432000 134512640 137138936 4290926816 4290925744 134542480 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/17000/statm: 37409 34991 192 642 0 36765 0
Current children cumulated CPU time (s) 1238.19
Current children cumulated vsize (KiB) 286152

[startup+1242.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/181 17009
/proc/meminfo: memFree=28411280/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=1283.65 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 44739 367853 0 2 5117 860 121902 486 20 0 1 0 338913556 139792384 6390 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6390 1180 1 0 5186 0
[pid=17009] ppid=16694 vsize=9224 CPUtime=17.34 cores=1,3,5,7
/proc/17009/stat : 17009 (clasp-1.3.3-x86) R 16694 17009 17009 0 -1 4202496 2361 0 0 0 1734 0 0 0 20 0 1 0 339036050 9445376 2044 33554432000 134512640 136080129 4290504864 4290503808 134716415 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17009/statm: 2306 2044 175 383 0 1921 0
Current children cumulated CPU time (s) 1300.99
Current children cumulated vsize (KiB) 145740

[startup+1302.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/181 17012
/proc/meminfo: memFree=28526900/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=1286.34 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 44769 367853 0 2 5349 897 121902 486 20 0 1 0 338913556 139792384 6390 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6390 1180 1 0 5186 0
[pid=17009] ppid=16694 vsize=19952 CPUtime=77.34 cores=1,3,5,7
/proc/17009/stat : 17009 (clasp-1.3.3-x86) R 16694 17009 17009 0 -1 4202496 5054 0 0 0 7733 1 0 0 20 0 1 0 339036050 20430848 4732 33554432000 134512640 136080129 4290504864 4290503924 134588564 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17009/statm: 4988 4732 175 383 0 4603 0
Current children cumulated CPU time (s) 1363.68
Current children cumulated vsize (KiB) 156468

[startup+1362.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/199 17043
/proc/meminfo: memFree=28455832/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=1410.44 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 48503 380521 0 2 5594 939 134020 491 20 0 1 0 338913556 139792384 6391 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6391 1180 1 0 5186 0
[pid=17042] ppid=16694 vsize=7952 CPUtime=16.07 cores=1,3,5,7
/proc/17042/stat : 17042 (clasp-1.3.3-x86) R 16694 17042 17042 0 -1 4202496 2042 0 0 0 1607 0 0 0 20 0 1 0 339048178 8142848 1725 33554432000 134512640 136080129 4291140160 4291139248 134580608 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17042/statm: 1988 1725 175 383 0 1603 0
Current children cumulated CPU time (s) 1426.51
Current children cumulated vsize (KiB) 144468

[startup+1422.31 s]
/proc/loadavg: 2.14 2.11 2.09 3/181 17052
/proc/meminfo: memFree=28536552/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=1473.61 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 50986 388802 0 2 5837 976 140054 494 20 0 1 0 338913556 139792384 6392 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6392 1180 1 0 5186 0
[pid=17049] ppid=16694 vsize=9768 CPUtime=15.66 cores=1,3,5,7
/proc/17049/stat : 17049 (clasp-1.3.3-x86) R 16694 17049 17049 0 -1 4202496 2517 0 0 0 1566 0 0 0 20 0 1 0 339054219 10002432 2199 33554432000 134512640 136080129 4288982832 4288981824 134588840 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17049/statm: 2442 2199 175 383 0 2057 0
Current children cumulated CPU time (s) 1489.27
Current children cumulated vsize (KiB) 146284

[startup+1482.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/181 17052
/proc/meminfo: memFree=28425288/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=1476.3 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 51012 388802 0 2 6072 1010 140054 494 20 0 1 0 338913556 139792384 6392 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6392 1180 1 0 5186 0
[pid=17049] ppid=16694 vsize=20768 CPUtime=75.64 cores=1,3,5,7
/proc/17049/stat : 17049 (clasp-1.3.3-x86) R 16694 17049 17049 0 -1 4202496 5255 0 0 0 7563 1 0 0 20 0 1 0 339054219 21266432 4937 33554432000 134512640 136080129 4288982832 4288981776 134579995 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17049/statm: 5192 4937 175 383 0 4807 0
Current children cumulated CPU time (s) 1551.94
Current children cumulated vsize (KiB) 157284

[startup+1542.3 s]
/proc/loadavg: 2.09 2.10 2.09 4/181 17064
/proc/meminfo: memFree=28510028/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=1600.36 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 54729 400716 0 2 6320 1047 152170 499 20 0 1 0 338913556 139792384 6393 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6393 1180 1 0 5186 0
[pid=17064] ppid=16694 vsize=7692 CPUtime=14.38 cores=1,3,5,7
/proc/17064/stat : 17064 (clasp-1.3.3-x86) R 16694 17064 17064 0 -1 4202496 1986 0 0 0 1438 0 0 0 20 0 1 0 339066347 7876608 1669 33554432000 134512640 136080129 4291438800 4291437760 134808261 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17064/statm: 1923 1669 175 383 0 1538 0
Current children cumulated CPU time (s) 1614.74
Current children cumulated vsize (KiB) 144208

[startup+1602.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/181 17076
/proc/meminfo: memFree=28573944/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136516 CPUtime=1603.04 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 54764 400716 0 2 6550 1085 152170 499 20 0 1 0 338913556 139792384 6393 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34129 6393 1180 1 0 5186 0
[pid=17064] ppid=16694 vsize=20420 CPUtime=74.36 cores=1,3,5,7
/proc/17064/stat : 17064 (clasp-1.3.3-x86) R 16694 17064 17064 0 -1 4202496 5187 0 0 0 7436 0 0 0 20 0 1 0 339066347 20910080 4868 33554432000 134512640 136080129 4291438800 4291437792 134588752 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17064/statm: 5105 4868 175 383 0 4720 0
Current children cumulated CPU time (s) 1677.4
Current children cumulated vsize (KiB) 156936

[startup+1662.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/199 17122
/proc/meminfo: memFree=28522856/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136648 CPUtime=1726.59 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 58457 413260 0 2 6798 1122 164236 503 20 0 1 0 338913556 139927552 6394 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34162 6394 1180 1 0 5219 0
[pid=17100] ppid=16694 vsize=8464 CPUtime=13.61 cores=1,3,5,7
/proc/17100/stat : 17100 (clasp-1.3.3-x86) R 16694 17100 17100 0 -1 4202496 2193 0 0 0 1361 0 0 0 20 0 1 0 339078423 8667136 1877 33554432000 134512640 136080129 4291022096 4291021256 134856198 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17100/statm: 2116 1877 175 383 0 1731 0
Current children cumulated CPU time (s) 1740.2
Current children cumulated vsize (KiB) 145112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1719.6 s]
/proc/loadavg: 2.01 2.07 2.08 3/182 17131
/proc/meminfo: memFree=28543292/32873844 swapFree=7380/7380
[pid=16694] ppid=16692 vsize=136648 CPUtime=1729.14 cores=1,3,5,7
/proc/16694/stat : 16694 (python) S 16692 16694 11290 0 -1 4202496 58499 413260 0 2 7019 1156 164236 503 20 0 1 0 338913556 139927552 6394 33554432000 4194304 4196484 140736508077280 140736508069040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/16694/statm: 34162 6394 1180 1 0 5219 0
[pid=17100] ppid=16694 vsize=20892 CPUtime=70.91 cores=1,3,5,7
/proc/17100/stat : 17100 (clasp-1.3.3-x86) R 16694 17100 17100 0 -1 4202496 5305 0 0 0 7091 0 0 0 20 0 1 0 339078423 21393408 4989 33554432000 134512640 136080129 4291022096 4291021088 134844922 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/17100/statm: 5223 4989 175 383 0 4838 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 157540

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 16694 and gives
#  childrusage.ru_utime.tv_sec=1712
#  childrusage.ru_utime.tv_usec=566650
#  childrusage.ru_stime.tv_sec=16
#  childrusage.ru_stime.tv_usec=604475
# CPU time returned by wait4() is 1729.17
# 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): 1719.61
CPU time (s): 1800.05
CPU user time (s): 1783.46
CPU system time (s): 16.59
CPU usage (%): 104.678
Max. virtual memory (cumulated for all children) (KiB): 2851656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1712.57
system time used= 16.6045
maximum resident set size= 246460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 471759
page faults= 2
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11229
involuntary context switches= 2550

runsolver used 3.73043 second user time and 9.28559 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 14:51:27
IDJOB=3742040
IDBENCH=90127
IDSOLVER=2323
FILE ID=node133/3742040-1338727887
RUNJOBID= node133-1338713154-11307
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_K107.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742040-1338727887/watcher-3742040-1338727887 -o /tmp/evaluation-result-3742040-1338727887/solver-3742040-1338727887 -C 1800 -W 1900 -M 15500  solver HOME/instance-3742040-1338727887.opb 1191585268 

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

MD5SUM BENCH= f523e4bc7acd98550e38ca37c8d9200b
RANDOM SEED=1191585268

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:        28533048 kB
Buffers:          467116 kB
Cached:          2850708 kB
SwapCached:          676 kB
Active:          1631456 kB
Inactive:        1807364 kB
Active(anon):     112544 kB
Inactive(anon):    10220 kB
Active(file):    1518912 kB
Inactive(file):  1797144 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             21056 kB
Writeback:             0 kB
AnonPages:        127068 kB
Mapped:            14420 kB
Shmem:                 0 kB
Slab:             760948 kB
SReclaimable:     202488 kB
SUnreclaim:       558460 kB
KernelStack:        1472 kB
PageTables:         4444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     237692 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:20:09