Trace number 3460843

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.34

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb
MD5SUM8eed52e8cea562b1b1ee5bae07565266
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1077
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 478
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 500105
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 500105
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-3460843-1307077852.opb.
0.00/0.00	c Instance file HOME/instance-3460843-1307077852.opb
0.00/0.00	c File size is 17233726 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.44	c ============================[ Search Statistics ]==============================
1.39/1.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.44	c ===============================================================================
1.39/1.44	c |         0 |   10000   656900  1333400 |   218966        0   -nan |  0.000 % |
7.71/7.78	c core #1
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 1
7.71/7.78	c Current CPU time: 1.55076 s
7.71/7.78	c
7.71/7.78	c core #2
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 2
7.71/7.78	c Current CPU time: 1.69374 s
7.71/7.78	c
7.71/7.78	c core #3
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 3
7.71/7.78	c Current CPU time: 1.84272 s
7.71/7.78	c
7.71/7.78	c core #4
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 4
7.71/7.78	c Current CPU time: 1.9837 s
7.71/7.78	c
7.71/7.78	c core #5
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 5
7.71/7.78	c Current CPU time: 2.13267 s
7.71/7.78	c
7.71/7.78	c core #6
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 6
7.71/7.78	c Current CPU time: 2.27265 s
7.71/7.78	c
7.71/7.78	c core #7
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 7
7.71/7.78	c Current CPU time: 2.42363 s
7.71/7.78	c
7.71/7.78	c core #8
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 2	Total Weight: 9
7.71/7.78	c Current CPU time: 2.56461 s
7.71/7.78	c
7.71/7.78	c core #9
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 10
7.71/7.78	c Current CPU time: 2.71459 s
7.71/7.78	c
7.71/7.78	c core #10
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 201	Core Weight: 1	Total Weight: 11
7.71/7.78	c Current CPU time: 2.85757 s
7.71/7.78	c
7.71/7.78	c core #11
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 12
7.71/7.78	c Current CPU time: 3.00654 s
7.71/7.78	c
7.71/7.78	c core #12
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 13
7.71/7.78	c Current CPU time: 3.14752 s
7.71/7.78	c
7.71/7.78	c core #13
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 2	Total Weight: 15
7.71/7.78	c Current CPU time: 3.2965 s
7.71/7.78	c
7.71/7.78	c core #14
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 16
7.71/7.78	c Current CPU time: 3.43748 s
7.71/7.78	c
7.71/7.78	c core #15
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 17
7.71/7.78	c Current CPU time: 3.58945 s
7.71/7.78	c
7.71/7.78	c core #16
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 18
7.71/7.78	c Current CPU time: 3.73243 s
7.71/7.78	c
7.71/7.78	c core #17
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 19
7.71/7.78	c Current CPU time: 3.88141 s
7.71/7.78	c
7.71/7.78	c core #18
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 201	Core Weight: 3	Total Weight: 22
7.71/7.78	c Current CPU time: 4.02239 s
7.71/7.78	c
7.71/7.78	c core #19
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 23
7.71/7.78	c Current CPU time: 4.17237 s
7.71/7.78	c
7.71/7.78	c core #20
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 24
7.71/7.78	c Current CPU time: 4.31434 s
7.71/7.78	c
7.71/7.78	c core #21
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 25
7.71/7.78	c Current CPU time: 4.46432 s
7.71/7.78	c
7.71/7.78	c core #22
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 26
7.71/7.78	c Current CPU time: 4.6083 s
7.71/7.78	c
7.71/7.78	c core #23
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 27
7.71/7.78	c Current CPU time: 4.76328 s
7.71/7.78	c
7.71/7.78	c core #24
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 28
7.71/7.78	c Current CPU time: 4.90825 s
7.71/7.78	c
7.71/7.78	c core #25
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 29
7.71/7.78	c Current CPU time: 5.06023 s
7.71/7.78	c
7.71/7.78	c core #26
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 30
7.71/7.78	c Current CPU time: 5.20321 s
7.71/7.78	c
7.71/7.78	c core #27
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 31
7.71/7.78	c Current CPU time: 5.35518 s
7.71/7.78	c
7.71/7.78	c core #28
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 32
7.71/7.78	c Current CPU time: 5.49816 s
7.71/7.78	c
7.71/7.78	c core #29
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 33
7.71/7.78	c Current CPU time: 5.65314 s
7.71/7.78	c
7.71/7.78	c core #30
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 2	Total Weight: 35
7.71/7.78	c Current CPU time: 5.79612 s
7.71/7.78	c
7.71/7.78	c core #31
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 36
7.71/7.78	c Current CPU time: 5.94909 s
7.71/7.78	c
7.71/7.78	c core #32
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 37
7.71/7.78	c Current CPU time: 6.09307 s
7.71/7.78	c
7.71/7.78	c core #33
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 2	Total Weight: 39
7.71/7.78	c Current CPU time: 6.24405 s
7.71/7.78	c
7.71/7.78	c core #34
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 40
7.71/7.78	c Current CPU time: 6.38803 s
7.71/7.78	c
7.71/7.78	c core #35
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 41
7.71/7.78	c Current CPU time: 6.54 s
7.71/7.78	c
7.71/7.78	c core #36
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 42
7.71/7.78	c Current CPU time: 6.68398 s
7.71/7.78	c
7.71/7.78	c core #37
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 43
7.71/7.78	c Current CPU time: 6.83496 s
7.71/7.78	c
7.71/7.78	c core #38
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 44
7.71/7.78	c Current CPU time: 6.97794 s
7.71/7.78	c
7.71/7.78	c core #39
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 45
7.71/7.78	c Current CPU time: 7.12992 s
7.71/7.78	c
7.71/7.78	c core #40
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 46
7.71/7.78	c Current CPU time: 7.27389 s
7.71/7.78	c
7.71/7.78	c core #41
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 47
7.71/7.78	c Current CPU time: 7.42487 s
7.71/7.78	c
7.71/7.78	c core #42
7.71/7.78	c 
7.71/7.78	c 
7.71/7.78	c Core size: 101	Core Weight: 1	Total Weight: 48
7.71/7.78	c Current CPU time: 7.56785 s
7.71/7.78	c
7.71/7.78	c core #43
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 2	Total Weight: 50
13.89/13.95	c Current CPU time: 7.72083 s
13.89/13.95	c
13.89/13.95	c core #44
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 51
13.89/13.95	c Current CPU time: 7.8648 s
13.89/13.95	c
13.89/13.95	c core #45
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 52
13.89/13.95	c Current CPU time: 8.01578 s
13.89/13.95	c
13.89/13.95	c core #46
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 53
13.89/13.95	c Current CPU time: 8.15976 s
13.89/13.95	c
13.89/13.95	c core #47
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 54
13.89/13.95	c Current CPU time: 8.31374 s
13.89/13.95	c
13.89/13.95	c core #48
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 55
13.89/13.95	c Current CPU time: 8.45871 s
13.89/13.95	c
13.89/13.95	c core #49
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 56
13.89/13.95	c Current CPU time: 8.61069 s
13.89/13.95	c
13.89/13.95	c core #50
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 57
13.89/13.95	c Current CPU time: 8.75367 s
13.89/13.95	c
13.89/13.95	c core #51
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 58
13.89/13.95	c Current CPU time: 8.90765 s
13.89/13.95	c
13.89/13.95	c core #52
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 59
13.89/13.95	c Current CPU time: 9.05462 s
13.89/13.95	c
13.89/13.95	c core #53
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 60
13.89/13.95	c Current CPU time: 9.2056 s
13.89/13.95	c
13.89/13.95	c core #54
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 61
13.89/13.95	c Current CPU time: 9.35158 s
13.89/13.95	c
13.89/13.95	c core #55
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 2	Total Weight: 63
13.89/13.95	c Current CPU time: 9.50356 s
13.89/13.95	c
13.89/13.95	c core #56
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 64
13.89/13.95	c Current CPU time: 9.64953 s
13.89/13.95	c
13.89/13.95	c core #57
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 401	Core Weight: 2	Total Weight: 66
13.89/13.95	c Current CPU time: 9.80151 s
13.89/13.95	c
13.89/13.95	c core #58
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 67
13.89/13.95	c Current CPU time: 9.94449 s
13.89/13.95	c
13.89/13.95	c core #59
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 6	Total Weight: 73
13.89/13.95	c Current CPU time: 10.1005 s
13.89/13.95	c
13.89/13.95	c core #60
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 74
13.89/13.95	c Current CPU time: 10.2464 s
13.89/13.95	c
13.89/13.95	c core #61
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 201	Core Weight: 1	Total Weight: 75
13.89/13.95	c Current CPU time: 10.3984 s
13.89/13.95	c
13.89/13.95	c core #62
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 76
13.89/13.95	c Current CPU time: 10.5424 s
13.89/13.95	c
13.89/13.95	c core #63
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 77
13.89/13.95	c Current CPU time: 10.6964 s
13.89/13.95	c
13.89/13.95	c core #64
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 301	Core Weight: 1	Total Weight: 78
13.89/13.95	c Current CPU time: 10.8454 s
13.89/13.95	c
13.89/13.95	c core #65
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 201	Core Weight: 1	Total Weight: 79
13.89/13.95	c Current CPU time: 10.9993 s
13.89/13.95	c
13.89/13.95	c core #66
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 601	Core Weight: 1	Total Weight: 80
13.89/13.95	c Current CPU time: 11.1463 s
13.89/13.95	c
13.89/13.95	c core #67
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 81
13.89/13.95	c Current CPU time: 11.2993 s
13.89/13.95	c
13.89/13.95	c core #68
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 82
13.89/13.95	c Current CPU time: 11.4453 s
13.89/13.95	c
13.89/13.95	c core #69
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 83
13.89/13.95	c Current CPU time: 11.6002 s
13.89/13.95	c
13.89/13.95	c core #70
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 84
13.89/13.95	c Current CPU time: 11.7472 s
13.89/13.95	c
13.89/13.95	c core #71
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 85
13.89/13.95	c Current CPU time: 11.9012 s
13.89/13.95	c
13.89/13.95	c core #72
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 86
13.89/13.95	c Current CPU time: 12.0492 s
13.89/13.95	c
13.89/13.95	c core #73
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 901	Core Weight: 1	Total Weight: 87
13.89/13.95	c Current CPU time: 12.2071 s
13.89/13.95	c
13.89/13.95	c core #74
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 88
13.89/13.95	c Current CPU time: 12.3551 s
13.89/13.95	c
13.89/13.95	c core #75
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 89
13.89/13.95	c Current CPU time: 12.5101 s
13.89/13.95	c
13.89/13.95	c core #76
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 90
13.89/13.95	c Current CPU time: 12.6571 s
13.89/13.95	c
13.89/13.95	c core #77
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 91
13.89/13.95	c Current CPU time: 12.8151 s
13.89/13.95	c
13.89/13.95	c core #78
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 92
13.89/13.95	c Current CPU time: 12.962 s
13.89/13.95	c
13.89/13.95	c core #79
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 1001	Core Weight: 1	Total Weight: 93
13.89/13.95	c Current CPU time: 13.12 s
13.89/13.95	c
13.89/13.95	c core #80
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 94
13.89/13.95	c Current CPU time: 13.269 s
13.89/13.95	c
13.89/13.95	c core #81
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 95
13.89/13.95	c Current CPU time: 13.427 s
13.89/13.95	c
13.89/13.95	c core #82
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 96
13.89/13.95	c Current CPU time: 13.5759 s
13.89/13.95	c
13.89/13.95	c core #83
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 97
13.89/13.95	c Current CPU time: 13.7349 s
13.89/13.95	c
13.89/13.95	c core #84
13.89/13.95	c 
13.89/13.95	c 
13.89/13.95	c Core size: 101	Core Weight: 1	Total Weight: 98
13.89/13.95	c Current CPU time: 13.8859 s
20.49/20.54	c
20.49/20.54	c core #85
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 99
20.49/20.54	c Current CPU time: 14.0419 s
20.49/20.54	c
20.49/20.54	c core #86
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 301	Core Weight: 1	Total Weight: 100
20.49/20.54	c Current CPU time: 14.1938 s
20.49/20.54	c
20.49/20.54	c core #87
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 101
20.49/20.54	c Current CPU time: 14.3498 s
20.49/20.54	c
20.49/20.54	c core #88
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 102
20.49/20.54	c Current CPU time: 14.4998 s
20.49/20.54	c
20.49/20.54	c core #89
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 103
20.49/20.54	c Current CPU time: 14.6548 s
20.49/20.54	c
20.49/20.54	c core #90
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 104
20.49/20.54	c Current CPU time: 14.8047 s
20.49/20.54	c
20.49/20.54	c core #91
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 105
20.49/20.54	c Current CPU time: 14.9627 s
20.49/20.54	c
20.49/20.54	c core #92
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 106
20.49/20.54	c Current CPU time: 15.1157 s
20.49/20.54	c
20.49/20.54	c core #93
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 107
20.49/20.54	c Current CPU time: 15.2717 s
20.49/20.54	c
20.49/20.54	c core #94
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 108
20.49/20.54	c Current CPU time: 15.4217 s
20.49/20.54	c
20.49/20.54	c core #95
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 2601	Core Weight: 1	Total Weight: 109
20.49/20.54	c Current CPU time: 15.5976 s
20.49/20.54	c
20.49/20.54	c core #96
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 110
20.49/20.54	c Current CPU time: 15.7546 s
20.49/20.54	c
20.49/20.54	c core #97
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 111
20.49/20.54	c Current CPU time: 15.9116 s
20.49/20.54	c
20.49/20.54	c core #98
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 112
20.49/20.54	c Current CPU time: 16.0636 s
20.49/20.54	c
20.49/20.54	c core #99
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 113
20.49/20.54	c Current CPU time: 16.2215 s
20.49/20.54	c
20.49/20.54	c core #100
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 114
20.49/20.54	c Current CPU time: 16.3735 s
20.49/20.54	c
20.49/20.54	c core #101
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 115
20.49/20.54	c Current CPU time: 16.5305 s
20.49/20.54	c
20.49/20.54	c core #102
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 2	Total Weight: 117
20.49/20.54	c Current CPU time: 16.6845 s
20.49/20.54	c
20.49/20.54	c core #103
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 118
20.49/20.54	c Current CPU time: 16.8424 s
20.49/20.54	c
20.49/20.54	c core #104
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 2	Total Weight: 120
20.49/20.54	c Current CPU time: 16.9964 s
20.49/20.54	c
20.49/20.54	c core #105
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 121
20.49/20.54	c Current CPU time: 17.1574 s
20.49/20.54	c
20.49/20.54	c core #106
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 122
20.49/20.54	c Current CPU time: 17.3104 s
20.49/20.54	c
20.49/20.54	c core #107
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 901	Core Weight: 1	Total Weight: 123
20.49/20.54	c Current CPU time: 17.4723 s
20.49/20.54	c
20.49/20.54	c core #108
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 124
20.49/20.54	c Current CPU time: 17.6273 s
20.49/20.54	c
20.49/20.54	c core #109
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 125
20.49/20.54	c Current CPU time: 17.7873 s
20.49/20.54	c
20.49/20.54	c core #110
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 2	Total Weight: 127
20.49/20.54	c Current CPU time: 17.9393 s
20.49/20.54	c
20.49/20.54	c core #111
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 128
20.49/20.54	c Current CPU time: 18.0992 s
20.49/20.54	c
20.49/20.54	c core #112
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 3	Total Weight: 131
20.49/20.54	c Current CPU time: 18.2532 s
20.49/20.54	c
20.49/20.54	c core #113
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 1388	Core Weight: 1	Total Weight: 132
20.49/20.54	c Current CPU time: 18.4212 s
20.49/20.54	c
20.49/20.54	c core #114
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 3405	Core Weight: 1	Total Weight: 133
20.49/20.54	c Current CPU time: 18.6162 s
20.49/20.54	c
20.49/20.54	c core #115
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 4	Total Weight: 137
20.49/20.54	c Current CPU time: 18.7841 s
20.49/20.54	c
20.49/20.54	c core #116
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 138
20.49/20.54	c Current CPU time: 18.9411 s
20.49/20.54	c
20.49/20.54	c core #117
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 691	Core Weight: 1	Total Weight: 139
20.49/20.54	c Current CPU time: 19.1071 s
20.49/20.54	c
20.49/20.54	c core #118
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 2273	Core Weight: 1	Total Weight: 140
20.49/20.54	c Current CPU time: 19.2801 s
20.49/20.54	c
20.49/20.54	c core #119
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 2	Total Weight: 142
20.49/20.54	c Current CPU time: 19.45 s
20.49/20.54	c
20.49/20.54	c core #120
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 1445	Core Weight: 1	Total Weight: 143
20.49/20.54	c Current CPU time: 19.619 s
20.49/20.54	c
20.49/20.54	c core #121
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 1721	Core Weight: 1	Total Weight: 144
20.49/20.54	c Current CPU time: 19.794 s
20.49/20.54	c
20.49/20.54	c core #122
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 101	Core Weight: 1	Total Weight: 145
20.49/20.54	c Current CPU time: 19.958 s
20.49/20.54	c
20.49/20.54	c core #123
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 201	Core Weight: 1	Total Weight: 146
20.49/20.54	c Current CPU time: 20.1229 s
20.49/20.54	c
20.49/20.54	c core #124
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 1918	Core Weight: 1	Total Weight: 147
20.49/20.54	c Current CPU time: 20.2959 s
20.49/20.54	c
20.49/20.54	c core #125
20.49/20.54	c 
20.49/20.54	c 
20.49/20.54	c Core size: 203	Core Weight: 1	Total Weight: 148
20.49/20.54	c Current CPU time: 20.4699 s
20.49/20.54	c
20.69/20.70	c ============================[ Search Statistics ]==============================
20.69/20.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.69/20.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.69/20.70	c ===============================================================================
20.69/20.70	c |         0 |   31407   697589    54723 |   232529        0   -nan |  0.000 % |
20.69/20.71	c ===============================================================================
20.81/20.88	c core #126
20.81/20.88	c 
20.81/20.88	c 
20.81/20.88	c Core size: 402	Core Weight: 1	Total Weight: 149
20.81/20.88	c Current CPU time: 20.6369 s
20.81/20.88	c
20.81/20.88	c ============================[ Search Statistics ]==============================
20.81/20.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.81/20.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.81/20.88	c ===============================================================================
20.81/20.88	c |         0 |   31806   697974    55171 |   232658        0   -nan |  0.000 % |
20.81/20.89	c ===============================================================================
20.99/21.06	c core #127
20.99/21.06	c 
20.99/21.06	c 
20.99/21.06	c Core size: 502	Core Weight: 1	Total Weight: 150
20.99/21.06	c Current CPU time: 20.8168 s
20.99/21.06	c
20.99/21.06	c ============================[ Search Statistics ]==============================
20.99/21.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.99/21.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.99/21.06	c ===============================================================================
20.99/21.06	c |         0 |   32303   698458    55724 |   232819        0   -nan |  0.000 % |
20.99/21.06	c ===============================================================================
21.19/21.25	c core #128
21.19/21.25	c 
21.19/21.25	c 
21.19/21.25	c Core size: 1078	Core Weight: 1	Total Weight: 151
21.19/21.25	c Current CPU time: 20.9948 s
21.19/21.25	c
21.19/21.25	c ============================[ Search Statistics ]==============================
21.19/21.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.19/21.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.19/21.25	c ===============================================================================
21.19/21.25	c |         0 |   33381   699494    57011 |   233164        0   -nan |  0.000 % |
21.19/21.26	c ===============================================================================
21.39/21.43	c core #129
21.39/21.43	c 
21.39/21.43	c 
21.39/21.43	c Core size: 1172	Core Weight: 1	Total Weight: 152
21.39/21.43	c Current CPU time: 21.1888 s
21.39/21.43	c
21.39/21.43	c ============================[ Search Statistics ]==============================
21.39/21.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.39/21.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.39/21.43	c ===============================================================================
21.39/21.43	c |         0 |   34540   700614    58409 |   233538        0   -nan |  0.000 % |
21.49/21.51	c ===============================================================================
21.69/21.70	c core #130
21.69/21.70	c 
21.69/21.70	c 
21.69/21.70	c Core size: 2967	Core Weight: 1	Total Weight: 153
21.69/21.70	c Current CPU time: 21.4377 s
21.69/21.70	c
21.69/21.70	c ============================[ Search Statistics ]==============================
21.69/21.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.69/21.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.69/21.70	c ===============================================================================
21.69/21.70	c |         0 |   37528   703469    61998 |   234489        0   -nan |  0.000 % |
21.69/21.78	c ===============================================================================
21.91/21.96	c core #131
21.91/21.96	c 
21.91/21.96	c 
21.91/21.96	c Core size: 3196	Core Weight: 1	Total Weight: 154
21.91/21.96	c Current CPU time: 21.7057 s
21.91/21.96	c
21.91/21.96	c ============================[ Search Statistics ]==============================
21.91/21.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.91/21.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.91/21.96	c ===============================================================================
21.91/21.96	c |         0 |   40755   706495    66475 |   235498        0   -nan |  0.000 % |
22.09/22.19	c ===============================================================================
22.29/22.38	c core #132
22.29/22.38	c 
22.29/22.38	c 
22.29/22.38	c Core size: 5160	Core Weight: 1	Total Weight: 155
22.29/22.38	c Current CPU time: 22.1056 s
22.29/22.38	c
22.29/22.38	c ============================[ Search Statistics ]==============================
22.29/22.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.29/22.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.29/22.38	c ===============================================================================
22.29/22.38	c |         0 |   45954   711325    73237 |   237108        0   -nan |  0.000 % |
22.39/22.43	c |       100 |   45953   711325    73237 |   260819      100    615 | 17.048 % |
22.49/22.52	c |       251 |   45950   711325    73237 |   286901      251    526 | 17.053 % |
23.01/23.10	c ===============================================================================
23.19/23.30	c core #133
23.19/23.30	c 
23.19/23.30	c 
23.19/23.30	c Core size: 7483	Core Weight: 1	Total Weight: 156
23.19/23.30	c Current CPU time: 23.0135 s
23.19/23.30	c
23.19/23.30	c ============================[ Search Statistics ]==============================
23.19/23.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
23.19/23.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
23.19/23.30	c ===============================================================================
23.19/23.30	c |         0 |   53503   718172    83771 |   239390        0   -nan |  0.000 % |
23.29/23.36	c |       100 |   53503   718172    83771 |   263329      100    606 | 14.891 % |
23.49/23.52	c |       251 |   53503   718172    83771 |   289662      251    847 | 14.891 % |
23.69/23.75	c |       477 |   53503   718172    83771 |   318628      477   1297 | 14.891 % |
23.99/24.07	c |       814 |   53503   718172    83771 |   350491      814   1735 | 14.891 % |
24.59/24.67	c |      1321 |   53503   718172    83771 |   385541     1321   1991 | 14.891 % |
25.39/25.48	c |      2081 |   53502   718172    83771 |   424095     2081   1783 | 14.892 % |
26.99/27.06	c |      3222 |   53500   718172    83771 |   466504     3222   2273 | 14.896 % |
29.89/29.98	c |      4932 |   53499   718172    83771 |   513155     4932   2851 | 14.897 % |
34.78/34.80	c |      7497 |   53498   718172    83771 |   564470     7497   3248 | 14.899 % |
41.08/41.15	c |     11342 |   53497   718172    83771 |   620917    11342   3267 | 14.900 % |
47.59/47.61	c ===============================================================================
47.79/47.89	c core #134
47.79/47.89	c 
47.79/47.89	c 
47.79/47.89	c Core size: 10900	Core Weight: 1	Total Weight: 157
47.79/47.89	c Current CPU time: 47.5068 s
47.79/47.89	c
47.79/47.89	c ============================[ Search Statistics ]==============================
47.79/47.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.79/47.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.79/47.89	c ===============================================================================
47.79/47.89	c |         0 |   64481   727333    99413 |   242444        0   -nan |  0.000 % |
47.88/47.97	c |       100 |   64481   727333    99413 |   266688      100   1027 | 12.562 % |
48.09/48.13	c |       255 |   64481   727333    99413 |   293357      255    600 | 12.562 % |
48.31/48.41	c |       482 |   64481   727333    99413 |   322693      482    556 | 12.562 % |
48.88/48.93	c |       823 |   64481   727333    99413 |   354962      823    783 | 12.562 % |
49.78/49.85	c |      1329 |   64481   727333    99413 |   390459     1329    976 | 12.562 % |
50.98/51.02	c |      2088 |   64481   727333    99413 |   429504     2088   1126 | 12.562 % |
52.88/52.94	c |      3228 |   64481   727333    99413 |   472455     3228   1115 | 12.562 % |
55.79/55.81	c |      4937 |   64481   727333    99413 |   519700     4937   1368 | 12.562 % |
59.58/59.61	c |      7503 |   64481   727333    99413 |   571671     7503   1358 | 12.562 % |
64.69/64.74	c |     11347 |   64479   727333    99413 |   628838    11347   1307 | 12.565 % |
75.69/75.81	c |     17115 |   64479   727333    99413 |   691721    17115   1464 | 12.565 % |
89.87/89.91	c |     25764 |   64479   727333    99413 |   760894    25764   1466 | 12.565 % |
113.38/113.47	c |     38738 |   64478   727333    99413 |   836983    38738   1646 | 12.566 % |
158.18/158.28	c |     58199 |   64478   727333    99413 |   920681    58199   2132 | 12.566 % |
234.58/234.65	c |     87391 |   64476   727333    99413 |  1012750    87391   2499 | 12.569 % |
399.29/399.36	c |    131182 |   64475   727333    99413 |  1114025   131182   3084 | 12.570 % |
699.17/699.27	c |    196866 |   64475   727333    99413 |  1225427   196866   3650 | 12.570 % |
1681.95/1682.05	c |    295392 |   64473   727333    99413 |  1347970   295392   4561 | 12.573 % |

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-3460843-1307077852/watcher-3460843-1307077852 -o /tmp/evaluation-result-3460843-1307077852/solver-3460843-1307077852 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460843-1307077852.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: 1.72 2.41 3.13 2/560 27229
/proc/meminfo: memFree=30178792/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=22036 CPUtime=0.02 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1063 0 0 0 2 0 0 0 20 0 1 0 819383913 22564864 1017 33554432000 4194304 5714214 140735392715904 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 5509 1017 233 372 0 926 0

