Trace number 3742417

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 1719.32

General information on the benchmark

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

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.14 2.10 3/179 17996
/proc/meminfo: memFree=28525308/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/17996/stat : 17996 (python) D 17994 17996 11290 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 339430224 15642624 527 33554432000 4194304 5683644 140736884685024 140736884670936 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 3819 527 312 364 0 261 0

[startup+0.057905 s]
/proc/loadavg: 2.20 2.14 2.10 3/179 17996
/proc/meminfo: memFree=28525308/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=16624 CPUtime=0.01 cores=1,3,5,7
/proc/17996/stat : 17996 (python) R 17994 17996 11290 0 -1 4202496 1284 0 0 0 1 0 0 0 20 0 1 0 339430224 17022976 971 33554432000 4194304 5683644 140736884685024 140736884668392 5210636 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 4156 971 398 364 0 598 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16624

[startup+0.100275 s]
/proc/loadavg: 2.20 2.14 2.10 3/179 17996
/proc/meminfo: memFree=28525308/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=17628 CPUtime=0.01 cores=1,3,5,7
/proc/17996/stat : 17996 (python) D 17994 17996 11290 0 -1 4202496 2217 0 0 0 1 0 0 0 20 0 1 0 339430224 18051072 723 33554432000 4194304 4196484 140736016108144 140736016038312 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 4407 723 354 1 0 342 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17628

[startup+0.300277 s]
/proc/loadavg: 2.20 2.14 2.10 3/179 17996
/proc/meminfo: memFree=28525308/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=54712 CPUtime=0.07 cores=1,3,5,7
/proc/17996/stat : 17996 (python) D 17994 17996 11290 0 -1 4202496 4012 0 0 0 5 2 0 0 20 0 1 0 339430224 56025088 2190 33554432000 4194304 4196484 140736016108144 140736015940024 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 13678 2190 600 1 0 1533 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 54712

[startup+0.700235 s]
/proc/loadavg: 2.20 2.14 2.10 3/179 17996
/proc/meminfo: memFree=28525308/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=101564 CPUtime=0.24 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 6448 0 0 0 16 8 0 0 20 0 1 0 339430224 104001536 4236 33554432000 4194304 4196484 140736016108144 140736016074104 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 25391 4236 1049 1 0 3193 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 101564

[startup+1.50026 s]
/proc/loadavg: 2.20 2.14 2.10 2/180 18004
/proc/meminfo: memFree=28585556/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=118116 CPUtime=0.44 cores=1,3,5,7
/proc/17996/stat : 17996 (python) D 17994 17996 11290 0 -1 4202496 9595 1014 0 0 29 15 0 0 20 0 1 0 339430224 120950784 5830 33554432000 4194304 4196484 140736016108144 140736016041752 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 29529 5830 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 118116

[startup+3.10024 s]
/proc/loadavg: 2.19 2.14 2.10 3/181 18005
/proc/meminfo: memFree=28577992/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=134452 CPUtime=0.66 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 11234 1014 0 0 45 21 0 0 20 0 1 0 339430224 137678848 6348 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 33613 6348 1170 1 0 5185 0
[pid=18005] ppid=17996 vsize=7832 CPUtime=1.27 cores=1,3,5,7
/proc/18005/stat : 18005 (clasp-1.3.3-x86) R 17996 18005 18005 0 -1 4202496 2131 0 0 0 127 0 0 0 20 0 1 0 339430406 8019968 1692 33554432000 134512640 136080129 4292817296 4292816368 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18005/statm: 1958 1692 175 383 0 1573 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 142284
heavy processes:

