Trace number 3740808

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.01 1692.81

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-175.opb
MD5SUM3472d2cba7eedc0e4f1652523daa893e
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 variables248659
Total number of constraints5546518
Number of constraints which are clauses4965781
Number of constraints which are cardinality constraints (but not clauses)19724
Number of constraints which are nor clauses,nor cardinality constraints561013
Minimum length of a constraint2
Maximum length of a constraint2220
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2221
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.09 2.08 3/179 14933
/proc/meminfo: memFree=28335128/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/14933/stat : 14933 (python) R 14931 14933 11290 0 -1 4202496 848 0 0 0 0 0 0 0 20 0 1 0 338219317 15749120 601 33554432000 4194304 5683644 140735062161968 140735062134152 215143124884 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/14933/statm: 3845 607 332 364 0 287 0

[startup+0.0814651 s]
/proc/loadavg: 2.05 2.09 2.08 3/179 14933
/proc/meminfo: memFree=28335128/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=38488 CPUtime=0.04 cores=0,2,4,6
/proc/14933/stat : 14933 (python) D 14931 14933 11290 0 -1 4202496 3055 0 0 0 3 1 0 0 20 0 1 0 338219317 39411712 1416 33554432000 4194304 4196484 140735291857312 140735291739352 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 6 0 0 0 0 0
/proc/14933/statm: 9622 1416 479 1 0 898 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 38488

[startup+0.10024 s]
/proc/loadavg: 2.05 2.09 2.08 3/179 14933
/proc/meminfo: memFree=28335128/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=51900 CPUtime=0.06 cores=0,2,4,6
/proc/14933/stat : 14933 (python) D 14931 14933 11290 0 -1 4202496 3780 0 0 0 4 2 0 0 20 0 1 0 338219317 53145600 2012 33554432000 4194304 4196484 140735291857312 140735291680792 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 6 0 0 0 0 0
/proc/14933/statm: 12975 2012 567 1 0 1382 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 51900

[startup+0.300146 s]
/proc/loadavg: 2.05 2.09 2.08 3/179 14933
/proc/meminfo: memFree=28335128/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=101564 CPUtime=0.22 cores=0,2,4,6
/proc/14933/stat : 14933 (python) R 14931 14933 11290 0 -1 4202496 6639 507 0 0 15 7 0 0 20 0 1 0 338219317 104001536 4250 33554432000 4194304 4196484 140735291857312 140735291823272 140461918414931 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 25391 4250 1049 1 0 3193 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 101564

[startup+0.700145 s]
/proc/loadavg: 2.05 2.09 2.08 3/179 14933
/proc/meminfo: memFree=28335128/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=134488 CPUtime=0.47 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 11241 1012 0 0 35 12 0 0 20 0 1 0 338219317 137715712 6347 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/14933/statm: 33622 6347 1170 1 0 5194 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 134488

[startup+1.50024 s]
/proc/loadavg: 2.05 2.09 2.08 3/181 14939
/proc/meminfo: memFree=28261748/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=134488 CPUtime=0.49 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 11245 1012 0 0 37 12 0 0 20 0 1 0 338219317 137715712 6347 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/14933/statm: 33622 6347 1170 1 0 5194 0
[pid=14939] ppid=14933 vsize=86852 CPUtime=0.88 cores=0,2,4,6
/proc/14939/stat : 14939 (clasp-1.3.3-x86) R 14933 14939 14939 0 -1 4202496 19690 0 0 0 84 4 0 0 20 0 1 0 338219378 88936448 20856 33554432000 134512640 136080129 4292917312 4292914244 135505028 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/14939/statm: 21713 20857 165 383 0 21328 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 221340

[startup+3.10023 s]
/proc/loadavg: 2.05 2.09 2.08 2/178 14940
/proc/meminfo: memFree=28197736/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=134488 CPUtime=0.57 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 11249 1012 0 0 44 13 0 0 20 0 1 0 338219317 137715712 6347 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/14933/statm: 33622 6347 1170 1 0 5194 0
[pid=14939] ppid=14933 vsize=191568 CPUtime=2.48 cores=0,2,4,6
/proc/14939/stat : 14939 (clasp-1.3.3-x86) R 14933 14939 14939 0 -1 4202496 46031 0 0 0 237 11 0 0 20 0 1 0 338219378 196165632 47020 33554432000 134512640 136080129 4292917312 4292913988 135505028 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/14939/statm: 47892 47021 165 383 0 47507 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 326056

