Trace number 2680727

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.05 1800.53

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_13.opb
MD5SUMe41be903cf92c8332743e4188dbf4c82
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark127
Best CPU time to get the best result obtained on this benchmark1800.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 123
Optimality of the best value was proved NO
Number of variables2467
Total number of constraints4745
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4744
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 78
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 205
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1391
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680727-1277458859.opb.
0.00/0.00	c Instance file HOME/instance-2680727-1277458859.opb
0.00/0.00	c File size is 1069478 bytes.
0.19/0.22	c Highest Coefficient sum: 1391
0.19/0.22	c ============================[ Problem Statistics ]=============================
0.19/0.22	c |                                                                             |
0.19/0.22	c |  Parsing time:          0.21         s                                      |
0.19/0.22	c |  Number Variables:      2467                                                |
0.19/0.22	c |  Number Clauses:        1                                                   |
0.19/0.22	c |  Number Cardinality:    0                                                   |
0.19/0.22	c |  Number PB Constraints: 4744                                                |
0.19/0.22	c ============================[ Search Statistics ]==============================
0.19/0.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.22	c ===============================================================================
0.19/0.22	c |         0 |    2466     4745   134917 |     5000        0    nan |  0.000 % |
0.49/0.59	c |       100 |    2466     4745   134917 |     5500      100     29 |  0.041 % |
0.89/0.94	c |       250 |    2466     4745   134917 |     6050      250     33 |  0.041 % |
1.29/1.34	c |       475 |    2466     4745   134917 |     6655      475     34 |  0.041 % |
1.79/1.84	c |       813 |    2466     4745   134917 |     7320      813     34 |  0.041 % |
2.39/2.48	c |      1319 |    2466     4745   134917 |     8052     1319     32 |  0.041 % |
2.99/3.07	c ===============================================================================
2.99/3.07	c New solution: 165
2.99/3.07	o 165
2.99/3.07	c Elapsed CPU time: 3.05553 s	Remaining CPU time: 176.944 s
2.99/3.07	c ===============================================================================
2.99/3.07	c |      1654 |    2466     4746   134925 |     5000     1654     32 |  0.041 % |
3.19/3.24	c |      1754 |    2466     4746   134925 |     5500     1754     32 |  0.041 % |
3.39/3.47	c |      1905 |    2466     4746   134925 |     6050     1905     32 |  0.041 % |
4.09/4.12	c |      2130 |    2466     4746   134925 |     6655     2130     32 |  0.041 % |
4.69/4.73	c |      2468 |    2466     4746   134925 |     7320     2468     32 |  0.041 % |
5.49/5.53	c |      2974 |    2466     4746   134925 |     8052     2974     32 |  0.041 % |
6.69/6.75	c |      3734 |    2466     4746   134925 |     8857     3734     32 |  0.041 % |
8.28/8.37	c |      4873 |    2466     4746   134925 |     9743     4873     32 |  0.041 % |
11.19/11.27	c |      6581 |    2466     4746   134925 |    10717     6581     32 |  0.041 % |
17.38/17.44	c |      9143 |    2466     4746   134925 |    11789     9143     33 |  0.041 % |
18.39/18.43	c ===============================================================================
18.39/18.43	c New solution: 160
18.39/18.43	o 160
18.39/18.43	c Elapsed CPU time: 18.3542 s	Remaining CPU time: 161.646 s
18.39/18.43	c ===============================================================================
18.39/18.43	c |      9547 |    2466     4747   134933 |     5000     9547     33 |  0.041 % |
18.59/18.61	c |      9647 |    2466     4747   134933 |     5500     4874     33 |  0.041 % |
18.79/18.82	c |      9797 |    2466     4747   134933 |     6050     5024     33 |  0.041 % |
18.99/19.09	c |     10024 |    2466     4747   134933 |     6655     5251     33 |  0.041 % |
19.69/19.70	c |     10361 |    2466     4747   134933 |     7320     5588     34 |  0.041 % |
20.69/20.70	c |     10869 |    2466     4747   134933 |     8052     6096     33 |  0.041 % |
21.69/21.79	c |     11628 |    2466     4747   134933 |     8857     6855     33 |  0.041 % |
23.68/23.78	c |     12767 |    2466     4747   134933 |     9743     7994     33 |  0.041 % |
26.78/26.89	c |     14476 |    2466     4747   134933 |    10717     9703     33 |  0.041 % |
31.48/31.51	c |     17042 |    2466     4747   134933 |    11789     6699     33 |  0.041 % |
38.18/38.26	c |     20886 |    2466     4747   134933 |    12968    10543     33 |  0.041 % |
50.37/50.44	c |     26653 |    2466     4747   134933 |    14265     9372     36 |  0.041 % |
55.08/55.19	c ===============================================================================
55.08/55.19	c New solution: 158
55.08/55.19	o 158
55.08/55.19	c Elapsed CPU time: 55.0056 s	Remaining CPU time: 124.994 s
55.08/55.19	c ===============================================================================
55.08/55.19	c |     29638 |    2466     4748   134941 |     5000    12357     35 |  0.041 % |
55.48/55.52	c |     29743 |    2466     4748   134941 |     5500     3195     30 |  0.041 % |
55.68/55.73	c |     29894 |    2466     4748   134941 |     6050     3346     30 |  0.041 % |
55.98/56.09	c |     30120 |    2466     4748   134941 |     6655     3572     30 |  0.041 % |
56.48/56.56	c |     30457 |    2466     4748   134941 |     7320     3909     30 |  0.041 % |
57.19/57.26	c |     30964 |    2466     4748   134941 |     8052     4416     30 |  0.041 % |
58.57/58.66	c |     31723 |    2466     4748   134941 |     8857     5175     31 |  0.041 % |
59.57/59.67	c ===============================================================================
59.57/59.67	c New solution: 143
59.57/59.67	o 143
59.57/59.67	c Elapsed CPU time: 59.466 s	Remaining CPU time: 120.534 s
59.57/59.67	c ===============================================================================
59.57/59.67	c |     32362 |    2465     4749   134949 |     5000     5813     32 |  0.041 % |
59.97/60.03	c |     32462 |    2465     4749   134949 |     5500     3007     33 |  0.081 % |
60.38/60.48	c |     32612 |    2465     4749   134949 |     6050     3157     33 |  0.081 % |
60.78/60.81	c |     32841 |    2465     4749   134949 |     6655     3386     33 |  0.081 % |
61.28/61.38	c |     33181 |    2465     4749   134949 |     7320     3726     33 |  0.081 % |
62.27/62.30	c |     33689 |    2465     4749   134949 |     8052     4234     34 |  0.081 % |
63.58/63.67	c |     34450 |    2465     4749   134949 |     8857     4995     34 |  0.081 % |
65.68/65.71	c |     35589 |    2465     4749   134949 |     9743     6134     34 |  0.081 % |
68.67/68.72	c |     37297 |    2465     4749   134949 |    10717     7842     33 |  0.081 % |
73.67/73.71	c |     39861 |    2465     4749   134949 |    11789    10406     35 |  0.081 % |
79.27/79.36	c |     43706 |    2465     4749   134949 |    12968     8035     33 |  0.081 % |
89.87/89.91	c ===============================================================================
89.87/89.91	c New solution: 139
89.87/89.91	o 139
89.87/89.91	c Elapsed CPU time: 89.6114 s	Remaining CPU time: 90.3886 s
89.87/89.91	c ===============================================================================
89.87/89.91	c |     49152 |    2465     4750   134957 |     5000    13481     38 |  0.081 % |
90.07/90.16	c |     49253 |    2463     4750   134957 |     5500     3437     48 |  0.162 % |
90.36/90.42	c |     49403 |    2463     4750   134957 |     6050     3587     47 |  0.162 % |
90.66/90.70	c |     49629 |    2463     4750   134957 |     6655     3813     46 |  0.162 % |
91.17/91.25	c |     49968 |    2463     4750   134957 |     7320     4152     45 |  0.162 % |
92.27/92.39	c |     50474 |    2463     4750   134957 |     8052     4658     43 |  0.162 % |
93.67/93.70	c |     51234 |    2463     4750   134957 |     8857     5418     42 |  0.162 % |
95.77/95.83	c |     52373 |    2463     4750   134957 |     9743     6557     41 |  0.162 % |
98.36/98.43	c |     54081 |    2463     4750   134957 |    10717     8265     39 |  0.162 % |
103.16/103.25	c |     56643 |    2462     4750   134957 |    11789    10826     40 |  0.203 % |
109.26/109.31	c |     60488 |    2462     4750   134957 |    12968     8676     36 |  0.203 % |
118.77/118.87	c |     66254 |    2462     4750   134957 |    14265     7825     37 |  0.203 % |
134.35/134.46	c |     74906 |    2462     4750   134957 |    15692     9168     32 |  0.203 % |
163.95/164.07	c |     87880 |    2462     4750   134957 |    17261    14007     45 |  0.203 % |
180.44/180.58	c There are 5 assigned variables. 2 in cost function.
180.64/180.73	c ============================[ Search Statistics ]==============================
180.64/180.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.64/180.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.64/180.73	c ===============================================================================
180.64/180.73	c |         0 |    2410     4758   129246 |     5000        0    nan |  0.000 % |
180.94/181.01	c |       100 |    2410     4758   129246 |     5500      100     26 |  2.311 % |
181.24/181.30	c |       251 |    2410     4758   129246 |     6050      251     32 |  2.311 % |
181.84/181.91	c |       476 |    2410     4758   129246 |     6655      476     29 |  2.311 % |
182.34/182.45	c |       814 |    2410     4758   129246 |     7320      814     30 |  2.311 % |
183.14/183.28	c |      1321 |    2408     4758   129246 |     8052     1318     32 |  2.392 % |
184.44/184.57	c |      2080 |    2408     4758   129246 |     8857     2077     31 |  2.392 % |
185.94/186.03	c |      3220 |    2408     4758   129246 |     9743     3217     31 |  2.392 % |
189.44/189.57	c |      4928 |    2405     4758   129246 |    10717     4922     31 |  2.513 % |
193.64/193.70	c |      7491 |    2405     4758   129246 |    11789     7481     31 |  2.513 % |
199.94/200.00	c |     11336 |    2405     4758   129246 |    12968    11326     31 |  2.513 % |
212.34/212.40	c |     17102 |    2405     4758   129246 |    14265    10492     32 |  2.513 % |
226.33/226.43	c |     25751 |    2405     4758   129246 |    15692    11904     32 |  2.513 % |
251.02/251.16	c |     38726 |    2405     4758   129246 |    17261     8617     35 |  2.513 % |
289.12/289.27	c |     58188 |    2405     4758   129246 |    18987    10291     35 |  2.513 % |
351.20/351.33	c |     87381 |    2405     4758   129246 |    20886    19448     34 |  2.513 % |
436.97/437.13	c |    131171 |    2405     4758   129246 |    22974    19273     31 |  2.513 % |
564.84/565.08	c |    196856 |    2405     4758   129246 |    25272    12968     33 |  2.513 % |
757.79/758.09	c |    295382 |    2405     4758   129246 |    27799    13730     31 |  2.513 % |
1050.13/1050.43	c |    443171 |    2405     4758   129246 |    30579    13847     34 |  2.513 % |
1579.87/1580.33	c |    664854 |    2405     4758   129246 |    33637    29656     32 |  2.513 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680727-1277458859/watcher-2680727-1277458859 -o /tmp/evaluation-result-2680727-1277458859/solver-2680727-1277458859 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680727-1277458859.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29326
/proc/meminfo: memFree=1636124/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=3616 CPUtime=0
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 278 0 0 0 0 0 0 0 23 0 1 0 87178848 3702784 197 1992294400 134512640 135752675 4287467760 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 904 197 136 303 0 337 0

