Trace number 2680584

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.4b (fixed)? (MO) 1727.39 1728.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
MD5SUM6389567e651775a5f815611581d2023e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark557
Best CPU time to get the best result obtained on this benchmark1802.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 474
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 494177
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 494177
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c wbo 1.4 beta - 20100610
0.00/0.01	c Parsing opb file format. File HOME/instance-2680584-1277451716.opb.
0.00/0.01	c Instance file HOME/instance-2680584-1277451716.opb
0.00/0.01	c File size is 17233678 bytes.
2.98/3.05	c Highest Coefficient sum: 101
2.98/3.06	c ============================[ Problem Statistics ]=============================
2.98/3.06	c |                                                                             |
2.98/3.06	c |  Parsing time:          3.02         s                                      |
2.98/3.06	c |  Number Variables:      10000                                               |
2.98/3.06	c |  Number Clauses:        656900                                              |
2.98/3.06	c |  Number Cardinality:    0                                                   |
2.98/3.06	c |  Number PB Constraints: 0                                                   |
6.59/6.61	c ============================[ Search Statistics ]==============================
6.59/6.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.59/6.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.59/6.61	c ===============================================================================
6.59/6.61	c |         0 |   10000   656900  1333400 |   218966        0    nan |  0.000 % |
6.59/6.69	c |       100 |   10000   656900  1333400 |   240863      100    958 |  0.000 % |
6.79/6.82	c |       251 |   10000   656900  1333400 |   264949      251   1339 |  0.000 % |
7.08/7.12	c ===============================================================================
7.08/7.12	c New solution: 6940
7.08/7.12	o 6940
7.08/7.12	c Elapsed CPU time: 7.02393 s	Remaining CPU time: 172.976 s
7.08/7.12	c ===============================================================================
7.08/7.12	c |       283 |   10000   656901  1343400 |   218967      283   1242 |  0.000 % |
7.39/7.42	c ===============================================================================
7.39/7.42	c New solution: 6431
7.39/7.42	o 6431
7.39/7.42	c Elapsed CPU time: 7.31989 s	Remaining CPU time: 172.68 s
7.39/7.42	c ===============================================================================
7.39/7.42	c |       289 |   10000   656902  1353400 |   218967      289   1221 |  0.000 % |
7.49/7.50	c |       389 |   10000   656902  1353400 |   240864      389   1092 |  0.000 % |
7.59/7.64	c |       539 |   10000   656902  1353400 |   264950      539    938 |  0.000 % |
7.78/7.87	c |       764 |   10000   656902  1353400 |   291445      764    909 |  0.000 % |
8.08/8.12	c |      1101 |   10000   656902  1353400 |   320590     1101   1026 |  0.000 % |
8.48/8.56	c |      1608 |   10000   656902  1353400 |   352649     1608   1050 |  0.000 % |
9.19/9.23	c |      2367 |   10000   656902  1353400 |   387913     2367   1065 |  0.000 % |
10.08/10.15	c |      3506 |   10000   656902  1353400 |   426705     3506    903 |  0.000 % |
11.58/11.65	c |      5214 |   10000   656902  1353400 |   469375     5214    828 |  0.000 % |
12.88/12.96	c ===============================================================================
12.88/12.96	c New solution: 6428
12.88/12.96	o 6428
12.88/12.96	c Elapsed CPU time: 12.8091 s	Remaining CPU time: 167.191 s
12.88/12.96	c ===============================================================================
12.88/12.96	c |      6469 |   10000   656903  1363400 |   218967     6469    816 |  0.000 % |
13.19/13.29	c ===============================================================================
13.19/13.29	c New solution: 6422
13.19/13.29	o 6422
13.19/13.29	c Elapsed CPU time: 13.139 s	Remaining CPU time: 166.861 s
13.19/13.29	c ===============================================================================
13.19/13.29	c |      6490 |   10000   656904  1373400 |   218968     6490    816 |  0.000 % |
13.48/13.60	c ===============================================================================
13.48/13.60	c New solution: 5580
13.48/13.60	o 5580
13.48/13.60	c Elapsed CPU time: 13.442 s	Remaining CPU time: 166.558 s
13.48/13.60	c ===============================================================================
13.48/13.60	c |      6491 |   10000   656905  1383400 |   218968     6491    816 |  0.000 % |
13.68/13.71	c |      6591 |   10000   656905  1383400 |   240865     6591    815 |  0.000 % |
13.78/13.89	c |      6742 |   10000   656905  1383400 |   264951     6742    815 |  0.000 % |
14.08/14.12	c |      6968 |   10000   656905  1383400 |   291446     6968    807 |  0.000 % |
14.38/14.44	c |      7305 |   10000   656905  1383400 |   320591     7305    800 |  0.000 % |
15.09/15.17	c |      7814 |   10000   656905  1383400 |   352650     7814    781 |  0.000 % |
15.88/15.98	c |      8574 |   10000   656905  1383400 |   387915     8574    811 |  0.000 % |
16.98/17.09	c |      9713 |   10000   656905  1383400 |   426707     9713    784 |  0.000 % |
18.98/19.05	c |     11422 |   10000   656905  1383400 |   469378    11422    747 |  0.000 % |
21.68/21.75	c |     13986 |   10000   656905  1383400 |   516315    13986    703 |  0.000 % |
27.18/27.28	c |     17831 |   10000   656905  1383400 |   567947    17831    678 |  0.000 % |
35.17/35.27	c |     23597 |   10000   656905  1383400 |   624742    23597    632 |  0.000 % |
38.16/38.28	c ===============================================================================
38.16/38.28	c New solution: 5577
38.16/38.28	o 5577
38.16/38.28	c Elapsed CPU time: 37.9982 s	Remaining CPU time: 142.002 s
38.16/38.28	c ===============================================================================
38.16/38.28	c |     26011 |   10000   656906  1393400 |   218968    26011    621 |  0.000 % |
38.37/38.44	c |     26111 |   10000   656906  1393400 |   240865    26111    620 |  0.000 % |
38.66/38.74	c |     26262 |   10000   656906  1393400 |   264952    26262    621 |  0.000 % |
38.97/39.08	c |     26487 |   10000   656906  1393400 |   291447    26487    620 |  0.000 % |
39.47/39.55	c |     26824 |   10000   656906  1393400 |   320592    26824    622 |  0.000 % |
40.16/40.20	c |     27330 |   10000   656906  1393400 |   352651    27330    624 |  0.000 % |
41.07/41.12	c |     28090 |   10000   656906  1393400 |   387916    28090    624 |  0.000 % |
42.46/42.58	c |     29232 |   10000   656906  1393400 |   426707    29232    632 |  0.000 % |
44.46/44.57	c |     30941 |   10000   656906  1393400 |   469378    30941    636 |  0.000 % |
47.55/47.64	c |     33503 |   10000   656906  1393400 |   516316    33503    635 |  0.000 % |
52.46/52.51	c |     37347 |   10000   656906  1393400 |   567948    37347    636 |  0.000 % |
60.75/60.83	c |     43113 |   10000   656906  1393400 |   624743    43113    615 |  0.000 % |
72.84/72.92	c |     51763 |   10000   656906  1393400 |   687217    51763    629 |  0.000 % |
90.54/90.67	c |     64738 |   10000   656906  1393400 |   755939    64738    689 |  0.000 % |
140.81/140.96	c |     84199 |   10000   656906  1393400 |   831533    84199   1041 |  0.000 % |
180.90/181.09	c There are 0 assigned variables. 0 in cost function.
203.19/203.35	c core #1
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 1
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #2
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 2
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #3
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 3
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #4
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 4
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #5
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 5
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #6
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 6
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #7
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 2	Total Weight: 8
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #8
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 9
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #9
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 10
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #10
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 11
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #11
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 2	Total Weight: 13
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #12
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 2	Total Weight: 15
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #13
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 16
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #14
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 17
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #15
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 18
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #16
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 3	Total Weight: 21
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #17
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 22
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #18
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 23
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #19
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 24
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #20
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 25
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #21
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 401	Core Weight: 1	Total Weight: 26
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #22
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 27
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #23
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 28
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #24
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 29
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #25
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 30
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #26
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 31
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #27
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 32
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #28
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 33
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #29
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 34
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #30
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 35
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #31
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 36
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #32
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 37
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #33
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 38
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #34
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 39
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #35
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 40
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #36
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 41
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #37
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 42
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #38
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 43
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #39
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 44
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #40
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 45
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #41
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 3	Total Weight: 48
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #42
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 49
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #43
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 50
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #44
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 51
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #45
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 201	Core Weight: 1	Total Weight: 52
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #46
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 53
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #47
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 3	Total Weight: 56
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #48
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 301	Core Weight: 1	Total Weight: 57
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #49
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 58
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #50
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 59
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #51
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 201	Core Weight: 2	Total Weight: 61
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #52
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 62
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #53
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 63
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #54
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 64
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #55
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 65
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #56
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 66
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #57
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 201	Core Weight: 1	Total Weight: 67
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #58
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 68
203.19/203.35	c
203.19/203.35	c
203.19/203.35	c core #59
203.19/203.35	c 
203.19/203.35	c 
203.19/203.35	c Core size: 101	Core Weight: 1	Total Weight: 69
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #60
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 201	Core Weight: 1	Total Weight: 70
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #61
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 71
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #62
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 72
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #63
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 73
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #64
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 74
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #65
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 75
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #66
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 201	Core Weight: 3	Total Weight: 78
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #67
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 1101	Core Weight: 1	Total Weight: 79
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #68
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 2	Total Weight: 81
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #69
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 82
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #70
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 83
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #71
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 84
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #72
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 85
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #73
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 86
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #74
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 87
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #75
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 88
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #76
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 89
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #77
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 90
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #78
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 91
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #79
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 92
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #80
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 93
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #81
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 94
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #82
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 95
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #83
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 2	Total Weight: 97
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #84
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 201	Core Weight: 1	Total Weight: 98
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #85
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 99
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #86
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 100
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #87
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 101
225.58/225.72	c
225.58/225.72	c
225.58/225.72	c core #88
225.58/225.72	c 
225.58/225.72	c 
225.58/225.72	c Core size: 101	Core Weight: 1	Total Weight: 102
225.58/225.72	c
225.58/225.73	c
225.58/225.73	c core #89
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 201	Core Weight: 1	Total Weight: 103
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #90
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 1	Total Weight: 104
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #91
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 1	Total Weight: 105
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #92
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 1	Total Weight: 106
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #93
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 1	Total Weight: 107
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #94
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 1	Total Weight: 108
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #95
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 2	Total Weight: 110
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #96
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 1	Total Weight: 111
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #97
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 3	Total Weight: 114
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #98
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 1401	Core Weight: 1	Total Weight: 115
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #99
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 2	Total Weight: 117
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #100
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 2	Total Weight: 119
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #101
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 1	Total Weight: 120
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #102
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 1	Total Weight: 121
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #103
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 1	Total Weight: 122
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #104
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 1	Total Weight: 123
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #105
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 1	Total Weight: 124
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #106
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 1	Total Weight: 125
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #107
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 701	Core Weight: 1	Total Weight: 126
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #108
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 1	Total Weight: 127
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #109
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 2	Total Weight: 129
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #110
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 2	Total Weight: 131
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #111
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 1	Total Weight: 132
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #112
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 101	Core Weight: 1	Total Weight: 133
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #113
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 3729	Core Weight: 1	Total Weight: 134
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #114
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 200	Core Weight: 1	Total Weight: 135
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #115
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 299	Core Weight: 1	Total Weight: 136
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #116
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 301	Core Weight: 1	Total Weight: 137
225.58/225.73	c
225.58/225.73	c
225.58/225.73	c core #117
225.58/225.73	c 
225.58/225.73	c 
225.58/225.73	c Core size: 592	Core Weight: 1	Total Weight: 138
230.79/230.98	c
230.79/230.98	c
230.79/230.98	c core #118
230.79/230.98	c 
230.79/230.98	c 
230.79/230.98	c Core size: 101	Core Weight: 1	Total Weight: 139
230.79/230.98	c
230.79/230.98	c
230.79/230.98	c core #119
230.79/230.98	c 
230.79/230.98	c 
230.79/230.98	c Core size: 200	Core Weight: 2	Total Weight: 141
230.79/230.98	c
230.79/230.98	c
230.79/230.98	c core #120
230.79/230.98	c 
230.79/230.98	c 
230.79/230.98	c Core size: 101	Core Weight: 1	Total Weight: 142
230.79/230.98	c
230.79/230.98	c
230.79/230.98	c core #121
230.79/230.98	c 
230.79/230.98	c 
230.79/230.98	c Core size: 101	Core Weight: 1	Total Weight: 143
230.79/230.98	c
230.79/230.98	c
230.79/230.98	c core #122
230.79/230.98	c 
230.79/230.98	c 
230.79/230.98	c Core size: 201	Core Weight: 2	Total Weight: 145
230.79/230.98	c
230.79/230.98	c
230.79/230.98	c core #123
230.79/230.98	c 
230.79/230.98	c 
230.79/230.98	c Core size: 101	Core Weight: 2	Total Weight: 147
230.79/230.98	c
230.79/230.98	c
230.79/230.98	c core #124
230.79/230.98	c 
230.79/230.98	c 
230.79/230.98	c Core size: 883	Core Weight: 1	Total Weight: 148
230.79/230.98	c
230.79/230.98	c
230.79/230.98	c core #125
230.79/230.98	c 
230.79/230.98	c 
230.79/230.98	c Core size: 201	Core Weight: 1	Total Weight: 149
230.79/230.98	c
230.79/230.98	c
230.79/230.98	c core #126
230.79/230.98	c 
230.79/230.98	c 
230.79/230.98	c Core size: 101	Core Weight: 1	Total Weight: 150
230.79/230.98	c
230.79/230.98	c
230.79/230.98	c core #127
230.79/230.98	c 
230.79/230.98	c 
230.79/230.98	c Core size: 1745	Core Weight: 1	Total Weight: 151
230.79/230.98	c
230.79/230.98	c
230.79/230.98	c core #128
230.79/230.98	c 
230.79/230.98	c 
230.79/230.98	c Core size: 1177	Core Weight: 1	Total Weight: 152
230.79/230.98	c
230.79/230.98	c
230.79/230.98	c core #129
230.79/230.98	c 
230.79/230.98	c 
230.79/230.98	c Core size: 303	Core Weight: 1	Total Weight: 153
230.79/230.98	c
230.79/230.98	c
230.79/230.98	c ============================[ Search Statistics ]==============================
230.79/230.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
230.79/230.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
230.79/230.98	c ===============================================================================
230.79/230.98	c |         0 |   25413   691957    48310 |   230652        0    nan |  0.000 % |
230.79/230.98	c ===============================================================================
231.28/231.41	c core #130
231.28/231.41	c 
231.28/231.41	c 
231.28/231.41	c Core size: 404	Core Weight: 1	Total Weight: 154
231.28/231.41	c
231.28/231.41	c
231.28/231.41	c ============================[ Search Statistics ]==============================
231.28/231.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
231.28/231.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
231.28/231.41	c ===============================================================================
231.28/231.41	c |         0 |   25815   692338    48832 |   230779        0    nan |  0.000 % |
231.28/231.45	c ===============================================================================
231.68/231.87	c core #131
231.68/231.87	c 
231.68/231.87	c 
231.68/231.87	c Core size: 1438	Core Weight: 1	Total Weight: 155
231.68/231.87	c
231.68/231.87	c
231.68/231.87	c ============================[ Search Statistics ]==============================
231.68/231.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
231.68/231.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
231.68/231.87	c ===============================================================================
231.68/231.87	c |         0 |   27355   693736    50673 |   231245        0    nan |  0.000 % |
231.77/231.97	c ===============================================================================
232.27/232.49	c core #132
232.27/232.49	c 
232.27/232.49	c 
232.27/232.49	c Core size: 2267	Core Weight: 1	Total Weight: 156
232.27/232.49	c
232.27/232.49	c
232.27/232.49	c ============================[ Search Statistics ]==============================
232.27/232.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
232.27/232.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
232.27/232.49	c ===============================================================================
232.27/232.49	c |         0 |   29836   695937    53589 |   231979        0    nan |  0.000 % |
232.38/232.54	c ===============================================================================
232.78/232.98	c core #133
232.78/232.98	c 
232.78/232.98	c 
232.78/232.98	c Core size: 1444	Core Weight: 1	Total Weight: 157
232.78/232.98	c
232.78/232.98	c
232.78/232.98	c ============================[ Search Statistics ]==============================
232.78/232.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
232.78/232.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
232.78/232.98	c ===============================================================================
232.78/232.98	c |         0 |   31275   697309    55376 |   232436        0    nan |  0.000 % |
232.98/233.16	c ===============================================================================
233.48/233.60	c core #134
233.48/233.60	c 
233.48/233.60	c 
233.48/233.60	c Core size: 2837	Core Weight: 1	Total Weight: 158
233.48/233.60	c
233.48/233.60	c
233.48/233.60	c ============================[ Search Statistics ]==============================
233.48/233.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
233.48/233.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
233.48/233.60	c ===============================================================================
233.48/233.60	c |         0 |   34136   700047    58811 |   233349        0    nan |  0.000 % |
234.09/234.22	c ===============================================================================
234.48/234.68	c core #135
234.48/234.68	c 
234.48/234.68	c 
234.48/234.68	c Core size: 6007	Core Weight: 1	Total Weight: 159
234.48/234.68	c
234.48/234.68	c
234.48/234.68	c ============================[ Search Statistics ]==============================
234.48/234.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
234.48/234.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
234.48/234.68	c ===============================================================================
234.48/234.68	c |         0 |   40175   705782    66233 |   235260        0    nan |  0.000 % |
234.68/234.84	c |       101 |   40174   705782    66233 |   258786      100    917 | 19.097 % |
234.98/235.13	c |       251 |   40173   705782    66233 |   284665      249   1223 | 19.099 % |
235.58/235.71	c |       476 |   40171   705782    66233 |   313131      472   2083 | 19.103 % |
236.47/236.63	c |       814 |   39937   705782    66233 |   344445      510   1843 | 19.792 % |
237.67/237.86	c ===============================================================================
238.17/238.37	c core #136
238.17/238.37	c 
238.17/238.37	c 
238.17/238.37	c Core size: 8967	Core Weight: 1	Total Weight: 160
238.17/238.37	c
238.17/238.37	c
238.17/238.37	c ============================[ Search Statistics ]==============================
238.17/238.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
238.17/238.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
238.17/238.37	c ===============================================================================
238.17/238.37	c |         0 |   49198   714082    77851 |   238027        0    nan |  0.000 % |
238.38/238.53	c |       100 |   49198   714082    77851 |   261830      100    772 | 16.047 % |
238.68/238.85	c |       251 |   49198   714082    77851 |   288013      251    853 | 16.047 % |
239.28/239.42	c |       480 |   49197   714082    77851 |   316814      479    790 | 16.049 % |
240.18/240.34	c |       817 |   49197   714082    77851 |   348495      816    944 | 16.049 % |
241.58/241.71	c |      1323 |   49197   714082    77851 |   383345     1322    913 | 16.049 % |
243.77/243.93	c |      2083 |   49196   714082    77851 |   421679     2075   1114 | 16.051 % |
247.57/247.71	c |      3222 |   49195   714082    77851 |   463847     3211   1692 | 16.052 % |
253.07/253.26	c |      4930 |   49195   714082    77851 |   510232     4919   1968 | 16.052 % |
265.27/265.46	c |      7493 |   49194   714082    77851 |   561256     7474   2575 | 16.054 % |
276.67/276.86	c ===============================================================================
277.27/277.45	c core #137
277.27/277.45	c 
277.27/277.45	c 
277.27/277.45	c Core size: 10141	Core Weight: 1	Total Weight: 161
277.27/277.45	c
277.27/277.45	c
277.27/277.45	c ============================[ Search Statistics ]==============================
277.27/277.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
277.27/277.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
277.27/277.45	c ===============================================================================
277.27/277.45	c |         0 |   59423   723002    91815 |   241000        0    nan |  0.000 % |
277.46/277.68	c |       101 |   59423   723002    91815 |   265100      101   1835 | 13.553 % |
277.96/278.15	c |       252 |   59423   723002    91815 |   291610      252   2177 | 13.553 % |
278.56/278.76	c |       479 |   59423   723002    91815 |   320771      479   1652 | 13.553 % |
279.76/279.98	c |       816 |   59423   723002    91815 |   352849      816   1153 | 13.553 % |
281.57/281.78	c |      1322 |   59423   723002    91815 |   388133     1322   1043 | 13.553 % |
284.46/284.63	c |      2084 |   59423   723002    91815 |   426947     2084    925 | 13.553 % |
288.35/288.53	c |      3224 |   59423   723002    91815 |   469642     3224    835 | 13.553 % |
295.56/295.70	c |      4932 |   59423   723002    91815 |   516606     4932    844 | 13.553 % |
307.76/307.91	c |      7498 |   59422   723002    91815 |   568266     7497   1010 | 13.554 % |
328.94/329.10	c |     11343 |   59422   723002    91815 |   625093    11342   1547 | 13.554 % |
362.33/362.55	c |     17119 |   59422   723002    91815 |   687603    17118   1729 | 13.554 % |
439.50/439.77	c |     25774 |   59422   723002    91815 |   756363    25773   2817 | 13.554 % |
609.64/609.90	c |     38751 |   59422   723002    91815 |   831999    38750   3557 | 13.554 % |
924.40/924.84	c |     58212 |   59421   723002    91815 |   915199    58186   4130 | 13.556 % |
1259.37/1259.99	c |     87406 |   59420   723002    91815 |  1006719    87380   3822 | 13.557 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680584-1277451716/watcher-2680584-1277451716 -o /tmp/evaluation-result-2680584-1277451716/solver-2680584-1277451716 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680584-1277451716.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/106 24533
/proc/meminfo: memFree=1336208/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=20420 CPUtime=0.01
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 539 0 0 0 1 0 0 0 19 0 1 0 120773288 20910080 457 1992294400 134512640 135752675 4286579664 18446744073709551615 134559922 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 5105 457 144 303 0 592 0

