Trace number 3460846

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.6? (TO) 1800.24 1800.2

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
MD5SUM5f836d1b8d150c1925229546ed283812
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark977
Best CPU time to get the best result obtained on this benchmark1800.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 453
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 491651
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 491651
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3460846-1307077985.opb.
0.00/0.00	c Instance file HOME/instance-3460846-1307077985.opb
0.00/0.00	c File size is 17233665 bytes.
1.11/1.15	c Highest Coefficient sum: 101
1.11/1.15	c ============================[ Problem Statistics ]=============================
1.11/1.15	c |                                                                             |
1.11/1.15	c |  Parsing time:          1.13         s                                      |
1.11/1.15	c |  Number Variables:      10000                                               |
1.11/1.15	c |  Number Clauses:        656900                                              |
1.11/1.15	c |  Number Cardinality:    0                                                   |
1.11/1.15	c |  Number PB Constraints: 0                                                   |
1.39/1.43	c ============================[ Search Statistics ]==============================
1.39/1.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.43	c ===============================================================================
1.39/1.43	c |         0 |   10000   656900  1333400 |   218966        0   -nan |  0.000 % |
7.71/7.75	c core #1
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 1
7.71/7.75	c Current CPU time: 1.55676 s
7.71/7.75	c
7.71/7.75	c core #2
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 2
7.71/7.75	c Current CPU time: 1.69974 s
7.71/7.75	c
7.71/7.75	c core #3
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 3
7.71/7.75	c Current CPU time: 1.84872 s
7.71/7.75	c
7.71/7.75	c core #4
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 4
7.71/7.75	c Current CPU time: 1.9887 s
7.71/7.75	c
7.71/7.75	c core #5
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 5
7.71/7.75	c Current CPU time: 2.13667 s
7.71/7.75	c
7.71/7.75	c core #6
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 6
7.71/7.75	c Current CPU time: 2.27665 s
7.71/7.75	c
7.71/7.75	c core #7
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 7
7.71/7.75	c Current CPU time: 2.42663 s
7.71/7.75	c
7.71/7.75	c core #8
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 8
7.71/7.75	c Current CPU time: 2.56861 s
7.71/7.75	c
7.71/7.75	c core #9
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 9
7.71/7.75	c Current CPU time: 2.71759 s
7.71/7.75	c
7.71/7.75	c core #10
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 10
7.71/7.75	c Current CPU time: 2.85757 s
7.71/7.75	c
7.71/7.75	c core #11
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 11
7.71/7.75	c Current CPU time: 3.00854 s
7.71/7.75	c
7.71/7.75	c core #12
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 12
7.71/7.75	c Current CPU time: 3.14952 s
7.71/7.75	c
7.71/7.75	c core #13
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 13
7.71/7.75	c Current CPU time: 3.2985 s
7.71/7.75	c
7.71/7.75	c core #14
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 14
7.71/7.75	c Current CPU time: 3.44148 s
7.71/7.75	c
7.71/7.75	c core #15
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 15
7.71/7.75	c Current CPU time: 3.59045 s
7.71/7.75	c
7.71/7.75	c core #16
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 16
7.71/7.75	c Current CPU time: 3.73143 s
7.71/7.75	c
7.71/7.75	c core #17
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 17
7.71/7.75	c Current CPU time: 3.88041 s
7.71/7.75	c
7.71/7.75	c core #18
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 18
7.71/7.75	c Current CPU time: 4.02139 s
7.71/7.75	c
7.71/7.75	c core #19
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 19
7.71/7.75	c Current CPU time: 4.17237 s
7.71/7.75	c
7.71/7.75	c core #20
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 201	Core Weight: 1	Total Weight: 20
7.71/7.75	c Current CPU time: 4.31334 s
7.71/7.75	c
7.71/7.75	c core #21
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 21
7.71/7.75	c Current CPU time: 4.46232 s
7.71/7.75	c
7.71/7.75	c core #22
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 22
7.71/7.75	c Current CPU time: 4.6043 s
7.71/7.75	c
7.71/7.75	c core #23
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 2	Total Weight: 24
7.71/7.75	c Current CPU time: 4.75428 s
7.71/7.75	c
7.71/7.75	c core #24
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 25
7.71/7.75	c Current CPU time: 4.89726 s
7.71/7.75	c
7.71/7.75	c core #25
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 26
7.71/7.75	c Current CPU time: 5.04623 s
7.71/7.75	c
7.71/7.75	c core #26
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 27
7.71/7.75	c Current CPU time: 5.19121 s
7.71/7.75	c
7.71/7.75	c core #27
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 28
7.71/7.75	c Current CPU time: 5.34119 s
7.71/7.75	c
7.71/7.75	c core #28
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 29
7.71/7.75	c Current CPU time: 5.48417 s
7.71/7.75	c
7.71/7.75	c core #29
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 2	Total Weight: 31
7.71/7.75	c Current CPU time: 5.63314 s
7.71/7.75	c
7.71/7.75	c core #30
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 32
7.71/7.75	c Current CPU time: 5.77612 s
7.71/7.75	c
7.71/7.75	c core #31
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 201	Core Weight: 1	Total Weight: 33
7.71/7.75	c Current CPU time: 5.9271 s
7.71/7.75	c
7.71/7.75	c core #32
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 501	Core Weight: 1	Total Weight: 34
7.71/7.75	c Current CPU time: 6.07208 s
7.71/7.75	c
7.71/7.75	c core #33
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 35
7.71/7.75	c Current CPU time: 6.22105 s
7.71/7.75	c
7.71/7.75	c core #34
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 36
7.71/7.75	c Current CPU time: 6.36403 s
7.71/7.75	c
7.71/7.75	c core #35
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 37
7.71/7.75	c Current CPU time: 6.51501 s
7.71/7.75	c
7.71/7.75	c core #36
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 8	Total Weight: 45
7.71/7.75	c Current CPU time: 6.65999 s
7.71/7.75	c
7.71/7.75	c core #37
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 46
7.71/7.75	c Current CPU time: 6.81496 s
7.71/7.75	c
7.71/7.75	c core #38
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 47
7.71/7.75	c Current CPU time: 6.95794 s
7.71/7.75	c
7.71/7.75	c core #39
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 48
7.71/7.75	c Current CPU time: 7.10992 s
7.71/7.75	c
7.71/7.75	c core #40
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 3	Total Weight: 51
7.71/7.75	c Current CPU time: 7.2529 s
7.71/7.75	c
7.71/7.75	c core #41
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 52
7.71/7.75	c Current CPU time: 7.40387 s
7.71/7.75	c
7.71/7.75	c core #42
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 2	Total Weight: 54
7.71/7.75	c Current CPU time: 7.55085 s
7.71/7.75	c
7.71/7.75	c core #43
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 55
13.79/13.87	c Current CPU time: 7.70383 s
13.79/13.87	c
13.79/13.87	c core #44
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 56
13.79/13.87	c Current CPU time: 7.84781 s
13.79/13.87	c
13.79/13.87	c core #45
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 57
13.79/13.87	c Current CPU time: 7.99978 s
13.79/13.87	c
13.79/13.87	c core #46
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 2	Total Weight: 59
13.79/13.87	c Current CPU time: 8.14376 s
13.79/13.87	c
13.79/13.87	c core #47
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 401	Core Weight: 1	Total Weight: 60
13.79/13.87	c Current CPU time: 8.29874 s
13.79/13.87	c
13.79/13.87	c core #48
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 61
13.79/13.87	c Current CPU time: 8.44172 s
13.79/13.87	c
13.79/13.87	c core #49
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 62
13.79/13.87	c Current CPU time: 8.59269 s
13.79/13.87	c
13.79/13.87	c core #50
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 63
13.79/13.87	c Current CPU time: 8.73667 s
13.79/13.87	c
13.79/13.87	c core #51
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 2	Total Weight: 65
13.79/13.87	c Current CPU time: 8.88865 s
13.79/13.87	c
13.79/13.87	c core #52
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 201	Core Weight: 1	Total Weight: 66
13.79/13.87	c Current CPU time: 9.03263 s
13.79/13.87	c
13.79/13.87	c core #53
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 67
13.79/13.87	c Current CPU time: 9.1826 s
13.79/13.87	c
13.79/13.87	c core #54
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 68
13.79/13.87	c Current CPU time: 9.32758 s
13.79/13.87	c
13.79/13.87	c core #55
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 201	Core Weight: 1	Total Weight: 69
13.79/13.87	c Current CPU time: 9.48056 s
13.79/13.87	c
13.79/13.87	c core #56
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 70
13.79/13.87	c Current CPU time: 9.62354 s
13.79/13.87	c
13.79/13.87	c core #57
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 71
13.79/13.87	c Current CPU time: 9.77451 s
13.79/13.87	c
13.79/13.87	c core #58
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 72
13.79/13.87	c Current CPU time: 9.91949 s
13.79/13.87	c
13.79/13.87	c core #59
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 73
13.79/13.87	c Current CPU time: 10.0735 s
13.79/13.87	c
13.79/13.87	c core #60
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 401	Core Weight: 1	Total Weight: 74
13.79/13.87	c Current CPU time: 10.2184 s
13.79/13.87	c
13.79/13.87	c core #61
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 75
13.79/13.87	c Current CPU time: 10.3704 s
13.79/13.87	c
13.79/13.87	c core #62
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 3	Total Weight: 78
13.79/13.87	c Current CPU time: 10.5164 s
13.79/13.87	c
13.79/13.87	c core #63
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 79
13.79/13.87	c Current CPU time: 10.6694 s
13.79/13.87	c
13.79/13.87	c core #64
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 2	Total Weight: 81
13.79/13.87	c Current CPU time: 10.8164 s
13.79/13.87	c
13.79/13.87	c core #65
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 82
13.79/13.87	c Current CPU time: 10.9673 s
13.79/13.87	c
13.79/13.87	c core #66
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 83
13.79/13.87	c Current CPU time: 11.1153 s
13.79/13.87	c
13.79/13.87	c core #67
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 84
13.79/13.87	c Current CPU time: 11.2693 s
13.79/13.87	c
13.79/13.87	c core #68
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 85
13.79/13.87	c Current CPU time: 11.4153 s
13.79/13.87	c
13.79/13.87	c core #69
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 801	Core Weight: 1	Total Weight: 86
13.79/13.87	c Current CPU time: 11.5692 s
13.79/13.87	c
13.79/13.87	c core #70
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 87
13.79/13.87	c Current CPU time: 11.7172 s
13.79/13.87	c
13.79/13.87	c core #71
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 88
13.79/13.87	c Current CPU time: 11.8712 s
13.79/13.87	c
13.79/13.87	c core #72
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 2	Total Weight: 90
13.79/13.87	c Current CPU time: 12.0172 s
13.79/13.87	c
13.79/13.87	c core #73
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 91
13.79/13.87	c Current CPU time: 12.1701 s
13.79/13.87	c
13.79/13.87	c core #74
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 92
13.79/13.87	c Current CPU time: 12.3161 s
13.79/13.87	c
13.79/13.87	c core #75
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 93
13.79/13.87	c Current CPU time: 12.4731 s
13.79/13.87	c
13.79/13.87	c core #76
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 94
13.79/13.87	c Current CPU time: 12.6191 s
13.79/13.87	c
13.79/13.87	c core #77
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 95
13.79/13.87	c Current CPU time: 12.7711 s
13.79/13.87	c
13.79/13.87	c core #78
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 96
13.79/13.87	c Current CPU time: 12.918 s
13.79/13.87	c
13.79/13.87	c core #79
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 301	Core Weight: 1	Total Weight: 97
13.79/13.87	c Current CPU time: 13.072 s
13.79/13.87	c
13.79/13.87	c core #80
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 98
13.79/13.87	c Current CPU time: 13.219 s
13.79/13.87	c
13.79/13.87	c core #81
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 99
13.79/13.87	c Current CPU time: 13.373 s
13.79/13.87	c
13.79/13.87	c core #82
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 100
13.79/13.87	c Current CPU time: 13.5189 s
13.79/13.87	c
13.79/13.87	c core #83
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 101
13.79/13.87	c Current CPU time: 13.6739 s
13.79/13.87	c
13.79/13.87	c core #84
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 101	Core Weight: 1	Total Weight: 102
13.79/13.87	c Current CPU time: 13.8199 s
20.29/20.30	c
20.29/20.30	c core #85
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 201	Core Weight: 1	Total Weight: 103
20.29/20.30	c Current CPU time: 13.9749 s
20.29/20.30	c
20.29/20.30	c core #86
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 104
20.29/20.30	c Current CPU time: 14.1239 s
20.29/20.30	c
20.29/20.30	c core #87
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 105
20.29/20.30	c Current CPU time: 14.2808 s
20.29/20.30	c
20.29/20.30	c core #88
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 301	Core Weight: 1	Total Weight: 106
20.29/20.30	c Current CPU time: 14.4298 s
20.29/20.30	c
20.29/20.30	c core #89
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 107
20.29/20.30	c Current CPU time: 14.5848 s
20.29/20.30	c
20.29/20.30	c core #90
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 108
20.29/20.30	c Current CPU time: 14.7338 s
20.29/20.30	c
20.29/20.30	c core #91
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 109
20.29/20.30	c Current CPU time: 14.8897 s
20.29/20.30	c
20.29/20.30	c core #92
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 110
20.29/20.30	c Current CPU time: 15.0407 s
20.29/20.30	c
20.29/20.30	c core #93
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 111
20.29/20.30	c Current CPU time: 15.1967 s
20.29/20.30	c
20.29/20.30	c core #94
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 112
20.29/20.30	c Current CPU time: 15.3457 s
20.29/20.30	c
20.29/20.30	c core #95
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 113
20.29/20.30	c Current CPU time: 15.5046 s
20.29/20.30	c
20.29/20.30	c core #96
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 501	Core Weight: 1	Total Weight: 114
20.29/20.30	c Current CPU time: 15.6556 s
20.29/20.30	c
20.29/20.30	c core #97
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 115
20.29/20.30	c Current CPU time: 15.8126 s
20.29/20.30	c
20.29/20.30	c core #98
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 601	Core Weight: 1	Total Weight: 116
20.29/20.30	c Current CPU time: 15.9646 s
20.29/20.30	c
20.29/20.30	c core #99
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 2	Total Weight: 118
20.29/20.30	c Current CPU time: 16.1215 s
20.29/20.30	c
20.29/20.30	c core #100
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 119
20.29/20.30	c Current CPU time: 16.2725 s
20.29/20.30	c
20.29/20.30	c core #101
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 120
20.29/20.30	c Current CPU time: 16.4285 s
20.29/20.30	c
20.29/20.30	c core #102
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 121
20.29/20.30	c Current CPU time: 16.5785 s
20.29/20.30	c
20.29/20.30	c core #103
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 122
20.29/20.30	c Current CPU time: 16.7365 s
20.29/20.30	c
20.29/20.30	c core #104
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 201	Core Weight: 1	Total Weight: 123
20.29/20.30	c Current CPU time: 16.8884 s
20.29/20.30	c
20.29/20.30	c core #105
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 124
20.29/20.30	c Current CPU time: 17.0454 s
20.29/20.30	c
20.29/20.30	c core #106
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 125
20.29/20.30	c Current CPU time: 17.1964 s
20.29/20.30	c
20.29/20.30	c core #107
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 126
20.29/20.30	c Current CPU time: 17.3564 s
20.29/20.30	c
20.29/20.30	c core #108
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 2	Total Weight: 128
20.29/20.30	c Current CPU time: 17.5073 s
20.29/20.30	c
20.29/20.30	c core #109
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 901	Core Weight: 1	Total Weight: 129
20.29/20.30	c Current CPU time: 17.6713 s
20.29/20.30	c
20.29/20.30	c core #110
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 130
20.29/20.30	c Current CPU time: 17.8223 s
20.29/20.30	c
20.29/20.30	c core #111
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 131
20.29/20.30	c Current CPU time: 17.9823 s
20.29/20.30	c
20.29/20.30	c core #112
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 2	Total Weight: 133
20.29/20.30	c Current CPU time: 18.1342 s
20.29/20.30	c
20.29/20.30	c core #113
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 134
20.29/20.30	c Current CPU time: 18.2932 s
20.29/20.30	c
20.29/20.30	c core #114
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 135
20.29/20.30	c Current CPU time: 18.4502 s
20.29/20.30	c
20.29/20.30	c core #115
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 136
20.29/20.30	c Current CPU time: 18.6112 s
20.29/20.30	c
20.29/20.30	c core #116
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 2651	Core Weight: 1	Total Weight: 137
20.29/20.30	c Current CPU time: 18.7861 s
20.29/20.30	c
20.29/20.30	c core #117
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 138
20.29/20.30	c Current CPU time: 18.9521 s
20.29/20.30	c
20.29/20.30	c core #118
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 139
20.29/20.30	c Current CPU time: 19.1051 s
20.29/20.30	c
20.29/20.30	c core #119
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 1	Total Weight: 140
20.29/20.30	c Current CPU time: 19.2671 s
20.29/20.30	c
20.29/20.30	c core #120
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 101	Core Weight: 2	Total Weight: 142
20.29/20.30	c Current CPU time: 19.42 s
20.29/20.30	c
20.29/20.30	c core #121
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 200	Core Weight: 2	Total Weight: 144
20.29/20.30	c Current CPU time: 19.581 s
20.29/20.30	c
20.29/20.30	c core #122
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 1174	Core Weight: 1	Total Weight: 145
20.29/20.30	c Current CPU time: 19.742 s
20.29/20.30	c
20.29/20.30	c core #123
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 201	Core Weight: 1	Total Weight: 146
20.29/20.30	c Current CPU time: 19.906 s
20.29/20.30	c
20.29/20.30	c core #124
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 1169	Core Weight: 1	Total Weight: 147
20.29/20.30	c Current CPU time: 20.0719 s
20.29/20.30	c
20.29/20.30	c core #125
20.29/20.30	c 
20.29/20.30	c 
20.29/20.30	c Core size: 1538	Core Weight: 1	Total Weight: 148
20.29/20.30	c Current CPU time: 20.2449 s
21.29/21.32	c
21.29/21.32	c core #126
21.29/21.32	c 
21.29/21.32	c 
21.29/21.32	c Core size: 1991	Core Weight: 1	Total Weight: 149
21.29/21.32	c Current CPU time: 20.4209 s
21.29/21.32	c
21.29/21.32	c core #127
21.29/21.32	c 
21.29/21.32	c 
21.29/21.32	c Core size: 301	Core Weight: 1	Total Weight: 150
21.29/21.32	c Current CPU time: 20.5909 s
21.29/21.32	c
21.29/21.32	c core #128
21.29/21.32	c 
21.29/21.32	c 
21.29/21.32	c Core size: 978	Core Weight: 1	Total Weight: 151
21.29/21.32	c Current CPU time: 20.7518 s
21.29/21.32	c
21.29/21.32	c core #129
21.29/21.32	c 
21.29/21.32	c 
21.29/21.32	c Core size: 399	Core Weight: 1	Total Weight: 152
21.29/21.32	c Current CPU time: 20.9218 s
21.29/21.32	c
21.29/21.32	c core #130
21.29/21.32	c 
21.29/21.32	c 
21.29/21.32	c Core size: 697	Core Weight: 1	Total Weight: 153
21.29/21.32	c Current CPU time: 21.0908 s
21.29/21.32	c
21.29/21.32	c ============================[ Search Statistics ]==============================
21.29/21.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.29/21.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.29/21.32	c ===============================================================================
21.29/21.32	c |         0 |   27136   693845    50224 |   231281        0   -nan |  0.000 % |
21.29/21.33	c ===============================================================================
21.49/21.51	c core #131
21.49/21.51	c 
21.49/21.51	c 
21.49/21.51	c Core size: 1808	Core Weight: 1	Total Weight: 154
21.49/21.51	c Current CPU time: 21.2828 s
21.49/21.51	c
21.49/21.51	c ============================[ Search Statistics ]==============================
21.49/21.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.49/21.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.49/21.51	c ===============================================================================
21.49/21.51	c |         0 |   28936   695589    52259 |   231863        0   -nan |  0.000 % |
21.49/21.51	c ===============================================================================
21.59/21.69	c core #132
21.59/21.69	c 
21.59/21.69	c 
21.59/21.69	c Core size: 1261	Core Weight: 1	Total Weight: 155
21.59/21.69	c Current CPU time: 21.4607 s
21.59/21.69	c
21.59/21.69	c ============================[ Search Statistics ]==============================
21.59/21.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.59/21.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.59/21.69	c ===============================================================================
21.59/21.69	c |         0 |   30506   696795    54394 |   232265        0   -nan |  0.000 % |
21.69/21.73	c ===============================================================================
21.79/21.90	c core #133
21.79/21.90	c 
21.79/21.90	c 
21.79/21.90	c Core size: 2245	Core Weight: 1	Total Weight: 156
21.79/21.90	c Current CPU time: 21.6697 s
21.79/21.90	c
21.79/21.90	c ============================[ Search Statistics ]==============================
21.79/21.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.79/21.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.79/21.90	c ===============================================================================
21.79/21.90	c |         0 |   32874   698947    57420 |   232982        0   -nan |  0.000 % |
21.91/21.95	c |       101 |   32872   698947    57420 |   256280      101   1486 | 22.686 % |
22.19/22.21	c ===============================================================================
22.29/22.39	c core #134
22.29/22.39	c 
22.29/22.39	c 
22.29/22.39	c Core size: 4902	Core Weight: 1	Total Weight: 157
22.29/22.39	c Current CPU time: 22.1496 s
22.29/22.39	c
22.29/22.39	c ============================[ Search Statistics ]==============================
22.29/22.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.29/22.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.29/22.39	c ===============================================================================
22.29/22.39	c |         0 |   37918   703580    63955 |   234526        0   -nan |  0.000 % |
22.39/22.43	c |       100 |   37914   703580    63955 |   257979      100    756 | 20.027 % |
22.49/22.50	c ===============================================================================
22.59/22.69	c core #135
22.59/22.69	c 
22.59/22.69	c 
22.59/22.69	c Core size: 3446	Core Weight: 1	Total Weight: 158
22.59/22.69	c Current CPU time: 22.4406 s
22.59/22.69	c
22.59/22.69	c ============================[ Search Statistics ]==============================
22.59/22.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.59/22.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.59/22.69	c ===============================================================================
22.59/22.69	c |         0 |   41376   706844    68196 |   235614        0   -nan |  0.000 % |
22.69/22.73	c |       100 |   41376   706844    68196 |   259176      100   1865 | 18.609 % |
22.79/22.83	c |       251 |   41375   706844    68196 |   285093      251   1792 | 18.611 % |
22.89/22.98	c |       477 |   41375   706844    68196 |   313603      477   2098 | 18.611 % |
23.10/23.17	c |       819 |   41374   706844    68196 |   344963      819   1996 | 18.613 % |
23.69/23.76	c ===============================================================================
23.89/23.97	c core #136
23.89/23.97	c 
23.89/23.97	c 
23.89/23.97	c Core size: 6999	Core Weight: 1	Total Weight: 159
23.89/23.97	c Current CPU time: 23.7034 s
23.89/23.97	c
23.89/23.97	c ============================[ Search Statistics ]==============================
23.89/23.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
23.89/23.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
23.89/23.97	c ===============================================================================
23.89/23.97	c |         0 |   48418   713399    76950 |   237799        0   -nan |  0.000 % |
24.00/24.04	c |       103 |   48418   713399    76950 |   261579      103   2223 | 16.265 % |
24.11/24.16	c |       255 |   48418   713399    76950 |   287737      255   1781 | 16.265 % |
24.30/24.33	c |       482 |   48418   713399    76950 |   316511      482   1719 | 16.265 % |
24.60/24.64	c |       820 |   48418   713399    76950 |   348162      820   1822 | 16.265 % |
25.00/25.01	c |      1329 |   48415   713399    76950 |   382978     1329   1555 | 16.270 % |
25.70/25.73	c |      2088 |   48414   713399    76950 |   421276     2088   1620 | 16.272 % |
26.99/27.01	c |      3227 |   48412   713399    76950 |   463404     3227   2109 | 16.276 % |
28.99/29.02	c |      4935 |   48412   713399    76950 |   509744     4935   2419 | 16.276 % |
32.59/32.67	c ===============================================================================
32.91/32.91	c core #137
32.91/32.91	c 
32.91/32.91	c 
32.91/32.91	c Core size: 10571	Core Weight: 1	Total Weight: 160
32.91/32.91	c Current CPU time: 32.603 s
32.91/32.91	c
32.91/32.91	c ============================[ Search Statistics ]==============================
32.91/32.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
32.91/32.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
32.91/32.91	c ===============================================================================
32.91/32.91	c |         0 |   59067   722550    91593 |   240850        0   -nan |  0.000 % |
32.91/32.98	c |       101 |   59067   722550    91593 |   264935      101   1191 | 13.617 % |
33.09/33.13	c |       252 |   59067   722550    91593 |   291428      252    817 | 13.617 % |
33.28/33.33	c |       479 |   59067   722550    91593 |   320571      479    610 | 13.617 % |
33.58/33.66	c |       817 |   59067   722550    91593 |   352628      817    599 | 13.617 % |
34.11/34.19	c |      1325 |   59067   722550    91593 |   387891     1325    633 | 13.617 % |
34.99/35.05	c |      2085 |   59067   722550    91593 |   426680     2085    695 | 13.617 % |
36.59/36.65	c |      3224 |   59067   722550    91593 |   469348     3224   1029 | 13.617 % |
38.89/38.93	c |      4934 |   59067   722550    91593 |   516283     4934   1102 | 13.617 % |
42.59/42.67	c |      7498 |   59067   722550    91593 |   567911     7498   1389 | 13.617 % |
48.59/48.60	c |     11343 |   59067   722550    91593 |   624702    11343   1558 | 13.617 % |
59.79/59.89	c |     17109 |   59067   722550    91593 |   687173    17109   2039 | 13.617 % |
80.99/81.02	c |     25759 |   59067   722550    91593 |   755890    25759   2699 | 13.617 % |
117.89/117.97	c |     38734 |   59066   722550    91593 |   831479    38734   3171 | 13.618 % |
178.49/178.53	c |     58197 |   59065   722550    91593 |   914627    58197   3725 | 13.620 % |
303.89/303.96	c |     87389 |   59064   722550    91593 |  1006090    87389   4234 | 13.621 % |
384.39/384.41	c ===============================================================================
385.39/385.42	c core #138
385.39/385.42	c 
385.39/385.42	c 
385.39/385.42	c Core size: 10774	Core Weight: 1	Total Weight: 161
385.39/385.42	c Current CPU time: 384.345 s
385.39/385.42	c
385.39/385.42	c ============================[ Search Statistics ]==============================
385.39/385.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
385.39/385.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
385.39/385.42	c ===============================================================================
385.39/385.42	c |         0 |   69917   731519   107036 |   243839        0   -nan |  0.000 % |
385.50/385.52	c |       100 |   69917   731519   107036 |   268223      100   1317 | 11.652 % |
385.60/385.64	c |       251 |   69917   731519   107036 |   295045      251    926 | 11.652 % |
385.90/385.94	c |       477 |   69917   731519   107036 |   324550      477    609 | 11.652 % |
386.50/386.51	c |       815 |   69917   731519   107036 |   357005      815    673 | 11.652 % |
387.30/387.33	c |      1321 |   69917   731519   107036 |   392706     1321    624 | 11.652 % |
388.10/388.18	c |      2081 |   69917   731519   107036 |   431976     2081    597 | 11.652 % |
390.10/390.14	c |      3221 |   69917   731519   107036 |   475174     3221   1134 | 11.652 % |
392.80/392.86	c |      4932 |   69917   731519   107036 |   522691     4932   1420 | 11.652 % |
396.30/396.36	c |      7494 |   69917   731519   107036 |   574961     7494   1264 | 11.652 % |
405.30/405.34	c |     11339 |   69916   731519   107036 |   632457    11339   1463 | 11.653 % |
413.99/414.01	c |     17106 |   69916   731519   107036 |   695703    17106   1319 | 11.653 % |
428.69/428.80	c |     25755 |   69916   731519   107036 |   765273    25755   1343 | 11.653 % |
456.51/456.58	c |     38730 |   69916   731519   107036 |   841800    38730   1499 | 11.653 % |
506.30/506.39	c |     58193 |   69916   731519   107036 |   925980    58193   1935 | 11.653 % |
581.70/581.79	c |     87387 |   69916   731519   107036 |  1018578    87387   2044 | 11.653 % |
703.92/704.01	c |    131176 |   69916   731519   107036 |  1120436   131176   2400 | 11.653 % |
971.81/971.89	c |    196860 |   69916   731519   107036 |  1232480   196860   2832 | 11.653 % |
1431.04/1431.05	c |    295386 |   69916   731519   107036 |  1355728   295386   3195 | 11.653 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3460846-1307077985/watcher-3460846-1307077985 -o /tmp/evaluation-result-3460846-1307077985/solver-3460846-1307077985 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460846-1307077985.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 2/400 25175
/proc/meminfo: memFree=29186788/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=21596 CPUtime=0.01 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 924 0 0 0 1 0 0 0 25 0 1 0 819398311 22114304 877 33554432000 4194304 5714214 140735119539040 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 5399 877 202 372 0 816 0

