Trace number 3741185

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.02 1714.82

General information on the benchmark

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

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.10 2.09 2.09 3/179 15864
/proc/meminfo: memFree=28545056/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/15864/stat : 15864 (python) R 15862 15864 11290 0 -1 4202496 755 0 0 0 0 0 0 0 20 0 1 0 338569535 15642624 525 33554432000 4194304 5683644 140736901934704 140736901916376 215143498640 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/15864/statm: 3819 525 311 364 0 261 0

[startup+0.064723 s]
/proc/loadavg: 2.10 2.09 2.09 3/179 15864
/proc/meminfo: memFree=28545056/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=16588 CPUtime=0.01 cores=1,3,5,7
/proc/15864/stat : 15864 (python) D 15862 15864 11290 0 -1 4202496 1320 0 0 0 1 0 0 0 20 0 1 0 338569535 16986112 996 33554432000 4194304 5683644 140736901934704 140736901902168 215143497397 0 0 16781312 2 18446744072100748580 0 0 17 3 0 0 0 0 0
/proc/15864/statm: 4147 996 418 364 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16588

[startup+0.100312 s]
/proc/loadavg: 2.10 2.09 2.09 3/179 15864
/proc/meminfo: memFree=28545056/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=17628 CPUtime=0.02 cores=1,3,5,7
/proc/15864/stat : 15864 (python) R 15862 15864 11290 0 -1 4202496 2230 0 0 0 1 1 0 0 20 0 1 0 338569535 18051072 737 33554432000 4194304 4196484 140734427038416 140734426968584 140149824638272 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 4407 737 367 1 0 342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17628

[startup+0.300264 s]
/proc/loadavg: 2.10 2.09 2.09 3/179 15864
/proc/meminfo: memFree=28545056/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=57144 CPUtime=0.07 cores=1,3,5,7
/proc/15864/stat : 15864 (python) D 15862 15864 11290 0 -1 4202496 4084 0 0 0 4 3 0 0 20 0 1 0 338569535 58515456 2236 33554432000 4194304 4196484 140734427038416 140734426898168 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 14286 2236 603 1 0 1624 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 57144

[startup+0.70026 s]
/proc/loadavg: 2.10 2.09 2.09 3/179 15864
/proc/meminfo: memFree=28545056/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=103800 CPUtime=0.26 cores=1,3,5,7
/proc/15864/stat : 15864 (python) R 15862 15864 11290 0 -1 4202496 6863 1012 0 0 16 10 0 0 20 0 1 0 338569535 106291200 4266 33554432000 4194304 4196484 140734427038416 140734427004376 140149825206090 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 25950 4266 1052 1 0 3236 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 103800

[startup+1.50026 s]
/proc/loadavg: 2.10 2.09 2.09 3/180 15869
/proc/meminfo: memFree=28525936/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=118120 CPUtime=0.47 cores=1,3,5,7
/proc/15864/stat : 15864 (python) D 15862 15864 11290 0 -1 4202496 9596 1012 0 0 29 18 0 0 20 0 1 0 338569535 120954880 5832 33554432000 4194304 4196484 140734427038416 140734426972024 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 29530 5832 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 118120

[startup+3.10034 s]
/proc/loadavg: 2.10 2.09 2.09 3/181 15870
/proc/meminfo: memFree=28497044/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=134456 CPUtime=0.66 cores=1,3,5,7
/proc/15864/stat : 15864 (python) R 15862 15864 11290 0 -1 4202496 11251 1012 0 0 45 21 0 0 20 0 1 0 338569535 137682944 6349 33554432000 4194304 4196484 140734427038416 140734427030176 215143497476 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 33614 6349 1170 1 0 5186 0
[pid=15870] ppid=15864 vsize=49192 CPUtime=1.34 cores=1,3,5,7
/proc/15870/stat : 15870 (clasp-1.3.3-x86) R 15864 15870 15870 0 -1 4202496 13139 0 0 0 131 3 0 0 20 0 1 0 338569710 50372608 11933 33554432000 134512640 136080129 4292635008 4292633904 134617069 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15870/statm: 12298 11933 176 383 0 11913 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 183648
heavy processes:

[startup+6.30035 s]
/proc/loadavg: 2.10 2.09 2.09 3/181 15870
/proc/meminfo: memFree=28471500/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=134456 CPUtime=0.8 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 11260 1012 0 0 57 23 0 0 20 0 1 0 338569535 137682944 6349 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 33614 6349 1170 1 0 5186 0
[pid=15870] ppid=15864 vsize=52364 CPUtime=4.54 cores=1,3,5,7
/proc/15870/stat : 15870 (clasp-1.3.3-x86) R 15864 15870 15870 0 -1 4202496 13921 0 0 0 451 3 0 0 20 0 1 0 338569710 53620736 12715 33554432000 134512640 136080129 4292635008 4292633968 134716428 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15870/statm: 13091 12715 176 383 0 12706 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 186820

[startup+12.7003 s]
/proc/loadavg: 2.08 2.08 2.08 4/181 15870
/proc/meminfo: memFree=28467836/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=11.4 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 12502 16143 0 0 84 29 1023 4 20 0 1 0 338569535 139792384 6369 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6369 1180 1 0 5186 0
Current children cumulated CPU time (s) 11.4
Current children cumulated vsize (KiB) 136516

[startup+25.5004 s]
/proc/loadavg: 2.07 2.08 2.08 3/181 15876
/proc/meminfo: memFree=28498004/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=11.99 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 12533 16143 0 0 135 37 1023 4 20 0 1 0 338569535 139792384 6369 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6369 1180 1 0 5186 0
[pid=15873] ppid=15864 vsize=58048 CPUtime=13.44 cores=1,3,5,7
/proc/15873/stat : 15873 (clasp-1.3.3-x86) R 15864 15873 15873 0 -1 4202496 15308 0 0 0 1340 4 0 0 20 0 1 0 338570739 59441152 14105 33554432000 134512640 136080129 4292030064 4292029152 134836701 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15873/statm: 14512 14105 176 383 0 14127 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 194564

[startup+51.1003 s]
/proc/loadavg: 2.10 2.09 2.09 3/181 15876
/proc/meminfo: memFree=28471672/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=13.14 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 12558 16143 0 0 233 54 1023 4 20 0 1 0 338569535 139792384 6369 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6369 1180 1 0 5186 0
[pid=15873] ppid=15864 vsize=66688 CPUtime=39.03 cores=1,3,5,7
/proc/15873/stat : 15873 (clasp-1.3.3-x86) R 15864 15873 15873 0 -1 4202496 17433 0 0 0 3898 5 0 0 20 0 1 0 338570739 68288512 16226 33554432000 134512640 136080129 4292030064 4292029136 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15873/statm: 16672 16226 176 383 0 16287 0
Current children cumulated CPU time (s) 52.17
Current children cumulated vsize (KiB) 203204

[startup+102.307 s]
/proc/loadavg: 2.07 2.08 2.09 3/181 15879
/proc/meminfo: memFree=28429552/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=65.84 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 13725 35223 0 0 455 92 6026 11 20 0 1 0 338569535 139792384 6374 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6374 1180 1 0 5186 0
[pid=15879] ppid=15864 vsize=100408 CPUtime=40.08 cores=1,3,5,7
/proc/15879/stat : 15879 (wbo1.4a) R 15864 15879 15879 0 -1 4202496 32819 0 0 0 3974 34 0 0 20 0 1 0 338575754 102817792 23780 33554432000 134512640 135751879 4288878656 4288876908 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/15879/statm: 25102 23780 139 303 0 24797 0
Current children cumulated CPU time (s) 105.92
Current children cumulated vsize (KiB) 236924

