Trace number 3460848

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.3 1800.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
MD5SUM093efae700664f798191c0b27cec34af
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark736
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 447
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 494527
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 494527
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-3460848-1307078022.opb.
0.00/0.00	c Instance file HOME/instance-3460848-1307078022.opb
0.00/0.00	c File size is 17233660 bytes.
1.19/1.26	c Highest Coefficient sum: 101
1.19/1.26	c ============================[ Problem Statistics ]=============================
1.19/1.26	c |                                                                             |
1.19/1.26	c |  Parsing time:          1.24         s                                      |
1.19/1.26	c |  Number Variables:      10000                                               |
1.19/1.26	c |  Number Clauses:        656900                                              |
1.19/1.26	c |  Number Cardinality:    0                                                   |
1.19/1.26	c |  Number PB Constraints: 0                                                   |
1.49/1.58	c ============================[ Search Statistics ]==============================
1.49/1.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.49/1.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.49/1.58	c ===============================================================================
1.49/1.58	c |         0 |   10000   656900  1333400 |   218966        0   -nan |  0.000 % |
8.49/8.57	c core #1
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 1
8.49/8.57	c Current CPU time: 1.70874 s
8.49/8.57	c
8.49/8.57	c core #2
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 2
8.49/8.57	c Current CPU time: 1.86871 s
8.49/8.57	c
8.49/8.57	c core #3
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 3
8.49/8.57	c Current CPU time: 2.03369 s
8.49/8.57	c
8.49/8.57	c core #4
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 4
8.49/8.57	c Current CPU time: 2.18767 s
8.49/8.57	c
8.49/8.57	c core #5
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 5
8.49/8.57	c Current CPU time: 2.35064 s
8.49/8.57	c
8.49/8.57	c core #6
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 6
8.49/8.57	c Current CPU time: 2.50262 s
8.49/8.57	c
8.49/8.57	c core #7
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 7
8.49/8.57	c Current CPU time: 2.66659 s
8.49/8.57	c
8.49/8.57	c core #8
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 8
8.49/8.57	c Current CPU time: 2.81957 s
8.49/8.57	c
8.49/8.57	c core #9
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 9
8.49/8.57	c Current CPU time: 2.98155 s
8.49/8.57	c
8.49/8.57	c core #10
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 10
8.49/8.57	c Current CPU time: 3.13452 s
8.49/8.57	c
8.49/8.57	c core #11
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 11
8.49/8.57	c Current CPU time: 3.3005 s
8.49/8.57	c
8.49/8.57	c core #12
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 12
8.49/8.57	c Current CPU time: 3.45847 s
8.49/8.57	c
8.49/8.57	c core #13
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 301	Core Weight: 1	Total Weight: 13
8.49/8.57	c Current CPU time: 3.62645 s
8.49/8.57	c
8.49/8.57	c core #14
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 3	Total Weight: 16
8.49/8.57	c Current CPU time: 3.78242 s
8.49/8.57	c
8.49/8.57	c core #15
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 17
8.49/8.57	c Current CPU time: 3.9514 s
8.49/8.57	c
8.49/8.57	c core #16
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 18
8.49/8.57	c Current CPU time: 4.10938 s
8.49/8.57	c
8.49/8.57	c core #17
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 19
8.49/8.57	c Current CPU time: 4.28035 s
8.49/8.57	c
8.49/8.57	c core #18
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 20
8.49/8.57	c Current CPU time: 4.43633 s
8.49/8.57	c
8.49/8.57	c core #19
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 21
8.49/8.57	c Current CPU time: 4.6053 s
8.49/8.57	c
8.49/8.57	c core #20
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 22
8.49/8.57	c Current CPU time: 4.76628 s
8.49/8.57	c
8.49/8.57	c core #21
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 23
8.49/8.57	c Current CPU time: 4.93425 s
8.49/8.57	c
8.49/8.57	c core #22
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 201	Core Weight: 1	Total Weight: 24
8.49/8.57	c Current CPU time: 5.09323 s
8.49/8.57	c
8.49/8.57	c core #23
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 25
8.49/8.57	c Current CPU time: 5.2572 s
8.49/8.57	c
8.49/8.57	c core #24
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 26
8.49/8.57	c Current CPU time: 5.41618 s
8.49/8.57	c
8.49/8.57	c core #25
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 27
8.49/8.57	c Current CPU time: 5.58315 s
8.49/8.57	c
8.49/8.57	c core #26
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 28
8.49/8.57	c Current CPU time: 5.74313 s
8.49/8.57	c
8.49/8.57	c core #27
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 2	Total Weight: 30
8.49/8.57	c Current CPU time: 5.9131 s
8.49/8.57	c
8.49/8.57	c core #28
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 201	Core Weight: 1	Total Weight: 31
8.49/8.57	c Current CPU time: 6.07008 s
8.49/8.57	c
8.49/8.57	c core #29
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 6	Total Weight: 37
8.49/8.57	c Current CPU time: 6.23605 s
8.49/8.57	c
8.49/8.57	c core #30
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 38
8.49/8.57	c Current CPU time: 6.39803 s
8.49/8.57	c
8.49/8.57	c core #31
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 39
8.49/8.57	c Current CPU time: 6.569 s
8.49/8.57	c
8.49/8.57	c core #32
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 2	Total Weight: 41
8.49/8.57	c Current CPU time: 6.72898 s
8.49/8.57	c
8.49/8.57	c core #33
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 42
8.49/8.57	c Current CPU time: 6.89995 s
8.49/8.57	c
8.49/8.57	c core #34
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 43
8.49/8.57	c Current CPU time: 7.05893 s
8.49/8.57	c
8.49/8.57	c core #35
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 44
8.49/8.57	c Current CPU time: 7.2249 s
8.49/8.57	c
8.49/8.57	c core #36
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 45
8.49/8.57	c Current CPU time: 7.38088 s
8.49/8.57	c
8.49/8.57	c core #37
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 46
8.49/8.57	c Current CPU time: 7.54485 s
8.49/8.57	c
8.49/8.57	c core #38
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 47
8.49/8.57	c Current CPU time: 7.69983 s
8.49/8.57	c
8.49/8.57	c core #39
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 48
8.49/8.57	c Current CPU time: 7.8648 s
8.49/8.57	c
8.49/8.57	c core #40
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 49
8.49/8.57	c Current CPU time: 8.02078 s
8.49/8.57	c
8.49/8.57	c core #41
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 50
8.49/8.57	c Current CPU time: 8.18475 s
8.49/8.57	c
8.49/8.57	c core #42
8.49/8.57	c 
8.49/8.57	c 
8.49/8.57	c Core size: 101	Core Weight: 1	Total Weight: 51
8.49/8.57	c Current CPU time: 8.34373 s
8.49/8.57	c
8.49/8.57	c core #43
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 52
15.30/15.40	c Current CPU time: 8.5137 s
15.30/15.40	c
15.30/15.40	c core #44
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 53
15.30/15.40	c Current CPU time: 8.67368 s
15.30/15.40	c
15.30/15.40	c core #45
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 54
15.30/15.40	c Current CPU time: 8.84266 s
15.30/15.40	c
15.30/15.40	c core #46
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 2	Total Weight: 56
15.30/15.40	c Current CPU time: 9.00363 s
15.30/15.40	c
15.30/15.40	c core #47
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 57
15.30/15.40	c Current CPU time: 9.1716 s
15.30/15.40	c
15.30/15.40	c core #48
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 58
15.30/15.40	c Current CPU time: 9.33058 s
15.30/15.40	c
15.30/15.40	c core #49
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 59
15.30/15.40	c Current CPU time: 9.50056 s
15.30/15.40	c
15.30/15.40	c core #50
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 60
15.30/15.40	c Current CPU time: 9.66253 s
15.30/15.40	c
15.30/15.40	c core #51
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 61
15.30/15.40	c Current CPU time: 9.8345 s
15.30/15.40	c
15.30/15.40	c core #52
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 62
15.30/15.40	c Current CPU time: 9.99448 s
15.30/15.40	c
15.30/15.40	c core #53
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 1101	Core Weight: 1	Total Weight: 63
15.30/15.40	c Current CPU time: 10.1645 s
15.30/15.40	c
15.30/15.40	c core #54
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 64
15.30/15.40	c Current CPU time: 10.3284 s
15.30/15.40	c
15.30/15.40	c core #55
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 65
15.30/15.40	c Current CPU time: 10.4994 s
15.30/15.40	c
15.30/15.40	c core #56
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 66
15.30/15.40	c Current CPU time: 10.6634 s
15.30/15.40	c
15.30/15.40	c core #57
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 67
15.30/15.40	c Current CPU time: 10.8324 s
15.30/15.40	c
15.30/15.40	c core #58
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 68
15.30/15.40	c Current CPU time: 10.9943 s
15.30/15.40	c
15.30/15.40	c core #59
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 3	Total Weight: 71
15.30/15.40	c Current CPU time: 11.1643 s
15.30/15.40	c
15.30/15.40	c core #60
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 72
15.30/15.40	c Current CPU time: 11.3233 s
15.30/15.40	c
15.30/15.40	c core #61
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 73
15.30/15.40	c Current CPU time: 11.4963 s
15.30/15.40	c
15.30/15.40	c core #62
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 74
15.30/15.40	c Current CPU time: 11.6592 s
15.30/15.40	c
15.30/15.40	c core #63
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 501	Core Weight: 1	Total Weight: 75
15.30/15.40	c Current CPU time: 11.8342 s
15.30/15.40	c
15.30/15.40	c core #64
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 76
15.30/15.40	c Current CPU time: 11.9952 s
15.30/15.40	c
15.30/15.40	c core #65
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 77
15.30/15.40	c Current CPU time: 12.1652 s
15.30/15.40	c
15.30/15.40	c core #66
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 78
15.30/15.40	c Current CPU time: 12.3271 s
15.30/15.40	c
15.30/15.40	c core #67
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 79
15.30/15.40	c Current CPU time: 12.5011 s
15.30/15.40	c
15.30/15.40	c core #68
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 80
15.30/15.40	c Current CPU time: 12.6651 s
15.30/15.40	c
15.30/15.40	c core #69
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 81
15.30/15.40	c Current CPU time: 12.838 s
15.30/15.40	c
15.30/15.40	c core #70
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 1101	Core Weight: 1	Total Weight: 82
15.30/15.40	c Current CPU time: 13.009 s
15.30/15.40	c
15.30/15.40	c core #71
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 83
15.30/15.40	c Current CPU time: 13.185 s
15.30/15.40	c
15.30/15.40	c core #72
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 84
15.30/15.40	c Current CPU time: 13.345 s
15.30/15.40	c
15.30/15.40	c core #73
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 85
15.30/15.40	c Current CPU time: 13.5169 s
15.30/15.40	c
15.30/15.40	c core #74
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 86
15.30/15.40	c Current CPU time: 13.6799 s
15.30/15.40	c
15.30/15.40	c core #75
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 2	Total Weight: 88
15.30/15.40	c Current CPU time: 13.8529 s
15.30/15.40	c
15.30/15.40	c core #76
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 89
15.30/15.40	c Current CPU time: 14.0119 s
15.30/15.40	c
15.30/15.40	c core #77
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 90
15.30/15.40	c Current CPU time: 14.1798 s
15.30/15.40	c
15.30/15.40	c core #78
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 201	Core Weight: 1	Total Weight: 91
15.30/15.40	c Current CPU time: 14.3408 s
15.30/15.40	c
15.30/15.40	c core #79
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 92
15.30/15.40	c Current CPU time: 14.5108 s
15.30/15.40	c
15.30/15.40	c core #80
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 301	Core Weight: 1	Total Weight: 93
15.30/15.40	c Current CPU time: 14.6728 s
15.30/15.40	c
15.30/15.40	c core #81
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 94
15.30/15.40	c Current CPU time: 14.8437 s
15.30/15.40	c
15.30/15.40	c core #82
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 95
15.30/15.40	c Current CPU time: 15.0087 s
15.30/15.40	c
15.30/15.40	c core #83
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 1	Total Weight: 96
15.30/15.40	c Current CPU time: 15.1837 s
15.30/15.40	c
15.30/15.40	c core #84
15.30/15.40	c 
15.30/15.40	c 
15.30/15.40	c Core size: 101	Core Weight: 2	Total Weight: 98
15.30/15.40	c Current CPU time: 15.3457 s
22.69/22.77	c
22.69/22.77	c core #85
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 2	Total Weight: 100
22.69/22.77	c Current CPU time: 15.5186 s
22.69/22.77	c
22.69/22.77	c core #86
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 101
22.69/22.77	c Current CPU time: 15.6846 s
22.69/22.77	c
22.69/22.77	c core #87
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 102
22.69/22.77	c Current CPU time: 15.8606 s
22.69/22.77	c
22.69/22.77	c core #88
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 103
22.69/22.77	c Current CPU time: 16.0276 s
22.69/22.77	c
22.69/22.77	c core #89
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 4	Total Weight: 107
22.69/22.77	c Current CPU time: 16.1975 s
22.69/22.77	c
22.69/22.77	c core #90
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 108
22.69/22.77	c Current CPU time: 16.3645 s
22.69/22.77	c
22.69/22.77	c core #91
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 2	Total Weight: 110
22.69/22.77	c Current CPU time: 16.5415 s
22.69/22.77	c
22.69/22.77	c core #92
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 111
22.69/22.77	c Current CPU time: 16.7095 s
22.69/22.77	c
22.69/22.77	c core #93
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 112
22.69/22.77	c Current CPU time: 16.8834 s
22.69/22.77	c
22.69/22.77	c core #94
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 201	Core Weight: 1	Total Weight: 113
22.69/22.77	c Current CPU time: 17.0494 s
22.69/22.77	c
22.69/22.77	c core #95
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 401	Core Weight: 1	Total Weight: 114
22.69/22.77	c Current CPU time: 17.2254 s
22.69/22.77	c
22.69/22.77	c core #96
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 115
22.69/22.77	c Current CPU time: 17.3884 s
22.69/22.77	c
22.69/22.77	c core #97
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 1001	Core Weight: 1	Total Weight: 116
22.69/22.77	c Current CPU time: 17.5683 s
22.69/22.77	c
22.69/22.77	c core #98
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 2	Total Weight: 118
22.69/22.77	c Current CPU time: 17.7383 s
22.69/22.77	c
22.69/22.77	c core #99
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 119
22.69/22.77	c Current CPU time: 17.9173 s
22.69/22.77	c
22.69/22.77	c core #100
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 120
22.69/22.77	c Current CPU time: 18.0843 s
22.69/22.77	c
22.69/22.77	c core #101
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 1901	Core Weight: 1	Total Weight: 121
22.69/22.77	c Current CPU time: 18.2662 s
22.69/22.77	c
22.69/22.77	c core #102
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 122
22.69/22.77	c Current CPU time: 18.4402 s
22.69/22.77	c
22.69/22.77	c core #103
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 123
22.69/22.77	c Current CPU time: 18.6192 s
22.69/22.77	c
22.69/22.77	c core #104
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 124
22.69/22.77	c Current CPU time: 18.7891 s
22.69/22.77	c
22.69/22.77	c core #105
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 125
22.69/22.77	c Current CPU time: 18.9661 s
22.69/22.77	c
22.69/22.77	c core #106
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 6	Total Weight: 131
22.69/22.77	c Current CPU time: 19.1381 s
22.69/22.77	c
22.69/22.77	c core #107
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 132
22.69/22.77	c Current CPU time: 19.3151 s
22.69/22.77	c
22.69/22.77	c core #108
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 133
22.69/22.77	c Current CPU time: 19.484 s
22.69/22.77	c
22.69/22.77	c core #109
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 134
22.69/22.77	c Current CPU time: 19.667 s
22.69/22.77	c
22.69/22.77	c core #110
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 201	Core Weight: 2	Total Weight: 136
22.69/22.77	c Current CPU time: 19.839 s
22.69/22.77	c
22.69/22.77	c core #111
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 2	Total Weight: 138
22.69/22.77	c Current CPU time: 20.018 s
22.69/22.77	c
22.69/22.77	c core #112
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 139
22.69/22.77	c Current CPU time: 20.1849 s
22.69/22.77	c
22.69/22.77	c core #113
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 140
22.69/22.77	c Current CPU time: 20.3599 s
22.69/22.77	c
22.69/22.77	c core #114
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 200	Core Weight: 1	Total Weight: 141
22.69/22.77	c Current CPU time: 20.5269 s
22.69/22.77	c
22.69/22.77	c core #115
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 1361	Core Weight: 1	Total Weight: 142
22.69/22.77	c Current CPU time: 20.7188 s
22.69/22.77	c
22.69/22.77	c core #116
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 201	Core Weight: 2	Total Weight: 144
22.69/22.77	c Current CPU time: 20.8918 s
22.69/22.77	c
22.69/22.77	c core #117
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 1649	Core Weight: 1	Total Weight: 145
22.69/22.77	c Current CPU time: 21.0778 s
22.69/22.77	c
22.69/22.77	c core #118
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 1259	Core Weight: 1	Total Weight: 146
22.69/22.77	c Current CPU time: 21.2558 s
22.69/22.77	c
22.69/22.77	c core #119
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 200	Core Weight: 1	Total Weight: 147
22.69/22.77	c Current CPU time: 21.4387 s
22.69/22.77	c
22.69/22.77	c core #120
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 3	Total Weight: 150
22.69/22.77	c Current CPU time: 21.6167 s
22.69/22.77	c
22.69/22.77	c core #121
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 497	Core Weight: 1	Total Weight: 151
22.69/22.77	c Current CPU time: 21.7987 s
22.69/22.77	c
22.69/22.77	c core #122
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 4	Total Weight: 155
22.69/22.77	c Current CPU time: 21.9757 s
22.69/22.77	c
22.69/22.77	c core #123
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 101	Core Weight: 1	Total Weight: 156
22.69/22.77	c Current CPU time: 22.1596 s
22.69/22.77	c
22.69/22.77	c core #124
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 398	Core Weight: 1	Total Weight: 157
22.69/22.77	c Current CPU time: 22.3386 s
22.69/22.77	c
22.69/22.77	c core #125
22.69/22.77	c 
22.69/22.77	c 
22.69/22.77	c Core size: 499	Core Weight: 1	Total Weight: 158
22.69/22.77	c Current CPU time: 22.5266 s
22.69/22.77	c
22.69/22.77	c ============================[ Search Statistics ]==============================
22.69/22.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.69/22.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.69/22.77	c ===============================================================================
22.69/22.77	c |         0 |   23854   690521    46930 |   230173        0   -nan |  0.000 % |
22.69/22.77	c ===============================================================================
22.89/22.96	c core #126
22.89/22.96	c 
22.89/22.96	c 
22.89/22.96	c Core size: 700	Core Weight: 1	Total Weight: 159
22.89/22.96	c Current CPU time: 22.7095 s
22.89/22.96	c
22.89/22.96	c ============================[ Search Statistics ]==============================
22.89/22.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.89/22.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.89/22.96	c ===============================================================================
22.89/22.96	c |         0 |   24881   691194    47839 |   230398        0   -nan |  0.000 % |
22.89/22.97	c ===============================================================================
23.11/23.15	c core #127
23.11/23.15	c 
23.11/23.15	c 
23.11/23.15	c Core size: 692	Core Weight: 1	Total Weight: 160
23.11/23.15	c Current CPU time: 22.9085 s
23.11/23.15	c
23.11/23.15	c ============================[ Search Statistics ]==============================
23.11/23.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
23.11/23.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
23.11/23.15	c ===============================================================================
23.11/23.15	c |         0 |   25568   691857    48682 |   230619        0   -nan |  0.000 % |
23.11/23.19	c ===============================================================================
23.29/23.38	c core #128
23.29/23.38	c 
23.29/23.38	c 
23.29/23.38	c Core size: 2338	Core Weight: 1	Total Weight: 161
23.29/23.38	c Current CPU time: 23.1265 s
23.29/23.38	c
23.29/23.38	c ============================[ Search Statistics ]==============================
23.29/23.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
23.29/23.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
23.29/23.38	c ===============================================================================
23.29/23.38	c |         0 |   27915   694121    51445 |   231373        0   -nan |  0.000 % |
23.39/23.40	c ===============================================================================
23.49/23.58	c core #129
23.49/23.58	c 
23.49/23.58	c 
23.49/23.58	c Core size: 1078	Core Weight: 1	Total Weight: 162
23.49/23.58	c Current CPU time: 23.3375 s
23.49/23.58	c
23.49/23.58	c ============================[ Search Statistics ]==============================
23.49/23.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
23.49/23.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
23.49/23.58	c ===============================================================================
23.49/23.58	c |         0 |   28993   695158    52746 |   231719        0   -nan |  0.000 % |
23.59/23.64	c ===============================================================================
23.79/23.84	c core #130
23.79/23.84	c 
23.79/23.84	c 
23.79/23.84	c Core size: 2722	Core Weight: 1	Total Weight: 163
23.79/23.84	c Current CPU time: 23.5824 s
23.79/23.84	c
23.79/23.84	c ============================[ Search Statistics ]==============================
23.79/23.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
23.79/23.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
23.79/23.84	c ===============================================================================
23.79/23.84	c |         0 |   31739   697736    56288 |   232578        0   -nan |  0.000 % |
23.90/23.90	c ===============================================================================
24.00/24.11	c core #131
24.00/24.11	c 
24.00/24.11	c 
24.00/24.11	c Core size: 2613	Core Weight: 1	Total Weight: 164
24.00/24.11	c Current CPU time: 23.8344 s
24.00/24.11	c
24.00/24.11	c ============================[ Search Statistics ]==============================
24.00/24.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.00/24.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
24.00/24.11	c ===============================================================================
24.00/24.11	c |         0 |   34474   700210    59932 |   233403        0   -nan |  0.000 % |
24.11/24.16	c |       101 |   34474   700210    59932 |   256743      101   1491 | 21.605 % |
24.59/24.65	c ===============================================================================
24.79/24.87	c core #132
24.79/24.87	c 
24.79/24.87	c 
24.79/24.87	c Core size: 6135	Core Weight: 1	Total Weight: 165
24.79/24.87	c Current CPU time: 24.5853 s
24.79/24.87	c
24.79/24.87	c ============================[ Search Statistics ]==============================
24.79/24.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.79/24.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
24.79/24.87	c ===============================================================================
24.79/24.87	c |         0 |   40661   705995    67719 |   235331        0   -nan |  0.000 % |
24.89/24.93	c |       101 |   40661   705995    67719 |   258864      101   1211 | 18.852 % |
25.09/25.11	c |       251 |   40661   705995    67719 |   284751      251   2008 | 18.852 % |
25.20/25.29	c |       480 |   40661   705995    67719 |   313226      480   2008 | 18.852 % |
25.59/25.64	c |       817 |   40658   705995    67719 |   344549      817   2473 | 18.858 % |
26.79/26.87	c ===============================================================================
26.99/27.09	c core #133
26.99/27.09	c 
26.99/27.09	c 
26.99/27.09	c Core size: 9281	Core Weight: 1	Total Weight: 166
26.99/27.09	c Current CPU time: 26.7999 s
26.99/27.09	c
26.99/27.09	c ============================[ Search Statistics ]==============================
26.99/27.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
26.99/27.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
26.99/27.09	c ===============================================================================
26.99/27.09	c |         0 |   50032   714497    80227 |   238165        0   -nan |  0.000 % |
27.09/27.16	c |       100 |   50032   714497    80227 |   261982      100   1295 | 15.751 % |
27.29/27.36	c |       254 |   50032   714497    80227 |   288180      254   1513 | 15.751 % |
27.59/27.60	c |       480 |   50032   714497    80227 |   316998      480   1410 | 15.751 % |
27.89/27.92	c |       819 |   50032   714497    80227 |   348698      819   1183 | 15.751 % |
28.29/28.31	c |      1326 |   50032   714497    80227 |   383568     1326   1099 | 15.751 % |
28.89/28.99	c |      2085 |   50032   714497    80227 |   421925     2085   1136 | 15.751 % |
29.99/30.08	c |      3226 |   50032   714497    80227 |   464117     3226   1221 | 15.751 % |
31.80/31.83	c |      4935 |   50029   714497    80227 |   510529     4935   1674 | 15.756 % |
35.29/35.34	c |      7498 |   50028   714497    80227 |   561582     7498   2328 | 15.758 % |
40.70/40.71	c |     11342 |   50020   714497    80227 |   617740    11342   2711 | 15.771 % |
44.19/44.25	c ===============================================================================
44.50/44.56	c core #134
44.50/44.56	c 
44.50/44.56	c 
44.50/44.56	c Core size: 10565	Core Weight: 1	Total Weight: 167
44.50/44.56	c Current CPU time: 44.1873 s
44.50/44.56	c
44.50/44.56	c ============================[ Search Statistics ]==============================
44.50/44.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.50/44.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
44.50/44.56	c ===============================================================================
44.50/44.56	c |         0 |   60688   723604    95169 |   241201        0   -nan |  0.000 % |
44.59/44.65	c |       100 |   60688   723604    95169 |   265321      100   1556 | 13.231 % |
44.79/44.84	c |       252 |   60688   723604    95169 |   291853      252   1308 | 13.231 % |
45.00/45.10	c |       479 |   60688   723604    95169 |   321038      479    853 | 13.231 % |
45.59/45.66	c |       817 |   60688   723604    95169 |   353142      817    899 | 13.231 % |
46.59/46.61	c |      1327 |   60688   723604    95169 |   388457     1327   1091 | 13.231 % |
47.79/47.86	c |      2087 |   60688   723604    95169 |   427302     2087   1088 | 13.231 % |
49.59/49.61	c |      3228 |   60688   723604    95169 |   470033     3228    958 | 13.231 % |
51.89/51.95	c |      4936 |   60688   723604    95169 |   517036     4936   1082 | 13.231 % |
55.60/55.62	c |      7499 |   60688   723604    95169 |   568740     7499   1193 | 13.231 % |
62.49/62.50	c |     11344 |   60688   723604    95169 |   625614    11344   1310 | 13.231 % |
74.70/74.79	c |     17110 |   60688   723604    95169 |   688175    17110   1490 | 13.231 % |
96.30/96.37	c |     25763 |   60688   723604    95169 |   756993    25763   2078 | 13.231 % |
121.49/121.50	c |     38738 |   60688   723604    95169 |   832692    38738   1965 | 13.231 % |
166.79/166.80	c |     58201 |   60687   723604    95169 |   915961    58201   1988 | 13.232 % |
245.50/245.59	c |     87395 |   60686   723604    95169 |  1007557    87395   2299 | 13.234 % |
391.52/391.51	c |    131184 |   60686   723604    95169 |  1108313   131184   2580 | 13.234 % |
659.41/659.47	c |    196868 |   60686   723604    95169 |  1219144   196868   2794 | 13.234 % |
1116.22/1116.28	c |    295396 |   60686   723604    95169 |  1341059   295396   3003 | 13.234 % |

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-3460848-1307078022/watcher-3460848-1307078022 -o /tmp/evaluation-result-3460848-1307078022/solver-3460848-1307078022 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460848-1307078022.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.03 2.06 3/433 17144
/proc/meminfo: memFree=20923012/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=21456 CPUtime=0 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 908 0 0 0 0 0 0 0 25 0 1 0 819400085 21970944 861 33554432000 4194304 5714214 140734519556784 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 5364 862 199 372 0 781 0

