Trace number 3460845

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.28 1800.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
MD5SUM325852af8542a0f454599a2893f1b120
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark886
Best CPU time to get the best result obtained on this benchmark1800.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 434
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 495293
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 495293
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-3460845-1307077959.opb.
0.00/0.00	c Instance file HOME/instance-3460845-1307077959.opb
0.00/0.00	c File size is 17233653 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.76	c core #1
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 1
7.71/7.76	c Current CPU time: 1.55176 s
7.71/7.76	c
7.71/7.76	c core #2
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 2
7.71/7.76	c Current CPU time: 1.69374 s
7.71/7.76	c
7.71/7.76	c core #3
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 3
7.71/7.76	c Current CPU time: 1.84772 s
7.71/7.76	c
7.71/7.76	c core #4
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 4
7.71/7.76	c Current CPU time: 1.9877 s
7.71/7.76	c
7.71/7.76	c core #5
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 5
7.71/7.76	c Current CPU time: 2.13567 s
7.71/7.76	c
7.71/7.76	c core #6
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 2	Total Weight: 7
7.71/7.76	c Current CPU time: 2.27765 s
7.71/7.76	c
7.71/7.76	c core #7
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 8
7.71/7.76	c Current CPU time: 2.42663 s
7.71/7.76	c
7.71/7.76	c core #8
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 9
7.71/7.76	c Current CPU time: 2.56761 s
7.71/7.76	c
7.71/7.76	c core #9
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 10
7.71/7.76	c Current CPU time: 2.71659 s
7.71/7.76	c
7.71/7.76	c core #10
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 11
7.71/7.76	c Current CPU time: 2.85656 s
7.71/7.76	c
7.71/7.76	c core #11
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 12
7.71/7.76	c Current CPU time: 3.00754 s
7.71/7.76	c
7.71/7.76	c core #12
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 13
7.71/7.76	c Current CPU time: 3.14952 s
7.71/7.76	c
7.71/7.76	c core #13
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 14
7.71/7.76	c Current CPU time: 3.2975 s
7.71/7.76	c
7.71/7.76	c core #14
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 15
7.71/7.76	c Current CPU time: 3.43948 s
7.71/7.76	c
7.71/7.76	c core #15
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 16
7.71/7.76	c Current CPU time: 3.58845 s
7.71/7.76	c
7.71/7.76	c core #16
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 17
7.71/7.76	c Current CPU time: 3.72943 s
7.71/7.76	c
7.71/7.76	c core #17
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 18
7.71/7.76	c Current CPU time: 3.87841 s
7.71/7.76	c
7.71/7.76	c core #18
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 3	Total Weight: 21
7.71/7.76	c Current CPU time: 4.02039 s
7.71/7.76	c
7.71/7.76	c core #19
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 22
7.71/7.76	c Current CPU time: 4.16937 s
7.71/7.76	c
7.71/7.76	c core #20
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 23
7.71/7.76	c Current CPU time: 4.31134 s
7.71/7.76	c
7.71/7.76	c core #21
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 24
7.71/7.76	c Current CPU time: 4.46032 s
7.71/7.76	c
7.71/7.76	c core #22
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 3	Total Weight: 27
7.71/7.76	c Current CPU time: 4.6023 s
7.71/7.76	c
7.71/7.76	c core #23
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 28
7.71/7.76	c Current CPU time: 4.75628 s
7.71/7.76	c
7.71/7.76	c core #24
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 29
7.71/7.76	c Current CPU time: 4.89926 s
7.71/7.76	c
7.71/7.76	c core #25
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 30
7.71/7.76	c Current CPU time: 5.04823 s
7.71/7.76	c
7.71/7.76	c core #26
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 31
7.71/7.76	c Current CPU time: 5.19121 s
7.71/7.76	c
7.71/7.76	c core #27
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 32
7.71/7.76	c Current CPU time: 5.34119 s
7.71/7.76	c
7.71/7.76	c core #28
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 33
7.71/7.76	c Current CPU time: 5.48517 s
7.71/7.76	c
7.71/7.76	c core #29
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 34
7.71/7.76	c Current CPU time: 5.63514 s
7.71/7.76	c
7.71/7.76	c core #30
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 301	Core Weight: 1	Total Weight: 35
7.71/7.76	c Current CPU time: 5.77912 s
7.71/7.76	c
7.71/7.76	c core #31
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 3	Total Weight: 38
7.71/7.76	c Current CPU time: 5.9301 s
7.71/7.76	c
7.71/7.76	c core #32
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 2	Total Weight: 40
7.71/7.76	c Current CPU time: 6.07408 s
7.71/7.76	c
7.71/7.76	c core #33
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 201	Core Weight: 1	Total Weight: 41
7.71/7.76	c Current CPU time: 6.22405 s
7.71/7.76	c
7.71/7.76	c core #34
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 42
7.71/7.76	c Current CPU time: 6.36703 s
7.71/7.76	c
7.71/7.76	c core #35
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 43
7.71/7.76	c Current CPU time: 6.51901 s
7.71/7.76	c
7.71/7.76	c core #36
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 44
7.71/7.76	c Current CPU time: 6.66199 s
7.71/7.76	c
7.71/7.76	c core #37
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 45
7.71/7.76	c Current CPU time: 6.81296 s
7.71/7.76	c
7.71/7.76	c core #38
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 46
7.71/7.76	c Current CPU time: 6.95694 s
7.71/7.76	c
7.71/7.76	c core #39
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 47
7.71/7.76	c Current CPU time: 7.10992 s
7.71/7.76	c
7.71/7.76	c core #40
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 2	Total Weight: 49
7.71/7.76	c Current CPU time: 7.2549 s
7.71/7.76	c
7.71/7.76	c core #41
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 1	Total Weight: 50
7.71/7.76	c Current CPU time: 7.40587 s
7.71/7.76	c
7.71/7.76	c core #42
7.71/7.76	c 
7.71/7.76	c 
7.71/7.76	c Core size: 101	Core Weight: 8	Total Weight: 58
7.71/7.76	c Current CPU time: 7.54985 s
7.71/7.76	c
7.71/7.76	c core #43
13.89/13.91	c 
13.89/13.91	c 
13.89/13.91	c Core size: 101	Core Weight: 1	Total Weight: 59
13.89/13.91	c Current CPU time: 7.70283 s
13.89/13.91	c
13.89/13.91	c core #44
13.89/13.91	c 
13.89/13.91	c 
13.89/13.91	c Core size: 101	Core Weight: 1	Total Weight: 60
13.89/13.91	c Current CPU time: 7.84781 s
13.89/13.91	c
13.89/13.91	c core #45
13.89/13.91	c 
13.89/13.91	c 
13.89/13.91	c Core size: 101	Core Weight: 1	Total Weight: 61
13.89/13.91	c Current CPU time: 7.99978 s
13.89/13.91	c
13.89/13.91	c core #46
13.89/13.91	c 
13.89/13.91	c 
13.89/13.91	c Core size: 101	Core Weight: 1	Total Weight: 62
13.89/13.91	c Current CPU time: 8.14376 s
13.89/13.91	c
13.89/13.91	c core #47
13.89/13.91	c 
13.89/13.91	c 
13.89/13.91	c Core size: 101	Core Weight: 1	Total Weight: 63
13.89/13.91	c Current CPU time: 8.29774 s
13.89/13.91	c
13.89/13.91	c core #48
13.89/13.91	c 
13.89/13.91	c 
13.89/13.91	c Core size: 101	Core Weight: 1	Total Weight: 64
13.89/13.91	c Current CPU time: 8.44272 s
13.89/13.91	c
13.89/13.91	c core #49
13.89/13.91	c 
13.89/13.91	c 
13.89/13.91	c Core size: 101	Core Weight: 1	Total Weight: 65
13.89/13.91	c Current CPU time: 8.59469 s
13.89/13.91	c
13.89/13.91	c core #50
13.89/13.91	c 
13.89/13.91	c 
13.89/13.91	c Core size: 101	Core Weight: 2	Total Weight: 67
13.89/13.91	c Current CPU time: 8.73867 s
13.89/13.91	c
13.89/13.91	c core #51
13.89/13.91	c 
13.89/13.91	c 
13.89/13.91	c Core size: 101	Core Weight: 1	Total Weight: 68
13.89/13.91	c Current CPU time: 8.89165 s
13.89/13.91	c
13.89/13.91	c core #52
13.89/13.91	c 
13.89/13.91	c 
13.89/13.91	c Core size: 101	Core Weight: 1	Total Weight: 69
13.89/13.91	c Current CPU time: 9.03563 s
13.89/13.91	c
13.89/13.91	c core #53
13.89/13.91	c 
13.89/13.91	c 
13.89/13.91	c Core size: 101	Core Weight: 2	Total Weight: 71
13.89/13.92	c Current CPU time: 9.1866 s
13.89/13.92	c
13.89/13.92	c core #54
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 201	Core Weight: 1	Total Weight: 72
13.89/13.92	c Current CPU time: 9.33158 s
13.89/13.92	c
13.89/13.92	c core #55
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 1601	Core Weight: 1	Total Weight: 73
13.89/13.92	c Current CPU time: 9.49056 s
13.89/13.92	c
13.89/13.92	c core #56
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 74
13.89/13.92	c Current CPU time: 9.64053 s
13.89/13.92	c
13.89/13.92	c core #57
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 75
13.89/13.92	c Current CPU time: 9.79251 s
13.89/13.92	c
13.89/13.92	c core #58
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 76
13.89/13.92	c Current CPU time: 9.93849 s
13.89/13.92	c
13.89/13.92	c core #59
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 77
13.89/13.92	c Current CPU time: 10.0925 s
13.89/13.92	c
13.89/13.92	c core #60
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 78
13.89/13.92	c Current CPU time: 10.2384 s
13.89/13.92	c
13.89/13.92	c core #61
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 79
13.89/13.92	c Current CPU time: 10.3914 s
13.89/13.92	c
13.89/13.92	c core #62
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 80
13.89/13.92	c Current CPU time: 10.5404 s
13.89/13.92	c
13.89/13.92	c core #63
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 2	Total Weight: 82
13.89/13.92	c Current CPU time: 10.6944 s
13.89/13.92	c
13.89/13.92	c core #64
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 201	Core Weight: 1	Total Weight: 83
13.89/13.92	c Current CPU time: 10.8404 s
13.89/13.92	c
13.89/13.92	c core #65
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 84
13.89/13.92	c Current CPU time: 10.9943 s
13.89/13.92	c
13.89/13.92	c core #66
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 301	Core Weight: 1	Total Weight: 85
13.89/13.92	c Current CPU time: 11.1403 s
13.89/13.92	c
13.89/13.92	c core #67
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 86
13.89/13.92	c Current CPU time: 11.2933 s
13.89/13.92	c
13.89/13.92	c core #68
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 87
13.89/13.92	c Current CPU time: 11.4403 s
13.89/13.92	c
13.89/13.92	c core #69
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 3	Total Weight: 90
13.89/13.92	c Current CPU time: 11.5922 s
13.89/13.92	c
13.89/13.92	c core #70
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 201	Core Weight: 1	Total Weight: 91
13.89/13.92	c Current CPU time: 11.7392 s
13.89/13.92	c
13.89/13.92	c core #71
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 92
13.89/13.92	c Current CPU time: 11.8942 s
13.89/13.92	c
13.89/13.92	c core #72
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 93
13.89/13.92	c Current CPU time: 12.0402 s
13.89/13.92	c
13.89/13.92	c core #73
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 94
13.89/13.92	c Current CPU time: 12.1931 s
13.89/13.92	c
13.89/13.92	c core #74
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 401	Core Weight: 1	Total Weight: 95
13.89/13.92	c Current CPU time: 12.3411 s
13.89/13.92	c
13.89/13.92	c core #75
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 96
13.89/13.92	c Current CPU time: 12.4951 s
13.89/13.92	c
13.89/13.92	c core #76
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 97
13.89/13.92	c Current CPU time: 12.6421 s
13.89/13.92	c
13.89/13.92	c core #77
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 98
13.89/13.92	c Current CPU time: 12.7961 s
13.89/13.92	c
13.89/13.92	c core #78
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 99
13.89/13.92	c Current CPU time: 12.942 s
13.89/13.92	c
13.89/13.92	c core #79
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 100
13.89/13.92	c Current CPU time: 13.098 s
13.89/13.92	c
13.89/13.92	c core #80
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 101
13.89/13.92	c Current CPU time: 13.246 s
13.89/13.92	c
13.89/13.92	c core #81
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 102
13.89/13.92	c Current CPU time: 13.405 s
13.89/13.92	c
13.89/13.92	c core #82
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 103
13.89/13.92	c Current CPU time: 13.5529 s
13.89/13.92	c
13.89/13.92	c core #83
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 104
13.89/13.92	c Current CPU time: 13.7099 s
13.89/13.92	c
13.89/13.92	c core #84
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 105
13.89/13.92	c Current CPU time: 13.8589 s
20.39/20.46	c
20.39/20.46	c core #85
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 1101	Core Weight: 1	Total Weight: 106
20.39/20.46	c Current CPU time: 14.0179 s
20.39/20.46	c
20.39/20.46	c core #86
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 107
20.39/20.46	c Current CPU time: 14.1698 s
20.39/20.46	c
20.39/20.46	c core #87
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 108
20.39/20.46	c Current CPU time: 14.3268 s
20.39/20.46	c
20.39/20.46	c core #88
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 109
20.39/20.46	c Current CPU time: 14.4768 s
20.39/20.46	c
20.39/20.46	c core #89
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 110
20.39/20.46	c Current CPU time: 14.6338 s
20.39/20.46	c
20.39/20.46	c core #90
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 1201	Core Weight: 1	Total Weight: 111
20.39/20.46	c Current CPU time: 14.7908 s
20.39/20.46	c
20.39/20.46	c core #91
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 112
20.39/20.46	c Current CPU time: 14.9497 s
20.39/20.46	c
20.39/20.46	c core #92
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 113
20.39/20.46	c Current CPU time: 15.1007 s
20.39/20.46	c
20.39/20.46	c core #93
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 114
20.39/20.46	c Current CPU time: 15.2577 s
20.39/20.46	c
20.39/20.46	c core #94
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 2	Total Weight: 116
20.39/20.46	c Current CPU time: 15.4077 s
20.39/20.46	c
20.39/20.46	c core #95
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 2	Total Weight: 118
20.39/20.46	c Current CPU time: 15.5666 s
20.39/20.46	c
20.39/20.46	c core #96
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 119
20.39/20.46	c Current CPU time: 15.7176 s
20.39/20.46	c
20.39/20.46	c core #97
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 120
20.39/20.46	c Current CPU time: 15.8746 s
20.39/20.46	c
20.39/20.46	c core #98
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 121
20.39/20.46	c Current CPU time: 16.0266 s
20.39/20.46	c
20.39/20.46	c core #99
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 122
20.39/20.46	c Current CPU time: 16.1865 s
20.39/20.46	c
20.39/20.46	c core #100
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 123
20.39/20.46	c Current CPU time: 16.3375 s
20.39/20.46	c
20.39/20.46	c core #101
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 124
20.39/20.46	c Current CPU time: 16.4945 s
20.39/20.46	c
20.39/20.46	c core #102
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 125
20.39/20.46	c Current CPU time: 16.6445 s
20.39/20.46	c
20.39/20.46	c core #103
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 126
20.39/20.46	c Current CPU time: 16.8034 s
20.39/20.46	c
20.39/20.46	c core #104
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 2	Total Weight: 128
20.39/20.46	c Current CPU time: 16.9544 s
20.39/20.46	c
20.39/20.46	c core #105
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 201	Core Weight: 1	Total Weight: 129
20.39/20.46	c Current CPU time: 17.1164 s
20.39/20.46	c
20.39/20.46	c core #106
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 2801	Core Weight: 1	Total Weight: 130
20.39/20.46	c Current CPU time: 17.2864 s
20.39/20.46	c
20.39/20.46	c core #107
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 3	Total Weight: 133
20.39/20.46	c Current CPU time: 17.4513 s
20.39/20.46	c
20.39/20.46	c core #108
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 4	Total Weight: 137
20.39/20.46	c Current CPU time: 17.6043 s
20.39/20.46	c
20.39/20.46	c core #109
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 138
20.39/20.46	c Current CPU time: 17.7633 s
20.39/20.46	c
20.39/20.46	c core #110
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 139
20.39/20.46	c Current CPU time: 17.9163 s
20.39/20.46	c
20.39/20.46	c core #111
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 4	Total Weight: 143
20.39/20.46	c Current CPU time: 18.0783 s
20.39/20.46	c
20.39/20.46	c core #112
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 144
20.39/20.46	c Current CPU time: 18.2312 s
20.39/20.46	c
20.39/20.46	c core #113
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 1671	Core Weight: 1	Total Weight: 145
20.39/20.46	c Current CPU time: 18.4032 s
20.39/20.46	c
20.39/20.46	c core #114
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 146
20.39/20.46	c Current CPU time: 18.5612 s
20.39/20.46	c
20.39/20.46	c core #115
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 147
20.39/20.46	c Current CPU time: 18.7222 s
20.39/20.46	c
20.39/20.46	c core #116
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 200	Core Weight: 1	Total Weight: 148
20.39/20.46	c Current CPU time: 18.8771 s
20.39/20.46	c
20.39/20.46	c core #117
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 497	Core Weight: 1	Total Weight: 149
20.39/20.46	c Current CPU time: 19.0411 s
20.39/20.46	c
20.39/20.46	c core #118
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 596	Core Weight: 1	Total Weight: 150
20.39/20.46	c Current CPU time: 19.2081 s
20.39/20.46	c
20.39/20.46	c core #119
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 401	Core Weight: 1	Total Weight: 151
20.39/20.46	c Current CPU time: 19.3771 s
20.39/20.46	c
20.39/20.46	c core #120
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 1902	Core Weight: 1	Total Weight: 152
20.39/20.46	c Current CPU time: 19.551 s
20.39/20.46	c
20.39/20.46	c core #121
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 153
20.39/20.46	c Current CPU time: 19.723 s
20.39/20.46	c
20.39/20.46	c core #122
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 101	Core Weight: 1	Total Weight: 154
20.39/20.46	c Current CPU time: 19.887 s
20.39/20.46	c
20.39/20.46	c core #123
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 1537	Core Weight: 1	Total Weight: 155
20.39/20.46	c Current CPU time: 20.058 s
20.39/20.46	c
20.39/20.46	c core #124
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 1995	Core Weight: 1	Total Weight: 156
20.39/20.46	c Current CPU time: 20.2299 s
20.39/20.46	c
20.39/20.46	c core #125
20.39/20.46	c 
20.39/20.46	c 
20.39/20.46	c Core size: 402	Core Weight: 1	Total Weight: 157
20.39/20.46	c Current CPU time: 20.4049 s
20.59/20.63	c
20.59/20.63	c ============================[ Search Statistics ]==============================
20.59/20.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.59/20.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.59/20.63	c ===============================================================================
20.59/20.63	c |         0 |   28021   694519    51298 |   231506        0   -nan |  0.000 % |
20.59/20.63	c ===============================================================================
20.69/20.80	c core #126
20.69/20.80	c 
20.69/20.80	c 
20.69/20.80	c Core size: 790	Core Weight: 1	Total Weight: 158
20.69/20.80	c Current CPU time: 20.5729 s
20.69/20.80	c
20.69/20.80	c ============================[ Search Statistics ]==============================
20.69/20.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.69/20.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.69/20.80	c ===============================================================================
20.69/20.80	c |         0 |   28803   695277    52189 |   231759        0   -nan |  0.000 % |
20.69/20.81	c ===============================================================================
20.91/20.97	c core #127
20.91/20.97	c 
20.91/20.97	c 
20.91/20.97	c Core size: 698	Core Weight: 1	Total Weight: 159
20.91/20.97	c Current CPU time: 20.7488 s
20.91/20.97	c
20.91/20.97	c ============================[ Search Statistics ]==============================
20.91/20.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.91/20.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.91/20.97	c ===============================================================================
20.91/20.97	c |         0 |   29602   695948    53079 |   231982        0   -nan |  0.000 % |
20.91/20.99	c ===============================================================================
21.09/21.16	c core #128
21.09/21.16	c 
21.09/21.16	c 
21.09/21.16	c Core size: 1532	Core Weight: 1	Total Weight: 160
21.09/21.16	c Current CPU time: 20.9288 s
21.09/21.16	c
21.09/21.16	c ============================[ Search Statistics ]==============================
21.09/21.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.09/21.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.09/21.16	c ===============================================================================
21.09/21.16	c |         0 |   31360   697421    55528 |   232473        0   -nan |  0.000 % |
21.09/21.18	c ===============================================================================
21.29/21.35	c core #129
21.29/21.35	c 
21.29/21.35	c 
21.29/21.35	c Core size: 1625	Core Weight: 1	Total Weight: 161
21.29/21.35	c Current CPU time: 21.1218 s
21.29/21.35	c
21.29/21.35	c ============================[ Search Statistics ]==============================
21.29/21.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.29/21.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.29/21.35	c ===============================================================================
21.29/21.35	c |         0 |   32998   698975    57608 |   232991        0   -nan |  0.000 % |
21.39/21.40	c ===============================================================================
21.49/21.59	c core #130
21.49/21.59	c 
21.49/21.59	c 
21.49/21.59	c Core size: 2420	Core Weight: 1	Total Weight: 162
21.49/21.59	c Current CPU time: 21.3388 s
21.49/21.59	c
21.49/21.59	c ============================[ Search Statistics ]==============================
21.49/21.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.49/21.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.49/21.59	c ===============================================================================
21.49/21.59	c |         0 |   35432   701282    60587 |   233760        0   -nan |  0.000 % |
21.59/21.64	c ===============================================================================
21.79/21.83	c core #131
21.79/21.83	c 
21.79/21.83	c 
21.79/21.83	c Core size: 2431	Core Weight: 1	Total Weight: 163
21.79/21.83	c Current CPU time: 21.5767 s
21.79/21.83	c
21.79/21.83	c ============================[ Search Statistics ]==============================
21.79/21.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.79/21.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.79/21.83	c ===============================================================================
21.79/21.83	c |         0 |   37886   703614    63730 |   234538        0   -nan |  0.000 % |
21.79/21.88	c |       100 |   37885   703614    63730 |   257991      100    975 | 20.022 % |
22.29/22.38	c ===============================================================================
22.49/22.58	c core #132
22.49/22.58	c 
22.49/22.58	c 
22.49/22.58	c Core size: 7230	Core Weight: 1	Total Weight: 164
22.49/22.58	c Current CPU time: 22.3076 s
22.49/22.58	c
22.49/22.58	c ============================[ Search Statistics ]==============================
22.49/22.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.49/22.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.49/22.58	c ===============================================================================
22.49/22.58	c |         0 |   45163   710387    73042 |   236795        0   -nan |  0.000 % |
22.59/22.63	c |       101 |   45163   710387    73042 |   260475      101   1399 | 17.246 % |
22.70/22.72	c |       251 |   45163   710387    73042 |   286522      251   1262 | 17.246 % |
22.79/22.87	c |       476 |   45163   710387    73042 |   315175      476   1059 | 17.246 % |
23.00/23.06	c |       818 |   45163   710387    73042 |   346692      818   1041 | 17.246 % |
23.39/23.41	c |      1325 |   45163   710387    73042 |   381361     1325   1463 | 17.246 % |
23.99/24.00	c |      2088 |   45154   710387    73042 |   419497     2088   1679 | 17.473 % |
24.89/24.95	c ===============================================================================
25.09/25.15	c core #133
25.09/25.15	c 
25.09/25.15	c 
25.09/25.15	c Core size: 9562	Core Weight: 1	Total Weight: 165
25.09/25.15	c Current CPU time: 24.8652 s
25.09/25.15	c
25.09/25.15	c ============================[ Search Statistics ]==============================
25.09/25.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.09/25.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
25.09/25.15	c ===============================================================================
25.09/25.15	c |         0 |   54801   718952    86046 |   239650        0   -nan |  0.000 % |
25.19/25.22	c |       105 |   54801   718952    86046 |   263615      105   1636 | 14.538 % |
25.32/25.34	c |       255 |   54801   718952    86046 |   289977      255   1700 | 14.538 % |
25.50/25.58	c |       480 |   54801   718952    86046 |   318975      480   1478 | 14.538 % |
25.80/25.85	c |       817 |   54801   718952    86046 |   350872      817   1127 | 14.538 % |
26.30/26.32	c |      1324 |   54801   718952    86046 |   385959     1324   1112 | 14.538 % |
26.99/27.03	c |      2083 |   54801   718952    86046 |   424555     2083    965 | 14.538 % |
28.09/28.18	c |      3224 |   54801   718952    86046 |   467011     3224   1213 | 14.538 % |
30.00/30.06	c |      4933 |   54801   718952    86046 |   513712     4933   1213 | 14.538 % |
33.09/33.13	c |      7497 |   54801   718952    86046 |   565083     7497   1259 | 14.538 % |
37.79/37.89	c |     11341 |   54801   718952    86046 |   621592    11341   1479 | 14.538 % |
48.08/48.11	c |     17108 |   54801   718952    86046 |   683751    17108   1880 | 14.538 % |
63.89/63.92	c |     25757 |   54799   718952    86046 |   752126    25757   2006 | 14.541 % |
91.49/91.52	c |     38731 |   54798   718952    86046 |   827339    38731   2307 | 14.542 % |
146.99/147.00	c |     58193 |   54796   718952    86046 |   910073    58193   2798 | 14.545 % |
250.69/250.78	c |     87386 |   54796   718952    86046 |  1001080    87386   3442 | 14.545 % |
362.08/362.17	c ===============================================================================
363.08/363.19	c core #134
363.08/363.19	c 
363.08/363.19	c 
363.08/363.19	c Core size: 11234	Core Weight: 1	Total Weight: 166
363.08/363.19	c Current CPU time: 361.938 s
363.08/363.19	c
363.08/363.19	c ============================[ Search Statistics ]==============================
363.08/363.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
363.08/363.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
363.08/363.19	c ===============================================================================
363.08/363.19	c |         0 |   66097   728193   102465 |   242731        0   -nan |  0.000 % |
363.19/363.26	c |       100 |   66097   728193   102465 |   267004      100   1099 | 12.243 % |
363.38/363.41	c |       254 |   66097   728193   102465 |   293704      254    926 | 12.243 % |
363.58/363.65	c |       480 |   66097   728193   102465 |   323074      480    644 | 12.243 % |
363.99/364.02	c |       817 |   66097   728193   102465 |   355382      817    586 | 12.243 % |
364.58/364.61	c |      1324 |   66097   728193   102465 |   390920     1324    613 | 12.243 % |
365.99/366.02	c |      2083 |   66097   728193   102465 |   430012     2083    914 | 12.243 % |
366.98/367.01	c |      3224 |   66097   728193   102465 |   473014     3224    963 | 12.243 % |
369.61/369.67	c |      4933 |   66097   728193   102465 |   520315     4933    953 | 12.243 % |
373.58/373.63	c |      7495 |   66097   728193   102465 |   572347     7495    855 | 12.243 % |
380.79/380.86	c |     11340 |   66097   728193   102465 |   629581    11340   1199 | 12.243 % |
393.49/393.58	c |     17106 |   66097   728193   102465 |   692539    17106   1849 | 12.243 % |
408.18/408.23	c |     25755 |   66097   728193   102465 |   761793    25755   1889 | 12.243 % |
432.39/432.41	c |     38730 |   66097   728193   102465 |   837973    38730   1822 | 12.243 % |
473.39/473.43	c |     58193 |   66096   728193   102465 |   921770    58193   1766 | 12.244 % |
547.18/547.27	c |     87385 |   66096   728193   102465 |  1013947    87385   1955 | 12.244 % |
678.70/678.72	c |    131174 |   66096   728193   102465 |  1115342   131174   2213 | 12.244 % |
886.49/886.55	c |    196859 |   66095   728193   102465 |  1226876   196859   2368 | 12.245 % |
1281.59/1281.67	c |    295385 |   66095   728193   102465 |  1349564   295385   2679 | 12.245 % |

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.02 2.04 2.01 2/535 8405
/proc/meminfo: memFree=24093608/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=21020 CPUtime=0 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 788 0 0 0 0 0 0 0 21 0 1 0 800212261 21524480 742 33554432000 4194304 5714214 140733671237632 18446744073709551615 4254165 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 5255 742 176 372 0 672 0

