Trace number 2680678

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)? (TO) 1800.09 1800.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
MD5SUM5946eb43fefc6e626d35d99afd3eec42
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark76
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 75
Optimality of the best value was proved NO
Number of variables1287
Total number of constraints2430
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2430
Minimum length of a constraint14
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 749
Number of bits of the biggest sum of numbers10
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.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680678-1277456779.opb.
0.00/0.00	c Instance file HOME/instance-2680678-1277456779.opb
0.00/0.00	c File size is 481040 bytes.
0.10/0.10	c Highest Coefficient sum: 749
0.10/0.10	c ============================[ Problem Statistics ]=============================
0.10/0.10	c |                                                                             |
0.10/0.10	c |  Parsing time:          0.10         s                                      |
0.10/0.10	c |  Number Variables:      1287                                                |
0.10/0.10	c |  Number Clauses:        0                                                   |
0.10/0.10	c |  Number Cardinality:    0                                                   |
0.10/0.10	c |  Number PB Constraints: 2430                                                |
0.10/0.10	c ============================[ Search Statistics ]==============================
0.10/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.10/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.10/0.10	c ===============================================================================
0.10/0.10	c |         0 |    1287     2430    61850 |     5000        0    nan |  0.000 % |
0.20/0.24	c |       103 |    1287     2430    61850 |     5500      103     22 |  0.000 % |
0.30/0.34	c |       253 |    1287     2430    61850 |     6050      253     20 |  0.000 % |
0.30/0.38	c ===============================================================================
0.30/0.38	c New solution: 111
0.30/0.38	o 111
0.30/0.38	c Elapsed CPU time: 0.386941 s	Remaining CPU time: 179.613 s
0.30/0.38	c ===============================================================================
0.30/0.38	c |       305 |    1287     2431    61857 |     5000      305     20 |  0.000 % |
0.40/0.46	c |       405 |    1287     2431    61857 |     5500      405     22 |  0.000 % |
0.50/0.56	c |       555 |    1287     2431    61857 |     6050      555     23 |  0.001 % |
0.60/0.69	c |       780 |    1287     2431    61857 |     6655      780     23 |  0.000 % |
0.80/0.88	c |      1118 |    1287     2431    61857 |     7320     1118     24 |  0.000 % |
1.10/1.11	c |      1624 |    1287     2431    61857 |     8052     1624     23 |  0.000 % |
1.49/1.56	c ===============================================================================
1.49/1.56	c New solution: 109
1.49/1.56	o 109
1.49/1.56	c Elapsed CPU time: 1.55776 s	Remaining CPU time: 178.442 s
1.49/1.56	c ===============================================================================
1.49/1.56	c |      2316 |    1287     2432    61864 |     5000     2316     27 |  0.000 % |
1.59/1.63	c |      2416 |    1287     2432    61864 |     5500     2416     27 |  0.000 % |
1.69/1.75	c |      2566 |    1287     2432    61864 |     6050     2566     27 |  0.001 % |
1.89/1.90	c |      2794 |    1287     2432    61864 |     6655     2794     28 |  0.000 % |
1.99/2.09	c |      3132 |    1287     2432    61864 |     7320     3132     27 |  0.001 % |
2.39/2.44	c ===============================================================================
2.39/2.44	c New solution: 106
2.39/2.44	o 106
2.39/2.44	c Elapsed CPU time: 2.43663 s	Remaining CPU time: 177.563 s
2.39/2.44	c ===============================================================================
2.39/2.44	c |      3453 |    1287     2433    61871 |     5000     3453     28 |  0.001 % |
2.39/2.50	c |      3553 |    1287     2433    61871 |     5500     3553     28 |  0.000 % |
2.49/2.59	c |      3703 |    1287     2433    61871 |     6050     3703     28 |  0.000 % |
2.70/2.78	c |      3930 |    1287     2433    61871 |     6655     3930     28 |  0.000 % |
2.79/2.83	c ===============================================================================
2.79/2.83	c New solution: 102
2.79/2.83	o 102
2.79/2.83	c Elapsed CPU time: 2.82757 s	Remaining CPU time: 177.172 s
2.79/2.83	c ===============================================================================
2.79/2.83	c |      3990 |    1287     2434    61878 |     5000     3990     28 |  0.000 % |
2.89/2.93	c |      4092 |    1287     2434    61878 |     5500     4092     28 |  0.000 % |
2.99/3.01	c ===============================================================================
2.99/3.01	c New solution: 101
2.99/3.01	o 101
2.99/3.01	c Elapsed CPU time: 3.00254 s	Remaining CPU time: 176.997 s
2.99/3.01	c ===============================================================================
2.99/3.01	c |      4175 |    1287     2435    61885 |     5000     4175     28 |  0.000 % |
2.99/3.07	c |      4276 |    1287     2435    61885 |     5500     4276     28 |  0.000 % |
3.09/3.18	c |      4426 |    1287     2435    61885 |     6050     4426     28 |  0.000 % |
3.30/3.31	c |      4651 |    1287     2435    61885 |     6655     4651     28 |  0.000 % |
3.49/3.59	c |      4989 |    1287     2435    61885 |     7320     4989     28 |  0.000 % |
3.79/3.84	c |      5495 |    1287     2435    61885 |     8052     5495     27 |  0.000 % |
4.20/4.23	c |      6255 |    1287     2435    61885 |     8857     6255     27 |  0.000 % |
5.09/5.11	c |      7395 |    1287     2435    61885 |     9743     7395     28 |  0.000 % |
5.79/5.83	c ===============================================================================
5.79/5.83	c New solution: 91
5.79/5.83	o 91
5.79/5.83	c Elapsed CPU time: 5.80212 s	Remaining CPU time: 174.198 s
5.79/5.83	c ===============================================================================
5.79/5.83	c |      8075 |    1287     2436    61892 |     5000     8075     30 |  0.000 % |
5.89/5.93	c |      8175 |    1287     2436    61892 |     5500     4138     31 |  0.001 % |
5.99/6.06	c |      8325 |    1287     2436    61892 |     6050     4288     31 |  0.000 % |
6.19/6.25	c |      8550 |    1287     2436    61892 |     6655     4513     31 |  0.000 % |
6.39/6.50	c |      8887 |    1287     2436    61892 |     7320     4850     30 |  0.000 % |
6.79/6.82	c |      9393 |    1287     2436    61892 |     8052     5356     30 |  0.000 % |
7.39/7.48	c |     10152 |    1287     2436    61892 |     8857     6115     30 |  0.000 % |
8.59/8.69	c |     11292 |    1287     2436    61892 |     9743     7255     31 |  0.000 % |
9.99/10.05	c |     13000 |    1287     2436    61892 |    10717     8963     31 |  0.000 % |
11.99/12.05	c |     15562 |    1287     2436    61892 |    11789     5993     33 |  0.000 % |
16.09/16.14	c |     19406 |    1287     2436    61892 |    12968     9837     34 |  0.000 % |
21.08/21.18	c |     25172 |    1287     2436    61892 |    14265     8856     36 |  0.000 % |
21.28/21.31	c ===============================================================================
21.28/21.31	c New solution: 90
21.28/21.31	o 90
21.28/21.31	c Elapsed CPU time: 21.2218 s	Remaining CPU time: 158.778 s
21.28/21.31	c ===============================================================================
21.28/21.31	c |     25312 |    1287     2437    61899 |     5000     8996     35 |  0.000 % |
21.38/21.41	c |     25413 |    1287     2437    61899 |     5500     4599     36 |  0.001 % |
21.48/21.54	c |     25563 |    1287     2437    61899 |     6050     4749     36 |  0.000 % |
21.69/21.75	c |     25788 |    1287     2437    61899 |     6655     4974     36 |  0.000 % |
22.09/22.10	c |     26125 |    1287     2437    61899 |     7320     5311     36 |  0.000 % |
22.39/22.47	c |     26631 |    1287     2437    61899 |     8052     5817     35 |  0.000 % |
22.99/23.03	c |     27391 |    1287     2437    61899 |     8857     6577     34 |  0.000 % |
23.78/23.83	c |     28531 |    1287     2437    61899 |     9743     7717     33 |  0.000 % |
24.78/24.87	c |     30239 |    1287     2437    61899 |    10717     9425     32 |  0.000 % |
26.19/26.29	c |     32803 |    1287     2437    61899 |    11789     6576     26 |  0.000 % |
28.09/28.11	c ===============================================================================
28.09/28.11	c New solution: 89
28.09/28.11	o 89
28.09/28.11	c Elapsed CPU time: 27.9837 s	Remaining CPU time: 152.016 s
28.09/28.11	c ===============================================================================
28.09/28.11	c |     34923 |    1287     2438    61906 |     5000     8696     28 |  0.000 % |
28.19/28.20	c |     35023 |    1287     2438    61906 |     5500     4448     29 |  0.000 % |
28.19/28.27	c |     35173 |    1287     2438    61906 |     6050     4598     28 |  0.000 % |
28.39/28.45	c |     35399 |    1287     2438    61906 |     6655     4824     28 |  0.000 % |
28.69/28.79	c |     35737 |    1287     2438    61906 |     7320     5162     28 |  0.000 % |
29.09/29.18	c |     36244 |    1287     2438    61906 |     8052     5669     29 |  0.000 % |
29.59/29.62	c |     37003 |    1287     2438    61906 |     8857     6428     28 |  0.001 % |
30.58/30.64	c |     38142 |    1287     2438    61906 |     9743     7567     29 |  0.000 % |
31.89/31.93	c ===============================================================================
31.89/31.93	c New solution: 84
31.89/31.93	o 84
31.89/31.93	c Elapsed CPU time: 31.7982 s	Remaining CPU time: 148.202 s
31.89/31.93	c ===============================================================================
31.89/31.93	c |     39826 |    1287     2439    61913 |     5000     9251     29 |  0.000 % |
31.89/32.00	c |     39927 |    1287     2439    61913 |     5500     4727     29 |  0.001 % |
31.98/32.08	c |     40078 |    1287     2439    61913 |     6050     4878     28 |  0.000 % |
32.18/32.21	c |     40304 |    1287     2439    61913 |     6655     5104     28 |  0.000 % |
32.48/32.50	c |     40641 |    1287     2439    61913 |     7320     5441     29 |  0.000 % |
32.68/32.77	c |     41147 |    1287     2439    61913 |     8052     5947     29 |  0.001 % |
33.18/33.25	c |     41906 |    1287     2439    61913 |     8857     6706     28 |  0.000 % |
34.09/34.13	c |     43045 |    1287     2439    61913 |     9743     7845     28 |  0.000 % |
35.48/35.51	c |     44753 |    1287     2439    61913 |    10717     9553     29 |  0.000 % |
37.59/37.61	c |     47315 |    1287     2439    61913 |    11789     6717     29 |  0.001 % |
40.48/40.57	c |     51159 |    1287     2439    61913 |    12968    10561     29 |  0.000 % |
45.98/46.04	c |     56925 |    1287     2439    61913 |    14265     9460     31 |  0.000 % |
53.38/53.45	c ===============================================================================
53.38/53.45	c New solution: 82
53.38/53.45	o 82
53.38/53.45	c Elapsed CPU time: 53.2309 s	Remaining CPU time: 126.769 s
53.38/53.45	c ===============================================================================
53.38/53.45	c |     65388 |    1287     2440    61920 |     5000    10745     33 |  0.000 % |
53.48/53.55	c |     65488 |    1287     2440    61920 |     5500     2787     33 |  0.000 % |
53.58/53.69	c |     65638 |    1287     2440    61920 |     6050     2937     32 |  0.000 % |
53.78/53.86	c |     65863 |    1287     2440    61920 |     6655     3162     33 |  0.000 % |
53.98/54.06	c |     66200 |    1287     2440    61920 |     7320     3499     32 |  0.000 % |
54.28/54.35	c |     66706 |    1287     2440    61920 |     8052     4005     31 |  0.001 % |
54.77/54.83	c |     67465 |    1287     2440    61920 |     8857     4764     29 |  0.000 % |
55.78/55.89	c |     68604 |    1287     2440    61920 |     9743     5903     30 |  0.000 % |
57.18/57.25	c |     70312 |    1287     2440    61920 |    10717     7611     31 |  0.000 % |
59.07/59.17	c |     72874 |    1287     2440    61920 |    11789    10173     31 |  0.000 % |
62.28/62.38	c |     76718 |    1287     2440    61920 |    12968     7865     29 |  0.000 % |
67.67/67.76	c |     82484 |    1287     2440    61920 |    14265     6880     32 |  0.000 % |
75.67/75.76	c |     91134 |    1287     2440    61920 |    15692     7969     31 |  0.000 % |
88.37/88.40	c |    104108 |    1287     2440    61920 |    17261    12978     34 |  0.000 % |
98.26/98.34	c ===============================================================================
98.26/98.34	c New solution: 81
98.26/98.34	o 81
98.26/98.34	c Elapsed CPU time: 97.9171 s	Remaining CPU time: 82.0829 s
98.26/98.34	c ===============================================================================
98.26/98.34	c |    114212 |    1287     2441    61927 |     5000    14112     36 |  0.000 % |
98.36/98.45	c |    114312 |    1287     2441    61927 |     5500     3628     38 |  0.000 % |
98.46/98.57	c |    114463 |    1287     2441    61927 |     6050     3779     37 |  0.000 % |
98.66/98.70	c |    114689 |    1287     2441    61927 |     6655     4005     37 |  0.000 % |
98.87/98.93	c |    115027 |    1287     2441    61927 |     7320     4343     36 |  0.000 % |
99.17/99.27	c |    115533 |    1287     2441    61927 |     8052     4849     35 |  0.000 % |
99.86/99.98	c |    116293 |    1287     2441    61927 |     8857     5609     34 |  0.000 % |
100.86/100.97	c |    117432 |    1287     2441    61927 |     9743     6748     34 |  0.000 % |
102.36/102.49	c |    119141 |    1287     2441    61927 |    10717     8457     34 |  0.000 % |
104.36/104.42	c |    121703 |    1287     2441    61927 |    11789     5539     33 |  0.000 % |
107.46/107.55	c |    125547 |    1287     2441    61927 |    12968     9383     32 |  0.000 % |
112.35/112.43	c |    131313 |    1287     2441    61927 |    14265     8389     31 |  0.000 % |
119.86/119.96	c |    139964 |    1287     2441    61927 |    15692     9494     28 |  0.000 % |
132.15/132.23	c |    152938 |    1287     2441    61927 |    17261    14503     31 |  0.000 % |
141.06/141.17	c ===============================================================================
141.06/141.17	c New solution: 79
141.06/141.17	o 79
141.06/141.17	c Elapsed CPU time: 140.54 s	Remaining CPU time: 39.4604 s
141.06/141.17	c ===============================================================================
141.06/141.17	c |    161087 |    1287     2442    61934 |     5000    13720     37 |  0.000 % |
141.16/141.26	c |    161188 |    1287     2442    61934 |     5500     3531     38 |  0.000 % |
141.26/141.35	c |    161338 |    1287     2442    61934 |     6050     3681     38 |  0.000 % |
141.45/141.54	c |    161563 |    1287     2442    61934 |     6655     3906     37 |  0.000 % |
141.76/141.84	c |    161903 |    1287     2442    61934 |     7320     4246     36 |  0.000 % |
142.15/142.23	c |    162410 |    1287     2442    61934 |     8052     4753     36 |  0.000 % |
142.65/142.77	c |    163169 |    1287     2442    61934 |     8857     5512     34 |  0.000 % |
143.65/143.79	c |    164309 |    1287     2442    61934 |     9743     6652     33 |  0.000 % |
145.05/145.10	c |    166018 |    1287     2442    61934 |    10717     8361     32 |  0.000 % |
147.15/147.23	c |    168582 |    1287     2442    61934 |    11789    10925     32 |  0.000 % |
150.56/150.70	c |    172428 |    1287     2442    61934 |    12968     8602     33 |  0.000 % |
155.65/155.77	c |    178195 |    1287     2442    61934 |    14265     7671     33 |  0.000 % |
160.94/161.08	c |    186844 |    1287     2442    61934 |    15692     9125     27 |  0.000 % |
171.94/172.05	c |    199818 |    1287     2442    61934 |    17261    14134     33 |  0.000 % |
180.74/180.80	c There are 0 assigned variables. 0 in cost function.
180.94/181.10	c core #1
180.94/181.10	c 
180.94/181.10	c 
180.94/181.10	c Core size: 8	Core Weight: 1	Total Weight: 1
180.94/181.10	c
180.94/181.10	c
180.94/181.10	c core #2
180.94/181.10	c 
180.94/181.10	c 
180.94/181.10	c Core size: 10	Core Weight: 1	Total Weight: 2
180.94/181.10	c
180.94/181.10	c
180.94/181.10	c ============================[ Search Statistics ]==============================
180.94/181.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.94/181.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.94/181.10	c ===============================================================================
180.94/181.10	c |         0 |    1245     2469    61869 |     5000        0    nan |  0.000 % |
181.04/181.10	c ===============================================================================
181.04/181.15	c core #3
181.04/181.15	c 
181.04/181.15	c 
181.04/181.15	c Core size: 14	Core Weight: 1	Total Weight: 3
181.04/181.15	c
181.04/181.15	c
181.04/181.15	c ============================[ Search Statistics ]==============================
181.04/181.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.04/181.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.04/181.15	c ===============================================================================
181.04/181.15	c |         0 |    1252     2475    61878 |     5000        0    nan |  0.000 % |
181.04/181.17	c ===============================================================================
181.14/181.23	c core #4
181.14/181.23	c 
181.14/181.23	c 
181.14/181.23	c Core size: 13	Core Weight: 1	Total Weight: 4
181.14/181.23	c
181.14/181.23	c
181.14/181.23	c ============================[ Search Statistics ]==============================
181.14/181.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.14/181.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.14/181.23	c ===============================================================================
181.14/181.23	c |         0 |    1268     2480    61891 |     5000        0    nan |  0.000 % |
181.14/181.24	c ===============================================================================
181.24/181.30	c core #5
181.24/181.30	c 
181.24/181.30	c 
181.24/181.30	c Core size: 15	Core Weight: 1	Total Weight: 5
181.24/181.30	c
181.24/181.30	c
181.24/181.30	c ============================[ Search Statistics ]==============================
181.24/181.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.24/181.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.24/181.30	c ===============================================================================
181.24/181.30	c |         0 |    1277     2485    61905 |     5000        0    nan |  0.000 % |
181.24/181.32	c ===============================================================================
181.24/181.38	c core #6
181.24/181.38	c 
181.24/181.38	c 
181.24/181.38	c Core size: 14	Core Weight: 3	Total Weight: 8
181.24/181.38	c
181.24/181.38	c
181.24/181.38	c ============================[ Search Statistics ]==============================
181.24/181.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.24/181.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.24/181.38	c ===============================================================================
181.24/181.38	c |         0 |    1292     2489    61921 |     5000        0    nan |  0.000 % |
181.34/181.42	c ===============================================================================
181.34/181.46	c core #7
181.34/181.46	c 
181.34/181.46	c 
181.34/181.46	c Core size: 14	Core Weight: 1	Total Weight: 9
181.34/181.46	c
181.34/181.46	c
181.34/181.46	c ============================[ Search Statistics ]==============================
181.34/181.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.34/181.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.34/181.46	c ===============================================================================
181.34/181.46	c |         0 |    1302     2493    61938 |     5000        0    nan |  0.000 % |
181.44/181.55	c ===============================================================================
181.54/181.61	c core #8
181.54/181.61	c 
181.54/181.61	c 
181.54/181.61	c Core size: 15	Core Weight: 1	Total Weight: 10
181.54/181.61	c
181.54/181.61	c
181.54/181.61	c ============================[ Search Statistics ]==============================
181.54/181.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.54/181.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.54/181.61	c ===============================================================================
181.54/181.61	c |         0 |    1313     2497    61957 |     5000        0    nan |  0.000 % |
181.64/181.74	c |       100 |    1313     2497    61957 |     5500      100     17 |  2.452 % |
181.84/181.91	c ===============================================================================
181.84/181.96	c core #9
181.84/181.96	c 
181.84/181.96	c 
181.84/181.96	c Core size: 8	Core Weight: 6	Total Weight: 16
181.84/181.96	c
181.84/181.96	c
181.84/181.96	c ============================[ Search Statistics ]==============================
181.84/181.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.84/181.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.84/181.96	c ===============================================================================
181.84/181.96	c |         0 |    1327     2500    61978 |     5000        0    nan |  0.000 % |
182.04/182.10	c |       102 |    1327     2500    61978 |     5500      102     18 |  1.635 % |
182.14/182.26	c |       252 |    1319     2500    61978 |     6050      252     21 |  2.970 % |
182.24/182.31	c ===============================================================================
182.24/182.37	c core #10
182.24/182.37	c 
182.24/182.37	c 
182.24/182.37	c Core size: 22	Core Weight: 1	Total Weight: 17
182.24/182.37	c
182.24/182.37	c
182.24/182.37	c ============================[ Search Statistics ]==============================
182.24/182.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.24/182.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.24/182.37	c ===============================================================================
182.24/182.37	c |         0 |    1339     2505    62004 |     5000        0    nan |  0.000 % |
182.44/182.51	c |       101 |    1339     2505    62004 |     5500      101     17 |  1.618 % |
182.54/182.69	c |       252 |    1338     2505    62004 |     6050      252     20 |  1.690 % |
182.94/183.01	c |       477 |    1338     2505    62004 |     6655      477     23 |  1.693 % |
183.14/183.27	c ===============================================================================
183.24/183.32	c core #11
183.24/183.32	c 
183.24/183.32	c 
183.24/183.32	c Core size: 33	Core Weight: 1	Total Weight: 18
183.24/183.32	c
183.24/183.32	c
183.24/183.32	c ============================[ Search Statistics ]==============================
183.24/183.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.24/183.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.24/183.32	c ===============================================================================
183.24/183.32	c |         0 |    1354     2510    62036 |     5000        0    nan |  0.000 % |
183.34/183.49	c |       101 |    1354     2510    62036 |     5500      101     18 |  1.599 % |
183.55/183.68	c |       252 |    1354     2510    62036 |     6050      252     21 |  1.599 % |
183.84/183.92	c |       477 |    1354     2510    62036 |     6655      477     21 |  1.599 % |
184.14/184.29	c |       816 |    1354     2510    62036 |     7320      816     23 |  1.599 % |
184.74/184.86	c |      1322 |    1354     2510    62036 |     8052     1322     23 |  1.599 % |
185.63/185.75	c |      2082 |    1354     2510    62036 |     8857     2082     23 |  1.600 % |
186.74/186.81	c ===============================================================================
186.74/186.87	c core #12
186.74/186.87	c 
186.74/186.87	c 
186.74/186.87	c Core size: 21	Core Weight: 1	Total Weight: 19
186.74/186.87	c
186.74/186.87	c
186.74/186.87	c ============================[ Search Statistics ]==============================
186.74/186.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.74/186.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.74/186.87	c ===============================================================================
186.74/186.87	c |         0 |    1358     2513    62042 |     5000        0    nan |  0.000 % |
186.95/187.03	c |       100 |    1358     2513    62042 |     5500      100     18 |  1.594 % |
187.24/187.32	c |       250 |    1358     2513    62042 |     6050      250     20 |  1.594 % |
187.54/187.60	c |       475 |    1358     2513    62042 |     6655      475     21 |  1.595 % |
187.94/188.00	c |       813 |    1358     2513    62042 |     7320      813     22 |  1.594 % |
188.43/188.55	c |      1319 |    1358     2513    62042 |     8052     1319     22 |  1.594 % |
189.23/189.38	c |      2078 |    1358     2513    62042 |     8857     2078     24 |  1.594 % |
190.84/190.93	c |      3217 |    1358     2513    62042 |     9743     3217     25 |  1.598 % |
192.94/193.01	c |      4925 |    1352     2513    62042 |    10717     2523     25 |  3.261 % |
193.04/193.13	c ===============================================================================
193.04/193.20	c core #13
193.04/193.20	c 
193.04/193.20	c 
193.04/193.20	c Core size: 25	Core Weight: 1	Total Weight: 20
193.04/193.20	c
193.04/193.20	c
193.04/193.20	c ============================[ Search Statistics ]==============================
193.04/193.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.04/193.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.04/193.20	c ===============================================================================
193.04/193.20	c |         0 |    1368     2516    62060 |     5000        0    nan |  0.000 % |
193.24/193.35	c |       100 |    1368     2516    62060 |     5500      100     17 |  1.583 % |
193.44/193.50	c |       251 |    1368     2516    62060 |     6050      251     20 |  1.583 % |
193.63/193.78	c |       477 |    1368     2516    62060 |     6655      477     21 |  1.583 % |
194.03/194.11	c |       814 |    1368     2516    62060 |     7320      814     22 |  1.583 % |
194.53/194.69	c |      1320 |    1362     2516    62060 |     8052     1149     23 |  2.014 % |
195.44/195.59	c |      2079 |    1362     2516    62060 |     8857     1908     23 |  2.014 % |
196.84/196.97	c |      3218 |    1362     2516    62060 |     9743     3047     23 |  2.014 % |
198.73/198.88	c |      4926 |    1362     2516    62060 |    10717     4755     23 |  2.014 % |
202.03/202.19	c |      7488 |    1362     2516    62060 |    11789     7317     24 |  2.015 % |
207.23/207.34	c |     11333 |    1345     2516    62060 |    12968     2682     23 |  3.237 % |
207.84/207.96	c ===============================================================================
207.93/208.02	c core #14
207.93/208.02	c 
207.93/208.02	c 
207.93/208.02	c Core size: 13	Core Weight: 12	Total Weight: 32
207.93/208.02	c
207.93/208.02	c
207.93/208.02	c ============================[ Search Statistics ]==============================
207.93/208.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
207.93/208.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
207.93/208.02	c ===============================================================================
207.93/208.02	c |         0 |    1381     2518    62090 |     5000        0    nan |  0.000 % |
208.03/208.16	c |       100 |    1381     2518    62090 |     5500      100     17 |  0.790 % |
208.13/208.28	c |       250 |    1374     2518    62090 |     6050      250     21 |  1.509 % |
208.33/208.47	c |       475 |    1374     2518    62090 |     6655      475     22 |  1.509 % |
208.63/208.78	c |       812 |    1371     2518    62090 |     7320      811     23 |  1.509 % |
209.22/209.38	c |      1319 |    1371     2518    62090 |     8052     1318     24 |  1.509 % |
210.04/210.14	c |      2082 |    1371     2518    62090 |     8857     2081     25 |  1.509 % |
211.33/211.47	c |      3221 |    1371     2518    62090 |     9743     3220     26 |  1.509 % |
213.24/213.36	c |      4929 |    1370     2518    62090 |    10717     2012     25 |  1.581 % |
215.73/215.82	c ===============================================================================
215.73/215.88	c core #15
215.73/215.88	c 
215.73/215.88	c 
215.73/215.88	c Core size: 40	Core Weight: 1	Total Weight: 33
215.73/215.88	c
215.73/215.88	c
215.73/215.88	c ============================[ Search Statistics ]==============================
215.73/215.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.73/215.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.73/215.88	c ===============================================================================
215.73/215.88	c |         0 |    1403     2522    62137 |     5000        0    nan |  0.000 % |
215.93/216.02	c |       100 |    1403     2522    62137 |     5500      100     18 |  0.778 % |
216.13/216.20	c |       251 |    1403     2522    62137 |     6050      251     22 |  0.778 % |
216.32/216.42	c |       477 |    1403     2522    62137 |     6655      477     24 |  0.778 % |
216.63/216.73	c |       815 |    1403     2522    62137 |     7320      815     24 |  0.778 % |
217.03/217.10	c |      1321 |    1403     2522    62137 |     8052     1321     24 |  0.778 % |
217.83/217.94	c |      2081 |    1403     2522    62137 |     8857     2081     25 |  0.778 % |
218.92/219.03	c |      3220 |    1403     2522    62137 |     9743     3220     25 |  0.778 % |
219.93/220.08	c |      4931 |    1403     2522    62137 |    10717     4931     25 |  0.778 % |
222.13/222.28	c |      7494 |    1403     2522    62137 |    11789     7494     26 |  0.778 % |
225.73/225.90	c |     11339 |    1395     2522    62137 |    12968     9925     28 |  1.344 % |
231.72/231.83	c |     17106 |    1395     2522    62137 |    14265     8687     31 |  1.344 % |
234.13/234.23	c ===============================================================================
234.23/234.32	c core #16
234.23/234.32	c 
234.23/234.32	c 
234.23/234.32	c Core size: 21	Core Weight: 1	Total Weight: 34
234.23/234.32	c
234.23/234.32	c
234.23/234.32	c ============================[ Search Statistics ]==============================
234.23/234.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
234.23/234.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
234.23/234.32	c ===============================================================================
234.23/234.32	c |         0 |    1409     2527    62154 |     5000        0    nan |  0.000 % |
234.32/234.43	c |       102 |    1409     2527    62154 |     5500      102     18 |  0.775 % |
234.42/234.55	c |       252 |    1409     2527    62154 |     6050      252     22 |  0.775 % |
234.62/234.79	c |       477 |    1409     2527    62154 |     6655      477     21 |  0.775 % |
235.02/235.11	c |       814 |    1409     2527    62154 |     7320      814     24 |  0.775 % |
235.42/235.55	c |      1320 |    1409     2527    62154 |     8052     1320     24 |  0.775 % |
235.92/236.01	c |      2080 |    1409     2527    62154 |     8857     2080     25 |  0.775 % |
236.82/236.95	c |      3219 |    1409     2527    62154 |     9743     3219     25 |  0.775 % |
238.21/238.36	c |      4928 |    1408     2527    62154 |    10717     4023     26 |  0.845 % |
240.92/241.08	c |      7491 |    1401     2527    62154 |    11789     6574     27 |  1.338 % |
245.23/245.33	c |     11336 |    1401     2527    62154 |    12968    10419     28 |  1.338 % |
251.11/251.29	c |     17103 |    1401     2527    62154 |    14265     9669     28 |  1.339 % |
261.81/261.95	c |     25752 |    1398     2527    62154 |    15692    10060     29 |  1.550 % |
262.61/262.79	c ===============================================================================
262.82/262.91	c core #17
262.82/262.91	c 
262.82/262.91	c 
262.82/262.91	c Core size: 39	Core Weight: 1	Total Weight: 35
262.82/262.91	c
262.82/262.91	c
262.82/262.91	c ============================[ Search Statistics ]==============================
262.82/262.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
262.82/262.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
262.82/262.91	c ===============================================================================
262.82/262.91	c |         0 |    1428     2532    62197 |     5000        0    nan |  0.000 % |
262.91/263.03	c |       100 |    1428     2532    62197 |     5500      100     20 |  0.764 % |
263.01/263.19	c |       251 |    1428     2532    62197 |     6050      251     23 |  0.764 % |
263.31/263.46	c |       476 |    1428     2532    62197 |     6655      476     23 |  0.764 % |
263.61/263.74	c |       816 |    1428     2532    62197 |     7320      816     24 |  0.764 % |
264.21/264.32	c |      1322 |    1428     2532    62197 |     8052     1322     24 |  0.764 % |
264.81/264.94	c |      2084 |    1428     2532    62197 |     8857     2084     26 |  0.764 % |
265.81/265.98	c |      3224 |    1428     2532    62197 |     9743     3224     28 |  0.764 % |
267.72/267.90	c |      4932 |    1428     2532    62197 |    10717     4932     28 |  0.764 % |
270.42/270.58	c |      7494 |    1428     2532    62197 |    11789     7494     30 |  0.764 % |
273.71/273.86	c |     11339 |    1428     2532    62197 |    12968    11339     29 |  0.765 % |
279.91/280.05	c |     17107 |    1428     2532    62197 |    14265    10591     28 |  0.764 % |
290.51/290.61	c |     25757 |    1428     2532    62197 |    15692    12036     30 |  0.765 % |
304.20/304.34	c |     38732 |    1428     2532    62197 |    17261     9176     34 |  0.764 % |
326.89/327.07	c |     58193 |    1428     2532    62197 |    18987    11294     34 |  0.764 % |
361.48/361.69	c |     87386 |    1419     2532    62197 |    20886    14244     34 |  1.392 % |
387.09/387.22	c ===============================================================================
387.38/387.56	c core #18
387.38/387.56	c 
387.38/387.56	c 
387.38/387.56	c Core size: 17	Core Weight: 3	Total Weight: 38
387.38/387.56	c
387.38/387.56	c
387.38/387.56	c ============================[ Search Statistics ]==============================
387.38/387.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
387.38/387.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
387.38/387.56	c ===============================================================================
387.38/387.56	c |         0 |    1431     2534    62202 |     5000        0    nan |  0.000 % |
387.48/387.67	c |       100 |    1431     2534    62202 |     5500      100     20 |  0.763 % |
387.58/387.77	c |       251 |    1431     2534    62202 |     6050      251     21 |  0.763 % |
387.67/387.89	c |       476 |    1431     2534    62202 |     6655      476     19 |  0.763 % |
387.87/388.02	c |       815 |    1431     2534    62202 |     7320      815     18 |  0.763 % |
388.27/388.41	c |      1321 |    1431     2534    62202 |     8052     1321     21 |  0.763 % |
388.68/388.80	c |      2080 |    1431     2534    62202 |     8857     2080     21 |  0.763 % |
389.58/389.78	c |      3220 |    1431     2534    62202 |     9743     3220     23 |  0.763 % |
390.87/391.00	c |      4930 |    1431     2534    62202 |    10717     4930     24 |  0.763 % |
392.67/392.83	c |      7492 |    1431     2534    62202 |    11789     7492     26 |  0.763 % |
395.98/396.11	c |     11337 |    1431     2534    62202 |    12968    11337     26 |  0.763 % |
400.57/400.79	c |     17103 |    1431     2534    62202 |    14265    10356     28 |  0.763 % |
410.17/410.38	c |     25752 |    1431     2534    62202 |    15692    11593     31 |  0.763 % |
421.46/421.69	c |     38727 |    1431     2534    62202 |    17261     8464     31 |  0.763 % |
442.85/443.08	c |     58188 |    1431     2534    62202 |    18987    10449     31 |  0.763 % |
470.05/470.22	c |     87381 |    1431     2534    62202 |    20886    10688     32 |  0.763 % |
517.34/517.50	c |    131170 |    1431     2534    62202 |    22974    12198     32 |  0.763 % |
592.31/592.51	c |    196855 |    1430     2534    62202 |    25272     7757     29 |  0.833 % |
647.89/648.19	c ===============================================================================
648.49/648.76	c core #19
648.49/648.76	c 
648.49/648.76	c 
648.49/648.76	c Core size: 41	Core Weight: 1	Total Weight: 39
648.49/648.76	c
648.49/648.76	c
648.49/648.76	c ============================[ Search Statistics ]==============================
648.49/648.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
648.49/648.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
648.49/648.76	c ===============================================================================
648.49/648.76	c |         0 |    1456     2536    62251 |     5000        0    nan |  0.000 % |
648.59/648.87	c |       101 |    1456     2536    62251 |     5500      101     19 |  0.750 % |
648.70/648.97	c |       251 |    1456     2536    62251 |     6050      251     21 |  0.750 % |
648.89/649.11	c |       477 |    1456     2536    62251 |     6655      477     22 |  0.751 % |
649.10/649.35	c |       814 |    1456     2536    62251 |     7320      814     23 |  0.750 % |
649.40/649.64	c |      1320 |    1456     2536    62251 |     8052     1320     23 |  0.750 % |
649.99/650.22	c |      2079 |    1456     2536    62251 |     8857     2079     25 |  0.750 % |
651.00/651.21	c |      3218 |    1456     2536    62251 |     9743     3218     26 |  0.750 % |
651.89/652.12	c |      4926 |    1456     2536    62251 |    10717     4926     25 |  0.750 % |
654.00/654.22	c |      7489 |    1456     2536    62251 |    11789     7489     26 |  0.750 % |
657.00/657.21	c |     11333 |    1456     2536    62251 |    12968    11333     26 |  0.750 % |
662.49/662.71	c |     17099 |    1456     2536    62251 |    14265    10361     27 |  0.750 % |
671.28/671.56	c |     25750 |    1456     2536    62251 |    15692    11517     28 |  0.750 % |
682.08/682.39	c |     38724 |    1456     2536    62251 |    17261     8660     28 |  0.750 % |
701.87/702.17	c |     58186 |    1456     2536    62251 |    18987    10650     30 |  0.750 % |
731.66/731.96	c |     87378 |    1456     2536    62251 |    20886    11040     30 |  0.750 % |
774.06/774.36	c |    131169 |    1455     2536    62251 |    22974    12565     28 |  0.819 % |
810.35/810.62	c ===============================================================================
810.74/811.02	c core #20
810.74/811.02	c 
810.74/811.02	c 
810.74/811.02	c Core size: 36	Core Weight: 1	Total Weight: 40
810.74/811.02	c
810.74/811.02	c
810.74/811.02	c ============================[ Search Statistics ]==============================
810.74/811.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
810.74/811.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
810.74/811.02	c ===============================================================================
810.74/811.02	c |         0 |    1470     2538    62278 |     5000        0    nan |  0.000 % |
810.84/811.18	c |       101 |    1470     2538    62278 |     5500      101     23 |  0.743 % |
811.04/811.31	c |       252 |    1470     2538    62278 |     6050      252     24 |  0.743 % |
811.24/811.59	c |       477 |    1470     2538    62278 |     6655      477     25 |  0.743 % |
811.55/811.89	c |       815 |    1470     2538    62278 |     7320      815     26 |  0.743 % |
811.94/812.21	c |      1321 |    1470     2538    62278 |     8052     1321     26 |  0.743 % |
812.65/812.91	c |      2081 |    1470     2538    62278 |     8857     2081     27 |  0.743 % |
813.74/814.09	c |      3220 |    1470     2538    62278 |     9743     3220     26 |  0.743 % |
815.34/815.68	c |      4928 |    1470     2538    62278 |    10717     4928     26 |  0.743 % |
818.24/818.51	c |      7491 |    1470     2538    62278 |    11789     7491     27 |  0.743 % |
822.55/822.82	c |     11336 |    1470     2538    62278 |    12968    11336     28 |  0.743 % |
828.13/828.40	c |     17102 |    1470     2538    62278 |    14265    10529     27 |  0.743 % |
836.74/837.09	c |     25751 |    1470     2538    62278 |    15692    11981     27 |  0.744 % |
852.72/853.09	c |     38725 |    1470     2538    62278 |    17261     8788     29 |  0.743 % |
873.72/874.04	c |     58187 |    1470     2538    62278 |    18987    10857     28 |  0.743 % |
906.02/906.39	c |     87380 |    1470     2538    62278 |    20886    11292     25 |  0.743 % |
961.89/962.24	c |    131170 |    1470     2538    62278 |    22974    12566     31 |  0.743 % |
1043.96/1044.32	c |    196855 |    1470     2538    62278 |    25272    18412     29 |  0.743 % |
1183.92/1184.33	c |    295381 |    1470     2538    62278 |    27799    22394     30 |  0.743 % |
1383.47/1383.99	c |    443170 |    1470     2538    62278 |    30579    24552     31 |  0.744 % |
1721.97/1722.54	c |    664855 |    1470     2538    62278 |    33637    25109     31 |  0.743 % |

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-2680678-1277456779/watcher-2680678-1277456779 -o /tmp/evaluation-result-2680678-1277456779/solver-2680678-1277456779 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680678-1277456779.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.93 0.98 0.97 3/106 28035
/proc/meminfo: memFree=1853736/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=3048 CPUtime=0
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 290 0 0 0 0 0 0 0 20 0 1 0 86970361 3121152 208 1992294400 134512640 135752675 4288134784 18446744073709551615 134560774 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 762 209 138 303 0 339 0