[startup+0.0911461 s]
/proc/loadavg: 0.00 0.00 0.00 3/106 24533
/proc/meminfo: memFree=1336208/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=21984 CPUtime=0.08
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 1007 0 0 0 8 0 0 0 19 0 1 0 120773288 22511616 925 1992294400 134512640 135752675 4286579664 18446744073709551615 134560752 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 5496 926 265 303 0 983 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21984

[startup+0.101147 s]
/proc/loadavg: 0.00 0.00 0.00 3/106 24533
/proc/meminfo: memFree=1336208/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=22220 CPUtime=0.09
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 1060 0 0 0 9 0 0 0 19 0 1 0 120773288 22753280 978 1992294400 134512640 135752675 4286579664 18446744073709551615 134573764 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 5555 978 280 303 0 1042 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22220

[startup+0.301187 s]
/proc/loadavg: 0.00 0.00 0.00 3/106 24533
/proc/meminfo: memFree=1336208/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=24696 CPUtime=0.29
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 1947 0 0 0 29 0 0 0 20 0 1 0 120773288 25288704 1865 1992294400 134512640 135752675 4286579664 18446744073709551615 134559914 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 6174 1865 565 303 0 1661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24696

[startup+0.701264 s]
/proc/loadavg: 0.00 0.00 0.00 3/106 24533
/proc/meminfo: memFree=1336208/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=28708 CPUtime=0.68
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 3466 0 0 0 68 0 0 0 20 0 1 0 120773288 29396992 3384 1992294400 134512640 135752675 4286579664 18446744073709551615 135096980 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 7177 3384 1112 303 0 2664 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 28708