[startup+6.3003 s]
/proc/loadavg: 2.13 2.10 2.09 3/181 14983
/proc/meminfo: memFree=27961824/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=134488 CPUtime=0.73 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 11261 1012 0 0 58 15 0 0 20 0 1 0 338219317 137715712 6348 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/14933/statm: 33622 6348 1170 1 0 5194 0
[pid=14939] ppid=14933 vsize=377328 CPUtime=5.68 cores=0,2,4,6
/proc/14939/stat : 14939 (clasp-1.3.3-x86) R 14933 14939 14939 0 -1 4202496 90336 0 0 0 546 22 0 0 20 0 1 0 338219378 386383872 92590 33554432000 134512640 136080129 4292917312 4292916192 135520271 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/14939/statm: 94332 92590 174 383 0 93947 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 511816

[startup+12.7067 s]
/proc/loadavg: 2.12 2.10 2.09 3/181 14986
/proc/meminfo: memFree=28173160/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=11.33 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 12501 95774 0 0 85 19 1003 26 20 0 1 0 338219317 139825152 6368 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6368 1180 1 0 5194 0
[pid=14986] ppid=14933 vsize=149656 CPUtime=1.76 cores=0,2,4,6
/proc/14986/stat : 14986 (clasp-1.3.3-x86) R 14933 14986 14986 0 -1 4202496 35419 0 0 0 168 8 0 0 20 0 1 0 338220409 153247744 36413 33554432000 134512640 136080129 4289166880 4289163764 135505028 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/14986/statm: 37414 36413 165 383 0 37029 0
Current children cumulated CPU time (s) 13.09
Current children cumulated vsize (KiB) 286204

[startup+25.5003 s]
/proc/loadavg: 2.17 2.11 2.09 3/181 14989
/proc/meminfo: memFree=27924936/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=11.96 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 12527 95774 0 0 141 26 1003 26 20 0 1 0 338219317 139825152 6368 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6368 1180 1 0 5194 0
[pid=14986] ppid=14933 vsize=392684 CPUtime=14.56 cores=0,2,4,6
/proc/14986/stat : 14986 (clasp-1.3.3-x86) R 14933 14986 14986 0 -1 4202496 94079 0 0 0 1434 22 0 0 20 0 1 0 338220409 402108416 96338 33554432000 134512640 136080129 4289166880 4289165968 134836690 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/14986/statm: 98171 96338 176 383 0 97786 0
Current children cumulated CPU time (s) 26.52
Current children cumulated vsize (KiB) 529232

[startup+51.1003 s]
/proc/loadavg: 2.11 2.10 2.09 3/180 14989
/proc/meminfo: memFree=27871592/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=13.17 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 12551 95774 0 0 247 41 1003 26 20 0 1 0 338219317 139825152 6368 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6368 1180 1 0 5194 0
[pid=14986] ppid=14933 vsize=436032 CPUtime=40.15 cores=0,2,4,6
/proc/14986/stat : 14986 (clasp-1.3.3-x86) R 14933 14986 14986 0 -1 4202496 104854 0 0 0 3990 25 0 0 20 0 1 0 338220409 446496768 107104 33554432000 134512640 136080129 4289166880 4289165748 135505028 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/14986/statm: 109008 107104 176 383 0 108623 0
Current children cumulated CPU time (s) 53.32
Current children cumulated vsize (KiB) 572580

