Trace number 3460842

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
MD5SUM751aa23355f7a016eeb9009a33a863ac
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.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 436
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 494314
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 494314
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-3460842-1307077720.opb.
0.00/0.00	c Instance file HOME/instance-3460842-1307077720.opb
0.00/0.00	c File size is 17233610 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.12         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.43	c ============================[ Search Statistics ]==============================
1.39/1.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.43	c ===============================================================================
1.39/1.43	c |         0 |   10000   656900  1333400 |   218966        0   -nan |  0.000 % |
7.71/7.75	c core #1
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 1
7.71/7.75	c Current CPU time: 1.54377 s
7.71/7.75	c
7.71/7.75	c core #2
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 2
7.71/7.75	c Current CPU time: 1.68274 s
7.71/7.75	c
7.71/7.75	c core #3
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 3
7.71/7.75	c Current CPU time: 1.83272 s
7.71/7.75	c
7.71/7.75	c core #4
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 4
7.71/7.75	c Current CPU time: 1.9727 s
7.71/7.75	c
7.71/7.75	c core #5
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 5
7.71/7.75	c Current CPU time: 2.12068 s
7.71/7.75	c
7.71/7.75	c core #6
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 6
7.71/7.75	c Current CPU time: 2.26066 s
7.71/7.75	c
7.71/7.75	c core #7
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 7
7.71/7.75	c Current CPU time: 2.41463 s
7.71/7.75	c
7.71/7.75	c core #8
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 8
7.71/7.75	c Current CPU time: 2.55561 s
7.71/7.75	c
7.71/7.75	c core #9
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 9
7.71/7.75	c Current CPU time: 2.70459 s
7.71/7.75	c
7.71/7.75	c core #10
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 10
7.71/7.75	c Current CPU time: 2.84457 s
7.71/7.75	c
7.71/7.75	c core #11
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 3	Total Weight: 13
7.71/7.75	c Current CPU time: 2.99554 s
7.71/7.75	c
7.71/7.75	c core #12
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 14
7.71/7.75	c Current CPU time: 3.13652 s
7.71/7.75	c
7.71/7.75	c core #13
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 15
7.71/7.75	c Current CPU time: 3.2855 s
7.71/7.75	c
7.71/7.75	c core #14
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 16
7.71/7.75	c Current CPU time: 3.42648 s
7.71/7.75	c
7.71/7.75	c core #15
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 2	Total Weight: 18
7.71/7.75	c Current CPU time: 3.57646 s
7.71/7.75	c
7.71/7.75	c core #16
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 19
7.71/7.75	c Current CPU time: 3.71843 s
7.71/7.75	c
7.71/7.75	c core #17
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 20
7.71/7.75	c Current CPU time: 3.86641 s
7.71/7.75	c
7.71/7.75	c core #18
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 2	Total Weight: 22
7.71/7.75	c Current CPU time: 4.00739 s
7.71/7.75	c
7.71/7.75	c core #19
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 23
7.71/7.75	c Current CPU time: 4.15837 s
7.71/7.75	c
7.71/7.75	c core #20
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 24
7.71/7.75	c Current CPU time: 4.29935 s
7.71/7.75	c
7.71/7.75	c core #21
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 201	Core Weight: 1	Total Weight: 25
7.71/7.75	c Current CPU time: 4.44832 s
7.71/7.75	c
7.71/7.75	c core #22
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 26
7.71/7.75	c Current CPU time: 4.5893 s
7.71/7.75	c
7.71/7.75	c core #23
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 27
7.71/7.75	c Current CPU time: 4.73928 s
7.71/7.75	c
7.71/7.75	c core #24
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 28
7.71/7.75	c Current CPU time: 4.88226 s
7.71/7.75	c
7.71/7.75	c core #25
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 2	Total Weight: 30
7.71/7.75	c Current CPU time: 5.03223 s
7.71/7.75	c
7.71/7.75	c core #26
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 31
7.71/7.75	c Current CPU time: 5.17521 s
7.71/7.75	c
7.71/7.75	c core #27
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 32
7.71/7.75	c Current CPU time: 5.32619 s
7.71/7.75	c
7.71/7.75	c core #28
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 301	Core Weight: 1	Total Weight: 33
7.71/7.75	c Current CPU time: 5.47017 s
7.71/7.75	c
7.71/7.75	c core #29
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 34
7.71/7.75	c Current CPU time: 5.61815 s
7.71/7.75	c
7.71/7.75	c core #30
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 35
7.71/7.75	c Current CPU time: 5.76112 s
7.71/7.75	c
7.71/7.75	c core #31
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 36
7.71/7.75	c Current CPU time: 5.9131 s
7.71/7.75	c
7.71/7.75	c core #32
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 37
7.71/7.75	c Current CPU time: 6.05608 s
7.71/7.75	c
7.71/7.75	c core #33
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 38
7.71/7.75	c Current CPU time: 6.20706 s
7.71/7.75	c
7.71/7.75	c core #34
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 3	Total Weight: 41
7.71/7.75	c Current CPU time: 6.35103 s
7.71/7.75	c
7.71/7.75	c core #35
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 201	Core Weight: 1	Total Weight: 42
7.71/7.75	c Current CPU time: 6.50301 s
7.71/7.75	c
7.71/7.75	c core #36
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 43
7.71/7.75	c Current CPU time: 6.64499 s
7.71/7.75	c
7.71/7.75	c core #37
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 44
7.71/7.75	c Current CPU time: 6.79597 s
7.71/7.75	c
7.71/7.75	c core #38
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 45
7.71/7.75	c Current CPU time: 6.94194 s
7.71/7.75	c
7.71/7.75	c core #39
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 46
7.71/7.75	c Current CPU time: 7.09392 s
7.71/7.75	c
7.71/7.75	c core #40
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 47
7.71/7.75	c Current CPU time: 7.2399 s
7.71/7.75	c
7.71/7.75	c core #41
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 48
7.71/7.75	c Current CPU time: 7.38988 s
7.71/7.75	c
7.71/7.75	c core #42
7.71/7.75	c 
7.71/7.75	c 
7.71/7.75	c Core size: 101	Core Weight: 1	Total Weight: 49
7.71/7.75	c Current CPU time: 7.53385 s
7.71/7.75	c
7.71/7.75	c core #43
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 50
13.79/13.89	c Current CPU time: 7.68583 s
13.79/13.89	c
13.79/13.89	c core #44
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 51
13.79/13.89	c Current CPU time: 7.82881 s
13.79/13.89	c
13.79/13.89	c core #45
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 52
13.79/13.89	c Current CPU time: 7.98179 s
13.79/13.89	c
13.79/13.89	c core #46
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 53
13.79/13.89	c Current CPU time: 8.12476 s
13.79/13.89	c
13.79/13.89	c core #47
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 54
13.79/13.89	c Current CPU time: 8.27674 s
13.79/13.89	c
13.79/13.89	c core #48
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 55
13.79/13.89	c Current CPU time: 8.42072 s
13.79/13.89	c
13.79/13.89	c core #49
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 56
13.79/13.89	c Current CPU time: 8.5717 s
13.79/13.89	c
13.79/13.89	c core #50
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 57
13.79/13.89	c Current CPU time: 8.71567 s
13.79/13.89	c
13.79/13.89	c core #51
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 2	Total Weight: 59
13.79/13.89	c Current CPU time: 8.86765 s
13.79/13.89	c
13.79/13.89	c core #52
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 60
13.79/13.89	c Current CPU time: 9.01263 s
13.79/13.89	c
13.79/13.89	c core #53
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 61
13.79/13.89	c Current CPU time: 9.16361 s
13.79/13.89	c
13.79/13.89	c core #54
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 2	Total Weight: 63
13.79/13.89	c Current CPU time: 9.30758 s
13.79/13.89	c
13.79/13.89	c core #55
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 64
13.79/13.89	c Current CPU time: 9.46256 s
13.79/13.89	c
13.79/13.89	c core #56
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 401	Core Weight: 1	Total Weight: 65
13.79/13.89	c Current CPU time: 9.60854 s
13.79/13.89	c
13.79/13.89	c core #57
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 66
13.79/13.89	c Current CPU time: 9.76152 s
13.79/13.89	c
13.79/13.89	c core #58
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 67
13.79/13.89	c Current CPU time: 9.90549 s
13.79/13.89	c
13.79/13.89	c core #59
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 68
13.79/13.89	c Current CPU time: 10.0585 s
13.79/13.89	c
13.79/13.89	c core #60
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 69
13.79/13.89	c Current CPU time: 10.2024 s
13.79/13.89	c
13.79/13.89	c core #61
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 3	Total Weight: 72
13.79/13.89	c Current CPU time: 10.3544 s
13.79/13.89	c
13.79/13.89	c core #62
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 73
13.79/13.89	c Current CPU time: 10.5004 s
13.79/13.89	c
13.79/13.89	c core #63
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 74
13.79/13.89	c Current CPU time: 10.6534 s
13.79/13.89	c
13.79/13.89	c core #64
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 75
13.79/13.89	c Current CPU time: 10.7984 s
13.79/13.89	c
13.79/13.89	c core #65
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 2	Total Weight: 77
13.79/13.89	c Current CPU time: 10.9503 s
13.79/13.89	c
13.79/13.89	c core #66
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 201	Core Weight: 1	Total Weight: 78
13.79/13.89	c Current CPU time: 11.0963 s
13.79/13.89	c
13.79/13.89	c core #67
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 79
13.79/13.89	c Current CPU time: 11.2493 s
13.79/13.89	c
13.79/13.89	c core #68
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 80
13.79/13.89	c Current CPU time: 11.3943 s
13.79/13.89	c
13.79/13.89	c core #69
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 81
13.79/13.89	c Current CPU time: 11.5472 s
13.79/13.89	c
13.79/13.89	c core #70
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 1401	Core Weight: 1	Total Weight: 82
13.79/13.89	c Current CPU time: 11.7012 s
13.79/13.89	c
13.79/13.89	c core #71
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 83
13.79/13.89	c Current CPU time: 11.8592 s
13.79/13.89	c
13.79/13.89	c core #72
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 301	Core Weight: 1	Total Weight: 84
13.79/13.89	c Current CPU time: 12.0052 s
13.79/13.89	c
13.79/13.89	c core #73
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 85
13.79/13.89	c Current CPU time: 12.1582 s
13.79/13.89	c
13.79/13.89	c core #74
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 86
13.79/13.89	c Current CPU time: 12.3041 s
13.79/13.89	c
13.79/13.89	c core #75
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 2	Total Weight: 88
13.79/13.89	c Current CPU time: 12.4591 s
13.79/13.89	c
13.79/13.89	c core #76
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 89
13.79/13.89	c Current CPU time: 12.6061 s
13.79/13.89	c
13.79/13.89	c core #77
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 90
13.79/13.89	c Current CPU time: 12.7601 s
13.79/13.89	c
13.79/13.89	c core #78
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 2	Total Weight: 92
13.79/13.89	c Current CPU time: 12.906 s
13.79/13.89	c
13.79/13.89	c core #79
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 93
13.79/13.89	c Current CPU time: 13.062 s
13.79/13.89	c
13.79/13.89	c core #80
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 94
13.79/13.89	c Current CPU time: 13.21 s
13.79/13.89	c
13.79/13.89	c core #81
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 701	Core Weight: 1	Total Weight: 95
13.79/13.89	c Current CPU time: 13.367 s
13.79/13.89	c
13.79/13.89	c core #82
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 96
13.79/13.89	c Current CPU time: 13.5149 s
13.79/13.89	c
13.79/13.89	c core #83
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 101	Core Weight: 1	Total Weight: 97
13.79/13.89	c Current CPU time: 13.6709 s
13.79/13.89	c
13.79/13.89	c core #84
13.79/13.89	c 
13.79/13.89	c 
13.79/13.89	c Core size: 801	Core Weight: 1	Total Weight: 98
13.79/13.89	c Current CPU time: 13.8229 s
20.19/20.21	c
20.19/20.21	c core #85
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 99
20.19/20.21	c Current CPU time: 13.9789 s
20.19/20.21	c
20.19/20.21	c core #86
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 100
20.19/20.21	c Current CPU time: 14.1269 s
20.19/20.21	c
20.19/20.21	c core #87
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 101
20.19/20.21	c Current CPU time: 14.2848 s
20.19/20.21	c
20.19/20.21	c core #88
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 102
20.19/20.21	c Current CPU time: 14.4348 s
20.19/20.21	c
20.19/20.21	c core #89
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 103
20.19/20.21	c Current CPU time: 14.5908 s
20.19/20.21	c
20.19/20.21	c core #90
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 1401	Core Weight: 1	Total Weight: 104
20.19/20.21	c Current CPU time: 14.7468 s
20.19/20.21	c
20.19/20.21	c core #91
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 2	Total Weight: 106
20.19/20.21	c Current CPU time: 14.9067 s
20.19/20.21	c
20.19/20.21	c core #92
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 107
20.19/20.21	c Current CPU time: 15.0567 s
20.19/20.21	c
20.19/20.21	c core #93
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 201	Core Weight: 1	Total Weight: 108
20.19/20.21	c Current CPU time: 15.2177 s
20.19/20.21	c
20.19/20.21	c core #94
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 109
20.19/20.21	c Current CPU time: 15.3677 s
20.19/20.21	c
20.19/20.21	c core #95
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 110
20.19/20.21	c Current CPU time: 15.5256 s
20.19/20.21	c
20.19/20.21	c core #96
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 111
20.19/20.21	c Current CPU time: 15.6756 s
20.19/20.21	c
20.19/20.21	c core #97
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 112
20.19/20.21	c Current CPU time: 15.8326 s
20.19/20.21	c
20.19/20.21	c core #98
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 113
20.19/20.21	c Current CPU time: 15.9826 s
20.19/20.21	c
20.19/20.21	c core #99
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 301	Core Weight: 1	Total Weight: 114
20.19/20.21	c Current CPU time: 16.1425 s
20.19/20.21	c
20.19/20.21	c core #100
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 115
20.19/20.21	c Current CPU time: 16.2925 s
20.19/20.21	c
20.19/20.21	c core #101
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 116
20.19/20.21	c Current CPU time: 16.4505 s
20.19/20.21	c
20.19/20.21	c core #102
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 117
20.19/20.21	c Current CPU time: 16.6005 s
20.19/20.21	c
20.19/20.21	c core #103
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 118
20.19/20.21	c Current CPU time: 16.7605 s
20.19/20.21	c
20.19/20.21	c core #104
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 119
20.19/20.21	c Current CPU time: 16.9114 s
20.19/20.21	c
20.19/20.21	c core #105
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 301	Core Weight: 2	Total Weight: 121
20.19/20.21	c Current CPU time: 17.0704 s
20.19/20.21	c
20.19/20.21	c core #106
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 122
20.19/20.21	c Current CPU time: 17.2204 s
20.19/20.21	c
20.19/20.21	c core #107
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 2	Total Weight: 124
20.19/20.21	c Current CPU time: 17.3794 s
20.19/20.21	c
20.19/20.21	c core #108
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 125
20.19/20.21	c Current CPU time: 17.5323 s
20.19/20.21	c
20.19/20.21	c core #109
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 201	Core Weight: 1	Total Weight: 126
20.19/20.21	c Current CPU time: 17.6903 s
20.19/20.21	c
20.19/20.21	c core #110
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 127
20.19/20.21	c Current CPU time: 17.8413 s
20.19/20.21	c
20.19/20.21	c core #111
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 128
20.19/20.21	c Current CPU time: 18.0003 s
20.19/20.21	c
20.19/20.21	c core #112
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 201	Core Weight: 1	Total Weight: 129
20.19/20.21	c Current CPU time: 18.1542 s
20.19/20.21	c
20.19/20.21	c core #113
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 130
20.19/20.21	c Current CPU time: 18.3122 s
20.19/20.21	c
20.19/20.21	c core #114
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 131
20.19/20.21	c Current CPU time: 18.4642 s
20.19/20.21	c
20.19/20.21	c core #115
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 1801	Core Weight: 1	Total Weight: 132
20.19/20.21	c Current CPU time: 18.6332 s
20.19/20.21	c
20.19/20.21	c core #116
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 133
20.19/20.21	c Current CPU time: 18.7911 s
20.19/20.21	c
20.19/20.21	c core #117
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 1965	Core Weight: 1	Total Weight: 134
20.19/20.21	c Current CPU time: 18.9631 s
20.19/20.21	c
20.19/20.21	c core #118
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 2468	Core Weight: 1	Total Weight: 135
20.19/20.21	c Current CPU time: 19.1381 s
20.19/20.21	c
20.19/20.21	c core #119
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 1720	Core Weight: 1	Total Weight: 136
20.19/20.21	c Current CPU time: 19.3141 s
20.19/20.21	c
20.19/20.21	c core #120
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 137
20.19/20.21	c Current CPU time: 19.476 s
20.19/20.21	c
20.19/20.21	c core #121
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 201	Core Weight: 1	Total Weight: 138
20.19/20.21	c Current CPU time: 19.639 s
20.19/20.21	c
20.19/20.21	c core #122
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 101	Core Weight: 1	Total Weight: 139
20.19/20.21	c Current CPU time: 19.8 s
20.19/20.21	c
20.19/20.21	c core #123
20.19/20.21	c 
20.19/20.21	c 
20.19/20.21	c Core size: 701	Core Weight: 1	Total Weight: 140
20.19/20.21	c Current CPU time: 19.968 s
20.19/20.21	c
20.19/20.21	c ============================[ Search Statistics ]==============================
20.19/20.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.19/20.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.19/20.21	c ===============================================================================
20.19/20.21	c |         0 |   25811   692456    48382 |   230818        0   -nan |  0.000 % |
20.19/20.21	c ===============================================================================
20.29/20.38	c core #124
20.29/20.38	c 
20.29/20.38	c 
20.29/20.38	c Core size: 495	Core Weight: 1	Total Weight: 141
20.29/20.38	c Current CPU time: 20.1379 s
20.29/20.38	c
20.29/20.38	c ============================[ Search Statistics ]==============================
20.29/20.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.29/20.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.29/20.38	c ===============================================================================
20.29/20.38	c |         0 |   26305   692934    48953 |   230978        0   -nan |  0.000 % |
20.29/20.39	c ===============================================================================
20.49/20.56	c core #125
20.49/20.56	c 
20.49/20.56	c 
20.49/20.56	c Core size: 1074	Core Weight: 1	Total Weight: 142
20.49/20.56	c Current CPU time: 20.3169 s
20.49/20.56	c
20.49/20.56	c ============================[ Search Statistics ]==============================
20.49/20.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.49/20.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.49/20.56	c ===============================================================================
20.49/20.56	c |         0 |   27483   693968    50468 |   231322        0   -nan |  0.000 % |
20.49/20.57	c ===============================================================================
20.69/20.75	c core #126
20.69/20.75	c 
20.69/20.75	c 
20.69/20.75	c Core size: 1066	Core Weight: 1	Total Weight: 143
20.69/20.75	c Current CPU time: 20.4969 s
20.69/20.75	c
20.69/20.75	c ============================[ Search Statistics ]==============================
20.69/20.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.69/20.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.69/20.75	c ===============================================================================
20.69/20.75	c |         0 |   28545   695000    51804 |   231666        0   -nan |  0.000 % |
20.69/20.76	c ===============================================================================
20.91/20.94	c core #127
20.91/20.94	c 
20.91/20.94	c 
20.91/20.94	c Core size: 1622	Core Weight: 1	Total Weight: 144
20.91/20.94	c Current CPU time: 20.6889 s
20.91/20.94	c
20.91/20.94	c ============================[ Search Statistics ]==============================
20.91/20.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.91/20.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.91/20.94	c ===============================================================================
20.91/20.94	c |         0 |   30158   696578    53634 |   232192        0   -nan |  0.000 % |
20.91/20.95	c ===============================================================================
21.09/21.13	c core #128
21.09/21.13	c 
21.09/21.13	c 
21.09/21.13	c Core size: 1087	Core Weight: 1	Total Weight: 145
21.09/21.13	c Current CPU time: 20.8738 s
21.09/21.13	c
21.09/21.13	c ============================[ Search Statistics ]==============================
21.09/21.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.09/21.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.09/21.13	c ===============================================================================
21.09/21.13	c |         0 |   31245   697606    55104 |   232535        0   -nan |  0.000 % |
21.19/21.21	c ===============================================================================
21.29/21.39	c core #129
21.29/21.39	c 
21.29/21.39	c 
21.29/21.39	c Core size: 3179	Core Weight: 1	Total Weight: 146
21.29/21.39	c Current CPU time: 21.1328 s
21.29/21.39	c
21.29/21.39	c ============================[ Search Statistics ]==============================
21.29/21.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.29/21.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.29/21.39	c ===============================================================================
21.29/21.39	c |         0 |   34650   700649    59544 |   233549        0   -nan |  0.000 % |
21.39/21.45	c ===============================================================================
21.60/21.64	c core #130
21.60/21.64	c 
21.60/21.64	c 
21.60/21.64	c Core size: 2685	Core Weight: 1	Total Weight: 147
21.60/21.64	c Current CPU time: 21.3688 s
21.60/21.64	c
21.60/21.64	c ============================[ Search Statistics ]==============================
21.60/21.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.60/21.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.60/21.64	c ===============================================================================
21.60/21.64	c |         0 |   37348   703206    62877 |   234402        0   -nan |  0.000 % |
21.69/21.70	c |       102 |   37348   703206    62877 |   257842      102   1720 | 20.448 % |
22.19/22.24	c ===============================================================================
22.39/22.43	c core #131
22.39/22.43	c 
22.39/22.43	c 
22.39/22.43	c Core size: 6777	Core Weight: 1	Total Weight: 148
22.39/22.43	c Current CPU time: 22.1496 s
22.39/22.43	c
22.39/22.43	c ============================[ Search Statistics ]==============================
22.39/22.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.39/22.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.39/22.43	c ===============================================================================
22.39/22.43	c |         0 |   44295   709584    72037 |   236528        0   -nan |  0.000 % |
22.39/22.48	c |       102 |   44295   709584    72037 |   260180      102   1333 | 17.546 % |
22.59/22.68	c |       257 |   44295   709584    72037 |   286198      257   2225 | 17.546 % |
22.89/22.92	c |       482 |   44294   709584    72037 |   314818      482   2340 | 17.548 % |
23.11/23.19	c |       821 |   44290   709584    72037 |   346300      821   2471 | 17.570 % |
24.21/24.28	c ===============================================================================
24.39/24.49	c core #132
24.39/24.49	c 
24.39/24.49	c 
24.39/24.49	c Core size: 9228	Core Weight: 1	Total Weight: 149
24.39/24.49	c Current CPU time: 24.1753 s
24.39/24.49	c
24.39/24.49	c ============================[ Search Statistics ]==============================
24.39/24.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.39/24.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
24.39/24.49	c ===============================================================================
24.39/24.49	c |         0 |   53615   717886    84765 |   239295        0   -nan |  0.000 % |
24.49/24.54	c |       101 |   53615   717886    84765 |   263224      101   1233 | 14.820 % |
24.69/24.70	c |       253 |   53615   717886    84765 |   289547      253   1728 | 14.820 % |
24.90/24.90	c |       479 |   53615   717886    84765 |   318502      479   1439 | 14.820 % |
25.21/25.26	c |       817 |   53615   717886    84765 |   350352      817   1200 | 14.820 % |
25.69/25.77	c |      1326 |   53614   717886    84765 |   385387     1326   1267 | 14.821 % |
26.49/26.56	c |      2085 |   53613   717886    84765 |   423926     2085   1309 | 14.823 % |
27.69/27.76	c |      3225 |   53612   717886    84765 |   466318     3225   1339 | 14.825 % |
29.79/29.89	c |      4934 |   53612   717886    84765 |   512950     4934   1494 | 14.825 % |
32.79/32.91	c |      7496 |   53612   717886    84765 |   564245     7496   1532 | 14.825 % |
37.41/37.47	c |     11340 |   53612   717886    84765 |   620670    11340   1544 | 14.825 % |
45.39/45.40	c |     17108 |   53611   717886    84765 |   682737    17108   1657 | 14.826 % |
59.90/59.95	c |     25760 |   53594   717886    84765 |   751011    25760   2235 | 14.853 % |
63.29/63.32	c ===============================================================================
63.59/63.65	c core #133
63.59/63.65	c 
63.59/63.65	c 
63.59/63.65	c Core size: 10428	Core Weight: 1	Total Weight: 150
63.59/63.65	c Current CPU time: 63.1494 s
63.59/63.65	c
63.59/63.65	c ============================[ Search Statistics ]==============================
63.59/63.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
63.59/63.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
63.59/63.65	c ===============================================================================
63.59/63.65	c |         0 |   64135   726744   100335 |   242248        0   -nan |  0.000 % |
63.71/63.74	c |       100 |   64135   726744   100335 |   266472      100   1854 | 12.568 % |
63.89/63.90	c |       253 |   64135   726744   100335 |   293120      253   1179 | 12.568 % |
64.09/64.12	c |       478 |   64135   726744   100335 |   322432      478    906 | 12.568 % |
64.49/64.58	c |       816 |   64135   726744   100335 |   354675      816    859 | 12.568 % |
65.19/65.22	c |      1323 |   64135   726744   100335 |   390142     1323    762 | 12.568 % |
66.09/66.16	c |      2083 |   64135   726744   100335 |   429157     2083    833 | 12.568 % |
67.79/67.86	c |      3222 |   64135   726744   100335 |   472072     3222    788 | 12.568 % |
70.90/70.94	c |      4931 |   64135   726744   100335 |   519280     4931    951 | 12.568 % |
74.60/74.63	c |      7494 |   64135   726744   100335 |   571208     7494   1068 | 12.568 % |
80.40/80.42	c |     11339 |   64135   726744   100335 |   628328    11339   1102 | 12.568 % |
89.39/89.44	c |     17105 |   64134   726744   100335 |   691161    17105   1225 | 12.569 % |
105.09/105.14	c |     25754 |   64132   726744   100335 |   760277    25754   1509 | 12.572 % |
134.70/134.73	c |     38729 |   64132   726744   100335 |   836305    38729   1744 | 12.572 % |
183.50/183.56	c |     58190 |   64131   726744   100335 |   919936    58190   1975 | 12.573 % |
306.50/306.54	c |     87382 |   64131   726744   100335 |  1011930    87382   2926 | 12.573 % |
450.80/450.85	c |    131174 |   64131   726744   100335 |  1113123   131174   3148 | 12.573 % |
719.43/719.49	c |    196858 |   64130   726744   100335 |  1224435   196858   3417 | 12.575 % |
1158.24/1158.27	c |    295385 |   64130   726744   100335 |  1346878   295385   3330 | 12.575 % |

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-3460842-1307077720/watcher-3460842-1307077720 -o /tmp/evaluation-result-3460842-1307077720/solver-3460842-1307077720 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460842-1307077720.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.00 2.00 2.00 2/400 25140
/proc/meminfo: memFree=29577232/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=21596 CPUtime=0.01 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 931 0 0 0 1 0 0 0 25 0 1 0 819371853 22114304 885 33554432000 4194304 5714214 140737420567904 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 5399 885 204 372 0 816 0