[startup+1.50042 s]
/proc/loadavg: 0.08 0.02 0.01 2/107 24534
/proc/meminfo: memFree=1324172/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=36848 CPUtime=1.48
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 6499 0 0 0 147 1 0 0 22 0 1 0 120773288 37732352 6417 1992294400 134512640 135752675 4286579664 18446744073709551615 134561414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 9212 6417 2196 303 0 4699 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36848

[startup+3.10074 s]
/proc/loadavg: 0.08 0.02 0.01 2/107 24534
/proc/meminfo: memFree=1312764/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=41960 CPUtime=3.09
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 14834 0 0 0 305 4 0 0 25 0 1 0 120773288 42967040 9548 1992294400 134512640 135752675 4286579664 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 10490 9549 140 303 0 10185 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41960

[startup+6.30136 s]
/proc/loadavg: 0.08 0.02 0.01 2/107 24534
/proc/meminfo: memFree=1258576/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=81060 CPUtime=6.28
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 24628 0 0 0 620 8 0 0 25 0 1 0 120773288 83005440 19342 1992294400 134512640 135752675 4286579664 18446744073709551615 135200964 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 20265 19342 141 303 0 19960 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 81060

[startup+12.7006 s]
/proc/loadavg: 0.22 0.05 0.02 2/107 24534
/proc/meminfo: memFree=1258576/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=81060 CPUtime=12.68
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 24639 0 0 0 1254 14 0 0 25 0 1 0 120773288 83005440 19353 1992294400 134512640 135752675 4286579664 18446744073709551615 134599125 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 20265 19353 145 303 0 19960 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 81060

