Trace number 3740964

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.09 1713.91

General information on the benchmark

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.97 2.09 2.09 4/179 15359
/proc/meminfo: memFree=28568808/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/15359/stat : 15359 (python) R 15357 15359 11290 0 -1 4202496 755 0 0 0 0 0 0 0 20 0 1 0 338388927 15642624 526 33554432000 4194304 5683644 140733565807104 140733565793016 215143498640 0 0 16781312 2 18446744072100748544 0 0 17 4 0 0 0 0 0
/proc/15359/statm: 3819 526 312 364 0 261 0

[startup+0.083457 s]
/proc/loadavg: 1.97 2.09 2.09 4/179 15359
/proc/meminfo: memFree=28568808/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=17288 CPUtime=0.02 cores=0,2,4,6
/proc/15359/stat : 15359 (python) D 15357 15359 11290 0 -1 4202496 2025 0 0 0 1 1 0 0 20 0 1 0 338388927 17702912 558 33554432000 4194304 4196484 140736103452208 140736103420824 215143497397 0 0 16781312 2 18446744072100748580 0 0 17 6 0 0 0 0 0
/proc/15359/statm: 4322 558 330 1 0 257 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17288

[startup+0.100166 s]
/proc/loadavg: 1.97 2.09 2.09 4/179 15359
/proc/meminfo: memFree=28568808/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=17616 CPUtime=0.02 cores=0,2,4,6
/proc/15359/stat : 15359 (python) R 15357 15359 11290 0 -1 4202496 2209 0 0 0 1 1 0 0 20 0 1 0 338388927 18038784 719 33554432000 4194304 4196484 140736103452208 140736103382376 215143498640 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0
/proc/15359/statm: 4404 719 354 1 0 339 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17616

[startup+0.300226 s]
/proc/loadavg: 1.97 2.09 2.09 4/179 15359
/proc/meminfo: memFree=28568808/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=54508 CPUtime=0.08 cores=0,2,4,6
/proc/15359/stat : 15359 (python) D 15357 15359 11290 0 -1 4202496 3932 0 0 0 4 4 0 0 20 0 1 0 338388927 55816192 2129 33554432000 4194304 4196484 140736103452208 140736103311960 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 6 0 0 0 0 0
/proc/15359/statm: 13627 2129 600 1 0 1482 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54508

[startup+0.700157 s]
/proc/loadavg: 1.97 2.09 2.09 4/179 15359
/proc/meminfo: memFree=28568808/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=99040 CPUtime=0.25 cores=0,2,4,6
/proc/15359/stat : 15359 (python) R 15357 15359 11290 0 -1 4202496 5751 0 0 0 13 12 0 0 20 0 1 0 338388927 101416960 3601 33554432000 4194304 4196484 140736103452208 140736103395080 140005890525318 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0
/proc/15359/statm: 24760 3601 1047 1 0 2562 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 99040

[startup+1.50025 s]
/proc/loadavg: 1.97 2.09 2.09 2/180 15364
/proc/meminfo: memFree=28549052/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=118116 CPUtime=0.49 cores=0,2,4,6
/proc/15359/stat : 15359 (python) D 15357 15359 11290 0 -1 4202496 9590 1012 0 0 27 22 0 0 20 0 1 0 338388927 120950784 5829 33554432000 4194304 4196484 140736103452208 140736103385816 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/15359/statm: 29529 5829 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 118116

[startup+3.10026 s]
/proc/loadavg: 1.97 2.09 2.09 3/181 15365
/proc/meminfo: memFree=28530816/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=134480 CPUtime=0.67 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 11210 1012 0 0 40 27 0 0 20 0 1 0 338388927 137707520 6346 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 33620 6346 1170 1 0 5192 0
[pid=15365] ppid=15359 vsize=18520 CPUtime=1.19 cores=0,2,4,6
/proc/15365/stat : 15365 (clasp-1.3.3-x86) R 15359 15365 15365 0 -1 4202496 4866 0 0 0 119 0 0 0 20 0 1 0 338389116 18964480 4345 33554432000 134512640 136080129 4291294112 4291293104 134589224 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15365/statm: 4630 4345 176 383 0 4245 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 153000
heavy processes:

