Trace number 3742196

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 1720.71

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K101.opb
MD5SUMa3de6c6ee42f8b511357d3857e721bb4
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 benchmark198.533
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6868
Total number of constraints7072
Number of constraints which are clauses6971
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint101
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 102
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.09 2.08 2.09 3/177 20835
/proc/meminfo: memFree=27017080/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/20835/stat : 20835 (python) D 20833 20835 15301 0 -1 4202496 759 0 0 0 0 0 0 0 20 0 1 0 339098648 15642624 527 33554432000 4194304 5683644 140736219906816 140736219892728 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/20835/statm: 3819 527 312 364 0 261 0

[startup+0.0761469 s]
/proc/loadavg: 2.09 2.08 2.09 3/177 20835
/proc/meminfo: memFree=27017080/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=236 CPUtime=0.01 cores=1,3,5,7
/proc/20835/stat : 20835 (python) D 20833 20835 15301 0 -1 4202496 1473 0 0 0 1 0 0 0 20 0 1 0 339098648 241664 32 33554432000 4194304 4196484 140735030366368 140735030363560 251043867943 0 0 16781312 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/20835/statm: 59 32 24 1 0 25 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 236

[startup+0.100279 s]
/proc/loadavg: 2.09 2.08 2.09 3/177 20835
/proc/meminfo: memFree=27017080/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=17632 CPUtime=0.01 cores=1,3,5,7
/proc/20835/stat : 20835 (python) D 20833 20835 15301 0 -1 4202496 2243 0 0 0 1 0 0 0 20 0 1 0 339098648 18055168 744 33554432000 4194304 4196484 140735030366368 140735030310472 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/20835/statm: 4408 744 367 1 0 343 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17632

[startup+0.300214 s]
/proc/loadavg: 2.09 2.08 2.09 3/177 20835
/proc/meminfo: memFree=27017080/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=57148 CPUtime=0.08 cores=1,3,5,7
/proc/20835/stat : 20835 (python) D 20833 20835 15301 0 -1 4202496 4110 0 0 0 5 3 0 0 20 0 1 0 339098648 58519552 2252 33554432000 4194304 4196484 140735030366368 140735030221896 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/20835/statm: 14287 2252 603 1 0 1625 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 57148

[startup+0.700273 s]
/proc/loadavg: 2.09 2.08 2.09 3/177 20835
/proc/meminfo: memFree=27017080/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=103804 CPUtime=0.25 cores=1,3,5,7
/proc/20835/stat : 20835 (python) R 20833 20835 15301 0 -1 4202496 6865 1014 0 0 18 7 0 0 20 0 1 0 339098648 106295296 4266 33554432000 4194304 4196484 140735030366368 140735030332328 140026932101117 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 25951 4266 1052 1 0 3237 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 103804

[startup+1.50022 s]
/proc/loadavg: 2.09 2.08 2.09 3/178 20840
/proc/meminfo: memFree=26998216/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=118124 CPUtime=0.43 cores=1,3,5,7
/proc/20835/stat : 20835 (python) D 20833 20835 15301 0 -1 4202496 9599 1014 0 0 28 15 0 0 20 0 1 0 339098648 120958976 5832 33554432000 4194304 4196484 140735030366368 140735030299976 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 29531 5832 1083 1 0 4730 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 118124

[startup+3.10024 s]
/proc/loadavg: 2.08 2.08 2.09 3/179 20841
/proc/meminfo: memFree=26991752/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=134460 CPUtime=0.6 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 11252 1014 0 0 43 17 0 0 20 0 1 0 339098648 137687040 6349 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 33615 6349 1170 1 0 5187 0
[pid=20841] ppid=20835 vsize=4612 CPUtime=1.4 cores=1,3,5,7
/proc/20841/stat : 20841 (clasp-1.3.3-x86) R 20835 20841 20841 0 -1 4202496 1231 0 0 0 140 0 0 0 20 0 1 0 339098817 4722688 916 33554432000 134512640 136080129 4293228976 4293228048 134849100 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20841/statm: 1153 916 175 383 0 768 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 139072
heavy processes:

[startup+6.30034 s]
/proc/loadavg: 2.08 2.08 2.09 4/179 20841
/proc/meminfo: memFree=26989032/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=134460 CPUtime=0.74 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 11261 1014 0 0 56 18 0 0 20 0 1 0 339098648 137687040 6349 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 33615 6349 1170 1 0 5187 0
[pid=20841] ppid=20835 vsize=5676 CPUtime=4.6 cores=1,3,5,7
/proc/20841/stat : 20841 (clasp-1.3.3-x86) R 20835 20841 20841 0 -1 4202496 1470 0 0 0 460 0 0 0 20 0 1 0 339098817 5812224 1155 33554432000 134512640 136080129 4293228976 4293228064 134579465 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20841/statm: 1419 1155 175 383 0 1034 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 140136

[startup+12.7003 s]
/proc/loadavg: 2.07 2.08 2.08 3/179 20841
/proc/meminfo: memFree=26986388/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=11.59 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 12503 3983 0 0 85 22 1051 1 20 0 1 0 339098648 139796480 6369 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6369 1180 1 0 5187 0
Current children cumulated CPU time (s) 11.59
Current children cumulated vsize (KiB) 136520

[startup+25.5002 s]
/proc/loadavg: 2.06 2.08 2.08 3/179 20847
/proc/meminfo: memFree=27002680/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=12.16 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 12531 3983 0 0 136 28 1051 1 20 0 1 0 339098648 139796480 6369 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6369 1180 1 0 5187 0
[pid=20844] ppid=20835 vsize=8772 CPUtime=13.25 cores=1,3,5,7
/proc/20844/stat : 20844 (clasp-1.3.3-x86) R 20835 20844 20844 0 -1 4202496 2254 0 0 0 1325 0 0 0 20 0 1 0 339099871 8982528 1940 33554432000 134512640 136080129 4286719792 4286718864 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20844/statm: 2193 1940 175 383 0 1808 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 145292

[startup+51.1003 s]
/proc/loadavg: 2.04 2.07 2.08 3/179 20853
/proc/meminfo: memFree=26992648/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=13.29 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 12554 3983 0 0 232 45 1051 1 20 0 1 0 339098648 139796480 6369 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6369 1180 1 0 5187 0
[pid=20844] ppid=20835 vsize=14712 CPUtime=38.85 cores=1,3,5,7
/proc/20844/stat : 20844 (clasp-1.3.3-x86) R 20835 20844 20844 0 -1 4202496 3747 0 0 0 3885 0 0 0 20 0 1 0 339099871 15065088 3433 33554432000 134512640 136080129 4286719792 4286718880 134804939 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20844/statm: 3678 3433 175 383 0 3293 0
Current children cumulated CPU time (s) 52.14
Current children cumulated vsize (KiB) 151232

[startup+102.306 s]
/proc/loadavg: 2.15 2.09 2.09 3/179 20862
/proc/meminfo: memFree=26904440/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=66.12 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 13724 9111 0 0 452 77 6081 2 20 0 1 0 339098648 139796480 6374 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6374 1180 1 0 5187 0
[pid=20856] ppid=20835 vsize=109120 CPUtime=39.71 cores=1,3,5,7
/proc/20856/stat : 20856 (wbo1.4a) R 20835 20856 20856 0 -1 4202496 27239 0 0 0 3900 71 0 0 20 0 1 0 339104904 111738880 26801 33554432000 134512640 135751879 4294856976 4294855228 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/20856/statm: 27280 26801 139 303 0 26975 0
Current children cumulated CPU time (s) 105.83
Current children cumulated vsize (KiB) 245640

