Trace number 3740834

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.04 1717.31

General information on the benchmark

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

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.05 3/175 24279
/proc/meminfo: memFree=26549200/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/24279/stat : 24279 (python) D 24277 24279 21196 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 338224687 15642624 527 33554432000 4194304 5683644 140737111545504 140737111531416 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/24279/statm: 3819 527 312 364 0 261 0

[startup+0.059085 s]
/proc/loadavg: 2.05 2.09 2.05 3/175 24279
/proc/meminfo: memFree=26549200/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=16592 CPUtime=0.01 cores=0,2,4,6
/proc/24279/stat : 24279 (python) D 24277 24279 21196 0 -1 4202496 1322 0 0 0 1 0 0 0 20 0 1 0 338224687 16990208 997 33554432000 4194304 5683644 140737111545504 140737111512968 227512499893 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/24279/statm: 4148 997 418 364 0 590 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16592

[startup+0.100173 s]
/proc/loadavg: 2.05 2.09 2.05 3/175 24279
/proc/meminfo: memFree=26549200/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=17628 CPUtime=0.01 cores=0,2,4,6
/proc/24279/stat : 24279 (python) R 24277 24279 21196 0 -1 4202496 2242 0 0 0 1 0 0 0 20 0 1 0 338224687 18051072 744 33554432000 4194304 4196484 140733372079024 140733372037064 227512813990 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/24279/statm: 4407 744 367 1 0 342 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17628

[startup+0.300148 s]
/proc/loadavg: 2.05 2.09 2.05 3/175 24279
/proc/meminfo: memFree=26549200/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=56780 CPUtime=0.06 cores=0,2,4,6
/proc/24279/stat : 24279 (python) D 24277 24279 21196 0 -1 4202496 4053 0 0 0 4 2 0 0 20 0 1 0 338224687 58142720 2212 33554432000 4194304 4196484 140733372079024 140733371920744 227512499893 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/24279/statm: 14195 2212 603 1 0 1533 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 56780

[startup+0.70015 s]
/proc/loadavg: 2.05 2.09 2.05 3/175 24279
/proc/meminfo: memFree=26549200/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=101560 CPUtime=0.2 cores=0,2,4,6
/proc/24279/stat : 24279 (python) D 24277 24279 21196 0 -1 4202496 6389 0 0 0 14 6 0 0 20 0 1 0 338224687 103997440 4219 33554432000 4194304 4196484 140733372079024 140733372047048 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/24279/statm: 25390 4219 1047 1 0 3192 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 101560

[startup+1.50011 s]
/proc/loadavg: 2.05 2.09 2.05 3/176 24284
/proc/meminfo: memFree=26529708/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=118116 CPUtime=0.39 cores=0,2,4,6
/proc/24279/stat : 24279 (python) D 24277 24279 21196 0 -1 4202496 9594 1012 0 0 28 11 0 0 20 0 1 0 338224687 120950784 5831 33554432000 4194304 4196484 140733372079024 140733372012632 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 29529 5831 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 118116

[startup+3.10021 s]
/proc/loadavg: 2.05 2.09 2.05 3/177 24285
/proc/meminfo: memFree=26497768/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=134452 CPUtime=0.53 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 11225 1012 0 0 39 14 0 0 20 0 1 0 338224687 137678848 6348 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 33613 6348 1170 1 0 5185 0
[pid=24285] ppid=24279 vsize=77896 CPUtime=1.33 cores=0,2,4,6
/proc/24285/stat : 24285 (clasp-1.3.3-x86) R 24279 24285 24285 0 -1 4202496 20316 0 0 0 130 3 0 0 20 0 1 0 338224863 79765504 19056 33554432000 134512640 136080129 4292705920 4292705008 134836690 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24285/statm: 19474 19056 176 383 0 19089 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 212348
heavy processes:

[startup+6.30014 s]
/proc/loadavg: 2.13 2.11 2.05 3/176 24285
/proc/meminfo: memFree=26442844/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=134452 CPUtime=0.66 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 11239 1012 0 0 51 15 0 0 20 0 1 0 338224687 137678848 6348 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 33613 6348 1170 1 0 5185 0
[pid=24285] ppid=24279 vsize=83652 CPUtime=4.54 cores=0,2,4,6
/proc/24285/stat : 24285 (clasp-1.3.3-x86) R 24279 24285 24285 0 -1 4202496 21734 0 0 0 449 5 0 0 20 0 1 0 338224863 85659648 20474 33554432000 134512640 136080129 4292705920 4292704992 134849659 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24285/statm: 20913 20474 176 383 0 20528 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 218104

[startup+12.7002 s]
/proc/loadavg: 2.12 2.10 2.05 3/177 24286
/proc/meminfo: memFree=26422128/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=11.36 cores=0,2,4,6
/proc/24279/stat : 24279 (python) R 24277 24279 21196 0 -1 4202496 12511 26337 0 0 78 19 1033 6 20 0 1 0 338224687 139788288 6369 33554432000 4194304 4196484 140733372079024 140733372070784 227512542135 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6369 1180 1 0 5185 0
Current children cumulated CPU time (s) 11.36
Current children cumulated vsize (KiB) 136512

[startup+25.5003 s]
/proc/loadavg: 2.09 2.10 2.05 3/177 24295
/proc/meminfo: memFree=26601292/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=11.94 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 12536 26337 0 0 129 26 1033 6 20 0 1 0 338224687 139788288 6370 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6370 1180 1 0 5185 0
[pid=24289] ppid=24279 vsize=96100 CPUtime=13.32 cores=0,2,4,6
/proc/24289/stat : 24289 (clasp-1.3.3-x86) R 24279 24289 24289 0 -1 4202496 24807 0 0 0 1327 5 0 0 20 0 1 0 338225904 98406400 23552 33554432000 134512640 136080129 4288644256 4288643328 134849662 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24289/statm: 24025 23552 176 383 0 23640 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 232612

[startup+51.1002 s]
/proc/loadavg: 2.06 2.09 2.05 3/177 24295
/proc/meminfo: memFree=26560528/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=13.07 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 12577 26337 0 0 228 40 1033 6 20 0 1 0 338224687 139788288 6370 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6370 1180 1 0 5185 0
[pid=24289] ppid=24279 vsize=125608 CPUtime=38.9 cores=0,2,4,6
/proc/24289/stat : 24289 (clasp-1.3.3-x86) R 24279 24289 24289 0 -1 4202496 32085 0 0 0 3884 6 0 0 20 0 1 0 338225904 128622592 30817 33554432000 134512640 136080129 4288644256 4288643248 134844367 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24289/statm: 31402 30817 176 383 0 31017 0
Current children cumulated CPU time (s) 51.97
Current children cumulated vsize (KiB) 262120

[startup+102.3 s]
/proc/loadavg: 2.13 2.10 2.05 3/177 24298
/proc/meminfo: memFree=26563296/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=65.8 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 13777 62003 0 0 451 71 6043 15 20 0 1 0 338224687 139788288 6374 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6374 1180 1 0 5185 0
[pid=24298] ppid=24279 vsize=122424 CPUtime=39.88 cores=0,2,4,6
/proc/24298/stat : 24298 (wbo1.4a) R 24279 24298 24298 0 -1 4202496 41728 0 0 0 3896 92 0 0 20 0 1 0 338230926 125362176 28399 33554432000 134512640 135751879 4287147776 4287146028 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/24298/statm: 30606 28399 139 303 0 30301 0
Current children cumulated CPU time (s) 105.68
Current children cumulated vsize (KiB) 258936

[startup+162.3 s]
/proc/loadavg: 2.04 2.08 2.05 3/177 24310
/proc/meminfo: memFree=26550952/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=120.11 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 15059 105842 0 0 682 106 11084 139 20 0 1 0 338224687 139788288 6376 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6376 1180 1 0 5185 0
[pid=24301] ppid=24279 vsize=139756 CPUtime=48.18 cores=0,2,4,6
/proc/24301/stat : 24301 (clasp-1.3.3-x86) R 24279 24301 24301 0 -1 4202496 35544 0 0 0 4811 7 0 0 20 0 1 0 338236096 143110144 34300 33554432000 134512640 136080129 4293636544 4293635616 134849233 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24301/statm: 34939 34300 176 383 0 34554 0
Current children cumulated CPU time (s) 168.29
Current children cumulated vsize (KiB) 276268

