Trace number 3741936

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.08 1720.42

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K105.opb
MD5SUMf2bb3fbff44c335cc6fb8854fd262f5a
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 benchmark235.677
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7140
Total number of constraints7352
Number of constraints which are clauses7247
Number of constraints which are cardinality constraints (but not clauses)105
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint105
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 106
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.03 2.06 2.07 4/177 20004
/proc/meminfo: memFree=27019304/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/20004/stat : 20004 (python) D 20002 20004 15301 0 -1 4202496 759 0 0 0 0 0 0 0 20 0 1 0 338754000 15642624 528 33554432000 4194304 5683644 140737176296848 140737176282760 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/20004/statm: 3819 528 312 364 0 261 0

[startup+0.10101 s]
/proc/loadavg: 2.03 2.06 2.07 4/177 20004
/proc/meminfo: memFree=27019304/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=17888 CPUtime=0.03 cores=1,3,5,7
/proc/20004/stat : 20004 (python) R 20002 20004 15301 0 -1 4202496 2274 0 0 0 2 1 0 0 20 0 1 0 338754000 18317312 767 33554432000 4194304 4196484 140736001934752 140736001864920 251053345190 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/20004/statm: 4472 767 367 1 0 407 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17888

[startup+0.200292 s]
/proc/loadavg: 2.03 2.06 2.07 4/177 20004
/proc/meminfo: memFree=27019304/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=40856 CPUtime=0.05 cores=1,3,5,7
/proc/20004/stat : 20004 (python) D 20002 20004 15301 0 -1 4202496 3073 0 0 0 3 2 0 0 20 0 1 0 338754000 41836544 1432 33554432000 4194304 4196484 140736001934752 140736001840488 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/20004/statm: 10214 1432 483 1 0 969 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 40856

[startup+0.300277 s]
/proc/loadavg: 2.03 2.06 2.07 4/177 20004
/proc/meminfo: memFree=27019304/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=57140 CPUtime=0.08 cores=1,3,5,7
/proc/20004/stat : 20004 (python) R 20002 20004 15301 0 -1 4202496 4150 0 0 0 5 3 0 0 20 0 1 0 338754000 58511360 2278 33554432000 4194304 4196484 140736001934752 140736001776472 251053348912 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/20004/statm: 14285 2278 604 1 0 1623 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 57140

[startup+0.700138 s]
/proc/loadavg: 2.03 2.06 2.07 4/177 20004
/proc/meminfo: memFree=27019304/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=103796 CPUtime=0.26 cores=1,3,5,7
/proc/20004/stat : 20004 (python) R 20002 20004 15301 0 -1 4202496 6864 1016 0 0 19 7 0 0 20 0 1 0 338754000 106287104 4265 33554432000 4194304 4196484 140736001934752 140736001900744 140175036667836 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 25949 4265 1052 1 0 3235 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 103796

[startup+1.50025 s]
/proc/loadavg: 2.03 2.06 2.07 2/178 20009
/proc/meminfo: memFree=26999548/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=118116 CPUtime=0.44 cores=1,3,5,7
/proc/20004/stat : 20004 (python) D 20002 20004 15301 0 -1 4202496 9596 1016 0 0 30 14 0 0 20 0 1 0 338754000 120950784 5831 33554432000 4194304 4196484 140736001934752 140736001868360 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 29529 5831 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 118116

[startup+3.10029 s]
/proc/loadavg: 2.03 2.06 2.07 3/179 20010
/proc/meminfo: memFree=26994836/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=134452 CPUtime=0.62 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 11248 1016 0 0 45 17 0 0 20 0 1 0 338754000 137678848 6348 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 33613 6348 1170 1 0 5185 0
[pid=20010] ppid=20004 vsize=4784 CPUtime=1.37 cores=1,3,5,7
/proc/20010/stat : 20010 (clasp-1.3.3-x86) R 20004 20010 20010 0 -1 4202496 1262 0 0 0 137 0 0 0 20 0 1 0 338754172 4898816 947 33554432000 134512640 136080129 4292454672 4292453712 134856978 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20010/statm: 1196 947 175 383 0 811 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 139236
heavy processes:

[startup+6.30024 s]
/proc/loadavg: 2.03 2.06 2.07 3/179 20010
/proc/meminfo: memFree=26991676/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=134452 CPUtime=0.76 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 11257 1016 0 0 58 18 0 0 20 0 1 0 338754000 137678848 6348 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 33613 6348 1170 1 0 5185 0
[pid=20010] ppid=20004 vsize=6496 CPUtime=4.57 cores=1,3,5,7
/proc/20010/stat : 20010 (clasp-1.3.3-x86) R 20004 20010 20010 0 -1 4202496 1676 0 0 0 457 0 0 0 20 0 1 0 338754172 6651904 1361 33554432000 134512640 136080129 4292454672 4292453744 134849620 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20010/statm: 1624 1361 175 383 0 1239 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 140948

[startup+12.7002 s]
/proc/loadavg: 2.11 2.07 2.08 4/179 20010
/proc/meminfo: memFree=26989060/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=11.6 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 12498 3853 0 0 87 21 1051 1 20 0 1 0 338754000 139788288 6368 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6368 1180 1 0 5185 0
Current children cumulated CPU time (s) 11.6
Current children cumulated vsize (KiB) 136512

[startup+25.5003 s]
/proc/loadavg: 2.08 2.07 2.07 3/179 20013
/proc/meminfo: memFree=26988308/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=12.18 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 12525 3853 0 0 137 29 1051 1 20 0 1 0 338754000 139788288 6368 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6368 1180 1 0 5185 0
[pid=20013] ppid=20004 vsize=6776 CPUtime=13.23 cores=1,3,5,7
/proc/20013/stat : 20013 (clasp-1.3.3-x86) R 20004 20013 20013 0 -1 4202496 1748 0 0 0 1323 0 0 0 20 0 1 0 338755226 6938624 1437 33554432000 134512640 136080129 4290361296 4290360428 134597792 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20013/statm: 1694 1437 175 383 0 1309 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 143288

[startup+51.1003 s]
/proc/loadavg: 2.13 2.08 2.08 3/179 20022
/proc/meminfo: memFree=26999372/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=13.32 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 12551 3853 0 0 238 42 1051 1 20 0 1 0 338754000 139788288 6368 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6368 1180 1 0 5185 0
[pid=20013] ppid=20004 vsize=16356 CPUtime=38.82 cores=1,3,5,7
/proc/20013/stat : 20013 (clasp-1.3.3-x86) R 20004 20013 20013 0 -1 4202496 4140 0 0 0 3882 0 0 0 20 0 1 0 338755226 16748544 3827 33554432000 134512640 136080129 4290361296 4290360368 134849667 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20013/statm: 4089 3827 175 383 0 3704 0
Current children cumulated CPU time (s) 52.14
Current children cumulated vsize (KiB) 152868

[startup+102.3 s]
/proc/loadavg: 2.14 2.08 2.08 3/179 20029
/proc/meminfo: memFree=26908960/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=66.18 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 13715 8915 0 0 459 74 6082 3 20 0 1 0 338754000 139788288 6373 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6373 1180 1 0 5185 0
[pid=20026] ppid=20004 vsize=107596 CPUtime=39.67 cores=1,3,5,7
/proc/20026/stat : 20026 (wbo1.4a) R 20004 20026 20026 0 -1 4202496 26864 0 0 0 3905 62 0 0 20 0 1 0 338760261 110178304 26433 33554432000 134512640 135751879 4292984992 4292983244 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/20026/statm: 26899 26433 139 303 0 26594 0
Current children cumulated CPU time (s) 105.85
Current children cumulated vsize (KiB) 244108

