Trace number 3460850

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.31 1800.27

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
MD5SUMfad34197fa8b5ebd519d12750a352ad5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark840
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 480
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 495457
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 495457
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-3460850-1307078034.opb.
0.00/0.00	c Instance file HOME/instance-3460850-1307078034.opb
0.00/0.00	c File size is 17233664 bytes.
1.10/1.15	c Highest Coefficient sum: 101
1.10/1.15	c ============================[ Problem Statistics ]=============================
1.10/1.15	c |                                                                             |
1.10/1.15	c |  Parsing time:          1.13         s                                      |
1.10/1.15	c |  Number Variables:      10000                                               |
1.10/1.15	c |  Number Clauses:        656900                                              |
1.10/1.15	c |  Number Cardinality:    0                                                   |
1.10/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.70/7.75	c core #1
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 1
7.70/7.75	c Current CPU time: 1.55376 s
7.70/7.75	c
7.70/7.75	c core #2
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 2	Total Weight: 3
7.70/7.75	c Current CPU time: 1.69574 s
7.70/7.75	c
7.70/7.75	c core #3
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 2	Total Weight: 5
7.70/7.75	c Current CPU time: 1.84472 s
7.70/7.75	c
7.70/7.75	c core #4
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 6
7.70/7.75	c Current CPU time: 1.9867 s
7.70/7.75	c
7.70/7.75	c core #5
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 7
7.70/7.75	c Current CPU time: 2.13567 s
7.70/7.75	c
7.70/7.75	c core #6
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 8
7.70/7.75	c Current CPU time: 2.27565 s
7.70/7.75	c
7.70/7.75	c core #7
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 201	Core Weight: 1	Total Weight: 9
7.70/7.75	c Current CPU time: 2.42863 s
7.70/7.75	c
7.70/7.75	c core #8
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 10
7.70/7.75	c Current CPU time: 2.56861 s
7.70/7.75	c
7.70/7.75	c core #9
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 11
7.70/7.75	c Current CPU time: 2.71759 s
7.70/7.75	c
7.70/7.75	c core #10
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 12
7.70/7.75	c Current CPU time: 2.85956 s
7.70/7.75	c
7.70/7.75	c core #11
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 13
7.70/7.75	c Current CPU time: 3.00954 s
7.70/7.75	c
7.70/7.75	c core #12
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 14
7.70/7.75	c Current CPU time: 3.15052 s
7.70/7.75	c
7.70/7.75	c core #13
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 201	Core Weight: 1	Total Weight: 15
7.70/7.75	c Current CPU time: 3.2995 s
7.70/7.75	c
7.70/7.75	c core #14
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 16
7.70/7.75	c Current CPU time: 3.43948 s
7.70/7.75	c
7.70/7.75	c core #15
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 17
7.70/7.75	c Current CPU time: 3.58845 s
7.70/7.75	c
7.70/7.75	c core #16
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 2	Total Weight: 19
7.70/7.75	c Current CPU time: 3.73043 s
7.70/7.75	c
7.70/7.75	c core #17
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 20
7.70/7.75	c Current CPU time: 3.87941 s
7.70/7.75	c
7.70/7.75	c core #18
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 21
7.70/7.75	c Current CPU time: 4.02139 s
7.70/7.75	c
7.70/7.75	c core #19
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 22
7.70/7.75	c Current CPU time: 4.17136 s
7.70/7.75	c
7.70/7.75	c core #20
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 23
7.70/7.75	c Current CPU time: 4.31334 s
7.70/7.75	c
7.70/7.75	c core #21
7.70/7.75	c 
7.70/7.75	c 
7.70/7.75	c Core size: 101	Core Weight: 1	Total Weight: 24
7.70/7.75	c Current CPU time: 4.46232 s
7.70/7.75	c
7.70/7.75	c core #22
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 25
7.70/7.76	c Current CPU time: 4.6053 s
7.70/7.76	c
7.70/7.76	c core #23
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 26
7.70/7.76	c Current CPU time: 4.75528 s
7.70/7.76	c
7.70/7.76	c core #24
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 27
7.70/7.76	c Current CPU time: 4.89825 s
7.70/7.76	c
7.70/7.76	c core #25
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 28
7.70/7.76	c Current CPU time: 5.04823 s
7.70/7.76	c
7.70/7.76	c core #26
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 29
7.70/7.76	c Current CPU time: 5.19121 s
7.70/7.76	c
7.70/7.76	c core #27
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 30
7.70/7.76	c Current CPU time: 5.34219 s
7.70/7.76	c
7.70/7.76	c core #28
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 2	Total Weight: 32
7.70/7.76	c Current CPU time: 5.48517 s
7.70/7.76	c
7.70/7.76	c core #29
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 33
7.70/7.76	c Current CPU time: 5.63614 s
7.70/7.76	c
7.70/7.76	c core #30
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 34
7.70/7.76	c Current CPU time: 5.77912 s
7.70/7.76	c
7.70/7.76	c core #31
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 35
7.70/7.76	c Current CPU time: 5.9311 s
7.70/7.76	c
7.70/7.76	c core #32
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 36
7.70/7.76	c Current CPU time: 6.07408 s
7.70/7.76	c
7.70/7.76	c core #33
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 3	Total Weight: 39
7.70/7.76	c Current CPU time: 6.22405 s
7.70/7.76	c
7.70/7.76	c core #34
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 40
7.70/7.76	c Current CPU time: 6.36703 s
7.70/7.76	c
7.70/7.76	c core #35
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 41
7.70/7.76	c Current CPU time: 6.51901 s
7.70/7.76	c
7.70/7.76	c core #36
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 42
7.70/7.76	c Current CPU time: 6.66499 s
7.70/7.76	c
7.70/7.76	c core #37
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 201	Core Weight: 2	Total Weight: 44
7.70/7.76	c Current CPU time: 6.81496 s
7.70/7.76	c
7.70/7.76	c core #38
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 45
7.70/7.76	c Current CPU time: 6.95794 s
7.70/7.76	c
7.70/7.76	c core #39
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 46
7.70/7.76	c Current CPU time: 7.11192 s
7.70/7.76	c
7.70/7.76	c core #40
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 401	Core Weight: 1	Total Weight: 47
7.70/7.76	c Current CPU time: 7.2569 s
7.70/7.76	c
7.70/7.76	c core #41
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 3	Total Weight: 50
7.70/7.76	c Current CPU time: 7.40687 s
7.70/7.76	c
7.70/7.76	c core #42
7.70/7.76	c 
7.70/7.76	c 
7.70/7.76	c Core size: 101	Core Weight: 1	Total Weight: 51
7.70/7.76	c Current CPU time: 7.55085 s
7.70/7.76	c
7.70/7.76	c core #43
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 52
13.89/13.92	c Current CPU time: 7.70383 s
13.89/13.92	c
13.89/13.92	c core #44
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 53
13.89/13.92	c Current CPU time: 7.84981 s
13.89/13.92	c
13.89/13.92	c core #45
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 54
13.89/13.92	c Current CPU time: 8.00078 s
13.89/13.92	c
13.89/13.92	c core #46
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 201	Core Weight: 1	Total Weight: 55
13.89/13.92	c Current CPU time: 8.14676 s
13.89/13.92	c
13.89/13.92	c core #47
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 56
13.89/13.92	c Current CPU time: 8.29874 s
13.89/13.92	c
13.89/13.92	c core #48
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 57
13.89/13.92	c Current CPU time: 8.44372 s
13.89/13.92	c
13.89/13.92	c core #49
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 58
13.89/13.92	c Current CPU time: 8.59469 s
13.89/13.92	c
13.89/13.92	c core #50
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 201	Core Weight: 2	Total Weight: 60
13.89/13.92	c Current CPU time: 8.74067 s
13.89/13.92	c
13.89/13.92	c core #51
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 61
13.89/13.92	c Current CPU time: 8.89465 s
13.89/13.92	c
13.89/13.92	c core #52
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 62
13.89/13.92	c Current CPU time: 9.04063 s
13.89/13.92	c
13.89/13.92	c core #53
13.89/13.92	c 
13.89/13.92	c 
13.89/13.92	c Core size: 101	Core Weight: 1	Total Weight: 63
13.89/13.92	c Current CPU time: 9.1926 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: 101	Core Weight: 1	Total Weight: 64
13.89/13.92	c Current CPU time: 9.33658 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: 101	Core Weight: 1	Total Weight: 65
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: 66
13.89/13.92	c Current CPU time: 9.63654 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: 67
13.89/13.92	c Current CPU time: 9.78851 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: 2	Total Weight: 69
13.89/13.92	c Current CPU time: 9.93349 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: 70
13.89/13.92	c Current CPU time: 10.0875 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: 71
13.89/13.92	c Current CPU time: 10.2324 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: 72
13.89/13.92	c Current CPU time: 10.3844 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: 201	Core Weight: 2	Total Weight: 74
13.89/13.92	c Current CPU time: 10.5304 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: 201	Core Weight: 1	Total Weight: 75
13.89/13.92	c Current CPU time: 10.6834 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: 101	Core Weight: 1	Total Weight: 76
13.89/13.92	c Current CPU time: 10.8274 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: 77
13.89/13.92	c Current CPU time: 10.9793 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: 101	Core Weight: 1	Total Weight: 78
13.89/13.92	c Current CPU time: 11.1253 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: 79
13.89/13.92	c Current CPU time: 11.2803 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: 80
13.89/13.92	c Current CPU time: 11.4263 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: 1	Total Weight: 81
13.89/13.92	c Current CPU time: 11.5802 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: 101	Core Weight: 1	Total Weight: 82
13.89/13.92	c Current CPU time: 11.7282 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: 83
13.89/13.92	c Current CPU time: 11.8822 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: 201	Core Weight: 1	Total Weight: 84
13.89/13.92	c Current CPU time: 12.0292 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: 85
13.89/13.92	c Current CPU time: 12.1811 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: 101	Core Weight: 1	Total Weight: 86
13.89/13.92	c Current CPU time: 12.3271 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: 87
13.89/13.92	c Current CPU time: 12.4821 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: 88
13.89/13.92	c Current CPU time: 12.6291 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: 89
13.89/13.92	c Current CPU time: 12.7831 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: 90
13.89/13.92	c Current CPU time: 12.93 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: 91
13.89/13.92	c Current CPU time: 13.085 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: 92
13.89/13.92	c Current CPU time: 13.232 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: 93
13.89/13.92	c Current CPU time: 13.386 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: 2601	Core Weight: 1	Total Weight: 94
13.89/13.92	c Current CPU time: 13.5539 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: 95
13.89/13.92	c Current CPU time: 13.7159 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: 96
13.89/13.92	c Current CPU time: 13.8649 s
20.59/20.60	c
20.59/20.60	c core #85
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 97
20.59/20.60	c Current CPU time: 14.0219 s
20.59/20.60	c
20.59/20.60	c core #86
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 98
20.59/20.60	c Current CPU time: 14.1708 s
20.59/20.60	c
20.59/20.60	c core #87
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 99
20.59/20.60	c Current CPU time: 14.3278 s
20.59/20.60	c
20.59/20.60	c core #88
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 100
20.59/20.60	c Current CPU time: 14.4778 s
20.59/20.60	c
20.59/20.60	c core #89
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 3	Total Weight: 103
20.59/20.60	c Current CPU time: 14.6338 s
20.59/20.60	c
20.59/20.60	c core #90
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 201	Core Weight: 1	Total Weight: 104
20.59/20.60	c Current CPU time: 14.7838 s
20.59/20.60	c
20.59/20.60	c core #91
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 105
20.59/20.60	c Current CPU time: 14.9417 s
20.59/20.60	c
20.59/20.60	c core #92
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 106
20.59/20.60	c Current CPU time: 15.0917 s
20.59/20.60	c
20.59/20.60	c core #93
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 107
20.59/20.60	c Current CPU time: 15.2497 s
20.59/20.60	c
20.59/20.60	c core #94
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 108
20.59/20.60	c Current CPU time: 15.3997 s
20.59/20.60	c
20.59/20.60	c core #95
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 109
20.59/20.60	c Current CPU time: 15.5586 s
20.59/20.60	c
20.59/20.60	c core #96
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 110
20.59/20.60	c Current CPU time: 15.7096 s
20.59/20.60	c
20.59/20.60	c core #97
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 201	Core Weight: 1	Total Weight: 111
20.59/20.60	c Current CPU time: 15.8676 s
20.59/20.60	c
20.59/20.60	c core #98
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 112
20.59/20.60	c Current CPU time: 16.0166 s
20.59/20.60	c
20.59/20.60	c core #99
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 501	Core Weight: 1	Total Weight: 113
20.59/20.60	c Current CPU time: 16.1775 s
20.59/20.60	c
20.59/20.60	c core #100
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 114
20.59/20.60	c Current CPU time: 16.3275 s
20.59/20.60	c
20.59/20.60	c core #101
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 115
20.59/20.60	c Current CPU time: 16.4865 s
20.59/20.60	c
20.59/20.60	c core #102
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 1801	Core Weight: 1	Total Weight: 116
20.59/20.60	c Current CPU time: 16.6485 s
20.59/20.60	c
20.59/20.60	c core #103
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 117
20.59/20.60	c Current CPU time: 16.8134 s
20.59/20.60	c
20.59/20.60	c core #104
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 118
20.59/20.60	c Current CPU time: 16.9644 s
20.59/20.60	c
20.59/20.60	c core #105
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 119
20.59/20.60	c Current CPU time: 17.1244 s
20.59/20.60	c
20.59/20.60	c core #106
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 120
20.59/20.60	c Current CPU time: 17.2774 s
20.59/20.60	c
20.59/20.60	c core #107
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 121
20.59/20.60	c Current CPU time: 17.4373 s
20.59/20.60	c
20.59/20.60	c core #108
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 122
20.59/20.60	c Current CPU time: 17.5893 s
20.59/20.60	c
20.59/20.60	c core #109
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 123
20.59/20.60	c Current CPU time: 17.7493 s
20.59/20.60	c
20.59/20.60	c core #110
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 124
20.59/20.60	c Current CPU time: 17.9053 s
20.59/20.60	c
20.59/20.60	c core #111
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 125
20.59/20.60	c Current CPU time: 18.0653 s
20.59/20.60	c
20.59/20.60	c core #112
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 126
20.59/20.60	c Current CPU time: 18.2182 s
20.59/20.60	c
20.59/20.60	c core #113
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 127
20.59/20.60	c Current CPU time: 18.3782 s
20.59/20.60	c
20.59/20.60	c core #114
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 128
20.59/20.60	c Current CPU time: 18.5322 s
20.59/20.60	c
20.59/20.60	c core #115
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 129
20.59/20.60	c Current CPU time: 18.6942 s
20.59/20.60	c
20.59/20.60	c core #116
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 1965	Core Weight: 1	Total Weight: 130
20.59/20.60	c Current CPU time: 18.8581 s
20.59/20.60	c
20.59/20.60	c core #117
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 131
20.59/20.60	c Current CPU time: 19.0231 s
20.59/20.60	c
20.59/20.60	c core #118
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 1991	Core Weight: 1	Total Weight: 132
20.59/20.60	c Current CPU time: 19.1911 s
20.59/20.60	c
20.59/20.60	c core #119
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 133
20.59/20.60	c Current CPU time: 19.3641 s
20.59/20.60	c
20.59/20.60	c core #120
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 201	Core Weight: 1	Total Weight: 134
20.59/20.60	c Current CPU time: 19.521 s
20.59/20.60	c
20.59/20.60	c core #121
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 398	Core Weight: 1	Total Weight: 135
20.59/20.60	c Current CPU time: 19.687 s
20.59/20.60	c
20.59/20.60	c core #122
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 2525	Core Weight: 1	Total Weight: 136
20.59/20.60	c Current CPU time: 19.864 s
20.59/20.60	c
20.59/20.60	c core #123
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 1361	Core Weight: 1	Total Weight: 137
20.59/20.60	c Current CPU time: 20.04 s
20.59/20.60	c
20.59/20.60	c core #124
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 101	Core Weight: 1	Total Weight: 138
20.59/20.60	c Current CPU time: 20.2079 s
20.59/20.60	c
20.59/20.60	c core #125
20.59/20.60	c 
20.59/20.60	c 
20.59/20.60	c Core size: 893	Core Weight: 1	Total Weight: 139
20.59/20.60	c Current CPU time: 20.3789 s
20.59/20.60	c
21.39/21.45	c core #126
21.39/21.45	c 
21.39/21.45	c 
21.39/21.45	c Core size: 101	Core Weight: 2	Total Weight: 141
21.39/21.45	c Current CPU time: 20.5429 s
21.39/21.45	c
21.39/21.45	c core #127
21.39/21.45	c 
21.39/21.45	c 
21.39/21.45	c Core size: 101	Core Weight: 5	Total Weight: 146
21.39/21.45	c Current CPU time: 20.7099 s
21.39/21.45	c
21.39/21.45	c core #128
21.39/21.45	c 
21.39/21.45	c 
21.39/21.45	c Core size: 1909	Core Weight: 1	Total Weight: 147
21.39/21.45	c Current CPU time: 20.8768 s
21.39/21.45	c
21.39/21.45	c core #129
21.39/21.45	c 
21.39/21.45	c 
21.39/21.45	c Core size: 301	Core Weight: 1	Total Weight: 148
21.39/21.45	c Current CPU time: 21.0508 s
21.39/21.45	c
21.39/21.45	c core #130
21.39/21.45	c 
21.39/21.45	c 
21.39/21.45	c Core size: 301	Core Weight: 1	Total Weight: 149
21.39/21.45	c Current CPU time: 21.2178 s
21.39/21.45	c
21.39/21.45	c ============================[ Search Statistics ]==============================
21.39/21.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.39/21.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.39/21.45	c ===============================================================================
21.39/21.45	c |         0 |   29655   695916    53255 |   231972        0   -nan |  0.000 % |
21.39/21.45	c ===============================================================================
21.59/21.63	c core #131
21.59/21.63	c 
21.59/21.63	c 
21.59/21.63	c Core size: 700	Core Weight: 1	Total Weight: 150
21.59/21.63	c Current CPU time: 21.3917 s
21.59/21.63	c
21.59/21.63	c ============================[ Search Statistics ]==============================
21.59/21.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.59/21.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.59/21.63	c ===============================================================================
21.59/21.63	c |         0 |   30352   696583    54069 |   232194        0   -nan |  0.000 % |
21.59/21.63	c ===============================================================================
21.79/21.81	c core #132
21.79/21.81	c 
21.79/21.81	c 
21.79/21.81	c Core size: 973	Core Weight: 1	Total Weight: 151
21.79/21.81	c Current CPU time: 21.5727 s
21.79/21.81	c
21.79/21.81	c ============================[ Search Statistics ]==============================
21.79/21.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.79/21.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.79/21.81	c ===============================================================================
21.79/21.81	c |         0 |   31330   697520    55321 |   232506        0   -nan |  0.000 % |
21.79/21.82	c ===============================================================================
21.90/21.99	c core #133
21.90/21.99	c 
21.90/21.99	c 
21.90/21.99	c Core size: 990	Core Weight: 1	Total Weight: 152
21.90/21.99	c Current CPU time: 21.7567 s
21.90/21.99	c
21.90/21.99	c ============================[ Search Statistics ]==============================
21.90/21.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.90/21.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.90/21.99	c ===============================================================================
21.90/21.99	c |         0 |   32427   698451    56941 |   232817        0   -nan |  0.000 % |
22.00/22.02	c ===============================================================================
22.19/22.21	c core #134
22.19/22.21	c 
22.19/22.21	c 
22.19/22.21	c Core size: 1930	Core Weight: 1	Total Weight: 153
22.19/22.21	c Current CPU time: 21.9607 s
22.19/22.21	c
22.19/22.21	c ============================[ Search Statistics ]==============================
22.19/22.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.19/22.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.19/22.21	c ===============================================================================
22.19/22.21	c |         0 |   34384   700254    59733 |   233418        0   -nan |  0.000 % |
22.29/22.33	c ===============================================================================
22.50/22.51	c core #135
22.50/22.51	c 
22.50/22.51	c 
22.50/22.51	c Core size: 3662	Core Weight: 1	Total Weight: 154
22.50/22.51	c Current CPU time: 22.2686 s
22.50/22.51	c
22.50/22.51	c ============================[ Search Statistics ]==============================
22.50/22.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.50/22.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.50/22.51	c ===============================================================================
22.50/22.51	c |         0 |   38061   703752    64253 |   234584        0   -nan |  0.000 % |
22.50/22.55	c |       104 |   38061   703752    64253 |   258042      104    509 | 19.932 % |
22.59/22.61	c ===============================================================================
22.69/22.80	c core #136
22.69/22.80	c 
22.69/22.80	c 
22.69/22.80	c Core size: 2352	Core Weight: 1	Total Weight: 155
22.69/22.80	c Current CPU time: 22.5386 s
22.69/22.80	c
22.69/22.80	c ============================[ Search Statistics ]==============================
22.69/22.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.69/22.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.69/22.80	c ===============================================================================
22.69/22.80	c |         0 |   40425   705985    67286 |   235328        0   -nan |  0.000 % |
22.79/22.84	c |       100 |   40425   705985    67286 |   258861      100    818 | 18.951 % |
22.89/22.91	c |       251 |   40424   705985    67286 |   284747      251   1648 | 18.953 % |
23.39/23.42	c ===============================================================================
23.59/23.62	c core #137
23.59/23.62	c 
23.59/23.62	c 
23.59/23.62	c Core size: 6197	Core Weight: 1	Total Weight: 156
23.59/23.62	c Current CPU time: 23.3534 s
23.59/23.62	c
23.59/23.62	c ============================[ Search Statistics ]==============================
23.59/23.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
23.59/23.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
23.59/23.62	c ===============================================================================
23.59/23.62	c |         0 |   46687   711781    75719 |   237260        0   -nan |  0.000 % |
23.59/23.66	c |       101 |   46687   711781    75719 |   260986      101    705 | 16.734 % |
23.69/23.76	c |       252 |   46687   711781    75719 |   287085      252    863 | 16.734 % |
23.89/23.90	c |       477 |   46687   711781    75719 |   315793      477    839 | 16.734 % |
24.10/24.19	c |       817 |   46687   711781    75719 |   347372      817   1279 | 16.734 % |
24.69/24.77	c |      1324 |   46686   711781    75719 |   382110     1324   1898 | 16.736 % |
25.39/25.47	c |      2086 |   46686   711781    75719 |   420321     2086   2041 | 16.736 % |
27.20/27.20	c ===============================================================================
27.41/27.42	c core #138
27.41/27.42	c 
27.41/27.42	c 
27.41/27.42	c Core size: 10206	Core Weight: 1	Total Weight: 157
27.41/27.42	c Current CPU time: 27.1229 s
27.41/27.42	c
27.41/27.42	c ============================[ Search Statistics ]==============================
27.41/27.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
27.41/27.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
27.41/27.42	c ===============================================================================
27.41/27.42	c |         0 |   56918   720663    89791 |   240221        0   -nan |  0.000 % |
27.41/27.49	c |       101 |   56918   720663    89791 |   264243      101   1452 | 14.041 % |
27.69/27.70	c |       251 |   56918   720663    89791 |   290667      251   1650 | 14.041 % |
27.99/28.07	c |       478 |   56918   720663    89791 |   319734      478   1954 | 14.041 % |
28.39/28.43	c |       816 |   56918   720663    89791 |   351707      816   1497 | 14.041 % |
28.99/29.00	c |      1322 |   56918   720663    89791 |   386878     1322   1190 | 14.041 % |
29.99/30.03	c |      2081 |   56918   720663    89791 |   425566     2081   1199 | 14.041 % |
31.19/31.27	c |      3221 |   56918   720663    89791 |   468122     3221   1109 | 14.041 % |
33.10/33.11	c |      4929 |   56916   720663    89791 |   514935     4929   1107 | 14.044 % |
36.20/36.26	c |      7491 |   56686   720663    89791 |   566428     7491   1334 | 14.391 % |
41.19/41.27	c ===============================================================================
41.49/41.51	c core #139
41.49/41.51	c 
41.49/41.51	c 
41.49/41.51	c Core size: 9500	Core Weight: 1	Total Weight: 158
41.49/41.51	c Current CPU time: 41.1837 s
41.49/41.51	c
41.49/41.51	c ============================[ Search Statistics ]==============================
41.49/41.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
41.49/41.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
41.49/41.51	c ===============================================================================
41.49/41.51	c |         0 |   66491   728721   103586 |   242907        0   -nan |  0.000 % |
41.49/41.59	c |       101 |   66491   728721   103586 |   267197      101   1071 | 12.170 % |
41.70/41.74	c |       252 |   66491   728721   103586 |   293917      252    592 | 12.170 % |
41.99/42.07	c |       478 |   66491   728721   103586 |   323309      478    523 | 12.170 % |
42.59/42.68	c |       816 |   66491   728721   103586 |   355640      816    707 | 12.170 % |
43.20/43.21	c |      1325 |   66491   728721   103586 |   391204     1325    781 | 12.170 % |
44.10/44.12	c |      2085 |   66491   728721   103586 |   430324     2085    779 | 12.170 % |
45.49/45.56	c |      3224 |   66491   728721   103586 |   473357     3224    761 | 12.170 % |
47.59/47.60	c |      4933 |   66491   728721   103586 |   520692     4933   1085 | 12.170 % |
51.19/51.22	c |      7496 |   66491   728721   103586 |   572761     7496   1251 | 12.170 % |
56.89/56.96	c |     11344 |   66491   728721   103586 |   630038    11344   1253 | 12.170 % |
66.20/66.28	c |     17110 |   66491   728721   103586 |   693042    17110   1350 | 12.170 % |
84.49/84.57	c |     25762 |   66490   728721   103586 |   762346    25762   2074 | 12.171 % |
124.31/124.35	c |     38736 |   66490   728721   103586 |   838580    38736   2877 | 12.171 % |
170.79/170.87	c |     58197 |   66490   728721   103586 |   922438    58197   3266 | 12.171 % |
256.40/256.40	c |     87391 |   66487   728721   103586 |  1014682    87391   3574 | 12.175 % |
423.52/423.51	c |    131184 |   66487   728721   103586 |  1116151   131184   4151 | 12.175 % |
720.81/720.84	c |    196868 |   66486   728721   103586 |  1227766   196868   4121 | 12.176 % |
1386.32/1386.33	c |    295397 |   66486   728721   103586 |  1350542   295397   4494 | 12.176 % |

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/386 26375
/proc/meminfo: memFree=23135904/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=21596 CPUtime=0.01 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 940 0 0 0 1 0 0 0 25 0 1 0 819406178 22114304 894 33554432000 4194304 5714214 140734740999488 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 5399 894 206 372 0 816 0