[startup+0.0502999 s]
/proc/loadavg: 2.00 2.00 2.00 2/400 25140
/proc/meminfo: memFree=29577232/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=23704 CPUtime=0.04 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 1573 0 0 0 4 0 0 0 25 0 1 0 819371853 24272896 1527 33554432000 4194304 5714214 140737420567904 18446744073709551615 4222928 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 5926 1528 338 372 0 1343 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23704

[startup+0.100294 s]
/proc/loadavg: 2.00 2.00 2.00 2/400 25140
/proc/meminfo: memFree=29577232/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=25948 CPUtime=0.09 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 2345 0 0 0 9 0 0 0 25 0 1 0 819371853 26570752 2266 33554432000 4194304 5714214 140737420567904 18446744073709551615 4942784 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 6487 2267 526 372 0 1904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25948

[startup+0.300319 s]
/proc/loadavg: 2.00 2.00 2.00 2/400 25140
/proc/meminfo: memFree=29577232/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=36040 CPUtime=0.29 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 5668 0 0 0 29 0 0 0 25 0 1 0 819371853 36904960 5395 33554432000 4194304 5714214 140737420567904 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 9010 5397 1257 372 0 4427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36040

[startup+0.700188 s]
/proc/loadavg: 2.00 2.00 2.00 2/400 25140
/proc/meminfo: memFree=29577232/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=54796 CPUtime=0.69 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 12003 0 0 0 67 2 0 0 25 0 1 0 819371853 56111104 11473 33554432000 4194304 5714214 140737420567904 18446744073709551615 5202568 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 13699 11474 2728 372 0 9116 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54796

