Trace number 3447139

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.6? (TO) 1800.07 1800.03

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-0-100-0.wbo
MD5SUMb0ba3c932573495a13e5be4b53f7a1a4
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1.85772
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 constraints101
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 5180
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5179
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1266
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.6 beta - 20110321
0.00/0.00	c Parsing wbo file format. File HOME/instance-3447139-1307906725.wbo.
0.00/0.00	c Instance file HOME/instance-3447139-1307906725.wbo
0.00/0.00	c File size is 10462 bytes.
0.00/0.00	c Highest Coefficient sum: 1266
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 |       100 |     169      101     1205 |     5500      100     28 |  0.004 % |
0.00/0.00	c |       251 |     169      101     1205 |     6050      251     29 |  0.004 % |
0.00/0.00	c |       478 |     169      101     1205 |     6655      478     28 |  0.004 % |
0.00/0.01	c |       815 |     169      101     1205 |     7320      815     29 |  0.004 % |
0.00/0.02	c |      1321 |     169      101     1205 |     8052     1321     30 |  0.004 % |
0.00/0.04	c |      2080 |     169      101     1205 |     8857     2080     32 |  0.004 % |
0.00/0.06	c |      3221 |     169      101     1205 |     9743     3221     34 |  0.004 % |
0.09/0.11	c |      4930 |     169      101     1205 |    10717     4930     36 |  0.004 % |
0.09/0.19	c |      7493 |     169      101     1205 |    11789     7493     36 |  0.004 % |
0.29/0.34	c |     11338 |     169      101     1205 |    12968    11338     37 |  0.004 % |
0.59/0.62	c |     17104 |     169      101     1205 |    14265    10564     40 |  0.004 % |
1.00/1.06	c |     25754 |     169      101     1205 |    15692    12021     41 |  0.004 % |
1.59/1.69	c |     38730 |     169      101     1205 |    17261     9194     43 |  0.004 % |
2.69/2.72	c |     58193 |     169      101     1205 |    18987    11294     47 |  0.004 % |
3.59/3.62	c ===============================================================================
3.89/3.95	c core #1
3.89/3.95	c 
3.89/3.95	c 
3.89/3.95	c Core size: 99	Core Weight: 1	Total Weight: 1
3.89/3.95	c Current CPU time: 3.86241 s
3.89/3.95	c
3.89/3.95	c ============================[ Search Statistics ]==============================
3.89/3.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.89/3.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.89/3.95	c ===============================================================================
3.89/3.95	c |         0 |     264      200     2574 |     5000        0   -nan |  0.000 % |
3.89/3.95	c |       100 |     264      200     2574 |     5500      100     28 |  0.001 % |
3.89/3.95	c |       251 |     264      200     2574 |     6050      251     31 |  0.001 % |
3.89/3.96	c |       476 |     264      200     2574 |     6655      476     30 |  0.001 % |
3.89/3.96	c |       813 |     264      200     2574 |     7320      813     31 |  0.001 % |
3.89/3.97	c |      1319 |     264      200     2574 |     8052     1319     31 |  0.001 % |
3.89/3.99	c |      2079 |     264      200     2574 |     8857     2079     33 |  0.001 % |
3.99/4.03	c |      3220 |     264      200     2574 |     9743     3220     34 |  0.001 % |
3.99/4.08	c |      4929 |     264      200     2574 |    10717     4929     34 |  0.001 % |
4.09/4.16	c |      7491 |     264      200     2574 |    11789     7491     35 |  0.001 % |
4.30/4.31	c |     11336 |     264      200     2574 |    12968    11336     37 |  0.001 % |
4.49/4.58	c |     17102 |     264      200     2574 |    14265    10585     40 |  0.001 % |
4.99/5.05	c |     25752 |     264      200     2574 |    15692    12043     43 |  0.001 % |
5.69/5.76	c |     38727 |     264      200     2574 |    17261     9233     44 |  0.001 % |
6.69/6.75	c |     58188 |     264      200     2574 |    18987    11318     48 |  0.001 % |
7.29/7.38	c ===============================================================================
7.59/7.70	c core #2
7.59/7.70	c 
7.59/7.70	c 
7.59/7.70	c Core size: 98	Core Weight: 1	Total Weight: 2
7.59/7.70	c Current CPU time: 7.57485 s
7.59/7.70	c
7.59/7.70	c ============================[ Search Statistics ]==============================
7.59/7.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.59/7.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.59/7.70	c ===============================================================================
7.59/7.70	c |         0 |     358      298     3928 |     5000        0   -nan |  0.000 % |
7.59/7.70	c |       100 |     358      298     3928 |     5500      100     31 |  0.001 % |
7.69/7.70	c |       251 |     358      298     3928 |     6050      251     31 |  0.001 % |
7.69/7.71	c |       477 |     358      298     3928 |     6655      477     31 |  0.001 % |
7.69/7.71	c |       815 |     358      298     3928 |     7320      815     31 |  0.001 % |
7.69/7.72	c |      1321 |     358      298     3928 |     8052     1321     33 |  0.001 % |
7.69/7.74	c |      2082 |     358      298     3928 |     8857     2082     33 |  0.001 % |
7.69/7.77	c |      3222 |     358      298     3928 |     9743     3222     32 |  0.001 % |
7.79/7.83	c |      4932 |     358      298     3928 |    10717     4932     34 |  0.001 % |
7.89/7.93	c |      7495 |     358      298     3928 |    11789     7495     36 |  0.001 % |
8.09/8.11	c |     11339 |     358      298     3928 |    12968    11339     37 |  0.001 % |
8.39/8.40	c |     17107 |     358      298     3928 |    14265    10569     42 |  0.001 % |
8.80/8.89	c |     25756 |     358      298     3928 |    15692    12043     42 |  0.001 % |
9.59/9.63	c |     38730 |     358      298     3928 |    17261     9222     44 |  0.001 % |
10.79/10.87	c |     58192 |     358      298     3928 |    18987    11316     44 |  0.001 % |
12.39/12.48	c ===============================================================================
12.79/12.85	c core #3
12.79/12.85	c 
12.79/12.85	c 
12.79/12.85	c Core size: 99	Core Weight: 1	Total Weight: 3
12.79/12.85	c Current CPU time: 12.6721 s
12.79/12.85	c
12.79/12.85	c ============================[ Search Statistics ]==============================
12.79/12.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.79/12.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.79/12.85	c ===============================================================================
12.79/12.85	c |         0 |     453      396     5284 |     5000        0   -nan |  0.000 % |
12.79/12.85	c |       101 |     453      396     5284 |     5500      101     31 |  0.000 % |
12.79/12.85	c |       251 |     453      396     5284 |     6050      251     36 |  0.000 % |
12.79/12.86	c |       477 |     453      396     5284 |     6655      477     34 |  0.000 % |
12.79/12.87	c |       814 |     453      396     5284 |     7320      814     32 |  0.000 % |
12.79/12.88	c |      1320 |     453      396     5284 |     8052     1320     32 |  0.000 % |
12.89/12.90	c |      2082 |     453      396     5284 |     8857     2082     31 |  0.000 % |
12.89/12.93	c |      3221 |     453      396     5284 |     9743     3221     32 |  0.000 % |
12.89/12.98	c |      4930 |     453      396     5284 |    10717     4930     33 |  0.000 % |
12.99/13.08	c |      7493 |     453      396     5284 |    11789     7493     34 |  0.000 % |
13.20/13.25	c |     11337 |     453      396     5284 |    12968    11337     35 |  0.000 % |
13.49/13.54	c |     17104 |     453      396     5284 |    14265    10571     38 |  0.000 % |
13.89/13.99	c |     25753 |     453      396     5284 |    15692    12025     41 |  0.000 % |
14.69/14.72	c |     38727 |     453      396     5284 |    17261     9189     41 |  0.000 % |
15.69/15.79	c |     58189 |     453      396     5284 |    18987    11303     47 |  0.020 % |
16.19/16.25	c ===============================================================================
16.50/16.52	c core #4
16.50/16.52	c 
16.50/16.52	c 
16.50/16.52	c Core size: 97	Core Weight: 2	Total Weight: 5
16.50/16.52	c Current CPU time: 16.3045 s
16.50/16.52	c
16.50/16.52	c ============================[ Search Statistics ]==============================
16.50/16.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.50/16.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.50/16.52	c ===============================================================================
16.50/16.52	c |         0 |     546      493     6634 |     5000        0   -nan |  0.000 % |
16.50/16.52	c |       100 |     546      493     6634 |     5500      100     31 |  0.000 % |
16.50/16.53	c |       251 |     546      493     6634 |     6050      251     33 |  0.000 % |
16.50/16.53	c |       477 |     546      493     6634 |     6655      477     33 |  0.000 % |
16.50/16.54	c |       814 |     546      493     6634 |     7320      814     32 |  0.000 % |
16.50/16.55	c |      1320 |     546      493     6634 |     8052     1320     32 |  0.000 % |
16.50/16.58	c |      2079 |     546      493     6634 |     8857     2079     33 |  0.000 % |
16.59/16.61	c |      3218 |     546      493     6634 |     9743     3218     34 |  0.000 % |
16.59/16.67	c |      4926 |     546      493     6634 |    10717     4926     35 |  0.000 % |
16.69/16.78	c |      7488 |     546      493     6634 |    11789     7488     36 |  0.000 % |
16.89/16.95	c |     11335 |     546      493     6634 |    12968    11335     38 |  0.000 % |
17.19/17.27	c |     17101 |     546      493     6634 |    14265    10570     40 |  0.000 % |
17.69/17.73	c |     25753 |     546      493     6634 |    15692    12046     43 |  0.000 % |
18.50/18.54	c |     38730 |     546      493     6634 |    17261     9236     45 |  0.000 % |
19.80/19.83	c |     58192 |     546      493     6634 |    18987    11338     46 |  0.000 % |
20.79/20.87	c ===============================================================================
21.19/21.21	c core #5
21.19/21.21	c 
21.19/21.21	c 
21.19/21.21	c Core size: 96	Core Weight: 2	Total Weight: 7
21.19/21.21	c Current CPU time: 20.9358 s
21.19/21.21	c
21.19/21.21	c ============================[ Search Statistics ]==============================
21.19/21.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.19/21.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.19/21.21	c ===============================================================================
21.19/21.21	c |         0 |     639      588     7957 |     5000        0   -nan |  0.000 % |
21.19/21.22	c |       100 |     639      588     7957 |     5500      100     29 |  0.000 % |
21.19/21.22	c |       251 |     639      588     7957 |     6050      251     31 |  0.000 % |
21.19/21.22	c |       476 |     639      588     7957 |     6655      476     33 |  0.000 % |
21.19/21.23	c |       813 |     639      588     7957 |     7320      813     34 |  0.000 % |
21.19/21.24	c |      1320 |     639      588     7957 |     8052     1320     33 |  0.000 % |
21.19/21.27	c |      2080 |     639      588     7957 |     8857     2080     34 |  0.000 % |
21.29/21.30	c |      3221 |     639      588     7957 |     9743     3221     36 |  0.000 % |
21.29/21.36	c |      4930 |     639      588     7957 |    10717     4930     35 |  0.000 % |
21.39/21.47	c |      7493 |     639      588     7957 |    11789     7493     36 |  0.000 % |
21.59/21.65	c |     11338 |     639      588     7957 |    12968    11338     38 |  0.000 % |
21.89/21.96	c |     17106 |     639      588     7957 |    14265    10581     43 |  0.000 % |
22.40/22.47	c |     25756 |     639      588     7957 |    15692    12052     44 |  0.000 % |
23.29/23.33	c |     38730 |     639      588     7957 |    17261     9219     44 |  0.000 % |
24.59/24.66	c |     58192 |     639      588     7957 |    18987    11312     47 |  0.000 % |
25.29/25.34	c ===============================================================================
25.59/25.65	c core #6
25.59/25.65	c 
25.59/25.65	c 
25.59/25.65	c Core size: 105	Core Weight: 1	Total Weight: 8
25.59/25.65	c Current CPU time: 25.3481 s
25.59/25.65	c
25.59/25.65	c ============================[ Search Statistics ]==============================
25.59/25.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.59/25.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
25.59/25.65	c ===============================================================================
25.59/25.65	c |         0 |     741      687     9354 |     5000        0   -nan |  0.000 % |
25.59/25.66	c |       101 |     741      687     9354 |     5500      101     44 |  0.000 % |
25.59/25.66	c |       252 |     741      687     9354 |     6050      252     46 |  0.000 % |
25.59/25.67	c |       479 |     741      687     9354 |     6655      479     42 |  0.000 % |
25.59/25.68	c |       816 |     741      687     9354 |     7320      816     39 |  0.000 % |
25.59/25.69	c |      1326 |     741      687     9354 |     8052     1326     38 |  0.000 % |
25.69/25.71	c |      2089 |     741      687     9354 |     8857     2089     39 |  0.000 % |
25.69/25.75	c |      3228 |     741      687     9354 |     9743     3228     39 |  0.000 % |
25.80/25.82	c |      4938 |     741      687     9354 |    10717     4938     39 |  0.000 % |
25.89/25.93	c |      7500 |     741      687     9354 |    11789     7500     38 |  0.000 % |
26.09/26.13	c |     11345 |     741      687     9354 |    12968    11345     38 |  0.000 % |
26.40/26.44	c |     17112 |     741      687     9354 |    14265    10569     41 |  0.000 % |
26.89/26.92	c |     25763 |     741      687     9354 |    15692    12041     42 |  0.000 % |
27.59/27.66	c |     38738 |     741      687     9354 |    17261     9218     42 |  0.000 % |
28.90/28.91	c |     58201 |     741      687     9354 |    18987    11299     46 |  0.000 % |
29.49/29.56	c ===============================================================================
29.79/29.88	c core #7
29.79/29.88	c 
29.79/29.88	c 
29.79/29.88	c Core size: 98	Core Weight: 1	Total Weight: 9
29.79/29.88	c Current CPU time: 29.5215 s
29.79/29.88	c
29.79/29.88	c ============================[ Search Statistics ]==============================
29.79/29.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
29.79/29.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
29.79/29.88	c ===============================================================================
29.79/29.88	c |         0 |     836      781    10668 |     5000        0   -nan |  0.000 % |
29.79/29.88	c |       101 |     836      781    10668 |     5500      101     30 |  0.000 % |
29.79/29.88	c |       253 |     836      781    10668 |     6050      253     33 |  0.000 % |
29.79/29.89	c |       478 |     836      781    10668 |     6655      478     34 |  0.000 % |
29.89/29.90	c |       815 |     836      781    10668 |     7320      815     35 |  0.000 % |
29.89/29.91	c |      1323 |     836      781    10668 |     8052     1323     33 |  0.000 % |
29.89/29.94	c |      2082 |     836      781    10668 |     8857     2082     33 |  0.000 % |
29.89/29.98	c |      3223 |     836      781    10668 |     9743     3223     33 |  0.000 % |
29.99/30.04	c |      4934 |     836      781    10668 |    10717     4934     34 |  0.000 % |
30.09/30.16	c |      7497 |     836      781    10668 |    11789     7497     35 |  0.000 % |
30.29/30.35	c |     11342 |     836      781    10668 |    12968    11342     37 |  0.000 % |
30.60/30.66	c |     17108 |     836      781    10668 |    14265    10555     39 |  0.000 % |
31.09/31.11	c |     25758 |     836      781    10668 |    15692    12015     40 |  0.000 % |
31.80/31.87	c |     38739 |     836      781    10668 |    17261     9199     41 |  0.000 % |
33.09/33.12	c |     58200 |     836      781    10668 |    18987    11287     45 |  0.000 % |
33.80/33.85	c ===============================================================================
34.10/34.15	c core #8
34.10/34.15	c 
34.10/34.15	c 
34.10/34.15	c Core size: 113	Core Weight: 1	Total Weight: 10
34.10/34.15	c Current CPU time: 33.7539 s
34.10/34.15	c
34.10/34.15	c ============================[ Search Statistics ]==============================
34.10/34.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.10/34.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.10/34.15	c ===============================================================================
34.10/34.15	c |         0 |     946      877    12040 |     5000        0   -nan |  0.000 % |
34.10/34.16	c |       100 |     946      877    12040 |     5500      100     54 |  0.000 % |
34.10/34.16	c |       251 |     946      877    12040 |     6050      251     47 |  0.000 % |
34.10/34.17	c |       476 |     946      877    12040 |     6655      476     41 |  0.000 % |
34.10/34.18	c |       815 |     946      877    12040 |     7320      815     37 |  0.000 % |
34.10/34.19	c |      1321 |     946      877    12040 |     8052     1321     37 |  0.000 % |
34.19/34.22	c |      2080 |     946      877    12040 |     8857     2080     36 |  0.000 % |
34.19/34.26	c |      3220 |     946      877    12040 |     9743     3220     38 |  0.000 % |
34.29/34.32	c |      4930 |     946      877    12040 |    10717     4930     39 |  0.000 % |
34.39/34.44	c |      7494 |     946      877    12040 |    11789     7494     40 |  0.000 % |
34.59/34.65	c |     11340 |     946      877    12040 |    12968    11340     41 |  0.000 % |
35.00/35.01	c |     17107 |     946      877    12040 |    14265    10574     44 |  0.000 % |
35.49/35.56	c |     25756 |     946      877    12040 |    15692    12034     45 |  0.000 % |
36.49/36.50	c |     38733 |     946      877    12040 |    17261     9221     44 |  0.000 % |
37.80/37.81	c |     58195 |     946      877    12040 |    18987    11318     47 |  0.000 % |
39.60/39.67	c ===============================================================================
39.99/40.07	c core #9
39.99/40.07	c 
39.99/40.07	c 
39.99/40.07	c Core size: 99	Core Weight: 1	Total Weight: 11
39.99/40.07	c Current CPU time: 39.61 s
39.99/40.07	c
39.99/40.07	c ============================[ Search Statistics ]==============================
39.99/40.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.99/40.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.99/40.07	c ===============================================================================
39.99/40.07	c |         0 |    1041      968    13326 |     5000        0   -nan |  0.000 % |
39.99/40.07	c |       102 |    1041      968    13326 |     5500      102     41 |  0.000 % |
39.99/40.08	c |       252 |    1041      968    13326 |     6050      252     39 |  0.000 % |
39.99/40.08	c |       477 |    1041      968    13326 |     6655      477     38 |  0.000 % |
39.99/40.09	c |       814 |    1041      968    13326 |     7320      814     39 |  0.000 % |
40.09/40.11	c |      1322 |    1041      968    13326 |     8052     1322     36 |  0.000 % |
40.09/40.14	c |      2082 |    1041      968    13326 |     8857     2082     35 |  0.000 % |
40.09/40.18	c |      3222 |    1041      968    13326 |     9743     3222     35 |  0.000 % |
40.19/40.25	c |      4930 |    1041      968    13326 |    10717     4930     34 |  0.000 % |
40.29/40.38	c |      7492 |    1041      968    13326 |    11789     7492     36 |  0.000 % |
40.49/40.59	c |     11336 |    1041      968    13326 |    12968    11336     37 |  0.000 % |
40.89/40.95	c |     17102 |    1041      968    13326 |    14265    10573     43 |  0.000 % |
41.39/41.48	c |     25751 |    1041      968    13326 |    15692    12040     41 |  0.000 % |
42.19/42.29	c |     38726 |    1041      968    13326 |    17261     9228     45 |  0.000 % |
43.60/43.65	c |     58191 |    1041      968    13326 |    18987    11338     45 |  0.000 % |
45.69/45.70	c |     87385 |    1041      968    13326 |    20886    11887     49 |  0.000 % |
46.59/46.69	c ===============================================================================
47.10/47.17	c core #10
47.10/47.17	c 
47.10/47.17	c 
47.10/47.17	c Core size: 146	Core Weight: 1	Total Weight: 12
47.10/47.17	c Current CPU time: 46.6389 s
47.10/47.17	c
47.10/47.17	c ============================[ Search Statistics ]==============================
47.10/47.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.10/47.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.10/47.17	c ===============================================================================
47.10/47.17	c |         0 |    1183     1064    14759 |     5000        0   -nan |  0.000 % |
47.10/47.18	c |       100 |    1183     1064    14759 |     5500      100     42 |  0.000 % |
47.10/47.18	c |       251 |    1183     1064    14759 |     6050      251     37 |  0.000 % |
47.10/47.19	c |       477 |    1183     1064    14759 |     6655      477     41 |  0.000 % |
47.20/47.21	c |       815 |    1183     1064    14759 |     7320      815     37 |  0.000 % |
47.20/47.22	c |      1322 |    1183     1064    14759 |     8052     1322     35 |  0.000 % |
47.20/47.25	c |      2085 |    1183     1064    14759 |     8857     2085     38 |  0.000 % |
47.20/47.30	c |      3224 |    1183     1064    14759 |     9743     3224     38 |  0.000 % |
47.30/47.37	c |      4932 |    1183     1064    14759 |    10717     4932     39 |  0.000 % |
47.39/47.49	c |      7495 |    1183     1064    14759 |    11789     7495     41 |  0.000 % |
47.59/47.69	c |     11342 |    1183     1064    14759 |    12968    11342     42 |  0.000 % |
47.99/48.01	c |     17109 |    1183     1064    14759 |    14265    10579     44 |  0.000 % |
48.50/48.56	c |     25758 |    1183     1064    14759 |    15692    12038     45 |  0.000 % |
49.49/49.52	c |     38732 |    1183     1064    14759 |    17261     9219     44 |  0.000 % |
50.79/50.85	c |     58193 |    1183     1064    14759 |    18987    11328     46 |  0.000 % |
52.99/53.03	c |     87386 |    1183     1064    14759 |    20886    11872     47 |  0.000 % |
56.49/56.52	c |    131175 |    1183     1064    14759 |    22974    13660     48 |  0.000 % |
59.69/59.79	c ===============================================================================
60.70/60.72	c core #11
60.70/60.72	c 
60.70/60.72	c 
60.70/60.72	c Core size: 152	Core Weight: 1	Total Weight: 13
60.70/60.72	c Current CPU time: 60.0369 s
60.70/60.72	c
60.70/60.72	c ============================[ Search Statistics ]==============================
60.70/60.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
60.70/60.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
60.70/60.72	c ===============================================================================
60.70/60.72	c |         0 |    1330     1155    16162 |     5000        0   -nan |  0.000 % |
60.70/60.73	c |       100 |    1330     1155    16162 |     5500      100     42 |  0.000 % |
60.70/60.73	c |       250 |    1330     1155    16162 |     6050      250     39 |  0.000 % |
60.70/60.74	c |       475 |    1330     1155    16162 |     6655      475     35 |  0.000 % |
60.70/60.75	c |       813 |    1330     1155    16162 |     7320      813     36 |  0.000 % |
60.70/60.76	c |      1319 |    1330     1155    16162 |     8052     1319     38 |  0.000 % |
60.70/60.79	c |      2079 |    1330     1155    16162 |     8857     2079     35 |  0.000 % |
60.79/60.83	c |      3218 |    1330     1155    16162 |     9743     3218     34 |  0.000 % |
60.89/60.90	c |      4926 |    1330     1155    16162 |    10717     4926     34 |  0.000 % |
60.99/61.02	c |      7488 |    1330     1155    16162 |    11789     7488     35 |  0.000 % |
61.19/61.23	c |     11332 |    1330     1155    16162 |    12968    11332     36 |  0.000 % |
61.50/61.58	c |     17098 |    1330     1155    16162 |    14265    10572     38 |  0.000 % |
62.09/62.13	c |     25752 |    1330     1155    16162 |    15692    12045     43 |  0.000 % |
62.90/62.98	c |     38726 |    1330     1155    16162 |    17261     9232     43 |  0.000 % |
64.19/64.28	c |     58188 |    1330     1155    16162 |    18987    11337     44 |  0.000 % |
66.59/66.60	c |     87383 |    1330     1155    16162 |    20886    11905     47 |  0.000 % |
69.99/70.01	c |    131174 |    1330     1155    16162 |    22974    13705     48 |  0.002 % |
71.50/71.52	c ===============================================================================
72.19/72.29	c core #12
72.19/72.29	c 
72.19/72.29	c 
72.19/72.29	c Core size: 124	Core Weight: 1	Total Weight: 14
72.19/72.29	c Current CPU time: 71.5101 s
72.19/72.29	c
72.19/72.29	c ============================[ Search Statistics ]==============================
72.19/72.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
72.19/72.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
72.19/72.29	c ===============================================================================
72.19/72.29	c |         0 |    1451     1242    17475 |     5000        0   -nan |  0.000 % |
72.29/72.30	c |       101 |    1451     1242    17475 |     5500      101     33 |  0.000 % |
72.29/72.30	c |       254 |    1451     1242    17475 |     6050      254     35 |  0.000 % |
72.29/72.31	c |       480 |    1451     1242    17475 |     6655      480     35 |  0.000 % |
72.29/72.32	c |       818 |    1451     1242    17475 |     7320      818     36 |  0.000 % |
72.29/72.34	c |      1326 |    1451     1242    17475 |     8052     1326     38 |  0.000 % |
72.29/72.37	c |      2085 |    1451     1242    17475 |     8857     2085     37 |  0.000 % |
72.39/72.41	c |      3224 |    1451     1242    17475 |     9743     3224     36 |  0.000 % |
72.39/72.48	c |      4933 |    1451     1242    17475 |    10717     4933     36 |  0.000 % |
72.60/72.60	c |      7500 |    1451     1242    17475 |    11789     7500     37 |  0.000 % |
72.79/72.84	c |     11344 |    1451     1242    17475 |    12968    11344     38 |  0.000 % |
73.09/73.19	c |     17111 |    1451     1242    17475 |    14265    10605     38 |  0.000 % |
73.70/73.76	c |     25760 |    1451     1242    17475 |    15692    12065     41 |  0.000 % |
74.60/74.67	c |     38737 |    1451     1242    17475 |    17261     9240     45 |  0.000 % |
75.99/76.02	c |     58198 |    1451     1242    17475 |    18987    11333     44 |  0.000 % |
78.20/78.27	c |     87390 |    1451     1242    17475 |    20886    11861     46 |  0.000 % |
81.69/81.73	c |    131179 |    1451     1242    17475 |    22974    13691     49 |  0.002 % |
82.59/82.61	c ===============================================================================
83.29/83.36	c core #13
83.29/83.36	c 
83.29/83.36	c 
83.29/83.36	c Core size: 143	Core Weight: 1	Total Weight: 15
83.29/83.36	c Current CPU time: 82.4825 s
83.29/83.36	c
83.29/83.36	c ============================[ Search Statistics ]==============================
83.29/83.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
83.29/83.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
83.29/83.36	c ===============================================================================
83.29/83.36	c |         0 |    1591     1331    18838 |     5000        0   -nan |  0.000 % |
83.29/83.36	c |       100 |    1591     1331    18838 |     5500      100     37 |  0.000 % |
83.29/83.37	c |       250 |    1591     1331    18838 |     6050      250     34 |  0.000 % |
83.29/83.38	c |       475 |    1591     1331    18838 |     6655      475     31 |  0.000 % |
83.29/83.39	c |       812 |    1591     1331    18838 |     7320      812     34 |  0.000 % |
83.39/83.41	c |      1318 |    1591     1331    18838 |     8052     1318     34 |  0.000 % |
83.39/83.43	c |      2077 |    1591     1331    18838 |     8857     2077     33 |  0.000 % |
83.39/83.48	c |      3216 |    1591     1331    18838 |     9743     3216     33 |  0.000 % |
83.50/83.54	c |      4925 |    1591     1331    18838 |    10717     4925     34 |  0.000 % |
83.60/83.67	c |      7487 |    1591     1331    18838 |    11789     7487     35 |  0.000 % |
83.80/83.87	c |     11333 |    1591     1331    18838 |    12968    11333     36 |  0.000 % |
84.19/84.20	c |     17099 |    1591     1331    18838 |    14265    10550     40 |  0.000 % |
84.70/84.72	c |     25748 |    1591     1331    18838 |    15692    12022     40 |  0.000 % |
85.49/85.55	c |     38722 |    1591     1331    18838 |    17261     9206     45 |  0.000 % |
86.90/86.90	c |     58183 |    1591     1331    18838 |    18987    11301     43 |  0.000 % |
89.00/89.03	c |     87376 |    1591     1331    18838 |    20886    11855     45 |  0.000 % |
92.30/92.37	c |    131165 |    1591     1331    18838 |    22974    13656     49 |  0.001 % |
93.09/93.17	c ===============================================================================
93.79/93.87	c core #14
93.79/93.87	c 
93.79/93.87	c 
93.79/93.87	c Core size: 134	Core Weight: 1	Total Weight: 16
93.79/93.87	c Current CPU time: 92.9089 s
93.79/93.87	c
93.79/93.87	c ============================[ Search Statistics ]==============================
93.79/93.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
93.79/93.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
93.79/93.87	c ===============================================================================
93.79/93.87	c |         0 |    1722     1418    20171 |     5000        0   -nan |  0.000 % |
93.79/93.88	c |       100 |    1722     1418    20171 |     5500      100     46 |  0.000 % |
93.79/93.88	c |       251 |    1722     1418    20171 |     6050      251     42 |  0.000 % |
93.79/93.89	c |       476 |    1722     1418    20171 |     6655      476     38 |  0.000 % |
93.90/93.90	c |       813 |    1722     1418    20171 |     7320      813     36 |  0.000 % |
93.90/93.92	c |      1320 |    1722     1418    20171 |     8052     1320     34 |  0.000 % |
93.90/93.95	c |      2080 |    1722     1418    20171 |     8857     2080     36 |  0.000 % |
94.00/94.00	c |      3219 |    1722     1418    20171 |     9743     3219     36 |  0.000 % |
94.00/94.07	c |      4927 |    1722     1418    20171 |    10717     4927     36 |  0.000 % |
94.19/94.22	c |      7492 |    1722     1418    20171 |    11789     7492     38 |  0.000 % |
94.39/94.47	c |     11336 |    1722     1418    20171 |    12968    11336     39 |  0.000 % |
94.80/94.83	c |     17105 |    1722     1418    20171 |    14265    10562     39 |  0.000 % |
95.40/95.42	c |     25754 |    1722     1418    20171 |    15692    12037     41 |  0.000 % |
96.29/96.32	c |     38728 |    1722     1418    20171 |    17261     9196     41 |  0.000 % |
97.59/97.66	c |     58190 |    1722     1418    20171 |    18987    11292     45 |  0.000 % |
100.29/100.35	c |     87385 |    1722     1418    20171 |    20886    11681     52 |  0.000 % |
104.89/104.99	c |    131174 |    1722     1418    20171 |    22974    12798     57 |  0.000 % |
112.79/112.80	c |    196858 |    1681     1418    20171 |    25272    20149     59 |  2.381 % |
115.09/115.10	c ===============================================================================
115.89/115.99	c core #15
115.89/115.99	c 
115.89/115.99	c 
115.89/115.99	c Core size: 146	Core Weight: 1	Total Weight: 17
115.89/115.99	c Current CPU time: 114.874 s
115.89/115.99	c
115.89/115.99	c ============================[ Search Statistics ]==============================
115.89/115.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
115.89/115.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
115.89/115.99	c ===============================================================================
115.89/115.99	c |         0 |    1865     1505    21528 |     5000        0   -nan |  0.000 % |
115.99/116.00	c |       100 |    1865     1505    21528 |     5500      100     39 |  0.000 % |
115.99/116.01	c |       252 |    1865     1505    21528 |     6050      252     44 |  0.000 % |
115.99/116.01	c |       477 |    1865     1505    21528 |     6655      477     39 |  0.000 % |
115.99/116.02	c |       814 |    1865     1505    21528 |     7320      814     36 |  0.000 % |
115.99/116.04	c |      1320 |    1865     1505    21528 |     8052     1320     33 |  0.000 % |
115.99/116.07	c |      2081 |    1865     1505    21528 |     8857     2081     31 |  0.000 % |
116.10/116.12	c |      3221 |    1865     1505    21528 |     9743     3221     36 |  0.000 % |
116.19/116.20	c |      4929 |    1865     1505    21528 |    10717     4929     37 |  0.000 % |
116.29/116.34	c |      7491 |    1865     1505    21528 |    11789     7491     38 |  0.000 % |
116.50/116.58	c |     11335 |    1865     1505    21528 |    12968    11335     39 |  0.000 % |
116.90/116.93	c |     17104 |    1865     1505    21528 |    14265    10567     40 |  0.000 % |
117.40/117.48	c |     25754 |    1865     1505    21528 |    15692    12037     43 |  0.000 % |
118.70/118.73	c |     38729 |    1865     1505    21528 |    17261     8955     65 |  0.000 % |
120.29/120.39	c |     58191 |    1865     1505    21528 |    18987    10116     55 |  0.000 % |
122.80/122.80	c |     87386 |    1865     1505    21528 |    20886    10670     45 |  0.000 % |
126.60/126.60	c |    131175 |    1865     1505    21528 |    22974    12319     49 |  0.000 % |
134.00/134.02	c |    196861 |    1838     1505    21528 |    25272    19480     64 |  1.448 % |
164.90/164.95	c |    295388 |    1838     1505    21528 |    27799    13019     56 |  1.448 % |
203.80/203.81	c |    443180 |    1779     1505    21528 |    30579    20088     67 |  4.611 % |
214.69/214.73	c ===============================================================================
216.50/216.57	c core #16
216.50/216.57	c 
216.50/216.57	c 
216.50/216.57	c Core size: 135	Core Weight: 1	Total Weight: 18
216.50/216.57	c Current CPU time: 214.974 s
216.50/216.57	c
216.50/216.57	c ============================[ Search Statistics ]==============================
216.50/216.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.50/216.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.50/216.57	c ===============================================================================
216.50/216.57	c |         0 |    1997     1591    22850 |     5000        0   -nan |  0.000 % |
216.50/216.58	c |       100 |    1997     1591    22850 |     5500      100     36 |  0.000 % |
216.50/216.58	c |       250 |    1997     1591    22850 |     6050      250     33 |  0.000 % |
216.50/216.59	c |       476 |    1997     1591    22850 |     6655      476     34 |  0.000 % |
216.60/216.61	c |       813 |    1997     1591    22850 |     7320      813     32 |  0.000 % |
216.60/216.62	c |      1320 |    1997     1591    22850 |     8052     1320     30 |  0.000 % |
216.60/216.66	c |      2079 |    1997     1591    22850 |     8857     2079     31 |  0.000 % |
216.70/216.71	c |      3218 |    1997     1591    22850 |     9743     3218     33 |  0.000 % |
216.70/216.79	c |      4926 |    1997     1591    22850 |    10717     4926     32 |  0.000 % |
216.89/216.92	c |      7491 |    1997     1591    22850 |    11789     7491     34 |  0.000 % |
217.10/217.15	c |     11335 |    1997     1591    22850 |    12968    11335     35 |  0.000 % |
217.49/217.54	c |     17102 |    1997     1591    22850 |    14265    10569     40 |  0.000 % |
218.10/218.19	c |     25752 |    1997     1591    22850 |    15692    12053     42 |  0.000 % |
219.10/219.10	c |     38735 |    1997     1591    22850 |    17261     9249     39 |  0.000 % |
220.40/220.49	c |     58196 |    1997     1591    22850 |    18987    11344     44 |  0.000 % |
224.00/224.06	c |     87390 |    1997     1591    22850 |    20886    11242     83 |  0.000 % |
227.70/227.72	c |    131179 |    1997     1591    22850 |    22974    11818     58 |  0.000 % |
233.50/233.53	c |    196863 |    1997     1591    22850 |    25272    19185     55 |  0.001 % |
250.99/251.08	c |    295390 |    1956     1591    22850 |    27799    24313     49 |  2.053 % |
295.50/295.53	c |    443181 |    1956     1591    22850 |    30579    17611     85 |  2.054 % |
371.50/371.54	c |    664865 |    1956     1591    22850 |    33637    25045     83 |  2.054 % |
481.90/481.97	c |    997390 |    1956     1591    22850 |    37001    30172     83 |  2.054 % |
674.01/674.03	c |   1496178 |    1956     1591    22850 |    40701    28145     87 |  2.055 % |
1017.92/1017.98	c |   2244363 |    1956     1591    22850 |    44771    20422     89 |  2.054 % |
1554.73/1554.77	c |   3366640 |    1956     1591    22850 |    49248    37536     98 |  2.053 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447139-1307906725/watcher-3447139-1307906725 -o /var/tmp/evaluation-result-3447139-1307906725/solver-3447139-1307906725 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447139-1307906725.wbo 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.90 2/177 21081
/proc/meminfo: memFree=1564056/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=2104 CPUtime=0 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 311 0 0 0 0 0 0 0 18 0 1 0 902273476 2154496 260 33554432000 4194304 5714214 140736427486320 18446744073709551615 4976640 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 526 260 177 372 0 151 0