[startup+0.0328981 s]
/proc/loadavg: 2.02 2.04 2.01 2/535 8405
/proc/meminfo: memFree=24093608/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=22708 CPUtime=0.02 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 1265 0 0 0 2 0 0 0 21 0 1 0 800212261 23252992 1219 33554432000 4194304 5714214 140733671237632 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 5677 1219 274 372 0 1094 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22708

[startup+0.100888 s]
/proc/loadavg: 2.02 2.04 2.01 2/535 8405
/proc/meminfo: memFree=24093608/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=25948 CPUtime=0.09 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 2351 0 0 0 9 0 0 0 21 0 1 0 800212261 26570752 2272 33554432000 4194304 5714214 140733671237632 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 6487 2272 527 372 0 1904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25948

[startup+0.300865 s]
/proc/loadavg: 2.02 2.04 2.01 2/535 8405
/proc/meminfo: memFree=24093608/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=36040 CPUtime=0.29 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 5676 0 0 0 29 0 0 0 22 0 1 0 800212261 36904960 5403 33554432000 4194304 5714214 140733671237632 18446744073709551615 4948410 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 9010 5404 1259 372 0 4427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36040

[startup+0.700783 s]
/proc/loadavg: 2.02 2.04 2.01 2/535 8405
/proc/meminfo: memFree=24093608/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=54796 CPUtime=0.69 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 12016 0 0 0 68 1 0 0 24 0 1 0 800212261 56111104 11486 33554432000 4194304 5714214 140733671237632 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 13699 11486 2731 372 0 9116 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54796