[startup+0.093504 s]
/proc/loadavg: 1.72 2.41 3.13 2/560 27229
/proc/meminfo: memFree=30178792/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=25684 CPUtime=0.08 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 2243 0 0 0 8 0 0 0 20 0 1 0 819383913 26300416 2164 33554432000 4194304 5714214 140735392715904 18446744073709551615 4742977 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 6421 2165 496 372 0 1838 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25684

[startup+0.100446 s]
/proc/loadavg: 1.72 2.41 3.13 2/560 27229
/proc/meminfo: memFree=30178792/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=25948 CPUtime=0.09 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 2332 0 0 0 9 0 0 0 20 0 1 0 819383913 26570752 2253 33554432000 4194304 5714214 140735392715904 18446744073709551615 4195024 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 6487 2253 522 372 0 1904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25948

[startup+0.300533 s]
/proc/loadavg: 1.72 2.41 3.13 2/560 27229
/proc/meminfo: memFree=30178792/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=36040 CPUtime=0.29 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 5651 0 0 0 29 0 0 0 21 0 1 0 819383913 36904960 5378 33554432000 4194304 5714214 140735392715904 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 9010 5378 1252 372 0 4427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36040

[startup+0.700456 s]
/proc/loadavg: 1.72 2.41 3.13 2/560 27229
/proc/meminfo: memFree=30178792/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=54664 CPUtime=0.69 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 11976 0 0 0 68 1 0 0 22 0 1 0 819383913 55975936 11446 33554432000 4194304 5714214 140735392715904 18446744073709551615 4336999 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 13666 11447 2721 372 0 9083 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54664