[startup+6.30027 s]
/proc/loadavg: 2.19 2.14 2.10 3/181 18005
/proc/meminfo: memFree=28575140/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=134452 CPUtime=0.8 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 11246 1014 0 0 56 24 0 0 20 0 1 0 339430224 137678848 6348 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 33613 6348 1170 1 0 5185 0
[pid=18005] ppid=17996 vsize=8756 CPUtime=4.47 cores=1,3,5,7
/proc/18005/stat : 18005 (clasp-1.3.3-x86) R 17996 18005 18005 0 -1 4202496 2347 0 0 0 447 0 0 0 20 0 1 0 339430406 8966144 1908 33554432000 134512640 136080129 4292817296 4292816368 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18005/statm: 2189 1908 175 383 0 1804 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 143208

[startup+12.7002 s]
/proc/loadavg: 2.16 2.13 2.10 3/181 18011
/proc/meminfo: memFree=28577496/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=11.15 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 12515 4663 0 0 84 30 1000 1 20 0 1 0 339430224 139788288 6368 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6368 1180 1 0 5185 0
[pid=18011] ppid=17996 vsize=7700 CPUtime=0.84 cores=1,3,5,7
/proc/18011/stat : 18011 (clasp-1.3.3-x86) R 17996 18011 18011 0 -1 4202496 2102 0 0 0 84 0 0 0 20 0 1 0 339431409 7884800 1667 33554432000 134512640 136080129 4288686160 4288684964 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18011/statm: 1925 1667 175 383 0 1540 0
Current children cumulated CPU time (s) 11.99
Current children cumulated vsize (KiB) 144212

[startup+25.5003 s]
/proc/loadavg: 2.21 2.15 2.10 3/181 18014
/proc/meminfo: memFree=28574148/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=11.7 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 12541 4663 0 0 131 38 1000 1 20 0 1 0 339430224 139788288 6368 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6368 1180 1 0 5185 0
[pid=18011] ppid=17996 vsize=10344 CPUtime=13.64 cores=1,3,5,7
/proc/18011/stat : 18011 (clasp-1.3.3-x86) R 17996 18011 18011 0 -1 4202496 2753 0 0 0 1364 0 0 0 20 0 1 0 339431409 10592256 2318 33554432000 134512640 136080129 4288686160 4288685232 134849501 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18011/statm: 2586 2318 175 383 0 2201 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 146856

[startup+51.1003 s]
/proc/loadavg: 2.26 2.16 2.11 3/181 18017
/proc/meminfo: memFree=28570176/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=12.84 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 12579 4663 0 0 227 56 1000 1 20 0 1 0 339430224 139788288 6368 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6368 1180 1 0 5185 0
[pid=18011] ppid=17996 vsize=11796 CPUtime=39.24 cores=1,3,5,7
/proc/18011/stat : 18011 (clasp-1.3.3-x86) R 17996 18011 18011 0 -1 4202496 3122 0 0 0 3924 0 0 0 20 0 1 0 339431409 12079104 2687 33554432000 134512640 136080129 4288686160 4288685232 134849676 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18011/statm: 2949 2687 175 383 0 2564 0
Current children cumulated CPU time (s) 52.08
Current children cumulated vsize (KiB) 148308

[startup+102.307 s]
/proc/loadavg: 2.22 2.17 2.11 3/181 18020
/proc/meminfo: memFree=28507616/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=65.85 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 13783 8967 0 0 451 97 6035 2 20 0 1 0 339430224 139788288 6373 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6373 1180 1 0 5185 0
[pid=18020] ppid=17996 vsize=72232 CPUtime=40.03 cores=1,3,5,7
/proc/18020/stat : 18020 (wbo1.4a) R 17996 18020 18020 0 -1 4202496 18107 0 0 0 3894 109 0 0 20 0 1 0 339436448 73965568 17434 33554432000 134512640 135751879 4291373920 4291372172 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/18020/statm: 18058 17434 139 303 0 17753 0
Current children cumulated CPU time (s) 105.88
Current children cumulated vsize (KiB) 208744