[startup+0.081885 s]
/proc/loadavg: 2.00 2.00 2.00 2/386 26375
/proc/meminfo: memFree=23135904/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=25288 CPUtime=0.07 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 2096 0 0 0 7 0 0 0 25 0 1 0 819406178 25894912 2017 33554432000 4194304 5714214 140734740999488 18446744073709551615 4228419 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 6322 2018 457 372 0 1739 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25288

[startup+0.100837 s]
/proc/loadavg: 2.00 2.00 2.00 2/386 26375
/proc/meminfo: memFree=23135904/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=25948 CPUtime=0.09 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 2353 0 0 0 9 0 0 0 25 0 1 0 819406178 26570752 2274 33554432000 4194304 5714214 140734740999488 18446744073709551615 4222912 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 6487 2275 528 372 0 1904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25948

[startup+0.300848 s]
/proc/loadavg: 2.00 2.00 2.00 2/386 26375
/proc/meminfo: memFree=23135904/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=36040 CPUtime=0.29 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 5683 0 0 0 29 0 0 0 25 0 1 0 819406178 36904960 5410 33554432000 4194304 5714214 140734740999488 18446744073709551615 4236082 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 9010 5410 1261 372 0 4427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36040

[startup+0.700763 s]
/proc/loadavg: 2.00 2.00 2.00 2/386 26375
/proc/meminfo: memFree=23135904/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=54796 CPUtime=0.69 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 12018 0 0 0 69 0 0 0 25 0 1 0 819406178 56111104 11488 33554432000 4194304 5714214 140734740999488 18446744073709551615 4228183 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 13699 11489 2732 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.00 2.00 2.00 3/387 26377
/proc/meminfo: memFree=23086544/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=160520 CPUtime=1.49 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 44559 0 0 0 145 4 0 0 18 0 1 0 819406178 164372480 39308 33554432000 4194304 5714214 140734740999488 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 40163 39314 172 372 0 39788 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 160520

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26377
/proc/meminfo: memFree=22962172/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=178336 CPUtime=3.09 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 50960 0 0 0 304 5 0 0 20 0 1 0 819406178 182616064 42964 33554432000 4194304 5714214 140734740999488 18446744073709551615 4355633 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/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.00 2.00 2.00 3/387 26377
/proc/meminfo: memFree=22960768/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=178336 CPUtime=6.29 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 50968 0 0 0 624 5 0 0 25 0 1 0 819406178 182616064 42972 33554432000 4194304 5714214 140734740999488 18446744073709551615 4336526 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/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.00 2.00 2.00 3/387 26377
/proc/meminfo: memFree=22956820/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=178336 CPUtime=12.69 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 50983 0 0 0 1264 5 0 0 25 0 1 0 819406178 182616064 42987 33554432000 4194304 5714214 140734740999488 18446744073709551615 4964892 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 44584 42987 175 372 0 44209 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 178336

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26377
/proc/meminfo: memFree=22931768/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=198144 CPUtime=25.49 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 62411 0 0 0 2541 8 0 0 25 0 1 0 819406178 202899456 47951 33554432000 4194304 5714214 140734740999488 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 49536 47951 180 372 0 49161 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 198144

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26378
/proc/meminfo: memFree=22844540/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=278412 CPUtime=51.09 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 81951 0 0 0 5095 14 0 0 25 0 1 0 819406178 285093888 67491 33554432000 4194304 5714214 140734740999488 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 69603 67491 180 372 0 69228 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 278412