[startup+1.50034 s]
/proc/loadavg: 1.72 2.41 3.13 4/562 27231
/proc/meminfo: memFree=30079736/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=159464 CPUtime=1.49 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 44221 0 0 0 144 5 0 0 25 0 1 0 819383913 163291136 38970 33554432000 4194304 5714214 140735392715904 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 39866 38977 172 372 0 39491 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 159464

[startup+3.10106 s]
/proc/loadavg: 1.74 2.40 3.13 4/562 27231
/proc/meminfo: memFree=29830496/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=178336 CPUtime=3.09 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 50960 0 0 0 303 6 0 0 25 0 1 0 819383913 182616064 42964 33554432000 4194304 5714214 140735392715904 18446744073709551615 4968040 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 44584 42964 175 372 0 44209 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 178336

[startup+6.30047 s]
/proc/loadavg: 1.74 2.40 3.13 4/562 27231
/proc/meminfo: memFree=29830332/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=178336 CPUtime=6.29 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 50968 0 0 0 623 6 0 0 25 0 1 0 819383913 182616064 42972 33554432000 4194304 5714214 140735392715904 18446744073709551615 4956185 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 44584 42972 175 372 0 44209 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 178336

[startup+12.7003 s]
/proc/loadavg: 1.78 2.39 3.11 4/562 27231
/proc/meminfo: memFree=29829256/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=178336 CPUtime=12.69 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 50986 0 0 0 1263 6 0 0 25 0 1 0 819383913 182616064 42990 33554432000 4194304 5714214 140735392715904 18446744073709551615 4199344 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 44584 42990 175 372 0 44209 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 178336

