Trace number 2689803

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 NameAnswerCPU timeWall clock time
wbo 1.4aOPTIMUM 1545.33 1545.29

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-33-100-0.wbo
MD5SUMe6f21b791cbec43296f2521eec73463c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark0.212966
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints69
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 3204
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3203
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1320
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2689803-1277895404.wbo.
0.00/0.00	c Instance file HOME/instance-2689803-1277895404.wbo
0.00/0.00	c File size is 10320 bytes.
0.00/0.00	c Highest Coefficient sum: 1320
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      169                                                 |
0.00/0.00	c |  Number Clauses:        30                                                  |
0.00/0.00	c |  Number Cardinality:    70                                                  |
0.00/0.00	c |  Number PB Constraints: 1                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     169      101     1205 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       102 |     169      101     1205 |     5500      102     33 |  0.004 % |
0.00/0.00	c |       252 |     169      101     1205 |     6050      252     36 |  0.004 % |
0.00/0.01	c |       477 |     169      101     1205 |     6655      477     33 |  0.004 % |
0.01/0.02	c |       814 |     169      101     1205 |     7320      814     34 |  0.004 % |
0.01/0.03	c |      1321 |     169      101     1205 |     8052     1321     33 |  0.004 % |
0.01/0.05	c |      2081 |     169      101     1205 |     8857     2081     33 |  0.004 % |
0.01/0.09	c |      3222 |     169      101     1205 |     9743     3222     34 |  0.004 % |
0.09/0.16	c |      4930 |     169      101     1205 |    10717     4930     35 |  0.004 % |
0.18/0.28	c |      7493 |     169      101     1205 |    11789     7493     37 |  0.004 % |
0.49/0.51	c |     11337 |     169      101     1205 |    12968    11337     39 |  0.004 % |
0.79/0.86	c |     17105 |     169      101     1205 |    14265    10570     42 |  0.004 % |
1.38/1.42	c |     25754 |     169      101     1205 |    15692    12029     42 |  0.004 % |
2.20/2.29	c |     38729 |     128      101     1205 |    17261     2062     38 | 24.264 % |
2.29/2.31	c ===============================================================================
2.39/2.45	c core #1
2.39/2.45	c ============================[ Search Statistics ]==============================
2.39/2.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.39/2.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.39/2.45	c ===============================================================================
2.39/2.45	c |         0 |     236      169     2203 |     5000        0    nan |  0.000 % |
2.39/2.45	c |       100 |     236      169     2203 |     5500      100     31 |  0.002 % |
2.39/2.46	c |       250 |     236      169     2203 |     6050      250     30 |  0.002 % |
2.39/2.47	c |       475 |     236      169     2203 |     6655      475     29 |  0.002 % |
2.39/2.47	c |       813 |     236      169     2203 |     7320      813     32 |  0.002 % |
2.39/2.49	c |      1320 |     236      169     2203 |     8052     1320     31 |  0.002 % |
2.49/2.52	c |      2080 |     236      169     2203 |     8857     2080     33 |  0.002 % |
2.49/2.56	c |      3223 |     236      169     2203 |     9743     3223     33 |  0.002 % |
2.59/2.63	c |      4931 |     236      169     2203 |    10717     4931     33 |  0.002 % |
2.68/2.76	c |      7493 |     236      169     2203 |    11789     7493     34 |  0.002 % |
2.89/2.98	c |     11338 |     236      169     2203 |    12968    11338     36 |  0.002 % |
3.29/3.36	c |     17104 |     236      169     2203 |    14265    10564     41 |  0.002 % |
3.89/3.96	c |     25754 |     236      169     2203 |    15692    12029     42 |  0.002 % |
4.89/4.90	c |     38729 |     236      169     2203 |    17261     9212     45 |  0.002 % |
5.59/5.67	c ===============================================================================
5.79/5.88	c core #2
5.79/5.88	c ============================[ Search Statistics ]==============================
5.79/5.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.79/5.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.79/5.88	c ===============================================================================
5.79/5.88	c |         0 |     302      235     3176 |     5000        0    nan |  0.000 % |
5.79/5.89	c |       101 |     302      235     3176 |     5500      101     39 |  0.001 % |
5.79/5.89	c |       251 |     302      235     3176 |     6050      251     37 |  0.001 % |
5.88/5.90	c |       476 |     302      235     3176 |     6655      476     34 |  0.001 % |
5.88/5.91	c |       813 |     302      235     3176 |     7320      813     32 |  0.001 % |
5.88/5.92	c |      1320 |     302      235     3176 |     8052     1320     31 |  0.001 % |
5.88/5.95	c |      2079 |     302      235     3176 |     8857     2079     30 |  0.001 % |
5.88/6.00	c |      3218 |     302      235     3176 |     9743     3218     32 |  0.001 % |
5.99/6.07	c |      4926 |     302      235     3176 |    10717     4926     34 |  0.001 % |
6.18/6.20	c |      7488 |     302      235     3176 |    11789     7488     34 |  0.001 % |
6.39/6.42	c |     11333 |     302      235     3176 |    12968    11333     36 |  0.001 % |
6.69/6.77	c |     17099 |     302      235     3176 |    14265    10565     39 |  0.001 % |
7.39/7.41	c |     25749 |     302      235     3176 |    15692    12054     43 |  0.001 % |
8.29/8.37	c |     38724 |     302      235     3176 |    17261     9239     44 |  0.001 % |
9.89/9.96	c |     58186 |     302      235     3176 |    18987    11354     45 |  0.001 % |
12.19/12.24	c |     87379 |     269      235     3176 |    20886     3156     31 | 10.928 % |
12.59/12.65	c ===============================================================================
12.99/13.07	c core #3
12.99/13.07	c ============================[ Search Statistics ]==============================
12.99/13.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.99/13.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.99/13.07	c ===============================================================================
12.99/13.07	c |         0 |     371      301     4155 |     5000        0    nan |  0.000 % |
12.99/13.08	c |       101 |     371      301     4155 |     5500      101     36 |  0.001 % |
12.99/13.08	c |       252 |     371      301     4155 |     6050      252     34 |  0.001 % |
12.99/13.09	c |       478 |     371      301     4155 |     6655      478     32 |  0.001 % |
13.10/13.10	c |       815 |     371      301     4155 |     7320      815     29 |  0.001 % |
13.10/13.12	c |      1321 |     371      301     4155 |     8052     1321     31 |  0.001 % |
13.10/13.15	c |      2080 |     371      301     4155 |     8857     2080     31 |  0.001 % |
13.10/13.20	c |      3219 |     371      301     4155 |     9743     3219     32 |  0.001 % |
13.19/13.28	c |      4928 |     371      301     4155 |    10717     4928     33 |  0.001 % |
13.39/13.43	c |      7490 |     371      301     4155 |    11789     7490     34 |  0.001 % |
13.59/13.68	c |     11335 |     371      301     4155 |    12968    11335     36 |  0.001 % |
14.09/14.13	c |     17101 |     371      301     4155 |    14265    10562     40 |  0.001 % |
14.79/14.80	c |     25753 |     371      301     4155 |    15692    12034     44 |  0.001 % |
15.78/15.81	c |     38727 |     371      301     4155 |    17261     9213     42 |  0.001 % |
17.29/17.31	c |     58192 |     371      301     4155 |    18987    11299     43 |  0.035 % |
17.59/17.69	c ===============================================================================
17.89/17.97	c core #4
17.89/17.97	c ============================[ Search Statistics ]==============================
17.89/17.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
17.89/17.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
17.89/17.97	c ===============================================================================
17.89/17.97	c |         0 |     435      366     5119 |     5000        0    nan |  0.000 % |
17.89/17.98	c |       101 |     435      366     5119 |     5500      101     35 |  0.001 % |
17.89/17.98	c |       251 |     435      366     5119 |     6050      251     38 |  0.001 % |
17.89/17.99	c |       476 |     435      366     5119 |     6655      476     40 |  0.001 % |
17.99/18.00	c |       815 |     435      366     5119 |     7320      815     36 |  0.001 % |
17.99/18.02	c |      1322 |     435      366     5119 |     8052     1322     34 |  0.001 % |
17.99/18.05	c |      2081 |     435      366     5119 |     8857     2081     34 |  0.001 % |
17.99/18.09	c |      3221 |     435      366     5119 |     9743     3221     35 |  0.001 % |
18.08/18.17	c |      4929 |     435      366     5119 |    10717     4929     36 |  0.001 % |
18.29/18.32	c |      7494 |     435      366     5119 |    11789     7494     36 |  0.001 % |
18.49/18.57	c |     11338 |     435      366     5119 |    12968    11338     37 |  0.001 % |
18.89/18.95	c |     17105 |     435      366     5119 |    14265    10568     39 |  0.001 % |
19.49/19.53	c |     25756 |     435      366     5119 |    15692    12029     41 |  0.001 % |
20.38/20.45	c |     38731 |     435      366     5119 |    17261     9193     40 |  0.001 % |
21.69/21.73	c |     58194 |     435      366     5119 |    18987    11320     41 |  0.020 % |
22.00/22.01	c ===============================================================================
22.19/22.27	c core #5
22.19/22.27	c ============================[ Search Statistics ]==============================
22.19/22.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.19/22.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.19/22.27	c ===============================================================================
22.19/22.27	c |         0 |     504      430     6080 |     5000        0    nan |  0.000 % |
22.19/22.28	c |       100 |     504      430     6080 |     5500      100     34 |  0.000 % |
22.19/22.29	c |       251 |     504      430     6080 |     6050      251     37 |  0.000 % |
22.19/22.29	c |       476 |     504      430     6080 |     6655      476     38 |  0.000 % |
22.29/22.31	c |       814 |     504      430     6080 |     7320      814     34 |  0.000 % |
22.29/22.32	c |      1321 |     504      430     6080 |     8052     1321     31 |  0.000 % |
22.29/22.35	c |      2081 |     504      430     6080 |     8857     2081     31 |  0.000 % |
22.39/22.40	c |      3220 |     504      430     6080 |     9743     3220     33 |  0.000 % |
22.39/22.48	c |      4930 |     504      430     6080 |    10717     4930     33 |  0.000 % |
22.59/22.61	c |      7492 |     504      430     6080 |    11789     7492     35 |  0.000 % |
22.79/22.87	c |     11337 |     504      430     6080 |    12968    11337     36 |  0.000 % |
23.19/23.25	c |     17103 |     504      430     6080 |    14265    10566     39 |  0.000 % |
23.89/23.91	c |     25753 |     504      430     6080 |    15692    12030     41 |  0.000 % |
24.89/24.93	c |     38727 |     504      430     6080 |    17261     9192     44 |  0.000 % |
26.29/26.37	c |     58189 |     504      430     6080 |    18987    11290     42 |  0.000 % |
27.99/28.03	c ===============================================================================
28.28/28.36	c core #6
28.28/28.36	c ============================[ Search Statistics ]==============================
28.28/28.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
28.28/28.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
28.28/28.36	c ===============================================================================
28.28/28.36	c |         0 |     577      493     7036 |     5000        0    nan |  0.000 % |
28.28/28.37	c |       102 |     577      493     7036 |     5500      102     41 |  0.000 % |
28.28/28.38	c |       254 |     577      493     7036 |     6050      254     35 |  0.000 % |
28.28/28.39	c |       481 |     577      493     7036 |     6655      481     31 |  0.000 % |
28.39/28.40	c |       818 |     577      493     7036 |     7320      818     29 |  0.000 % |
28.39/28.41	c |      1324 |     577      493     7036 |     8052     1324     30 |  0.000 % |
28.39/28.44	c |      2084 |     577      493     7036 |     8857     2084     33 |  0.000 % |
28.39/28.49	c |      3224 |     577      493     7036 |     9743     3224     35 |  0.000 % |
28.49/28.57	c |      4932 |     577      493     7036 |    10717     4932     37 |  0.000 % |
28.69/28.70	c |      7496 |     577      493     7036 |    11789     7496     37 |  0.000 % |
28.89/28.93	c |     11340 |     577      493     7036 |    12968    11340     37 |  0.000 % |
29.28/29.34	c |     17108 |     577      493     7036 |    14265    10569     38 |  0.000 % |
29.99/30.00	c |     25758 |     577      493     7036 |    15692    12040     40 |  0.000 % |
30.89/30.97	c |     38732 |     577      493     7036 |    17261     9228     41 |  0.000 % |
32.39/32.46	c |     58195 |     577      493     7036 |    18987    11338     45 |  0.000 % |
33.49/33.58	c ===============================================================================
33.89/33.90	c core #7
33.89/33.90	c ============================[ Search Statistics ]==============================
33.89/33.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
33.89/33.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
33.89/33.90	c ===============================================================================
33.89/33.90	c |         0 |     655      556     8002 |     5000        0    nan |  0.000 % |
33.89/33.91	c |       100 |     655      556     8002 |     5500      100     39 |  0.000 % |
33.89/33.91	c |       251 |     655      556     8002 |     6050      251     37 |  0.000 % |
33.89/33.92	c |       476 |     655      556     8002 |     6655      476     35 |  0.000 % |
33.89/33.93	c |       814 |     655      556     8002 |     7320      814     34 |  0.000 % |
33.89/33.95	c |      1323 |     655      556     8002 |     8052     1323     35 |  0.000 % |
33.89/33.98	c |      2083 |     655      556     8002 |     8857     2083     33 |  0.000 % |
33.99/34.03	c |      3222 |     655      556     8002 |     9743     3222     35 |  0.000 % |
34.10/34.11	c |      4931 |     655      556     8002 |    10717     4931     34 |  0.000 % |
34.19/34.25	c |      7493 |     655      556     8002 |    11789     7493     35 |  0.000 % |
34.49/34.50	c |     11340 |     655      556     8002 |    12968    11340     36 |  0.000 % |
34.89/34.91	c |     17107 |     655      556     8002 |    14265    10578     39 |  0.000 % |
35.49/35.59	c |     25757 |     655      556     8002 |    15692    12042     41 |  0.000 % |
36.49/36.57	c |     38731 |     655      556     8002 |    17261     9219     43 |  0.000 % |
38.09/38.17	c |     58196 |     655      556     8002 |    18987    11335     44 |  0.000 % |
39.19/39.25	c ===============================================================================
39.49/39.58	c core #8
39.49/39.58	c ============================[ Search Statistics ]==============================
39.49/39.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.49/39.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.49/39.58	c ===============================================================================
39.49/39.58	c |         0 |     716      617     8919 |     5000        0    nan |  0.000 % |
39.49/39.59	c |       101 |     716      617     8919 |     5500      101     37 |  0.000 % |
39.49/39.60	c |       252 |     716      617     8919 |     6050      252     32 |  0.000 % |
39.59/39.60	c |       477 |     716      617     8919 |     6655      477     29 |  0.000 % |
39.59/39.62	c |       815 |     716      617     8919 |     7320      815     30 |  0.000 % |
39.59/39.63	c |      1322 |     716      617     8919 |     8052     1322     30 |  0.000 % |
39.59/39.66	c |      2082 |     716      617     8919 |     8857     2082     30 |  0.000 % |
39.69/39.71	c |      3221 |     716      617     8919 |     9743     3221     32 |  0.000 % |
39.79/39.80	c |      4930 |     716      617     8919 |    10717     4930     34 |  0.000 % |
39.89/39.94	c |      7492 |     716      617     8919 |    11789     7492     35 |  0.000 % |
40.09/40.19	c |     11338 |     716      617     8919 |    12968    11338     36 |  0.000 % |
40.49/40.58	c |     17105 |     716      617     8919 |    14265    10579     40 |  0.000 % |
41.18/41.21	c |     25756 |     716      617     8919 |    15692    12069     44 |  0.000 % |
42.19/42.28	c |     38731 |     716      617     8919 |    17261     9255     43 |  0.000 % |
43.89/43.98	c |     58193 |     716      617     8919 |    18987    11348     44 |  0.000 % |
46.29/46.30	c ===============================================================================
46.59/46.69	c core #9
46.59/46.69	c ============================[ Search Statistics ]==============================
46.59/46.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.59/46.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.59/46.69	c ===============================================================================
46.59/46.69	c |         0 |     807      678     9896 |     5000        0    nan |  0.000 % |
46.69/46.70	c |       103 |     807      678     9896 |     5500      103     36 |  0.000 % |
46.69/46.71	c |       255 |     807      678     9896 |     6050      255     33 |  0.000 % |
46.69/46.71	c |       481 |     807      678     9896 |     6655      481     30 |  0.000 % |
46.69/46.73	c |       818 |     807      678     9896 |     7320      818     29 |  0.000 % |
46.69/46.75	c |      1325 |     807      678     9896 |     8052     1325     30 |  0.000 % |
46.69/46.78	c |      2084 |     807      678     9896 |     8857     2084     31 |  0.000 % |
46.79/46.83	c |      3223 |     807      678     9896 |     9743     3223     32 |  0.000 % |
46.89/46.92	c |      4931 |     807      678     9896 |    10717     4931     32 |  0.000 % |
46.99/47.07	c |      7493 |     807      678     9896 |    11789     7493     34 |  0.000 % |
47.29/47.33	c |     11337 |     807      678     9896 |    12968    11337     35 |  0.000 % |
47.69/47.76	c |     17105 |     807      678     9896 |    14265    10561     39 |  0.000 % |
48.40/48.40	c |     25754 |     807      678     9896 |    15692    12023     43 |  0.000 % |
49.40/49.41	c |     38728 |     807      678     9896 |    17261     9193     43 |  0.000 % |
50.99/51.02	c |     58190 |     807      678     9896 |    18987    11279     43 |  0.000 % |
53.29/53.32	c |     87382 |     768      678     9896 |    20886     6756     47 |  4.836 % |
53.39/53.44	c ===============================================================================
53.79/53.86	c core #10
53.79/53.86	c ============================[ Search Statistics ]==============================
53.79/53.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
53.79/53.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
53.79/53.86	c ===============================================================================
53.79/53.86	c |         0 |     866      736    10777 |     5000        0    nan |  0.000 % |
53.79/53.87	c |       100 |     866      736    10777 |     5500      100     45 |  0.000 % |
53.79/53.88	c |       250 |     866      736    10777 |     6050      250     40 |  0.000 % |
53.79/53.89	c |       475 |     866      736    10777 |     6655      475     36 |  0.000 % |
53.89/53.91	c |       813 |     866      736    10777 |     7320      813     35 |  0.000 % |
53.89/53.93	c |      1320 |     866      736    10777 |     8052     1320     36 |  0.000 % |
53.89/53.97	c |      2080 |     866      736    10777 |     8857     2080     34 |  0.000 % |
53.99/54.02	c |      3220 |     866      736    10777 |     9743     3220     34 |  0.000 % |
54.08/54.11	c |      4928 |     866      736    10777 |    10717     4928     35 |  0.000 % |
54.18/54.28	c |      7490 |     866      736    10777 |    11789     7490     37 |  0.000 % |
54.48/54.53	c |     11336 |     866      736    10777 |    12968    11336     37 |  0.000 % |
54.89/54.97	c |     17103 |     866      736    10777 |    14265    10556     39 |  0.000 % |
55.58/55.67	c |     25752 |     866      736    10777 |    15692    12035     42 |  0.000 % |
56.69/56.71	c |     38727 |     866      736    10777 |    17261     9208     42 |  0.000 % |
58.19/58.27	c |     58188 |     866      736    10777 |    18987    11316     44 |  0.000 % |
60.69/60.74	c |     87380 |     866      736    10777 |    20886    11886     44 |  0.000 % |
62.79/62.88	c ===============================================================================
63.39/63.41	c core #11
63.39/63.41	c ============================[ Search Statistics ]==============================
63.39/63.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
63.39/63.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
63.39/63.41	c ===============================================================================
63.39/63.41	c |         0 |     982      794    11772 |     5000        0    nan |  0.000 % |
63.39/63.43	c |       101 |     982      794    11772 |     5500      101     51 |  0.000 % |
63.39/63.43	c |       251 |     982      794    11772 |     6050      251     35 |  0.000 % |
63.39/63.44	c |       476 |     982      794    11772 |     6655      476     38 |  0.000 % |
63.39/63.45	c |       813 |     982      794    11772 |     7320      813     35 |  0.000 % |
63.39/63.48	c |      1321 |     982      794    11772 |     8052     1321     33 |  0.000 % |
63.49/63.51	c |      2081 |     982      794    11772 |     8857     2081     33 |  0.000 % |
63.49/63.56	c |      3221 |     982      794    11772 |     9743     3221     34 |  0.000 % |
63.59/63.64	c |      4929 |     982      794    11772 |    10717     4929     34 |  0.000 % |
63.69/63.77	c |      7491 |     982      794    11772 |    11789     7491     35 |  0.000 % |
63.98/64.02	c |     11335 |     982      794    11772 |    12968    11335     36 |  0.000 % |
64.39/64.43	c |     17102 |     982      794    11772 |    14265    10568     38 |  0.000 % |
64.99/65.04	c |     25752 |     982      794    11772 |    15692    12034     41 |  0.000 % |
65.99/66.06	c |     38726 |     982      794    11772 |    17261     9230     42 |  0.000 % |
67.58/67.68	c |     58189 |     982      794    11772 |    18987    11318     42 |  0.000 % |
69.89/69.98	c |     87382 |     982      794    11772 |    20886    11881     43 |  0.000 % |
72.19/72.21	c ===============================================================================
72.69/72.74	c core #12
72.69/72.74	c ============================[ Search Statistics ]==============================
72.69/72.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
72.69/72.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
72.69/72.74	c ===============================================================================
72.69/72.74	c |         0 |    1051      851    12660 |     5000        0    nan |  0.000 % |
72.69/72.75	c |       101 |    1051      851    12660 |     5500      101     43 |  0.000 % |
72.69/72.76	c |       251 |    1051      851    12660 |     6050      251     33 |  0.000 % |
72.69/72.77	c |       476 |    1051      851    12660 |     6655      476     32 |  0.000 % |
72.69/72.78	c |       813 |    1051      851    12660 |     7320      813     33 |  0.000 % |
72.79/72.81	c |      1319 |    1051      851    12660 |     8052     1319     33 |  0.000 % |
72.79/72.84	c |      2078 |    1051      851    12660 |     8857     2078     36 |  0.000 % |
72.79/72.89	c |      3217 |    1051      851    12660 |     9743     3217     36 |  0.000 % |
72.88/72.98	c |      4926 |    1051      851    12660 |    10717     4926     37 |  0.000 % |
73.09/73.13	c |      7489 |    1051      851    12660 |    11789     7489     36 |  0.000 % |
73.29/73.40	c |     11333 |    1051      851    12660 |    12968    11333     36 |  0.000 % |
73.78/73.83	c |     17099 |    1051      851    12660 |    14265    10581     38 |  0.000 % |
74.49/74.50	c |     25748 |    1051      851    12660 |    15692    12045     39 |  0.000 % |
75.49/75.59	c |     38722 |    1051      851    12660 |    17261     9233     44 |  0.000 % |
77.09/77.17	c |     58184 |    1051      851    12660 |    18987    11334     46 |  0.000 % |
79.69/79.71	c |     87377 |    1051      851    12660 |    20886    11878     45 |  0.000 % |
83.69/83.78	c |    131168 |    1051      851    12660 |    22974    13682     48 |  0.000 % |
87.29/87.35	c ===============================================================================
88.08/88.17	c core #13
88.08/88.17	c ============================[ Search Statistics ]==============================
88.08/88.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
88.08/88.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
88.08/88.17	c ===============================================================================
88.08/88.17	c |         0 |    1160      908    13628 |     5000        0    nan |  0.000 % |
88.08/88.19	c |       100 |    1160      908    13628 |     5500      100     46 |  0.000 % |
88.19/88.20	c |       251 |    1160      908    13628 |     6050      251     40 |  0.000 % |
88.19/88.21	c |       476 |    1160      908    13628 |     6655      476     38 |  0.000 % |
88.19/88.23	c |       813 |    1160      908    13628 |     7320      813     35 |  0.000 % |
88.19/88.25	c |      1320 |    1160      908    13628 |     8052     1320     34 |  0.000 % |
88.19/88.28	c |      2079 |    1160      908    13628 |     8857     2079     34 |  0.000 % |
88.29/88.34	c |      3218 |    1160      908    13628 |     9743     3218     34 |  0.000 % |
88.39/88.42	c |      4927 |    1160      908    13628 |    10717     4927     33 |  0.000 % |
88.48/88.56	c |      7491 |    1160      908    13628 |    11789     7491     34 |  0.000 % |
88.79/88.83	c |     11336 |    1160      908    13628 |    12968    11336     35 |  0.000 % |
89.19/89.25	c |     17102 |    1160      908    13628 |    14265    10561     38 |  0.000 % |
89.89/89.93	c |     25751 |    1160      908    13628 |    15692    12025     40 |  0.000 % |
90.89/90.92	c |     38726 |    1160      908    13628 |    17261     9218     39 |  0.000 % |
92.48/92.56	c |     58188 |    1160      908    13628 |    18987    11321     38 |  0.000 % |
94.88/94.98	c |     87380 |    1160      908    13628 |    20886    11869     42 |  0.000 % |
98.68/98.75	c |    131169 |    1160      908    13628 |    22974    13668     43 |  0.000 % |
101.99/102.06	c ===============================================================================
102.78/102.85	c core #14
102.78/102.85	c ============================[ Search Statistics ]==============================
102.78/102.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
102.78/102.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
102.78/102.85	c ===============================================================================
102.78/102.85	c |         0 |    1238      965    14534 |     5000        0    nan |  0.000 % |
102.78/102.88	c |       101 |    1238      965    14534 |     5500      101     43 |  0.000 % |
102.78/102.88	c |       251 |    1238      965    14534 |     6050      251     41 |  0.000 % |
102.78/102.89	c |       477 |    1238      965    14534 |     6655      477     36 |  0.000 % |
102.88/102.91	c |       815 |    1238      965    14534 |     7320      815     34 |  0.000 % |
102.88/102.93	c |      1321 |    1238      965    14534 |     8052     1321     34 |  0.000 % |
102.88/102.97	c |      2082 |    1238      965    14534 |     8857     2082     33 |  0.000 % |
102.99/103.02	c |      3221 |    1238      965    14534 |     9743     3221     34 |  0.000 % |
103.08/103.11	c |      4930 |    1238      965    14534 |    10717     4930     34 |  0.000 % |
103.19/103.26	c |      7492 |    1238      965    14534 |    11789     7492     34 |  0.000 % |
103.48/103.54	c |     11336 |    1238      965    14534 |    12968    11336     35 |  0.000 % |
103.88/103.98	c |     17102 |    1238      965    14534 |    14265    10570     38 |  0.000 % |
104.59/104.64	c |     25752 |    1238      965    14534 |    15692    12035     38 |  0.000 % |
105.59/105.68	c |     38726 |    1238      965    14534 |    17261     9197     43 |  0.000 % |
107.09/107.19	c |     58187 |    1238      965    14534 |    18987    11276     41 |  0.000 % |
109.69/109.70	c |     87379 |    1238      965    14534 |    20886    11857     40 |  0.000 % |
113.59/113.65	c |    131169 |    1238      965    14534 |    22974    13670     45 |  0.001 % |
115.89/115.95	c ===============================================================================
116.59/116.63	c core #15
116.59/116.63	c ============================[ Search Statistics ]==============================
116.59/116.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
116.59/116.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
116.59/116.63	c ===============================================================================
116.59/116.63	c |         0 |    1327     1022    15462 |     5000        0    nan |  0.000 % |
116.59/116.66	c |       102 |    1327     1022    15462 |     5500      102     46 |  0.000 % |
116.59/116.67	c |       255 |    1327     1022    15462 |     6050      255     35 |  0.000 % |
116.59/116.68	c |       481 |    1327     1022    15462 |     6655      481     31 |  0.000 % |
116.59/116.69	c |       818 |    1327     1022    15462 |     7320      818     30 |  0.000 % |
116.69/116.71	c |      1328 |    1327     1022    15462 |     8052     1328     32 |  0.000 % |
116.69/116.75	c |      2090 |    1327     1022    15462 |     8857     2090     31 |  0.000 % |
116.79/116.81	c |      3230 |    1327     1022    15462 |     9743     3230     33 |  0.000 % |
116.88/116.91	c |      4940 |    1327     1022    15462 |    10717     4940     35 |  0.000 % |
117.09/117.10	c |      7504 |    1327     1022    15462 |    11789     7504     35 |  0.000 % |
117.29/117.39	c |     11350 |    1327     1022    15462 |    12968    11350     37 |  0.000 % |
117.79/117.82	c |     17116 |    1327     1022    15462 |    14265    10580     37 |  0.000 % |
118.49/118.53	c |     25769 |    1327     1022    15462 |    15692    12061     37 |  0.000 % |
119.59/119.67	c |     38743 |    1327     1022    15462 |    17261     9229     38 |  0.000 % |
121.29/121.31	c |     58207 |    1327     1022    15462 |    18987    11338     41 |  0.000 % |
124.08/124.18	c |     87399 |    1327     1022    15462 |    20886    11896     41 |  0.000 % |
127.88/127.98	c |    131188 |    1327     1022    15462 |    22974    13675     44 |  0.002 % |
128.19/128.28	c ===============================================================================
128.88/128.96	c core #16
128.88/128.96	c ============================[ Search Statistics ]==============================
128.88/128.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
128.88/128.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
128.88/128.96	c ===============================================================================
128.88/128.96	c |         0 |    1423     1079    16404 |     5000        0    nan |  0.000 % |
128.88/128.98	c |       102 |    1423     1079    16404 |     5500      102     47 |  0.000 % |
128.88/128.99	c |       253 |    1423     1079    16404 |     6050      253     38 |  0.000 % |
128.98/129.00	c |       480 |    1423     1079    16404 |     6655      480     37 |  0.000 % |
128.98/129.01	c |       817 |    1423     1079    16404 |     7320      817     38 |  0.000 % |
128.98/129.04	c |      1325 |    1423     1079    16404 |     8052     1325     36 |  0.000 % |
128.98/129.07	c |      2086 |    1423     1079    16404 |     8857     2086     33 |  0.000 % |
129.09/129.13	c |      3225 |    1423     1079    16404 |     9743     3225     33 |  0.000 % |
129.19/129.24	c |      4935 |    1423     1079    16404 |    10717     4935     33 |  0.000 % |
129.38/129.42	c |      7497 |    1423     1079    16404 |    11789     7497     32 |  0.000 % |
129.69/129.73	c |     11341 |    1423     1079    16404 |    12968    11341     33 |  0.000 % |
130.19/130.20	c |     17109 |    1423     1079    16404 |    14265    10590     36 |  0.000 % |
130.89/130.90	c |     25758 |    1423     1079    16404 |    15692    12050     38 |  0.000 % |
131.89/131.97	c |     38734 |    1423     1079    16404 |    17261     9220     40 |  0.000 % |
133.49/133.60	c |     58195 |    1423     1079    16404 |    18987    11293     41 |  0.000 % |
136.29/136.39	c |     87387 |    1423     1079    16404 |    20886    11857     43 |  0.000 % |
140.09/140.15	c |    131176 |    1423     1079    16404 |    22974    13675     44 |  0.000 % |
147.98/148.00	c ===============================================================================
148.78/148.88	c core #17
148.78/148.88	c ============================[ Search Statistics ]==============================
148.78/148.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
148.78/148.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
148.78/148.88	c ===============================================================================
148.78/148.88	c |         0 |    1525     1135    17346 |     5000        0    nan |  0.000 % |
148.88/148.91	c |       100 |    1525     1135    17346 |     5500      100     46 |  0.000 % |
148.88/148.92	c |       251 |    1525     1135    17346 |     6050      251     37 |  0.000 % |
148.88/148.93	c |       478 |    1525     1135    17346 |     6655      478     34 |  0.000 % |
148.88/148.95	c |       815 |    1525     1135    17346 |     7320      815     33 |  0.000 % |
148.88/148.98	c |      1321 |    1525     1135    17346 |     8052     1321     33 |  0.000 % |
148.99/149.01	c |      2081 |    1525     1135    17346 |     8857     2081     33 |  0.000 % |
148.99/149.07	c |      3220 |    1525     1135    17346 |     9743     3220     33 |  0.000 % |
149.09/149.18	c |      4928 |    1525     1135    17346 |    10717     4928     33 |  0.000 % |
149.28/149.35	c |      7492 |    1525     1135    17346 |    11789     7492     33 |  0.000 % |
149.59/149.63	c |     11337 |    1525     1135    17346 |    12968    11337     34 |  0.000 % |
150.19/150.20	c |     17103 |    1525     1135    17346 |    14265    10563     38 |  0.000 % |
150.89/150.91	c |     25752 |    1525     1135    17346 |    15692    12043     39 |  0.000 % |
152.08/152.19	c |     38726 |    1525     1135    17346 |    17261     9229     39 |  0.000 % |
153.78/153.84	c |     58187 |    1525     1135    17346 |    18987    11313     40 |  0.000 % |
156.89/156.93	c |     87382 |    1525     1135    17346 |    20886    11746     55 |  0.000 % |
162.58/162.60	c |    131174 |    1525     1135    17346 |    22974    11507     66 |  0.000 % |
175.68/175.73	c |    196860 |    1525     1135    17346 |    25272    18296     61 |  0.000 % |
187.59/187.68	c |    295386 |    1525     1135    17346 |    27799    24150     50 |  0.000 % |
212.49/212.59	c |    443176 |    1525     1135    17346 |    30579    26889     58 |  0.000 % |
244.10/244.15	c |    664860 |    1525     1135    17346 |    33637    29146     49 |  0.000 % |
263.19/263.25	c ===============================================================================
265.99/266.05	c core #18
265.99/266.05	c ============================[ Search Statistics ]==============================
265.99/266.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
265.99/266.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
265.99/266.05	c ===============================================================================
265.99/266.05	c |         0 |    1652     1190    18325 |     5000        0    nan |  0.000 % |
266.09/266.11	c |       102 |    1652     1190    18325 |     5500      102     50 |  0.000 % |
266.09/266.12	c |       252 |    1652     1190    18325 |     6050      252     37 |  0.000 % |
266.09/266.13	c |       477 |    1652     1190    18325 |     6655      477     31 |  0.000 % |
266.09/266.14	c |       817 |    1652     1190    18325 |     7320      817     31 |  0.000 % |
266.09/266.18	c |      1324 |    1652     1190    18325 |     8052     1324     31 |  0.000 % |
266.19/266.22	c |      2083 |    1652     1190    18325 |     8857     2083     32 |  0.000 % |
266.19/266.28	c |      3223 |    1652     1190    18325 |     9743     3223     33 |  0.000 % |
266.29/266.38	c |      4931 |    1652     1190    18325 |    10717     4931     33 |  0.000 % |
266.48/266.55	c |      7494 |    1652     1190    18325 |    11789     7494     33 |  0.000 % |
266.79/266.83	c |     11338 |    1652     1190    18325 |    12968    11338     34 |  0.000 % |
267.19/267.28	c |     17105 |    1652     1190    18325 |    14265    10567     38 |  0.000 % |
267.89/267.97	c |     25756 |    1652     1190    18325 |    15692    12033     37 |  0.000 % |
269.09/269.11	c |     38732 |    1652     1190    18325 |    17261     9214     41 |  0.000 % |
270.88/270.94	c |     58195 |    1652     1190    18325 |    18987    11322     39 |  0.000 % |
273.79/273.90	c |     87387 |    1652     1190    18325 |    20886    11900     40 |  0.000 % |
278.39/278.48	c |    131177 |    1652     1190    18325 |    22974    13722     41 |  0.000 % |
296.59/296.68	c |    196864 |    1652     1190    18325 |    25272    20163     98 |  0.000 % |
310.20/310.23	c |    295391 |    1652     1190    18325 |    27799    25046     52 |  0.000 % |
363.29/363.33	c |    443181 |    1652     1190    18325 |    30579    16810     85 |  0.000 % |
397.20/397.29	c |    664867 |    1652     1190    18325 |    33637    19272     56 |  0.000 % |
557.00/557.09	c |    997393 |    1652     1190    18325 |    37001    17488     93 |  0.000 % |
625.50/625.56	c |   1496182 |    1652     1190    18325 |    40701    21877     57 |  0.000 % |
940.01/940.04	c |   2244364 |    1613     1190    18325 |    44771    20468     92 |  2.361 % |
1517.93/1517.98	c ===============================================================================
1534.02/1534.02	c core #19
1534.02/1534.02	c ============================[ Search Statistics ]==============================
1534.02/1534.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1534.02/1534.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1534.02/1534.02	c ===============================================================================
1534.02/1534.02	c |         0 |    1813     1245    19372 |     5000        0    nan |  0.000 % |
1534.12/1534.15	c |       101 |    1813     1245    19372 |     5500      101     49 |  0.000 % |
1534.12/1534.18	c |       253 |    1813     1245    19372 |     6050      253     38 |  0.000 % |
1534.12/1534.20	c |       478 |    1813     1245    19372 |     6655      478     38 |  0.000 % |
1534.22/1534.21	c |       817 |    1813     1245    19372 |     7320      817     33 |  0.000 % |
1534.22/1534.24	c |      1323 |    1813     1245    19372 |     8052     1323     32 |  0.000 % |
1534.33/1534.30	c |      2082 |    1813     1245    19372 |     8857     2082     31 |  0.000 % |
1534.33/1534.40	c |      3221 |    1813     1245    19372 |     9743     3221     32 |  0.000 % |
1534.53/1534.56	c |      4930 |    1813     1245    19372 |    10717     4930     33 |  0.000 % |
1534.73/1534.78	c |      7492 |    1813     1245    19372 |    11789     7492     34 |  0.000 % |
1535.03/1535.07	c |     11336 |    1813     1245    19372 |    12968    11336     35 |  0.000 % |
1535.53/1535.51	c |     17103 |    1813     1245    19372 |    14265    10568     37 |  0.000 % |
1536.23/1536.26	c |     25752 |    1813     1245    19372 |    15692    12039     38 |  0.000 % |
1537.42/1537.49	c |     38727 |    1813     1245    19372 |    17261     9236     38 |  0.000 % |
1539.42/1539.40	c |     58188 |    1813     1245    19372 |    18987    11338     41 |  0.000 % |
1542.24/1542.25	c |     87380 |    1813     1245    19372 |    20886    11868     42 |  0.000 % |
1545.23/1545.22	c ===============================================================================
1545.23/1545.22	c #cores: 19
1545.23/1545.22	c Final Weight: 19
1545.23/1545.22	o 19
1545.23/1545.22	s OPTIMUM FOUND
1545.23/1545.22	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169
1545.23/1545.22	c Total CPU time: 1534.28 s