[startup+0.030403 s]
/proc/loadavg: 2.00 2.01 2.00 2/400 25175
/proc/meminfo: memFree=29186788/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=22576 CPUtime=0.02 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 1228 0 0 0 2 0 0 0 25 0 1 0 819398311 23117824 1181 33554432000 4194304 5714214 140735119539040 18446744073709551615 4915664 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 5644 1181 266 372 0 1061 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22576

[startup+0.100457 s]
/proc/loadavg: 2.00 2.01 2.00 2/400 25175
/proc/meminfo: memFree=29186788/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=25948 CPUtime=0.09 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 2351 0 0 0 9 0 0 0 25 0 1 0 819398311 26570752 2271 33554432000 4194304 5714214 140735119539040 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 6487 2271 527 372 0 1904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25948

[startup+0.30042 s]
/proc/loadavg: 2.00 2.01 2.00 2/400 25175
/proc/meminfo: memFree=29186788/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=36040 CPUtime=0.29 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 5678 0 0 0 29 0 0 0 25 0 1 0 819398311 36904960 5404 33554432000 4194304 5714214 140735119539040 18446744073709551615 5200977 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 9010 5406 1260 372 0 4427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36040

[startup+0.700348 s]
/proc/loadavg: 2.00 2.01 2.00 2/400 25175
/proc/meminfo: memFree=29186788/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=54796 CPUtime=0.69 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 12013 0 0 0 68 1 0 0 25 0 1 0 819398311 56111104 11482 33554432000 4194304 5714214 140735119539040 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 13699 11483 2731 372 0 9116 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54796