[startup+102.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/181 14996
/proc/meminfo: memFree=27817300/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=66.4 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 13735 206569 0 0 477 73 6034 56 20 0 1 0 338219317 139825152 6373 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6373 1180 1 0 5194 0
[pid=14993] ppid=14933 vsize=505252 CPUtime=40.7 cores=0,2,4,6
/proc/14993/stat : 14993 (wbo1.4a) R 14933 14993 14993 0 -1 4202496 181258 0 0 0 4040 30 0 0 20 0 1 0 338225473 517378048 119657 33554432000 134512640 135751879 4293381216 4293379468 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/14993/statm: 126313 119657 139 303 0 126008 0
Current children cumulated CPU time (s) 107.1
Current children cumulated vsize (KiB) 641800

[startup+162.307 s]
/proc/loadavg: 2.11 2.11 2.09 4/181 15002
/proc/meminfo: memFree=27837492/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=120.14 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 14968 390892 0 0 731 110 11081 92 20 0 1 0 338219317 139825152 6374 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6374 1180 1 0 5194 0
[pid=14999] ppid=14933 vsize=466356 CPUtime=49.83 cores=0,2,4,6
/proc/14999/stat : 14999 (clasp-1.3.3-x86) R 14933 14999 14999 0 -1 4202496 112455 0 0 0 4958 25 0 0 20 0 1 0 338230560 477548544 114706 33554432000 134512640 136080129 4286986896 4286985968 134849659 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/14999/statm: 116589 114706 176 383 0 116204 0
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (KiB) 602904

[startup+222.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/181 15008
/proc/meminfo: memFree=28126564/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=223.49 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 16193 522755 0 0 982 147 21093 127 20 0 1 0 338219317 139825152 6374 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6374 1180 1 0 5194 0
[pid=15005] ppid=14933 vsize=476572 CPUtime=9.3 cores=0,2,4,6
/proc/15005/stat : 15005 (wbo1.4a) R 14933 15005 15005 0 -1 4202496 81956 0 0 0 920 10 0 0 20 0 1 0 338240615 488009728 82305 33554432000 134512640 135751879 4289904304 4288853752 135206651 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15005/statm: 119143 82305 31067 303 0 52675 0
Current children cumulated CPU time (s) 232.79
Current children cumulated vsize (KiB) 613120

[startup+282.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/182 15011
/proc/meminfo: memFree=27778796/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=226.52 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 16244 522755 0 0 1250 182 21093 127 20 0 1 0 338219317 139825152 6375 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6375 1180 1 0 5194 0
[pid=15005] ppid=14933 vsize=532384 CPUtime=69.26 cores=0,2,4,6
/proc/15005/stat : 15005 (wbo1.4a) R 14933 15005 15005 0 -1 4202496 186752 0 0 0 6888 38 0 0 20 0 1 0 338240615 545161216 125643 33554432000 134512640 135751879 4289904304 4289902556 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15005/statm: 133096 125643 139 303 0 132791 0
Current children cumulated CPU time (s) 295.78
Current children cumulated vsize (KiB) 668932

[startup+342.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/182 15040
/proc/meminfo: memFree=27738380/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=330.19 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 17468 717585 0 0 1503 225 31115 176 20 0 1 0 338219317 139825152 6376 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6376 1180 1 0 5194 0
[pid=15014] ppid=14933 vsize=597548 CPUtime=28.51 cores=0,2,4,6
/proc/15014/stat : 15014 (wbo1.4b) R 14933 15014 15014 0 -1 4202496 204505 0 0 0 2822 29 0 0 20 0 1 0 338250693 611889152 141382 33554432000 134512640 135751879 4293058464 4293056512 134524019 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15014/statm: 149387 141382 141 303 0 149082 0
Current children cumulated CPU time (s) 358.7
Current children cumulated vsize (KiB) 734096

[startup+402.304 s]
/proc/loadavg: 2.56 2.20 2.12 5/217 15083
/proc/meminfo: memFree=26568764/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=384.24 cores=0,2,4,6

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

/proc/15222/statm: 174417 172689 176 383 0 174032 0
Current children cumulated CPU time (s) 1076.6
Current children cumulated vsize (KiB) 834216

[startup+1062.3 s]
/proc/loadavg: 2.02 2.14 2.13 3/181 15232
/proc/meminfo: memFree=27512804/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=870.7 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 40861 2944189 0 2 4604 682 80864 920 20 0 1 0 338219317 139825152 6385 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6385 1180 1 0 5194 0
[pid=15222] ppid=14933 vsize=753764 CPUtime=268.71 cores=0,2,4,6
/proc/15222/stat : 15222 (clasp-1.3.3-x86) R 14933 15222 15222 0 -1 4202496 184128 0 0 0 26820 51 0 0 20 0 1 0 338298661 771854336 187015 33554432000 134512640 136080129 4291039616 4291038688 134849656 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15222/statm: 188441 187015 176 383 0 188056 0
Current children cumulated CPU time (s) 1139.41
Current children cumulated vsize (KiB) 890312

[startup+1122.3 s]
/proc/loadavg: 2.09 2.14 2.13 3/181 15238
/proc/meminfo: memFree=27299580/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1174.17 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 42091 3137298 0 2 4854 721 110864 978 20 0 1 0 338219317 139825152 6385 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6385 1180 1 0 5194 0
[pid=15235] ppid=14933 vsize=1012300 CPUtime=28.08 cores=0,2,4,6
/proc/15235/stat : 15235 (bsolo_pb10) R 14933 15235 15235 0 -1 4202496 316445 0 0 0 2752 56 0 0 20 0 1 0 338328737 1036595200 249551 33554432000 134512640 137138936 4292289760 4289304352 134542199 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/15235/statm: 253075 249551 184 642 0 252431 0
Current children cumulated CPU time (s) 1202.25
Current children cumulated vsize (KiB) 1148848

[startup+1182.3 s]
/proc/loadavg: 2.07 2.13 2.13 3/181 15238
/proc/meminfo: memFree=26910984/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1177.02 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 42116 3137298 0 2 5103 757 110864 978 20 0 1 0 338219317 139825152 6385 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6385 1180 1 0 5194 0
[pid=15235] ppid=14933 vsize=1360784 CPUtime=88.06 cores=0,2,4,6
/proc/15235/stat : 15235 (bsolo_pb10) R 14933 15235 15235 0 -1 4202496 402041 0 0 0 8716 90 0 0 20 0 1 0 338328737 1393442816 336680 33554432000 134512640 137138936 4292289760 4289304348 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/15235/statm: 340196 336680 185 642 0 339552 0
Current children cumulated CPU time (s) 1265.08
Current children cumulated vsize (KiB) 1497332

[startup+1242.3 s]
/proc/loadavg: 2.07 2.12 2.12 4/181 15250
/proc/meminfo: memFree=27865024/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1291.79 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 44573 3635226 0 2 5363 791 121919 1106 20 0 1 0 338219317 139825152 6386 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6386 1180 1 0 5194 0
[pid=15244] ppid=14933 vsize=445448 CPUtime=36.19 cores=0,2,4,6
/proc/15244/stat : 15244 (clasp-1.3.3-x86) R 14933 15244 15244 0 -1 4202496 107404 0 0 0 3590 29 0 0 20 0 1 0 338339925 456138752 109650 33554432000 134512640 136080129 4286607104 4286606176 134849103 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15244/statm: 111362 109650 176 383 0 110977 0
Current children cumulated CPU time (s) 1327.98
Current children cumulated vsize (KiB) 581996

[startup+1302.3 s]
/proc/loadavg: 2.02 2.09 2.11 3/181 15251
/proc/meminfo: memFree=27736588/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1294.62 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 44599 3635226 0 2 5608 829 121919 1106 20 0 1 0 338219317 139825152 6386 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6386 1180 1 0 5194 0
[pid=15244] ppid=14933 vsize=551108 CPUtime=96.16 cores=0,2,4,6
/proc/15244/stat : 15244 (clasp-1.3.3-x86) R 14933 15244 15244 0 -1 4202496 133644 0 0 0 9578 38 0 0 20 0 1 0 338339925 564334592 135916 33554432000 134512640 136080129 4286607104 4286606304 134579207 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15244/statm: 137777 135916 176 383 0 137392 0
Current children cumulated CPU time (s) 1390.78
Current children cumulated vsize (KiB) 687656

[startup+1362.3 s]
/proc/loadavg: 2.17 2.13 2.12 3/181 15269
/proc/meminfo: memFree=27871968/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1419.48 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 48315 3961839 0 2 5869 868 134007 1204 20 0 1 0 338219317 139825152 6387 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6387 1180 1 0 5194 0
[pid=15263] ppid=14933 vsize=437640 CPUtime=34.25 cores=0,2,4,6
/proc/15263/stat : 15263 (clasp-1.3.3-x86) R 14933 15263 15263 0 -1 4202496 105474 0 0 0 3401 24 0 0 20 0 1 0 338352120 448143360 107718 33554432000 134512640 136080129 4294608144 4294607216 134849241 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15263/statm: 109410 107718 176 383 0 109025 0
Current children cumulated CPU time (s) 1453.73
Current children cumulated vsize (KiB) 574188

[startup+1422.3 s]
/proc/loadavg: 2.17 2.14 2.12 3/181 15281
/proc/meminfo: memFree=27899308/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1483.7 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 50810 4169586 0 2 6124 908 140079 1259 20 0 1 0 338219317 139825152 6387 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6387 1180 1 0 5194 0
[pid=15275] ppid=14933 vsize=412684 CPUtime=32.92 cores=0,2,4,6
/proc/15275/stat : 15275 (clasp-1.3.3-x86) R 14933 15275 15275 0 -1 4202496 99074 0 0 0 3269 23 0 0 20 0 1 0 338358252 422588416 101328 33554432000 134512640 136080129 4287761824 4287760900 134850021 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 103171 101328 176 383 0 102786 0
Current children cumulated CPU time (s) 1516.62
Current children cumulated vsize (KiB) 549232

[startup+1482.31 s]
/proc/loadavg: 2.06 2.11 2.11 3/182 15284
/proc/meminfo: memFree=27773344/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1486.52 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 50837 4169586 0 2 6369 945 140079 1259 20 0 1 0 338219317 139825152 6387 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6387 1180 1 0 5194 0
[pid=15275] ppid=14933 vsize=512368 CPUtime=92.9 cores=0,2,4,6
/proc/15275/stat : 15275 (clasp-1.3.3-x86) R 14933 15275 15275 0 -1 4202496 123750 0 0 0 9259 31 0 0 20 0 1 0 338358252 524664832 126028 33554432000 134512640 136080129 4287761824 4287760896 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15275/statm: 128092 126028 176 383 0 127707 0
Current children cumulated CPU time (s) 1579.42
Current children cumulated vsize (KiB) 648916

[startup+1542.3 s]
/proc/loadavg: 2.09 2.11 2.10 3/181 15302
/proc/meminfo: memFree=27896208/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1611.34 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 54563 4486949 0 2 6629 984 152173 1348 20 0 1 0 338219317 139825152 6388 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6388 1180 1 0 5194 0
[pid=15296] ppid=14933 vsize=414180 CPUtime=30.99 cores=0,2,4,6
/proc/15296/stat : 15296 (clasp-1.3.3-x86) R 14933 15296 15296 0 -1 4202496 99626 0 0 0 3075 24 0 0 20 0 1 0 338370445 424120320 101864 33554432000 134512640 136080129 4293746976 4293746064 134836693 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15296/statm: 103545 101864 176 383 0 103160 0
Current children cumulated CPU time (s) 1642.33
Current children cumulated vsize (KiB) 550728

[startup+1602.3 s]
/proc/loadavg: 2.15 2.13 2.11 3/181 15303
/proc/meminfo: memFree=27794432/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1614.2 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 54590 4486949 0 2 6876 1023 152173 1348 20 0 1 0 338219317 139825152 6388 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6388 1180 1 0 5194 0
[pid=15296] ppid=14933 vsize=504756 CPUtime=90.95 cores=0,2,4,6
/proc/15296/stat : 15296 (clasp-1.3.3-x86) R 14933 15296 15296 0 -1 4202496 122065 0 0 0 9063 32 0 0 20 0 1 0 338370445 516870144 124314 33554432000 134512640 136080129 4293746976 4293745700 135505028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15296/statm: 126189 124314 176 383 0 125804 0
Current children cumulated CPU time (s) 1705.15
Current children cumulated vsize (KiB) 641304

[startup+1662.3 s]
/proc/loadavg: 2.09 2.12 2.10 3/181 15321
/proc/meminfo: memFree=27888272/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1739.12 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 58322 4804047 0 2 7138 1061 164278 1435 20 0 1 0 338219317 139825152 6388 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6388 1180 1 0 5194 0
[pid=15315] ppid=14933 vsize=425380 CPUtime=28.96 cores=0,2,4,6
/proc/15315/stat : 15315 (clasp-1.3.3-x86) R 14933 15315 15315 0 -1 4202496 102404 0 0 0 2871 25 0 0 20 0 1 0 338382648 435589120 104649 33554432000 134512640 136080129 4289904144 4289903136 134588765 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15315/statm: 106345 104649 176 383 0 105960 0
Current children cumulated CPU time (s) 1768.08
Current children cumulated vsize (KiB) 561928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1692.8 s]
/proc/loadavg: 2.05 2.11 2.10 3/181 15321
/proc/meminfo: memFree=27818412/32873844 swapFree=7380/7380
[pid=14933] ppid=14931 vsize=136548 CPUtime=1740.57 cores=0,2,4,6
/proc/14933/stat : 14933 (python) S 14931 14933 11290 0 -1 4202496 58336 4804047 0 2 7263 1081 164278 1435 20 0 1 0 338219317 139825152 6388 33554432000 4194304 4196484 140735291857312 140735291849072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/14933/statm: 34137 6388 1180 1 0 5194 0
[pid=15315] ppid=14933 vsize=483096 CPUtime=59.44 cores=0,2,4,6
/proc/15315/stat : 15315 (clasp-1.3.3-x86) R 14933 15315 15315 0 -1 4202496 116754 0 0 0 5916 28 0 0 20 0 1 0 338382648 494690304 118991 33554432000 134512640 136080129 4289904144 4289903216 134849694 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15315/statm: 120774 118991 176 383 0 120389 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 619644

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14933 and gives
#  childrusage.ru_utime.tv_sec=1715
#  childrusage.ru_utime.tv_usec=418216
#  childrusage.ru_stime.tv_sec=25
#  childrusage.ru_stime.tv_usec=173173
# CPU time returned by wait4() is 1740.59
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1692.81
CPU time (s): 1800.01
CPU user time (s): 1774.57
CPU system time (s): 25.44
CPU usage (%): 106.332
Max. virtual memory (cumulated for all children) (KiB): 2851688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1715.42
system time used= 25.1732
maximum resident set size= 1347740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4862383
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= 17532
involuntary context switches= 55114

runsolver used 3.70144 second user time and 9.42357 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 12:55:45
IDJOB=3740808
IDBENCH=89632
IDSOLVER=2323
FILE ID=node133/3740808-1338720939
RUNJOBID= node133-1338713154-11306
PBS_JOBID= 14636724
Free space on /tmp= 70200 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-175.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740808-1338720939/watcher-3740808-1338720939 -o /tmp/evaluation-result-3740808-1338720939/solver-3740808-1338720939 -C 1800 -W 1900 -M 15500  solver HOME/instance-3740808-1338720939.opb 479694181 

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

MD5SUM BENCH= 3472d2cba7eedc0e4f1652523daa893e
RANDOM SEED=479694181

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:        28335012 kB
Buffers:          456416 kB
Cached:          3112820 kB
SwapCached:          676 kB
Active:          1829744 kB
Inactive:        1801236 kB
Active(anon):      53380 kB
Inactive(anon):    10220 kB
Active(file):    1776364 kB
Inactive(file):  1791016 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:            285732 kB
Writeback:             0 kB
AnonPages:         68068 kB
Mapped:            14508 kB
Shmem:                 0 kB
Slab:             766792 kB
SReclaimable:     207160 kB
SUnreclaim:       559632 kB
KernelStack:        1464 kB
PageTables:         4288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     177624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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= 70176 MiB
End job on node133 at 2012-06-03 13:24:00