[startup+25.5011 s]
/proc/loadavg: 0.34 0.08 0.02 2/107 24534
/proc/meminfo: memFree=1253864/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=86640 CPUtime=25.48
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 26044 0 0 0 2528 20 0 0 25 0 1 0 120773288 88719360 20758 1992294400 134512640 135752675 4286579664 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 21660 20758 145 303 0 21355 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86640

[startup+51.1011 s]
/proc/loadavg: 0.60 0.17 0.05 2/107 24536
/proc/meminfo: memFree=1206124/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=135100 CPUtime=51.05
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 38138 0 0 0 5070 35 0 0 25 0 1 0 120773288 138342400 32852 1992294400 134512640 135752675 4286579664 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 33775 32852 145 303 0 33470 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 135100

[startup+102.308 s]
/proc/loadavg: 0.82 0.29 0.10 2/107 24536
/proc/meminfo: memFree=1066376/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=274028 CPUtime=102.23
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 72839 0 0 0 10159 64 0 0 25 0 1 0 120773288 280604672 67553 1992294400 134512640 135752675 4286579664 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 68507 67554 145 303 0 68202 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 274028

[startup+162.301 s]
/proc/loadavg: 0.93 0.42 0.15 2/107 24538
/proc/meminfo: memFree=875540/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=466152 CPUtime=162.21
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 120893 0 0 0 16129 92 0 0 25 0 1 0 120773288 477339648 115607 1992294400 134512640 135752675 4286579664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 116538 115607 145 303 0 116233 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 466152

