Trace number 3742209

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.03 1716.31

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K167.opb
MD5SUM828e3d173a352fe2cabe4815c21f6f3f
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19873
Total number of constraints20209
Number of constraints which are clauses20042
Number of constraints which are cardinality constraints (but not clauses)167
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint167
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 168
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.05 2.06 2.07 2/177 4908
/proc/meminfo: memFree=30458452/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/4908/stat : 4908 (python) D 4906 4908 31325 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 339116756 15642624 526 33554432000 4194304 5683644 140735930767648 140735930749320 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/4908/statm: 3819 526 311 364 0 261 0

[startup+0.0303339 s]
/proc/loadavg: 2.05 2.06 2.07 2/177 4908
/proc/meminfo: memFree=30458452/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=15960 CPUtime=0 cores=0,2,4,6
/proc/4908/stat : 4908 (python) D 4906 4908 31325 0 -1 4202496 1012 0 0 0 0 0 0 0 20 0 1 0 339116756 16343040 742 33554432000 4194304 5683644 140735930767648 140735930680680 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/4908/statm: 3990 742 347 364 0 432 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15960

[startup+0.100324 s]
/proc/loadavg: 2.05 2.06 2.07 2/177 4908
/proc/meminfo: memFree=30458452/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=17624 CPUtime=0.02 cores=0,2,4,6
/proc/4908/stat : 4908 (python) D 4906 4908 31325 0 -1 4202496 2216 0 0 0 1 1 0 0 20 0 1 0 339116756 18046976 722 33554432000 4194304 4196484 140734812344288 140734812274456 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/4908/statm: 4406 722 354 1 0 341 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17624

[startup+0.300297 s]
/proc/loadavg: 2.05 2.06 2.07 2/177 4908
/proc/meminfo: memFree=30458452/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=54508 CPUtime=0.1 cores=0,2,4,6
/proc/4908/stat : 4908 (python) D 4906 4908 31325 0 -1 4202496 3956 0 0 0 6 4 0 0 20 0 1 0 339116756 55816192 2142 33554432000 4194304 4196484 140734812344288 140734812190104 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/4908/statm: 13627 2142 600 1 0 1482 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 54508

[startup+0.700262 s]
/proc/loadavg: 2.05 2.06 2.07 2/177 4908
/proc/meminfo: memFree=30458452/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=99040 CPUtime=0.26 cores=0,2,4,6
/proc/4908/stat : 4908 (python) R 4906 4908 31325 0 -1 4202496 5759 0 0 0 15 11 0 0 20 0 1 0 339116756 101416960 3602 33554432000 4194304 4196484 140734812344288 140734812287224 225444709264 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/4908/statm: 24760 3602 1047 1 0 2562 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 99040

[startup+1.50022 s]
/proc/loadavg: 2.04 2.06 2.07 2/178 4913
/proc/meminfo: memFree=30438216/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=118116 CPUtime=0.48 cores=0,2,4,6
/proc/4908/stat : 4908 (python) R 4906 4908 31325 0 -1 4202496 9592 1010 0 0 30 18 0 0 20 0 1 0 339116756 120950784 5829 33554432000 4194304 4196484 140734812344288 140734812277640 225444709264 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 29529 5829 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 118116

[startup+3.10025 s]
/proc/loadavg: 2.04 2.06 2.07 3/179 4914
/proc/meminfo: memFree=30428900/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=134480 CPUtime=0.67 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 11229 1010 0 0 45 22 0 0 20 0 1 0 339116756 137707520 6346 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 33620 6346 1170 1 0 5192 0
[pid=4914] ppid=4908 vsize=7452 CPUtime=1.24 cores=0,2,4,6
/proc/4914/stat : 4914 (clasp-1.3.3-x86) R 4908 4914 4914 0 -1 4202496 2032 0 0 0 124 0 0 0 20 0 1 0 339116941 7630848 1610 33554432000 134512640 136080129 4287389856 4287388848 134588775 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4914/statm: 1863 1610 175 383 0 1478 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 141932
heavy processes:

[startup+6.30026 s]
/proc/loadavg: 2.04 2.06 2.07 3/179 4914
/proc/meminfo: memFree=30427040/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=134480 CPUtime=0.8 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 11238 1010 0 0 57 23 0 0 20 0 1 0 339116756 137707520 6346 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 33620 6346 1170 1 0 5192 0
[pid=4914] ppid=4908 vsize=8508 CPUtime=4.44 cores=0,2,4,6
/proc/4914/stat : 4914 (clasp-1.3.3-x86) R 4908 4914 4914 0 -1 4202496 2291 0 0 0 444 0 0 0 20 0 1 0 339116941 8712192 1869 33554432000 134512640 136080129 4287389856 4287388992 134845730 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4914/statm: 2127 1869 175 383 0 1742 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 142988

[startup+12.7003 s]
/proc/loadavg: 2.04 2.06 2.07 3/179 4917
/proc/meminfo: memFree=30428884/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=11.17 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 12490 4538 0 0 87 28 1001 1 20 0 1 0 339116756 139816960 6368 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6368 1180 1 0 5192 0
[pid=4917] ppid=4908 vsize=7324 CPUtime=0.8 cores=0,2,4,6
/proc/4917/stat : 4917 (clasp-1.3.3-x86) R 4908 4917 4917 0 -1 4202496 1992 0 0 0 80 0 0 0 20 0 1 0 339117945 7499776 1570 33554432000 134512640 136080129 4292506352 4292505424 134849530 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4917/statm: 1831 1570 175 383 0 1446 0
Current children cumulated CPU time (s) 11.97
Current children cumulated vsize (KiB) 143864

[startup+25.5003 s]
/proc/loadavg: 2.03 2.06 2.07 3/179 4917
/proc/meminfo: memFree=30426396/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=11.76 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 12519 4538 0 0 137 37 1001 1 20 0 1 0 339116756 139816960 6368 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6368 1180 1 0 5192 0
[pid=4917] ppid=4908 vsize=9832 CPUtime=13.6 cores=0,2,4,6
/proc/4917/stat : 4917 (clasp-1.3.3-x86) R 4908 4917 4917 0 -1 4202496 2616 0 0 0 1360 0 0 0 20 0 1 0 339117945 10067968 2194 33554432000 134512640 136080129 4292506352 4292505424 134849631 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4917/statm: 2458 2194 175 383 0 2073 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 146372

[startup+51.1003 s]
/proc/loadavg: 2.21 2.10 2.08 4/197 4938
/proc/meminfo: memFree=30406844/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=12.95 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 12544 4538 0 0 241 52 1001 1 20 0 1 0 339116756 139816960 6368 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6368 1180 1 0 5192 0
[pid=4917] ppid=4908 vsize=12340 CPUtime=39.19 cores=0,2,4,6
/proc/4917/stat : 4917 (clasp-1.3.3-x86) R 4908 4917 4917 0 -1 4202496 3245 0 0 0 3919 0 0 0 20 0 1 0 339117945 12636160 2823 33554432000 134512640 136080129 4292506352 4292505424 134849656 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4917/statm: 3085 2823 175 383 0 2700 0
Current children cumulated CPU time (s) 52.14
Current children cumulated vsize (KiB) 148880

[startup+102.306 s]
/proc/loadavg: 2.08 2.08 2.08 3/197 4941
/proc/meminfo: memFree=30287672/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=66.12 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 13729 8822 0 0 474 90 6046 2 20 0 1 0 339116756 139816960 6373 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6373 1180 1 0 5192 0
[pid=4941] ppid=4908 vsize=60856 CPUtime=39.92 cores=0,2,4,6
/proc/4941/stat : 4941 (wbo1.4a) R 4908 4941 4941 0 -1 4202496 15324 0 0 0 3935 57 0 0 20 0 1 0 339122994 62316544 14678 33554432000 134512640 135751879 4289321968 4289320220 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/4941/statm: 15214 14678 139 303 0 14909 0
Current children cumulated CPU time (s) 106.04
Current children cumulated vsize (KiB) 197396