[startup+162.3 s]
/proc/loadavg: 2.20 2.10 2.08 3/180 20036
/proc/meminfo: memFree=26988708/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=119.82 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 14957 43505 0 0 699 108 11091 84 20 0 1 0 338754000 139788288 6374 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6374 1180 1 0 5185 0
[pid=20035] ppid=20004 vsize=16468 CPUtime=48.74 cores=1,3,5,7
/proc/20035/stat : 20035 (clasp-1.3.3-x86) R 20004 20035 20035 0 -1 4202496 4160 0 0 0 4874 0 0 0 20 0 1 0 338765354 16863232 3849 33554432000 134512640 136080129 4294352144 4294351136 134588789 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20035/statm: 4117 3849 175 383 0 3732 0
Current children cumulated CPU time (s) 168.56
Current children cumulated vsize (KiB) 152980

[startup+222.306 s]
/proc/loadavg: 2.07 2.08 2.08 3/179 20045
/proc/meminfo: memFree=26983716/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=222.79 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 16203 50350 0 0 950 146 21098 85 20 0 1 0 338754000 139788288 6375 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6375 1180 1 0 5185 0
[pid=20042] ppid=20004 vsize=34072 CPUtime=8.64 cores=1,3,5,7
/proc/20042/stat : 20042 (wbo1.4a) R 20004 20042 20042 0 -1 4202496 8484 0 0 0 850 14 0 0 20 0 1 0 338775366 34889728 8053 33554432000 134512640 135751879 4291145872 4291144124 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/20042/statm: 8518 8053 139 303 0 8213 0
Current children cumulated CPU time (s) 231.43
Current children cumulated vsize (KiB) 170584

[startup+282.3 s]
/proc/loadavg: 2.02 2.06 2.07 4/179 20048
/proc/meminfo: memFree=26823048/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=225.49 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 16243 50350 0 0 1181 185 21098 85 20 0 1 0 338754000 139788288 6375 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6375 1180 1 0 5185 0
[pid=20042] ppid=20004 vsize=185768 CPUtime=68.59 cores=1,3,5,7
/proc/20042/stat : 20042 (wbo1.4a) R 20004 20042 20042 0 -1 4202496 46435 0 0 0 6757 102 0 0 20 0 1 0 338775366 190226432 45972 33554432000 134512640 135751879 4291145872 4291144124 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/20042/statm: 46442 45972 139 303 0 46137 0
Current children cumulated CPU time (s) 294.08
Current children cumulated vsize (KiB) 322280