[startup+222.306 s]
/proc/loadavg: 2.05 2.08 2.05 3/178 24322
/proc/meminfo: memFree=26589640/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=223.33 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 16356 153273 0 0 930 143 21110 150 20 0 1 0 338224687 139788288 6377 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6377 1180 1 0 5185 0
[pid=24322] ppid=24279 vsize=105136 CPUtime=7.75 cores=0,2,4,6
/proc/24322/stat : 24322 (wbo1.4a) R 24279 24322 24322 0 -1 4202496 37746 0 0 0 759 16 0 0 20 0 1 0 338246141 107659264 24439 33554432000 134512640 135751879 4286684384 4286682636 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/24322/statm: 26284 24439 139 303 0 25979 0
Current children cumulated CPU time (s) 231.08
Current children cumulated vsize (KiB) 241648

[startup+282.3 s]
/proc/loadavg: 2.07 2.08 2.04 3/178 24345
/proc/meminfo: memFree=26541172/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=226.05 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 16388 153273 0 0 1168 177 21110 150 20 0 1 0 338224687 139788288 6377 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6377 1180 1 0 5185 0
[pid=24322] ppid=24279 vsize=141304 CPUtime=67.72 cores=0,2,4,6
/proc/24322/stat : 24322 (wbo1.4a) R 24279 24322 24322 0 -1 4202496 46824 0 0 0 6644 128 0 0 20 0 1 0 338246141 144695296 33496 33554432000 134512640 135751879 4286684384 4286682560 134616336 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/24322/statm: 35326 33496 139 303 0 35021 0
Current children cumulated CPU time (s) 293.77
Current children cumulated vsize (KiB) 277816

[startup+342.3 s]
/proc/loadavg: 2.02 2.06 2.04 3/177 24358
/proc/meminfo: memFree=26568368/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=330.63 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 17669 206934 0 0 1425 214 31120 304 20 0 1 0 338224687 139788288 6379 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6379 1180 1 0 5185 0
[pid=24355] ppid=24279 vsize=128264 CPUtime=26.04 cores=0,2,4,6
/proc/24355/stat : 24355 (wbo1.4b) R 24279 24355 24355 0 -1 4202496 44002 0 0 0 2572 32 0 0 20 0 1 0 338256311 131342336 29801 33554432000 134512640 135751879 4291485840 4291483932 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/24355/statm: 32066 29801 143 303 0 31761 0
Current children cumulated CPU time (s) 356.67
Current children cumulated vsize (KiB) 264776

[startup+402.301 s]
/proc/loadavg: 2.01 2.05 2.03 3/195 24379
/proc/meminfo: memFree=26038116/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=384.46 cores=0,2,4,6
/proc/24279/stat : 24279 (python) R 24277 24279 21196 0 -1 4202496 18953 254337 0 0 1664 247 36150 385 20 0 1 0 338224687 139788288 6380 33554432000 4194304 4196484 140733372079024 140733372070784 227512542135 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6380 1180 1 0 5185 0
[pid=24361] ppid=24279 vsize=2715136 CPUtime=38.22 cores=0,2,4,6
/proc/24361/stat : 24361 (java) S 24279 24361 24361 0 -1 4202496 13223 0 1 0 3785 37 0 0 20 0 19 0 338261425 2780299264 161630 33554432000 1073741824 1073778376 140735563227312 140735563218448 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24361/statm: 678784 161630 2269 9 0 669477 0

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