[startup+0.0904379 s]
/proc/loadavg: 0.93 0.98 0.97 3/106 28035
/proc/meminfo: memFree=1853736/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=4788 CPUtime=0.08
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 817 0 0 0 8 0 0 0 20 0 1 0 86970361 4902912 735 1992294400 134512640 135752675 4288134784 18446744073709551615 135380348 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 1197 735 234 303 0 774 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4788

[startup+0.101438 s]
/proc/loadavg: 0.93 0.98 0.97 3/106 28035
/proc/meminfo: memFree=1853736/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=5052 CPUtime=0.1
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 888 0 0 0 10 0 0 0 20 0 1 0 86970361 5173248 806 1992294400 134512640 135752675 4288134784 18446744073709551615 135274913 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 1145 688 129 303 0 840 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5052

[startup+0.301461 s]
/proc/loadavg: 0.93 0.98 0.97 3/106 28035
/proc/meminfo: memFree=1853736/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=4680 CPUtime=0.3
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 957 0 0 0 30 0 0 0 20 0 1 0 86970361 4792320 746 1992294400 134512640 135752675 4288134784 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 1170 746 144 303 0 865 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 4680

[startup+0.701504 s]
/proc/loadavg: 0.93 0.98 0.97 3/106 28035
/proc/meminfo: memFree=1853736/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=4812 CPUtime=0.7
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 964 0 0 0 70 0 0 0 20 0 1 0 86970361 4927488 753 1992294400 134512640 135752675 4288134784 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 1203 753 144 303 0 898 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 4812

