Trace number 3740821

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.11 1711.92

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-61.opb
MD5SUM242cdc00579036e1487a0255b4e1d84c
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 variables10086
Total number of constraints226240
Number of constraints which are clauses203302
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints22218
Minimum length of a constraint2
Maximum length of a constraint231
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 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.13 2.10 2.09 3/179 14977
/proc/meminfo: memFree=28136352/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/14977/stat : 14977 (python) R 14975 14977 11290 0 -1 4202496 850 0 0 0 0 0 0 0 20 0 1 0 338219675 15749120 604 33554432000 4194304 5683644 140735752460448 140735752432632 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 3845 607 331 364 0 287 0

[startup+0.0617729 s]
/proc/loadavg: 2.13 2.10 2.09 3/179 14977
/proc/meminfo: memFree=28136352/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=31696 CPUtime=0.03 cores=1,3,5,7
/proc/14977/stat : 14977 (python) D 14975 14977 11290 0 -1 4202496 2858 0 0 0 2 1 0 0 20 0 1 0 338219675 32456704 1254 33554432000 4194304 4196484 140736176744880 140736176622744 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 7924 1254 467 1 0 751 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 31696

[startup+0.100246 s]
/proc/loadavg: 2.13 2.10 2.09 3/179 14977
/proc/meminfo: memFree=28136352/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=54544 CPUtime=0.06 cores=1,3,5,7
/proc/14977/stat : 14977 (python) R 14975 14977 11290 0 -1 4202496 3950 0 0 0 4 2 0 0 20 0 1 0 338219675 55853056 2144 33554432000 4194304 4196484 140736176744880 140736176604632 215143499136 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 13636 2150 600 1 0 1491 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 54544

[startup+0.300217 s]
/proc/loadavg: 2.13 2.10 2.09 3/179 14977
/proc/meminfo: memFree=28136352/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=101596 CPUtime=0.22 cores=1,3,5,7
/proc/14977/stat : 14977 (python) R 14975 14977 11290 0 -1 4202496 6400 0 0 0 15 7 0 0 20 0 1 0 338219675 104034304 4230 33554432000 4194304 4196484 140736176744880 140736176712904 215143499136 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 25399 4232 1047 1 0 3201 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 101596

[startup+0.700198 s]
/proc/loadavg: 2.13 2.10 2.09 3/179 14977
/proc/meminfo: memFree=28136352/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=134484 CPUtime=0.47 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 11223 1013 0 0 34 13 0 0 20 0 1 0 338219675 137711616 6346 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/14977/statm: 33621 6346 1170 1 0 5193 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 134484

[startup+1.50023 s]
/proc/loadavg: 2.13 2.10 2.09 3/181 14983
/proc/meminfo: memFree=28042984/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=134484 CPUtime=0.51 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 11234 1013 0 0 38 13 0 0 20 0 1 0 338219675 137711616 6346 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/14977/statm: 33621 6346 1170 1 0 5193 0
[pid=14983] ppid=14977 vsize=18780 CPUtime=0.83 cores=1,3,5,7
/proc/14983/stat : 14983 (clasp-1.3.3-x86) R 14977 14983 14983 0 -1 4202496 4945 0 0 0 83 0 0 0 20 0 1 0 338219740 19230720 4424 33554432000 134512640 136080129 4288134096 4288132964 135505028 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/14983/statm: 4695 4424 176 383 0 4310 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 153264

[startup+3.10022 s]
/proc/loadavg: 2.13 2.10 2.09 3/181 14983
/proc/meminfo: memFree=27973728/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=134484 CPUtime=0.59 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 11240 1013 0 0 45 14 0 0 20 0 1 0 338219675 137711616 6346 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/14977/statm: 33621 6346 1170 1 0 5193 0
[pid=14983] ppid=14977 vsize=22076 CPUtime=2.43 cores=1,3,5,7
/proc/14983/stat : 14983 (clasp-1.3.3-x86) R 14977 14983 14983 0 -1 4202496 5757 0 0 0 243 0 0 0 20 0 1 0 338219740 22605824 5236 33554432000 134512640 136080129 4288134096 4288133168 134850019 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/14983/statm: 5519 5236 176 383 0 5134 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 156560