/proc/24279/statm: 34128 6387 1180 1 0 5185 0
[pid=24520] ppid=24279 vsize=262708 CPUtime=252.4 cores=0,2,4,6
/proc/24520/stat : 24520 (clasp-1.3.3-x86) R 24279 24520 24520 0 -1 4202496 65527 0 0 0 25220 20 0 0 20 0 1 0 338305664 269012992 65058 33554432000 134512640 136080129 4289877888 4289876880 134589236 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24520/statm: 65677 65058 176 383 0 65292 0
Current children cumulated CPU time (s) 1115.95
Current children cumulated vsize (KiB) 399220

[startup+1122.3 s]
/proc/loadavg: 2.07 2.05 2.04 3/177 24553
/proc/meminfo: memFree=24787152/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=1166.54 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 42826 931307 0 2 4549 670 110638 797 20 0 1 0 338224687 139788288 6387 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6387 1180 1 0 5185 0
[pid=24553] ppid=24279 vsize=281616 CPUtime=12.11 cores=0,2,4,6
/proc/24553/stat : 24553 (bsolo_pb10) R 24279 24553 24553 0 -1 4202496 80689 0 0 0 1193 18 0 0 20 0 1 0 338335705 288374784 67727 33554432000 134512640 137138936 4290419376 4289836844 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/24553/statm: 70404 67727 184 642 0 69760 0
Current children cumulated CPU time (s) 1178.65
Current children cumulated vsize (KiB) 418128

[startup+1182.3 s]
/proc/loadavg: 2.21 2.09 2.05 3/177 24565
/proc/meminfo: memFree=25664564/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=1169.16 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 42868 931307 0 2 4776 705 110638 797 20 0 1 0 338224687 139788288 6387 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6387 1180 1 0 5185 0
[pid=24553] ppid=24279 vsize=281748 CPUtime=72.09 cores=0,2,4,6
/proc/24553/stat : 24553 (bsolo_pb10) R 24279 24553 24553 0 -1 4202496 80725 0 0 0 7174 35 0 0 20 0 1 0 338335705 288509952 67752 33554432000 134512640 137138936 4290419376 4289836800 134540164 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/24553/statm: 70437 67752 184 642 0 69793 0
Current children cumulated CPU time (s) 1241.25
Current children cumulated vsize (KiB) 418260

[startup+1242.3 s]
/proc/loadavg: 2.00 2.05 2.04 3/194 24607
/proc/meminfo: memFree=25734148/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=1282.72 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 45410 1038067 0 2 5011 740 121674 847 20 0 1 0 338224687 139788288 6388 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6388 1180 1 0 5185 0
[pid=24583] ppid=24279 vsize=107980 CPUtime=21.19 cores=0,2,4,6
/proc/24583/stat : 24583 (clasp-1.3.3-x86) R 24279 24583 24583 0 -1 4202496 27718 0 0 0 2114 5 0 0 20 0 1 0 338346797 110571520 26456 33554432000 134512640 136080129 4292912128 4292911200 134849226 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 26995 26456 176 383 0 26610 0
Current children cumulated CPU time (s) 1303.91
Current children cumulated vsize (KiB) 244492

[startup+1302.3 s]
/proc/loadavg: 2.65 2.23 2.09 3/177 24616
/proc/meminfo: memFree=25970608/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=1285.39 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 45442 1038067 0 2 5239 779 121674 847 20 0 1 0 338224687 139788288 6388 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6388 1180 1 0 5185 0
[pid=24583] ppid=24279 vsize=166676 CPUtime=81.14 cores=0,2,4,6
/proc/24583/stat : 24583 (clasp-1.3.3-x86) R 24279 24583 24583 0 -1 4202496 42214 0 0 0 8104 10 0 0 20 0 1 0 338346797 170676224 40950 33554432000 134512640 136080129 4292912128 4292911200 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24583/statm: 41669 40950 176 383 0 41284 0
Current children cumulated CPU time (s) 1366.53
Current children cumulated vsize (KiB) 303188