[startup+25.5002 s]
/proc/loadavg: 1.82 2.37 3.10 4/562 27232
/proc/meminfo: memFree=29778544/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=213204 CPUtime=25.49 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 69335 0 0 0 2540 9 0 0 25 0 1 0 819383913 218320896 50833 33554432000 4194304 5714214 140735392715904 18446744073709551615 4314115 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 53301 50833 180 372 0 52926 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 213204

[startup+51.1009 s]
/proc/loadavg: 2.00 2.37 3.08 4/562 27232
/proc/meminfo: memFree=29490408/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=406728 CPUtime=51.08 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 118081 0 0 0 5090 18 0 0 25 0 1 0 819383913 416489472 99579 33554432000 4194304 5714214 140735392715904 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 101682 99579 180 372 0 101307 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 406728

[startup+102.322 s]
/proc/loadavg: 2.12 2.34 3.03 4/562 27234
/proc/meminfo: memFree=29192452/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=406728 CPUtime=102.29 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 118092 0 0 0 10206 23 0 0 25 0 1 0 819383913 416489472 99590 33554432000 4194304 5714214 140735392715904 18446744073709551615 4322957 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 101682 99590 180 372 0 101307 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 406728

[startup+162.3 s]
/proc/loadavg: 2.05 2.28 2.97 4/562 27235
/proc/meminfo: memFree=28596464/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=669296 CPUtime=162.27 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 184371 0 0 0 16191 36 0 0 25 0 1 0 819383913 685359104 165869 33554432000 4194304 5714214 140735392715904 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 167324 165869 180 372 0 166949 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 669296