[startup+162.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/181 15885
/proc/meminfo: memFree=28417952/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=119.29 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 14968 70213 0 0 692 134 11050 53 20 0 1 0 338569535 139792384 6375 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6375 1180 1 0 5186 0
[pid=15882] ppid=15864 vsize=107752 CPUtime=49.37 cores=1,3,5,7
/proc/15882/stat : 15882 (clasp-1.3.3-x86) R 15864 15882 15882 0 -1 4202496 27443 0 0 0 4930 7 0 0 20 0 1 0 338580823 110338048 26447 33554432000 134512640 136080129 4292633136 4292632128 134589224 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/15882/statm: 26938 26447 176 383 0 26553 0
Current children cumulated CPU time (s) 168.66
Current children cumulated vsize (KiB) 244268

[startup+222.3 s]
/proc/loadavg: 2.25 2.13 2.10 3/181 15889
/proc/meminfo: memFree=28420816/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=222.73 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 16220 108834 0 0 950 177 21080 66 20 0 1 0 338569535 139792384 6376 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6376 1180 1 0 5186 0
[pid=15889] ppid=15864 vsize=76368 CPUtime=8.89 cores=1,3,5,7
/proc/15889/stat : 15889 (wbo1.4a) R 15864 15889 15889 0 -1 4202496 26828 0 0 0 874 15 0 0 20 0 1 0 338590874 78200832 17801 33554432000 134512640 135751879 4289563440 4289561692 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/15889/statm: 19092 17801 139 303 0 18787 0
Current children cumulated CPU time (s) 231.62
Current children cumulated vsize (KiB) 212884

[startup+282.3 s]
/proc/loadavg: 2.24 2.14 2.10 3/199 15913
/proc/meminfo: memFree=28048640/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=225.51 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 16256 108834 0 0 1186 219 21080 66 20 0 1 0 338569535 139792384 6376 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6376 1180 1 0 5186 0
[pid=15889] ppid=15864 vsize=115800 CPUtime=68.85 cores=1,3,5,7
/proc/15889/stat : 15889 (wbo1.4a) R 15864 15889 15889 0 -1 4202496 36645 0 0 0 6833 52 0 0 20 0 1 0 338590874 118579200 27626 33554432000 134512640 135751879 4289563440 4289561692 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/15889/statm: 28950 27626 139 303 0 28645 0
Current children cumulated CPU time (s) 294.36
Current children cumulated vsize (KiB) 252316

[startup+342.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/199 15916
/proc/meminfo: memFree=27966536/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=329.67 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 17489 149880 0 0 1449 263 31124 131 20 0 1 0 338569535 139792384 6378 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6378 1180 1 0 5186 0
[pid=15916] ppid=15864 vsize=86940 CPUtime=27.74 cores=1,3,5,7
/proc/15916/stat : 15916 (wbo1.4b) R 15864 15916 15916 0 -1 4202496 30090 0 0 0 2732 42 0 0 20 0 1 0 338600989 89026560 20442 33554432000 134512640 135751879 4288503616 4288501708 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/15916/statm: 21735 20442 143 303 0 21430 0
Current children cumulated CPU time (s) 357.41
Current children cumulated vsize (KiB) 223456

[startup+402.301 s]
/proc/loadavg: 2.06 2.10 2.09 3/200 15943
/proc/meminfo: memFree=27952444/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=383.59 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 18728 183230 0 0 1691 304 36159 205 20 0 1 0 338569535 139792384 6379 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6379 1180 1 0 5186 0
[pid=15922] ppid=15864 vsize=2715136 CPUtime=39.56 cores=1,3,5,7
/proc/15922/stat : 15922 (java) S 15864 15922 15922 0 -1 4202496 11862 0 1 0 3909 47 0 0 20 0 19 0 338606100 2780299264 147096 33554432000 1073741824 1073778376 140736515282448 140736515273584 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15922/statm: 678784 147096 2269 9 0 669477 0

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

/proc/16108/statm: 26016 25487 176 383 0 25631 0
Current children cumulated CPU time (s) 1054.79
Current children cumulated vsize (KiB) 240580

[startup+1062.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/181 16115
/proc/meminfo: memFree=28389612/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=863.57 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 40853 601450 0 2 4402 755 80606 594 20 0 1 0 338569535 139792384 6386 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6386 1180 1 0 5186 0
[pid=16108] ppid=15864 vsize=108792 CPUtime=253.95 cores=1,3,5,7
/proc/16108/stat : 16108 (clasp-1.3.3-x86) R 15864 16108 16108 0 -1 4202496 27918 0 0 0 25385 10 0 0 20 0 1 0 338650361 111403008 26625 33554432000 134512640 136080129 4291462784 4291461872 134579995 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16108/statm: 27198 26625 176 383 0 26813 0
Current children cumulated CPU time (s) 1117.52
Current children cumulated vsize (KiB) 245308

[startup+1122.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/181 16121
/proc/meminfo: memFree=28374756/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=1166.67 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 42095 630390 0 2 4642 797 110623 605 20 0 1 0 338569535 139792384 6386 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6386 1180 1 0 5186 0
[pid=16118] ppid=15864 vsize=185992 CPUtime=13.65 cores=1,3,5,7
/proc/16118/stat : 16118 (bsolo_pb10) R 15864 16118 16118 0 -1 4202496 52559 0 0 0 1350 15 0 0 20 0 1 0 338680399 190455808 43938 33554432000 134512640 137138936 4287677152 4287271356 136570369 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/16118/statm: 46498 43938 185 642 0 45854 0
Current children cumulated CPU time (s) 1180.32
Current children cumulated vsize (KiB) 322508

[startup+1182.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/181 16125
/proc/meminfo: memFree=28355936/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=1169.39 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 42119 630390 0 2 4876 835 110623 605 20 0 1 0 338569535 139792384 6386 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6386 1180 1 0 5186 0
[pid=16118] ppid=15864 vsize=186124 CPUtime=73.63 cores=1,3,5,7
/proc/16118/stat : 16118 (bsolo_pb10) R 15864 16118 16118 0 -1 4202496 52604 0 0 0 7321 42 0 0 20 0 1 0 338680399 190590976 43964 33554432000 134512640 137138936 4287677152 4287271356 136570369 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/16118/statm: 46531 43964 185 642 0 45887 0
Current children cumulated CPU time (s) 1243.02
Current children cumulated vsize (KiB) 322640

[startup+1242.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/180 16137
/proc/meminfo: memFree=28497268/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=1283.49 cores=1,3,5,7
/proc/15864/stat : 15864 (python) R 15862 15864 11290 0 -1 4202496 44595 702766 0 2 5116 875 121693 665 20 0 1 0 338569535 139792384 6387 33554432000 4194304 4196484 140734427038416 140734427030176 215143539639 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6387 1180 1 0 5186 0
[pid=16131] ppid=15864 vsize=58368 CPUtime=22.28 cores=1,3,5,7
/proc/16131/stat : 16131 (clasp-1.3.3-x86) R 15864 16131 16131 0 -1 4202496 15362 0 0 0 2224 4 0 0 20 0 1 0 338691535 59768832 14144 33554432000 134512640 136080129 4287074752 4287073824 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16131/statm: 14592 14144 176 383 0 14207 0
Current children cumulated CPU time (s) 1305.77
Current children cumulated vsize (KiB) 194884

[startup+1302.3 s]
/proc/loadavg: 2.17 2.11 2.09 3/181 16144
/proc/meminfo: memFree=28477812/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=1286.23 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 44619 702766 0 2 5351 914 121693 665 20 0 1 0 338569535 139792384 6387 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6387 1180 1 0 5186 0
[pid=16131] ppid=15864 vsize=75628 CPUtime=82.26 cores=1,3,5,7
/proc/16131/stat : 16131 (clasp-1.3.3-x86) R 15864 16131 16131 0 -1 4202496 19616 0 0 0 8220 6 0 0 20 0 1 0 338691535 77443072 18495 33554432000 134512640 136080129 4287074752 4287073824 134849054 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16131/statm: 18907 18495 176 383 0 18522 0
Current children cumulated CPU time (s) 1368.49
Current children cumulated vsize (KiB) 212144

[startup+1362.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/181 16156
/proc/meminfo: memFree=28471112/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=1410.06 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 48319 756014 0 2 5594 956 133772 684 20 0 1 0 338569535 139792384 6389 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6389 1180 1 0 5186 0
[pid=16156] ppid=15864 vsize=57784 CPUtime=21.22 cores=1,3,5,7
/proc/16156/stat : 16156 (clasp-1.3.3-x86) R 15864 16156 16156 0 -1 4202496 14746 0 0 0 2118 4 0 0 20 0 1 0 338703641 59170816 14040 33554432000 134512640 136080129 4292039088 4292038176 134836680 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16156/statm: 14446 14040 176 383 0 14061 0
Current children cumulated CPU time (s) 1431.28
Current children cumulated vsize (KiB) 194300

[startup+1422.31 s]
/proc/loadavg: 2.04 2.08 2.08 3/181 16168
/proc/meminfo: memFree=28498252/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=1473.28 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 50807 789432 0 2 5835 998 139800 695 20 0 1 0 338569535 139792384 6389 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6389 1180 1 0 5186 0
[pid=16162] ppid=15864 vsize=57032 CPUtime=20.79 cores=1,3,5,7
/proc/16162/stat : 16162 (clasp-1.3.3-x86) R 15864 16162 16162 0 -1 4202496 15071 0 0 0 2075 4 0 0 20 0 1 0 338709685 58400768 13852 33554432000 134512640 136080129 4293497360 4293496448 134836712 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16162/statm: 14258 13852 176 383 0 13873 0
Current children cumulated CPU time (s) 1494.07
Current children cumulated vsize (KiB) 193548

[startup+1482.3 s]
/proc/loadavg: 2.06 2.08 2.08 4/181 16172
/proc/meminfo: memFree=28450448/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=1476 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 50834 789432 0 2 6067 1038 139800 695 20 0 1 0 338569535 139792384 6389 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6389 1180 1 0 5186 0
[pid=16162] ppid=15864 vsize=77212 CPUtime=80.76 cores=1,3,5,7
/proc/16162/stat : 16162 (clasp-1.3.3-x86) R 15864 16162 16162 0 -1 4202496 19965 0 0 0 8070 6 0 0 20 0 1 0 338709685 79065088 18780 33554432000 134512640 136080129 4293497360 4293496436 134850025 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16162/statm: 19303 18780 176 383 0 18918 0
Current children cumulated CPU time (s) 1556.76
Current children cumulated vsize (KiB) 213728

[startup+1542.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/181 16184
/proc/meminfo: memFree=28485164/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=1599.9 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 54545 842673 0 2 6317 1077 151884 712 20 0 1 0 338569535 139792384 6391 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6391 1180 1 0 5186 0
[pid=16181] ppid=15864 vsize=57112 CPUtime=19.69 cores=1,3,5,7
/proc/16181/stat : 16181 (clasp-1.3.3-x86) R 15864 16181 16181 0 -1 4202496 15060 0 0 0 1966 3 0 0 20 0 1 0 338721794 58482688 13839 33554432000 134512640 136080129 4292608080 4292607152 134849631 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16181/statm: 14278 13839 176 383 0 13893 0
Current children cumulated CPU time (s) 1619.59
Current children cumulated vsize (KiB) 193628

[startup+1602.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/182 16193
/proc/meminfo: memFree=28453852/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=1602.64 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 54571 842673 0 2 6552 1116 151884 712 20 0 1 0 338569535 139792384 6391 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6391 1180 1 0 5186 0
[pid=16181] ppid=15864 vsize=76772 CPUtime=79.66 cores=1,3,5,7
/proc/16181/stat : 16181 (clasp-1.3.3-x86) R 15864 16181 16181 0 -1 4202496 19873 0 0 0 7960 6 0 0 20 0 1 0 338721794 78614528 18722 33554432000 134512640 136080129 4292608080 4292606976 134599276 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16181/statm: 19193 18722 176 383 0 18808 0
Current children cumulated CPU time (s) 1682.3
Current children cumulated vsize (KiB) 213288

[startup+1662.3 s]
/proc/loadavg: 2.02 2.06 2.08 3/181 16249
/proc/meminfo: memFree=28506932/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=1726.53 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 58276 899721 0 2 6796 1159 163967 731 20 0 1 0 338569535 139792384 6393 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6393 1180 1 0 5186 0
[pid=16249] ppid=15864 vsize=57084 CPUtime=18.59 cores=1,3,5,7
/proc/16249/stat : 16249 (clasp-1.3.3-x86) R 15864 16249 16249 0 -1 4202496 15057 0 0 0 1856 3 0 0 20 0 1 0 338733905 58454016 13847 33554432000 134512640 136080129 4290158576 4290157664 134836683 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16249/statm: 14271 13847 176 383 0 13886 0
Current children cumulated CPU time (s) 1745.12
Current children cumulated vsize (KiB) 193600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1714.8 s]
/proc/loadavg: 2.06 2.06 2.08 3/181 16252
/proc/meminfo: memFree=28444176/32873844 swapFree=7380/7380
[pid=15864] ppid=15862 vsize=136516 CPUtime=1728.95 cores=1,3,5,7
/proc/15864/stat : 15864 (python) S 15862 15864 11290 0 -1 4202496 58299 899721 0 2 7004 1193 163967 731 20 0 1 0 338569535 139792384 6393 33554432000 4194304 4196484 140734427038416 140734427030176 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/15864/statm: 34129 6393 1180 1 0 5186 0
[pid=16249] ppid=15864 vsize=73192 CPUtime=71.07 cores=1,3,5,7
/proc/16249/stat : 16249 (clasp-1.3.3-x86) R 15864 16249 16249 0 -1 4202496 18929 0 0 0 7102 5 0 0 20 0 1 0 338733905 74948608 17829 33554432000 134512640 136080129 4290158576 4290157648 134849991 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/16249/statm: 18298 17829 176 383 0 17913 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 209708

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 15864 and gives
#  childrusage.ru_utime.tv_sec=1709
#  childrusage.ru_utime.tv_usec=723082
#  childrusage.ru_stime.tv_sec=19
#  childrusage.ru_stime.tv_usec=251073
# CPU time returned by wait4() is 1728.97
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1714.82
CPU time (s): 1800.02
CPU user time (s): 1780.73
CPU system time (s): 19.29
CPU usage (%): 104.968
Max. virtual memory (cumulated for all children) (KiB): 2851656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1709.72
system time used= 19.2511
maximum resident set size= 588944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 958020
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= 12331
involuntary context switches= 4707

runsolver used 3.97939 second user time and 10.4064 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 13:54:07
IDJOB=3741185
IDBENCH=89805
IDSOLVER=2323
FILE ID=node133/3741185-1338724446
RUNJOBID= node133-1338713154-11307
PBS_JOBID= 14636724
Free space on /tmp= 70424 MiB

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

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

MD5SUM BENCH= 7a0b627cea8cce891554469525360150
RANDOM SEED=1668721811

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:        28544956 kB
Buffers:          462424 kB
Cached:          2888672 kB
SwapCached:          676 kB
Active:          1617048 kB
Inactive:        1806092 kB
Active(anon):      63800 kB
Inactive(anon):    10220 kB
Active(file):    1553248 kB
Inactive(file):  1795872 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             52972 kB
Writeback:            16 kB
AnonPages:         80076 kB
Mapped:            14420 kB
Shmem:                 0 kB
Slab:             761792 kB
SReclaimable:     203192 kB
SUnreclaim:       558600 kB
KernelStack:        1464 kB
PageTables:         4560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     191744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70412 MiB
End job on node133 at 2012-06-03 14:22:44