[startup+1.50064 s]
/proc/loadavg: 2.02 2.04 2.01 3/536 8406
/proc/meminfo: memFree=24043376/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=160388 CPUtime=1.49 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 44501 0 0 0 144 5 0 0 25 0 1 0 800212261 164237312 39250 33554432000 4194304 5714214 140733671237632 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 40097 39256 172 372 0 39722 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 160388

[startup+3.10037 s]
/proc/loadavg: 2.02 2.04 2.01 3/536 8406
/proc/meminfo: memFree=23918516/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=178336 CPUtime=3.09 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 50960 0 0 0 304 5 0 0 25 0 1 0 800212261 182616064 42964 33554432000 4194304 5714214 140733671237632 18446744073709551615 4967703 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 44584 42964 175 372 0 44209 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 178336

[startup+6.30078 s]
/proc/loadavg: 2.02 2.04 2.01 3/536 8406
/proc/meminfo: memFree=23913676/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=178336 CPUtime=6.29 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 50968 0 0 0 624 5 0 0 25 0 1 0 800212261 182616064 42972 33554432000 4194304 5714214 140733671237632 18446744073709551615 4973065 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 44584 42972 175 372 0 44209 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 178336

[startup+12.7006 s]
/proc/loadavg: 2.01 2.04 2.01 3/536 8406
/proc/meminfo: memFree=23913828/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=178336 CPUtime=12.69 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 50987 0 0 0 1264 5 0 0 25 0 1 0 800212261 182616064 42991 33554432000 4194304 5714214 140733671237632 18446744073709551615 4956314 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 44584 42991 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.01 2.04 2.01 3/536 8406
/proc/meminfo: memFree=23868204/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=222004 CPUtime=25.5 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 65989 0 0 0 2539 11 0 0 19 0 1 0 800212261 227332096 53334 33554432000 4194304 5714214 140733671237632 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 55501 53334 180 372 0 55126 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 222004