[startup+222.301 s]
/proc/loadavg: 2.01 2.22 2.90 4/562 27237
/proc/meminfo: memFree=27944580/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=960700 CPUtime=222.27 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 257197 0 0 0 22175 52 0 0 25 0 1 0 819383913 983756800 238695 33554432000 4194304 5714214 140735392715904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 240175 238695 180 372 0 239800 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 960700

[startup+282.301 s]
/proc/loadavg: 2.00 2.18 2.84 4/562 27239
/proc/meminfo: memFree=27397480/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=1214564 CPUtime=282.28 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 320604 0 0 0 28164 64 0 0 25 0 1 0 819383913 1243713536 302102 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 303641 302102 180 372 0 303266 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1214564

[startup+342.301 s]
/proc/loadavg: 2.00 2.14 2.78 4/562 27240
/proc/meminfo: memFree=26791588/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=1519116 CPUtime=342.27 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 396750 0 0 0 34148 79 0 0 25 0 1 0 819383913 1555574784 378248 33554432000 4194304 5714214 140735392715904 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 379779 378248 180 372 0 379404 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 1519116

[startup+402.301 s]
/proc/loadavg: 2.00 2.12 2.74 4/562 27242
/proc/meminfo: memFree=26240140/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=1782784 CPUtime=402.28 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 462686 0 0 0 40139 89 0 0 25 0 1 0 819383913 1825570816 444184 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 445696 444184 180 372 0 445321 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1782784