[startup+6.30029 s]
/proc/loadavg: 2.05 2.10 2.10 3/181 15365
/proc/meminfo: memFree=28522020/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=134480 CPUtime=0.84 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 11223 1012 0 0 55 29 0 0 20 0 1 0 338388927 137707520 6346 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 33620 6346 1170 1 0 5192 0
[pid=15365] ppid=15359 vsize=24616 CPUtime=4.4 cores=0,2,4,6
/proc/15365/stat : 15365 (clasp-1.3.3-x86) R 15359 15365 15365 0 -1 4202496 6346 0 0 0 439 1 0 0 20 0 1 0 338389116 25206784 5825 33554432000 134512640 136080129 4291294112 4291293104 134588765 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15365/statm: 6154 5825 176 383 0 5769 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 159096

[startup+12.7002 s]
/proc/loadavg: 2.05 2.10 2.09 3/181 15365
/proc/meminfo: memFree=28511596/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=11.33 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 12478 10331 0 0 83 34 1014 2 20 0 1 0 338388927 139816960 6368 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6368 1180 1 0 5192 0
Current children cumulated CPU time (s) 11.33
Current children cumulated vsize (KiB) 136540

[startup+25.5002 s]
/proc/loadavg: 2.12 2.11 2.10 3/181 15412
/proc/meminfo: memFree=28544372/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=11.93 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 12511 10331 0 0 134 43 1014 2 20 0 1 0 338388927 139816960 6368 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6368 1180 1 0 5192 0
[pid=15368] ppid=15359 vsize=33048 CPUtime=13.41 cores=0,2,4,6
/proc/15368/stat : 15368 (clasp-1.3.3-x86) R 15359 15368 15368 0 -1 4202496 8379 0 0 0 1339 2 0 0 20 0 1 0 338390134 33841152 7861 33554432000 134512640 136080129 4288495984 4288494944 134808204 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15368/statm: 8262 7861 176 383 0 7877 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 169588

[startup+51.1003 s]
/proc/loadavg: 2.08 2.10 2.09 3/181 15415
/proc/meminfo: memFree=28518820/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=13.11 cores=0,2,4,6
/proc/15359/stat : 15359 (python) R 15357 15359 11290 0 -1 4202496 12538 10331 0 0 236 59 1014 2 20 0 1 0 338388927 139816960 6368 33554432000 4194304 4196484 140736103452208 140736103443968 140005890525264 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6368 1180 1 0 5192 0
[pid=15368] ppid=15359 vsize=43372 CPUtime=38.99 cores=0,2,4,6
/proc/15368/stat : 15368 (clasp-1.3.3-x86) R 15359 15368 15368 0 -1 4202496 10910 0 0 0 3897 2 0 0 20 0 1 0 338390134 44412928 10464 33554432000 134512640 136080129 4288495984 4288495056 134849968 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15368/statm: 10843 10464 176 383 0 10458 0
Current children cumulated CPU time (s) 52.1
Current children cumulated vsize (KiB) 179912

[startup+102.307 s]
/proc/loadavg: 2.07 2.10 2.09 3/181 15421
/proc/meminfo: memFree=28504544/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=65.92 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 13724 22847 0 0 471 99 6016 6 20 0 1 0 338388927 139816960 6372 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6372 1180 1 0 5192 0
[pid=15418] ppid=15359 vsize=60156 CPUtime=40.12 cores=0,2,4,6
/proc/15418/stat : 15418 (wbo1.4a) R 15359 15418 15418 0 -1 4202496 17009 0 0 0 3946 66 0 0 20 0 1 0 338395143 61599744 14471 33554432000 134512640 135751879 4290991216 4290989468 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15418/statm: 15039 14471 139 303 0 14734 0
Current children cumulated CPU time (s) 106.04
Current children cumulated vsize (KiB) 196696