[startup+0.0888069 s]
/proc/loadavg: 2.00 2.00 1.90 2/177 21081
/proc/meminfo: memFree=1564056/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=3436 CPUtime=0.08 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 670 0 0 0 8 0 0 0 18 0 1 0 902273476 3518464 619 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 859 620 177 372 0 484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3436

[startup+0.100804 s]
/proc/loadavg: 2.00 2.00 1.90 2/177 21081
/proc/meminfo: memFree=1564056/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=3700 CPUtime=0.09 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 715 0 0 0 9 0 0 0 18 0 1 0 902273476 3788800 664 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 925 664 177 372 0 550 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3700

[startup+0.300774 s]
/proc/loadavg: 2.00 2.00 1.90 2/177 21081
/proc/meminfo: memFree=1564056/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=5812 CPUtime=0.29 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 1267 0 0 0 28 1 0 0 18 0 1 0 902273476 5951488 1216 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 1453 1216 177 372 0 1078 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5812

[startup+0.700704 s]
/proc/loadavg: 2.00 2.00 1.90 2/177 21081
/proc/meminfo: memFree=1564056/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=8216 CPUtime=0.69 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 1844 0 0 0 67 2 0 0 18 0 1 0 902273476 8413184 1793 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 2054 1794 177 372 0 1679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8216