[startup+462.301 s]
/proc/loadavg: 2.00 2.09 2.68 4/562 27243
/proc/meminfo: memFree=25649988/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=2054532 CPUtime=462.28 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 530512 0 0 0 46126 102 0 0 25 0 1 0 819383913 2103840768 512010 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 513633 512010 180 372 0 513258 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2054532

[startup+522.301 s]
/proc/loadavg: 2.00 2.07 2.64 4/562 27245
/proc/meminfo: memFree=25186688/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=2310980 CPUtime=522.27 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 594627 0 0 0 52114 113 0 0 25 0 1 0 819383913 2366443520 576125 33554432000 4194304 5714214 140735392715904 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 577745 576125 180 372 0 577370 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 2310980

[startup+582.301 s]
/proc/loadavg: 2.00 2.06 2.60 4/562 27247
/proc/meminfo: memFree=24718560/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=2584412 CPUtime=582.27 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 662985 0 0 0 58105 122 0 0 25 0 1 0 819383913 2646437888 644483 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 646103 644483 180 372 0 645728 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 2584412

[startup+642.301 s]

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

[startup+942.3 s]
/proc/loadavg: 2.00 2.04 2.41 4/562 27256
/proc/meminfo: memFree=22914424/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=3806200 CPUtime=942.26 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 968256 0 0 0 94049 177 0 0 25 0 1 0 819383913 3897548800 949754 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 951550 949754 180 372 0 951175 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 3806200

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.38 4/562 27258
/proc/meminfo: memFree=22747848/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=3969960 CPUtime=1002.26 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1009210 0 0 0 100040 186 0 0 25 0 1 0 819383913 4065239040 990708 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 992490 990708 180 372 0 992115 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 3969960

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.35 4/562 27259
/proc/meminfo: memFree=22600636/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=4118496 CPUtime=1062.26 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1046351 0 0 0 106034 192 0 0 25 0 1 0 819383913 4217339904 1027849 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 1029624 1027849 180 372 0 1029249 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 4118496

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.33 4/562 27261
/proc/meminfo: memFree=22453928/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=4263384 CPUtime=1122.25 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1082573 0 0 0 112027 198 0 0 25 0 1 0 819383913 4365705216 1064071 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 1065846 1064071 180 372 0 1065471 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 4263384

