Trace number 2689978

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
wbo 1.4aOPTIMUM 266.873 266.867

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-33-100-0.wbo
MD5SUM38c8dd1463da5f11da3559d57124aa5b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.220965
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 constraints64
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 3426
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 3425
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.4 beta - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2689978-1277900127.wbo.
0.00/0.00	c Instance file HOME/instance-2689978-1277900127.wbo
0.00/0.00	c File size is 10280 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.01	c |       478 |     169      101     1205 |     6655      478     28 |  0.004 % |
0.00/0.02	c |       815 |     169      101     1205 |     7320      815     29 |  0.004 % |
0.00/0.03	c |      1321 |     169      101     1205 |     8052     1321     30 |  0.004 % |
0.00/0.05	c |      2080 |     169      101     1205 |     8857     2080     32 |  0.004 % |
0.00/0.09	c |      3221 |     169      101     1205 |     9743     3221     34 |  0.004 % |
0.10/0.15	c |      4930 |     169      101     1205 |    10717     4930     36 |  0.004 % |
0.19/0.26	c |      7493 |     169      101     1205 |    11789     7493     36 |  0.004 % |
0.39/0.46	c |     11338 |     169      101     1205 |    12968    11338     37 |  0.004 % |
0.79/0.81	c |     17104 |     169      101     1205 |    14265    10564     40 |  0.004 % |
1.29/1.38	c |     25754 |     169      101     1205 |    15692    12021     41 |  0.004 % |
2.09/2.19	c |     38730 |     169      101     1205 |    17261     9194     43 |  0.004 % |
3.49/3.50	c |     58193 |     169      101     1205 |    18987    11294     47 |  0.004 % |
4.59/4.62	c ===============================================================================
4.89/4.92	c core #1
4.89/4.92	c ============================[ Search Statistics ]==============================
4.89/4.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.89/4.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.89/4.92	c ===============================================================================
4.89/4.92	c |         0 |     228      164     2127 |     5000        0    nan |  0.000 % |
4.89/4.92	c |       100 |     228      164     2127 |     5500      100     28 |  0.002 % |
4.89/4.93	c |       252 |     228      164     2127 |     6050      252     29 |  0.002 % |
4.89/4.93	c |       478 |     228      164     2127 |     6655      478     28 |  0.002 % |
4.89/4.94	c |       815 |     228      164     2127 |     7320      815     30 |  0.002 % |
4.89/4.96	c |      1323 |     228      164     2127 |     8052     1323     31 |  0.002 % |
4.89/4.98	c |      2082 |     228      164     2127 |     8857     2082     32 |  0.002 % |
4.99/5.03	c |      3221 |     228      164     2127 |     9743     3221     33 |  0.002 % |
5.09/5.10	c |      4930 |     228      164     2127 |    10717     4930     36 |  0.002 % |
5.19/5.24	c |      7493 |     228      164     2127 |    11789     7493     38 |  0.002 % |
5.39/5.48	c |     11338 |     228      164     2127 |    12968    11338     39 |  0.002 % |
5.89/5.93	c |     17106 |     228      164     2127 |    14265    10580     45 |  0.002 % |
6.60/6.61	c |     25758 |     228      164     2127 |    15692    12050     46 |  0.002 % |
7.59/7.63	c |     38733 |     228      164     2127 |    17261     9241     45 |  0.002 % |
8.99/9.06	c |     58196 |     228      164     2127 |    18987    11340     48 |  0.002 % |
10.49/10.52	c ===============================================================================
10.79/10.87	c core #2
10.79/10.87	c ============================[ Search Statistics ]==============================
10.79/10.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.79/10.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.79/10.87	c ===============================================================================
10.79/10.87	c |         0 |     286      226     3035 |     5000        0    nan |  0.000 % |
10.79/10.88	c |       101 |     286      226     3035 |     5500      101     32 |  0.001 % |
10.79/10.88	c |       251 |     286      226     3035 |     6050      251     36 |  0.001 % |
10.79/10.89	c |       478 |     286      226     3035 |     6655      478     34 |  0.001 % |
10.89/10.90	c |       815 |     286      226     3035 |     7320      815     34 |  0.001 % |
10.89/10.92	c |      1321 |     286      226     3035 |     8052     1321     34 |  0.001 % |
10.89/10.94	c |      2080 |     286      226     3035 |     8857     2080     34 |  0.001 % |
10.89/10.98	c |      3219 |     286      226     3035 |     9743     3219     34 |  0.001 % |
10.99/11.05	c |      4930 |     286      226     3035 |    10717     4930     37 |  0.001 % |
11.10/11.18	c |      7493 |     286      226     3035 |    11789     7493     37 |  0.001 % |
11.39/11.42	c |     11340 |     286      226     3035 |    12968    11340     40 |  0.001 % |
11.70/11.79	c |     17106 |     286      226     3035 |    14265    10564     44 |  0.001 % |
12.39/12.44	c |     25755 |     286      226     3035 |    15692    12029     43 |  0.001 % |
13.39/13.49	c |     38731 |     286      226     3035 |    17261     9189     46 |  0.001 % |
15.09/15.17	c |     58193 |     286      226     3035 |    18987    11282     49 |  0.001 % |
17.60/17.68	c |     87386 |     286      226     3035 |    20886    11811     49 |  0.001 % |
18.49/18.59	c ===============================================================================
18.99/19.04	c core #3
18.99/19.04	c ============================[ Search Statistics ]==============================
18.99/19.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.99/19.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
18.99/19.04	c ===============================================================================
18.99/19.04	c |         0 |     345      287     3932 |     5000        0    nan |  0.000 % |
18.99/19.05	c |       100 |     345      287     3932 |     5500      100     27 |  0.001 % |
18.99/19.06	c |       250 |     345      287     3932 |     6050      250     33 |  0.001 % |
18.99/19.07	c |       475 |     345      287     3932 |     6655      475     36 |  0.001 % |
18.99/19.08	c |       812 |     345      287     3932 |     7320      812     37 |  0.001 % |
18.99/19.09	c |      1318 |     345      287     3932 |     8052     1318     34 |  0.001 % |
19.10/19.12	c |      2077 |     345      287     3932 |     8857     2077     34 |  0.001 % |
19.10/19.17	c |      3217 |     345      287     3932 |     9743     3217     33 |  0.001 % |
19.19/19.24	c |      4926 |     345      287     3932 |    10717     4926     35 |  0.001 % |
19.30/19.37	c |      7488 |     345      287     3932 |    11789     7488     38 |  0.001 % |
19.60/19.62	c |     11332 |     345      287     3932 |    12968    11332     38 |  0.001 % |
19.99/20.01	c |     17099 |     345      287     3932 |    14265    10570     43 |  0.001 % |
20.70/20.70	c |     25749 |     345      287     3932 |    15692    12042     46 |  0.001 % |
21.69/21.75	c |     38727 |     345      287     3932 |    17261     9217     47 |  0.001 % |
23.30/23.36	c |     58190 |     345      287     3932 |    18987    11310     48 |  0.001 % |
25.90/25.90	c |     87383 |     309      287     3932 |    20886     3257     41 | 10.436 % |
26.09/26.11	c ===============================================================================
26.50/26.53	c core #4
26.50/26.53	c ============================[ Search Statistics ]==============================
26.50/26.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
26.50/26.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
26.50/26.53	c ===============================================================================
26.50/26.53	c |         0 |     407      348     4835 |     5000        0    nan |  0.000 % |
26.50/26.54	c |       100 |     407      348     4835 |     5500      100     29 |  0.001 % |
26.50/26.55	c |       251 |     407      348     4835 |     6050      251     33 |  0.001 % |
26.50/26.56	c |       476 |     407      348     4835 |     6655      476     31 |  0.001 % |
26.50/26.57	c |       815 |     407      348     4835 |     7320      815     31 |  0.001 % |
26.50/26.58	c |      1321 |     407      348     4835 |     8052     1321     32 |  0.001 % |
26.59/26.60	c |      2081 |     407      348     4835 |     8857     2081     35 |  0.001 % |
26.59/26.65	c |      3220 |     407      348     4835 |     9743     3220     35 |  0.001 % |
26.70/26.72	c |      4928 |     407      348     4835 |    10717     4928     36 |  0.001 % |
26.79/26.83	c |      7490 |     407      348     4835 |    11789     7490     36 |  0.001 % |
26.99/27.04	c |     11334 |     407      348     4835 |    12968    11334     38 |  0.001 % |
27.39/27.42	c |     17101 |     407      348     4835 |    14265    10567     41 |  0.001 % |
27.99/28.00	c |     25754 |     407      348     4835 |    15692    12045     43 |  0.001 % |
28.89/28.99	c |     38729 |     407      348     4835 |    17261     9214     45 |  0.001 % |
30.39/30.49	c |     58193 |     407      348     4835 |    18987    11305     47 |  0.001 % |
33.00/33.03	c |     87391 |     407      348     4835 |    20886    11860     48 |  0.001 % |
33.89/33.92	c ===============================================================================
34.29/34.38	c core #5
34.29/34.38	c ============================[ Search Statistics ]==============================
34.29/34.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.29/34.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.29/34.38	c ===============================================================================
34.29/34.38	c |         0 |     463      408     5716 |     5000        0    nan |  0.000 % |
34.39/34.40	c |       100 |     463      408     5716 |     5500      100     29 |  0.000 % |
34.39/34.40	c |       251 |     463      408     5716 |     6050      251     30 |  0.000 % |
34.39/34.41	c |       478 |     463      408     5716 |     6655      478     30 |  0.000 % |
34.39/34.42	c |       815 |     463      408     5716 |     7320      815     29 |  0.000 % |
34.39/34.44	c |      1321 |     463      408     5716 |     8052     1321     29 |  0.000 % |
34.39/34.47	c |      2081 |     463      408     5716 |     8857     2081     29 |  0.000 % |
34.49/34.52	c |      3221 |     463      408     5716 |     9743     3221     32 |  0.000 % |
34.60/34.60	c |      4929 |     463      408     5716 |    10717     4929     33 |  0.000 % |
34.69/34.73	c |      7493 |     463      408     5716 |    11789     7493     36 |  0.000 % |
34.90/34.98	c |     11337 |     463      408     5716 |    12968    11337     37 |  0.000 % |
35.30/35.37	c |     17103 |     463      408     5716 |    14265    10572     39 |  0.000 % |
36.00/36.02	c |     25753 |     463      408     5716 |    15692    12044     42 |  0.000 % |
36.89/37.00	c |     38727 |     463      408     5716 |    17261     9239     42 |  0.000 % |
38.39/38.48	c |     58188 |     463      408     5716 |    18987    11334     47 |  0.000 % |
40.89/40.97	c |     87381 |     463      408     5716 |    20886    11885     49 |  0.000 % |
43.40/43.43	c ===============================================================================
43.89/44.00	c core #6
43.89/44.00	c ============================[ Search Statistics ]==============================
43.89/44.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
43.89/44.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
43.89/44.00	c ===============================================================================
43.89/44.00	c |         0 |     528      467     6612 |     5000        0    nan |  0.000 % |
44.00/44.01	c |       102 |     528      467     6612 |     5500      102     31 |  0.000 % |
44.00/44.02	c |       252 |     528      467     6612 |     6050      252     34 |  0.000 % |
44.00/44.03	c |       477 |     528      467     6612 |     6655      477     33 |  0.000 % |
44.00/44.04	c |       814 |     528      467     6612 |     7320      814     33 |  0.000 % |
44.00/44.06	c |      1320 |     528      467     6612 |     8052     1320     33 |  0.000 % |
44.00/44.08	c |      2080 |     528      467     6612 |     8857     2080     33 |  0.000 % |
44.10/44.13	c |      3219 |     528      467     6612 |     9743     3219     32 |  0.000 % |
44.19/44.21	c |      4927 |     528      467     6612 |    10717     4927     34 |  0.000 % |
44.29/44.35	c |      7489 |     528      467     6612 |    11789     7489     36 |  0.000 % |
44.49/44.59	c |     11334 |     528      467     6612 |    12968    11334     36 |  0.000 % |
44.99/45.04	c |     17100 |     528      467     6612 |    14265    10570     38 |  0.000 % |
45.60/45.61	c |     25750 |     528      467     6612 |    15692    12026     40 |  0.000 % |
46.49/46.56	c |     38725 |     528      467     6612 |    17261     9226     42 |  0.000 % |
47.99/48.07	c |     58186 |     528      467     6612 |    18987    11320     41 |  0.000 % |
50.19/50.23	c |     87378 |     528      467     6612 |    20886    11857     53 |  0.000 % |
53.00/53.08	c ===============================================================================
53.49/53.58	c core #7
53.49/53.58	c ============================[ Search Statistics ]==============================
53.49/53.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
53.49/53.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
53.49/53.58	c ===============================================================================
53.49/53.58	c |         0 |     587      528     7511 |     5000        0    nan |  0.000 % |
53.49/53.59	c |       101 |     587      528     7511 |     5500      101     39 |  0.000 % |
53.59/53.60	c |       255 |     587      528     7511 |     6050      255     35 |  0.000 % |
53.59/53.61	c |       480 |     587      528     7511 |     6655      480     36 |  0.000 % |
53.59/53.62	c |       818 |     587      528     7511 |     7320      818     36 |  0.000 % |
53.59/53.64	c |      1326 |     587      528     7511 |     8052     1326     36 |  0.000 % |
53.59/53.67	c |      2088 |     587      528     7511 |     8857     2088     38 |  0.000 % |
53.70/53.72	c |      3228 |     587      528     7511 |     9743     3228     38 |  0.000 % |
53.79/53.80	c |      4937 |     587      528     7511 |    10717     4937     39 |  0.000 % |
53.89/53.95	c |      7501 |     587      528     7511 |    11789     7501     40 |  0.000 % |
54.19/54.20	c |     11347 |     587      528     7511 |    12968    11347     39 |  0.000 % |
54.49/54.59	c |     17114 |     587      528     7511 |    14265    10583     39 |  0.000 % |
55.19/55.21	c |     25766 |     587      528     7511 |    15692    12048     42 |  0.000 % |
56.10/56.13	c |     38741 |     587      528     7511 |    17261     9198     42 |  0.000 % |
57.60/57.60	c |     58202 |     587      528     7511 |    18987    11304     43 |  0.000 % |
59.89/59.95	c |     87394 |     587      528     7511 |    20886    11856     46 |  0.000 % |
61.19/61.28	c ===============================================================================
61.69/61.77	c core #8
61.69/61.77	c ============================[ Search Statistics ]==============================
61.69/61.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
61.69/61.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
61.69/61.77	c ===============================================================================
61.69/61.77	c |         0 |     643      587     8389 |     5000        0    nan |  0.000 % |
61.69/61.79	c |       101 |     643      587     8389 |     5500      101     34 |  0.000 % |
61.69/61.79	c |       254 |     643      587     8389 |     6050      254     32 |  0.000 % |
61.79/61.80	c |       479 |     643      587     8389 |     6655      479     29 |  0.000 % |
61.79/61.81	c |       816 |     643      587     8389 |     7320      816     27 |  0.000 % |
61.79/61.83	c |      1322 |     643      587     8389 |     8052     1322     31 |  0.000 % |
61.79/61.86	c |      2083 |     643      587     8389 |     8857     2083     34 |  0.000 % |
61.89/61.90	c |      3222 |     643      587     8389 |     9743     3222     34 |  0.000 % |
61.89/61.99	c |      4932 |     643      587     8389 |    10717     4932     34 |  0.000 % |
62.09/62.13	c |      7496 |     643      587     8389 |    11789     7496     35 |  0.000 % |
62.39/62.40	c |     11341 |     643      587     8389 |    12968    11341     35 |  0.000 % |
62.69/62.75	c |     17107 |     643      587     8389 |    14265    10594     37 |  0.000 % |
63.30/63.33	c |     25756 |     643      587     8389 |    15692    12044     40 |  0.000 % |
64.20/64.26	c |     38731 |     643      587     8389 |    17261     9194     44 |  0.000 % |
65.59/65.69	c |     58192 |     643      587     8389 |    18987    11276     42 |  0.000 % |
67.89/67.90	c |     87384 |     643      587     8389 |    20886    11815     44 |  0.000 % |
69.79/69.85	c ===============================================================================
70.30/70.34	c core #9
70.30/70.34	c ============================[ Search Statistics ]==============================
70.30/70.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
70.30/70.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
70.30/70.34	c ===============================================================================
70.30/70.34	c |         0 |     704      646     9277 |     5000        0    nan |  0.000 % |
70.30/70.36	c |       101 |     704      646     9277 |     5500      101     36 |  0.000 % |
70.30/70.37	c |       251 |     704      646     9277 |     6050      251     37 |  0.000 % |
70.30/70.38	c |       476 |     704      646     9277 |     6655      476     37 |  0.000 % |
70.30/70.39	c |       816 |     704      646     9277 |     7320      816     39 |  0.000 % |
70.40/70.41	c |      1323 |     704      646     9277 |     8052     1323     38 |  0.000 % |
70.40/70.45	c |      2084 |     704      646     9277 |     8857     2084     38 |  0.000 % |
70.40/70.50	c |      3225 |     704      646     9277 |     9743     3225     37 |  0.000 % |
70.49/70.59	c |      4934 |     704      646     9277 |    10717     4934     37 |  0.000 % |
70.70/70.73	c |      7496 |     704      646     9277 |    11789     7496     38 |  0.000 % |
71.00/71.00	c |     11341 |     704      646     9277 |    12968    11341     39 |  0.000 % |
71.39/71.42	c |     17107 |     704      646     9277 |    14265    10562     42 |  0.000 % |
72.10/72.12	c |     25759 |     704      646     9277 |    15692    12038     42 |  0.000 % |
73.19/73.26	c |     38733 |     704      646     9277 |    17261     9207     47 |  0.000 % |
75.09/75.18	c |     58196 |     704      646     9277 |    18987    11284     47 |  0.000 % |
77.89/77.97	c |     87388 |     704      646     9277 |    20886    11822     48 |  0.000 % |
81.59/81.63	c ===============================================================================
82.19/82.29	c core #10
82.19/82.29	c ============================[ Search Statistics ]==============================
82.19/82.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
82.19/82.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
82.19/82.29	c ===============================================================================
82.19/82.29	c |         0 |     758      704    10138 |     5000        0    nan |  0.000 % |
82.29/82.31	c |       100 |     758      704    10138 |     5500      100     29 |  0.000 % |
82.29/82.31	c |       250 |     758      704    10138 |     6050      250     29 |  0.000 % |
82.29/82.32	c |       475 |     758      704    10138 |     6655      475     28 |  0.000 % |
82.29/82.33	c |       814 |     758      704    10138 |     7320      814     29 |  0.000 % |
82.29/82.35	c |      1320 |     758      704    10138 |     8052     1320     31 |  0.000 % |
82.29/82.38	c |      2081 |     758      704    10138 |     8857     2081     30 |  0.000 % |
82.39/82.44	c |      3220 |     758      704    10138 |     9743     3220     30 |  0.000 % |
82.50/82.52	c |      4928 |     758      704    10138 |    10717     4928     33 |  0.000 % |
82.60/82.67	c |      7491 |     758      704    10138 |    11789     7491     34 |  0.000 % |
82.90/82.95	c |     11335 |     758      704    10138 |    12968    11335     35 |  0.000 % |
83.29/83.35	c |     17101 |     758      704    10138 |    14265    10554     38 |  0.000 % |
84.00/84.01	c |     25753 |     758      704    10138 |    15692    12027     42 |  0.000 % |
84.99/85.05	c |     38727 |     758      704    10138 |    17261     9209     42 |  0.000 % |
86.49/86.58	c |     58191 |     758      704    10138 |    18987    11299     46 |  0.000 % |
89.10/89.19	c |     87387 |     758      704    10138 |    20886    11847     43 |  0.000 % |
92.50/92.56	c ===============================================================================
93.09/93.14	c core #11
93.09/93.14	c ============================[ Search Statistics ]==============================
93.09/93.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
93.09/93.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
93.09/93.14	c ===============================================================================
93.09/93.14	c |         0 |     831      762    11038 |     5000        0    nan |  0.000 % |
93.09/93.16	c |       100 |     831      762    11038 |     5500      100     30 |  0.000 % |
93.09/93.17	c |       252 |     831      762    11038 |     6050      252     39 |  0.000 % |
93.09/93.18	c |       477 |     831      762    11038 |     6655      477     34 |  0.000 % |
93.09/93.19	c |       815 |     831      762    11038 |     7320      815     37 |  0.000 % |
93.19/93.21	c |      1324 |     831      762    11038 |     8052     1324     38 |  0.000 % |
93.19/93.24	c |      2083 |     831      762    11038 |     8857     2083     37 |  0.000 % |
93.30/93.30	c |      3222 |     831      762    11038 |     9743     3222     36 |  0.000 % |
93.30/93.38	c |      4931 |     831      762    11038 |    10717     4931     35 |  0.000 % |
93.50/93.53	c |      7493 |     831      762    11038 |    11789     7493     36 |  0.000 % |
93.70/93.78	c |     11338 |     831      762    11038 |    12968    11338     36 |  0.000 % |
94.20/94.20	c |     17104 |     831      762    11038 |    14265    10574     36 |  0.000 % |
94.80/94.81	c |     25753 |     831      762    11038 |    15692    12036     39 |  0.000 % |
95.70/95.78	c |     38731 |     831      762    11038 |    17261     9230     42 |  0.000 % |
97.29/97.34	c |     58192 |     831      762    11038 |    18987    11348     41 |  0.000 % |
99.79/99.89	c |     87384 |     831      762    11038 |    20886    11910     46 |  0.000 % |
103.50/103.53	c ===============================================================================
104.10/104.16	c core #12
104.10/104.16	c ============================[ Search Statistics ]==============================
104.10/104.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
104.10/104.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
104.10/104.16	c ===============================================================================
104.10/104.16	c |         0 |     908      821    11961 |     5000        0    nan |  0.000 % |
104.10/104.18	c |       102 |     908      821    11961 |     5500      102     50 |  0.000 % |
104.10/104.19	c |       253 |     908      821    11961 |     6050      253     50 |  0.000 % |
104.19/104.20	c |       478 |     908      821    11961 |     6655      478     41 |  0.000 % |
104.19/104.21	c |       817 |     908      821    11961 |     7320      817     38 |  0.000 % |
104.19/104.23	c |      1323 |     908      821    11961 |     8052     1323     36 |  0.000 % |
104.19/104.27	c |      2082 |     908      821    11961 |     8857     2082     37 |  0.000 % |
104.29/104.32	c |      3227 |     908      821    11961 |     9743     3227     35 |  0.000 % |
104.40/104.42	c |      4935 |     908      821    11961 |    10717     4935     37 |  0.000 % |
104.50/104.58	c |      7498 |     908      821    11961 |    11789     7498     38 |  0.000 % |
104.79/104.86	c |     11343 |     908      821    11961 |    12968    11343     37 |  0.000 % |
105.30/105.31	c |     17109 |     908      821    11961 |    14265    10577     39 |  0.000 % |
105.89/105.98	c |     25758 |     908      821    11961 |    15692    12043     41 |  0.000 % |
107.00/107.01	c |     38733 |     908      821    11961 |    17261     9228     40 |  0.000 % |
108.49/108.53	c |     58197 |     908      821    11961 |    18987    11308     44 |  0.000 % |
111.00/111.01	c |     87391 |     908      821    11961 |    20886    11877     43 |  0.000 % |
115.00/115.04	c |    131180 |     867      821    11961 |    22974     1353     38 |  4.516 % |
116.09/116.15	c ===============================================================================
116.79/116.87	c core #13
116.79/116.87	c ============================[ Search Statistics ]==============================
116.79/116.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
116.79/116.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
116.79/116.87	c ===============================================================================
116.79/116.87	c |         0 |     988      881    12904 |     5000        0    nan |  0.000 % |
116.79/116.90	c |       100 |     988      881    12904 |     5500      100     40 |  0.000 % |
116.90/116.90	c |       251 |     988      881    12904 |     6050      251     42 |  0.000 % |
116.90/116.91	c |       477 |     988      881    12904 |     6655      477     38 |  0.000 % |
116.90/116.93	c |       814 |     988      881    12904 |     7320      814     37 |  0.000 % |
116.90/116.95	c |      1322 |     988      881    12904 |     8052     1322     36 |  0.000 % |
116.90/116.98	c |      2081 |     988      881    12904 |     8857     2081     38 |  0.000 % |
116.99/117.04	c |      3220 |     988      881    12904 |     9743     3220     38 |  0.000 % |
117.09/117.13	c |      4931 |     988      881    12904 |    10717     4931     37 |  0.000 % |
117.19/117.28	c |      7495 |     988      881    12904 |    11789     7495     38 |  0.000 % |
117.50/117.55	c |     11339 |     988      881    12904 |    12968    11339     39 |  0.000 % |
117.90/117.94	c |     17105 |     988      881    12904 |    14265    10565     39 |  0.000 % |
118.49/118.59	c |     25755 |     988      881    12904 |    15692    12034     41 |  0.000 % |
119.60/119.63	c |     38731 |     988      881    12904 |    17261     9205     43 |  0.000 % |
121.20/121.25	c |     58192 |     988      881    12904 |    18987    11300     44 |  0.000 % |
123.89/123.98	c |     87385 |     988      881    12904 |    20886    11875     44 |  0.000 % |
128.20/128.28	c |    131174 |     988      881    12904 |    22974    13670     50 |  0.000 % |
131.79/131.83	c ===============================================================================
132.59/132.69	c core #14
132.59/132.69	c ============================[ Search Statistics ]==============================
132.59/132.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
132.59/132.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
132.59/132.69	c ===============================================================================
132.59/132.69	c |         0 |    1042      936    13727 |     5000        0    nan |  0.000 % |
132.69/132.71	c |       100 |    1042      936    13727 |     5500      100     34 |  0.000 % |
132.69/132.72	c |       253 |    1042      936    13727 |     6050      253     38 |  0.000 % |
132.69/132.73	c |       478 |    1042      936    13727 |     6655      478     39 |  0.000 % |
132.69/132.75	c |       816 |    1042      936    13727 |     7320      816     37 |  0.000 % |
132.69/132.77	c |      1325 |    1042      936    13727 |     8052     1325     37 |  0.000 % |
132.80/132.80	c |      2084 |    1042      936    13727 |     8857     2084     36 |  0.000 % |
132.80/132.85	c |      3223 |    1042      936    13727 |     9743     3223     36 |  0.000 % |
132.89/132.95	c |      4932 |    1042      936    13727 |    10717     4932     37 |  0.000 % |
133.00/133.10	c |      7494 |    1042      936    13727 |    11789     7494     37 |  0.000 % |
133.29/133.39	c |     11338 |    1042      936    13727 |    12968    11338     38 |  0.000 % |
133.69/133.79	c |     17106 |    1042      936    13727 |    14265    10572     38 |  0.000 % |
134.39/134.47	c |     25755 |    1042      936    13727 |    15692    12040     43 |  0.000 % |
135.49/135.55	c |     38729 |    1042      936    13727 |    17261     9205     44 |  0.000 % |
137.09/137.15	c |     58190 |    1042      936    13727 |    18987    11277     46 |  0.000 % |
139.89/139.90	c |     87382 |    1042      936    13727 |    20886    11836     44 |  0.000 % |
143.90/143.97	c |    131172 |    1042      936    13727 |    22974    13667     45 |  0.000 % |
150.00/150.01	c ===============================================================================
151.00/151.03	c core #15
151.00/151.03	c ============================[ Search Statistics ]==============================
151.00/151.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
151.00/151.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
151.00/151.03	c ===============================================================================
151.00/151.03	c |         0 |    1161      997    14767 |     5000        0    nan |  0.000 % |
151.00/151.06	c |       100 |    1161      997    14767 |     5500      100     33 |  0.000 % |
151.00/151.07	c |       251 |    1161      997    14767 |     6050      251     34 |  0.000 % |
151.00/151.08	c |       477 |    1161      997    14767 |     6655      477     33 |  0.000 % |
151.00/151.09	c |       815 |    1161      997    14767 |     7320      815     34 |  0.000 % |
151.09/151.11	c |      1324 |    1161      997    14767 |     8052     1324     32 |  0.000 % |
151.09/151.15	c |      2084 |    1161      997    14767 |     8857     2084     33 |  0.000 % |
151.20/151.20	c |      3223 |    1161      997    14767 |     9743     3223     32 |  0.000 % |
151.20/151.29	c |      4932 |    1161      997    14767 |    10717     4932     33 |  0.000 % |
151.40/151.44	c |      7496 |    1161      997    14767 |    11789     7496     34 |  0.000 % |
151.59/151.69	c |     11340 |    1161      997    14767 |    12968    11340     34 |  0.000 % |
152.09/152.12	c |     17108 |    1161      997    14767 |    14265    10561     37 |  0.000 % |
152.79/152.81	c |     25759 |    1161      997    14767 |    15692    12019     42 |  0.000 % |
153.89/153.93	c |     38735 |    1161      997    14767 |    17261     9204     42 |  0.000 % |
155.40/155.44	c |     58196 |    1161      997    14767 |    18987    11315     41 |  0.000 % |
157.99/158.00	c |     87388 |    1161      997    14767 |    20886    11885     45 |  0.000 % |
162.10/162.12	c |    131177 |    1161      997    14767 |    22974    13683     43 |  0.000 % |
166.79/166.82	c ===============================================================================
167.70/167.75	c core #16
167.70/167.75	c ============================[ Search Statistics ]==============================
167.70/167.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
167.70/167.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
167.70/167.75	c ===============================================================================
167.70/167.75	c |         0 |    1266     1055    15746 |     5000        0    nan |  0.000 % |
167.70/167.77	c |       100 |    1266     1055    15746 |     5500      100     47 |  0.000 % |
167.70/167.78	c |       252 |    1266     1055    15746 |     6050      252     43 |  0.000 % |
167.70/167.79	c |       478 |    1266     1055    15746 |     6655      478     39 |  0.000 % |
167.80/167.81	c |       817 |    1266     1055    15746 |     7320      817     35 |  0.000 % |
167.80/167.83	c |      1326 |    1266     1055    15746 |     8052     1326     33 |  0.000 % |
167.80/167.86	c |      2085 |    1266     1055    15746 |     8857     2085     32 |  0.000 % |
167.89/167.92	c |      3226 |    1266     1055    15746 |     9743     3226     32 |  0.000 % |
168.00/168.01	c |      4936 |    1266     1055    15746 |    10717     4936     33 |  0.000 % |
168.09/168.18	c |      7498 |    1266     1055    15746 |    11789     7498     34 |  0.000 % |
168.40/168.44	c |     11344 |    1266     1055    15746 |    12968    11344     35 |  0.000 % |
168.80/168.87	c |     17110 |    1266     1055    15746 |    14265    10569     38 |  0.000 % |
169.50/169.54	c |     25759 |    1266     1055    15746 |    15692    12056     41 |  0.000 % |
170.70/170.70	c |     38735 |    1266     1055    15746 |    17261     9233     44 |  0.000 % |
172.40/172.48	c |     58197 |    1266     1055    15746 |    18987    11324     42 |  0.000 % |
175.20/175.23	c |     87390 |    1266     1055    15746 |    20886    11864     47 |  0.000 % |
179.30/179.33	c |    131179 |    1266     1055    15746 |    22974    13657     47 |  0.002 % |
183.20/183.25	c ===============================================================================
184.10/184.18	c core #17
184.10/184.18	c ============================[ Search Statistics ]==============================
184.10/184.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.10/184.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.10/184.18	c ===============================================================================
184.10/184.18	c |         0 |    1367     1113    16689 |     5000        0    nan |  0.000 % |
184.20/184.20	c |       100 |    1367     1113    16689 |     5500      100     36 |  0.000 % |
184.20/184.21	c |       251 |    1367     1113    16689 |     6050      251     38 |  0.000 % |
184.20/184.22	c |       478 |    1367     1113    16689 |     6655      478     33 |  0.000 % |
184.20/184.24	c |       817 |    1367     1113    16689 |     7320      817     31 |  0.000 % |
184.20/184.26	c |      1323 |    1367     1113    16689 |     8052     1323     29 |  0.000 % |
184.20/184.29	c |      2082 |    1367     1113    16689 |     8857     2082     30 |  0.000 % |
184.29/184.35	c |      3224 |    1367     1113    16689 |     9743     3224     30 |  0.000 % |
184.40/184.44	c |      4932 |    1367     1113    16689 |    10717     4932     32 |  0.000 % |
184.60/184.60	c |      7494 |    1367     1113    16689 |    11789     7494     34 |  0.000 % |
184.80/184.89	c |     11340 |    1367     1113    16689 |    12968    11340     37 |  0.000 % |
185.19/185.29	c |     17109 |    1367     1113    16689 |    14265    10563     41 |  0.000 % |
185.90/185.97	c |     25758 |    1367     1113    16689 |    15692    12042     41 |  0.000 % |
187.00/187.01	c |     38732 |    1367     1113    16689 |    17261     9191     44 |  0.000 % |
188.60/188.62	c |     58194 |    1367     1113    16689 |    18987    11288     43 |  0.000 % |
191.30/191.32	c |     87390 |    1367     1113    16689 |    20886    11819     47 |  0.000 % |
195.69/195.76	c |    131179 |    1367     1113    16689 |    22974    13626     47 |  0.000 % |
202.10/202.10	c |    196864 |    1367     1113    16689 |    25272    21509     49 |  0.002 % |
206.19/206.29	c ===============================================================================
207.40/207.48	c core #18
207.40/207.48	c ============================[ Search Statistics ]==============================
207.40/207.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
207.40/207.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
207.40/207.48	c ===============================================================================
207.40/207.48	c |         0 |    1451     1166    17549 |     5000        0    nan |  0.000 % |
207.50/207.52	c |       101 |    1451     1166    17549 |     5500      101     36 |  0.000 % |
207.50/207.53	c |       251 |    1451     1166    17549 |     6050      251     33 |  0.000 % |
207.50/207.54	c |       476 |    1451     1166    17549 |     6655      476     33 |  0.000 % |
207.50/207.55	c |       814 |    1451     1166    17549 |     7320      814     33 |  0.000 % |
207.50/207.58	c |      1320 |    1451     1166    17549 |     8052     1320     35 |  0.000 % |
207.60/207.61	c |      2079 |    1451     1166    17549 |     8857     2079     35 |  0.000 % |
207.60/207.66	c |      3218 |    1451     1166    17549 |     9743     3218     34 |  0.000 % |
207.70/207.76	c |      4927 |    1451     1166    17549 |    10717     4927     34 |  0.000 % |
207.90/207.92	c |      7491 |    1451     1166    17549 |    11789     7491     35 |  0.000 % |
208.20/208.20	c |     11335 |    1451     1166    17549 |    12968    11335     37 |  0.000 % |
208.60/208.64	c |     17103 |    1451     1166    17549 |    14265    10577     39 |  0.000 % |
209.30/209.37	c |     25752 |    1451     1166    17549 |    15692    12042     39 |  0.000 % |
210.39/210.40	c |     38730 |    1451     1166    17549 |    17261     9227     43 |  0.000 % |
212.09/212.11	c |     58193 |    1451     1166    17549 |    18987    11317     46 |  0.000 % |
214.80/214.83	c |     87385 |    1451     1166    17549 |    20886    11877     46 |  0.000 % |
219.40/219.40	c |    131174 |    1451     1166    17549 |    22974    13698     43 |  0.000 % |
226.90/226.96	c |    196860 |    1451     1166    17549 |    25272    20518     56 |  0.002 % |
243.40/243.48	c |    295388 |    1451     1166    17549 |    27799    22856     46 |  0.000 % |
244.80/244.88	c ===============================================================================
246.29/246.39	c core #19
246.29/246.39	c ============================[ Search Statistics ]==============================
246.29/246.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
246.29/246.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
246.29/246.39	c ===============================================================================
246.29/246.39	c |         0 |    1614     1221    18589 |     5000        0    nan |  0.000 % |
246.41/246.44	c |       102 |    1614     1221    18589 |     5500      102     62 |  0.000 % |
246.41/246.45	c |       253 |    1614     1221    18589 |     6050      253     57 |  0.000 % |
246.41/246.46	c |       478 |    1614     1221    18589 |     6655      478     48 |  0.000 % |
246.41/246.47	c |       816 |    1614     1221    18589 |     7320      816     40 |  0.000 % |
246.41/246.49	c |      1322 |    1614     1221    18589 |     8052     1322     37 |  0.000 % |
246.50/246.53	c |      2081 |    1614     1221    18589 |     8857     2081     35 |  0.000 % |
246.50/246.59	c |      3221 |    1614     1221    18589 |     9743     3221     35 |  0.000 % |
246.60/246.69	c |      4929 |    1614     1221    18589 |    10717     4929     36 |  0.000 % |
246.80/246.85	c |      7492 |    1614     1221    18589 |    11789     7492     35 |  0.000 % |
247.10/247.14	c |     11339 |    1614     1221    18589 |    12968    11339     38 |  0.000 % |
247.50/247.59	c |     17105 |    1614     1221    18589 |    14265    10560     40 |  0.000 % |
248.19/248.28	c |     25754 |    1614     1221    18589 |    15692    12027     40 |  0.000 % |
249.40/249.48	c |     38729 |    1614     1221    18589 |    17261     9210     38 |  0.000 % |
251.19/251.21	c |     58190 |    1614     1221    18589 |    18987    11312     42 |  0.000 % |
253.79/253.87	c |     87382 |    1614     1221    18589 |    20886    11862     45 |  0.000 % |
258.00/258.03	c |    131174 |    1614     1221    18589 |    22974    13678     44 |  0.000 % |
264.40/264.46	c |    196861 |    1573     1221    18589 |    25272     1217     34 |  2.540 % |
266.80/266.84	c ===============================================================================
266.80/266.84	c #cores: 19
266.80/266.84	c Final Weight: 24
266.80/266.84	o 24
266.80/266.84	s OPTIMUM FOUND
266.80/266.84	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
266.80/266.84	c Total CPU time: 260.388 s