[startup+6.30024 s]
/proc/loadavg: 2.12 2.10 2.09 3/181 14983
/proc/meminfo: memFree=27930460/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=134484 CPUtime=0.73 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 11249 1013 0 0 57 16 0 0 20 0 1 0 338219675 137711616 6346 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/14977/statm: 33621 6346 1170 1 0 5193 0
[pid=14983] ppid=14977 vsize=27700 CPUtime=5.63 cores=1,3,5,7
/proc/14983/stat : 14983 (clasp-1.3.3-x86) R 14977 14983 14983 0 -1 4202496 7140 0 0 0 562 1 0 0 20 0 1 0 338219740 28364800 6619 33554432000 134512640 136080129 4288134096 4288133232 134610270 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/14983/statm: 6925 6619 176 383 0 6540 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 162184

[startup+12.7003 s]
/proc/loadavg: 2.11 2.10 2.09 3/181 14989
/proc/meminfo: memFree=27973528/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=11.28 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 12485 10263 0 0 87 22 1017 2 20 0 1 0 338219675 139821056 6366 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6366 1180 1 0 5193 0
[pid=14989] ppid=14977 vsize=21156 CPUtime=1.83 cores=1,3,5,7
/proc/14989/stat : 14989 (clasp-1.3.3-x86) R 14977 14989 14989 0 -1 4202496 5520 0 0 0 182 1 0 0 20 0 1 0 338220761 21663744 5000 33554432000 134512640 136080129 4287546432 4287545488 134599300 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14989/statm: 5289 5000 176 383 0 4904 0
Current children cumulated CPU time (s) 13.11
Current children cumulated vsize (KiB) 157700

[startup+25.5004 s]
/proc/loadavg: 2.16 2.11 2.09 3/181 14989
/proc/meminfo: memFree=27915636/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=11.85 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 12513 10263 0 0 137 29 1017 2 20 0 1 0 338219675 139821056 6366 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6366 1180 1 0 5193 0
[pid=14989] ppid=14977 vsize=37584 CPUtime=14.63 cores=1,3,5,7
/proc/14989/stat : 14989 (clasp-1.3.3-x86) R 14977 14989 14989 0 -1 4202496 9487 0 0 0 1462 1 0 0 20 0 1 0 338220761 38486016 8967 33554432000 134512640 136080129 4287546432 4287545504 134850077 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14989/statm: 9396 8967 176 383 0 9011 0
Current children cumulated CPU time (s) 26.48
Current children cumulated vsize (KiB) 174128

[startup+51.1003 s]
/proc/loadavg: 2.10 2.10 2.09 3/180 14989
/proc/meminfo: memFree=27864648/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=13.05 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 12536 10263 0 0 241 45 1017 2 20 0 1 0 338219675 139821056 6366 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6366 1180 1 0 5193 0
[pid=14989] ppid=14977 vsize=44184 CPUtime=40.22 cores=1,3,5,7
/proc/14989/stat : 14989 (clasp-1.3.3-x86) R 14977 14989 14989 0 -1 4202496 11123 0 0 0 4020 2 0 0 20 0 1 0 338220761 45244416 10603 33554432000 134512640 136080129 4287546432 4287545424 134588592 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/14989/statm: 11046 10603 176 383 0 10661 0
Current children cumulated CPU time (s) 53.27
Current children cumulated vsize (KiB) 180728

[startup+102.3 s]
/proc/loadavg: 2.20 2.11 2.09 3/181 14996
/proc/meminfo: memFree=27813828/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=65.85 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 13714 24132 0 0 473 85 6021 6 20 0 1 0 338219675 139821056 6371 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6371 1180 1 0 5193 0
[pid=14996] ppid=14977 vsize=51304 CPUtime=41.31 cores=1,3,5,7
/proc/14996/stat : 14996 (wbo1.4a) R 14977 14996 14996 0 -1 4202496 14947 0 0 0 4080 51 0 0 20 0 1 0 338225771 52535296 12084 33554432000 134512640 135751879 4288123664 4288121916 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/14996/statm: 12826 12084 139 303 0 12521 0
Current children cumulated CPU time (s) 107.16
Current children cumulated vsize (KiB) 187848