[startup+1182.3 s]
/proc/loadavg: 2.21 2.07 2.33 4/562 27263
/proc/meminfo: memFree=22304464/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=4412012 CPUtime=1182.26 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1119703 0 0 0 118023 203 0 0 25 0 1 0 819383913 4517900288 1101201 33554432000 4194304 5714214 140735392715904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 1103003 1101201 180 372 0 1102628 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 4412012

[startup+1242.3 s]
/proc/loadavg: 2.25 2.11 2.33 4/562 27264
/proc/meminfo: memFree=22182664/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=4532696 CPUtime=1242.26 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1149873 0 0 0 124016 210 0 0 25 0 1 0 819383913 4641480704 1131371 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 1133174 1131371 180 372 0 1132799 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 4532696

[startup+1302.3 s]
/proc/loadavg: 2.17 2.12 2.31 4/562 27266
/proc/meminfo: memFree=22066068/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=4647004 CPUtime=1302.28 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1178430 0 0 0 130015 213 0 0 25 0 1 0 819383913 4758532096 1159928 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 1161751 1159928 180 372 0 1161376 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 4647004

[startup+1362.3 s]
/proc/loadavg: 2.06 2.09 2.29 4/562 27267
/proc/meminfo: memFree=21947608/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=4766672 CPUtime=1362.25 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1208342 0 0 0 136008 217 0 0 25 0 1 0 819383913 4881072128 1189840 33554432000 4194304 5714214 140735392715904 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 1191668 1189840 180 372 0 1191293 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 4766672