[startup+1.50121 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 25176
/proc/meminfo: memFree=29135196/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=162264 CPUtime=1.49 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 44690 0 0 0 145 4 0 0 25 0 1 0 819398311 166158336 39438 33554432000 4194304 5714214 140735119539040 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 40566 39444 172 372 0 40191 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 162264

[startup+3.10093 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 25176
/proc/meminfo: memFree=29007352/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=178336 CPUtime=3.09 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 50961 0 0 0 304 5 0 0 25 0 1 0 819398311 182616064 42964 33554432000 4194304 5714214 140735119539040 18446744073709551615 4355979 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 44584 42964 175 372 0 44209 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 178336

[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 25176
/proc/meminfo: memFree=28997888/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=178336 CPUtime=6.29 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 50969 0 0 0 624 5 0 0 25 0 1 0 819398311 182616064 42972 33554432000 4194304 5714214 140735119539040 18446744073709551615 4355903 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 44584 42972 175 372 0 44209 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 178336

[startup+12.7012 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 25176
/proc/meminfo: memFree=28971248/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=178336 CPUtime=12.69 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 50987 0 0 0 1264 5 0 0 25 0 1 0 819398311 182616064 42990 33554432000 4194304 5714214 140735119539040 18446744073709551615 4355644 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 44584 42990 175 372 0 44209 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 178336

[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 25177
/proc/meminfo: memFree=28886916/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=204056 CPUtime=25.5 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 60514 0 0 0 2542 8 0 0 25 0 1 0 819398311 208953344 49761 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 51014 49761 180 372 0 50639 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 204056

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 25177
/proc/meminfo: memFree=28693996/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=284496 CPUtime=51.09 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 79989 0 0 0 5096 13 0 0 25 0 1 0 819398311 291323904 69236 33554432000 4194304 5714214 140735119539040 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 71124 69236 180 372 0 70749 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 284496

[startup+102.315 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 25179
/proc/meminfo: memFree=28197780/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=557720 CPUtime=102.3 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 148945 0 0 0 10204 26 0 0 25 0 1 0 819398311 571105280 138192 33554432000 4194304 5714214 140735119539040 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 139430 138192 180 372 0 139055 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 557720

[startup+162.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/401 25180
/proc/meminfo: memFree=27565368/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=919144 CPUtime=162.29 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 239288 0 0 0 16189 40 0 0 25 0 1 0 819398311 941203456 228535 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 229786 228535 180 372 0 229411 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 919144

[startup+222.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/401 25182
/proc/meminfo: memFree=27019216/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=1221204 CPUtime=222.29 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 314745 0 0 0 22178 51 0 0 25 0 1 0 819398311 1250512896 303992 33554432000 4194304 5714214 140735119539040 18446744073709551615 4323084 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 305301 303992 180 372 0 304926 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1221204

[startup+282.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/401 25184
/proc/meminfo: memFree=26465524/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=1526712 CPUtime=282.3 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 391130 0 0 0 28166 64 0 0 25 0 1 0 819398311 1563353088 380377 33554432000 4194304 5714214 140735119539040 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 381678 380377 180 372 0 381303 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1526712

[startup+342.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 25185
/proc/meminfo: memFree=25996004/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=1784664 CPUtime=342.3 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 455528 0 0 0 34156 74 0 0 25 0 1 0 819398311 1827495936 444775 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 446166 444775 180 372 0 445791 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1784664

[startup+402.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 25187
/proc/meminfo: memFree=25522420/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=2007832 CPUtime=402.3 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 510274 0 0 0 40145 85 0 0 25 0 1 0 819398311 2056019968 499521 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 501958 499521 180 372 0 501583 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2007832

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 25188
/proc/meminfo: memFree=25323492/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=2007832 CPUtime=462.3 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 510917 0 0 0 46141 89 0 0 25 0 1 0 819398311 2056019968 500164 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 501958 500164 180 372 0 501583 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2007832

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 25190
/proc/meminfo: memFree=25142616/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=2007832 CPUtime=522.3 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 510919 0 0 0 52137 93 0 0 25 0 1 0 819398311 2056019968 500166 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319922 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 501958 500166 180 372 0 501583 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2007832

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 25192
/proc/meminfo: memFree=24973584/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=2007832 CPUtime=582.3 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 510923 0 0 0 58133 97 0 0 25 0 1 0 819398311 2056019968 500170 33554432000 4194304 5714214 140735119539040 18446744073709551615 4329487 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 501958 500170 180 372 0 501583 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2007832

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/401 25200
/proc/meminfo: memFree=24037776/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=2105244 CPUtime=882.31 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 535447 0 0 0 88113 118 0 0 25 0 1 0 819398311 2155769856 524694 33554432000 4194304 5714214 140735119539040 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 526311 524694 180 372 0 525936 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2105244

[startup+942.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 25201
/proc/meminfo: memFree=23687556/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=2304928 CPUtime=942.31 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 585339 0 0 0 94104 127 0 0 25 0 1 0 819398311 2360246272 574586 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 576232 574586 180 372 0 575857 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2304928

[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/401 25203
/proc/meminfo: memFree=23399716/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=2448744 CPUtime=1002.31 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 621225 0 0 0 100094 137 0 0 25 0 1 0 819398311 2507513856 610472 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 612186 610472 180 372 0 611811 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2448744

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 25204
/proc/meminfo: memFree=22980084/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=2694772 CPUtime=1062.32 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 682555 0 0 0 106085 147 0 0 25 0 1 0 819398311 2759446528 671802 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 673693 671802 180 372 0 673318 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2694772

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 25206
/proc/meminfo: memFree=22571732/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=2924832 CPUtime=1122.31 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 740078 0 0 0 112075 156 0 0 25 0 1 0 819398311 2995027968 729325 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 731208 729325 180 372 0 730833 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2924832

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 25208
/proc/meminfo: memFree=22213224/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=3135876 CPUtime=1182.32 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 792824 0 0 0 118064 168 0 0 25 0 1 0 819398311 3211137024 782071 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 783969 782071 180 372 0 783594 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3135876

[startup+1242.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/401 25209
/proc/meminfo: memFree=21828300/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=3352924 CPUtime=1242.32 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 847095 0 0 0 124054 178 0 0 25 0 1 0 819398311 3433394176 836342 33554432000 4194304 5714214 140735119539040 18446744073709551615 4312984 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 838231 836342 180 372 0 837856 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3352924

[startup+1302.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/401 25211
/proc/meminfo: memFree=21481576/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=3543292 CPUtime=1302.33 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 894690 0 0 0 130044 189 0 0 25 0 1 0 819398311 3628331008 883937 33554432000 4194304 5714214 140735119539040 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 885823 883937 180 372 0 885448 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3543292

[startup+1362.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/401 25212
/proc/meminfo: memFree=21186064/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=3704512 CPUtime=1362.32 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 935003 0 0 0 136033 199 0 0 25 0 1 0 819398311 3793420288 924250 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 926128 924250 180 372 0 925753 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3704512

[startup+1422.32 s]
/proc/loadavg: 2.12 2.06 2.01 3/401 25214
/proc/meminfo: memFree=20858312/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=3877888 CPUtime=1422.34 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 978386 0 0 0 142025 209 0 0 25 0 1 0 819398311 3970957312 967633 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 969472 967633 180 372 0 969097 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3877888

[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/401 25216
/proc/meminfo: memFree=20593304/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=4039056 CPUtime=1482.32 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 1018653 0 0 0 148016 216 0 0 25 0 1 0 819398311 4135993344 1007900 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 1009764 1007900 180 372 0 1009389 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 4039056

[startup+1542.3 s]
/proc/loadavg: 1.94 2.02 2.00 3/401 25245
/proc/meminfo: memFree=25953700/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=4211416 CPUtime=1542.32 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 1061468 0 0 0 154007 225 0 0 25 0 1 0 819398311 4312489984 1050715 33554432000 4194304 5714214 140735119539040 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 1052854 1050715 180 372 0 1052479 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 4211416

[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/401 25247
/proc/meminfo: memFree=25783040/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=4340032 CPUtime=1602.33 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 1093589 0 0 0 160000 233 0 0 25 0 1 0 819398311 4444192768 1082836 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 1085008 1082836 180 372 0 1084633 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 4340032

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 25248
/proc/meminfo: memFree=25608260/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=4451284 CPUtime=1662.33 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 1121378 0 0 0 165993 240 0 0 25 0 1 0 819398311 4558114816 1110625 33554432000 4194304 5714214 140735119539040 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 1112821 1110625 180 372 0 1112446 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 4451284

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 25250
/proc/meminfo: memFree=25422860/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=4601780 CPUtime=1722.33 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 1159020 0 0 0 171985 248 0 0 25 0 1 0 819398311 4712222720 1148267 33554432000 4194304 5714214 140735119539040 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 1150445 1148267 180 372 0 1150070 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 4601780

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 25252
/proc/meminfo: memFree=25245888/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=4734548 CPUtime=1782.33 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 1192185 0 0 0 177978 255 0 0 25 0 1 0 819398311 4848177152 1181432 33554432000 4194304 5714214 140735119539040 18446744073709551615 4314378 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 1183637 1181432 180 372 0 1183262 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 4734548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 25252
/proc/meminfo: memFree=25183132/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=4781092 CPUtime=1800.05 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4202496 1203838 0 0 0 179747 258 0 0 25 0 1 0 819398311 4895838208 1193085 33554432000 4194304 5714214 140735119539040 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/25175/statm: 1195273 1193085 180 372 0 1194898 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 4781092

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

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

[startup+1800.11 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 25252
/proc/meminfo: memFree=25183132/32950904 swapFree=56615552/67111528
[pid=25175] ppid=25173 vsize=0 CPUtime=1800.15 cores=0,2,4,6
/proc/25175/stat : 25175 (wbo1.6) R 25173 25175 19672 0 -1 4203524 1203847 0 0 0 179747 268 0 0 25 0 1 0 819398311 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0
/proc/25175/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.2
CPU time (s): 1800.24
CPU user time (s): 1797.47
CPU system time (s): 2.76858
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4781092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.47
system time used= 2.76858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1203847
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 1719

runsolver used 7.09692 second user time and 15.8386 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-03 07:13:06
IDJOB=3460846
IDBENCH=1970
IDSOLVER=1953
FILE ID=node121/3460846-1307077985
RUNJOBID= node121-1307065826-20255
PBS_JOBID= 13497865
Free space on /tmp= 73916 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460846-1307077985/watcher-3460846-1307077985 -o /tmp/evaluation-result-3460846-1307077985/solver-3460846-1307077985 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460846-1307077985.opb

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

MD5SUM BENCH= 5f836d1b8d150c1925229546ed283812
RANDOM SEED=988383212

node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      29187068 kB
Buffers:        264468 kB
Cached:         405392 kB
SwapCached:       9896 kB
Active:        3146496 kB
Inactive:       357088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      29187068 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:           20956 kB
Writeback:           4 kB
AnonPages:     2830836 kB
Mapped:          13872 kB
Slab:           139888 kB
PageTables:      54040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 84523560 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73928 MiB
End job on node121 at 2011-06-03 07:43:08