[startup+0.030969 s]
/proc/loadavg: 2.00 2.03 2.06 3/433 17144
/proc/meminfo: memFree=20923012/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=22576 CPUtime=0.02 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1220 0 0 0 2 0 0 0 25 0 1 0 819400085 23117824 1173 33554432000 4194304 5714214 140734519556784 18446744073709551615 4907967 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 5644 1173 261 372 0 1061 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22576

[startup+0.100972 s]
/proc/loadavg: 2.00 2.03 2.06 3/433 17144
/proc/meminfo: memFree=20923012/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=25684 CPUtime=0.09 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 2263 0 0 0 9 0 0 0 25 0 1 0 819400085 26300416 2183 33554432000 4194304 5714214 140734519556784 18446744073709551615 4232592 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 6421 2183 501 372 0 1838 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25684

[startup+0.300972 s]
/proc/loadavg: 2.00 2.03 2.06 3/433 17144
/proc/meminfo: memFree=20923012/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=34720 CPUtime=0.29 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 5202 0 0 0 29 0 0 0 25 0 1 0 819400085 35553280 4928 33554432000 4194304 5714214 140734519556784 18446744073709551615 5136774 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 8680 4929 1168 372 0 4097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34720

[startup+0.700882 s]
/proc/loadavg: 2.00 2.03 2.06 3/433 17144
/proc/meminfo: memFree=20923012/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=52024 CPUtime=0.69 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 10945 0 0 0 68 1 0 0 25 0 1 0 819400085 53272576 10414 33554432000 4194304 5714214 140734519556784 18446744073709551615 4233632 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 13006 10415 2476 372 0 8423 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52024