[startup+1422.32 s]
/proc/loadavg: 2.02 2.07 2.27 4/562 27269
/proc/meminfo: memFree=21793936/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=4920528 CPUtime=1422.28 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1246809 0 0 0 142005 223 0 0 25 0 1 0 819383913 5038620672 1228307 33554432000 4194304 5714214 140735392715904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 1230132 1228307 180 372 0 1229757 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 4920528

[startup+1482.3 s]
/proc/loadavg: 2.01 2.06 2.25 4/562 27271
/proc/meminfo: memFree=21716660/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=4997712 CPUtime=1482.26 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1266100 0 0 0 148000 226 0 0 25 0 1 0 819383913 5117657088 1247598 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 1249428 1247598 180 372 0 1249053 0
Current children cumulated CPU time (s) 1482.26
Current children cumulated vsize (KiB) 4997712

[startup+1542.3 s]
/proc/loadavg: 2.00 2.05 2.23 4/562 27272
/proc/meminfo: memFree=21644100/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=5069836 CPUtime=1542.25 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1284127 0 0 0 153997 228 0 0 25 0 1 0 819383913 5191512064 1265625 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 1267459 1265625 180 372 0 1267084 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 5069836

[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.22 4/562 27274
/proc/meminfo: memFree=21419136/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=5247604 CPUtime=1602.25 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1328570 0 0 0 159990 235 0 0 25 0 1 0 819383913 5373546496 1310068 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319915 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 1311901 1310068 180 372 0 1311526 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 5247604

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.20 4/562 27275
/proc/meminfo: memFree=21049468/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=5426428 CPUtime=1662.24 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1373218 0 0 0 165981 243 0 0 25 0 1 0 819383913 5556662272 1354716 33554432000 4194304 5714214 140735392715904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 1356607 1354716 180 372 0 1356232 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 5426428

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.18 4/562 27277
/proc/meminfo: memFree=20734972/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=5556520 CPUtime=1722.25 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1405696 0 0 0 171975 250 0 0 25 0 1 0 819383913 5689876480 1387194 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 1389130 1387194 180 372 0 1388755 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 5556520

[startup+1782.3 s]
/proc/loadavg: 2.19 2.06 2.18 3/562 27279
/proc/meminfo: memFree=20454960/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=5643788 CPUtime=1782.24 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1427499 0 0 0 177971 253 0 0 25 0 1 0 819383913 5779238912 1408997 33554432000 4194304 5714214 140735392715904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 1410947 1408997 180 372 0 1410572 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 5643788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.14 2.06 2.18 3/563 27280
/proc/meminfo: memFree=22363680/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=5663072 CPUtime=1800.07 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4202496 1432317 0 0 0 179752 255 0 0 25 0 1 0 819383913 5798985728 1413815 33554432000 4194304 5714214 140735392715904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/27227/statm: 1415768 1413815 180 372 0 1415393 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 5663072

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

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

[startup+1800.22 s]
/proc/loadavg: 2.14 2.06 2.18 3/563 27280
/proc/meminfo: memFree=22363680/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4203524 1432317 0 0 0 179752 265 0 0 25 0 1 0 819383913 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0
/proc/27227/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

[startup+1800.3 s]
/proc/loadavg: 2.14 2.06 2.18 3/563 27280
/proc/meminfo: memFree=22363680/32950928 swapFree=41528364/67111528
[pid=27227] ppid=27224 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/27227/stat : 27227 (wbo1.6) R 27224 27227 24081 0 -1 4203524 1432317 0 0 0 179752 273 0 0 25 0 1 0 819383913 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0
/proc/27227/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.34
CPU time (s): 1800.3
CPU user time (s): 1797.52
CPU system time (s): 2.77158
CPU usage (%): 99.9975
Max. virtual memory (cumulated for all children) (KiB): 5663072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.52
system time used= 2.77158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1432317
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= 5
involuntary context switches= 1967

runsolver used 10.1545 second user time and 24.3003 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-03 07:10:52
IDJOB=3460843
IDBENCH=1967
IDSOLVER=1953
FILE ID=node126/3460843-1307077852
RUNJOBID= node126-1307077852-27210
PBS_JOBID= 13497860
Free space on /tmp= 73760 MiB

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

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

MD5SUM BENCH= 8eed52e8cea562b1b1ee5bae07565266
RANDOM SEED=138557171

node126.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.783
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.56
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.783
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.75
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.783
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.74
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.783
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.74
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.783
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.80
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.783
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.783
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.82
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.783
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:     32950928 kB
MemFree:      30179484 kB
Buffers:        264188 kB
Cached:         432656 kB
SwapCached:      15328 kB
Active:        2076744 kB
Inactive:       375392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30179484 kB
SwapTotal:    67111528 kB
SwapFree:     41528364 kB
Dirty:           41936 kB
Writeback:           0 kB
AnonPages:     1752276 kB
Mapped:          23296 kB
Slab:           147584 kB
PageTables:     100108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 176376572 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= 73772 MiB
End job on node126 at 2011-06-03 07:40:54