Trace number 3742079

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 1717.71

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K108.opb
MD5SUMa293d07a49a0e06ee574b1553fbf5b2b
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 benchmark105.854
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7344
Total number of constraints7562
Number of constraints which are clauses7454
Number of constraints which are cardinality constraints (but not clauses)108
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint108
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 109
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.13 2.10 2.08 3/177 4482
/proc/meminfo: memFree=30468348/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=15016 CPUtime=0 cores=0,2,4,6
/proc/4482/stat : 4482 (python) R 4480 4482 31325 0 -1 4202496 741 0 0 0 0 0 0 0 20 0 1 0 338944670 15376384 511 33554432000 4194304 5683644 140734508564752 140734508551528 225445025919 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 3754 512 307 364 0 196 0

[startup+0.0688851 s]
/proc/loadavg: 2.13 2.10 2.08 3/177 4482
/proc/meminfo: memFree=30468348/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=16588 CPUtime=0.01 cores=0,2,4,6
/proc/4482/stat : 4482 (python) D 4480 4482 31325 0 -1 4202496 1324 0 0 0 1 0 0 0 20 0 1 0 338944670 16986112 1000 33554432000 4194304 5683644 140734508564752 140734508542520 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 4147 1000 422 364 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16588

[startup+0.100315 s]
/proc/loadavg: 2.13 2.10 2.08 3/177 4482
/proc/meminfo: memFree=30468348/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=17628 CPUtime=0.02 cores=0,2,4,6
/proc/4482/stat : 4482 (python) D 4480 4482 31325 0 -1 4202496 2215 0 0 0 1 1 0 0 20 0 1 0 338944670 18051072 723 33554432000 4194304 4196484 140735292012448 140735291938392 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/4482/statm: 4407 723 354 1 0 342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17628

[startup+0.300277 s]
/proc/loadavg: 2.13 2.10 2.08 3/177 4482
/proc/meminfo: memFree=30468348/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=54508 CPUtime=0.08 cores=0,2,4,6
/proc/4482/stat : 4482 (python) D 4480 4482 31325 0 -1 4202496 3954 0 0 0 4 4 0 0 20 0 1 0 338944670 55816192 2142 33554432000 4194304 4196484 140735292012448 140735291854040 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/4482/statm: 13627 2142 600 1 0 1482 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54508

[startup+0.700221 s]
/proc/loadavg: 2.13 2.10 2.08 3/177 4482
/proc/meminfo: memFree=30468348/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=99040 CPUtime=0.24 cores=0,2,4,6
/proc/4482/stat : 4482 (python) R 4480 4482 31325 0 -1 4202496 5757 0 0 0 13 11 0 0 20 0 1 0 338944670 101416960 3602 33554432000 4194304 4196484 140735292012448 140735291955384 225444708181 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/4482/statm: 24760 3602 1047 1 0 2562 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 99040

[startup+1.50028 s]
/proc/loadavg: 2.13 2.10 2.08 2/178 4487
/proc/meminfo: memFree=30449236/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=118116 CPUtime=0.47 cores=0,2,4,6
/proc/4482/stat : 4482 (python) D 4480 4482 31325 0 -1 4202496 9592 1016 0 0 27 20 0 0 20 0 1 0 338944670 120950784 5829 33554432000 4194304 4196484 140735292012448 140735291946056 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/4482/statm: 29529 5829 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 118116

[startup+3.10022 s]
/proc/loadavg: 2.12 2.09 2.08 3/179 4488
/proc/meminfo: memFree=30444036/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=134480 CPUtime=0.66 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 11246 1016 0 0 40 26 0 0 20 0 1 0 338944670 137707520 6346 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/4482/statm: 33620 6346 1170 1 0 5192 0
[pid=4488] ppid=4482 vsize=4792 CPUtime=1.21 cores=0,2,4,6
/proc/4488/stat : 4488 (clasp-1.3.3-x86) R 4482 4488 4488 0 -1 4202496 1267 0 0 0 121 0 0 0 20 0 1 0 338944858 4907008 943 33554432000 134512640 136080129 4289344544 4289343648 134716415 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/4488/statm: 1198 943 175 383 0 813 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 139272
heavy processes:

[startup+6.30022 s]
/proc/loadavg: 2.12 2.09 2.08 4/179 4488
/proc/meminfo: memFree=30442672/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=134480 CPUtime=0.81 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 11254 1016 0 0 53 28 0 0 20 0 1 0 338944670 137707520 6346 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/4482/statm: 33620 6346 1170 1 0 5192 0
[pid=4488] ppid=4482 vsize=5320 CPUtime=4.4 cores=0,2,4,6
/proc/4488/stat : 4488 (clasp-1.3.3-x86) R 4482 4488 4488 0 -1 4202496 1415 0 0 0 440 0 0 0 20 0 1 0 338944858 5447680 1091 33554432000 134512640 136080129 4289344544 4289343620 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/4488/statm: 1330 1091 175 383 0 945 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 139800

[startup+12.7001 s]
/proc/loadavg: 2.10 2.09 2.08 3/179 4488
/proc/meminfo: memFree=30440432/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=11.63 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 12483 3799 0 0 81 32 1049 1 20 0 1 0 338944670 139816960 6368 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/4482/statm: 34135 6368 1180 1 0 5192 0
Current children cumulated CPU time (s) 11.63
Current children cumulated vsize (KiB) 136540

[startup+25.5003 s]
/proc/loadavg: 2.09 2.09 2.08 3/179 4491
/proc/meminfo: memFree=30415252/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=12.2 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 12512 3799 0 0 132 38 1049 1 20 0 1 0 338944670 139816960 6368 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6368 1180 1 0 5192 0
[pid=4491] ppid=4482 vsize=9232 CPUtime=13.07 cores=0,2,4,6
/proc/4491/stat : 4491 (clasp-1.3.3-x86) R 4482 4491 4491 0 -1 4202496 2376 0 0 0 1307 0 0 0 20 0 1 0 338945911 9453568 2056 33554432000 134512640 136080129 4287332208 4287331280 134849659 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/4491/statm: 2308 2056 175 383 0 1923 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 145772

[startup+51.1003 s]
/proc/loadavg: 2.06 2.08 2.08 3/197 4512
/proc/meminfo: memFree=30404736/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=13.39 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 12538 3799 0 0 235 54 1049 1 20 0 1 0 338944670 139816960 6368 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6368 1180 1 0 5192 0
[pid=4491] ppid=4482 vsize=16128 CPUtime=38.67 cores=0,2,4,6
/proc/4491/stat : 4491 (clasp-1.3.3-x86) R 4482 4491 4491 0 -1 4202496 4124 0 0 0 3867 0 0 0 20 0 1 0 338945911 16515072 3797 33554432000 134512640 136080129 4287332208 4287331280 134849703 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/4491/statm: 4032 3797 175 383 0 3647 0
Current children cumulated CPU time (s) 52.06
Current children cumulated vsize (KiB) 152668

[startup+102.306 s]
/proc/loadavg: 2.12 2.09 2.08 3/197 4515
/proc/meminfo: memFree=30255064/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=66.45 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 13703 8927 0 0 463 91 6088 3 20 0 1 0 338944670 139816960 6373 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6373 1180 1 0 5192 0
[pid=4515] ppid=4482 vsize=99984 CPUtime=39.44 cores=0,2,4,6
/proc/4515/stat : 4515 (wbo1.4a) R 4482 4515 4515 0 -1 4202496 24965 0 0 0 3891 53 0 0 20 0 1 0 338950955 102383616 24536 33554432000 134512640 135751879 4287718752 4287717004 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/4515/statm: 24996 24536 139 303 0 24691 0
Current children cumulated CPU time (s) 105.89
Current children cumulated vsize (KiB) 236524