[startup+162.3 s]
/proc/loadavg: 2.08 2.13 2.10 3/182 18027
/proc/meminfo: memFree=28557752/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=120.14 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 15074 31187 0 0 684 137 11065 128 20 0 1 0 339430224 139788288 6375 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6375 1180 1 0 5185 0
[pid=18023] ppid=17996 vsize=12584 CPUtime=48.45 cores=1,3,5,7
/proc/18023/stat : 18023 (clasp-1.3.3-x86) R 17996 18023 18023 0 -1 4202496 3333 0 0 0 4844 1 0 0 20 0 1 0 339441607 12886016 2895 33554432000 134512640 136080129 4293685744 4293684736 134588684 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18023/statm: 3146 2895 175 383 0 2761 0
Current children cumulated CPU time (s) 168.59
Current children cumulated vsize (KiB) 149096

[startup+222.3 s]
/proc/loadavg: 2.11 2.14 2.10 3/181 18030
/proc/meminfo: memFree=28522648/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=223.25 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 16361 36251 0 0 938 179 21078 130 20 0 1 0 339430224 139788288 6376 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6376 1180 1 0 5185 0
[pid=18030] ppid=17996 vsize=23736 CPUtime=8.26 cores=1,3,5,7
/proc/18030/stat : 18030 (wbo1.4a) R 17996 18030 18030 0 -1 4202496 5963 0 0 0 800 26 0 0 20 0 1 0 339451627 24305664 5294 33554432000 134512640 135751879 4293031360 4293029612 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/18030/statm: 5934 5294 139 303 0 5629 0
Current children cumulated CPU time (s) 231.51
Current children cumulated vsize (KiB) 160248

[startup+282.3 s]
/proc/loadavg: 2.04 2.11 2.09 3/181 18030
/proc/meminfo: memFree=28440896/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=225.98 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 16386 36251 0 0 1173 217 21078 130 20 0 1 0 339430224 139788288 6376 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6376 1180 1 0 5185 0
[pid=18030] ppid=17996 vsize=104460 CPUtime=68.24 cores=1,3,5,7
/proc/18030/stat : 18030 (wbo1.4a) R 17996 18030 18030 0 -1 4202496 26150 0 0 0 6687 137 0 0 20 0 1 0 339451627 106967040 25497 33554432000 134512640 135751879 4293031360 4293028976 134604779 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/18030/statm: 26115 25497 139 303 0 25810 0
Current children cumulated CPU time (s) 294.22
Current children cumulated vsize (KiB) 240972