[startup+1362.3 s]
/proc/loadavg: 2.24 2.18 2.09 3/177 24634
/proc/meminfo: memFree=25743144/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=1409.31 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 49231 1134417 0 2 5479 811 133769 872 20 0 1 0 338224687 139788288 6390 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6390 1180 1 0 5185 0
[pid=24634] ppid=24279 vsize=108148 CPUtime=19.89 cores=0,2,4,6
/proc/24634/stat : 24634 (clasp-1.3.3-x86) R 24279 24634 24634 0 -1 4202496 27339 0 0 0 1983 6 0 0 20 0 1 0 338358927 110743552 26593 33554432000 134512640 136080129 4290823744 4290822736 134588755 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24634/statm: 27037 26593 176 383 0 26652 0
Current children cumulated CPU time (s) 1429.2
Current children cumulated vsize (KiB) 244660

[startup+1422.3 s]
/proc/loadavg: 2.15 2.16 2.09 4/178 24643
/proc/meminfo: memFree=25644536/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=1472.63 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 51772 1195138 0 2 5720 842 139812 889 20 0 1 0 338224687 139788288 6390 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6390 1180 1 0 5185 0
[pid=24640] ppid=24279 vsize=107020 CPUtime=19.27 cores=0,2,4,6
/proc/24640/stat : 24640 (clasp-1.3.3-x86) R 24279 24640 24640 0 -1 4202496 27034 0 0 0 1922 5 0 0 20 0 1 0 338364990 109588480 26286 33554432000 134512640 136080129 4291330464 4291329536 134850077 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24640/statm: 26755 26286 176 383 0 26370 0
Current children cumulated CPU time (s) 1491.9
Current children cumulated vsize (KiB) 243532

[startup+1482.3 s]
/proc/loadavg: 2.12 2.14 2.09 3/177 24643
/proc/meminfo: memFree=25524992/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=1475.29 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 51804 1195138 0 2 5953 875 139812 889 20 0 1 0 338224687 139788288 6390 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6390 1180 1 0 5185 0
[pid=24640] ppid=24279 vsize=160200 CPUtime=79.26 cores=0,2,4,6
/proc/24640/stat : 24640 (clasp-1.3.3-x86) R 24279 24640 24640 0 -1 4202496 40142 0 0 0 7917 9 0 0 20 0 1 0 338364990 164044800 39258 33554432000 134512640 136080129 4291330464 4291329536 134850005 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24640/statm: 40050 39258 176 383 0 39665 0
Current children cumulated CPU time (s) 1554.55
Current children cumulated vsize (KiB) 296712

[startup+1542.31 s]
/proc/loadavg: 2.11 2.13 2.09 3/177 24653
/proc/meminfo: memFree=25494816/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=1599.34 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 55584 1290360 0 2 6192 912 151919 911 20 0 1 0 338224687 139788288 6390 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6390 1180 1 0 5185 0
[pid=24652] ppid=24279 vsize=105348 CPUtime=17.92 cores=0,2,4,6
/proc/24652/stat : 24652 (clasp-1.3.3-x86) R 24279 24652 24652 0 -1 4202496 26687 0 0 0 1786 6 0 0 20 0 1 0 338377125 107876352 25937 33554432000 134512640 136080129 4292637200 4292636272 134849100 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24652/statm: 26337 25937 176 383 0 25952 0
Current children cumulated CPU time (s) 1617.26
Current children cumulated vsize (KiB) 241860

[startup+1602.3 s]
/proc/loadavg: 2.04 2.11 2.08 3/177 24653
/proc/meminfo: memFree=25365760/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=1601.99 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 55623 1290360 0 2 6424 945 151919 911 20 0 1 0 338224687 139788288 6390 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6390 1180 1 0 5185 0
[pid=24652] ppid=24279 vsize=165752 CPUtime=77.9 cores=0,2,4,6
/proc/24652/stat : 24652 (clasp-1.3.3-x86) R 24279 24652 24652 0 -1 4202496 41465 0 0 0 7780 10 0 0 20 0 1 0 338377125 169730048 40579 33554432000 134512640 136080129 4292637200 4292636272 134849595 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24652/statm: 41438 40579 176 383 0 41053 0
Current children cumulated CPU time (s) 1679.89
Current children cumulated vsize (KiB) 302264