[startup+1.50159 s]
/proc/loadavg: 0.94 0.98 0.97 2/107 28036
/proc/meminfo: memFree=1851000/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=5076 CPUtime=1.49
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 1039 0 0 0 149 0 0 0 22 0 1 0 86970361 5197824 828 1992294400 134512640 135752675 4288134784 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 1269 828 144 303 0 964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5076

[startup+3.10177 s]
/proc/loadavg: 0.94 0.98 0.97 2/107 28036
/proc/meminfo: memFree=1850380/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=5604 CPUtime=3.09
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 1157 0 0 0 308 1 0 0 25 0 1 0 86970361 5738496 946 1992294400 134512640 135752675 4288134784 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 1401 946 144 303 0 1096 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5604

[startup+6.30112 s]
/proc/loadavg: 0.94 0.98 0.97 2/107 28036
/proc/meminfo: memFree=1849388/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=6528 CPUtime=6.29
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 1391 0 0 0 626 3 0 0 25 0 1 0 86970361 6684672 1180 1992294400 134512640 135752675 4288134784 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 1632 1180 145 303 0 1327 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6528

[startup+12.7018 s]
/proc/loadavg: 0.95 0.98 0.97 2/107 28036
/proc/meminfo: memFree=1847652/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=8112 CPUtime=12.68
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 1791 0 0 0 1263 5 0 0 25 0 1 0 86970361 8306688 1580 1992294400 134512640 135752675 4288134784 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 2028 1580 145 303 0 1723 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8112