[startup+162.3 s]
/proc/loadavg: 2.14 2.09 2.09 4/179 20865
/proc/meminfo: memFree=26981596/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=119.62 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 14962 43407 0 0 685 114 11085 78 20 0 1 0 339098648 139796480 6375 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6375 1180 1 0 5187 0
[pid=20865] ppid=20835 vsize=17592 CPUtime=48.87 cores=1,3,5,7
/proc/20865/stat : 20865 (clasp-1.3.3-x86) R 20835 20865 20865 0 -1 4202496 4480 0 0 0 4887 0 0 0 20 0 1 0 339109989 18014208 4165 33554432000 134512640 136080129 4292233104 4292232088 134716369 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20865/statm: 4398 4165 175 383 0 4013 0
Current children cumulated CPU time (s) 168.49
Current children cumulated vsize (KiB) 154112

[startup+222.3 s]
/proc/loadavg: 2.11 2.08 2.09 3/179 20877
/proc/meminfo: memFree=26981940/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=222.53 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 16212 50532 0 0 933 156 21085 79 20 0 1 0 339098648 139796480 6376 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6376 1180 1 0 5187 0
[pid=20874] ppid=20835 vsize=28844 CPUtime=8.83 cores=1,3,5,7
/proc/20874/stat : 20874 (wbo1.4a) R 20835 20874 20874 0 -1 4202496 7159 0 0 0 867 16 0 0 20 0 1 0 339119994 29536256 6736 33554432000 134512640 135751879 4292388192 4292385808 134604625 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/20874/statm: 7211 6736 139 303 0 6906 0
Current children cumulated CPU time (s) 231.36
Current children cumulated vsize (KiB) 165364

[startup+282.3 s]
/proc/loadavg: 2.04 2.07 2.08 3/180 20879
/proc/meminfo: memFree=26820516/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=225.27 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 16250 50532 0 0 1168 195 21085 79 20 0 1 0 339098648 139796480 6376 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6376 1180 1 0 5187 0
[pid=20874] ppid=20835 vsize=177564 CPUtime=68.8 cores=1,3,5,7
/proc/20874/stat : 20874 (wbo1.4a) R 20835 20874 20874 0 -1 4202496 44378 0 0 0 6787 93 0 0 20 0 1 0 339119994 181825536 43937 33554432000 134512640 135751879 4292388192 4292386444 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/20874/statm: 44391 43937 139 303 0 44086 0
Current children cumulated CPU time (s) 294.07
Current children cumulated vsize (KiB) 314084