Verifier Data 

OK	24

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689978-1277900127/watcher-2689978-1277900127 -o /tmp/evaluation-result-2689978-1277900127/solver-2689978-1277900127 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689978-1277900127.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: 1.85 1.97 1.99 3/178 23769
/proc/meminfo: memFree=31328896/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=2568 CPUtime=0
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 286 0 0 0 0 0 0 0 21 0 1 0 163652249 2629632 201 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 642 201 143 303 0 337 0

[startup+0.10433 s]
/proc/loadavg: 1.85 1.97 1.99 3/178 23769
/proc/meminfo: memFree=31328896/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=3492 CPUtime=0.1
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 532 0 0 0 9 1 0 0 21 0 1 0 163652249 3575808 447 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 873 447 143 303 0 568 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3492

[startup+0.200339 s]
/proc/loadavg: 1.85 1.97 1.99 3/178 23769
/proc/meminfo: memFree=31328896/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=4284 CPUtime=0.19
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 724 0 0 0 18 1 0 0 21 0 1 0 163652249 4386816 639 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 1071 639 143 303 0 766 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4284

[startup+0.300298 s]
/proc/loadavg: 1.85 1.97 1.99 3/178 23769
/proc/meminfo: memFree=31328896/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=4944 CPUtime=0.29
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 896 0 0 0 27 2 0 0 21 0 1 0 163652249 5062656 811 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 1236 811 143 303 0 931 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4944