[startup+1.50071 s]
/proc/loadavg: 2.00 2.03 2.06 3/437 17151
/proc/meminfo: memFree=20831212/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=142444 CPUtime=1.49 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 40057 0 0 0 144 5 0 0 25 0 1 0 819400085 145862656 34805 33554432000 4194304 5714214 140734519556784 18446744073709551615 4207665 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 35611 34805 170 372 0 35236 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 142444

[startup+3.10041 s]
/proc/loadavg: 2.00 2.03 2.06 3/437 17151
/proc/meminfo: memFree=20572424/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=178336 CPUtime=3.09 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 50961 0 0 0 304 5 0 0 25 0 1 0 819400085 182616064 42964 33554432000 4194304 5714214 140734519556784 18446744073709551615 4336814 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 44584 42964 175 372 0 44209 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 178336

[startup+6.30087 s]
/proc/loadavg: 2.00 2.03 2.06 3/437 17151
/proc/meminfo: memFree=20571864/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=178336 CPUtime=6.29 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 50968 0 0 0 624 5 0 0 25 0 1 0 819400085 182616064 42971 33554432000 4194304 5714214 140734519556784 18446744073709551615 4355851 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 44584 42971 175 372 0 44209 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 178336

[startup+12.7007 s]
/proc/loadavg: 2.00 2.03 2.06 3/437 17152
/proc/meminfo: memFree=20570556/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=178336 CPUtime=12.69 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 50984 0 0 0 1264 5 0 0 25 0 1 0 819400085 182616064 42987 33554432000 4194304 5714214 140734519556784 18446744073709551615 4977970 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 44584 42987 175 372 0 44209 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 178336