[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.07 4/179 20891
/proc/meminfo: memFree=26957076/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=329.72 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 17465 115772 0 0 1425 235 31102 210 20 0 1 0 339098648 139796480 6377 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6377 1180 1 0 5187 0
[pid=20882] ppid=20835 vsize=55700 CPUtime=27.29 cores=1,3,5,7
/proc/20882/stat : 20882 (wbo1.4b) R 20835 20882 20882 0 -1 4202496 13888 0 0 0 2721 8 0 0 20 0 1 0 339130146 57036800 13465 33554432000 134512640 135751879 4287536912 4287534368 134605053 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/20882/statm: 13925 13465 143 303 0 13620 0
Current children cumulated CPU time (s) 357.01
Current children cumulated vsize (KiB) 192220

[startup+402.301 s]
/proc/loadavg: 2.04 2.06 2.07 3/197 20912
/proc/meminfo: memFree=26880924/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=383.52 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 18701 141488 0 0 1669 273 36140 270 20 0 1 0 339098648 139796480 6379 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6379 1180 1 0 5187 0
[pid=20894] ppid=20835 vsize=2715136 CPUtime=36.94 cores=1,3,5,7
/proc/20894/stat : 20894 (java) S 20835 20894 20894 0 -1 4202496 9058 0 1 0 3690 4 0 0 20 0 19 0 339135249 2780299264 31274 33554432000 1073741824 1073778376 140735283359136 140735283350272 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20894/statm: 678784 31274 2250 9 0 669477 0

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

/proc/21068/statm: 7584 7351 175 383 0 7199 0
Current children cumulated CPU time (s) 1111.9
Current children cumulated vsize (KiB) 166856

[startup+1122.3 s]
/proc/loadavg: 2.07 2.07 2.06 3/179 21108
/proc/meminfo: memFree=26977668/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=1167.07 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 42074 349570 0 2 4567 759 110907 474 20 0 1 0 339098648 139796480 6388 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6388 1180 1 0 5187 0
[pid=21105] ppid=20835 vsize=38668 CPUtime=7.63 cores=1,3,5,7
/proc/21105/stat : 21105 (bsolo_pb10) R 20835 21105 21105 0 -1 4202496 7785 0 0 0 757 6 0 0 20 0 1 0 339210113 39596032 7244 33554432000 134512640 137138936 4289315744 4289314420 136511173 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/21105/statm: 9667 7244 192 642 0 9023 0
Current children cumulated CPU time (s) 1174.7
Current children cumulated vsize (KiB) 175188

[startup+1182.3 s]
/proc/loadavg: 2.12 2.09 2.06 4/178 21132
/proc/meminfo: memFree=26873852/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=1169.77 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 42120 349570 0 2 4799 797 110907 474 20 0 1 0 339098648 139796480 6388 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6388 1180 1 0 5187 0
[pid=21105] ppid=20835 vsize=143108 CPUtime=67.62 cores=1,3,5,7
/proc/21105/stat : 21105 (bsolo_pb10) R 20835 21105 21105 0 -1 4202496 33896 0 0 0 6747 15 0 0 20 0 1 0 339210113 146542592 33354 33554432000 134512640 137138936 4289315744 4289314640 134542503 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/21105/statm: 35777 33354 192 642 0 35133 0
Current children cumulated CPU time (s) 1237.39
Current children cumulated vsize (KiB) 279628

[startup+1242.3 s]
/proc/loadavg: 2.21 2.12 2.07 3/179 21154
/proc/meminfo: memFree=26994852/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=1283.43 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 44586 394828 0 2 5036 833 121979 495 20 0 1 0 339098648 139796480 6389 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6389 1180 1 0 5187 0
[pid=21151] ppid=20835 vsize=10364 CPUtime=16.64 cores=1,3,5,7
/proc/21151/stat : 21151 (clasp-1.3.3-x86) R 20835 21151 21151 0 -1 4202496 2677 0 0 0 1664 0 0 0 20 0 1 0 339221212 10612736 2358 33554432000 134512640 136080129 4290754544 4290753536 134589227 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21151/statm: 2591 2358 175 383 0 2206 0
Current children cumulated CPU time (s) 1300.07
Current children cumulated vsize (KiB) 146884

[startup+1302.3 s]
/proc/loadavg: 2.10 2.10 2.07 3/179 21154
/proc/meminfo: memFree=26968184/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=1286.1 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 44611 394828 0 2 5269 867 121979 495 20 0 1 0 339098648 139796480 6389 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6389 1180 1 0 5187 0
[pid=21151] ppid=20835 vsize=21376 CPUtime=76.64 cores=1,3,5,7
/proc/21151/stat : 21151 (clasp-1.3.3-x86) R 20835 21151 21151 0 -1 4202496 5430 0 0 0 7663 1 0 0 20 0 1 0 339221212 21889024 5102 33554432000 134512640 136080129 4290754544 4290753536 134588723 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21151/statm: 5344 5102 175 383 0 4959 0
Current children cumulated CPU time (s) 1362.74
Current children cumulated vsize (KiB) 157896

[startup+1362.3 s]
/proc/loadavg: 2.21 2.13 2.08 3/179 21163
/proc/meminfo: memFree=26968684/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=1410.04 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 48328 406881 0 2 5511 906 134088 499 20 0 1 0 339098648 139796480 6390 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6390 1180 1 0 5187 0
[pid=21163] ppid=20835 vsize=9176 CPUtime=15.45 cores=1,3,5,7
/proc/21163/stat : 21163 (clasp-1.3.3-x86) R 20835 21163 21163 0 -1 4202496 2343 0 0 0 1545 0 0 0 20 0 1 0 339233331 9396224 2028 33554432000 134512640 136080129 4288315152 4288314240 134579555 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21163/statm: 2294 2028 175 383 0 1909 0
Current children cumulated CPU time (s) 1425.49
Current children cumulated vsize (KiB) 145696

[startup+1422.31 s]
/proc/loadavg: 2.10 2.12 2.08 3/179 21169
/proc/meminfo: memFree=26964452/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=1473.65 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 50814 415950 0 2 5750 944 140170 501 20 0 1 0 339098648 139796480 6391 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6391 1180 1 0 5187 0
[pid=21169] ppid=20835 vsize=9688 CPUtime=14.57 cores=1,3,5,7
/proc/21169/stat : 21169 (clasp-1.3.3-x86) R 20835 21169 21169 0 -1 4202496 2492 0 0 0 1457 0 0 0 20 0 1 0 339239420 9920512 2178 33554432000 134512640 136080129 4287490672 4287489744 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21169/statm: 2422 2178 175 383 0 2037 0
Current children cumulated CPU time (s) 1488.22
Current children cumulated vsize (KiB) 146208

[startup+1482.3 s]
/proc/loadavg: 2.24 2.14 2.09 4/179 21169
/proc/meminfo: memFree=26943164/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=1476.32 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 50841 415950 0 2 5978 983 140170 501 20 0 1 0 339098648 139796480 6391 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6391 1180 1 0 5187 0
[pid=21169] ppid=20835 vsize=20528 CPUtime=74.55 cores=1,3,5,7
/proc/21169/stat : 21169 (clasp-1.3.3-x86) R 20835 21169 21169 0 -1 4202496 5197 0 0 0 7454 1 0 0 20 0 1 0 339239420 21020672 4878 33554432000 134512640 136080129 4287490672 4287489616 134579967 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21169/statm: 5132 4878 175 383 0 4747 0
Current children cumulated CPU time (s) 1550.87
Current children cumulated vsize (KiB) 157048

[startup+1542.3 s]
/proc/loadavg: 2.08 2.11 2.08 3/179 21182
/proc/meminfo: memFree=26972928/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=1600.27 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 54575 428961 0 2 6220 1022 152280 505 20 0 1 0 339098648 139796480 6392 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6392 1180 1 0 5187 0
[pid=21182] ppid=20835 vsize=9944 CPUtime=13.37 cores=1,3,5,7
/proc/21182/stat : 21182 (clasp-1.3.3-x86) R 20835 21182 21182 0 -1 4202496 2545 0 0 0 1337 0 0 0 20 0 1 0 339251539 10182656 2228 33554432000 134512640 136080129 4286733904 4286732976 134849924 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21182/statm: 2486 2228 175 383 0 2101 0
Current children cumulated CPU time (s) 1613.64
Current children cumulated vsize (KiB) 146464

[startup+1602.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/179 21182
/proc/meminfo: memFree=26863720/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=1602.94 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 54600 428961 0 2 6448 1061 152280 505 20 0 1 0 339098648 139796480 6392 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6392 1180 1 0 5187 0
[pid=21182] ppid=20835 vsize=21132 CPUtime=73.36 cores=1,3,5,7
/proc/21182/stat : 21182 (clasp-1.3.3-x86) R 20835 21182 21182 0 -1 4202496 5355 0 0 0 7335 1 0 0 20 0 1 0 339251539 21639168 5035 33554432000 134512640 136080129 4286733904 4286732896 134588932 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21182/statm: 5283 5035 175 383 0 4898 0
Current children cumulated CPU time (s) 1676.3
Current children cumulated vsize (KiB) 157652

[startup+1662.3 s]
/proc/loadavg: 2.17 2.14 2.09 3/180 21200
/proc/meminfo: memFree=26990164/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=1726.88 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 58312 441682 0 2 6691 1099 164388 510 20 0 1 0 339098648 139796480 6393 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6393 1180 1 0 5187 0
[pid=21197] ppid=20835 vsize=8244 CPUtime=12.19 cores=1,3,5,7
/proc/21197/stat : 21197 (clasp-1.3.3-x86) R 20835 21197 21197 0 -1 4202496 2112 0 0 0 1219 0 0 0 20 0 1 0 339263658 8441856 1798 33554432000 134512640 136080129 4291756480 4291755616 134610270 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21197/statm: 2061 1798 175 383 0 1676 0
Current children cumulated CPU time (s) 1739.07
Current children cumulated vsize (KiB) 144764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1720.7 s]
/proc/loadavg: 2.22 2.14 2.10 3/179 21200
/proc/meminfo: memFree=26969936/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=1729.47 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 58337 441682 0 2 6915 1134 164388 510 20 0 1 0 339098648 139796480 6393 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6393 1180 1 0 5187 0
[pid=21197] ppid=20835 vsize=19864 CPUtime=70.58 cores=1,3,5,7
/proc/21197/stat : 21197 (clasp-1.3.3-x86) R 20835 21197 21197 0 -1 4202496 5029 0 0 0 7058 0 0 0 20 0 1 0 339263658 20340736 4710 33554432000 134512640 136080129 4291756480 4291755424 134580638 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21197/statm: 4966 4710 175 383 0 4581 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 156384

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

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

[startup+1720.7 s]
/proc/loadavg: 2.22 2.14 2.10 3/179 21200
/proc/meminfo: memFree=26969936/32873648 swapFree=7368/7368
[pid=20835] ppid=20833 vsize=136520 CPUtime=1729.47 cores=1,3,5,7
/proc/20835/stat : 20835 (python) S 20833 20835 15301 0 -1 4202496 58337 441682 0 2 6915 1134 164388 510 20 0 1 0 339098648 139796480 6393 33554432000 4194304 4196484 140735030366368 140735030358128 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20835/statm: 34130 6393 1180 1 0 5187 0
[pid=21197] ppid=20835 vsize=19864 CPUtime=70.58 cores=1,3,5,7
/proc/21197/stat : 21197 (clasp-1.3.3-x86) R 20835 21197 21197 0 -1 4202496 5029 0 0 0 7058 0 0 0 20 0 1 0 339263658 20340736 4710 33554432000 134512640 136080129 4291756480 4291755424 134580638 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/21197/statm: 4966 4710 175 383 0 4581 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 156384

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20835 and gives
#  childrusage.ru_utime.tv_sec=1713
#  childrusage.ru_utime.tv_usec=44577
#  childrusage.ru_stime.tv_sec=16
#  childrusage.ru_stime.tv_usec=450499
# CPU time returned by wait4() is 1729.5
# 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): 1720.71
CPU time (s): 1800.05
CPU user time (s): 1783.61
CPU system time (s): 16.44
CPU usage (%): 104.611
Max. virtual memory (cumulated for all children) (KiB): 2851660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1713.04
system time used= 16.4505
maximum resident set size= 318592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 500019
page faults= 2
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11228
involuntary context switches= 2394

runsolver used 4.44232 second user time and 7.84281 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 15:22:25
IDJOB=3742196
IDBENCH=90139
IDSOLVER=2323
FILE ID=node149/3742196-1338729745
RUNJOBID= node149-1338713283-15318
PBS_JOBID= 14636730
Free space on /tmp= 71032 MiB

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

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

MD5SUM BENCH= a3de6c6ee42f8b511357d3857e721bb4
RANDOM SEED=462769624

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27017228 kB
Buffers:          767336 kB
Cached:          4130684 kB
SwapCached:         2468 kB
Active:          2074552 kB
Inactive:        2882832 kB
Active(anon):      42360 kB
Inactive(anon):     9368 kB
Active(file):    2032192 kB
Inactive(file):  2873464 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             21028 kB
Writeback:             0 kB
AnonPages:         54580 kB
Mapped:            18328 kB
Shmem:                96 kB
Slab:             760804 kB
SReclaimable:     203552 kB
SUnreclaim:       557252 kB
KernelStack:        1456 kB
PageTables:         4328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     165096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71012 MiB
End job on node149 at 2012-06-03 15:51:08