[startup+1.50105 s]
/proc/loadavg: 2.00 2.00 2.00 4/401 25141
/proc/meminfo: memFree=29527804/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=160652 CPUtime=1.5 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 44599 0 0 0 144 6 0 0 25 0 1 0 819371853 164507648 39348 33554432000 4194304 5714214 140737420567904 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 40196 39353 172 372 0 39821 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 160652

[startup+3.10083 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 25141
/proc/meminfo: memFree=29403704/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=178336 CPUtime=3.1 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 50960 0 0 0 303 7 0 0 25 0 1 0 819371853 182616064 42964 33554432000 4194304 5714214 140737420567904 18446744073709551615 4355851 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 44584 42964 175 372 0 44209 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 178336

[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 25141
/proc/meminfo: memFree=29403200/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=178336 CPUtime=6.3 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 50968 0 0 0 623 7 0 0 25 0 1 0 819371853 182616064 42972 33554432000 4194304 5714214 140737420567904 18446744073709551615 4355582 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 44584 42972 175 372 0 44209 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 178336

[startup+12.7011 s]
/proc/loadavg: 2.15 2.03 2.01 3/401 25141
/proc/meminfo: memFree=29395280/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=178336 CPUtime=12.7 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 50987 0 0 0 1263 7 0 0 25 0 1 0 819371853 182616064 42991 33554432000 4194304 5714214 140737420567904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 44584 42991 175 372 0 44209 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 178336

[startup+25.5008 s]
/proc/loadavg: 2.12 2.03 2.01 3/401 25142
/proc/meminfo: memFree=29354312/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=215392 CPUtime=25.49 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 61191 0 0 0 2536 13 0 0 25 0 1 0 819371853 220561408 51826 33554432000 4194304 5714214 140737420567904 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 53848 51826 180 372 0 53473 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 215392

[startup+51.1002 s]
/proc/loadavg: 2.08 2.03 2.01 3/401 25142
/proc/meminfo: memFree=29240752/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=323416 CPUtime=51.09 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 88965 0 0 0 5086 23 0 0 25 0 1 0 819371853 331177984 79600 33554432000 4194304 5714214 140737420567904 18446744073709551615 4322653 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 80854 79600 180 372 0 80479 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 323416

[startup+102.315 s]
/proc/loadavg: 2.03 2.02 2.00 3/401 25144
/proc/meminfo: memFree=29077924/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=465036 CPUtime=102.3 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 123287 0 0 0 10190 40 0 0 25 0 1 0 819371853 476196864 113922 33554432000 4194304 5714214 140737420567904 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 116259 113922 180 372 0 115884 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 465036

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 25145
/proc/meminfo: memFree=28980428/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=540388 CPUtime=162.29 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 142784 0 0 0 16177 52 0 0 25 0 1 0 819371853 553357312 133419 33554432000 4194304 5714214 140737420567904 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 135097 133419 180 372 0 134722 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 540388

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 25147
/proc/meminfo: memFree=28659608/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=830800 CPUtime=222.29 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 215330 0 0 0 22158 71 0 0 25 0 1 0 819371853 850739200 205965 33554432000 4194304 5714214 140737420567904 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 207700 205965 180 372 0 207325 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 830800

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 25177
/proc/meminfo: memFree=28948192/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=1057208 CPUtime=282.29 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 271954 0 0 0 28146 83 0 0 25 0 1 0 819371853 1082580992 262589 33554432000 4194304 5714214 140737420567904 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 264302 262589 180 372 0 263927 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1057208

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 25178
/proc/meminfo: memFree=28445540/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=1328692 CPUtime=342.3 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 339761 0 0 0 34130 100 0 0 25 0 1 0 819371853 1360580608 330396 33554432000 4194304 5714214 140737420567904 18446744073709551615 4310902 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 332173 330396 180 372 0 331798 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1328692

[startup+402.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/401 25180
/proc/meminfo: memFree=27799480/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=1611696 CPUtime=402.3 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 410523 0 0 0 40115 115 0 0 25 0 1 0 819371853 1650376704 401158 33554432000 4194304 5714214 140737420567904 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 402924 401158 180 372 0 402549 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1611696

[startup+462.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 25181
/proc/meminfo: memFree=27228800/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=1845688 CPUtime=462.3 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 469035 0 0 0 46100 130 0 0 25 0 1 0 819371853 1889984512 459670 33554432000 4194304 5714214 140737420567904 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 461422 459670 180 372 0 461047 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1845688

[startup+522.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/401 25183
/proc/meminfo: memFree=26694688/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=2097868 CPUtime=522.3 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 531966 0 0 0 52083 147 0 0 25 0 1 0 819371853 2148216832 522601 33554432000 4194304 5714214 140737420567904 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 524467 522601 180 372 0 524092 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2097868

[startup+582.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/401 25185
/proc/meminfo: memFree=26196776/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=2318808 CPUtime=582.31 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 587233 0 0 0 58069 162 0 0 25 0 1 0 819371853 2374459392 577868 33554432000 4194304 5714214 140737420567904 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 579702 577868 180 372 0 579327 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2318808

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 25193
/proc/meminfo: memFree=24880696/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=3291920 CPUtime=882.31 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 830311 0 0 0 88005 226 0 0 25 0 1 0 819371853 3370926080 820946 33554432000 4194304 5714214 140737420567904 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 822980 820946 180 372 0 822605 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 3291920

[startup+942.301 s]
/proc/loadavg: 2.15 2.03 2.01 3/401 25194
/proc/meminfo: memFree=24712028/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=3462268 CPUtime=942.32 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 872918 0 0 0 93992 240 0 0 25 0 1 0 819371853 3545362432 863553 33554432000 4194304 5714214 140737420567904 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 865567 863553 180 372 0 865192 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 3462268

[startup+1002.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/401 25196
/proc/meminfo: memFree=24558000/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=3615788 CPUtime=1002.32 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 911280 0 0 0 99981 251 0 0 25 0 1 0 819371853 3702566912 901915 33554432000 4194304 5714214 140737420567904 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 903947 901915 180 372 0 903572 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 3615788

[startup+1062.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/401 25197
/proc/meminfo: memFree=24386736/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=3786184 CPUtime=1062.32 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 953797 0 0 0 105971 261 0 0 25 0 1 0 819371853 3877052416 944432 33554432000 4194304 5714214 140737420567904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 946546 944432 180 372 0 946171 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3786184

[startup+1122.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/401 25199
/proc/meminfo: memFree=24196248/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=3951208 CPUtime=1122.32 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 995068 0 0 0 111962 270 0 0 25 0 1 0 819371853 4046036992 985703 33554432000 4194304 5714214 140737420567904 18446744073709551615 4319405 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 987802 985703 180 372 0 987427 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3951208

[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/401 25201
/proc/meminfo: memFree=23842832/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=4136948 CPUtime=1182.32 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 1041483 0 0 0 117953 279 0 0 25 0 1 0 819371853 4236234752 1032118 33554432000 4194304 5714214 140737420567904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 1034237 1032118 180 372 0 1033862 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 4136948

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/401 25202
/proc/meminfo: memFree=23518268/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=4268248 CPUtime=1242.33 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 1074278 0 0 0 123946 287 0 0 25 0 1 0 819371853 4370685952 1064913 33554432000 4194304 5714214 140737420567904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 1067062 1064913 180 372 0 1066687 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 4268248

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 25204
/proc/meminfo: memFree=23156168/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=4429180 CPUtime=1302.34 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 1114184 0 0 0 129937 297 0 0 25 0 1 0 819371853 4535480320 1104819 33554432000 4194304 5714214 140737420567904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 1107295 1104819 180 372 0 1106920 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 4429180

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 25205
/proc/meminfo: memFree=22747692/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=4617776 CPUtime=1362.33 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 1161365 0 0 0 135926 307 0 0 25 0 1 0 819371853 4728602624 1152000 33554432000 4194304 5714214 140737420567904 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 1154444 1152000 180 372 0 1154069 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 4617776

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 25207
/proc/meminfo: memFree=22353472/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=4776760 CPUtime=1422.34 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 1201077 0 0 0 141917 317 0 0 25 0 1 0 819371853 4891402240 1191712 33554432000 4194304 5714214 140737420567904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 1194190 1191712 180 372 0 1193815 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 4776760

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 25209
/proc/meminfo: memFree=21960620/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=4935344 CPUtime=1482.33 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 1240738 0 0 0 147906 327 0 0 25 0 1 0 819371853 5053792256 1231373 33554432000 4194304 5714214 140737420567904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 1233836 1231373 180 372 0 1233461 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 4935344

[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/401 25210
/proc/meminfo: memFree=21632244/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=5091292 CPUtime=1542.33 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 1279716 0 0 0 153897 336 0 0 25 0 1 0 819371853 5213483008 1270351 33554432000 4194304 5714214 140737420567904 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 1272823 1270351 180 372 0 1272448 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 5091292

[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/401 25212
/proc/meminfo: memFree=21308952/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=5230184 CPUtime=1602.33 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 1314366 0 0 0 159890 343 0 0 25 0 1 0 819371853 5355708416 1305001 33554432000 4194304 5714214 140737420567904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 1307546 1305001 180 372 0 1307171 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 5230184

[startup+1662.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/401 25213
/proc/meminfo: memFree=21003148/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=5374424 CPUtime=1662.34 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 1350404 0 0 0 165883 351 0 0 25 0 1 0 819371853 5503410176 1341039 33554432000 4194304 5714214 140737420567904 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 1343606 1341039 180 372 0 1343231 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 5374424

[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/401 25215
/proc/meminfo: memFree=20706892/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=5503992 CPUtime=1722.34 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 1382759 0 0 0 171875 359 0 0 25 0 1 0 819371853 5636087808 1373394 33554432000 4194304 5714214 140737420567904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 1375998 1373394 180 372 0 1375623 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 5503992

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/401 25217
/proc/meminfo: memFree=20439276/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=5603304 CPUtime=1782.34 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 1407472 0 0 0 177867 367 0 0 25 0 1 0 819371853 5737783296 1398107 33554432000 4194304 5714214 140737420567904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 1400826 1398107 180 372 0 1400451 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 5603304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.04 2.00 3/401 25217
/proc/meminfo: memFree=20343416/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=5643592 CPUtime=1800.06 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4202496 1417530 0 0 0 179636 370 0 0 25 0 1 0 819371853 5779038208 1408165 33554432000 4194304 5714214 140737420567904 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25140/statm: 1410898 1408165 180 372 0 1410523 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 5643592

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.02 2.04 2.00 3/401 25217
/proc/meminfo: memFree=20343416/32950904 swapFree=56615552/67111528
[pid=25140] ppid=25138 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/25140/stat : 25140 (wbo1.6) R 25138 25140 19672 0 -1 4203524 1417530 0 0 0 179636 388 0 0 25 0 1 0 819371853 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/25140/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.24
CPU time (s): 1800.28
CPU user time (s): 1796.36
CPU system time (s): 3.9204
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 5643592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.36
system time used= 3.9204
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1417530
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= 11
involuntary context switches= 989

runsolver used 6.52901 second user time and 16.4265 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-03 07:08:41
IDJOB=3460842
IDBENCH=1966
IDSOLVER=1953
FILE ID=node121/3460842-1307077720
RUNJOBID= node121-1307065826-20256
PBS_JOBID= 13497865
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_2.opb.PB06.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460842-1307077720/watcher-3460842-1307077720 -o /tmp/evaluation-result-3460842-1307077720/solver-3460842-1307077720 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460842-1307077720.opb

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

MD5SUM BENCH= 751aa23355f7a016eeb9009a33a863ac
RANDOM SEED=562190086

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      29577512 kB
Buffers:        264280 kB
Cached:         387064 kB
SwapCached:       9896 kB
Active:        2758380 kB
Inactive:       355796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      29577512 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:           21124 kB
Writeback:           0 kB
AnonPages:     2460168 kB
Mapped:          13900 kB
Slab:           139868 kB
PageTables:      53096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 84148664 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= 73912 MiB
End job on node121 at 2011-06-03 07:38:43