[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/180 20060
/proc/meminfo: memFree=26959464/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=329.96 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 17475 112677 0 0 1425 223 31144 204 20 0 1 0 338754000 139788288 6376 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6376 1180 1 0 5185 0
[pid=20054] ppid=20004 vsize=58220 CPUtime=26.91 cores=1,3,5,7
/proc/20054/stat : 20054 (wbo1.4b) R 20004 20054 20054 0 -1 4202496 14523 0 0 0 2687 4 0 0 20 0 1 0 338785537 59617280 14081 33554432000 134512640 135751879 4287813168 4287811196 134697104 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/20054/statm: 14555 14081 142 303 0 14250 0
Current children cumulated CPU time (s) 356.87
Current children cumulated vsize (KiB) 194732

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.06 3/197 20085
/proc/meminfo: memFree=26886748/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=383.4 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 18724 140935 0 0 1684 262 36157 237 20 0 1 0 338754000 139788288 6378 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6378 1180 1 0 5185 0
[pid=20067] ppid=20004 vsize=2715136 CPUtime=37.11 cores=1,3,5,7
/proc/20067/stat : 20067 (java) S 20004 20067 20067 0 -1 4202496 8526 0 1 0 3707 4 0 0 20 0 19 0 338790588 2780299264 31703 33554432000 1073741824 1073778376 140736868084528 140736868075664 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20067/statm: 678784 31703 2250 9 0 669477 0

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

/proc/20238/statm: 9271 9031 175 383 0 8886 0
Current children cumulated CPU time (s) 1112.09
Current children cumulated vsize (KiB) 173596

[startup+1122.3 s]
/proc/loadavg: 2.09 2.07 2.06 3/179 20275
/proc/meminfo: memFree=26966192/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=1166.94 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 42138 336645 0 2 4631 718 110911 434 20 0 1 0 338754000 139788288 6388 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6388 1180 1 0 5185 0
[pid=20275] ppid=20004 vsize=37140 CPUtime=7.97 cores=1,3,5,7
/proc/20275/stat : 20275 (bsolo_pb10) R 20004 20275 20275 0 -1 4202496 7401 0 0 0 791 6 0 0 20 0 1 0 338865432 38031360 6852 33554432000 134512640 137138936 4292939776 4292938452 136511114 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/20275/statm: 9285 6852 192 642 0 8641 0
Current children cumulated CPU time (s) 1174.91
Current children cumulated vsize (KiB) 173652

[startup+1182.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/197 20299
/proc/meminfo: memFree=26747532/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=1169.66 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 42175 336645 0 2 4863 758 110911 434 20 0 1 0 338754000 139788288 6388 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6388 1180 1 0 5185 0
[pid=20275] ppid=20004 vsize=145312 CPUtime=67.94 cores=1,3,5,7
/proc/20275/stat : 20275 (bsolo_pb10) R 20004 20275 20275 0 -1 4202496 34472 0 0 0 6778 16 0 0 20 0 1 0 338865432 148799488 33907 33554432000 134512640 137138936 4292939776 4292938704 134542525 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/20275/statm: 36328 33907 192 642 0 35684 0
Current children cumulated CPU time (s) 1237.6
Current children cumulated vsize (KiB) 281824

[startup+1242.3 s]
/proc/loadavg: 2.06 2.06 2.06 3/179 20323
/proc/meminfo: memFree=27002872/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=1283.61 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 44664 383983 0 2 5105 793 122007 456 20 0 1 0 338754000 139788288 6388 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6388 1180 1 0 5185 0
[pid=20320] ppid=20004 vsize=10020 CPUtime=16.71 cores=1,3,5,7
/proc/20320/stat : 20320 (clasp-1.3.3-x86) R 20004 20320 20320 0 -1 4202496 2578 0 0 0 1671 0 0 0 20 0 1 0 338876558 10260480 2261 33554432000 134512640 136080129 4293861472 4293860432 134808296 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20320/statm: 2505 2261 175 383 0 2120 0
Current children cumulated CPU time (s) 1300.32
Current children cumulated vsize (KiB) 146532

[startup+1302.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/179 20324
/proc/meminfo: memFree=26982336/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=1286.32 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 44692 383983 0 2 5338 831 122007 456 20 0 1 0 338754000 139788288 6388 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6388 1180 1 0 5185 0
[pid=20320] ppid=20004 vsize=21316 CPUtime=76.69 cores=1,3,5,7
/proc/20320/stat : 20320 (clasp-1.3.3-x86) R 20004 20320 20320 0 -1 4202496 5402 0 0 0 7669 0 0 0 20 0 1 0 338876558 21827584 5078 33554432000 134512640 136080129 4293861472 4293860544 134850019 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20320/statm: 5329 5078 175 383 0 4944 0
Current children cumulated CPU time (s) 1363.01
Current children cumulated vsize (KiB) 157828

[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/179 20333
/proc/meminfo: memFree=26986628/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=1410.27 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 48419 397584 0 2 5582 867 134118 460 20 0 1 0 338754000 139788288 6389 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6389 1180 1 0 5185 0
[pid=20333] ppid=20004 vsize=10112 CPUtime=15.5 cores=1,3,5,7
/proc/20333/stat : 20333 (clasp-1.3.3-x86) R 20004 20333 20333 0 -1 4202496 2596 0 0 0 1550 0 0 0 20 0 1 0 338888678 10354688 2281 33554432000 134512640 136080129 4291088256 4291087388 134597792 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2528 2281 175 383 0 2143 0
Current children cumulated CPU time (s) 1425.77
Current children cumulated vsize (KiB) 146624

[startup+1422.3 s]
/proc/loadavg: 2.09 2.06 2.05 3/179 20339
/proc/meminfo: memFree=26985260/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=1473.87 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 50901 405933 0 2 5822 903 140200 462 20 0 1 0 338754000 139788288 6389 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6389 1180 1 0 5185 0
[pid=20339] ppid=20004 vsize=8300 CPUtime=14.62 cores=1,3,5,7
/proc/20339/stat : 20339 (clasp-1.3.3-x86) R 20004 20339 20339 0 -1 4202496 2136 0 0 0 1462 0 0 0 20 0 1 0 338894767 8499200 1818 33554432000 134512640 136080129 4293582688 4293581760 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20339/statm: 2075 1818 175 383 0 1690 0
Current children cumulated CPU time (s) 1488.49
Current children cumulated vsize (KiB) 144812

[startup+1482.3 s]
/proc/loadavg: 2.10 2.06 2.05 3/179 20339
/proc/meminfo: memFree=26969060/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=1476.54 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 50928 405933 0 2 6050 942 140200 462 20 0 1 0 338754000 139788288 6389 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6389 1180 1 0 5185 0
[pid=20339] ppid=20004 vsize=22232 CPUtime=74.59 cores=1,3,5,7
/proc/20339/stat : 20339 (clasp-1.3.3-x86) R 20004 20339 20339 0 -1 4202496 5625 0 0 0 7459 0 0 0 20 0 1 0 338894767 22765568 5299 33554432000 134512640 136080129 4293582688 4293581760 134716422 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20339/statm: 5558 5299 175 383 0 5173 0
Current children cumulated CPU time (s) 1551.13
Current children cumulated vsize (KiB) 158744

[startup+1542.31 s]
/proc/loadavg: 2.04 2.05 2.04 3/180 20354
/proc/meminfo: memFree=26985728/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=1600.52 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 54653 418996 0 2 6292 982 152311 467 20 0 1 0 338754000 139788288 6392 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6392 1180 1 0 5185 0
[pid=20351] ppid=20004 vsize=8940 CPUtime=13.41 cores=1,3,5,7
/proc/20351/stat : 20351 (clasp-1.3.3-x86) R 20004 20351 20351 0 -1 4202496 2302 0 0 0 1341 0 0 0 20 0 1 0 338906889 9154560 1989 33554432000 134512640 136080129 4294593216 4294592288 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20351/statm: 2235 1989 175 383 0 1850 0
Current children cumulated CPU time (s) 1613.93
Current children cumulated vsize (KiB) 145452

[startup+1602.3 s]
/proc/loadavg: 2.09 2.07 2.05 3/179 20355
/proc/meminfo: memFree=26874620/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136512 CPUtime=1603.21 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 54679 418996 0 2 6523 1020 152311 467 20 0 1 0 338754000 139788288 6392 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34128 6392 1180 1 0 5185 0
[pid=20351] ppid=20004 vsize=20696 CPUtime=73.38 cores=1,3,5,7
/proc/20351/stat : 20351 (clasp-1.3.3-x86) R 20004 20351 20351 0 -1 4202496 5255 0 0 0 7338 0 0 0 20 0 1 0 338906889 21192704 4939 33554432000 134512640 136080129 4294593216 4294592288 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20351/statm: 5174 4939 175 383 0 4789 0
Current children cumulated CPU time (s) 1676.59
Current children cumulated vsize (KiB) 157208

[startup+1662.3 s]
/proc/loadavg: 2.11 2.08 2.05 3/179 20370
/proc/meminfo: memFree=26998600/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136644 CPUtime=1727.2 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 58418 432037 0 2 6764 1062 164423 471 20 0 1 0 338754000 139923456 6393 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34161 6393 1180 1 0 5218 0
[pid=20370] ppid=20004 vsize=9860 CPUtime=12.19 cores=1,3,5,7
/proc/20370/stat : 20370 (clasp-1.3.3-x86) R 20004 20370 20370 0 -1 4202496 2534 0 0 0 1219 0 0 0 20 0 1 0 338919010 10096640 2216 33554432000 134512640 136080129 4293409264 4293408208 134804949 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20370/statm: 2465 2216 175 383 0 2080 0
Current children cumulated CPU time (s) 1739.39
Current children cumulated vsize (KiB) 146504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1720.4 s]
/proc/loadavg: 2.19 2.12 2.07 3/179 20370
/proc/meminfo: memFree=26981840/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136644 CPUtime=1729.79 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 58443 432037 0 2 6986 1099 164423 471 20 0 1 0 338754000 139923456 6393 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34161 6393 1180 1 0 5218 0
[pid=20370] ppid=20004 vsize=19228 CPUtime=70.29 cores=1,3,5,7
/proc/20370/stat : 20370 (clasp-1.3.3-x86) R 20004 20370 20370 0 -1 4202496 4899 0 0 0 7028 1 0 0 20 0 1 0 338919010 19689472 4565 33554432000 134512640 136080129 4293409264 4293407988 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20370/statm: 4807 4565 175 383 0 4422 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 155872

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

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

[startup+1720.4 s]
/proc/loadavg: 2.19 2.12 2.07 3/179 20370
/proc/meminfo: memFree=26981840/32873648 swapFree=7368/7368
[pid=20004] ppid=20002 vsize=136644 CPUtime=1729.79 cores=1,3,5,7
/proc/20004/stat : 20004 (python) S 20002 20004 15301 0 -1 4202496 58443 432037 0 2 6986 1099 164423 471 20 0 1 0 338754000 139923456 6393 33554432000 4194304 4196484 140736001934752 140736001926512 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/20004/statm: 34161 6393 1180 1 0 5218 0
[pid=20370] ppid=20004 vsize=19228 CPUtime=70.29 cores=1,3,5,7
/proc/20370/stat : 20370 (clasp-1.3.3-x86) R 20004 20370 20370 0 -1 4202496 4899 0 0 0 7028 1 0 0 20 0 1 0 338919010 19689472 4565 33554432000 134512640 136080129 4293409264 4293407988 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/20370/statm: 4807 4565 175 383 0 4422 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 155872

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20004 and gives
#  childrusage.ru_utime.tv_sec=1714
#  childrusage.ru_utime.tv_usec=98417
#  childrusage.ru_stime.tv_sec=15
#  childrusage.ru_stime.tv_usec=707612
# CPU time returned by wait4() is 1729.81
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1720.42
CPU time (s): 1800.08
CPU user time (s): 1784.37
CPU system time (s): 15.71
CPU usage (%): 104.63
Max. virtual memory (cumulated for all children) (KiB): 2851652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1714.1
system time used= 15.7076
maximum resident set size= 271620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 490480
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= 11239
involuntary context switches= 2471

runsolver used 3.38948 second user time and 8.81466 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 14:24:58
IDJOB=3741936
IDBENCH=90119
IDSOLVER=2323
FILE ID=node149/3741936-1338726298
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_K105.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741936-1338726298/watcher-3741936-1338726298 -o /tmp/evaluation-result-3741936-1338726298/solver-3741936-1338726298 -C 1800 -W 1900 -M 15500  solver HOME/instance-3741936-1338726298.opb 1583372500 

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

MD5SUM BENCH= f2bb3fbff44c335cc6fb8854fd262f5a
RANDOM SEED=1583372500

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:        27019692 kB
Buffers:          763624 kB
Cached:          4130608 kB
SwapCached:         2468 kB
Active:          2072828 kB
Inactive:        2882736 kB
Active(anon):      44760 kB
Inactive(anon):     9368 kB
Active(file):    2028068 kB
Inactive(file):  2873368 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             20852 kB
Writeback:             0 kB
AnonPages:         57160 kB
Mapped:            18452 kB
Shmem:                96 kB
Slab:             760452 kB
SReclaimable:     203516 kB
SUnreclaim:       556936 kB
KernelStack:        1440 kB
PageTables:         4308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     167808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

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