Trace number 2689937

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.4a? (TO) 1800.11 1800.07

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo
MD5SUM9aae741b51a1836a01c8daeb1bffcdf7
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark0.331948
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 1228
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-2689937-1277898923.wbo.
0.00/0.00	c Instance file HOME/instance-2689937-1277898923.wbo
0.00/0.00	c File size is 10301 bytes.
0.00/0.00	c Highest Coefficient sum: 1228
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 |       101 |     169      101     1205 |     5500      101     43 |  0.004 % |
0.00/0.00	c |       251 |     169      101     1205 |     6050      251     39 |  0.004 % |
0.00/0.01	c |       477 |     169      101     1205 |     6655      477     36 |  0.004 % |
0.00/0.02	c |       814 |     169      101     1205 |     7320      814     38 |  0.004 % |
0.00/0.03	c |      1320 |     169      101     1205 |     8052     1320     39 |  0.004 % |
0.00/0.06	c |      2080 |     169      101     1205 |     8857     2080     37 |  0.004 % |
0.09/0.10	c |      3222 |     169      101     1205 |     9743     3222     37 |  0.004 % |
0.09/0.16	c |      4933 |     169      101     1205 |    10717     4933     38 |  0.004 % |
0.19/0.29	c |      7495 |     169      101     1205 |    11789     7495     40 |  0.004 % |
0.49/0.53	c |     11341 |     169      101     1205 |    12968    11341     39 |  0.004 % |
0.89/0.91	c |     17110 |     169      101     1205 |    14265    10578     41 |  0.004 % |
1.49/1.50	c |     25762 |     169      101     1205 |    15692    12040     43 |  0.004 % |
2.40/2.40	c |     38738 |     169      101     1205 |    17261     9221     43 |  0.004 % |
3.39/3.40	c ===============================================================================
3.59/3.62	c core #1
3.59/3.62	c ============================[ Search Statistics ]==============================
3.59/3.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.59/3.62	c ===============================================================================
3.59/3.62	c |         0 |     236      169     2203 |     5000        0    nan |  0.000 % |
3.59/3.62	c |       102 |     236      169     2203 |     5500      102     46 |  0.002 % |
3.59/3.63	c |       253 |     236      169     2203 |     6050      253     42 |  0.002 % |
3.59/3.63	c |       478 |     236      169     2203 |     6655      478     36 |  0.002 % |
3.59/3.64	c |       816 |     236      169     2203 |     7320      816     35 |  0.002 % |
3.59/3.66	c |      1322 |     236      169     2203 |     8052     1322     36 |  0.002 % |
3.59/3.68	c |      2081 |     236      169     2203 |     8857     2081     37 |  0.002 % |
3.70/3.72	c |      3222 |     236      169     2203 |     9743     3222     37 |  0.002 % |
3.79/3.80	c |      4932 |     236      169     2203 |    10717     4932     38 |  0.002 % |
3.89/3.94	c |      7496 |     236      169     2203 |    11789     7496     38 |  0.002 % |
4.09/4.16	c |     11341 |     236      169     2203 |    12968    11341     40 |  0.002 % |
4.49/4.58	c |     17108 |     236      169     2203 |    14265    10584     41 |  0.002 % |
5.09/5.18	c |     25759 |     236      169     2203 |    15692    12057     43 |  0.002 % |
5.99/6.04	c |     38738 |     236      169     2203 |    17261     9237     44 |  0.002 % |
6.69/6.76	c ===============================================================================
6.89/6.96	c core #2
6.89/6.96	c ============================[ Search Statistics ]==============================
6.89/6.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.89/6.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.89/6.96	c ===============================================================================
6.89/6.96	c |         0 |     302      235     3176 |     5000        0    nan |  0.000 % |
6.89/6.97	c |       101 |     302      235     3176 |     5500      101     41 |  0.001 % |
6.89/6.97	c |       251 |     302      235     3176 |     6050      251     35 |  0.001 % |
6.89/6.98	c |       476 |     302      235     3176 |     6655      476     32 |  0.001 % |
6.89/6.99	c |       813 |     302      235     3176 |     7320      813     31 |  0.001 % |
6.99/7.00	c |      1319 |     302      235     3176 |     8052     1319     34 |  0.001 % |
6.99/7.03	c |      2078 |     302      235     3176 |     8857     2078     34 |  0.001 % |
6.99/7.07	c |      3218 |     302      235     3176 |     9743     3218     33 |  0.001 % |
7.09/7.15	c |      4930 |     302      235     3176 |    10717     4930     34 |  0.001 % |
7.19/7.27	c |      7492 |     302      235     3176 |    11789     7492     36 |  0.001 % |
7.49/7.51	c |     11337 |     302      235     3176 |    12968    11337     38 |  0.001 % |
7.79/7.88	c |     17103 |     302      235     3176 |    14265    10556     42 |  0.001 % |
8.39/8.45	c |     25752 |     302      235     3176 |    15692    12019     43 |  0.001 % |
9.39/9.47	c |     38727 |     302      235     3176 |    17261     9180     46 |  0.001 % |
11.00/11.06	c |     58193 |     302      235     3176 |    18987    11267     48 |  0.001 % |
13.40/13.46	c |     87386 |     302      235     3176 |    20886    11765     47 |  0.217 % |
13.69/13.78	c ===============================================================================
14.09/14.19	c core #3
14.09/14.19	c ============================[ Search Statistics ]==============================
14.09/14.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
14.09/14.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
14.09/14.19	c ===============================================================================
14.09/14.19	c |         0 |     371      301     4155 |     5000        0    nan |  0.000 % |
14.09/14.20	c |       103 |     371      301     4155 |     5500      103     45 |  0.001 % |
14.20/14.20	c |       254 |     371      301     4155 |     6050      254     36 |  0.001 % |
14.20/14.21	c |       480 |     371      301     4155 |     6655      480     34 |  0.001 % |
14.20/14.22	c |       817 |     371      301     4155 |     7320      817     34 |  0.001 % |
14.20/14.24	c |      1323 |     371      301     4155 |     8052     1323     35 |  0.001 % |
14.20/14.26	c |      2083 |     371      301     4155 |     8857     2083     35 |  0.001 % |
14.30/14.31	c |      3226 |     371      301     4155 |     9743     3226     33 |  0.001 % |
14.30/14.38	c |      4935 |     371      301     4155 |    10717     4935     34 |  0.001 % |
14.49/14.51	c |      7499 |     371      301     4155 |    11789     7499     34 |  0.001 % |
14.69/14.73	c |     11344 |     371      301     4155 |    12968    11344     35 |  0.001 % |
15.09/15.13	c |     17111 |     371      301     4155 |    14265    10578     38 |  0.001 % |
15.69/15.77	c |     25764 |     371      301     4155 |    15692    12046     42 |  0.001 % |
16.69/16.73	c |     38738 |     371      301     4155 |    17261     9226     42 |  0.001 % |
18.09/18.10	c |     58200 |     371      301     4155 |    18987    11344     42 |  0.001 % |
19.30/19.30	c ===============================================================================
19.60/19.63	c core #4
19.60/19.63	c ============================[ Search Statistics ]==============================
19.60/19.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
19.60/19.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
19.60/19.63	c ===============================================================================
19.60/19.63	c |         0 |     439      366     5127 |     5000        0    nan |  0.000 % |
19.60/19.64	c |       101 |     439      366     5127 |     5500      101     47 |  0.001 % |
19.60/19.65	c |       251 |     439      366     5127 |     6050      251     36 |  0.001 % |
19.60/19.65	c |       477 |     439      366     5127 |     6655      477     34 |  0.001 % |
19.60/19.67	c |       815 |     439      366     5127 |     7320      815     35 |  0.001 % |
19.60/19.68	c |      1324 |     439      366     5127 |     8052     1324     37 |  0.001 % |
19.70/19.71	c |      2083 |     439      366     5127 |     8857     2083     37 |  0.001 % |
19.70/19.76	c |      3223 |     439      366     5127 |     9743     3223     37 |  0.001 % |
19.80/19.84	c |      4933 |     439      366     5127 |    10717     4933     37 |  0.001 % |
19.89/19.98	c |      7495 |     439      366     5127 |    11789     7495     38 |  0.001 % |
20.19/20.24	c |     11339 |     439      366     5127 |    12968    11339     38 |  0.001 % |
20.59/20.68	c |     17108 |     439      366     5127 |    14265    10578     41 |  0.001 % |
21.19/21.29	c |     25757 |     439      366     5127 |    15692    12046     43 |  0.001 % |
22.19/22.26	c |     38731 |     439      366     5127 |    17261     9235     44 |  0.001 % |
23.69/23.77	c |     58192 |     439      366     5127 |    18987    11327     43 |  0.001 % |
24.89/24.92	c ===============================================================================
25.20/25.26	c core #5
25.20/25.26	c ============================[ Search Statistics ]==============================
25.20/25.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.20/25.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
25.20/25.26	c ===============================================================================
25.20/25.26	c |         0 |     509      430     6090 |     5000        0    nan |  0.000 % |
25.20/25.27	c |       100 |     509      430     6090 |     5500      100     44 |  0.000 % |
25.20/25.27	c |       254 |     509      430     6090 |     6050      254     40 |  0.000 % |
25.20/25.28	c |       479 |     509      430     6090 |     6655      479     37 |  0.000 % |
25.20/25.29	c |       817 |     509      430     6090 |     7320      817     34 |  0.000 % |
25.30/25.31	c |      1323 |     509      430     6090 |     8052     1323     32 |  0.000 % |
25.30/25.34	c |      2084 |     509      430     6090 |     8857     2084     33 |  0.000 % |
25.30/25.39	c |      3224 |     509      430     6090 |     9743     3224     35 |  0.000 % |
25.39/25.47	c |      4933 |     509      430     6090 |    10717     4933     35 |  0.000 % |
25.59/25.61	c |      7495 |     509      430     6090 |    11789     7495     36 |  0.000 % |
25.79/25.84	c |     11339 |     509      430     6090 |    12968    11339     36 |  0.000 % |
26.19/26.25	c |     17106 |     509      430     6090 |    14265    10578     38 |  0.000 % |
26.89/26.93	c |     25757 |     509      430     6090 |    15692    12037     42 |  0.000 % |
27.79/27.89	c |     38732 |     509      430     6090 |    17261     9220     47 |  0.000 % |
29.49/29.56	c |     58194 |     509      430     6090 |    18987    11312     45 |  0.000 % |
32.09/32.12	c |     87386 |     487      430     6090 |    20886     7576     40 |  4.323 % |
32.80/32.85	c ===============================================================================
33.29/33.32	c core #6
33.29/33.32	c ============================[ Search Statistics ]==============================
33.29/33.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
33.29/33.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
33.29/33.32	c ===============================================================================
33.29/33.32	c |         0 |     584      493     7050 |     5000        0    nan |  0.000 % |
33.29/33.33	c |       100 |     584      493     7050 |     5500      100     55 |  0.000 % |
33.29/33.34	c |       250 |     584      493     7050 |     6050      250     38 |  0.000 % |
33.29/33.35	c |       476 |     584      493     7050 |     6655      476     33 |  0.000 % |
33.29/33.36	c |       814 |     584      493     7050 |     7320      814     33 |  0.000 % |
33.29/33.37	c |      1321 |     584      493     7050 |     8052     1321     35 |  0.000 % |
33.39/33.41	c |      2081 |     584      493     7050 |     8857     2081     36 |  0.000 % |
33.39/33.45	c |      3221 |     584      493     7050 |     9743     3221     36 |  0.000 % |
33.49/33.54	c |      4931 |     584      493     7050 |    10717     4931     35 |  0.000 % |
33.59/33.69	c |      7494 |     584      493     7050 |    11789     7494     36 |  0.000 % |
33.89/33.93	c |     11338 |     584      493     7050 |    12968    11338     40 |  0.000 % |
34.29/34.30	c |     17106 |     584      493     7050 |    14265    10562     41 |  0.000 % |
34.89/34.99	c |     25756 |     584      493     7050 |    15692    12027     43 |  0.000 % |
36.00/36.00	c |     38731 |     584      493     7050 |    17261     9199     46 |  0.000 % |
37.49/37.55	c |     58193 |     584      493     7050 |    18987    11286     43 |  0.000 % |
39.89/39.91	c |     87389 |     537      493     7050 |    20886     4310     43 |  8.048 % |
39.99/40.08	c ===============================================================================
40.50/40.50	c core #7
40.50/40.50	c ============================[ Search Statistics ]==============================
40.50/40.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.50/40.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.50/40.50	c ===============================================================================
40.50/40.50	c |         0 |     662      556     8016 |     5000        0    nan |  0.000 % |
40.50/40.52	c |       101 |     662      556     8016 |     5500      101     64 |  0.000 % |
40.50/40.52	c |       251 |     662      556     8016 |     6050      251     52 |  0.000 % |
40.50/40.53	c |       476 |     662      556     8016 |     6655      476     45 |  0.000 % |
40.50/40.54	c |       813 |     662      556     8016 |     7320      813     40 |  0.000 % |
40.50/40.56	c |      1320 |     662      556     8016 |     8052     1320     39 |  0.000 % |
40.50/40.59	c |      2081 |     662      556     8016 |     8857     2081     35 |  0.000 % |
40.60/40.64	c |      3220 |     662      556     8016 |     9743     3220     36 |  0.000 % |
40.70/40.71	c |      4929 |     662      556     8016 |    10717     4929     35 |  0.000 % |
40.79/40.85	c |      7491 |     662      556     8016 |    11789     7491     38 |  0.000 % |
41.09/41.15	c |     11336 |     662      556     8016 |    12968    11336     40 |  0.000 % |
41.49/41.55	c |     17103 |     662      556     8016 |    14265    10567     42 |  0.000 % |
42.10/42.19	c |     25754 |     662      556     8016 |    15692    12052     42 |  0.000 % |
43.19/43.23	c |     38728 |     662      556     8016 |    17261     9244     42 |  0.000 % |
44.69/44.73	c |     58191 |     662      556     8016 |    18987    11344     45 |  0.000 % |
46.79/46.82	c ===============================================================================
47.20/47.22	c core #8
47.20/47.22	c ============================[ Search Statistics ]==============================
47.20/47.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.20/47.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.20/47.22	c ===============================================================================
47.20/47.22	c |         0 |     723      617     8933 |     5000        0    nan |  0.000 % |
47.20/47.24	c |       102 |     723      617     8933 |     5500      102     50 |  0.000 % |
47.20/47.24	c |       254 |     723      617     8933 |     6050      254     42 |  0.000 % |
47.20/47.25	c |       481 |     723      617     8933 |     6655      481     35 |  0.000 % |
47.20/47.26	c |       818 |     723      617     8933 |     7320      818     33 |  0.000 % |
47.20/47.28	c |      1326 |     723      617     8933 |     8052     1326     34 |  0.000 % |
47.29/47.31	c |      2085 |     723      617     8933 |     8857     2085     34 |  0.000 % |
47.29/47.37	c |      3224 |     723      617     8933 |     9743     3224     35 |  0.000 % |
47.40/47.45	c |      4933 |     723      617     8933 |    10717     4933     35 |  0.000 % |
47.59/47.61	c |      7497 |     723      617     8933 |    11789     7497     36 |  0.000 % |
47.80/47.88	c |     11342 |     723      617     8933 |    12968    11342     36 |  0.000 % |
48.30/48.33	c |     17108 |     723      617     8933 |    14265    10580     38 |  0.000 % |
48.99/49.01	c |     25758 |     723      617     8933 |    15692    12040     41 |  0.000 % |
49.99/50.04	c |     38732 |     723      617     8933 |    17261     9243     38 |  0.000 % |
51.49/51.55	c |     58195 |     723      617     8933 |    18987    11356     39 |  0.000 % |
53.80/53.87	c |     87387 |     680      617     8933 |    20886     3843     39 |  5.948 % |
54.29/54.35	c ===============================================================================
54.69/54.79	c core #9
54.69/54.79	c ============================[ Search Statistics ]==============================
54.69/54.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
54.69/54.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
54.69/54.79	c ===============================================================================
54.69/54.79	c |         0 |     814      678     9910 |     5000        0    nan |  0.000 % |
54.79/54.80	c |       101 |     814      678     9910 |     5500      101     54 |  0.000 % |
54.79/54.81	c |       251 |     814      678     9910 |     6050      251     40 |  0.000 % |
54.79/54.82	c |       478 |     814      678     9910 |     6655      478     37 |  0.000 % |
54.79/54.83	c |       815 |     814      678     9910 |     7320      815     31 |  0.000 % |
54.79/54.85	c |      1321 |     814      678     9910 |     8052     1321     32 |  0.000 % |
54.79/54.88	c |      2081 |     814      678     9910 |     8857     2081     32 |  0.000 % |
54.90/54.93	c |      3221 |     814      678     9910 |     9743     3221     33 |  0.000 % |
55.00/55.01	c |      4929 |     814      678     9910 |    10717     4929     33 |  0.000 % |
55.09/55.17	c |      7491 |     814      678     9910 |    11789     7491     35 |  0.000 % |
55.39/55.41	c |     11341 |     814      678     9910 |    12968    11341     37 |  0.000 % |
55.80/55.82	c |     17107 |     814      678     9910 |    14265    10583     41 |  0.000 % |
56.39/56.47	c |     25757 |     814      678     9910 |    15692    12055     40 |  0.000 % |
57.49/57.50	c |     38731 |     814      678     9910 |    17261     9225     40 |  0.000 % |
59.10/59.18	c |     58194 |     814      678     9910 |    18987    11325     43 |  0.000 % |
61.50/61.60	c |     87391 |     814      678     9910 |    20886    11878     45 |  0.000 % |
65.29/65.38	c |    131182 |     773      678     9910 |    22974     7571     48 |  5.037 % |
66.10/66.13	c ===============================================================================
66.70/66.77	c core #10
66.70/66.77	c ============================[ Search Statistics ]==============================
66.70/66.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
66.70/66.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
66.70/66.77	c ===============================================================================
66.70/66.77	c |         0 |     889      736    10823 |     5000        0    nan |  0.000 % |
66.70/66.80	c |       101 |     889      736    10823 |     5500      101     55 |  0.000 % |
66.80/66.80	c |       251 |     889      736    10823 |     6050      251     49 |  0.000 % |
66.80/66.81	c |       477 |     889      736    10823 |     6655      477     42 |  0.000 % |
66.80/66.83	c |       814 |     889      736    10823 |     7320      814     38 |  0.000 % |
66.80/66.85	c |      1320 |     889      736    10823 |     8052     1320     35 |  0.000 % |
66.80/66.88	c |      2080 |     889      736    10823 |     8857     2080     34 |  0.000 % |
66.89/66.94	c |      3219 |     889      736    10823 |     9743     3219     34 |  0.000 % |
67.00/67.03	c |      4928 |     889      736    10823 |    10717     4928     35 |  0.000 % |
67.10/67.18	c |      7491 |     889      736    10823 |    11789     7491     36 |  0.000 % |
67.40/67.47	c |     11336 |     889      736    10823 |    12968    11336     39 |  0.000 % |
67.79/67.89	c |     17104 |     889      736    10823 |    14265    10583     39 |  0.000 % |
68.49/68.58	c |     25754 |     889      736    10823 |    15692    12048     39 |  0.000 % |
69.69/69.76	c |     38728 |     889      736    10823 |    17261     9244     39 |  0.000 % |
71.29/71.36	c |     58190 |     889      736    10823 |    18987    11344     42 |  0.000 % |
73.99/74.05	c |     87382 |     889      736    10823 |    20886    11909     42 |  0.000 % |
77.89/77.93	c |    131173 |     889      736    10823 |    22974    13724     47 |  0.004 % |
79.69/79.78	c ===============================================================================
80.40/80.47	c core #11
80.40/80.47	c ============================[ Search Statistics ]==============================
80.40/80.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
80.40/80.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
80.40/80.47	c ===============================================================================
80.40/80.47	c |         0 |     991      794    11790 |     5000        0    nan |  0.000 % |
80.50/80.50	c |       104 |     991      794    11790 |     5500      104     64 |  0.000 % |
80.50/80.50	c |       256 |     991      794    11790 |     6050      256     54 |  0.000 % |
80.50/80.51	c |       481 |     991      794    11790 |     6655      481     44 |  0.000 % |
80.50/80.52	c |       819 |     991      794    11790 |     7320      819     41 |  0.000 % |
80.50/80.54	c |      1325 |     991      794    11790 |     8052     1325     37 |  0.000 % |
80.50/80.57	c |      2084 |     991      794    11790 |     8857     2084     36 |  0.000 % |
80.59/80.63	c |      3223 |     991      794    11790 |     9743     3223     34 |  0.000 % |
80.69/80.72	c |      4931 |     991      794    11790 |    10717     4931     34 |  0.000 % |
80.80/80.87	c |      7493 |     991      794    11790 |    11789     7493     35 |  0.000 % |
81.09/81.17	c |     11337 |     991      794    11790 |    12968    11337     38 |  0.000 % |
81.59/81.65	c |     17104 |     991      794    11790 |    14265    10566     40 |  0.000 % |
82.29/82.31	c |     25755 |     991      794    11790 |    15692    12041     36 |  0.000 % |
83.40/83.40	c |     38730 |     991      794    11790 |    17261     9239     41 |  0.000 % |
84.99/85.03	c |     58193 |     991      794    11790 |    18987    11345     40 |  0.000 % |
87.50/87.54	c |     87386 |     991      794    11790 |    20886    11892     42 |  0.000 % |
91.30/91.31	c |    131178 |     958      794    11790 |    22974     3348     31 |  3.330 % |
91.49/91.58	c ===============================================================================
92.19/92.22	c core #12
92.19/92.22	c ============================[ Search Statistics ]==============================
92.19/92.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
92.19/92.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
92.19/92.22	c ===============================================================================
92.19/92.22	c |         0 |    1047      851    12652 |     5000        0    nan |  0.000 % |
92.19/92.24	c |       102 |    1047      851    12652 |     5500      102     55 |  0.000 % |
92.19/92.25	c |       253 |    1047      851    12652 |     6050      253     49 |  0.000 % |
92.19/92.26	c |       478 |    1047      851    12652 |     6655      478     42 |  0.000 % |
92.19/92.27	c |       815 |    1047      851    12652 |     7320      815     39 |  0.000 % |
92.19/92.29	c |      1323 |    1047      851    12652 |     8052     1323     35 |  0.000 % |
92.30/92.32	c |      2083 |    1047      851    12652 |     8857     2083     33 |  0.000 % |
92.30/92.38	c |      3222 |    1047      851    12652 |     9743     3222     31 |  0.000 % |
92.40/92.46	c |      4930 |    1047      851    12652 |    10717     4930     31 |  0.000 % |
92.59/92.61	c |      7493 |    1047      851    12652 |    11789     7493     33 |  0.000 % |
92.80/92.88	c |     11337 |    1047      851    12652 |    12968    11337     34 |  0.000 % |
93.29/93.32	c |     17103 |    1047      851    12652 |    14265    10565     36 |  0.000 % |
94.00/94.00	c |     25752 |    1047      851    12652 |    15692    12025     38 |  0.000 % |
95.00/95.05	c |     38726 |    1047      851    12652 |    17261     9195     40 |  0.000 % |
96.59/96.67	c |     58187 |    1047      851    12652 |    18987    11288     41 |  0.000 % |
99.09/99.19	c |     87380 |    1047      851    12652 |    20886    11847     41 |  0.000 % |
101.30/101.39	c ===============================================================================
101.89/101.92	c core #13
101.89/101.92	c ============================[ Search Statistics ]==============================
101.89/101.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
101.89/101.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
101.89/101.92	c ===============================================================================
101.89/101.92	c |         0 |    1149      908    13606 |     5000        0    nan |  0.000 % |
101.89/101.95	c |       100 |    1149      908    13606 |     5500      100     69 |  0.000 % |
101.89/101.95	c |       250 |    1149      908    13606 |     6050      250     47 |  0.000 % |
101.89/101.96	c |       475 |    1149      908    13606 |     6655      475     39 |  0.000 % |
101.89/101.97	c |       813 |    1149      908    13606 |     7320      813     35 |  0.000 % |
101.89/101.99	c |      1319 |    1149      908    13606 |     8052     1319     33 |  0.000 % |
101.99/102.03	c |      2079 |    1149      908    13606 |     8857     2079     34 |  0.000 % |
101.99/102.08	c |      3221 |    1149      908    13606 |     9743     3221     35 |  0.000 % |
102.09/102.16	c |      4929 |    1149      908    13606 |    10717     4929     34 |  0.000 % |
102.30/102.32	c |      7492 |    1149      908    13606 |    11789     7492     36 |  0.000 % |
102.49/102.59	c |     11337 |    1149      908    13606 |    12968    11337     37 |  0.000 % |
102.90/102.99	c |     17103 |    1149      908    13606 |    14265    10561     41 |  0.000 % |
103.59/103.65	c |     25752 |    1149      908    13606 |    15692    12020     41 |  0.000 % |
104.69/104.70	c |     38729 |    1149      908    13606 |    17261     9224     38 |  0.000 % |
106.29/106.34	c |     58191 |    1149      908    13606 |    18987    11342     39 |  0.000 % |
108.80/108.83	c |     87387 |    1149      908    13606 |    20886    11923     41 |  0.000 % |
112.60/112.69	c |    131176 |    1149      908    13606 |    22974    13747     42 |  0.002 % |
115.00/115.00	c ===============================================================================
115.69/115.72	c core #14
115.69/115.72	c ============================[ Search Statistics ]==============================
115.69/115.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
115.69/115.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
115.69/115.72	c ===============================================================================
115.69/115.72	c |         0 |    1212      965    14482 |     5000        0    nan |  0.000 % |
115.69/115.75	c |       101 |    1212      965    14482 |     5500      101     48 |  0.000 % |
115.69/115.75	c |       254 |    1212      965    14482 |     6050      254     38 |  0.000 % |
115.69/115.76	c |       479 |    1212      965    14482 |     6655      479     35 |  0.000 % |
115.69/115.78	c |       816 |    1212      965    14482 |     7320      816     35 |  0.000 % |
115.79/115.80	c |      1325 |    1212      965    14482 |     8052     1325     32 |  0.000 % |
115.79/115.83	c |      2084 |    1212      965    14482 |     8857     2084     33 |  0.000 % |
115.79/115.88	c |      3224 |    1212      965    14482 |     9743     3224     34 |  0.000 % |
115.90/115.97	c |      4932 |    1212      965    14482 |    10717     4932     34 |  0.000 % |
116.09/116.12	c |      7496 |    1212      965    14482 |    11789     7496     33 |  0.000 % |
116.39/116.40	c |     11342 |    1212      965    14482 |    12968    11342     34 |  0.000 % |
116.80/116.86	c |     17108 |    1212      965    14482 |    14265    10574     38 |  0.000 % |
117.50/117.56	c |     25757 |    1212      965    14482 |    15692    12037     39 |  0.000 % |
118.70/118.72	c |     38732 |    1212      965    14482 |    17261     9220     39 |  0.000 % |
120.29/120.33	c |     58194 |    1212      965    14482 |    18987    11341     38 |  0.000 % |
122.79/122.89	c |     87390 |    1212      965    14482 |    20886    11903     42 |  0.002 % |
125.69/125.71	c ===============================================================================
126.19/126.29	c core #15
126.19/126.29	c ============================[ Search Statistics ]==============================
126.19/126.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
126.19/126.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
126.19/126.29	c ===============================================================================
126.19/126.29	c |         0 |    1284     1022    15376 |     5000        0    nan |  0.000 % |
126.29/126.31	c |       101 |    1284     1022    15376 |     5500      101     46 |  0.000 % |
126.29/126.32	c |       252 |    1284     1022    15376 |     6050      252     38 |  0.000 % |
126.29/126.33	c |       477 |    1284     1022    15376 |     6655      477     35 |  0.000 % |
126.29/126.34	c |       815 |    1284     1022    15376 |     7320      815     33 |  0.000 % |
126.29/126.36	c |      1321 |    1284     1022    15376 |     8052     1321     32 |  0.000 % |
126.29/126.40	c |      2081 |    1284     1022    15376 |     8857     2081     31 |  0.000 % |
126.40/126.46	c |      3221 |    1284     1022    15376 |     9743     3221     31 |  0.000 % |
126.50/126.55	c |      4930 |    1284     1022    15376 |    10717     4930     33 |  0.000 % |
126.70/126.71	c |      7494 |    1284     1022    15376 |    11789     7494     33 |  0.000 % |
126.90/127.00	c |     11341 |    1284     1022    15376 |    12968    11341     36 |  0.000 % |
127.50/127.51	c |     17109 |    1284     1022    15376 |    14265    10582     41 |  0.000 % |
128.20/128.25	c |     25760 |    1284     1022    15376 |    15692    12046     41 |  0.000 % |
129.29/129.35	c |     38738 |    1284     1022    15376 |    17261     9222     41 |  0.000 % |
130.90/130.99	c |     58200 |    1284     1022    15376 |    18987    11340     40 |  0.000 % |
133.40/133.48	c |     87392 |    1284     1022    15376 |    20886    11900     42 |  0.000 % |
136.99/137.07	c |    131181 |    1255     1022    15376 |    22974     9880     44 |  2.259 % |
137.90/137.91	c ===============================================================================
138.50/138.56	c core #16
138.50/138.56	c ============================[ Search Statistics ]==============================
138.50/138.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
138.50/138.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
138.50/138.56	c ===============================================================================
138.50/138.56	c |         0 |    1355     1079    16268 |     5000        0    nan |  0.000 % |
138.50/138.58	c |       100 |    1355     1079    16268 |     5500      100     54 |  0.000 % |
138.50/138.59	c |       251 |    1355     1079    16268 |     6050      251     43 |  0.000 % |
138.50/138.60	c |       477 |    1355     1079    16268 |     6655      477     41 |  0.000 % |
138.60/138.61	c |       816 |    1355     1079    16268 |     7320      816     37 |  0.000 % |
138.60/138.63	c |      1322 |    1355     1079    16268 |     8052     1322     35 |  0.000 % |
138.60/138.67	c |      2081 |    1355     1079    16268 |     8857     2081     37 |  0.000 % |
138.69/138.73	c |      3221 |    1355     1079    16268 |     9743     3221     35 |  0.000 % |
138.80/138.82	c |      4930 |    1355     1079    16268 |    10717     4930     33 |  0.000 % |
138.89/138.98	c |      7494 |    1355     1079    16268 |    11789     7494     34 |  0.000 % |
139.19/139.29	c |     11338 |    1355     1079    16268 |    12968    11338     34 |  0.000 % |
139.70/139.74	c |     17105 |    1355     1079    16268 |    14265    10565     36 |  0.000 % |
140.49/140.51	c |     25756 |    1355     1079    16268 |    15692    12046     40 |  0.000 % |
141.70/141.76	c |     38731 |    1355     1079    16268 |    17261     9234     41 |  0.000 % |
143.39/143.48	c |     58193 |    1355     1079    16268 |    18987    11300     44 |  0.000 % |
145.99/146.00	c |     87386 |    1355     1079    16268 |    20886    11889     39 |  0.000 % |
149.89/149.93	c |    131176 |    1355     1079    16268 |    22974    13675     46 |  0.000 % |
156.00/156.07	c |    196861 |    1306     1079    16268 |    25272     9060     49 |  3.616 % |
156.60/156.64	c ===============================================================================
157.49/157.59	c core #17
157.49/157.59	c ============================[ Search Statistics ]==============================
157.49/157.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
157.49/157.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
157.49/157.59	c ===============================================================================
157.49/157.59	c |         0 |    1434     1135    17164 |     5000        0    nan |  0.000 % |
157.59/157.62	c |       101 |    1434     1135    17164 |     5500      101     70 |  0.000 % |
157.59/157.63	c |       252 |    1434     1135    17164 |     6050      252     50 |  0.000 % |
157.59/157.64	c |       477 |    1434     1135    17164 |     6655      477     40 |  0.000 % |
157.59/157.65	c |       815 |    1434     1135    17164 |     7320      815     35 |  0.000 % |
157.59/157.68	c |      1321 |    1434     1135    17164 |     8052     1321     37 |  0.000 % |
157.69/157.71	c |      2080 |    1434     1135    17164 |     8857     2080     33 |  0.000 % |
157.69/157.77	c |      3222 |    1434     1135    17164 |     9743     3222     33 |  0.000 % |
157.80/157.88	c |      4930 |    1434     1135    17164 |    10717     4930     35 |  0.000 % |
158.00/158.04	c |      7492 |    1434     1135    17164 |    11789     7492     35 |  0.000 % |
158.30/158.32	c |     11336 |    1434     1135    17164 |    12968    11336     36 |  0.000 % |
158.69/158.77	c |     17103 |    1434     1135    17164 |    14265    10581     37 |  0.000 % |
159.40/159.50	c |     25752 |    1434     1135    17164 |    15692    12063     36 |  0.000 % |
160.60/160.68	c |     38728 |    1434     1135    17164 |    17261     9262     41 |  0.000 % |
162.30/162.34	c |     58192 |    1434     1135    17164 |    18987    11356     41 |  0.000 % |
165.09/165.12	c |     87385 |    1434     1135    17164 |    20886    11926     41 |  0.000 % |
169.30/169.34	c |    131175 |    1434     1135    17164 |    22974    13726     42 |  0.000 % |
175.29/175.36	c ===============================================================================
176.20/176.27	c core #18
176.20/176.27	c ============================[ Search Statistics ]==============================
176.20/176.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
176.20/176.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
176.20/176.27	c ===============================================================================
176.20/176.27	c |         0 |    1553     1190    18127 |     5000        0    nan |  0.000 % |
176.30/176.31	c |       100 |    1553     1190    18127 |     5500      100     65 |  0.000 % |
176.30/176.31	c |       250 |    1553     1190    18127 |     6050      250     46 |  0.000 % |
176.30/176.32	c |       475 |    1553     1190    18127 |     6655      475     37 |  0.000 % |
176.30/176.34	c |       812 |    1553     1190    18127 |     7320      812     35 |  0.000 % |
176.30/176.36	c |      1319 |    1553     1190    18127 |     8052     1319     32 |  0.000 % |
176.30/176.39	c |      2080 |    1553     1190    18127 |     8857     2080     31 |  0.000 % |
176.39/176.46	c |      3219 |    1553     1190    18127 |     9743     3219     33 |  0.000 % |
176.49/176.55	c |      4927 |    1553     1190    18127 |    10717     4927     34 |  0.000 % |
176.69/176.71	c |      7490 |    1553     1190    18127 |    11789     7490     34 |  0.000 % |
177.00/177.00	c |     11334 |    1553     1190    18127 |    12968    11334     35 |  0.000 % |
177.39/177.46	c |     17102 |    1553     1190    18127 |    14265    10563     36 |  0.000 % |
178.10/178.20	c |     25752 |    1553     1190    18127 |    15692    12020     41 |  0.000 % |
179.39/179.41	c |     38728 |    1553     1190    18127 |    17261     9214     37 |  0.000 % |
181.09/181.12	c |     58189 |    1553     1190    18127 |    18987    11313     41 |  0.000 % |
183.70/183.72	c |     87381 |    1553     1190    18127 |    20886    11900     39 |  0.000 % |
187.70/187.77	c |    131171 |    1553     1190    18127 |    22974    13702     43 |  0.000 % |
194.50/194.55	c |    196855 |    1533     1190    18127 |    25272    14314     47 |  1.288 % |
195.60/195.62	c ===============================================================================
196.59/196.62	c core #19
196.59/196.62	c ============================[ Search Statistics ]==============================
196.59/196.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.59/196.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.59/196.62	c ===============================================================================
196.59/196.62	c |         0 |    1670     1245    19086 |     5000        0    nan |  0.000 % |
196.59/196.65	c |       100 |    1670     1245    19086 |     5500      100     47 |  0.000 % |
196.59/196.66	c |       250 |    1670     1245    19086 |     6050      250     37 |  0.000 % |
196.59/196.67	c |       475 |    1670     1245    19086 |     6655      475     31 |  0.000 % |
196.59/196.69	c |       813 |    1670     1245    19086 |     7320      813     30 |  0.000 % |
196.70/196.71	c |      1319 |    1670     1245    19086 |     8052     1319     30 |  0.000 % |
196.70/196.75	c |      2078 |    1670     1245    19086 |     8857     2078     30 |  0.000 % |
196.80/196.81	c |      3218 |    1670     1245    19086 |     9743     3218     30 |  0.000 % |
196.91/196.91	c |      4928 |    1670     1245    19086 |    10717     4928     30 |  0.000 % |
197.00/197.09	c |      7493 |    1670     1245    19086 |    11789     7493     32 |  0.000 % |
197.40/197.41	c |     11339 |    1670     1245    19086 |    12968    11339     33 |  0.000 % |
197.79/197.86	c |     17105 |    1670     1245    19086 |    14265    10581     36 |  0.000 % |
198.50/198.57	c |     25755 |    1670     1245    19086 |    15692    12051     37 |  0.000 % |
199.60/199.64	c |     38729 |    1670     1245    19086 |    17261     9246     39 |  0.000 % |
201.30/201.34	c |     58190 |    1670     1245    19086 |    18987    11357     38 |  0.000 % |
203.89/203.98	c |     87382 |    1670     1245    19086 |    20886    11906     40 |  0.000 % |
207.90/207.96	c |    131174 |    1670     1245    19086 |    22974    13764     40 |  0.000 % |
215.00/215.09	c |    196858 |    1670     1245    19086 |    25272    20972     64 |  0.000 % |
226.30/226.38	c |    295384 |    1643     1245    19086 |    27799    25263     45 |  1.617 % |
276.59/276.60	c |    443175 |    1618     1245    19086 |    30579    22424     82 |  3.114 % |
358.50/358.59	c |    664858 |    1583     1245    19086 |    33637    24773     80 |  5.210 % |
442.00/442.03	c ===============================================================================
444.00/444.02	c core #20
444.00/444.02	c ============================[ Search Statistics ]==============================
444.00/444.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
444.00/444.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
444.00/444.02	c ===============================================================================
444.00/444.02	c |         0 |    1751     1299    19960 |     5000        0    nan |  0.000 % |
444.00/444.07	c |       102 |    1751     1299    19960 |     5500      102     55 |  0.000 % |
444.00/444.09	c |       256 |    1751     1299    19960 |     6050      256     40 |  0.000 % |
444.10/444.10	c |       482 |    1751     1299    19960 |     6655      482     35 |  0.000 % |
444.10/444.12	c |       819 |    1751     1299    19960 |     7320      819     33 |  0.000 % |
444.10/444.15	c |      1325 |    1751     1299    19960 |     8052     1325     33 |  0.000 % |
444.20/444.21	c |      2089 |    1751     1299    19960 |     8857     2089     31 |  0.000 % |
444.20/444.27	c |      3230 |    1751     1299    19960 |     9743     3230     31 |  0.000 % |
444.30/444.38	c |      4939 |    1751     1299    19960 |    10717     4939     32 |  0.000 % |
444.49/444.56	c |      7501 |    1751     1299    19960 |    11789     7501     33 |  0.000 % |
444.80/444.87	c |     11345 |    1751     1299    19960 |    12968    11345     34 |  0.000 % |
445.30/445.39	c |     17113 |    1751     1299    19960 |    14265    10583     39 |  0.000 % |
446.20/446.21	c |     25763 |    1751     1299    19960 |    15692    12043     40 |  0.000 % |
449.70/449.73	c |     38737 |    1751     1299    19960 |    17261     8616     81 |  0.000 % |
451.20/451.27	c |     58200 |    1751     1299    19960 |    18987    10190     40 |  0.000 % |
453.60/453.68	c |     87392 |    1751     1299    19960 |    20886    10730     41 |  0.000 % |
457.50/457.55	c |    131183 |    1751     1299    19960 |    22974    12554     40 |  0.000 % |
463.70/463.75	c |    196869 |    1723     1299    19960 |    25272     1996     36 |  1.599 % |
502.40/502.41	c |    295395 |    1723     1299    19960 |    27799    22039     90 |  1.599 % |
524.20/524.24	c |    443184 |    1664     1299    19960 |    30579    15226     51 |  4.969 % |
625.31/625.35	c |    664869 |    1664     1299    19960 |    33637    15837     92 |  4.969 % |
795.41/795.46	c |    997396 |    1664     1299    19960 |    37001    18816    101 |  4.969 % |
1060.22/1060.30	c |   1496184 |    1664     1299    19960 |    40701    14201     97 |  4.969 % |
1448.73/1448.77	c |   2244368 |    1664     1299    19960 |    44771    29094     87 |  4.969 % |

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-2689937-1277898923/watcher-2689937-1277898923 -o /tmp/evaluation-result-2689937-1277898923/solver-2689937-1277898923 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689937-1277898923.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.62 2.14 2.04 4/196 24525
/proc/meminfo: memFree=30346596/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=2572 CPUtime=0
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 290 0 0 0 0 0 0 0 21 0 1 0 165495770 2633728 206 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 643 206 143 303 0 338 0