[startup+162.3 s]
/proc/loadavg: 2.17 2.11 2.09 4/179 4522
/proc/meminfo: memFree=30433108/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=120.2 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 14940 41979 0 0 707 130 11107 76 20 0 1 0 338944670 139816960 6374 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6374 1180 1 0 5192 0
[pid=4518] ppid=4482 vsize=15892 CPUtime=48.48 cores=0,2,4,6
/proc/4518/stat : 4518 (clasp-1.3.3-x86) R 4482 4518 4518 0 -1 4202496 4041 0 0 0 4848 0 0 0 20 0 1 0 338956049 16273408 3720 33554432000 134512640 136080129 4289430080 4289429024 134580596 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4518/statm: 3973 3720 175 383 0 3588 0
Current children cumulated CPU time (s) 168.68
Current children cumulated vsize (KiB) 152432

[startup+222.3 s]
/proc/loadavg: 2.18 2.12 2.09 3/180 4528
/proc/meminfo: memFree=30229100/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=223.51 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 16182 49526 0 0 968 171 21133 79 20 0 1 0 338944670 139816960 6374 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6374 1180 1 0 5192 0
[pid=4528] ppid=4482 vsize=27628 CPUtime=8.17 cores=0,2,4,6
/proc/4528/stat : 4528 (wbo1.4a) R 4482 4528 4528 0 -1 4202496 6859 0 0 0 799 18 0 0 20 0 1 0 338966082 28291072 6432 33554432000 134512640 135751879 4287819024 4287817276 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/4528/statm: 6907 6432 139 303 0 6602 0
Current children cumulated CPU time (s) 231.68
Current children cumulated vsize (KiB) 164168

[startup+282.3 s]
/proc/loadavg: 2.13 2.11 2.09 3/180 4554
/proc/meminfo: memFree=30215324/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=226.31 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 16225 49526 0 0 1212 207 21133 79 20 0 1 0 338944670 139816960 6375 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6375 1180 1 0 5192 0
[pid=4528] ppid=4482 vsize=172264 CPUtime=68.14 cores=0,2,4,6
/proc/4528/stat : 4528 (wbo1.4a) R 4482 4528 4528 0 -1 4202496 43070 0 0 0 6711 103 0 0 20 0 1 0 338966082 176398336 42619 33554432000 134512640 135751879 4287819024 4287816712 134516982 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/4528/statm: 43066 42621 139 303 0 42761 0
Current children cumulated CPU time (s) 294.45
Current children cumulated vsize (KiB) 308804

[startup+342.3 s]
/proc/loadavg: 2.08 2.10 2.09 4/179 4572
/proc/meminfo: memFree=30426412/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=330.94 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 17453 112551 0 0 1462 247 31171 214 20 0 1 0 338944670 139816960 6376 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6376 1180 1 0 5192 0
[pid=4566] ppid=4482 vsize=60000 CPUtime=26.35 cores=0,2,4,6
/proc/4566/stat : 4566 (wbo1.4b) R 4482 4566 4566 0 -1 4202496 14998 0 0 0 2632 3 0 0 20 0 1 0 338976262 61440000 14556 33554432000 134512640 135751879 4291005120 4291003280 134524613 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/4566/statm: 15000 14556 142 303 0 14695 0
Current children cumulated CPU time (s) 357.29
Current children cumulated vsize (KiB) 196540

[startup+402.301 s]
/proc/loadavg: 2.18 2.12 2.09 3/215 4626
/proc/meminfo: memFree=30296956/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=384.63 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 18689 129000 0 0 1731 290 36188 254 20 0 1 0 338944670 139816960 6378 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6378 1180 1 0 5192 0
[pid=4584] ppid=4482 vsize=2715136 CPUtime=36.48 cores=0,2,4,6
/proc/4584/stat : 4584 (java) S 4482 4584 4584 0 -1 4202496 9883 0 1 0 3644 4 0 0 20 0 19 0 338981324 2780299264 30703 33554432000 1073741824 1073778376 140737367404464 140737367395600 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/4584/statm: 678784 30703 2251 9 0 669477 0

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

/proc/4724/statm: 9379 9139 175 383 0 8994 0
Current children cumulated CPU time (s) 1113.92
Current children cumulated vsize (KiB) 174056