[startup+0.700237 s]
/proc/loadavg: 1.85 1.97 1.99 3/178 23769
/proc/meminfo: memFree=31328896/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=7200 CPUtime=0.69
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 1451 0 0 0 66 3 0 0 22 0 1 0 163652249 7372800 1366 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 1800 1366 143 303 0 1495 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7200

[startup+1.5011 s]
/proc/loadavg: 1.85 1.97 1.99 3/179 23770
/proc/meminfo: memFree=31322192/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=11160 CPUtime=1.49
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 2439 0 0 0 142 7 0 0 25 0 1 0 163652249 11427840 2354 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 2790 2354 143 303 0 2485 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11160

[startup+3.10081 s]
/proc/loadavg: 1.85 1.97 1.99 3/179 23770
/proc/meminfo: memFree=31316364/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=19480 CPUtime=3.09
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 4513 0 0 0 297 12 0 0 25 0 1 0 163652249 19947520 4428 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 4870 4428 143 303 0 4565 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19480

[startup+6.30025 s]
/proc/loadavg: 1.86 1.97 1.99 3/179 23771
/proc/meminfo: memFree=31302972/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=28412 CPUtime=6.3
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 6760 0 0 0 607 23 0 0 18 0 1 0 163652249 29093888 6675 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 7103 6675 146 303 0 6798 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 28412