[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.06 3/437 17152
/proc/meminfo: memFree=20525856/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=200016 CPUtime=25.49 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 60012 0 0 0 2542 7 0 0 18 0 1 0 819400085 204816384 48713 33554432000 4194304 5714214 140734519556784 18446744073709551615 4322937 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 50004 48713 180 372 0 49629 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 200016

[startup+51.1006 s]
/proc/loadavg: 2.00 2.02 2.05 3/437 17153
/proc/meminfo: memFree=20288692/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=363436 CPUtime=51.09 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 101049 0 0 0 5093 16 0 0 25 0 1 0 819400085 372158464 88371 33554432000 4194304 5714214 140734519556784 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 90859 88371 180 372 0 90484 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 363436

[startup+102.316 s]
/proc/loadavg: 2.00 2.02 2.05 3/437 17154
/proc/meminfo: memFree=20032508/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=406696 CPUtime=102.31 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 112586 0 0 0 10210 21 0 0 25 0 1 0 819400085 416456704 99908 33554432000 4194304 5714214 140734519556784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 101674 99908 180 372 0 101299 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 406696

[startup+162.301 s]
/proc/loadavg: 2.09 2.04 2.05 3/437 17156
/proc/meminfo: memFree=19511180/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=607588 CPUtime=162.3 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 162825 0 0 0 16194 36 0 0 25 0 1 0 819400085 622170112 150147 33554432000 4194304 5714214 140734519556784 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 151897 150147 180 372 0 151522 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 607588

[startup+222.301 s]
/proc/loadavg: 2.07 2.05 2.05 3/437 17157
/proc/meminfo: memFree=18961208/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=850472 CPUtime=222.3 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 223509 0 0 0 22184 46 0 0 25 0 1 0 819400085 870883328 210831 33554432000 4194304 5714214 140734519556784 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 212618 210831 180 372 0 212243 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 850472

[startup+282.301 s]
/proc/loadavg: 2.18 2.07 2.06 3/437 17159
/proc/meminfo: memFree=18452628/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=1092560 CPUtime=282.3 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 283986 0 0 0 28170 60 0 0 25 0 1 0 819400085 1118781440 271308 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 273140 271308 180 372 0 272765 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1092560

[startup+342.301 s]
/proc/loadavg: 2.14 2.07 2.06 3/437 17160
/proc/meminfo: memFree=17977572/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=1314420 CPUtime=342.3 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 339473 0 0 0 34160 70 0 0 25 0 1 0 819400085 1345966080 326795 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 328605 326795 180 372 0 328230 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1314420

[startup+402.301 s]
/proc/loadavg: 2.05 2.05 2.05 3/437 17162
/proc/meminfo: memFree=17503452/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=1536860 CPUtime=402.3 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 395088 0 0 0 40148 82 0 0 25 0 1 0 819400085 1573744640 382410 33554432000 4194304 5714214 140734519556784 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 384215 382410 180 372 0 383840 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1536860

[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/437 17164
/proc/meminfo: memFree=17056420/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=1737716 CPUtime=462.3 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 445172 0 0 0 46138 92 0 0 25 0 1 0 819400085 1779421184 432494 33554432000 4194304 5714214 140734519556784 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 434429 432494 180 372 0 434054 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1737716

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/437 17165
/proc/meminfo: memFree=16598332/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=1953128 CPUtime=522.31 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 499031 0 0 0 52129 102 0 0 25 0 1 0 819400085 2000003072 486353 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 488282 486353 180 372 0 487907 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1953128

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/437 17167
/proc/meminfo: memFree=16289152/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=2133644 CPUtime=582.31 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 544176 0 0 0 58119 112 0 0 25 0 1 0 819400085 2184851456 531498 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 533411 531498 180 372 0 533036 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2133644

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.09 2.05 2.03 3/437 17175
/proc/meminfo: memFree=15341632/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=3072444 CPUtime=882.32 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 778733 0 0 0 88070 162 0 0 25 0 1 0 819400085 3146182656 766055 33554432000 4194304 5714214 140734519556784 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 768111 766055 180 372 0 767736 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 3072444

[startup+942.301 s]
/proc/loadavg: 2.03 2.04 2.02 3/437 17176
/proc/meminfo: memFree=15155472/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=3261604 CPUtime=942.32 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 826006 0 0 0 94060 172 0 0 25 0 1 0 819400085 3339882496 813328 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 815401 813328 180 372 0 815026 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 3261604

[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/437 17178
/proc/meminfo: memFree=15008368/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=3405264 CPUtime=1002.32 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 861893 0 0 0 100050 182 0 0 25 0 1 0 819400085 3486990336 849215 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 851316 849215 180 372 0 850941 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 3405264

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/437 17180
/proc/meminfo: memFree=14856440/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=3558580 CPUtime=1062.33 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 900233 0 0 0 106042 191 0 0 25 0 1 0 819400085 3643985920 887555 33554432000 4194304 5714214 140734519556784 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 889645 887555 180 372 0 889270 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 3558580

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/437 17181
/proc/meminfo: memFree=14706128/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=3706732 CPUtime=1122.33 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 937301 0 0 0 112035 198 0 0 25 0 1 0 819400085 3795693568 924623 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 926683 924623 180 372 0 926308 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3706732

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 17183
/proc/meminfo: memFree=14427588/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=3891432 CPUtime=1182.33 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 983475 0 0 0 118027 206 0 0 25 0 1 0 819400085 3984826368 970797 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 972858 970797 180 372 0 972483 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3891432

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 17184
/proc/meminfo: memFree=14069072/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=4068140 CPUtime=1242.34 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1027350 0 0 0 124019 215 0 0 25 0 1 0 819400085 4165775360 1014672 33554432000 4194304 5714214 140734519556784 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 1017035 1014672 180 372 0 1016660 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 4068140

[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/437 17186
/proc/meminfo: memFree=13709168/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=4251792 CPUtime=1302.35 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1073239 0 0 0 130013 222 0 0 25 0 1 0 819400085 4353835008 1060561 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 1062948 1060561 180 372 0 1062573 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 4251792

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/437 17188
/proc/meminfo: memFree=13362440/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=4387436 CPUtime=1362.33 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1107145 0 0 0 136004 229 0 0 25 0 1 0 819400085 4492734464 1094467 33554432000 4194304 5714214 140734519556784 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 1096859 1094467 180 372 0 1096484 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 4387436

[startup+1422.32 s]
/proc/loadavg: 2.05 2.02 2.00 3/437 17189
/proc/meminfo: memFree=13062084/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=4487332 CPUtime=1422.35 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1132130 0 0 0 142000 235 0 0 25 0 1 0 819400085 4595027968 1119452 33554432000 4194304 5714214 140734519556784 18446744073709551615 4311706 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 1121833 1119452 180 372 0 1121458 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 4487332

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/437 17191
/proc/meminfo: memFree=12819508/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=4559792 CPUtime=1482.34 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1150249 0 0 0 147995 239 0 0 25 0 1 0 819400085 4669227008 1137571 33554432000 4194304 5714214 140734519556784 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 1139948 1137571 180 372 0 1139573 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 4559792

[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/437 17192
/proc/meminfo: memFree=12563168/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=4630984 CPUtime=1542.34 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1168034 0 0 0 153991 243 0 0 25 0 1 0 819400085 4742127616 1155356 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 1157746 1155356 180 372 0 1157371 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 4630984

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/437 17194
/proc/meminfo: memFree=12263288/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=4712740 CPUtime=1602.34 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1188487 0 0 0 159987 247 0 0 25 0 1 0 819400085 4825845760 1175809 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 1178185 1175809 180 372 0 1177810 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 4712740

[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/437 17196
/proc/meminfo: memFree=12003608/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=4768184 CPUtime=1662.35 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1202326 0 0 0 165985 250 0 0 25 0 1 0 819400085 4882620416 1189648 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 1192046 1189648 180 372 0 1191671 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 4768184

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/437 17197
/proc/meminfo: memFree=11737956/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=4834832 CPUtime=1722.34 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1218971 0 0 0 171981 253 0 0 25 0 1 0 819400085 4950867968 1206293 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 1208708 1206293 180 372 0 1208333 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 4834832

[startup+1782.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/437 17199
/proc/meminfo: memFree=11526136/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=4895072 CPUtime=1782.35 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1234006 0 0 0 177978 257 0 0 25 0 1 0 819400085 5012553728 1221328 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 1223768 1221328 180 372 0 1223393 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 4895072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.12 2.07 2.01 3/437 17199
/proc/meminfo: memFree=11460648/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=4915160 CPUtime=1800.07 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4202496 1239028 0 0 0 179749 258 0 0 25 0 1 0 819400085 5033123840 1226350 33554432000 4194304 5714214 140734519556784 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17144/statm: 1228790 1226350 180 372 0 1228415 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 4915160

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

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

[startup+1800.2 s]
/proc/loadavg: 2.12 2.07 2.01 3/437 17199
/proc/meminfo: memFree=11460648/32951124 swapFree=60787360/67111528
[pid=17144] ppid=17142 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/17144/stat : 17144 (wbo1.6) R 17142 17144 11639 0 -1 4203524 1239028 0 0 0 179749 276 0 0 25 0 1 0 819400085 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/17144/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.24
CPU time (s): 1800.3
CPU user time (s): 1797.49
CPU system time (s): 2.80557
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 4915160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.49
system time used= 2.80557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1239028
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= 12
involuntary context switches= 2409

runsolver used 8.14976 second user time and 16.6775 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-03 07:13:42
IDJOB=3460848
IDBENCH=1972
IDSOLVER=1953
FILE ID=node135/3460848-1307078022
RUNJOBID= node135-1307074417-16910
PBS_JOBID= 13497851
Free space on /tmp= 73928 MiB

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

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

MD5SUM BENCH= 093efae700664f798191c0b27cec34af
RANDOM SEED=229975099

node135.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.851
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.70
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.851
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	: 5332.83
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.851
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.75
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.851
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	: 6640.14
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.851
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.78
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.851
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.75
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.851
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.74
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20923292 kB
Buffers:        209516 kB
Cached:         457568 kB
SwapCached:       6168 kB
Active:       11386332 kB
Inactive:       383404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20923292 kB
SwapTotal:    67111528 kB
SwapFree:     60787360 kB
Dirty:           35332 kB
Writeback:           0 kB
AnonPages:    11102156 kB
Mapped:          25564 kB
Slab:           125604 kB
PageTables:      65452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 124375896 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73920 MiB
End job on node135 at 2011-06-03 07:43:44