[startup+51.1008 s]
/proc/loadavg: 2.07 2.05 2.01 3/536 8435
/proc/meminfo: memFree=24781696/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=302908 CPUtime=51.09 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 86984 0 0 0 5089 20 0 0 24 0 1 0 800212261 310177792 74329 33554432000 4194304 5714214 140733671237632 18446744073709551615 4319147 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 75727 74329 180 372 0 75352 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 302908

[startup+102.32 s]
/proc/loadavg: 2.07 2.06 2.01 3/536 8437
/proc/meminfo: memFree=24192904/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=575960 CPUtime=102.31 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 155224 0 0 0 10192 39 0 0 25 0 1 0 800212261 589783040 142569 33554432000 4194304 5714214 140733671237632 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 143990 142569 180 372 0 143615 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 575960

[startup+162.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 8438
/proc/meminfo: memFree=23624256/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=873828 CPUtime=162.29 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 229623 0 0 0 16176 53 0 0 25 0 1 0 800212261 894799872 216968 33554432000 4194304 5714214 140733671237632 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 218457 216968 180 372 0 218082 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 873828

[startup+222.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 8440
/proc/meminfo: memFree=22957952/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=1194692 CPUtime=222.29 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 309857 0 0 0 22162 67 0 0 25 0 1 0 800212261 1223364608 297202 33554432000 4194304 5714214 140733671237632 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 298673 297202 180 372 0 298298 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1194692

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 8441
/proc/meminfo: memFree=22386016/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=1489736 CPUtime=282.28 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 383526 0 0 0 28147 81 0 0 25 0 1 0 800212261 1525489664 370871 33554432000 4194304 5714214 140733671237632 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 372434 370871 180 372 0 372059 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1489736

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 8443
/proc/meminfo: memFree=21853864/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=1784432 CPUtime=342.29 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 457197 0 0 0 34136 93 0 0 25 0 1 0 800212261 1827258368 444542 33554432000 4194304 5714214 140733671237632 18446744073709551615 4305181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 446108 444551 180 372 0 445733 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1784432

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 8445
/proc/meminfo: memFree=21688372/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=1948996 CPUtime=402.29 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 497455 0 0 0 40123 106 0 0 25 0 1 0 800212261 1995771904 484800 33554432000 4194304 5714214 140733671237632 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 487249 484800 180 372 0 486874 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1948996

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 8446
/proc/meminfo: memFree=21687952/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=1948996 CPUtime=462.28 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 497543 0 0 0 46117 111 0 0 25 0 1 0 800212261 1995771904 484888 33554432000 4194304 5714214 140733671237632 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 487249 484888 180 372 0 486874 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 1948996

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 8448
/proc/meminfo: memFree=21687788/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=1948996 CPUtime=522.28 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 497568 0 0 0 52110 118 0 0 25 0 1 0 800212261 1995771904 484913 33554432000 4194304 5714214 140733671237632 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 487249 484913 180 372 0 486874 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 1948996

[startup+582.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/536 8449
/proc/meminfo: memFree=21685256/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=1948996 CPUtime=582.28 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 498216 0 0 0 58105 123 0 0 25 0 1 0 800212261 1995771904 485561 33554432000 4194304 5714214 140733671237632 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 487249 485561 180 372 0 486874 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 1948996

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/536 8460
/proc/meminfo: memFree=21071100/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=2012724 CPUtime=882.29 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 514184 0 0 0 88076 153 0 0 25 0 1 0 800212261 2061029376 501529 33554432000 4194304 5714214 140733671237632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 503181 501529 180 372 0 502806 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 2012724

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 8462
/proc/meminfo: memFree=20723708/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=2180728 CPUtime=942.29 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 555956 0 0 0 94063 166 0 0 25 0 1 0 800212261 2233065472 543301 33554432000 4194304 5714214 140733671237632 18446744073709551615 4314378 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 545182 543301 180 372 0 544807 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 2180728

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 8464
/proc/meminfo: memFree=20324492/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=2381152 CPUtime=1002.28 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 606096 0 0 0 100050 178 0 0 25 0 1 0 800212261 2438299648 593441 33554432000 4194304 5714214 140733671237632 18446744073709551615 4323047 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 595288 593441 180 372 0 594913 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 2381152

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 8465
/proc/meminfo: memFree=19944380/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=2605972 CPUtime=1062.28 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 662240 0 0 0 106035 193 0 0 25 0 1 0 800212261 2668515328 649585 33554432000 4194304 5714214 140733671237632 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 651493 649585 180 372 0 651118 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 2605972

[startup+1122.3 s]
/proc/loadavg: 2.11 2.03 2.01 4/536 8467
/proc/meminfo: memFree=19588448/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=2863084 CPUtime=1122.28 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 726529 0 0 0 112023 205 0 0 25 0 1 0 800212261 2931798016 713874 33554432000 4194304 5714214 140733671237632 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 715771 713874 180 372 0 715396 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 2863084

[startup+1182.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/536 8468
/proc/meminfo: memFree=19293028/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=3047076 CPUtime=1182.28 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 772510 0 0 0 118011 217 0 0 25 0 1 0 800212261 3120205824 759855 33554432000 4194304 5714214 140733671237632 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 761769 759855 180 372 0 761394 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 3047076

[startup+1242.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/536 8470
/proc/meminfo: memFree=18986436/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=3231084 CPUtime=1242.28 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 818488 0 0 0 124000 228 0 0 25 0 1 0 800212261 3308630016 805833 33554432000 4194304 5714214 140733671237632 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 807771 805833 180 372 0 807396 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 3231084

[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/536 8472
/proc/meminfo: memFree=18663620/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=3374328 CPUtime=1302.29 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 854265 0 0 0 129991 238 0 0 25 0 1 0 800212261 3455311872 841610 33554432000 4194304 5714214 140733671237632 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 843582 841610 180 372 0 843207 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 3374328

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 8473
/proc/meminfo: memFree=18296024/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=3550196 CPUtime=1362.28 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 897997 0 0 0 135981 247 0 0 25 0 1 0 800212261 3635400704 885342 33554432000 4194304 5714214 140733671237632 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 887549 885342 180 372 0 887174 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 3550196

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 8475
/proc/meminfo: memFree=18019956/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=3665672 CPUtime=1422.3 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 926878 0 0 0 141975 255 0 0 25 0 1 0 800212261 3753648128 914223 33554432000 4194304 5714214 140733671237632 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 916418 914223 180 372 0 916043 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 3665672

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 8476
/proc/meminfo: memFree=17716972/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=3839580 CPUtime=1482.29 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 970365 0 0 0 147964 265 0 0 25 0 1 0 800212261 3931729920 957710 33554432000 4194304 5714214 140733671237632 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 959895 957710 180 372 0 959520 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 3839580

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/536 8478
/proc/meminfo: memFree=17470536/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=3967000 CPUtime=1542.29 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 1002151 0 0 0 153952 277 0 0 25 0 1 0 800212261 4062208000 989496 33554432000 4194304 5714214 140733671237632 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 991750 989496 180 372 0 991375 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 3967000

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 8480
/proc/meminfo: memFree=17116704/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=4166184 CPUtime=1602.29 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 1051947 0 0 0 159938 291 0 0 25 0 1 0 800212261 4266172416 1039292 33554432000 4194304 5714214 140733671237632 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 1041546 1039292 180 372 0 1041171 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 4166184

[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/536 8481
/proc/meminfo: memFree=16779384/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=4349324 CPUtime=1662.29 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 1097720 0 0 0 165928 301 0 0 25 0 1 0 800212261 4453707776 1085065 33554432000 4194304 5714214 140733671237632 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 1087331 1085065 180 372 0 1086956 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 4349324

[startup+1722.3 s]
/proc/loadavg: 2.19 2.06 2.02 3/536 8483
/proc/meminfo: memFree=16448752/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=4548680 CPUtime=1722.28 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 1147563 0 0 0 171916 312 0 0 25 0 1 0 800212261 4657848320 1134908 33554432000 4194304 5714214 140733671237632 18446744073709551615 4314149 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8405/statm: 1137170 1134908 180 372 0 1136795 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 4548680

[startup+1782.3 s]
/proc/loadavg: 2.11 2.06 2.02 4/536 8484
/proc/meminfo: memFree=16090340/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=4756772 CPUtime=1782.29 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 1199593 0 0 0 177904 325 0 0 25 0 1 0 800212261 4870934528 1186938 33554432000 4194304 5714214 140733671237632 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8405/statm: 1189193 1186938 180 372 0 1188818 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 4756772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.08 2.06 2.01 3/536 8485
/proc/meminfo: memFree=15967932/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=4821860 CPUtime=1800.09 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4202496 1215871 0 0 0 179680 329 0 0 25 0 1 0 800212261 4937584640 1203216 33554432000 4194304 5714214 140733671237632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8405/statm: 1205465 1203216 180 372 0 1205090 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 4821860

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.08 2.06 2.01 3/536 8485
/proc/meminfo: memFree=15967932/32951124 swapFree=46970528/67111528
[pid=8405] ppid=8403 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/8405/stat : 8405 (wbo1.6) R 8403 8405 6615 0 -1 4203524 1215899 0 0 0 179682 339 0 0 25 0 1 0 800212261 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/8405/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.29
CPU time (s): 1800.28
CPU user time (s): 1796.82
CPU system time (s): 3.45947
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 4821860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.82
system time used= 3.45947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1215899
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= 16
involuntary context switches= 2344

runsolver used 9.31758 second user time and 21.8147 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-03 07:12:40
IDJOB=3460845
IDBENCH=1969
IDSOLVER=1953
FILE ID=node146/3460845-1307077959
RUNJOBID= node146-1307067108-7563
PBS_JOBID= 13497840
Free space on /tmp= 73708 MiB

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

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

MD5SUM BENCH= 325852af8542a0f454599a2893f1b120
RANDOM SEED=657287137

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24093764 kB
Buffers:         76576 kB
Cached:         216064 kB
SwapCached:      60044 kB
Active:        1382236 kB
Inactive:      7232868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24093764 kB
SwapTotal:    67111528 kB
SwapFree:     46970528 kB
Dirty:           20972 kB
Writeback:           0 kB
AnonPages:     8273396 kB
Mapped:          17276 kB
Slab:            72848 kB
PageTables:      99664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 161889600 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= 73688 MiB
End job on node146 at 2011-06-03 07:42:42