[startup+0.0664529 s]
/proc/loadavg: 2.62 2.14 2.04 4/196 24525
/proc/meminfo: memFree=30346596/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=3232 CPUtime=0.05
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 447 0 0 0 5 0 0 0 21 0 1 0 165495770 3309568 363 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 808 363 143 303 0 503 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3232

[startup+0.100447 s]
/proc/loadavg: 2.62 2.14 2.04 4/196 24525
/proc/meminfo: memFree=30346596/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=3496 CPUtime=0.09
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 520 0 0 0 9 0 0 0 21 0 1 0 165495770 3579904 436 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 874 436 143 303 0 569 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3496

[startup+0.300413 s]
/proc/loadavg: 2.62 2.14 2.04 4/196 24525
/proc/meminfo: memFree=30346596/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=4968 CPUtime=0.29
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 891 0 0 0 27 2 0 0 21 0 1 0 165495770 5087232 807 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 1242 807 143 303 0 937 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4968

[startup+0.700347 s]
/proc/loadavg: 2.62 2.14 2.04 4/196 24525
/proc/meminfo: memFree=30346596/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=7000 CPUtime=0.69
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 1386 0 0 0 65 4 0 0 22 0 1 0 165495770 7168000 1302 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 1750 1302 143 303 0 1445 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7000