Verifier Data 

OK	19

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689803-1277895404/watcher-2689803-1277895404 -o /tmp/evaluation-result-2689803-1277895404/solver-2689803-1277895404 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689803-1277895404.wbo 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 22813
/proc/meminfo: memFree=29781028/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=2572 CPUtime=0
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 291 0 0 0 0 0 0 0 21 0 1 0 165144107 2633728 206 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22813/statm: 643 206 143 303 0 338 0

[startup+0.013497 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 22813
/proc/meminfo: memFree=29781028/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=2704 CPUtime=0.01
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 314 0 0 0 1 0 0 0 21 0 1 0 165144107 2768896 229 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22813/statm: 676 229 143 303 0 371 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2704

[startup+0.100491 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 22813
/proc/meminfo: memFree=29781028/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=3496 CPUtime=0.09
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 523 0 0 0 9 0 0 0 21 0 1 0 165144107 3579904 438 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22813/statm: 874 438 143 303 0 569 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3496

[startup+0.300443 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 22813
/proc/meminfo: memFree=29781028/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=4948 CPUtime=0.28
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 882 0 0 0 28 0 0 0 21 0 1 0 165144107 5066752 797 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/22813/statm: 1237 797 143 303 0 932 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 4948

[startup+0.700368 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 22813
/proc/meminfo: memFree=29781028/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=7072 CPUtime=0.69
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 1420 0 0 0 67 2 0 0 22 0 1 0 165144107 7241728 1335 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/22813/statm: 1768 1335 143 303 0 1463 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7072

[startup+1.50022 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22814
/proc/meminfo: memFree=29772960/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=11300 CPUtime=1.49
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 2458 0 0 0 145 4 0 0 25 0 1 0 165144107 11571200 2373 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/22813/statm: 2825 2373 143 303 0 2520 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11300

[startup+3.10093 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22814
/proc/meminfo: memFree=29764900/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=16588 CPUtime=3.09
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 3805 0 0 0 301 8 0 0 18 0 1 0 165144107 16986112 3720 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/22813/statm: 4147 3720 146 303 0 3842 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16588

[startup+6.30035 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22814
/proc/meminfo: memFree=29748044/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=28348 CPUtime=6.28
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 6727 0 0 0 613 15 0 0 25 0 1 0 165144107 29028352 6642 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/22813/statm: 7087 6642 146 303 0 6782 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28348

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22814
/proc/meminfo: memFree=29713700/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=51512 CPUtime=12.68
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 12530 0 0 0 1241 27 0 0 25 0 1 0 165144107 52748288 12445 4089446400 134512640 135751879 4287081792 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/22813/statm: 12878 12445 146 303 0 12573 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 51512

[startup+25.5008 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22815
/proc/meminfo: memFree=29647876/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=73692 CPUtime=25.49
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 18083 0 0 0 2495 54 0 0 25 0 1 0 165144107 75460608 17998 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/22813/statm: 18423 17998 146 303 0 18118 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73692

[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22816
/proc/meminfo: memFree=29507660/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=138108 CPUtime=51.09
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 34172 0 0 0 5004 105 0 0 25 0 1 0 165144107 141422592 34087 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/22813/statm: 34527 34087 146 303 0 34222 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 138108

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22817
/proc/meminfo: memFree=29209892/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=271520 CPUtime=102.29
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 67523 0 0 0 10029 200 0 0 25 0 1 0 165144107 278036480 67438 4089446400 134512640 135751879 4287081792 18446744073709551615 134516349 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/22813/statm: 67880 67438 146 303 0 67575 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 271520

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22818
/proc/meminfo: memFree=28921784/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=384944 CPUtime=162.29
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 95868 0 0 0 15926 303 0 0 25 0 1 0 165144107 394182656 95783 4089446400 134512640 135751879 4287081792 18446744073709551615 134611160 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/22813/statm: 96236 95783 146 303 0 95931 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 384944

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22820
/proc/meminfo: memFree=28649840/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=527668 CPUtime=222.28
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 131476 0 0 0 21863 365 0 0 25 0 1 0 165144107 540332032 131391 4089446400 134512640 135751879 4287081792 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 131917 131391 146 303 0 131612 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 527668

[startup+282.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22831
/proc/meminfo: memFree=28400412/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=645164 CPUtime=282.29
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 160971 0 0 0 27790 439 0 0 25 0 1 0 165144107 660647936 160852 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 161291 160852 146 303 0 160986 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 645164

[startup+342.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22833
/proc/meminfo: memFree=28205552/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=704760 CPUtime=342.29
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 175797 0 0 0 33752 477 0 0 25 0 1 0 165144107 721674240 175678 4089446400 134512640 135751879 4287081792 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 176190 175678 146 303 0 175885 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 704760

[startup+402.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22834
/proc/meminfo: memFree=27989276/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=820700 CPUtime=402.29
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 204753 0 0 0 39702 527 0 0 25 0 1 0 165144107 840396800 204634 4089446400 134512640 135751879 4287081792 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 205175 204634 146 303 0 204870 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 820700

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22835
/proc/meminfo: memFree=27750148/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=869496 CPUtime=462.29
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 216878 0 0 0 45686 543 0 0 25 0 1 0 165144107 890363904 216759 4089446400 134512640 135751879 4287081792 18446744073709551615 134611006 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 217374 216759 146 303 0 217069 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 869496

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22837
/proc/meminfo: memFree=27551972/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=932008 CPUtime=522.3
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 232474 0 0 0 51665 565 0 0 25 0 1 0 165144107 954376192 232355 4089446400 134512640 135751879 4287081792 18446744073709551615 134602977 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 233002 232355 146 303 0 232697 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 932008

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22839
/proc/meminfo: memFree=27304940/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1035820 CPUtime=582.3
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 258383 0 0 0 57624 606 0 0 25 0 1 0 165144107 1060679680 258264 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 258955 258264 146 303 0 258650 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1035820

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22841
/proc/meminfo: memFree=26996016/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1206072 CPUtime=642.3
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 300934 0 0 0 63527 703 0 0 25 0 1 0 165144107 1235017728 300815 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 301518 300815 146 303 0 301213 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 1206072

[startup+702.301 s]

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

/proc/meminfo: memFree=26778232/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1276080 CPUtime=702.31
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 318368 0 0 0 69489 742 0 0 25 0 1 0 165144107 1306705920 318249 4089446400 134512640 135751879 4287081792 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 319020 318249 146 303 0 318715 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 1276080

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22843
/proc/meminfo: memFree=26570020/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1333556 CPUtime=762.31
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 332709 0 0 0 75465 766 0 0 25 0 1 0 165144107 1365561344 332590 4089446400 134512640 135751879 4287081792 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 333389 332590 146 303 0 333084 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 1333556

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22845
/proc/meminfo: memFree=26327220/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1392480 CPUtime=822.31
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 347414 0 0 0 81438 793 0 0 25 0 1 0 165144107 1425899520 347295 4089446400 134512640 135751879 4287081792 18446744073709551615 134616800 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 348120 347295 146 303 0 347815 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1392480

[startup+882.301 s]
/proc/loadavg: 2.17 2.04 2.01 3/197 23041
/proc/meminfo: memFree=29939340/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1446048 CPUtime=882.3
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 360763 0 0 0 87414 816 0 0 25 0 1 0 165144107 1480753152 360644 4089446400 134512640 135751879 4287081792 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 361512 360644 146 303 0 361207 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 1446048

[startup+942.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/197 23042
/proc/meminfo: memFree=29861776/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1507848 CPUtime=942.3
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 376175 0 0 0 93385 845 0 0 25 0 1 0 165144107 1544036352 376056 4089446400 134512640 135751879 4287081792 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 376962 376056 146 303 0 376657 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 1507848

[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/197 23044
/proc/meminfo: memFree=29779156/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1582208 CPUtime=1002.31
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 394755 0 0 0 99351 880 0 0 25 0 1 0 165144107 1620180992 394636 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 395552 394636 146 303 0 395247 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1582208

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/197 23048
/proc/meminfo: memFree=29700552/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1644880 CPUtime=1062.31
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 410350 0 0 0 105319 912 0 0 25 0 1 0 165144107 1684357120 410231 4089446400 134512640 135751879 4287081792 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 411220 410231 146 303 0 410915 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1644880

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 23050
/proc/meminfo: memFree=29629096/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1695044 CPUtime=1122.31
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 422873 0 0 0 111298 933 0 0 25 0 1 0 165144107 1735725056 422754 4089446400 134512640 135751879 4287081792 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 423761 422754 146 303 0 423456 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1695044

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 23052
/proc/meminfo: memFree=29576732/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1745520 CPUtime=1182.32
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 435450 0 0 0 117276 956 0 0 25 0 1 0 165144107 1787412480 435331 4089446400 134512640 135751879 4287081792 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 436380 435331 146 303 0 436075 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1745520

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/197 23054
/proc/meminfo: memFree=29520040/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1796872 CPUtime=1242.32
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 448270 0 0 0 123253 979 0 0 25 0 1 0 165144107 1839996928 448151 4089446400 134512640 135751879 4287081792 18446744073709551615 134616371 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 449218 448151 146 303 0 448913 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1796872

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 23055
/proc/meminfo: memFree=29449200/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1848476 CPUtime=1302.32
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 461123 0 0 0 129231 1001 0 0 25 0 1 0 165144107 1892839424 461004 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 462119 461004 146 303 0 461814 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1848476

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 23056
/proc/meminfo: memFree=29401932/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1896072 CPUtime=1362.32
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 472976 0 0 0 135211 1021 0 0 25 0 1 0 165144107 1941577728 472857 4089446400 134512640 135751879 4287081792 18446744073709551615 134616714 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 474018 472857 146 303 0 473713 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1896072

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23058
/proc/meminfo: memFree=29353416/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1943820 CPUtime=1422.32
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 484915 0 0 0 141191 1041 0 0 25 0 1 0 165144107 1990471680 484796 4089446400 134512640 135751879 4287081792 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 485955 484796 146 303 0 485650 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1943820

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23060
/proc/meminfo: memFree=29302548/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=1994412 CPUtime=1482.33
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 497583 0 0 0 147172 1061 0 0 25 0 1 0 165144107 2042277888 497464 4089446400 134512640 135751879 4287081792 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 498603 497464 146 303 0 498298 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1994412

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 23062
/proc/meminfo: memFree=29219528/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=2076868 CPUtime=1542.33
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 518179 0 0 0 153142 1091 0 0 25 0 1 0 165144107 2126712832 518015 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 519217 518015 146 303 0 518912 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2076868

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

[startup+1543.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 23062
/proc/meminfo: memFree=29219528/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=2076868 CPUtime=1543.92
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 518181 0 0 0 153298 1094 0 0 25 0 1 0 165144107 2126712832 518017 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 519217 518017 146 303 0 518912 0
Current children cumulated CPU time (s) 1543.92
Current children cumulated vsize (KiB) 2076868

[startup+1544.7 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 23062
/proc/meminfo: memFree=29219528/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=2076868 CPUtime=1544.73
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 518181 0 0 0 153377 1096 0 0 25 0 1 0 165144107 2126712832 518017 4089446400 134512640 135751879 4287081792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 519217 518017 146 303 0 518912 0
Current children cumulated CPU time (s) 1544.73
Current children cumulated vsize (KiB) 2076868

[startup+1545.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 23062
/proc/meminfo: memFree=29219528/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=2076868 CPUtime=1545.13
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 518181 0 0 0 153416 1097 0 0 25 0 1 0 165144107 2126712832 518017 4089446400 134512640 135751879 4287081792 18446744073709551615 134602986 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 519217 518017 146 303 0 518912 0
Current children cumulated CPU time (s) 1545.13
Current children cumulated vsize (KiB) 2076868

[startup+1545.2 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 23062
/proc/meminfo: memFree=29219528/32951124 swapFree=67111528/67111528
[pid=22813] ppid=22811 vsize=2076868 CPUtime=1545.23
/proc/22813/stat : 22813 (wbo1.4a) R 22811 22813 20960 0 -1 4202496 518181 0 0 0 153425 1098 0 0 25 0 1 0 165144107 2126712832 518017 4089446400 134512640 135751879 4287081792 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/22813/statm: 519217 518017 146 303 0 518912 0
Current children cumulated CPU time (s) 1545.23
Current children cumulated vsize (KiB) 2076868

Child status: 0
Real time (s): 1545.29
CPU time (s): 1545.33
CPU user time (s): 1534.28
CPU system time (s): 11.0453
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2077112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1534.28
system time used= 11.0453
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518181
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= 12
involuntary context switches= 2922

runsolver used 2.17367 second user time and 4.86526 second system time

The end

Launcher Data 

Begin job on node110 at 2010-06-30 12:56:44
IDJOB=2689803
IDBENCH=78756
IDSOLVER=1200
FILE ID=node110/2689803-1277895404
PBS_JOBID= 11197134
Free space on /tmp= 74208 MiB

SOLVER NAME= wbo 1.4a
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970631--soft-33-100-0.wbo
COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689803-1277895404/watcher-2689803-1277895404 -o /tmp/evaluation-result-2689803-1277895404/solver-2689803-1277895404 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689803-1277895404.wbo

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

MD5SUM BENCH= e6f21b791cbec43296f2521eec73463c
RANDOM SEED=1748628449

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29781804 kB
Buffers:        180700 kB
Cached:         991096 kB
SwapCached:          0 kB
Active:        2402672 kB
Inactive:       622032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29781804 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2696 kB
Writeback:           0 kB
AnonPages:     1852908 kB
Mapped:          15280 kB
Slab:            77768 kB
PageTables:       8396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2003116 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74208 MiB
End job on node110 at 2010-06-30 13:22:29