[startup+162.3 s]
/proc/loadavg: 2.10 2.08 2.08 3/179 4947
/proc/meminfo: memFree=30419964/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=120.09 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 14968 29223 0 0 722 126 11064 97 20 0 1 0 339116756 139816960 6375 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6375 1180 1 0 5192 0
[pid=4944] ppid=4908 vsize=18808 CPUtime=48.75 cores=0,2,4,6
/proc/4944/stat : 4944 (clasp-1.3.3-x86) R 4908 4944 4944 0 -1 4202496 4862 0 0 0 4875 0 0 0 20 0 1 0 339128109 19259392 4434 33554432000 134512640 136080129 4290457520 4290456592 134849662 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/4944/statm: 4702 4434 175 383 0 4317 0
Current children cumulated CPU time (s) 168.84
Current children cumulated vsize (KiB) 155348

[startup+222.3 s]
/proc/loadavg: 2.07 2.08 2.08 3/179 4950
/proc/meminfo: memFree=30327136/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=223.47 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 16187 37380 0 0 987 167 21094 99 20 0 1 0 339116756 139816960 6375 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6375 1180 1 0 5192 0
[pid=4950] ppid=4908 vsize=17556 CPUtime=8.4 cores=0,2,4,6
/proc/4950/stat : 4950 (wbo1.4a) R 4908 4950 4950 0 -1 4202496 4503 0 0 0 824 16 0 0 20 0 1 0 339138145 17977344 3858 33554432000 134512640 135751879 4293873616 4293871232 134605033 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/4950/statm: 4389 3858 139 303 0 4084 0
Current children cumulated CPU time (s) 231.87
Current children cumulated vsize (KiB) 154096