[startup+25.5012 s]
/proc/loadavg: 0.96 0.98 0.97 2/107 28036
/proc/meminfo: memFree=1844428/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=11324 CPUtime=25.48
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 2597 0 0 0 2538 10 0 0 25 0 1 0 86970361 11595776 2386 1992294400 134512640 135752675 4288134784 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 2831 2386 145 303 0 2526 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11324

[startup+51.101 s]
/proc/loadavg: 0.97 0.98 0.97 2/107 28038
/proc/meminfo: memFree=1838228/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=17532 CPUtime=51.08
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 4165 0 0 0 5088 20 0 0 25 0 1 0 86970361 17952768 3954 1992294400 134512640 135752675 4288134784 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 4383 3954 145 303 0 4078 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17532

[startup+102.309 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28038
/proc/meminfo: memFree=1826200/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=29296 CPUtime=102.27
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 7087 0 0 0 10186 41 0 0 25 0 1 0 86970361 29999104 6876 1992294400 134512640 135752675 4288134784 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 7324 6876 145 303 0 7019 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29296

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28040
/proc/meminfo: memFree=1812188/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=43292 CPUtime=162.25
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 10580 0 0 0 16157 68 0 0 25 0 1 0 86970361 44331008 10369 1992294400 134512640 135752675 4288134784 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 10823 10369 145 303 0 10518 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 43292

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28042
/proc/meminfo: memFree=1805740/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=49384 CPUtime=222.22
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 12121 0 0 0 22131 91 0 0 25 0 1 0 86970361 50569216 11910 1992294400 134512640 135752675 4288134784 18446744073709551615 134605428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 12346 11910 146 303 0 12041 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49384

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28044
/proc/meminfo: memFree=1801524/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=53624 CPUtime=282.2
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 13186 0 0 0 28111 109 0 0 25 0 1 0 86970361 54910976 12975 1992294400 134512640 135752675 4288134784 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 13406 12975 146 303 0 13101 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 53624

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28044
/proc/meminfo: memFree=1792844/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=62212 CPUtime=342.19
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 15312 0 0 0 34091 128 0 0 25 0 1 0 86970361 63705088 15101 1992294400 134512640 135752675 4288134784 18446744073709551615 134605428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 15553 15101 146 303 0 15248 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 62212

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28046
/proc/meminfo: memFree=1782180/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=72824 CPUtime=402.17
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 17976 0 0 0 40067 150 0 0 25 0 1 0 86970361 74571776 17765 1992294400 134512640 135752675 4288134784 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 18206 17765 146 303 0 17901 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 72824

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28048
/proc/meminfo: memFree=1773500/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=81456 CPUtime=462.16
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 20126 0 0 0 46041 175 0 0 25 0 1 0 86970361 83410944 19915 1992294400 134512640 135752675 4288134784 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 20364 19915 146 303 0 20059 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 81456

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28050
/proc/meminfo: memFree=1764076/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=90872 CPUtime=522.13
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 22499 0 0 0 52017 196 0 0 25 0 1 0 86970361 93052928 22288 1992294400 134512640 135752675 4288134784 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 22718 22288 146 303 0 22413 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 90872

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28052
/proc/meminfo: memFree=1752916/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=101844 CPUtime=582.12
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 25220 0 0 0 57995 217 0 0 25 0 1 0 86970361 104288256 25009 1992294400 134512640 135752675 4288134784 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 25461 25009 146 303 0 25156 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 101844

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28052
/proc/meminfo: memFree=1741136/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=113460 CPUtime=642.11
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 28129 0 0 0 63969 242 0 0 25 0 1 0 86970361 116183040 27918 1992294400 134512640 135752675 4288134784 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 28365 27918 146 303 0 28060 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 113460

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28058
/proc/meminfo: memFree=1717700/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=136676 CPUtime=822.03
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 33935 0 0 0 81895 308 0 0 25 0 1 0 86970361 139956224 33724 1992294400 134512640 135752675 4288134784 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 34169 33724 146 303 0 33864 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 136676

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28060
/proc/meminfo: memFree=1711872/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=142500 CPUtime=882.02
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 35388 0 0 0 87875 327 0 0 25 0 1 0 86970361 145920000 35177 1992294400 134512640 135752675 4288134784 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 35625 35177 146 303 0 35320 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 142500

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28060
/proc/meminfo: memFree=1704432/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=149916 CPUtime=942
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 37259 0 0 0 93851 349 0 0 25 0 1 0 86970361 153513984 37048 1992294400 134512640 135752675 4288134784 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 37479 37048 146 303 0 37174 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 149916

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28062
/proc/meminfo: memFree=1696992/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=157200 CPUtime=1001.98
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 39074 0 0 0 99831 367 0 0 25 0 1 0 86970361 160972800 38863 1992294400 134512640 135752675 4288134784 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 39300 38863 146 303 0 38995 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 157200

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28064
/proc/meminfo: memFree=1689304/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=164892 CPUtime=1061.97
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 41001 0 0 0 105808 389 0 0 25 0 1 0 86970361 168849408 40790 1992294400 134512640 135752675 4288134784 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 41223 40790 146 303 0 40918 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 164892

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28066
/proc/meminfo: memFree=1681492/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=172756 CPUtime=1121.94
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 42945 0 0 0 111788 406 0 0 25 0 1 0 86970361 176902144 42734 1992294400 134512640 135752675 4288134784 18446744073709551615 134616122 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 43189 42734 146 303 0 42884 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 172756

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28068
/proc/meminfo: memFree=1673060/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=181272 CPUtime=1181.93
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 45062 0 0 0 117767 426 0 0 25 0 1 0 86970361 185622528 44851 1992294400 134512640 135752675 4288134784 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 45318 44851 146 303 0 45013 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 181272

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28068
/proc/meminfo: memFree=1663512/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=190576 CPUtime=1241.91
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 47381 0 0 0 123743 448 0 0 25 0 1 0 86970361 195149824 47170 1992294400 134512640 135752675 4288134784 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 47644 47170 146 303 0 47339 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 190576

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28070
/proc/meminfo: memFree=1654708/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=199388 CPUtime=1301.9
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 49567 0 0 0 129724 466 0 0 25 0 1 0 86970361 204173312 49356 1992294400 134512640 135752675 4288134784 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 49847 49356 146 303 0 49542 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 199388

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28072
/proc/meminfo: memFree=1646896/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=207176 CPUtime=1361.87
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 51520 0 0 0 135701 486 0 0 25 0 1 0 86970361 212148224 51309 1992294400 134512640 135752675 4288134784 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 51794 51309 146 303 0 51489 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 207176

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28074
/proc/meminfo: memFree=1638340/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=215532 CPUtime=1421.86
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 53636 0 0 0 141682 504 0 0 25 0 1 0 86970361 220704768 53425 1992294400 134512640 135752675 4288134784 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 53883 53425 146 303 0 53578 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 215532

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28076
/proc/meminfo: memFree=1630404/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=223604 CPUtime=1481.84
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 55619 0 0 0 147660 524 0 0 25 0 1 0 86970361 228970496 55408 1992294400 134512640 135752675 4288134784 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 55901 55408 146 303 0 55596 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 223604

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28076
/proc/meminfo: memFree=1622344/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=231540 CPUtime=1541.82
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 57615 0 0 0 153637 545 0 0 25 0 1 0 86970361 237096960 57404 1992294400 134512640 135752675 4288134784 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 57885 57404 146 303 0 57580 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 231540

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28081
/proc/meminfo: memFree=1614532/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=239248 CPUtime=1601.8
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 59540 0 0 0 159614 566 0 0 25 0 1 0 86970361 244989952 59329 1992294400 134512640 135752675 4288134784 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 59812 59329 146 303 0 59507 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 239248

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28083
/proc/meminfo: memFree=1606720/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=247036 CPUtime=1661.79
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 61476 0 0 0 165595 584 0 0 25 0 1 0 86970361 252964864 61265 1992294400 134512640 135752675 4288134784 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 61759 61265 146 303 0 61454 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 247036

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28085
/proc/meminfo: memFree=1599652/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=254176 CPUtime=1721.77
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 63268 0 0 0 171575 602 0 0 25 0 1 0 86970361 260276224 63057 1992294400 134512640 135752675 4288134784 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 63544 63057 146 303 0 63239 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 254176

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28087
/proc/meminfo: memFree=1591592/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=262024 CPUtime=1781.75
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 65221 0 0 0 177552 623 0 0 25 0 1 0 86970361 268312576 65010 1992294400 134512640 135752675 4288134784 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 65506 65010 146 303 0 65201 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 262024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28087
/proc/meminfo: memFree=1589484/2059040 swapFree=4140344/4192956
[pid=28035] ppid=28033 vsize=264008 CPUtime=1800.05
/proc/28035/stat : 28035 (wbo1.4b) R 28033 28035 27742 0 -1 4202496 65749 0 0 0 179377 628 0 0 25 0 1 0 86970361 270344192 65538 1992294400 134512640 135752675 4288134784 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28035/statm: 66002 65538 146 303 0 65697 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 264008

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.65
CPU time (s): 1800.09
CPU user time (s): 1793.77
CPU system time (s): 6.31704
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 264008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.77
system time used= 6.31704
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65749
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= 19
involuntary context switches= 1517

runsolver used 3.15652 second user time and 8.34673 second system time

The end

Launcher Data 

Begin job on node042 at 2010-06-25 11:06:19
IDJOB=2680678
IDBENCH=2643
IDSOLVER=1190
FILE ID=node042/2680678-1277456779
PBS_JOBID= 11188125
Free space on /tmp= 62252 MiB

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

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

MD5SUM BENCH= 5946eb43fefc6e626d35d99afd3eec42
RANDOM SEED=1927481012

node042.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.213
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.42
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.213
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:       1854256 kB
Buffers:         25812 kB
Cached:          77548 kB
SwapCached:       5356 kB
Active:          31360 kB
Inactive:        84948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1854256 kB
SwapTotal:     4192956 kB
SwapFree:      4140344 kB
Dirty:            3380 kB
Writeback:           0 kB
AnonPages:       11572 kB
Mapped:          12004 kB
Slab:            66336 kB
PageTables:       4224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183096 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= 62248 MiB
End job on node042 at 2010-06-25 11:36:21