[startup+102.315 s]
/proc/loadavg: 2.09 2.03 2.01 3/387 26407
/proc/meminfo: memFree=23287152/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=479104 CPUtime=102.31 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 132800 0 0 0 10205 26 0 0 25 0 1 0 819406178 490602496 118340 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 119776 118340 180 372 0 119401 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 479104

[startup+162.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/387 26409
/proc/meminfo: memFree=22908936/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=849368 CPUtime=162.29 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 225381 0 0 0 16188 41 0 0 25 0 1 0 819406178 869752832 210921 33554432000 4194304 5714214 140734740999488 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 212342 210921 180 372 0 211967 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 849368

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 26410
/proc/meminfo: memFree=22512432/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=1209492 CPUtime=222.29 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 315359 0 0 0 22176 53 0 0 25 0 1 0 819406178 1238519808 300899 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 302373 300899 180 372 0 301998 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1209492

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26412
/proc/meminfo: memFree=22134800/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=1551804 CPUtime=282.3 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 400827 0 0 0 28163 67 0 0 25 0 1 0 819406178 1589047296 386367 33554432000 4194304 5714214 140734740999488 18446744073709551615 4322971 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 387951 386367 180 372 0 387576 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1551804

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26414
/proc/meminfo: memFree=21800200/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=1880840 CPUtime=342.3 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 483110 0 0 0 34149 81 0 0 25 0 1 0 819406178 1925980160 468650 33554432000 4194304 5714214 140734740999488 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 470210 468650 180 372 0 469835 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1880840

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26415
/proc/meminfo: memFree=21482952/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=2200924 CPUtime=402.3 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 563139 0 0 0 40135 95 0 0 25 0 1 0 819406178 2253746176 548679 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319915 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 550231 548679 180 372 0 549856 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2200924

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26417
/proc/meminfo: memFree=21172644/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=2458316 CPUtime=462.3 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 627372 0 0 0 46122 108 0 0 25 0 1 0 819406178 2517315584 612912 33554432000 4194304 5714214 140734740999488 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 614579 612912 180 372 0 614204 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2458316

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26418
/proc/meminfo: memFree=20906600/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=2666584 CPUtime=522.3 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 679439 0 0 0 52112 118 0 0 25 0 1 0 819406178 2730582016 664979 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 666646 664979 180 372 0 666271 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2666584

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26420
/proc/meminfo: memFree=20662908/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=2885956 CPUtime=582.3 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 734308 0 0 0 58100 130 0 0 25 0 1 0 819406178 2955218944 719848 33554432000 4194304 5714214 140734740999488 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 721489 719848 180 372 0 721114 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2885956

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26428
/proc/meminfo: memFree=19450828/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=3921276 CPUtime=882.31 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 992870 0 0 0 88052 179 0 0 25 0 1 0 819406178 4015386624 978410 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 980319 978410 180 372 0 979944 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 3921276

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26430
/proc/meminfo: memFree=19178480/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=4136944 CPUtime=942.31 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1046831 0 0 0 94044 187 0 0 25 0 1 0 819406178 4236230656 1032371 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1034236 1032371 180 372 0 1033861 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 4136944

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26431
/proc/meminfo: memFree=18947288/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=4331356 CPUtime=1002.31 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1095465 0 0 0 100035 196 0 0 25 0 1 0 819406178 4435308544 1081005 33554432000 4194304 5714214 140734740999488 18446744073709551615 4322844 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1082839 1081005 180 372 0 1082464 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 4331356

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26433
/proc/meminfo: memFree=18718204/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=4541044 CPUtime=1062.31 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1147855 0 0 0 106026 205 0 0 25 0 1 0 819406178 4650029056 1133395 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1135261 1133395 180 372 0 1134886 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 4541044

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26434
/proc/meminfo: memFree=18520756/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=4704032 CPUtime=1122.32 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1188644 0 0 0 112018 214 0 0 25 0 1 0 819406178 4816928768 1174184 33554432000 4194304 5714214 140734740999488 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1176008 1174184 180 372 0 1175633 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 4704032

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26436
/proc/meminfo: memFree=18342876/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=4878512 CPUtime=1182.32 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1232249 0 0 0 118009 223 0 0 25 0 1 0 819406178 4995596288 1217789 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1219628 1217789 180 372 0 1219253 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 4878512

[startup+1242.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/387 26438
/proc/meminfo: memFree=18130932/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=5055660 CPUtime=1242.33 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1276496 0 0 0 124001 232 0 0 25 0 1 0 819406178 5176995840 1262036 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1263915 1262036 180 372 0 1263540 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 5055660

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 26439
/proc/meminfo: memFree=17944264/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=5205856 CPUtime=1302.34 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1314014 0 0 0 129997 237 0 0 25 0 1 0 819406178 5330796544 1299554 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1301464 1299554 180 372 0 1301089 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 5205856

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/387 26441
/proc/meminfo: memFree=17784868/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=5367852 CPUtime=1362.32 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1354427 0 0 0 135987 245 0 0 25 0 1 0 819406178 5496680448 1339967 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1341963 1339967 180 372 0 1341588 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 5367852

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26442
/proc/meminfo: memFree=17625468/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=5519552 CPUtime=1422.34 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1392244 0 0 0 141984 250 0 0 25 0 1 0 819406178 5652021248 1377784 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1379888 1377784 180 372 0 1379513 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 5519552

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26444
/proc/meminfo: memFree=17418208/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=5697728 CPUtime=1482.32 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1436774 0 0 0 147972 260 0 0 25 0 1 0 819406178 5834473472 1422314 33554432000 4194304 5714214 140734740999488 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1424432 1422314 180 372 0 1424057 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 5697728

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26446
/proc/meminfo: memFree=17191748/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=5907236 CPUtime=1542.33 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1488823 0 0 0 153965 268 0 0 25 0 1 0 819406178 6049009664 1474363 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1476809 1474363 180 372 0 1476434 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 5907236

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26447
/proc/meminfo: memFree=16958824/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=6098820 CPUtime=1602.33 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1536720 0 0 0 159955 278 0 0 25 0 1 0 819406178 6245191680 1522260 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1524705 1522260 180 372 0 1524330 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 6098820

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26449
/proc/meminfo: memFree=16800660/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=6230940 CPUtime=1662.34 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1569689 0 0 0 165947 287 0 0 25 0 1 0 819406178 6380482560 1555229 33554432000 4194304 5714214 140734740999488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1557735 1555229 180 372 0 1557360 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 6230940

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26450
/proc/meminfo: memFree=16602460/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=6405692 CPUtime=1722.33 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1613408 0 0 0 171936 297 0 0 25 0 1 0 819406178 6559428608 1598948 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1601423 1598948 180 372 0 1601048 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 6405692

[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/387 26452
/proc/meminfo: memFree=16352796/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=6605060 CPUtime=1782.33 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1663295 0 0 0 177927 306 0 0 25 0 1 0 819406178 6763581440 1648835 33554432000 4194304 5714214 140734740999488 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1651265 1648835 180 372 0 1650890 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 6605060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.07 2.03 2.01 3/387 26452
/proc/meminfo: memFree=16307028/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=6647508 CPUtime=1800.05 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4202496 1673919 0 0 0 179696 309 0 0 25 0 1 0 819406178 6807048192 1659459 33554432000 4194304 5714214 140734740999488 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/26375/statm: 1661877 1659459 180 372 0 1661502 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 6647508

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

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

[startup+1800.2 s]
/proc/loadavg: 2.07 2.03 2.01 3/387 26452
/proc/meminfo: memFree=16307028/32951124 swapFree=49244120/67111528
[pid=26375] ppid=26373 vsize=0 CPUtime=1800.23 cores=0,2,4,6
/proc/26375/stat : 26375 (wbo1.6) R 26373 26375 23490 0 -1 4203524 1673919 0 0 0 179696 327 0 0 25 0 1 0 819406178 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/26375/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.27
CPU time (s): 1800.31
CPU user time (s): 1796.97
CPU system time (s): 3.34549
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 6647508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.97
system time used= 3.34549
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1673919
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= 6
involuntary context switches= 1004

runsolver used 7.40987 second user time and 15.4197 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-03 07:13:54
IDJOB=3460850
IDBENCH=1974
IDSOLVER=1953
FILE ID=node101/3460850-1307078034
RUNJOBID= node101-1307066208-24303
PBS_JOBID= 13497887
Free space on /tmp= 73932 MiB

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

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

MD5SUM BENCH= fad34197fa8b5ebd519d12750a352ad5
RANDOM SEED=2000707196

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
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.77
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.841
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.83
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.841
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.74
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.841
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.83
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.841
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.841
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23136200 kB
Buffers:        222488 kB
Cached:         472520 kB
SwapCached:      27120 kB
Active:        9119948 kB
Inactive:       417756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23136200 kB
SwapTotal:    67111528 kB
SwapFree:     49244120 kB
Dirty:           20972 kB
Writeback:           0 kB
AnonPages:     8838040 kB
Mapped:          18640 kB
Slab:           134532 kB
PageTables:      75996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79317760 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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