[startup+342.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/181 18036
/proc/meminfo: memFree=28446256/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=331.38 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 17606 79630 0 0 1417 257 31129 335 20 0 1 0 339430224 139788288 6377 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6377 1180 1 0 5185 0
[pid=18033] ppid=17996 vsize=131456 CPUtime=25.63 cores=1,3,5,7
/proc/18033/stat : 18033 (wbo1.4b) R 17996 18033 18033 0 -1 4202496 32887 0 0 0 2556 7 0 0 20 0 1 0 339461889 134610944 32227 33554432000 134512640 135751879 4290522768 4290520712 135204016 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/18033/statm: 32864 32227 142 303 0 32559 0
Current children cumulated CPU time (s) 357.01
Current children cumulated vsize (KiB) 267968

[startup+402.301 s]
/proc/loadavg: 2.04 2.08 2.08 3/199 18057
/proc/meminfo: memFree=28307648/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=384.65 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 18884 124670 0 0 1655 297 36167 346 20 0 1 0 339430224 139788288 6378 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6378 1180 1 0 5185 0

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

/proc/18164/statm: 9792 9530 175 383 0 9407 0
Current children cumulated CPU time (s) 1112.99
Current children cumulated vsize (KiB) 175684

[startup+1122.3 s]
/proc/loadavg: 2.16 2.10 2.09 3/181 18230
/proc/meminfo: memFree=28553168/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=1162.53 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 42835 313585 0 2 4580 797 110360 516 20 0 1 0 339430224 139788288 6387 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6387 1180 1 0 5185 0
[pid=18230] ppid=17996 vsize=27004 CPUtime=13.28 cores=1,3,5,7
/proc/18230/stat : 18230 (bsolo_pb10) R 17996 18230 18230 0 -1 4202496 5162 0 0 0 1314 14 0 0 20 0 1 0 339541125 27652096 4245 33554432000 134512640 137138936 4289740432 4289739352 135984589 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/18230/statm: 6751 4245 192 642 0 6107 0
Current children cumulated CPU time (s) 1175.81
Current children cumulated vsize (KiB) 163516

[startup+1182.3 s]
/proc/loadavg: 2.11 2.10 2.09 4/181 18233
/proc/meminfo: memFree=28461536/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=1165.25 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 42871 313585 0 2 4812 837 110360 516 20 0 1 0 339430224 139788288 6387 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6387 1180 1 0 5185 0
[pid=18230] ppid=17996 vsize=98656 CPUtime=73.23 cores=1,3,5,7
/proc/18230/stat : 18230 (bsolo_pb10) R 17996 18230 18230 0 -1 4202496 23128 0 0 0 7281 42 0 0 20 0 1 0 339541125 101023744 22170 33554432000 134512640 137138936 4289740432 4289738712 136504045 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/18230/statm: 24664 22170 192 642 0 24020 0
Current children cumulated CPU time (s) 1238.48
Current children cumulated vsize (KiB) 235168

[startup+1242.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/181 18239
/proc/meminfo: memFree=28438464/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=1278.82 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 45393 347991 0 2 5051 878 121386 567 20 0 1 0 339430224 139788288 6387 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6387 1180 1 0 5185 0
[pid=18239] ppid=17996 vsize=11052 CPUtime=22.42 cores=1,3,5,7
/proc/18239/stat : 18239 (clasp-1.3.3-x86) R 17996 18239 18239 0 -1 4202496 2927 0 0 0 2242 0 0 0 20 0 1 0 339552210 11317248 2487 33554432000 134512640 136080129 4294486016 4294485176 134856211 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18239/statm: 2763 2487 175 383 0 2378 0
Current children cumulated CPU time (s) 1301.24
Current children cumulated vsize (KiB) 147564

[startup+1302.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/181 18242
/proc/meminfo: memFree=28398104/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=1281.51 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 45418 347991 0 2 5283 915 121386 567 20 0 1 0 339430224 139788288 6387 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6387 1180 1 0 5185 0
[pid=18239] ppid=17996 vsize=14616 CPUtime=82.42 cores=1,3,5,7
/proc/18239/stat : 18239 (clasp-1.3.3-x86) R 17996 18239 18239 0 -1 4202496 3837 0 0 0 8241 1 0 0 20 0 1 0 339552210 14966784 3397 33554432000 134512640 136080129 4294486016 4294485088 134849100 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18239/statm: 3654 3397 175 383 0 3269 0
Current children cumulated CPU time (s) 1363.93
Current children cumulated vsize (KiB) 151128

[startup+1362.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/199 18275
/proc/meminfo: memFree=28408676/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=1404.53 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 49191 361624 0 2 5525 955 133400 573 20 0 1 0 339430224 139788288 6388 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6388 1180 1 0 5185 0
[pid=18272] ppid=17996 vsize=11132 CPUtime=22.18 cores=1,3,5,7
/proc/18272/stat : 18272 (clasp-1.3.3-x86) R 17996 18272 18272 0 -1 4202496 2962 0 0 0 2218 0 0 0 20 0 1 0 339564235 11399168 2524 33554432000 134512640 136080129 4290370432 4290369504 134849904 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18272/statm: 2783 2524 175 383 0 2398 0
Current children cumulated CPU time (s) 1426.71
Current children cumulated vsize (KiB) 147644

[startup+1422.31 s]
/proc/loadavg: 2.14 2.10 2.09 3/181 18285
/proc/meminfo: memFree=28470436/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=1467.74 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 51735 369813 0 2 5765 996 139437 576 20 0 1 0 339430224 139788288 6389 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6389 1180 1 0 5185 0
[pid=18282] ppid=17996 vsize=11152 CPUtime=21.74 cores=1,3,5,7
/proc/18282/stat : 18282 (clasp-1.3.3-x86) R 17996 18282 18282 0 -1 4202496 2978 0 0 0 2174 0 0 0 20 0 1 0 339570279 11419648 2537 33554432000 134512640 136080129 4286884688 4286883760 134849904 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18282/statm: 2788 2537 175 383 0 2403 0
Current children cumulated CPU time (s) 1489.48
Current children cumulated vsize (KiB) 147664

[startup+1482.3 s]
/proc/loadavg: 2.05 2.08 2.09 3/181 18285
/proc/meminfo: memFree=28396080/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=1470.43 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 51762 369813 0 2 5996 1034 139437 576 20 0 1 0 339430224 139788288 6389 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6389 1180 1 0 5185 0
[pid=18282] ppid=17996 vsize=16356 CPUtime=81.72 cores=1,3,5,7
/proc/18282/stat : 18282 (clasp-1.3.3-x86) R 17996 18282 18282 0 -1 4202496 4263 0 0 0 8172 0 0 0 20 0 1 0 339570279 16748544 3822 33554432000 134512640 136080129 4286884688 4286883760 134849614 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18282/statm: 4089 3822 175 383 0 3704 0
Current children cumulated CPU time (s) 1552.15
Current children cumulated vsize (KiB) 152868

[startup+1542.3 s]
/proc/loadavg: 2.02 2.06 2.08 3/181 18297
/proc/meminfo: memFree=28505740/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=1593.5 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 55533 382971 0 2 6241 1074 151455 580 20 0 1 0 339430224 139788288 6390 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6390 1180 1 0 5185 0
[pid=18297] ppid=17996 vsize=11164 CPUtime=21.46 cores=1,3,5,7
/proc/18297/stat : 18297 (clasp-1.3.3-x86) R 17996 18297 18297 0 -1 4202496 2946 0 0 0 2146 0 0 0 20 0 1 0 339582307 11431936 2509 33554432000 134512640 136080129 4287576736 4287575728 134588768 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18297/statm: 2791 2509 175 383 0 2406 0
Current children cumulated CPU time (s) 1614.96
Current children cumulated vsize (KiB) 147676

[startup+1602.3 s]
/proc/loadavg: 2.18 2.11 2.09 3/181 18312
/proc/meminfo: memFree=28564824/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=1596.2 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 55568 382971 0 2 6476 1109 151455 580 20 0 1 0 339430224 139788288 6390 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6390 1180 1 0 5185 0
[pid=18297] ppid=17996 vsize=18316 CPUtime=81.45 cores=1,3,5,7
/proc/18297/stat : 18297 (clasp-1.3.3-x86) R 17996 18297 18297 0 -1 4202496 4762 0 0 0 8144 1 0 0 20 0 1 0 339582307 18755584 4324 33554432000 134512640 136080129 4287576736 4287575808 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18297/statm: 4579 4324 175 383 0 4194 0
Current children cumulated CPU time (s) 1677.65
Current children cumulated vsize (KiB) 154828

[startup+1662.3 s]
/proc/loadavg: 2.16 2.11 2.09 3/199 18354
/proc/meminfo: memFree=28451248/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=1719.2 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 59350 395958 0 2 6720 1147 163469 584 20 0 1 0 339430224 139788288 6392 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6392 1180 1 0 5185 0
[pid=18333] ppid=17996 vsize=11156 CPUtime=21.21 cores=1,3,5,7
/proc/18333/stat : 18333 (clasp-1.3.3-x86) R 17996 18333 18333 0 -1 4202496 2975 0 0 0 2121 0 0 0 20 0 1 0 339594331 11423744 2537 33554432000 134512640 136080129 4293736640 4293735712 134849100 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18333/statm: 2789 2537 175 383 0 2404 0
Current children cumulated CPU time (s) 1740.41
Current children cumulated vsize (KiB) 147668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1719.31 s]
/proc/loadavg: 2.16 2.12 2.09 3/181 18364
/proc/meminfo: memFree=28563532/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=1721.78 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 59375 395958 0 2 6942 1183 163469 584 20 0 1 0 339430224 139788288 6392 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6392 1180 1 0 5185 0
[pid=18333] ppid=17996 vsize=20660 CPUtime=78.22 cores=1,3,5,7
/proc/18333/stat : 18333 (clasp-1.3.3-x86) R 17996 18333 18333 0 -1 4202496 5328 0 0 0 7821 1 0 0 20 0 1 0 339594331 21155840 4889 33554432000 134512640 136080129 4293736640 4293735600 134808109 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18333/statm: 5165 4889 175 383 0 4780 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 157172

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

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

[startup+1719.31 s]
/proc/loadavg: 2.16 2.12 2.09 3/181 18364
/proc/meminfo: memFree=28563532/32873844 swapFree=7380/7380
[pid=17996] ppid=17994 vsize=136512 CPUtime=1721.78 cores=1,3,5,7
/proc/17996/stat : 17996 (python) S 17994 17996 11290 0 -1 4202496 59375 395958 0 2 6942 1183 163469 584 20 0 1 0 339430224 139788288 6392 33554432000 4194304 4196484 140736016108144 140736016099904 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 34128 6392 1180 1 0 5185 0
[pid=18333] ppid=17996 vsize=20660 CPUtime=78.22 cores=1,3,5,7
/proc/18333/stat : 18333 (clasp-1.3.3-x86) R 17996 18333 18333 0 -1 4202496 5328 0 0 0 7821 1 0 0 20 0 1 0 339594331 21155840 4889 33554432000 134512640 136080129 4293736640 4293735600 134808109 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/18333/statm: 5165 4889 175 383 0 4780 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 157172

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17996 and gives
#  childrusage.ru_utime.tv_sec=1704
#  childrusage.ru_utime.tv_usec=124933
#  childrusage.ru_stime.tv_sec=17
#  childrusage.ru_stime.tv_usec=685311
# CPU time returned by wait4() is 1721.81
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1719.32
CPU time (s): 1800
CPU user time (s): 1782.32
CPU system time (s): 17.68
CPU usage (%): 104.693
Max. virtual memory (cumulated for all children) (KiB): 2851652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1704.12
system time used= 17.6853
maximum resident set size= 231268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 455333
page faults= 2
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11210
involuntary context switches= 2676

runsolver used 3.91341 second user time and 9.72352 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 16:17:33
IDJOB=3742417
IDBENCH=90182
IDSOLVER=2323
FILE ID=node133/3742417-1338733053
RUNJOBID= node133-1338713154-11307
PBS_JOBID= 14636724
Free space on /tmp= 70460 MiB

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

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

MD5SUM BENCH= 8e674dc671e8e6c3e0a48d5fff5f7edd
RANDOM SEED=451395373

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28525208 kB
Buffers:          474000 kB
Cached:          2854112 kB
SwapCached:          676 kB
Active:          1638416 kB
Inactive:        1809416 kB
Active(anon):     111288 kB
Inactive(anon):    10220 kB
Active(file):    1527128 kB
Inactive(file):  1799196 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             22104 kB
Writeback:             0 kB
AnonPages:        126132 kB
Mapped:            14316 kB
Shmem:                 0 kB
Slab:             761084 kB
SReclaimable:     202536 kB
SUnreclaim:       558548 kB
KernelStack:        1480 kB
PageTables:         4496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     236972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 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= 70440 MiB
End job on node133 at 2012-06-03 16:46:16