[startup+1662.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/177 24665
/proc/meminfo: memFree=24953064/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=1726.03 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 59415 1385292 0 2 6666 979 164022 936 20 0 1 0 338224687 139788288 6392 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6392 1180 1 0 5185 0
[pid=24665] ppid=24279 vsize=103356 CPUtime=16.57 cores=0,2,4,6
/proc/24665/stat : 24665 (clasp-1.3.3-x86) R 24279 24665 24665 0 -1 4202496 26627 0 0 0 1652 5 0 0 20 0 1 0 338389259 105836544 25369 33554432000 134512640 136080129 4286877984 4286877056 134849653 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24665/statm: 25839 25369 176 383 0 25454 0
Current children cumulated CPU time (s) 1742.6
Current children cumulated vsize (KiB) 239868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1717.3 s]
/proc/loadavg: 2.07 2.08 2.07 3/177 24665
/proc/meminfo: memFree=24435028/32873624 swapFree=7112/7112
[pid=24279] ppid=24277 vsize=136512 CPUtime=1728.44 cores=0,2,4,6
/proc/24279/stat : 24279 (python) S 24277 24279 21196 0 -1 4202496 59440 1385292 0 2 6877 1009 164022 936 20 0 1 0 338224687 139788288 6392 33554432000 4194304 4196484 140733372079024 140733372070784 227512517032 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/24279/statm: 34128 6392 1180 1 0 5185 0
[pid=24665] ppid=24279 vsize=157420 CPUtime=71.57 cores=0,2,4,6
/proc/24665/stat : 24665 (clasp-1.3.3-x86) R 24279 24665 24665 0 -1 4202496 39893 0 0 0 7149 8 0 0 20 0 1 0 338389259 161198080 38499 33554432000 134512640 136080129 4286877984 4286877056 134849991 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/24665/statm: 39355 38499 176 383 0 38970 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 293932

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 24279 and gives
#  childrusage.ru_utime.tv_sec=1709
#  childrusage.ru_utime.tv_usec=4191
#  childrusage.ru_stime.tv_sec=19
#  childrusage.ru_stime.tv_usec=470040
# CPU time returned by wait4() is 1728.47
# 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...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0299683
#  lost CPU user time (s): 0.209991
#  lost CPU system time (s): -0.18

Real time (s): 1717.31
CPU time (s): 1800.04
CPU user time (s): 1780.69
CPU system time (s): 19.35
CPU usage (%): 104.817
Max. virtual memory (cumulated for all children) (KiB): 2852116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1709
system time used= 19.47
maximum resident set size= 646520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1444734
page faults= 2
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12645
involuntary context switches= 7788

runsolver used 4.07138 second user time and 8.68368 second system time

The end

Launcher Data 

Begin job on node121 at 2012-06-03 12:56:31
IDJOB=3740834
IDBENCH=89637
IDSOLVER=2323
FILE ID=node121/3740834-1338720990
RUNJOBID= node121-1338714575-21212
PBS_JOBID= 14636757
Free space on /tmp= 71184 MiB

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

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

MD5SUM BENCH= 132271a8a55b01af9ffef359148ae5e1
RANDOM SEED=852921793

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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		: 2667.042
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		: 2667.042
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		: 2667.042
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.91
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		: 2667.042
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	: 5438.55
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		: 2667.042
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:       32873624 kB
MemFree:        26549596 kB
Buffers:          642664 kB
Cached:          4588468 kB
SwapCached:            0 kB
Active:          2130312 kB
Inactive:        3310728 kB
Active(anon):     197920 kB
Inactive(anon):    10760 kB
Active(file):    1932392 kB
Inactive(file):  3299968 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             70332 kB
Writeback:             0 kB
AnonPages:        213280 kB
Mapped:            18284 kB
Shmem:               200 kB
Slab:             746108 kB
SReclaimable:     189452 kB
SUnreclaim:       556656 kB
KernelStack:        1440 kB
PageTables:         4732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     318152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     98304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70824 MiB
End job on node121 at 2012-06-03 13:25:12