[startup+1.50054 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 21082
/proc/meminfo: memFree=1556012/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=11804 CPUtime=1.49 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 2753 0 0 0 146 3 0 0 20 0 1 0 902273476 12087296 2702 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 2951 2703 177 372 0 2576 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11804

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21082
/proc/meminfo: memFree=1549192/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=18540 CPUtime=3.09 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 4430 0 0 0 304 5 0 0 25 0 1 0 902273476 18984960 4379 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 4635 4379 177 372 0 4260 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18540

[startup+6.3007 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21082
/proc/meminfo: memFree=1538724/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=23060 CPUtime=6.29 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 5588 0 0 0 621 8 0 0 25 0 1 0 902273476 23613440 5499 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 5765 5499 178 372 0 5390 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23060

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21082
/proc/meminfo: memFree=1536144/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=25436 CPUtime=12.69 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 6206 0 0 0 1255 14 0 0 25 0 1 0 902273476 26046464 6117 33554432000 4194304 5714214 140736427486320 18446744073709551615 4324428 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 6359 6117 178 372 0 5984 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25436

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21082
/proc/meminfo: memFree=1533400/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=25568 CPUtime=25.49 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 6234 0 0 0 2522 27 0 0 25 0 1 0 902273476 26181632 6145 33554432000 4194304 5714214 140736427486320 18446744073709551615 4324692 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 6392 6145 178 372 0 6017 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25568

[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21083
/proc/meminfo: memFree=1528584/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=30616 CPUtime=51.09 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 7491 0 0 0 5056 53 0 0 25 0 1 0 902273476 31350784 7402 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 7654 7402 178 372 0 7279 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 30616

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21084
/proc/meminfo: memFree=1508440/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=48272 CPUtime=102.3 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 11921 0 0 0 10136 94 0 0 25 0 1 0 902273476 49430528 11832 33554432000 4194304 5714214 140736427486320 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 12068 11832 178 372 0 11693 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 48272

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21086
/proc/meminfo: memFree=1494876/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=62568 CPUtime=162.3 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 15386 0 0 0 16109 121 0 0 25 0 1 0 902273476 64069632 15297 33554432000 4194304 5714214 140736427486320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 15642 15297 178 372 0 15267 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 62568

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21088
/proc/meminfo: memFree=1449940/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=105564 CPUtime=222.29 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 25961 0 0 0 22087 142 0 0 25 0 1 0 902273476 108097536 25811 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 26391 25811 178 372 0 26016 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 105564

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21089
/proc/meminfo: memFree=1438380/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=105564 CPUtime=282.3 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 26189 0 0 0 28065 165 0 0 25 0 1 0 902273476 108097536 26039 33554432000 4194304 5714214 140736427486320 18446744073709551615 4319832 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 26391 26039 178 372 0 26016 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 105564

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21091
/proc/meminfo: memFree=1424800/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=119564 CPUtime=342.3 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 29641 0 0 0 34052 178 0 0 25 0 1 0 902273476 122433536 29491 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 29891 29491 178 372 0 29516 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 119564

[startup+402.301 s]
/proc/loadavg: 2.06 2.01 1.91 3/178 21092
/proc/meminfo: memFree=1387580/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=150160 CPUtime=402.3 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 37162 0 0 0 40037 193 0 0 25 0 1 0 902273476 153763840 37012 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 37540 37012 178 372 0 37165 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 150160

[startup+462.301 s]
/proc/loadavg: 2.05 2.02 1.92 3/178 21094
/proc/meminfo: memFree=1357400/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=170196 CPUtime=462.3 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 42011 0 0 0 46023 207 0 0 25 0 1 0 902273476 174280704 41861 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 42549 41861 178 372 0 42174 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 170196

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 1.92 3/178 21096
/proc/meminfo: memFree=1325132/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=195332 CPUtime=522.3 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 48247 0 0 0 52008 222 0 0 25 0 1 0 902273476 200019968 48097 33554432000 4194304 5714214 140736427486320 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 48833 48097 178 372 0 48458 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 195332

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 1.92 3/178 21097
/proc/meminfo: memFree=1302888/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=217304 CPUtime=582.31 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 53650 0 0 0 57995 236 0 0 25 0 1 0 902273476 222519296 53500 33554432000 4194304 5714214 140736427486320 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 54326 53500 178 372 0 53951 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 217304

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21104
/proc/meminfo: memFree=1209508/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=296664 CPUtime=822.32 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 73159 0 0 0 81950 282 0 0 25 0 1 0 902273476 303783936 73009 33554432000 4194304 5714214 140736427486320 18446744073709551615 4300272 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 74166 73009 178 372 0 73791 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 296664

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21105
/proc/meminfo: memFree=1183440/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=311216 CPUtime=882.31 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 76749 0 0 0 87939 292 0 0 25 0 1 0 902273476 318685184 76599 33554432000 4194304 5714214 140736427486320 18446744073709551615 4319796 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 77804 76599 178 372 0 77429 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 311216

[startup+942.301 s]
/proc/loadavg: 2.08 2.02 1.93 3/178 21107
/proc/meminfo: memFree=1164312/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=328488 CPUtime=942.32 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 80919 0 0 0 93930 302 0 0 25 0 1 0 902273476 336371712 80769 33554432000 4194304 5714214 140736427486320 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 82122 80769 178 372 0 81747 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 328488

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 21108
/proc/meminfo: memFree=1150272/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=342348 CPUtime=1002.32 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 84380 0 0 0 99920 312 0 0 25 0 1 0 902273476 350564352 84230 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 85587 84230 178 372 0 85212 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 342348

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 21110
/proc/meminfo: memFree=1134352/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=358612 CPUtime=1062.32 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 88388 0 0 0 105910 322 0 0 25 0 1 0 902273476 367218688 88238 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 89653 88238 178 372 0 89278 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 358612

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21112
/proc/meminfo: memFree=1111132/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=376556 CPUtime=1122.32 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 92848 0 0 0 111897 335 0 0 25 0 1 0 902273476 385593344 92698 33554432000 4194304 5714214 140736427486320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 94139 92698 178 372 0 93764 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 376556

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21113
/proc/meminfo: memFree=1090132/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=394972 CPUtime=1182.32 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 97400 0 0 0 117886 346 0 0 25 0 1 0 902273476 404451328 97250 33554432000 4194304 5714214 140736427486320 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 98743 97250 178 372 0 98368 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 394972

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21115
/proc/meminfo: memFree=1067780/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=410264 CPUtime=1242.33 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 101255 0 0 0 123878 355 0 0 25 0 1 0 902273476 420110336 101105 33554432000 4194304 5714214 140736427486320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 102566 101105 178 372 0 102191 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 410264

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21116
/proc/meminfo: memFree=1049152/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=425900 CPUtime=1302.33 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 105134 0 0 0 129869 364 0 0 25 0 1 0 902273476 436121600 104984 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 106475 104984 178 372 0 106100 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 425900

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 21118
/proc/meminfo: memFree=1028912/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=441360 CPUtime=1362.32 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 108979 0 0 0 135855 377 0 0 25 0 1 0 902273476 451952640 108829 33554432000 4194304 5714214 140736427486320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 110340 108829 178 372 0 109965 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 441360

[startup+1422.31 s]
/proc/loadavg: 1.78 1.95 1.91 2/172 21145
/proc/meminfo: memFree=1242320/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=455776 CPUtime=1422.33 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 112611 0 0 0 141846 387 0 0 25 0 1 0 902273476 466714624 112461 33554432000 4194304 5714214 140736427486320 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 113944 112461 178 372 0 113569 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 455776

[startup+1482.3 s]
/proc/loadavg: 1.31 1.79 1.85 2/172 21146
/proc/meminfo: memFree=1228556/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=470340 CPUtime=1482.33 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 116248 0 0 0 147838 395 0 0 25 0 1 0 902273476 481628160 116098 33554432000 4194304 5714214 140736427486320 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 117585 116098 178 372 0 117210 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 470340

[startup+1542.3 s]
/proc/loadavg: 1.10 1.63 1.79 2/172 21148
/proc/meminfo: memFree=1212904/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=485816 CPUtime=1542.33 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 120104 0 0 0 153825 408 0 0 25 0 1 0 902273476 497475584 119954 33554432000 4194304 5714214 140736427486320 18446744073709551615 4319151 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 121454 119954 178 372 0 121079 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 485816

[startup+1602.3 s]
/proc/loadavg: 1.04 1.52 1.75 2/172 21149
/proc/meminfo: memFree=1197500/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=502128 CPUtime=1602.33 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 124144 0 0 0 159812 421 0 0 25 0 1 0 902273476 514179072 123994 33554432000 4194304 5714214 140736427486320 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 125532 123994 178 372 0 125157 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 502128

[startup+1662.3 s]
/proc/loadavg: 1.01 1.42 1.69 2/172 21151
/proc/meminfo: memFree=1181844/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=517184 CPUtime=1662.33 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 127893 0 0 0 165800 433 0 0 25 0 1 0 902273476 529596416 127743 33554432000 4194304 5714214 140736427486320 18446744073709551615 4319407 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 129296 127743 178 372 0 128921 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 517184

[startup+1722.3 s]
/proc/loadavg: 1.00 1.34 1.65 2/172 21153
/proc/meminfo: memFree=1166580/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=532548 CPUtime=1722.33 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 131709 0 0 0 171788 445 0 0 25 0 1 0 902273476 545329152 131559 33554432000 4194304 5714214 140736427486320 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 133137 131559 178 372 0 132762 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 532548

[startup+1782.3 s]
/proc/loadavg: 1.00 1.27 1.60 2/172 21154
/proc/meminfo: memFree=1151052/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=548152 CPUtime=1782.34 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 135576 0 0 0 177777 457 0 0 25 0 1 0 902273476 561307648 135426 33554432000 4194304 5714214 140736427486320 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 137038 135426 178 372 0 136663 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 548152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.26 1.59 2/172 21155
/proc/meminfo: memFree=1146704/32951124 swapFree=67052292/67111528
[pid=21081] ppid=21079 vsize=552440 CPUtime=1800.04 cores=0,2,4,6
/proc/21081/stat : 21081 (wbo1.6) R 21079 21081 19038 0 -1 4202496 136651 0 0 0 179546 458 0 0 25 0 1 0 902273476 565698560 136501 33554432000 4194304 5714214 140736427486320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21081/statm: 138110 136501 178 372 0 137735 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 552440

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.03
CPU time (s): 1800.07
CPU user time (s): 1795.46
CPU system time (s): 4.6093
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 552440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.46
system time used= 4.6093
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136651
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= 8
involuntary context switches= 3654

runsolver used 2.65959 second user time and 5.54916 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-12 21:25:25
IDJOB=3447139
IDBENCH=79246
IDSOLVER=1943
FILE ID=node108/3447139-1307906725
RUNJOBID= node108-1307904510-20600
PBS_JOBID= 13559595
Free space on /var/tmp= 2884 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218757--soft-0-100-0.wbo
COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447139-1307906725/watcher-3447139-1307906725 -o /var/tmp/evaluation-result-3447139-1307906725/solver-3447139-1307906725 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447139-1307906725.wbo

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

MD5SUM BENCH= b0ba3c932573495a13e5be4b53f7a1a4
RANDOM SEED=946653736

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.820
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.820
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.820
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1564236 kB
Buffers:         58920 kB
Cached:       30226804 kB
SwapCached:      23196 kB
Active:       15348424 kB
Inactive:     15092308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1564236 kB
SwapTotal:    67111528 kB
SwapFree:     67052292 kB
Dirty:            4540 kB
Writeback:           0 kB
AnonPages:      152696 kB
Mapped:           9940 kB
Slab:           881608 kB
PageTables:       4992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   336548 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 /var/tmp at the end= 2884 MiB
End job on node108 at 2011-06-12 21:55:27