[startup+12.7001 s]
/proc/loadavg: 1.87 1.97 1.99 3/179 23771
/proc/meminfo: memFree=31287096/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=45284 CPUtime=12.69
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 10973 0 0 0 1225 44 0 0 25 0 1 0 163652249 46370816 10888 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 11321 10888 146 303 0 11016 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45284

[startup+25.5009 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 23772
/proc/meminfo: memFree=31253804/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=80280 CPUtime=25.49
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 19723 0 0 0 2470 79 0 0 25 0 1 0 163652249 82206720 19638 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 20070 19638 146 303 0 19765 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 80280

[startup+51.1004 s]
/proc/loadavg: 1.93 1.97 1.99 3/179 23772
/proc/meminfo: memFree=31189736/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=144892 CPUtime=51.09
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 35867 0 0 0 4963 146 0 0 25 0 1 0 163652249 148369408 35782 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 36223 35782 146 303 0 35918 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 144892

[startup+102.3 s]
/proc/loadavg: 1.97 1.97 1.99 3/179 23774
/proc/meminfo: memFree=31061476/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=270996 CPUtime=102.3
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 67389 0 0 0 9946 284 0 0 25 0 1 0 163652249 277499904 67304 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 67749 67304 146 303 0 67444 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 270996

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 23775
/proc/meminfo: memFree=30928996/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=404796 CPUtime=162.29
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 100852 0 0 0 15798 431 0 0 25 0 1 0 163652249 414511104 100767 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 101199 100767 146 303 0 100894 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 404796

[startup+222.306 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 23776
/proc/meminfo: memFree=30792800/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=539172 CPUtime=222.3
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 134433 0 0 0 21665 565 0 0 25 0 1 0 163652249 552112128 134348 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 134793 134348 146 303 0 134488 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 539172

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

[startup+230.401 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 23777
/proc/meminfo: memFree=30770092/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=563224 CPUtime=230.39
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 140460 0 0 0 22457 582 0 0 25 0 1 0 163652249 576741376 140375 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 140806 140375 146 303 0 140501 0
Current children cumulated CPU time (s) 230.39
Current children cumulated vsize (KiB) 563224

[startup+243.207 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 23777
/proc/meminfo: memFree=30743796/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=588252 CPUtime=243.21
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 146700 0 0 0 23726 595 0 0 25 0 1 0 163652249 602370048 146615 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 147063 146615 146 303 0 146758 0
Current children cumulated CPU time (s) 243.21
Current children cumulated vsize (KiB) 588252

[startup+256 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 23778
/proc/meminfo: memFree=30728412/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=603060 CPUtime=255.99
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 150431 0 0 0 24976 623 0 0 25 0 1 0 163652249 617533440 150318 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 150765 150318 146 303 0 150460 0
Current children cumulated CPU time (s) 255.99
Current children cumulated vsize (KiB) 603060

[startup+262.4 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 23778
/proc/meminfo: memFree=30717992/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=614692 CPUtime=262.4
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 153354 0 0 0 25602 638 0 0 25 0 1 0 163652249 629444608 153241 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 153673 153241 146 303 0 153368 0
Current children cumulated CPU time (s) 262.4
Current children cumulated vsize (KiB) 614692

[startup+264.001 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 23778
/proc/meminfo: memFree=30713384/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=618124 CPUtime=264
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 154203 0 0 0 25759 641 0 0 25 0 1 0 163652249 632958976 154090 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 154531 154090 146 303 0 154226 0
Current children cumulated CPU time (s) 264
Current children cumulated vsize (KiB) 618124

[startup+265.601 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 23778
/proc/meminfo: memFree=30710284/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=622744 CPUtime=265.6
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 155352 0 0 0 25915 645 0 0 25 0 1 0 163652249 637689856 155239 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 155686 155239 146 303 0 155381 0
Current children cumulated CPU time (s) 265.6
Current children cumulated vsize (KiB) 622744

[startup+266.401 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 23778
/proc/meminfo: memFree=30707060/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=624728 CPUtime=266.4
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 155869 0 0 0 25994 646 0 0 25 0 1 0 163652249 639721472 155756 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 156182 155756 146 303 0 155877 0
Current children cumulated CPU time (s) 266.4
Current children cumulated vsize (KiB) 624728

[startup+266.8 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 23778
/proc/meminfo: memFree=30707060/32951124 swapFree=67111528/67111528
[pid=23769] ppid=23767 vsize=625396 CPUtime=266.8
/proc/23769/stat : 23769 (wbo1.4a) R 23767 23769 23744 0 -1 4202496 156037 0 0 0 26034 646 0 0 25 0 1 0 163652249 640405504 155924 4089446400 134512640 135751879 4291122272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23769/statm: 156349 155924 146 303 0 156044 0
Current children cumulated CPU time (s) 266.8
Current children cumulated vsize (KiB) 625396

Child status: 0
Real time (s): 266.867
CPU time (s): 266.873
CPU user time (s): 260.388
CPU system time (s): 6.48501
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 625396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 260.388
system time used= 6.48501
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156061
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 190

runsolver used 0.38894 second user time and 0.85387 second system time

The end

Launcher Data 

Begin job on node119 at 2010-06-30 14:15:27
IDJOB=2689978
IDBENCH=78876
IDSOLVER=1200
FILE ID=node119/2689978-1277900127
PBS_JOBID= 11197232
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= 38c8dd1463da5f11da3559d57124aa5b
RANDOM SEED=1936324165

node119.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.802
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.60
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.802
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.802
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.75
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.802
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.75
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.802
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.73
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.802
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.802
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.802
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31329672 kB
Buffers:        184276 kB
Cached:         953508 kB
SwapCached:          0 kB
Active:         855312 kB
Inactive:       623680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31329672 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2848 kB
Writeback:           0 kB
AnonPages:      341256 kB
Mapped:          16128 kB
Slab:            78432 kB
PageTables:       4804 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   487584 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 node119 at 2010-06-30 14:19:54