[startup+1.50021 s]
/proc/loadavg: 2.62 2.14 2.04 3/197 24526
/proc/meminfo: memFree=30340636/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=10960 CPUtime=1.49
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 2399 0 0 0 143 6 0 0 25 0 1 0 165495770 11223040 2315 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 2740 2315 143 303 0 2435 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10960

[startup+3.10093 s]
/proc/loadavg: 2.62 2.14 2.04 3/197 24526
/proc/meminfo: memFree=30335604/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=18880 CPUtime=3.09
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 4374 0 0 0 296 13 0 0 25 0 1 0 165495770 19333120 4290 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 4720 4290 143 303 0 4415 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18880

[startup+6.3004 s]
/proc/loadavg: 2.57 2.14 2.04 3/197 24526
/proc/meminfo: memFree=30325560/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=27596 CPUtime=6.29
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 6541 0 0 0 605 24 0 0 25 0 1 0 165495770 28258304 6457 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 6899 6457 146 303 0 6594 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27596

[startup+12.7003 s]
/proc/loadavg: 2.52 2.14 2.04 3/197 24526
/proc/meminfo: memFree=30303432/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=49280 CPUtime=12.69
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 11951 0 0 0 1225 44 0 0 25 0 1 0 165495770 50462720 11867 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 12320 11867 146 303 0 12015 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49280