[startup+162.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/181 15002
/proc/meminfo: memFree=27831416/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=119.38 cores=1,3,5,7
/proc/14977/stat : 14977 (python) R 14975 14977 11290 0 -1 4202496 14926 41156 0 0 716 123 11035 64 20 0 1 0 338219675 139821056 6372 33554432000 4194304 4196484 140736176744880 140736176736640 215143539639 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6372 1180 1 0 5193 0
[pid=15002] ppid=14977 vsize=48032 CPUtime=50.58 cores=1,3,5,7
/proc/15002/stat : 15002 (clasp-1.3.3-x86) R 14977 15002 15002 0 -1 4202496 11960 0 0 0 5055 3 0 0 20 0 1 0 338230845 49184768 11439 33554432000 134512640 136080129 4293185664 4293184736 134849629 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15002/statm: 12008 11439 176 383 0 11623 0
Current children cumulated CPU time (s) 169.96
Current children cumulated vsize (KiB) 184576

[startup+222.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/181 15008
/proc/meminfo: memFree=28061464/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=222.95 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 16158 56120 0 0 983 165 21078 69 20 0 1 0 338219675 139821056 6374 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6374 1180 1 0 5193 0
[pid=15008] ppid=14977 vsize=30852 CPUtime=10.08 cores=1,3,5,7
/proc/15008/stat : 15008 (wbo1.4a) R 14977 15008 15008 0 -1 4202496 9949 0 0 0 980 28 0 0 20 0 1 0 338240896 31592448 7087 33554432000 134512640 135751879 4292057328 4292055580 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/15008/statm: 7713 7087 139 303 0 7408 0
Current children cumulated CPU time (s) 233.03
Current children cumulated vsize (KiB) 167396

[startup+282.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/182 15011
/proc/meminfo: memFree=27772348/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=225.8 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 16184 56120 0 0 1229 204 21078 69 20 0 1 0 338219675 139821056 6374 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6374 1180 1 0 5193 0
[pid=15008] ppid=14977 vsize=65536 CPUtime=70.07 cores=1,3,5,7
/proc/15008/stat : 15008 (wbo1.4a) R 14977 15008 15008 0 -1 4202496 18463 0 0 0 6941 66 0 0 20 0 1 0 338240896 67108864 15601 33554432000 134512640 135751879 4292057328 4292055504 134616873 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/15008/statm: 16384 15601 139 303 0 16079 0
Current children cumulated CPU time (s) 295.87
Current children cumulated vsize (KiB) 202080

[startup+342.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/182 15040
/proc/meminfo: memFree=27734660/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=329.91 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 17410 77296 0 0 1500 247 31102 142 20 0 1 0 338219675 139821056 6375 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6375 1180 1 0 5193 0
[pid=15040] ppid=14977 vsize=42576 CPUtime=29.07 cores=1,3,5,7
/proc/15040/stat : 15040 (wbo1.4b) R 14977 15040 15040 0 -1 4202496 12805 0 0 0 2873 34 0 0 20 0 1 0 338250996 43597824 9938 33554432000 134512640 135751879 4291940576 4291938668 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/15040/statm: 10644 9938 143 303 0 10339 0
Current children cumulated CPU time (s) 358.98
Current children cumulated vsize (KiB) 179120

[startup+402.301 s]
/proc/loadavg: 2.52 2.20 2.12 3/217 15083
/proc/meminfo: memFree=26539588/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=383.49 cores=1,3,5,7

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

/proc/15228/statm: 17162 16476 176 383 0 16777 0
Current children cumulated CPU time (s) 1056.99
Current children cumulated vsize (KiB) 205192

[startup+1062.3 s]
/proc/loadavg: 2.02 2.14 2.13 3/181 15232
/proc/meminfo: memFree=27509332/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=863.24 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 40673 309688 0 2 4531 766 80520 507 20 0 1 0 338219675 139821056 6385 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6385 1180 1 0 5193 0
[pid=15228] ppid=14977 vsize=81904 CPUtime=256.53 cores=1,3,5,7
/proc/15228/stat : 15228 (clasp-1.3.3-x86) R 14977 15228 15228 0 -1 4202496 20275 0 0 0 25648 5 0 0 20 0 1 0 338300247 83869696 19749 33554432000 134512640 136080129 4294181808 4294180896 134579365 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15228/statm: 20476 19749 176 383 0 20091 0
Current children cumulated CPU time (s) 1119.77
Current children cumulated vsize (KiB) 218448

[startup+1122.31 s]
/proc/loadavg: 2.08 2.14 2.13 3/181 15238
/proc/meminfo: memFree=26946668/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=1166.74 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 41904 331369 0 2 4788 809 110563 514 20 0 1 0 338219675 139821056 6386 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6386 1180 1 0 5193 0
[pid=15238] ppid=14977 vsize=55932 CPUtime=16.01 cores=1,3,5,7
/proc/15238/stat : 15238 (bsolo_pb10) R 14977 15238 15238 0 -1 4202496 17651 0 0 0 1573 28 0 0 20 0 1 0 338330303 57274368 11531 33554432000 134512640 137138936 4288601488 4288600604 136570369 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/15238/statm: 13983 11531 192 642 0 13339 0
Current children cumulated CPU time (s) 1182.75
Current children cumulated vsize (KiB) 192476

[startup+1182.3 s]
/proc/loadavg: 2.07 2.13 2.13 3/181 15238
/proc/meminfo: memFree=26908380/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=1169.56 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 41931 331369 0 2 5031 848 110563 514 20 0 1 0 338219675 139821056 6387 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6387 1180 1 0 5193 0
[pid=15238] ppid=14977 vsize=95048 CPUtime=76 cores=1,3,5,7
/proc/15238/stat : 15238 (bsolo_pb10) R 14977 15238 15238 0 -1 4202496 27410 0 0 0 7537 63 0 0 20 0 1 0 338330303 97329152 21290 33554432000 134512640 137138936 4288601488 4288600120 136504500 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/15238/statm: 23762 21290 192 642 0 23118 0
Current children cumulated CPU time (s) 1245.56
Current children cumulated vsize (KiB) 231592

[startup+1242.3 s]
/proc/loadavg: 2.06 2.11 2.12 3/181 15250
/proc/meminfo: memFree=27856964/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=1283.69 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 44401 382710 0 2 5278 891 121607 593 20 0 1 0 338219675 139821056 6387 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6387 1180 1 0 5193 0
[pid=15250] ppid=14977 vsize=40496 CPUtime=24.71 cores=1,3,5,7
/proc/15250/stat : 15250 (clasp-1.3.3-x86) R 14977 15250 15250 0 -1 4202496 10173 0 0 0 2469 2 0 0 20 0 1 0 338341432 41467904 9646 33554432000 134512640 136080129 4290496816 4290495892 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15250/statm: 10124 9646 176 383 0 9739 0
Current children cumulated CPU time (s) 1308.4
Current children cumulated vsize (KiB) 177040

[startup+1302.3 s]
/proc/loadavg: 2.10 2.11 2.11 3/181 15251
/proc/meminfo: memFree=27730140/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=1286.49 cores=1,3,5,7
/proc/14977/stat : 14977 (python) R 14975 14977 11290 0 -1 4202496 44425 382710 0 2 5516 933 121607 593 20 0 1 0 338219675 139821056 6387 33554432000 4194304 4196484 140736176744880 140736176736640 215143539639 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6387 1180 1 0 5193 0
[pid=15250] ppid=14977 vsize=62992 CPUtime=84.7 cores=1,3,5,7
/proc/15250/stat : 15250 (clasp-1.3.3-x86) R 14977 15250 15250 0 -1 4202496 15730 0 0 0 8467 3 0 0 20 0 1 0 338341432 64503808 15203 33554432000 134512640 136080129 4290496816 4290495808 134588658 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15250/statm: 15748 15203 176 383 0 15363 0
Current children cumulated CPU time (s) 1371.19
Current children cumulated vsize (KiB) 199536

[startup+1362.3 s]
/proc/loadavg: 2.15 2.13 2.12 3/181 15269
/proc/meminfo: memFree=27866264/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=1410.25 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 48123 417227 0 2 5764 976 133682 603 20 0 1 0 338219675 139821056 6387 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6387 1180 1 0 5193 0
[pid=15269] ppid=14977 vsize=40056 CPUtime=23.79 cores=1,3,5,7
/proc/15269/stat : 15269 (clasp-1.3.3-x86) R 14977 15269 15269 0 -1 4202496 10158 0 0 0 2377 2 0 0 20 0 1 0 338353524 41017344 9630 33554432000 134512640 136080129 4288743472 4288742548 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15269/statm: 10014 9630 176 383 0 9629 0
Current children cumulated CPU time (s) 1434.04
Current children cumulated vsize (KiB) 176600

[startup+1422.3 s]
/proc/loadavg: 2.16 2.13 2.12 3/181 15281
/proc/meminfo: memFree=27892116/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=1473.42 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 50597 439499 0 2 6010 1019 139703 610 20 0 1 0 338219675 139821056 6388 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6388 1180 1 0 5193 0
[pid=15281] ppid=14977 vsize=39696 CPUtime=23.48 cores=1,3,5,7
/proc/15281/stat : 15281 (clasp-1.3.3-x86) R 14977 15281 15281 0 -1 4202496 9991 0 0 0 2346 2 0 0 20 0 1 0 338359555 40648704 9462 33554432000 134512640 136080129 4287909824 4287908896 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15281/statm: 9924 9462 176 383 0 9539 0
Current children cumulated CPU time (s) 1496.9
Current children cumulated vsize (KiB) 176240

[startup+1482.3 s]
/proc/loadavg: 2.14 2.12 2.11 3/182 15284
/proc/meminfo: memFree=27768136/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=1476.2 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 50624 439499 0 2 6247 1060 139703 610 20 0 1 0 338219675 139821056 6388 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6388 1180 1 0 5193 0
[pid=15281] ppid=14977 vsize=64604 CPUtime=83.47 cores=1,3,5,7
/proc/15281/stat : 15281 (clasp-1.3.3-x86) R 14977 15281 15281 0 -1 4202496 16089 0 0 0 8343 4 0 0 20 0 1 0 338359555 66154496 15560 33554432000 134512640 136080129 4287909824 4287908896 134849692 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15281/statm: 16151 15560 176 383 0 15766 0
Current children cumulated CPU time (s) 1559.67
Current children cumulated vsize (KiB) 201148

[startup+1542.3 s]
/proc/loadavg: 2.09 2.11 2.10 3/181 15302
/proc/meminfo: memFree=27895712/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=1600.03 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 54319 474763 0 2 6497 1106 151778 622 20 0 1 0 338219675 139821056 6389 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6389 1180 1 0 5193 0
[pid=15302] ppid=14977 vsize=39008 CPUtime=22.55 cores=1,3,5,7
/proc/15302/stat : 15302 (clasp-1.3.3-x86) R 14977 15302 15302 0 -1 4202496 9909 0 0 0 2253 2 0 0 20 0 1 0 338371648 39944192 9384 33554432000 134512640 136080129 4290532544 4290531620 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15302/statm: 9752 9384 176 383 0 9367 0
Current children cumulated CPU time (s) 1622.58
Current children cumulated vsize (KiB) 175552

[startup+1602.3 s]
/proc/loadavg: 2.14 2.13 2.11 3/181 15303
/proc/meminfo: memFree=27787612/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=1602.79 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 54344 474763 0 2 6735 1144 151778 622 20 0 1 0 338219675 139821056 6389 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6389 1180 1 0 5193 0
[pid=15302] ppid=14977 vsize=51528 CPUtime=82.54 cores=1,3,5,7
/proc/15302/stat : 15302 (clasp-1.3.3-x86) R 14977 15302 15302 0 -1 4202496 12917 0 0 0 8251 3 0 0 20 0 1 0 338371648 52764672 12392 33554432000 134512640 136080129 4290532544 4290531616 134849662 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15302/statm: 12882 12392 176 383 0 12497 0
Current children cumulated CPU time (s) 1685.33
Current children cumulated vsize (KiB) 188072

[startup+1662.3 s]
/proc/loadavg: 2.08 2.12 2.10 3/181 15321
/proc/meminfo: memFree=27876616/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=1726.6 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 58040 507622 0 2 6985 1187 163855 633 20 0 1 0 338219675 139821056 6391 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6391 1180 1 0 5193 0
[pid=15321] ppid=14977 vsize=39496 CPUtime=21.61 cores=1,3,5,7
/proc/15321/stat : 15321 (clasp-1.3.3-x86) R 14977 15321 15321 0 -1 4202496 9923 0 0 0 2159 2 0 0 20 0 1 0 338383742 40443904 9398 33554432000 134512640 136080129 4293923360 4293922432 134849989 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15321/statm: 9874 9398 176 383 0 9489 0
Current children cumulated CPU time (s) 1748.21
Current children cumulated vsize (KiB) 176040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1711.91 s]
/proc/loadavg: 2.04 2.10 2.09 3/181 15368
/proc/meminfo: memFree=28517688/32873844 swapFree=7380/7380
[pid=14977] ppid=14975 vsize=136544 CPUtime=1728.91 cores=1,3,5,7
/proc/14977/stat : 14977 (python) S 14975 14977 11290 0 -1 4202496 58067 507622 0 2 7180 1223 163855 633 20 0 1 0 338219675 139821056 6391 33554432000 4194304 4196484 140736176744880 140736176736640 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/14977/statm: 34136 6391 1180 1 0 5193 0
[pid=15321] ppid=14977 vsize=54068 CPUtime=71.2 cores=1,3,5,7
/proc/15321/stat : 15321 (clasp-1.3.3-x86) R 14977 15321 15321 0 -1 4202496 13475 0 0 0 7117 3 0 0 20 0 1 0 338383742 55365632 13098 33554432000 134512640 136080129 4293923360 4293922352 134588608 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15321/statm: 13517 13098 176 383 0 13132 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 190612

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 14977 and gives
#  childrusage.ru_utime.tv_sec=1710
#  childrusage.ru_utime.tv_usec=368984
#  childrusage.ru_stime.tv_sec=18
#  childrusage.ru_stime.tv_usec=567177
# CPU time returned by wait4() is 1728.94
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1711.92
CPU time (s): 1800.11
CPU user time (s): 1781.52
CPU system time (s): 18.59
CPU usage (%): 105.151
Max. virtual memory (cumulated for all children) (KiB): 2851684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.37
system time used= 18.5672
maximum resident set size= 572964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565689
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= 10479
involuntary context switches= 7297

runsolver used 3.86041 second user time and 10.4334 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 12:55:49
IDJOB=3740821
IDBENCH=89634
IDSOLVER=2323
FILE ID=node133/3740821-1338720948
RUNJOBID= node133-1338713154-11307
PBS_JOBID= 14636724
Free space on /tmp= 70196 MiB

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

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

MD5SUM BENCH= 242cdc00579036e1487a0255b4e1d84c
RANDOM SEED=865481891

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:        28137468 kB
Buffers:          457244 kB
Cached:          3119196 kB
SwapCached:          676 kB
Active:          2024704 kB
Inactive:        1802276 kB
Active(anon):     241632 kB
Inactive(anon):    10220 kB
Active(file):    1783072 kB
Inactive(file):  1792056 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:            315552 kB
Writeback:             0 kB
AnonPages:        256352 kB
Mapped:            14360 kB
Shmem:                 0 kB
Slab:             768752 kB
SReclaimable:     208320 kB
SUnreclaim:       560432 kB
KernelStack:        1432 kB
PageTables:         4588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     369376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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= 70428 MiB
End job on node133 at 2012-06-03 13:24:23