[startup+222.301 s]
/proc/loadavg: 0.97 0.52 0.20 2/107 24540
/proc/meminfo: memFree=809200/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=528960 CPUtime=222.18
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 138350 0 0 0 22116 102 0 0 25 0 1 0 120773288 541655040 131442 1992294400 134512640 135752675 4286579664 18446744073709551615 135205495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 132240 131442 146 303 0 131935 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 528960

[startup+282.301 s]
/proc/loadavg: 0.99 0.61 0.25 2/107 24542
/proc/meminfo: memFree=809076/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=528960 CPUtime=282.16
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 138391 0 0 0 28099 117 0 0 25 0 1 0 120773288 541655040 131483 1992294400 134512640 135752675 4286579664 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 132240 131483 146 303 0 131935 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 528960

[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.30 2/107 24544
/proc/meminfo: memFree=808952/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=528960 CPUtime=342.14
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 138391 0 0 0 34090 124 0 0 25 0 1 0 120773288 541655040 131483 1992294400 134512640 135752675 4286579664 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 132240 131483 146 303 0 131935 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 528960

[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.34 2/107 24544
/proc/meminfo: memFree=808952/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=528960 CPUtime=402.11
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 138391 0 0 0 40080 131 0 0 25 0 1 0 120773288 541655040 131483 1992294400 134512640 135752675 4286579664 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 132240 131483 146 303 0 131935 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 528960

[startup+462.302 s]
/proc/loadavg: 0.99 0.78 0.38 2/107 24546
/proc/meminfo: memFree=808952/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=528960 CPUtime=462.09
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 138392 0 0 0 46073 136 0 0 25 0 1 0 120773288 541655040 131484 1992294400 134512640 135752675 4286579664 18446744073709551615 134640681 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 132240 131484 146 303 0 131935 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 528960

[startup+522.301 s]
/proc/loadavg: 0.99 0.81 0.41 2/107 24548
/proc/meminfo: memFree=808952/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=528960 CPUtime=522.06
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 138392 0 0 0 52067 139 0 0 25 0 1 0 120773288 541655040 131484 1992294400 134512640 135752675 4286579664 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 132240 131484 146 303 0 131935 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 528960

[startup+582.301 s]
/proc/loadavg: 0.99 0.85 0.45 2/107 24550
/proc/meminfo: memFree=748564/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=590900 CPUtime=582.04
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 153868 0 0 0 58055 149 0 0 25 0 1 0 120773288 605081600 146960 1992294400 134512640 135752675 4286579664 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 147725 146960 146 303 0 147420 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 590900

[startup+642.301 s]
/proc/loadavg: 0.99 0.87 0.48 2/107 24552
/proc/meminfo: memFree=672924/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=664916 CPUtime=642.02
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 172387 0 0 0 64043 159 0 0 25 0 1 0 120773288 680873984 165479 1992294400 134512640 135752675 4286579664 18446744073709551615 134642718 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 166229 165479 146 303 0 165924 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 664916

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 0.99 0.92 0.56 2/107 24556
/proc/meminfo: memFree=436828/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=901100 CPUtime=821.95
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 231389 0 0 0 82000 195 0 0 25 0 1 0 120773288 922726400 224481 1992294400 134512640 135752675 4286579664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 225275 224481 146 303 0 224970 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 901100

[startup+882.301 s]
/proc/loadavg: 0.99 0.93 0.58 2/107 24558
/proc/meminfo: memFree=356352/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=981112 CPUtime=881.92
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 251398 0 0 0 87987 205 0 0 25 0 1 0 120773288 1004658688 244490 1992294400 134512640 135752675 4286579664 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 245278 244490 146 303 0 244973 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 981112

[startup+942.3 s]
/proc/loadavg: 0.99 0.94 0.61 2/107 24560
/proc/meminfo: memFree=286044/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=1051276 CPUtime=941.9
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 268942 0 0 0 93975 215 0 0 25 0 1 0 120773288 1076506624 262034 1992294400 134512640 135752675 4286579664 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 262819 262034 146 303 0 262514 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 1051276

[startup+1002.3 s]
/proc/loadavg: 0.99 0.95 0.63 2/107 24560
/proc/meminfo: memFree=224912/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=1112288 CPUtime=1001.88
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 284197 0 0 0 99964 224 0 0 25 0 1 0 120773288 1138982912 277289 1992294400 134512640 135752675 4286579664 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 278072 277289 146 303 0 277767 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 1112288

[startup+1062.3 s]
/proc/loadavg: 0.99 0.95 0.65 2/107 24562
/proc/meminfo: memFree=165516/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=1172540 CPUtime=1061.86
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 299246 0 0 0 105948 238 0 0 25 0 1 0 120773288 1200680960 292338 1992294400 134512640 135752675 4286579664 18446744073709551615 134605055 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 293135 292338 146 303 0 292830 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 1172540

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/107 24564
/proc/meminfo: memFree=74624/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=1262244 CPUtime=1121.84
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 321653 0 0 0 111927 257 0 0 25 0 1 0 120773288 1292537856 314745 1992294400 134512640 135752675 4286579664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 315561 314745 146 303 0 315256 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1262244

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.69 2/107 24575
/proc/meminfo: memFree=10640/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=1327636 CPUtime=1181.8
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 338020 0 0 0 117907 273 0 0 25 0 1 0 120773288 1359499264 331112 1992294400 134512640 135752675 4286579664 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 331909 331112 146 303 0 331604 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 1327636

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/107 24577
/proc/meminfo: memFree=9256/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=1389720 CPUtime=1241.78
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 353530 0 0 0 123891 287 0 0 25 0 1 0 120773288 1423073280 346622 1992294400 134512640 135752675 4286579664 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 347430 346622 146 303 0 347125 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 1389720

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/107 24577
/proc/meminfo: memFree=9732/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=1440936 CPUtime=1301.76
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 366346 0 0 0 129879 297 0 0 25 0 1 0 120773288 1475518464 359438 1992294400 134512640 135752675 4286579664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 360234 359438 146 303 0 359929 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 1440936

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.74 2/107 24579
/proc/meminfo: memFree=10612/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=1503080 CPUtime=1361.73
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 381852 0 0 0 135867 306 0 0 25 0 1 0 120773288 1539153920 374944 1992294400 134512640 135752675 4286579664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 375770 374944 146 303 0 375465 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 1503080

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.75 2/107 24581
/proc/meminfo: memFree=10472/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=1565280 CPUtime=1421.71
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 397389 0 0 0 141855 316 0 0 25 0 1 0 120773288 1602846720 390481 1992294400 134512640 135752675 4286579664 18446744073709551615 134616189 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 391320 390484 146 303 0 391015 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 1565280

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/107 24583
/proc/meminfo: memFree=10000/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=1627668 CPUtime=1481.68
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 413000 0 0 0 147843 325 0 0 25 0 1 0 120773288 1666732032 406092 1992294400 134512640 135752675 4286579664 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 406917 406092 146 303 0 406612 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 1627668

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/107 24585
/proc/meminfo: memFree=9704/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=1686208 CPUtime=1541.66
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 427639 0 0 0 153831 335 0 0 25 0 1 0 120773288 1726676992 420731 1992294400 134512640 135752675 4286579664 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 421552 420731 146 303 0 421247 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 1686208

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/107 24585
/proc/meminfo: memFree=10352/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=1735908 CPUtime=1601.64
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 440045 0 0 0 159821 343 0 0 25 0 1 0 120773288 1777569792 433137 1992294400 134512640 135752675 4286579664 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 433977 433137 146 303 0 433672 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 1735908

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/107 24587
/proc/meminfo: memFree=9808/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=1782508 CPUtime=1661.61
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 451706 0 0 0 165809 352 0 0 25 0 1 0 120773288 1825288192 444798 1992294400 134512640 135752675 4286579664 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 445627 444798 146 303 0 445322 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 1782508

[startup+1722.3 s]
/proc/loadavg: 1.07 0.99 0.81 2/107 24589
/proc/meminfo: memFree=9888/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=1837844 CPUtime=1721.41
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 465553 0 0 0 171775 366 0 0 25 0 1 0 120773288 1881952256 458645 1992294400 134512640 135752675 4286579664 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24533/statm: 459461 458645 146 303 0 459156 0
Current children cumulated CPU time (s) 1721.41
Current children cumulated vsize (KiB) 1837844



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1728.11 s]
/proc/loadavg: 1.07 0.99 0.81 2/107 24589
/proc/meminfo: memFree=9868/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=1843264 CPUtime=1727.21
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4202496 466896 0 0 0 172353 368 0 0 25 0 1 0 120773288 1887502336 459988 1992294400 134512640 135752675 4286579664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24533/statm: 460816 459988 146 303 0 460511 0
Current children cumulated CPU time (s) 1727.21
Current children cumulated vsize (KiB) 1843264

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

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

[startup+1728.21 s]
/proc/loadavg: 1.07 0.99 0.81 2/107 24589
/proc/meminfo: memFree=9868/2059040 swapFree=4136000/4192956
[pid=24533] ppid=24531 vsize=0 CPUtime=1727.3
/proc/24533/stat : 24533 (wbo1.4b) R 24531 24533 24508 0 -1 4203524 466896 0 0 0 172353 377 0 0 25 0 1 0 120773288 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/24533/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1727.3
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1728.29
CPU time (s): 1727.39
CPU user time (s): 1723.54
CPU system time (s): 3.85441
CPU usage (%): 99.9479
Max. virtual memory (cumulated for all children) (KiB): 1843264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1723.54
system time used= 3.85441
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466896
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= 13
involuntary context switches= 3124

runsolver used 2.88756 second user time and 8.17776 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-25 09:41:57
IDJOB=2680584
IDBENCH=1975
IDSOLVER=1190
FILE ID=node011/2680584-1277451716
PBS_JOBID= 11188147
Free space on /tmp= 62388 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680584-1277451716/watcher-2680584-1277451716 -o /tmp/evaluation-result-2680584-1277451716/solver-2680584-1277451716 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680584-1277451716.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 6389567e651775a5f815611581d2023e
RANDOM SEED=234233814

node011.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1336612 kB
Buffers:        167804 kB
Cached:         449576 kB
SwapCached:       9572 kB
Active:         243940 kB
Inactive:       386420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1336612 kB
SwapTotal:     4192956 kB
SwapFree:      4136000 kB
Dirty:           19496 kB
Writeback:           0 kB
AnonPages:       11572 kB
Mapped:           8280 kB
Slab:            70128 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181928 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62384 MiB
End job on node011 at 2010-06-25 10:10:47