[startup+25.5011 s]
/proc/loadavg: 2.41 2.13 2.04 3/197 24527
/proc/meminfo: memFree=30268112/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=82236 CPUtime=25.49
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 20219 0 0 0 2464 85 0 0 25 0 1 0 165495770 84209664 20135 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 20559 20135 146 303 0 20254 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82236

[startup+51.1008 s]
/proc/loadavg: 2.27 2.12 2.04 3/197 24527
/proc/meminfo: memFree=30211644/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=140024 CPUtime=51.1
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 34649 0 0 0 4953 157 0 0 25 0 1 0 165495770 143384576 34565 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 35006 34565 146 303 0 34701 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 140024

[startup+102.307 s]
/proc/loadavg: 2.11 2.10 2.03 3/197 24529
/proc/meminfo: memFree=30088336/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=261068 CPUtime=102.3
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 64900 0 0 0 9922 308 0 0 25 0 1 0 165495770 267333632 64816 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 65267 64816 146 303 0 64962 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 261068

[startup+162.301 s]
/proc/loadavg: 1.94 2.05 2.02 3/179 24681
/proc/meminfo: memFree=30263944/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=391356 CPUtime=162.3
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 97474 0 0 0 15754 476 0 0 25 0 1 0 165495770 400748544 97390 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 97839 97390 146 303 0 97534 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 391356