[startup+282.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/180 4957
/proc/meminfo: memFree=30317616/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=226.32 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 16223 37380 0 0 1235 204 21094 99 20 0 1 0 339116756 139816960 6375 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6375 1180 1 0 5192 0
[pid=4950] ppid=4908 vsize=100588 CPUtime=68.37 cores=0,2,4,6
/proc/4950/stat : 4950 (wbo1.4a) R 4908 4950 4950 0 -1 4202496 25278 0 0 0 6701 136 0 0 20 0 1 0 339138145 103002112 24649 33554432000 134512640 135751879 4293873616 4293871728 134620852 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/4950/statm: 25147 24649 139 303 0 24842 0
Current children cumulated CPU time (s) 294.69
Current children cumulated vsize (KiB) 237128

[startup+342.3 s]
/proc/loadavg: 2.08 2.07 2.08 3/179 4975
/proc/meminfo: memFree=30341348/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=331.46 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 17484 76615 0 0 1487 247 31102 310 20 0 1 0 339116756 139816960 6377 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6377 1180 1 0 5192 0
[pid=4969] ppid=4908 vsize=142552 CPUtime=26.13 cores=0,2,4,6
/proc/4969/stat : 4969 (wbo1.4b) R 4908 4969 4969 0 -1 4202496 35751 0 0 0 2605 8 0 0 20 0 1 0 339148370 145973248 35138 33554432000 134512640 135751879 4289666992 4289659840 134524641 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/4969/statm: 35638 35138 142 303 0 35333 0
Current children cumulated CPU time (s) 357.59
Current children cumulated vsize (KiB) 279092

[startup+402.301 s]
/proc/loadavg: 2.08 2.07 2.07 3/215 5029
/proc/meminfo: memFree=30243740/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=384.94 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 18709 132259 0 0 1740 283 36148 323 20 0 1 0 339116756 139816960 6377 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6377 1180 1 0 5192 0

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

/proc/5123/statm: 13564 13287 175 383 0 13179 0
Current children cumulated CPU time (s) 1114.82
Current children cumulated vsize (KiB) 190796

[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/179 5151
/proc/meminfo: memFree=30452596/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=1164.2 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 41953 321586 0 2 4821 759 110380 460 20 0 1 0 339116756 139816960 6387 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6387 1180 1 0 5192 0
[pid=5151] ppid=4908 vsize=31460 CPUtime=13.54 cores=0,2,4,6
/proc/5151/stat : 5151 (bsolo_pb10) R 4908 5151 5151 0 -1 4202496 6226 0 0 0 1348 6 0 0 20 0 1 0 339227631 32215040 5382 33554432000 134512640 137138936 4290261104 4290259528 134606847 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/5151/statm: 7865 5382 192 642 0 7221 0
Current children cumulated CPU time (s) 1177.74
Current children cumulated vsize (KiB) 168000

[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/179 5152
/proc/meminfo: memFree=30369360/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=1167.04 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 41978 321586 0 2 5068 796 110380 460 20 0 1 0 339116756 139816960 6387 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6387 1180 1 0 5192 0
[pid=5151] ppid=4908 vsize=107308 CPUtime=73.52 cores=0,2,4,6
/proc/5151/stat : 5151 (bsolo_pb10) R 4908 5151 5151 0 -1 4202496 25210 0 0 0 7320 32 0 0 20 0 1 0 339227631 109883392 24347 33554432000 134512640 137138936 4290261104 4290260032 134542295 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/5151/statm: 26827 24347 192 642 0 26183 0
Current children cumulated CPU time (s) 1240.56
Current children cumulated vsize (KiB) 243848

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/179 5167
/proc/meminfo: memFree=30461960/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=1280.52 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 44434 357798 0 2 5314 842 121397 499 20 0 1 0 339116756 139816960 6387 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6387 1180 1 0 5192 0
[pid=5167] ppid=4908 vsize=10756 CPUtime=22.91 cores=0,2,4,6
/proc/5167/stat : 5167 (clasp-1.3.3-x86) R 4908 5167 5167 0 -1 4202496 2863 0 0 0 2290 1 0 0 20 0 1 0 339238694 11014144 2435 33554432000 134512640 136080129 4288300064 4288299056 134588864 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5167/statm: 2689 2435 175 383 0 2304 0
Current children cumulated CPU time (s) 1303.43
Current children cumulated vsize (KiB) 147296

[startup+1302.3 s]
/proc/loadavg: 2.08 2.04 2.04 3/179 5167
/proc/meminfo: memFree=30451344/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=1283.31 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 44459 357798 0 2 5556 879 121397 499 20 0 1 0 339116756 139816960 6387 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6387 1180 1 0 5192 0
[pid=5167] ppid=4908 vsize=14856 CPUtime=82.9 cores=0,2,4,6
/proc/5167/stat : 5167 (clasp-1.3.3-x86) R 4908 5167 5167 0 -1 4202496 3891 0 0 0 8289 1 0 0 20 0 1 0 339238694 15212544 3461 33554432000 134512640 136080129 4288300064 4288299136 134849643 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5167/statm: 3714 3461 175 383 0 3329 0
Current children cumulated CPU time (s) 1366.21
Current children cumulated vsize (KiB) 151396

[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.03 3/179 5185
/proc/meminfo: memFree=30465008/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=1406.73 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 48124 370010 0 2 5816 918 133435 504 20 0 1 0 339116756 139816960 6388 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6388 1180 1 0 5192 0
[pid=5185] ppid=4908 vsize=10488 CPUtime=22.42 cores=0,2,4,6
/proc/5185/stat : 5185 (clasp-1.3.3-x86) R 4908 5185 5185 0 -1 4202496 2797 0 0 0 2242 0 0 0 20 0 1 0 339250742 10739712 2368 33554432000 134512640 136080129 4289175840 4289174912 134849631 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5185/statm: 2622 2368 175 383 0 2237 0
Current children cumulated CPU time (s) 1429.15
Current children cumulated vsize (KiB) 147028

[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.03 3/179 5238
/proc/meminfo: memFree=30466916/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=1470.15 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 50589 378074 0 2 6071 956 139482 506 20 0 1 0 339116756 139816960 6389 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6389 1180 1 0 5192 0
[pid=5192] ppid=4908 vsize=10620 CPUtime=21.89 cores=0,2,4,6
/proc/5192/stat : 5192 (clasp-1.3.3-x86) R 4908 5192 5192 0 -1 4202496 2816 0 0 0 2183 6 0 0 20 0 1 0 339256796 10874880 2389 33554432000 134512640 136080129 4293896096 4293895088 134588694 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5192/statm: 2655 2389 175 383 0 2270 0
Current children cumulated CPU time (s) 1492.04
Current children cumulated vsize (KiB) 147160

[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.03 3/180 5245
/proc/meminfo: memFree=30422568/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=1472.95 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 50616 378074 0 2 6313 994 139482 506 20 0 1 0 339116756 139816960 6389 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6389 1180 1 0 5192 0
[pid=5192] ppid=4908 vsize=26896 CPUtime=81.87 cores=0,2,4,6
/proc/5192/stat : 5192 (clasp-1.3.3-x86) R 4908 5192 5192 0 -1 4202496 6891 0 0 0 8181 6 0 0 20 0 1 0 339256796 27541504 6458 33554432000 134512640 136080129 4293896096 4293894992 134842518 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5192/statm: 6724 6458 175 383 0 6339 0
Current children cumulated CPU time (s) 1554.82
Current children cumulated vsize (KiB) 163436

[startup+1542.3 s]
/proc/loadavg: 2.11 2.05 2.03 3/178 5257
/proc/meminfo: memFree=30460848/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=1596.34 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 54291 393023 0 2 6572 1032 151515 515 20 0 1 0 339116756 139816960 6389 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6389 1180 1 0 5192 0
[pid=5257] ppid=4908 vsize=12864 CPUtime=21.41 cores=0,2,4,6
/proc/5257/stat : 5257 (clasp-1.3.3-x86) R 4908 5257 5257 0 -1 4202496 3383 0 0 0 2141 0 0 0 20 0 1 0 339268844 13172736 2958 33554432000 134512640 136080129 4287782512 4287781584 134849233 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5257/statm: 3216 2958 175 383 0 2831 0
Current children cumulated CPU time (s) 1617.75
Current children cumulated vsize (KiB) 149404

[startup+1602.3 s]
/proc/loadavg: 2.07 2.06 2.03 3/179 5258
/proc/meminfo: memFree=30442408/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=1599.15 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 54316 393023 0 2 6812 1073 151515 515 20 0 1 0 339116756 139816960 6389 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6389 1180 1 0 5192 0
[pid=5257] ppid=4908 vsize=15784 CPUtime=81.4 cores=0,2,4,6
/proc/5257/stat : 5257 (clasp-1.3.3-x86) R 4908 5257 5257 0 -1 4202496 4093 0 0 0 8139 1 0 0 20 0 1 0 339268844 16162816 3665 33554432000 134512640 136080129 4287782512 4287781584 134849937 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5257/statm: 3946 3665 175 383 0 3561 0
Current children cumulated CPU time (s) 1680.55
Current children cumulated vsize (KiB) 152324

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.03 3/179 5270
/proc/meminfo: memFree=30397472/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=1722.58 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 57981 405610 0 2 7064 1121 163553 520 20 0 1 0 339116756 139816960 6391 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6391 1180 1 0 5192 0
[pid=5270] ppid=4908 vsize=10884 CPUtime=20.92 cores=0,2,4,6
/proc/5270/stat : 5270 (clasp-1.3.3-x86) R 4908 5270 5270 0 -1 4202496 2887 0 0 0 2092 0 0 0 20 0 1 0 339280893 11145216 2461 33554432000 134512640 136080129 4293738672 4293737664 134588726 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5270/statm: 2721 2461 175 383 0 2336 0
Current children cumulated CPU time (s) 1743.5
Current children cumulated vsize (KiB) 147424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1716.3 s]
/proc/loadavg: 2.07 2.05 2.03 4/179 5270
/proc/meminfo: memFree=30303032/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=1725.11 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 58005 405610 0 2 7286 1152 163553 520 20 0 1 0 339116756 139816960 6391 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6391 1180 1 0 5192 0
[pid=5270] ppid=4908 vsize=17536 CPUtime=74.92 cores=0,2,4,6
/proc/5270/stat : 5270 (clasp-1.3.3-x86) R 4908 5270 5270 0 -1 4202496 4557 0 0 0 7492 0 0 0 20 0 1 0 339280893 17956864 4131 33554432000 134512640 136080129 4293738672 4293737744 134849631 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5270/statm: 4384 4131 175 383 0 3999 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 154076

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

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

[startup+1716.3 s]
/proc/loadavg: 2.07 2.05 2.03 4/179 5270
/proc/meminfo: memFree=30303032/32873844 swapFree=7900/7900
[pid=4908] ppid=4906 vsize=136540 CPUtime=1725.11 cores=0,2,4,6
/proc/4908/stat : 4908 (python) S 4906 4908 31325 0 -1 4202496 58005 405610 0 2 7286 1152 163553 520 20 0 1 0 339116756 139816960 6391 33554432000 4194304 4196484 140734812344288 140734812336048 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/4908/statm: 34135 6391 1180 1 0 5192 0
[pid=5270] ppid=4908 vsize=17536 CPUtime=74.92 cores=0,2,4,6
/proc/5270/stat : 5270 (clasp-1.3.3-x86) R 4908 5270 5270 0 -1 4202496 4557 0 0 0 7492 0 0 0 20 0 1 0 339280893 17956864 4131 33554432000 134512640 136080129 4293738672 4293737744 134849631 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5270/statm: 4384 4131 175 383 0 3999 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 154076

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4908 and gives
#  childrusage.ru_utime.tv_sec=1708
#  childrusage.ru_utime.tv_usec=404283
#  childrusage.ru_stime.tv_sec=16
#  childrusage.ru_stime.tv_usec=733456
# CPU time returned by wait4() is 1725.14
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1716.31
CPU time (s): 1800.03
CPU user time (s): 1783.31
CPU system time (s): 16.72
CPU usage (%): 104.878
Max. virtual memory (cumulated for all children) (KiB): 2851680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1708.4
system time used= 16.7335
maximum resident set size= 216376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 463615
page faults= 2
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11140
involuntary context switches= 2666

runsolver used 4.11137 second user time and 8.44272 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-03 15:25:21
IDJOB=3742209
IDBENCH=90141
IDSOLVER=2323
FILE ID=node137/3742209-1338729921
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/ShortestPathNG/normalized-NG_K167.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742209-1338729921/watcher-3742209-1338729921 -o /tmp/evaluation-result-3742209-1338729921/solver-3742209-1338729921 -C 1800 -W 1900 -M 15500  solver HOME/instance-3742209-1338729921.opb 372683619 

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

MD5SUM BENCH= 828e3d173a352fe2cabe4815c21f6f3f
RANDOM SEED=372683619

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:        30458716 kB
Buffers:          255432 kB
Cached:          1255608 kB
SwapCached:         5796 kB
Active:           889044 kB
Inactive:         701328 kB
Active(anon):      74516 kB
Inactive(anon):     7172 kB
Active(file):     814528 kB
Inactive(file):   694156 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             21796 kB
Writeback:            24 kB
AnonPages:         82360 kB
Mapped:            13208 kB
Shmem:                 0 kB
Slab:             685780 kB
SReclaimable:     126664 kB
SUnreclaim:       559116 kB
KernelStack:        1464 kB
PageTables:         4368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     199608 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= 70280 MiB
End job on node137 at 2012-06-03 15:54:01