[startup+1122.3 s]
/proc/loadavg: 2.17 2.09 2.08 3/179 4749
/proc/meminfo: memFree=30436352/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=1164.32 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 41951 314492 0 2 4776 789 110412 455 20 0 1 0 338944670 139816960 6387 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6387 1180 1 0 5192 0
[pid=4749] ppid=4482 vsize=51844 CPUtime=12.56 cores=0,2,4,6
/proc/4749/stat : 4749 (bsolo_pb10) R 4482 4749 4749 0 -1 4202496 11088 0 0 0 1249 7 0 0 20 0 1 0 339055642 53088256 10533 33554432000 134512640 137138936 4290956784 4290955208 134606982 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/4749/statm: 12961 10533 192 642 0 12317 0
Current children cumulated CPU time (s) 1176.88
Current children cumulated vsize (KiB) 188384

[startup+1182.3 s]
/proc/loadavg: 2.11 2.09 2.08 3/179 4749
/proc/meminfo: memFree=30352308/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=1167.14 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 41982 314492 0 2 5019 828 110412 455 20 0 1 0 338944670 139816960 6387 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6387 1180 1 0 5192 0
[pid=4749] ppid=4482 vsize=131240 CPUtime=72.53 cores=0,2,4,6
/proc/4749/stat : 4749 (bsolo_pb10) R 4482 4749 4749 0 -1 4202496 30978 0 0 0 7234 19 0 0 20 0 1 0 339055642 134389760 30400 33554432000 134512640 137138936 4290956784 4290955712 134542295 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/4749/statm: 32810 30400 192 642 0 32166 0
Current children cumulated CPU time (s) 1239.67
Current children cumulated vsize (KiB) 267780

[startup+1242.3 s]
/proc/loadavg: 2.16 2.10 2.09 3/179 4764
/proc/meminfo: memFree=30466928/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=1280.35 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 44447 355892 0 2 5264 869 121422 480 20 0 1 0 338944670 139816960 6387 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6387 1180 1 0 5192 0
[pid=4764] ppid=4482 vsize=12380 CPUtime=22.13 cores=0,2,4,6
/proc/4764/stat : 4764 (clasp-1.3.3-x86) R 4482 4764 4764 0 -1 4202496 3180 0 0 0 2213 0 0 0 20 0 1 0 339066686 12677120 2854 33554432000 134512640 136080129 4288559648 4288558720 134849659 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4764/statm: 3095 2854 175 383 0 2710 0
Current children cumulated CPU time (s) 1302.48
Current children cumulated vsize (KiB) 148920

[startup+1302.3 s]
/proc/loadavg: 2.10 2.09 2.08 3/179 4764
/proc/meminfo: memFree=30449912/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=1283.11 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 44472 355892 0 2 5502 907 121422 480 20 0 1 0 338944670 139816960 6387 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6387 1180 1 0 5192 0
[pid=4764] ppid=4482 vsize=22992 CPUtime=82.12 cores=0,2,4,6
/proc/4764/stat : 4764 (clasp-1.3.3-x86) R 4482 4764 4764 0 -1 4202496 5856 0 0 0 8211 1 0 0 20 0 1 0 339066686 23543808 5489 33554432000 134512640 136080129 4288559648 4288558724 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4764/statm: 5748 5489 175 383 0 5363 0
Current children cumulated CPU time (s) 1365.23
Current children cumulated vsize (KiB) 159532

[startup+1362.3 s]
/proc/loadavg: 2.10 2.09 2.08 3/179 4783
/proc/meminfo: memFree=30467980/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=1406.31 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 48163 368318 0 2 5752 947 133448 484 20 0 1 0 338944670 139816960 6388 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6388 1180 1 0 5192 0
[pid=4783] ppid=4482 vsize=11176 CPUtime=21.77 cores=0,2,4,6
/proc/4783/stat : 4783 (clasp-1.3.3-x86) R 4482 4783 4783 0 -1 4202496 2850 0 0 0 2177 0 0 0 20 0 1 0 339078721 11444224 2527 33554432000 134512640 136080129 4294848080 4294847040 134808286 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4783/statm: 2794 2527 175 383 0 2409 0
Current children cumulated CPU time (s) 1428.08
Current children cumulated vsize (KiB) 147716