[startup+222.301 s]
/proc/loadavg: 1.98 2.02 2.01 3/179 24799
/proc/meminfo: memFree=30147968/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=519376 CPUtime=222.29
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 129487 0 0 0 21599 630 0 0 25 0 1 0 165495770 531841024 129403 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 129844 129403 146 303 0 129539 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 519376

[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.01 3/179 24881
/proc/meminfo: memFree=30005952/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=603348 CPUtime=282.3
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 150386 0 0 0 27554 676 0 0 25 0 1 0 165495770 617828352 150302 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 150837 150302 146 303 0 150532 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 603348

[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 24892
/proc/meminfo: memFree=29908436/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=671176 CPUtime=342.3
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 167308 0 0 0 33514 716 0 0 25 0 1 0 165495770 687284224 167224 4089446400 134512640 135751879 4291326384 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 167794 167224 146 303 0 167489 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 671176

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 24894
/proc/meminfo: memFree=29825796/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=723008 CPUtime=402.29
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 180185 0 0 0 39489 740 0 0 25 0 1 0 165495770 740360192 180101 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 180752 180101 146 303 0 180447 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 723008

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24895
/proc/meminfo: memFree=29750108/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=767672 CPUtime=462.3
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 191613 0 0 0 45423 807 0 0 25 0 1 0 165495770 786096128 191495 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 191918 191495 146 303 0 191613 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 767672

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24897
/proc/meminfo: memFree=29573424/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=845548 CPUtime=522.3
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 210981 0 0 0 51361 869 0 0 25 0 1 0 165495770 865841152 210863 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 211387 210863 146 303 0 211082 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 845548

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24898
/proc/meminfo: memFree=29426656/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=905664 CPUtime=582.3
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 225994 0 0 0 57325 905 0 0 25 0 1 0 165495770 927399936 225876 4089446400 134512640 135751879 4291326384 18446744073709551615 134602700 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 226416 225876 146 303 0 226111 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 905664

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24900
/proc/meminfo: memFree=29302236/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=967856 CPUtime=642.3
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 241512 0 0 0 63293 937 0 0 25 0 1 0 165495770 991084544 241394 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 241964 241394 146 303 0 241659 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 967856

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 24905
/proc/meminfo: memFree=28983768/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=1151536 CPUtime=822.31
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 287362 0 0 0 81211 1020 0 0 25 0 1 0 165495770 1179172864 287244 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 287884 287244 146 303 0 287579 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1151536

[startup+882.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 24906
/proc/meminfo: memFree=28914788/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=1217624 CPUtime=882.31
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 303854 0 0 0 87181 1050 0 0 25 0 1 0 165495770 1246846976 303736 4089446400 134512640 135751879 4291326384 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 304406 303736 146 303 0 304101 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1217624

[startup+942.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 24908
/proc/meminfo: memFree=28852760/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=1271832 CPUtime=942.31
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 317398 0 0 0 93153 1078 0 0 25 0 1 0 165495770 1302355968 317280 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 317958 317280 146 303 0 317653 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1271832

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24910
/proc/meminfo: memFree=28796684/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=1326836 CPUtime=1002.31
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 331133 0 0 0 99126 1105 0 0 25 0 1 0 165495770 1358680064 331015 4089446400 134512640 135751879 4291326384 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 331709 331015 146 303 0 331404 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1326836

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24911
/proc/meminfo: memFree=28744568/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=1377188 CPUtime=1062.31
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 343698 0 0 0 105103 1128 0 0 25 0 1 0 165495770 1410240512 343580 4089446400 134512640 135751879 4291326384 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 344297 343580 146 303 0 343992 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1377188

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24916
/proc/meminfo: memFree=28687968/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=1430968 CPUtime=1122.32
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 357109 0 0 0 111077 1155 0 0 25 0 1 0 165495770 1465311232 356991 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 357742 356991 146 303 0 357437 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1430968

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24917
/proc/meminfo: memFree=28624156/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=1494568 CPUtime=1182.32
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 372998 0 0 0 117047 1185 0 0 25 0 1 0 165495770 1530437632 372880 4089446400 134512640 135751879 4291326384 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 373642 372880 146 303 0 373337 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1494568

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24919
/proc/meminfo: memFree=28563116/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=1551652 CPUtime=1242.32
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 387231 0 0 0 123018 1214 0 0 25 0 1 0 165495770 1588891648 387113 4089446400 134512640 135751879 4291326384 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 387913 387113 146 303 0 387608 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1551652

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24921
/proc/meminfo: memFree=28506664/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=1606268 CPUtime=1302.32
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 400901 0 0 0 128989 1243 0 0 25 0 1 0 165495770 1644818432 400783 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 401567 400783 146 303 0 401262 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1606268

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24922
/proc/meminfo: memFree=28459576/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=1654064 CPUtime=1362.32
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 412846 0 0 0 134965 1267 0 0 25 0 1 0 165495770 1693761536 412728 4089446400 134512640 135751879 4291326384 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 413516 412728 146 303 0 413211 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1654064

[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 24924
/proc/meminfo: memFree=28401552/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=1711460 CPUtime=1422.33
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 427176 0 0 0 140936 1297 0 0 25 0 1 0 165495770 1752535040 427058 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 427865 427058 146 303 0 427560 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1711460

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 24925
/proc/meminfo: memFree=28346564/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=1766840 CPUtime=1482.33
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 440995 0 0 0 146907 1326 0 0 25 0 1 0 165495770 1809244160 440877 4089446400 134512640 135751879 4291326384 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 441710 440877 146 303 0 441405 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1766840

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24927
/proc/meminfo: memFree=28285136/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=1826380 CPUtime=1542.33
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 455893 0 0 0 152877 1356 0 0 25 0 1 0 165495770 1870213120 455775 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 456595 455775 146 303 0 456290 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1826380

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24929
/proc/meminfo: memFree=28224948/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=1886228 CPUtime=1602.33
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 470818 0 0 0 158848 1385 0 0 25 0 1 0 165495770 1931497472 470700 4089446400 134512640 135751879 4291326384 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 471557 470700 146 303 0 471252 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1886228

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24930
/proc/meminfo: memFree=28164148/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=1943360 CPUtime=1662.33
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 485098 0 0 0 164816 1417 0 0 25 0 1 0 165495770 1990000640 484980 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 485840 484980 146 303 0 485535 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1943360

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24932
/proc/meminfo: memFree=28100004/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=2004956 CPUtime=1722.33
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 500445 0 0 0 170785 1448 0 0 25 0 1 0 165495770 2053074944 500327 4089446400 134512640 135751879 4291326384 18446744073709551615 134616371 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 501239 500327 146 303 0 500934 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2004956

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24933
/proc/meminfo: memFree=28043672/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=2057160 CPUtime=1782.33
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 513511 0 0 0 176760 1473 0 0 25 0 1 0 165495770 2106531840 513393 4089446400 134512640 135751879 4291326384 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 514290 513393 146 303 0 513985 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2057160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24934
/proc/meminfo: memFree=28027664/32950928 swapFree=67111528/67111528
[pid=24525] ppid=24523 vsize=2071860 CPUtime=1800.03
/proc/24525/stat : 24525 (wbo1.4a) R 24523 24525 23998 0 -1 4202496 517146 0 0 0 178523 1480 0 0 25 0 1 0 165495770 2121584640 517028 4089446400 134512640 135751879 4291326384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/24525/statm: 517965 517028 146 303 0 517660 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2071860

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.07
CPU time (s): 1800.11
CPU user time (s): 1785.24
CPU system time (s): 14.8697
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2071860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.24
system time used= 14.8697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517147
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= 4
involuntary context switches= 1047

runsolver used 3.35549 second user time and 6.24205 second system time

The end

Launcher Data 

Begin job on node112 at 2010-06-30 13:55:23
IDJOB=2689937
IDBENCH=78850
IDSOLVER=1200
FILE ID=node112/2689937-1277898923
PBS_JOBID= 11197169
Free space on /tmp= 74212 MiB

SOLVER NAME= wbo 1.4a
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971363--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-2689937-1277898923/watcher-2689937-1277898923 -o /tmp/evaluation-result-2689937-1277898923/solver-2689937-1277898923 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689937-1277898923.wbo

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

MD5SUM BENCH= 9aae741b51a1836a01c8daeb1bffcdf7
RANDOM SEED=1727799172

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
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.75
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.827
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.82
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.827
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:     32950928 kB
MemFree:      30346628 kB
Buffers:        179632 kB
Cached:        1889780 kB
SwapCached:          0 kB
Active:         907668 kB
Inactive:      1551368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30346628 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2408 kB
Writeback:           0 kB
AnonPages:      389816 kB
Mapped:          20364 kB
Slab:            80212 kB
PageTables:       5660 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1654352 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= 74204 MiB
End job on node112 at 2010-06-30 14:25:25