[startup+162.3 s]
/proc/loadavg: 2.02 2.08 2.08 3/181 15427
/proc/meminfo: memFree=28513828/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=119.84 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 14977 41494 0 0 715 135 11060 74 20 0 1 0 338388927 139816960 6372 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6372 1180 1 0 5192 0
[pid=15424] ppid=15359 vsize=47704 CPUtime=48.94 cores=0,2,4,6
/proc/15424/stat : 15424 (clasp-1.3.3-x86) R 15359 15424 15424 0 -1 4202496 11877 0 0 0 4890 4 0 0 20 0 1 0 338400259 48848896 11528 33554432000 134512640 136080129 4292847264 4292846340 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15424/statm: 11926 11528 176 383 0 11541 0
Current children cumulated CPU time (s) 168.78
Current children cumulated vsize (KiB) 184244

[startup+222.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/181 15431
/proc/meminfo: memFree=28516380/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=223.36 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 16240 56454 0 0 983 178 21095 80 20 0 1 0 338388927 139816960 6376 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6376 1180 1 0 5192 0
[pid=15431] ppid=15359 vsize=26764 CPUtime=8.5 cores=0,2,4,6
/proc/15431/stat : 15431 (wbo1.4a) R 15359 15431 15431 0 -1 4202496 8707 0 0 0 815 35 0 0 20 0 1 0 338410306 27406336 6100 33554432000 134512640 135751879 4292572048 4292570300 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15431/statm: 6691 6100 139 303 0 6386 0
Current children cumulated CPU time (s) 231.86
Current children cumulated vsize (KiB) 163304

[startup+282.3 s]
/proc/loadavg: 2.15 2.11 2.09 3/181 15434
/proc/meminfo: memFree=28472628/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=226.23 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 16275 56454 0 0 1231 217 21095 80 20 0 1 0 338388927 139816960 6376 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6376 1180 1 0 5192 0
[pid=15431] ppid=15359 vsize=67948 CPUtime=68.46 cores=0,2,4,6
/proc/15431/stat : 15431 (wbo1.4a) R 15359 15431 15431 0 -1 4202496 18838 0 0 0 6773 73 0 0 20 0 1 0 338410306 69578752 16346 33554432000 134512640 135751879 4292572048 4292570300 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15431/statm: 16987 16346 139 303 0 16682 0
Current children cumulated CPU time (s) 294.69
Current children cumulated vsize (KiB) 204488

[startup+342.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/181 15440
/proc/meminfo: memFree=28536528/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=330.67 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 17515 80113 0 0 1499 259 31130 179 20 0 1 0 338388927 139816960 6378 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6378 1180 1 0 5192 0
[pid=15437] ppid=15359 vsize=35328 CPUtime=27.11 cores=0,2,4,6
/proc/15437/stat : 15437 (wbo1.4b) R 15359 15437 15437 0 -1 4202496 10832 0 0 0 2681 30 0 0 20 0 1 0 338420444 36175872 8275 33554432000 134512640 135751879 4290118368 4290116460 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/15437/statm: 8832 8275 143 303 0 8527 0
Current children cumulated CPU time (s) 357.78
Current children cumulated vsize (KiB) 171868

[startup+402.301 s]
/proc/loadavg: 2.18 2.12 2.09 3/218 15485
/proc/meminfo: memFree=27606760/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=384.09 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 18750 93651 0 0 1749 299 36146 215 20 0 1 0 338388927 139816960 6380 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6380 1180 1 0 5192 0
[pid=15446] ppid=15359 vsize=2715136 CPUtime=38.55 cores=0,2,4,6
/proc/15446/stat : 15446 (java) S 15359 15446 15446 0 -1 4202496 10675 0 1 0 3829 26 0 0 20 0 19 0 338425499 2780299264 127062 33554432000 1073741824 1073778376 140734067946416 140734067937552 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/15446/statm: 678784 127062 2269 9 0 669477 0

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

/proc/15623/statm: 17632 17264 176 383 0 17247 0
Current children cumulated CPU time (s) 1117.55
Current children cumulated vsize (KiB) 207068

[startup+1122.3 s]
/proc/loadavg: 2.24 2.14 2.10 3/181 15639
/proc/meminfo: memFree=28482132/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=1166.06 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 42387 313727 0 2 4825 799 110449 533 20 0 1 0 338388927 139816960 6387 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6387 1180 1 0 5192 0
[pid=15639] ppid=15359 vsize=53976 CPUtime=14.45 cores=0,2,4,6
/proc/15639/stat : 15639 (bsolo_pb10) R 15359 15639 15639 0 -1 4202496 16517 0 0 0 1418 27 0 0 20 0 1 0 338499710 55271424 11033 33554432000 134512640 137138936 4286966528 4286965380 136511212 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/15639/statm: 13494 11033 192 642 0 12850 0
Current children cumulated CPU time (s) 1180.51
Current children cumulated vsize (KiB) 190516

[startup+1182.3 s]
/proc/loadavg: 2.15 2.12 2.09 4/181 15642
/proc/meminfo: memFree=28445912/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=1168.91 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 42417 313727 0 2 5068 841 110449 533 20 0 1 0 338388927 139816960 6388 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6388 1180 1 0 5192 0
[pid=15639] ppid=15359 vsize=93660 CPUtime=74.41 cores=0,2,4,6
/proc/15639/stat : 15639 (bsolo_pb10) R 15359 15639 15639 0 -1 4202496 26467 0 0 0 7389 52 0 0 20 0 1 0 338499710 95907840 20961 33554432000 134512640 137138936 4286966528 4286965456 134542516 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/15639/statm: 23415 20961 192 642 0 22771 0
Current children cumulated CPU time (s) 1243.32
Current children cumulated vsize (KiB) 230200

[startup+1242.3 s]
/proc/loadavg: 2.18 2.13 2.09 3/181 15654
/proc/meminfo: memFree=28551592/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=1282.56 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 44927 352302 0 2 5316 883 121466 591 20 0 1 0 338388927 139816960 6388 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6388 1180 1 0 5192 0
[pid=15648] ppid=15359 vsize=35360 CPUtime=23.63 cores=0,2,4,6
/proc/15648/stat : 15648 (clasp-1.3.3-x86) R 15359 15648 15648 0 -1 4202496 8964 0 0 0 2361 2 0 0 20 0 1 0 338510792 36208640 8459 33554432000 134512640 136080129 4286763856 4286762928 134849944 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15648/statm: 8840 8459 176 383 0 8455 0
Current children cumulated CPU time (s) 1306.19
Current children cumulated vsize (KiB) 171900

[startup+1302.3 s]
/proc/loadavg: 2.16 2.13 2.09 4/181 15654
/proc/meminfo: memFree=28491052/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=1285.34 cores=0,2,4,6
/proc/15359/stat : 15359 (python) R 15357 15359 11290 0 -1 4202496 44952 352302 0 2 5557 920 121466 591 20 0 1 0 338388927 139816960 6388 33554432000 4194304 4196484 140736103452208 140736103443968 215143539639 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6388 1180 1 0 5192 0
[pid=15648] ppid=15359 vsize=56688 CPUtime=83.61 cores=0,2,4,6
/proc/15648/stat : 15648 (clasp-1.3.3-x86) R 15359 15648 15648 0 -1 4202496 14073 0 0 0 8359 2 0 0 20 0 1 0 338510792 58048512 13676 33554432000 134512640 136080129 4286763856 4286762916 134588564 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15648/statm: 14172 13676 176 383 0 13787 0
Current children cumulated CPU time (s) 1368.95
Current children cumulated vsize (KiB) 193228

[startup+1362.3 s]
/proc/loadavg: 2.19 2.14 2.10 3/181 15669
/proc/meminfo: memFree=28531328/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=1409.12 cores=0,2,4,6
/proc/15359/stat : 15359 (python) R 15357 15359 11290 0 -1 4202496 48699 384616 0 2 5811 962 133539 600 20 0 1 0 338388927 139816960 6390 33554432000 4194304 4196484 140736103452208 140736103443968 140005890514524 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34136 6390 1180 1 0 5193 0
[pid=15663] ppid=15359 vsize=35028 CPUtime=22.73 cores=0,2,4,6
/proc/15663/stat : 15663 (clasp-1.3.3-x86) R 15359 15663 15663 0 -1 4202496 8845 0 0 0 2271 2 0 0 20 0 1 0 338522881 35868672 8446 33554432000 134512640 136080129 4288580320 4288579392 134850071 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15663/statm: 8757 8446 176 383 0 8372 0
Current children cumulated CPU time (s) 1431.85
Current children cumulated vsize (KiB) 171568

[startup+1422.31 s]
/proc/loadavg: 2.20 2.14 2.10 3/181 15682
/proc/meminfo: memFree=28532536/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=1472.29 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 51206 405737 0 2 6062 1002 139559 606 20 0 1 0 338388927 139816960 6390 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6390 1180 1 0 5192 0
[pid=15678] ppid=15359 vsize=36016 CPUtime=22.44 cores=0,2,4,6
/proc/15678/stat : 15678 (clasp-1.3.3-x86) R 15359 15678 15678 0 -1 4202496 9059 0 0 0 2243 1 0 0 20 0 1 0 338528912 36880384 8531 33554432000 134512640 136080129 4287951424 4287950500 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15678/statm: 9004 8531 176 383 0 8619 0
Current children cumulated CPU time (s) 1494.73
Current children cumulated vsize (KiB) 172556

[startup+1482.3 s]
/proc/loadavg: 2.07 2.11 2.09 3/181 15685
/proc/meminfo: memFree=28495136/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=1475.11 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 51233 405737 0 2 6306 1040 139559 606 20 0 1 0 338388927 139816960 6390 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6390 1180 1 0 5192 0
[pid=15678] ppid=15359 vsize=53844 CPUtime=82.41 cores=0,2,4,6
/proc/15678/stat : 15678 (clasp-1.3.3-x86) R 15359 15678 15678 0 -1 4202496 13338 0 0 0 8239 2 0 0 20 0 1 0 338528912 55136256 13043 33554432000 134512640 136080129 4287951424 4287950416 134588720 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15678/statm: 13461 13043 176 383 0 13076 0
Current children cumulated CPU time (s) 1557.52
Current children cumulated vsize (KiB) 190384

[startup+1542.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/181 15700
/proc/meminfo: memFree=28533064/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=1598.89 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 54978 437806 0 2 6558 1082 151635 614 20 0 1 0 338388927 139816960 6391 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6391 1180 1 0 5192 0
[pid=15694] ppid=15359 vsize=34748 CPUtime=21.51 cores=0,2,4,6
/proc/15694/stat : 15694 (clasp-1.3.3-x86) R 15359 15694 15694 0 -1 4202496 8803 0 0 0 2149 2 0 0 20 0 1 0 338541003 35581952 8372 33554432000 134512640 136080129 4291512464 4291511456 134588723 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15694/statm: 8687 8372 176 383 0 8302 0
Current children cumulated CPU time (s) 1620.4
Current children cumulated vsize (KiB) 171288

[startup+1602.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/182 15706
/proc/meminfo: memFree=28500784/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=1601.71 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 55003 437806 0 2 6799 1123 151635 614 20 0 1 0 338388927 139816960 6391 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6391 1180 1 0 5192 0
[pid=15694] ppid=15359 vsize=50128 CPUtime=81.5 cores=0,2,4,6
/proc/15694/stat : 15694 (clasp-1.3.3-x86) R 15359 15694 15694 0 -1 4202496 12414 0 0 0 8146 4 0 0 20 0 1 0 338541003 51331072 11983 33554432000 134512640 136080129 4291512464 4291511628 134803024 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15694/statm: 12532 11983 176 383 0 12147 0
Current children cumulated CPU time (s) 1683.21
Current children cumulated vsize (KiB) 186668

[startup+1662.3 s]
/proc/loadavg: 2.14 2.11 2.09 3/181 15721
/proc/meminfo: memFree=28534552/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=1725.49 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 58749 469639 0 2 7053 1162 163710 624 20 0 1 0 338388927 139816960 6394 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6394 1180 1 0 5192 0
[pid=15715] ppid=15359 vsize=34444 CPUtime=20.59 cores=0,2,4,6
/proc/15715/stat : 15715 (clasp-1.3.3-x86) R 15359 15715 15715 0 -1 4202496 8744 0 0 0 2057 2 0 0 20 0 1 0 338553095 35270656 8306 33554432000 134512640 136080129 4289216800 4289215956 134803028 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15715/statm: 8611 8306 176 383 0 8226 0
Current children cumulated CPU time (s) 1746.08
Current children cumulated vsize (KiB) 170984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1713.9 s]
/proc/loadavg: 2.12 2.10 2.09 4/181 15725
/proc/meminfo: memFree=28502048/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=1727.9 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 58772 469639 0 2 7261 1195 163710 624 20 0 1 0 338388927 139816960 6394 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6394 1180 1 0 5192 0
[pid=15715] ppid=15359 vsize=50224 CPUtime=72.19 cores=0,2,4,6
/proc/15715/stat : 15715 (clasp-1.3.3-x86) R 15359 15715 15715 0 -1 4202496 12489 0 0 0 7215 4 0 0 20 0 1 0 338553095 51429376 12051 33554432000 134512640 136080129 4289216800 4289215792 134588840 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15715/statm: 12556 12051 176 383 0 12171 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 186764

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

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

[startup+1713.9 s]
/proc/loadavg: 2.12 2.10 2.09 4/181 15725
/proc/meminfo: memFree=28502048/32873844 swapFree=7380/7380
[pid=15359] ppid=15357 vsize=136540 CPUtime=1727.9 cores=0,2,4,6
/proc/15359/stat : 15359 (python) S 15357 15359 11290 0 -1 4202496 58772 469639 0 2 7261 1195 163710 624 20 0 1 0 338388927 139816960 6394 33554432000 4194304 4196484 140736103452208 140736103443968 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/15359/statm: 34135 6394 1180 1 0 5192 0
[pid=15715] ppid=15359 vsize=50224 CPUtime=72.19 cores=0,2,4,6
/proc/15715/stat : 15715 (clasp-1.3.3-x86) R 15359 15715 15715 0 -1 4202496 12489 0 0 0 7215 4 0 0 20 0 1 0 338553095 51429376 12051 33554432000 134512640 136080129 4289216800 4289215792 134588840 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/15715/statm: 12556 12051 176 383 0 12171 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 186764

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15359 and gives
#  childrusage.ru_utime.tv_sec=1709
#  childrusage.ru_utime.tv_usec=723082
#  childrusage.ru_stime.tv_sec=18
#  childrusage.ru_stime.tv_usec=200233
# CPU time returned by wait4() is 1727.92
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1713.91
CPU time (s): 1800.09
CPU user time (s): 1781.86
CPU system time (s): 18.23
CPU usage (%): 105.028
Max. virtual memory (cumulated for all children) (KiB): 2851680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1709.72
system time used= 18.2002
maximum resident set size= 557596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 528411
page faults= 2
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12678
involuntary context switches= 6968

runsolver used 3.74243 second user time and 9.57354 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 13:24:00
IDJOB=3740964
IDBENCH=89706
IDSOLVER=2323
FILE ID=node133/3740964-1338722640
RUNJOBID= node133-1338713154-11306
PBS_JOBID= 14636724
Free space on /tmp= 70448 MiB

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

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

MD5SUM BENCH= 63ab8977587973d616491fbff2cc242b
RANDOM SEED=1662392021

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:        28569328 kB
Buffers:          458476 kB
Cached:          2863356 kB
SwapCached:          676 kB
Active:          1600412 kB
Inactive:        1802644 kB
Active(anon):      72636 kB
Inactive(anon):    10220 kB
Active(file):    1527776 kB
Inactive(file):  1792424 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             28752 kB
Writeback:            16 kB
AnonPages:         87184 kB
Mapped:            14568 kB
Shmem:                 0 kB
Slab:             761184 kB
SReclaimable:     202652 kB
SUnreclaim:       558532 kB
KernelStack:        1472 kB
PageTables:         4488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     197724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70428 MiB
End job on node133 at 2012-06-03 13:52:37