[startup+1422.31 s]
/proc/loadavg: 1.98 2.06 2.07 3/180 4839
/proc/meminfo: memFree=30468692/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=1469.58 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 50638 376872 0 2 5998 986 139488 486 20 0 1 0 338944670 139816960 6388 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6388 1180 1 0 5192 0
[pid=4836] ppid=4482 vsize=12732 CPUtime=21.31 cores=0,2,4,6
/proc/4836/stat : 4836 (clasp-1.3.3-x86) R 4482 4836 4836 0 -1 4202496 3251 0 0 0 2130 1 0 0 20 0 1 0 339084768 13037568 2925 33554432000 134512640 136080129 4287684384 4287683520 134845696 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4836/statm: 3183 2925 175 383 0 2798 0
Current children cumulated CPU time (s) 1490.89
Current children cumulated vsize (KiB) 149272

[startup+1482.3 s]
/proc/loadavg: 2.05 2.06 2.07 3/179 4842
/proc/meminfo: memFree=30416056/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=1472.32 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 50664 376872 0 2 6235 1023 139488 486 20 0 1 0 338944670 139816960 6388 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6388 1180 1 0 5192 0
[pid=4836] ppid=4482 vsize=23904 CPUtime=81.29 cores=0,2,4,6
/proc/4836/stat : 4836 (clasp-1.3.3-x86) R 4482 4836 4836 0 -1 4202496 6066 0 0 0 8128 1 0 0 20 0 1 0 339084768 24477696 5736 33554432000 134512640 136080129 4287684384 4287683376 134588720 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4836/statm: 5976 5736 175 383 0 5591 0
Current children cumulated CPU time (s) 1553.61
Current children cumulated vsize (KiB) 160444

[startup+1542.3 s]
/proc/loadavg: 2.13 2.08 2.08 3/179 4854
/proc/meminfo: memFree=30467052/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=1595.54 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 54380 390045 0 2 6488 1063 151512 491 20 0 1 0 338944670 139816960 6389 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6389 1180 1 0 5192 0
[pid=4854] ppid=4482 vsize=10524 CPUtime=20.95 cores=0,2,4,6
/proc/4854/stat : 4854 (clasp-1.3.3-x86) R 4482 4854 4854 0 -1 4202496 2703 0 0 0 2095 0 0 0 20 0 1 0 339096803 10776576 2377 33554432000 134512640 136080129 4294895280 4294894368 134579526 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4854/statm: 2631 2377 175 383 0 2246 0
Current children cumulated CPU time (s) 1616.49
Current children cumulated vsize (KiB) 147064

[startup+1602.3 s]
/proc/loadavg: 2.05 2.06 2.07 3/179 4854
/proc/meminfo: memFree=30447876/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=1598.32 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 54408 390045 0 2 6731 1098 151512 491 20 0 1 0 338944670 139816960 6389 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6389 1180 1 0 5192 0
[pid=4854] ppid=4482 vsize=23016 CPUtime=80.94 cores=0,2,4,6
/proc/4854/stat : 4854 (clasp-1.3.3-x86) R 4482 4854 4854 0 -1 4202496 5833 0 0 0 8093 1 0 0 20 0 1 0 339096803 23568384 5502 33554432000 134512640 136080129 4294895280 4294894352 134849653 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4854/statm: 5754 5502 175 383 0 5369 0
Current children cumulated CPU time (s) 1679.26
Current children cumulated vsize (KiB) 159556