[startup+0.0871811 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29326
/proc/meminfo: memFree=1636124/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=5200 CPUtime=0.08
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 763 0 0 0 8 0 0 0 23 0 1 0 87178848 5324800 682 1992294400 134512640 135752675 4287467760 18446744073709551615 135197163 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 1300 682 230 303 0 733 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5200

[startup+0.101182 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29326
/proc/meminfo: memFree=1636124/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=5464 CPUtime=0.09
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 863 0 0 0 9 0 0 0 24 0 1 0 87178848 5595136 782 1992294400 134512640 135752675 4287467760 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 1366 782 247 303 0 799 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5464

[startup+0.301201 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29326
/proc/meminfo: memFree=1636124/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=7028 CPUtime=0.29
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 1725 0 0 0 29 0 0 0 25 0 1 0 87178848 7196672 1333 1992294400 134512640 135752675 4287467760 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 1757 1333 144 303 0 1452 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7028

[startup+0.70124 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29326
/proc/meminfo: memFree=1636124/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=7028 CPUtime=0.69
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 1726 0 0 0 69 0 0 0 25 0 1 0 87178848 7196672 1334 1992294400 134512640 135752675 4287467760 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 1757 1334 145 303 0 1452 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7028

[startup+1.50132 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29327
/proc/meminfo: memFree=1631032/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=7160 CPUtime=1.49
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 1729 0 0 0 148 1 0 0 25 0 1 0 87178848 7331840 1337 1992294400 134512640 135752675 4287467760 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 1790 1337 145 303 0 1485 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7160

[startup+3.10148 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29329
/proc/meminfo: memFree=1630784/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=7424 CPUtime=3.09
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 1793 0 0 0 308 1 0 0 25 0 1 0 87178848 7602176 1401 1992294400 134512640 135752675 4287467760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 1856 1401 145 303 0 1551 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7424

[startup+6.30179 s]
/proc/loadavg: 1.16 1.03 1.01 2/107 29329
/proc/meminfo: memFree=1630164/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=7820 CPUtime=6.29
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 1894 0 0 0 626 3 0 0 25 0 1 0 87178848 8007680 1502 1992294400 134512640 135752675 4287467760 18446744073709551615 134518834 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 1955 1502 145 303 0 1650 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7820

[startup+12.7014 s]
/proc/loadavg: 1.15 1.03 1.01 2/107 29329
/proc/meminfo: memFree=1629172/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=8612 CPUtime=12.69
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 2106 0 0 0 1264 5 0 0 25 0 1 0 87178848 8818688 1714 1992294400 134512640 135752675 4287467760 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 2153 1714 145 303 0 1848 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8612

[startup+25.5007 s]
/proc/loadavg: 1.18 1.05 1.01 2/107 29329
/proc/meminfo: memFree=1627684/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=10064 CPUtime=25.48
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 2476 0 0 0 2539 9 0 0 25 0 1 0 87178848 10305536 2084 1992294400 134512640 135752675 4287467760 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 2516 2084 145 303 0 2211 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10064

[startup+51.1012 s]
/proc/loadavg: 1.12 1.04 1.01 2/107 29329
/proc/meminfo: memFree=1624832/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=13100 CPUtime=51.08
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 3215 0 0 0 5092 16 0 0 25 0 1 0 87178848 13414400 2823 1992294400 134512640 135752675 4287467760 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 3275 2823 145 303 0 2970 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13100

[startup+102.308 s]
/proc/loadavg: 1.05 1.03 1.01 2/107 29331
/proc/meminfo: memFree=1618136/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=19436 CPUtime=102.27
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 4826 0 0 0 10197 30 0 0 25 0 1 0 87178848 19902464 4434 1992294400 134512640 135752675 4287467760 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 4859 4434 145 303 0 4554 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19436

[startup+162.301 s]
/proc/loadavg: 1.07 1.04 1.01 2/107 29333
/proc/meminfo: memFree=1610944/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=26708 CPUtime=162.24
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 6638 0 0 0 16176 48 0 0 25 0 1 0 87178848 27348992 6246 1992294400 134512640 135752675 4287467760 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 6677 6246 145 303 0 6372 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 26708

[startup+222.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 29333
/proc/meminfo: memFree=1604372/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=33064 CPUtime=222.23
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 8234 0 0 0 22159 64 0 0 25 0 1 0 87178848 33857536 7842 1992294400 134512640 135752675 4287467760 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 8266 7842 146 303 0 7961 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 33064

[startup+282.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 29335
/proc/meminfo: memFree=1603008/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=34516 CPUtime=282.21
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 8566 0 0 0 28142 79 0 0 25 0 1 0 87178848 35344384 8174 1992294400 134512640 135752675 4287467760 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 8629 8174 146 303 0 8324 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 34516

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 29337
/proc/meminfo: memFree=1598048/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=39456 CPUtime=342.2
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 9800 0 0 0 34124 96 0 0 25 0 1 0 87178848 40402944 9408 1992294400 134512640 135752675 4287467760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 9864 9408 146 303 0 9559 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 39456

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 29339
/proc/meminfo: memFree=1591848/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=45688 CPUtime=402.18
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 11359 0 0 0 40106 112 0 0 25 0 1 0 87178848 46784512 10967 1992294400 134512640 135752675 4287467760 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 11422 10967 146 303 0 11117 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 45688

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29341
/proc/meminfo: memFree=1585276/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=52212 CPUtime=462.17
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 12992 0 0 0 46084 133 0 0 25 0 1 0 87178848 53465088 12600 1992294400 134512640 135752675 4287467760 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 13053 12600 146 303 0 12748 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 52212

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29341
/proc/meminfo: memFree=1579076/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=58420 CPUtime=522.15
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 14534 0 0 0 52063 152 0 0 25 0 1 0 87178848 59822080 14142 1992294400 134512640 135752675 4287467760 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 14605 14142 146 303 0 14300 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 58420

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29343
/proc/meminfo: memFree=1572380/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=64916 CPUtime=582.14
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 16175 0 0 0 58041 173 0 0 25 0 1 0 87178848 66473984 15783 1992294400 134512640 135752675 4287467760 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 16229 15783 146 303 0 15924 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 64916

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29345
/proc/meminfo: memFree=1566552/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=70872 CPUtime=642.13
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 17650 0 0 0 64021 192 0 0 25 0 1 0 87178848 72572928 17258 1992294400 134512640 135752675 4287467760 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 17718 17258 146 303 0 17413 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 70872

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29351
/proc/meminfo: memFree=1540636/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=96596 CPUtime=882.06
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 24083 0 0 0 87939 267 0 0 25 0 1 0 87178848 98914304 23691 1992294400 134512640 135752675 4287467760 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 24149 23691 146 303 0 23844 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 96596

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29353
/proc/meminfo: memFree=1534684/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=102572 CPUtime=942.05
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 25562 0 0 0 93920 285 0 0 25 0 1 0 87178848 105033728 25170 1992294400 134512640 135752675 4287467760 18446744073709551615 134638685 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 25643 25170 146 303 0 25338 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 102572

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29355
/proc/meminfo: memFree=1528608/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=108512 CPUtime=1002.03
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 27044 0 0 0 99901 302 0 0 25 0 1 0 87178848 111116288 26652 1992294400 134512640 135752675 4287467760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 27128 26652 146 303 0 26823 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 108512

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29357
/proc/meminfo: memFree=1523152/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=114068 CPUtime=1062.02
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 28419 0 0 0 105883 319 0 0 25 0 1 0 87178848 116805632 28027 1992294400 134512640 135752675 4287467760 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 28517 28027 146 303 0 28212 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 114068

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29357
/proc/meminfo: memFree=1517820/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=119128 CPUtime=1122
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 29709 0 0 0 111864 336 0 0 25 0 1 0 87178848 121987072 29317 1992294400 134512640 135752675 4287467760 18446744073709551615 134605428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 29782 29317 146 303 0 29477 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 119128

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29359
/proc/meminfo: memFree=1512612/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=124592 CPUtime=1181.99
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 31058 0 0 0 117844 355 0 0 25 0 1 0 87178848 127582208 30666 1992294400 134512640 135752675 4287467760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 31148 30666 146 303 0 30843 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 124592

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29370
/proc/meminfo: memFree=1506412/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=130004 CPUtime=1241.96
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 32420 0 0 0 123824 372 0 0 25 0 1 0 87178848 133124096 32028 1992294400 134512640 135752675 4287467760 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 32501 32028 146 303 0 32196 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 130004

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29372
/proc/meminfo: memFree=1501700/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=134756 CPUtime=1301.95
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 33601 0 0 0 129807 388 0 0 25 0 1 0 87178848 137990144 33209 1992294400 134512640 135752675 4287467760 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 33689 33209 146 303 0 33384 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 134756

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29374
/proc/meminfo: memFree=1496616/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=139912 CPUtime=1361.93
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 34879 0 0 0 135788 405 0 0 25 0 1 0 87178848 143269888 34487 1992294400 134512640 135752675 4287467760 18446744073709551615 134518817 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 34978 34487 146 303 0 34673 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 139912

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29374
/proc/meminfo: memFree=1491160/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=145324 CPUtime=1421.92
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 36232 0 0 0 141769 423 0 0 25 0 1 0 87178848 148811776 35840 1992294400 134512640 135752675 4287467760 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 36331 35840 146 303 0 36026 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 145324

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29376
/proc/meminfo: memFree=1486448/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=150092 CPUtime=1481.9
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 37449 0 0 0 147749 441 0 0 25 0 1 0 87178848 153694208 37057 1992294400 134512640 135752675 4287467760 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 37523 37057 146 303 0 37218 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 150092

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29378
/proc/meminfo: memFree=1481736/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=154852 CPUtime=1541.88
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 38618 0 0 0 153730 458 0 0 25 0 1 0 87178848 158568448 38226 1992294400 134512640 135752675 4287467760 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 38713 38226 146 303 0 38408 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 154852

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29380
/proc/meminfo: memFree=1477024/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=159748 CPUtime=1601.87
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 39837 0 0 0 159712 475 0 0 25 0 1 0 87178848 163581952 39445 1992294400 134512640 135752675 4287467760 18446744073709551615 134518828 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 39937 39445 146 303 0 39632 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 159748

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29382
/proc/meminfo: memFree=1472188/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=164500 CPUtime=1661.86
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 41027 0 0 0 165694 492 0 0 25 0 1 0 87178848 168448000 40635 1992294400 134512640 135752675 4287467760 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 41125 40635 146 303 0 40820 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 164500

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29382
/proc/meminfo: memFree=1467476/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=169252 CPUtime=1721.83
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 42227 0 0 0 171674 509 0 0 25 0 1 0 87178848 173314048 41835 1992294400 134512640 135752675 4287467760 18446744073709551615 134519011 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 42313 41835 146 303 0 42008 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 169252

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29384
/proc/meminfo: memFree=1462764/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=173744 CPUtime=1781.82
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 43342 0 0 0 177658 524 0 0 25 0 1 0 87178848 177913856 42950 1992294400 134512640 135752675 4287467760 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 43436 42950 146 303 0 43131 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 173744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29384
/proc/meminfo: memFree=1461276/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=175064 CPUtime=1800.03
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 43687 0 0 0 179473 530 0 0 25 0 1 0 87178848 179265536 43295 1992294400 134512640 135752675 4287467760 18446744073709551615 134605322 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 43766 43295 146 303 0 43461 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 175064

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29384
/proc/meminfo: memFree=1461276/2059040 swapFree=4140792/4192956
[pid=29326] ppid=29324 vsize=175064 CPUtime=1800.03
/proc/29326/stat : 29326 (wbo1.4b) R 29324 29326 28949 0 -1 4202496 43687 0 0 0 179473 530 0 0 25 0 1 0 87178848 179265536 43295 1992294400 134512640 135752675 4287467760 18446744073709551615 134605322 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29326/statm: 43766 43295 146 303 0 43461 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 175064

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.05
CPU user time (s): 1794.73
CPU system time (s): 5.32119
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 175064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.73
system time used= 5.32119
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43687
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= 5
involuntary context switches= 4700

runsolver used 2.93255 second user time and 8.5487 second system time

The end

Launcher Data 

Begin job on node036 at 2010-06-25 11:40:59
IDJOB=2680727
IDBENCH=2948
IDSOLVER=1190
FILE ID=node036/2680727-1277458859
PBS_JOBID= 11188130
Free space on /tmp= 62380 MiB

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

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

MD5SUM BENCH= e41be903cf92c8332743e4188dbf4c82
RANDOM SEED=1283673919

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.251
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.251
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1636528 kB
Buffers:         95788 kB
Cached:         221196 kB
SwapCached:       5400 kB
Active:          72668 kB
Inactive:       257824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1636528 kB
SwapTotal:     4192956 kB
SwapFree:      4140792 kB
Dirty:            3732 kB
Writeback:           0 kB
AnonPages:       12092 kB
Mapped:          12004 kB
Slab:            70048 kB
PageTables:       4196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181512 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62380 MiB
End job on node036 at 2010-06-25 12:11:02