[startup+1662.3 s]
/proc/loadavg: 2.12 2.08 2.08 3/179 4867
/proc/meminfo: memFree=30374588/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=1721.56 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 58130 403774 0 2 6983 1137 163540 496 20 0 1 0 338944670 139816960 6392 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6392 1180 1 0 5192 0
[pid=4866] ppid=4482 vsize=15300 CPUtime=20.57 cores=0,2,4,6
/proc/4866/stat : 4866 (clasp-1.3.3-x86) R 4482 4866 4866 0 -1 4202496 3895 0 0 0 2057 0 0 0 20 0 1 0 339108842 15667200 3574 33554432000 134512640 136080129 4290149776 4290148564 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4866/statm: 3825 3574 175 383 0 3440 0
Current children cumulated CPU time (s) 1742.13
Current children cumulated vsize (KiB) 151840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1717.7 s]
/proc/loadavg: 2.05 2.06 2.07 3/179 4870
/proc/meminfo: memFree=30433512/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=1724.11 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 58154 403774 0 2 7204 1171 163540 496 20 0 1 0 338944670 139816960 6392 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6392 1180 1 0 5192 0
[pid=4866] ppid=4482 vsize=19168 CPUtime=75.97 cores=0,2,4,6
/proc/4866/stat : 4866 (clasp-1.3.3-x86) R 4482 4866 4866 0 -1 4202496 4860 0 0 0 7597 0 0 0 20 0 1 0 339108842 19628032 4539 33554432000 134512640 136080129 4290149776 4290148912 134845716 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4866/statm: 4792 4539 175 383 0 4407 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 155708

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

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

[startup+1717.7 s]
/proc/loadavg: 2.05 2.06 2.07 3/179 4870
/proc/meminfo: memFree=30433512/32873844 swapFree=7900/7900
[pid=4482] ppid=4480 vsize=136540 CPUtime=1724.11 cores=0,2,4,6
/proc/4482/stat : 4482 (python) S 4480 4482 31325 0 -1 4202496 58154 403774 0 2 7204 1171 163540 496 20 0 1 0 338944670 139816960 6392 33554432000 4194304 4196484 140735292012448 140735292004208 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4482/statm: 34135 6392 1180 1 0 5192 0
[pid=4866] ppid=4482 vsize=19168 CPUtime=75.97 cores=0,2,4,6
/proc/4866/stat : 4866 (clasp-1.3.3-x86) R 4482 4866 4866 0 -1 4202496 4860 0 0 0 7597 0 0 0 20 0 1 0 339108842 19628032 4539 33554432000 134512640 136080129 4290149776 4290148912 134845716 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4866/statm: 4792 4539 175 383 0 4407 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 155708

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4482 and gives
#  childrusage.ru_utime.tv_sec=1707
#  childrusage.ru_utime.tv_usec=455427
#  childrusage.ru_stime.tv_sec=16
#  childrusage.ru_stime.tv_usec=681464
# CPU time returned by wait4() is 1724.14
# 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): 1717.71
CPU time (s): 1800.08
CPU user time (s): 1783.41
CPU system time (s): 16.67
CPU usage (%): 104.795
Max. virtual memory (cumulated for all children) (KiB): 2851680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1707.46
system time used= 16.6815
maximum resident set size= 246488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 461930
page faults= 2
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11048
involuntary context switches= 2732

runsolver used 3.63245 second user time and 8.77167 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-03 14:56:41
IDJOB=3742079
IDBENCH=90130
IDSOLVER=2323
FILE ID=node137/3742079-1338728200
RUNJOBID= node137-1338714575-31341
PBS_JOBID= 14636756
Free space on /tmp= 70304 MiB

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

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

MD5SUM BENCH= a293d07a49a0e06ee574b1553fbf5b2b
RANDOM SEED=1012721711

node137.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.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.20
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.600
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.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30469000 kB
Buffers:          253040 kB
Cached:          1254432 kB
SwapCached:         5796 kB
Active:           879528 kB
Inactive:         700972 kB
Active(anon):      68084 kB
Inactive(anon):     7172 kB
Active(file):     811444 kB
Inactive(file):   693800 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             20952 kB
Writeback:             0 kB
AnonPages:         76420 kB
Mapped:            13068 kB
Shmem:                 0 kB
Slab:             686012 kB
SReclaimable:     126764 kB
SUnreclaim:       559248 kB
KernelStack:        1440 kB
PageTables:         4244 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     193100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70284 MiB
End job on node137 at 2012-06-03 15:25:21