Trace number 2680722

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.09 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
MD5SUM840eda79f99ca12a0c705eefe22c37b7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark157
Best CPU time to get the best result obtained on this benchmark1798.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 144
Optimality of the best value was proved NO
Number of variables3296
Total number of constraints6384
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 constraints6383
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 91
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 218
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 286
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1475
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-2680722-1277458754.opb.
0.00/0.00	c Instance file HOME/instance-2680722-1277458754.opb
0.00/0.00	c File size is 1501792 bytes.
0.19/0.28	c Highest Coefficient sum: 1475
0.19/0.28	c ============================[ Problem Statistics ]=============================
0.19/0.28	c |                                                                             |
0.19/0.28	c |  Parsing time:          0.28         s                                      |
0.19/0.28	c |  Number Variables:      3296                                                |
0.19/0.28	c |  Number Clauses:        1                                                   |
0.19/0.28	c |  Number Cardinality:    0                                                   |
0.19/0.28	c |  Number PB Constraints: 6383                                                |
0.19/0.29	c ============================[ Search Statistics ]==============================
0.19/0.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.29	c ===============================================================================
0.19/0.29	c |         0 |    3295     6384   186755 |     5000        0    nan |  0.000 % |
1.00/1.06	c |       103 |    3295     6384   186755 |     5500      103     45 |  0.030 % |
1.49/1.52	c |       254 |    3295     6384   186755 |     6050      254     40 |  0.030 % |
1.89/1.96	c |       481 |    3295     6384   186755 |     6655      481     37 |  0.030 % |
2.89/2.99	c |       818 |    3295     6384   186755 |     7320      818     35 |  0.030 % |
3.89/3.94	c |      1324 |    3295     6384   186755 |     8052     1324     34 |  0.030 % |
6.29/6.37	c |      2087 |    3295     6384   186755 |     8857     2087     36 |  0.030 % |
8.69/8.79	c |      3228 |    3295     6384   186755 |     9743     3228     35 |  0.030 % |
12.99/13.01	c |      4937 |    3295     6384   186755 |    10717     4937     33 |  0.030 % |
18.38/18.48	c |      7502 |    3295     6384   186755 |    11789     7502     35 |  0.030 % |
24.88/24.99	c |     11346 |    3295     6384   186755 |    12968    11346     33 |  0.030 % |
26.29/26.31	c ===============================================================================
26.29/26.31	c New solution: 192
26.29/26.31	o 192
26.29/26.31	c Elapsed CPU time: 26.24 s	Remaining CPU time: 153.76 s
26.29/26.31	c ===============================================================================
26.29/26.31	c |     11913 |    3295     6385   186763 |     5000    11913     34 |  0.030 % |
26.48/26.51	c |     12013 |    3295     6385   186763 |     5500     3079     30 |  0.030 % |
26.78/26.87	c |     12164 |    3295     6385   186763 |     6050     3230     30 |  0.030 % |
27.18/27.28	c |     12390 |    3295     6385   186763 |     6655     3456     31 |  0.030 % |
27.98/28.05	c |     12727 |    3295     6385   186763 |     7320     3793     30 |  0.030 % |
28.98/29.01	c |     13234 |    3295     6385   186763 |     8052     4300     30 |  0.030 % |
31.28/31.38	c |     13994 |    3295     6385   186763 |     8857     5060     33 |  0.030 % |
31.89/31.97	c ===============================================================================
31.89/31.97	c New solution: 179
31.89/31.97	o 179
31.89/31.97	c Elapsed CPU time: 31.8782 s	Remaining CPU time: 148.122 s
31.89/31.97	c ===============================================================================
31.89/31.97	c |     14395 |    3295     6386   186771 |     5000     5461     33 |  0.030 % |
32.29/32.38	c |     14495 |    3295     6386   186771 |     5500     2831     36 |  0.030 % |
32.68/32.79	c |     14645 |    3295     6386   186771 |     6050     2981     36 |  0.030 % |
33.18/33.20	c |     14871 |    3295     6386   186771 |     6655     3207     36 |  0.030 % |
33.78/33.81	c |     15209 |    3295     6386   186771 |     7320     3545     36 |  0.030 % |
35.08/35.19	c |     15716 |    3295     6386   186771 |     8052     4052     37 |  0.030 % |
38.98/39.07	c |     16475 |    3295     6386   186771 |     8857     4811     37 |  0.030 % |
41.28/41.32	c |     17616 |    3295     6386   186771 |     9743     5952     36 |  0.030 % |
45.08/45.15	c |     19325 |    3295     6386   186771 |    10717     7661     38 |  0.030 % |
51.98/52.03	c |     21887 |    3295     6386   186771 |    11789    10223     36 |  0.030 % |
58.18/58.27	c ===============================================================================
58.18/58.27	c New solution: 168
58.18/58.27	o 168
58.18/58.27	c Elapsed CPU time: 58.1082 s	Remaining CPU time: 121.892 s
58.18/58.27	c ===============================================================================
58.18/58.27	c |     25065 |    3295     6387   186779 |     5000     7278     34 |  0.030 % |
58.47/58.51	c |     25166 |    3294     6387   186779 |     5500     3738     34 |  0.061 % |
58.87/58.90	c |     25316 |    3294     6387   186779 |     6050     3888     34 |  0.061 % |
59.28/59.38	c |     25542 |    3294     6387   186779 |     6655     4114     34 |  0.061 % |
60.67/60.78	c |     25879 |    3294     6387   186779 |     7320     4451     34 |  0.061 % |
61.88/61.96	c |     26385 |    3294     6387   186779 |     8052     4957     34 |  0.061 % |
63.87/63.96	c |     27145 |    3294     6387   186779 |     8857     5717     34 |  0.061 % |
66.97/67.03	c |     28286 |    3294     6387   186779 |     9743     6858     35 |  0.061 % |
70.86/70.98	c |     29995 |    3294     6387   186779 |    10717     8567     35 |  0.061 % |
77.16/77.25	c |     32557 |    3293     6387   186779 |    11789    11124     34 |  0.091 % |
81.77/81.84	c ===============================================================================
81.77/81.84	c New solution: 166
81.77/81.84	o 166
81.77/81.84	c Elapsed CPU time: 81.6216 s	Remaining CPU time: 98.3784 s
81.77/81.84	c ===============================================================================
81.77/81.84	c |     34752 |    3293     6388   186787 |     5000    13319     37 |  0.091 % |
82.07/82.17	c |     34852 |    3293     6388   186787 |     5500     3430     42 |  0.091 % |
82.38/82.44	c |     35002 |    3293     6388   186787 |     6050     3580     41 |  0.091 % |
82.97/83.03	c |     35228 |    3293     6388   186787 |     6655     3806     41 |  0.091 % |
83.67/83.77	c |     35567 |    3293     6388   186787 |     7320     4145     41 |  0.091 % |
84.57/84.69	c |     36073 |    3293     6388   186787 |     8052     4651     40 |  0.091 % |
86.37/86.45	c |     36835 |    3293     6388   186787 |     8857     5413     40 |  0.091 % |
88.77/88.80	c |     37974 |    3293     6388   186787 |     9743     6552     39 |  0.091 % |
92.47/92.54	c |     39683 |    3293     6388   186787 |    10717     8261     38 |  0.091 % |
97.77/97.86	c |     42245 |    3293     6388   186787 |    11789    10823     40 |  0.091 % |
107.55/107.67	c |     46089 |    3293     6388   186787 |    12968     8571     38 |  0.091 % |
119.56/119.60	c |     51856 |    3293     6388   186787 |    14265     7572     34 |  0.091 % |
139.15/139.26	c |     60505 |    3293     6388   186787 |    15692     8707     29 |  0.091 % |
155.54/155.64	c ===============================================================================
155.54/155.64	c New solution: 160
155.54/155.64	o 160
155.54/155.64	c Elapsed CPU time: 155.189 s	Remaining CPU time: 24.8106 s
155.54/155.64	c ===============================================================================
155.54/155.64	c |     67625 |    3293     6389   186795 |     5000    15827     38 |  0.091 % |
155.75/155.87	c |     67725 |    3293     6389   186795 |     5500     4057     51 |  0.091 % |
156.05/156.19	c |     67876 |    3293     6389   186795 |     6050     4208     50 |  0.091 % |
156.54/156.65	c |     68102 |    3293     6389   186795 |     6655     4434     50 |  0.091 % |
157.15/157.22	c |     68440 |    3293     6389   186795 |     7320     4772     49 |  0.091 % |
158.14/158.28	c |     68947 |    3293     6389   186795 |     8052     5279     48 |  0.091 % |
159.64/159.75	c |     69707 |    3293     6389   186795 |     8857     6039     46 |  0.091 % |
162.04/162.17	c |     70847 |    3293     6389   186795 |     9743     7179     45 |  0.091 % |
166.44/166.50	c |     72558 |    3293     6389   186795 |    10717     8890     44 |  0.091 % |
172.03/172.16	c |     75122 |    3293     6389   186795 |    11789     5986     36 |  0.091 % |
180.43/180.54	c There are 3 assigned variables. 1 in cost function.
180.64/180.70	c ============================[ Search Statistics ]==============================
180.64/180.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.64/180.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.64/180.70	c ===============================================================================
180.64/180.70	c |         0 |    3232     6403   182893 |     5000        0    nan |  0.000 % |
181.14/181.23	c |       100 |    3232     6403   182893 |     5500      100     28 |  1.942 % |
181.54/181.64	c |       252 |    3232     6403   182893 |     6050      252     27 |  1.942 % |
182.14/182.27	c |       477 |    3232     6403   182893 |     6655      477     32 |  1.942 % |
182.84/182.97	c |       815 |    3232     6403   182893 |     7320      815     33 |  1.942 % |
184.23/184.33	c |      1322 |    3232     6403   182893 |     8052     1322     34 |  1.942 % |
186.14/186.23	c |      2081 |    3232     6403   182893 |     8857     2081     34 |  1.942 % |
188.74/188.87	c |      3222 |    3232     6403   182893 |     9743     3222     35 |  1.942 % |
192.64/192.79	c |      4930 |    3232     6403   182893 |    10717     4930     35 |  1.942 % |
198.83/198.93	c |      7493 |    3232     6403   182893 |    11789     7493     35 |  1.942 % |
208.02/208.12	c |     11337 |    3232     6403   182893 |    12968    11337     36 |  1.942 % |
222.93/223.06	c |     17103 |    3232     6403   182893 |    14265    10241     36 |  1.942 % |
243.72/243.89	c |     25753 |    3229     6403   182893 |    15692    11165     33 |  2.033 % |
280.51/280.65	c |     38727 |    3228     6403   182893 |    17261    15619     40 |  2.063 % |
330.69/330.82	c |     58189 |    3228     6403   182893 |    18987    16347     40 |  2.063 % |
412.38/412.53	c |     87384 |    3228     6403   182893 |    20886    16023     36 |  2.063 % |
533.03/533.27	c |    131173 |    3228     6403   182893 |    22974    16511     36 |  2.063 % |
735.47/735.74	c |    196858 |    3228     6403   182893 |    25272    20246     39 |  2.063 % |
1029.08/1029.46	c |    295384 |    3228     6403   182893 |    27799    20673     37 |  2.063 % |
1467.64/1468.11	c |    443175 |    3228     6403   182893 |    30579    20696     34 |  2.063 % |

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-2680722-1277458754/watcher-2680722-1277458754 -o /tmp/evaluation-result-2680722-1277458754/solver-2680722-1277458754 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680722-1277458754.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 0.92 3/105 28428
/proc/meminfo: memFree=1848836/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=4044 CPUtime=0
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 292 0 0 0 0 0 0 0 25 0 1 0 87168928 4141056 211 1992294400 134512640 135752675 4288027232 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 1011 211 139 303 0 339 0

[startup+0.0182451 s]
/proc/loadavg: 1.00 1.00 0.92 3/105 28428
/proc/meminfo: memFree=1848836/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=4308 CPUtime=0.01
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 356 0 0 0 1 0 0 0 25 0 1 0 87168928 4411392 275 1992294400 134512640 135752675 4288027232 18446744073709551615 134574285 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 1077 275 151 303 0 405 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4308

[startup+0.101255 s]
/proc/loadavg: 1.00 1.00 0.92 3/105 28428
/proc/meminfo: memFree=1848836/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=6024 CPUtime=0.09
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 909 0 0 0 9 0 0 0 25 0 1 0 87168928 6168576 828 1992294400 134512640 135752675 4288027232 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 1506 828 257 303 0 834 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6024

[startup+0.300276 s]
/proc/loadavg: 1.00 1.00 0.92 3/105 28428
/proc/meminfo: memFree=1848836/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=8860 CPUtime=0.29
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 2314 0 0 0 28 1 0 0 25 0 1 0 87168928 9072640 1787 1992294400 134512640 135752675 4288027232 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 2215 1787 143 303 0 1910 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8860

[startup+0.700322 s]
/proc/loadavg: 1.00 1.00 0.92 3/105 28428
/proc/meminfo: memFree=1848836/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=8860 CPUtime=0.69
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 2315 0 0 0 68 1 0 0 25 0 1 0 87168928 9072640 1788 1992294400 134512640 135752675 4288027232 18446744073709551615 134518828 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 2215 1788 144 303 0 1910 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8860

[startup+1.50041 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28429
/proc/meminfo: memFree=1841884/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=8860 CPUtime=1.49
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 2316 0 0 0 148 1 0 0 25 0 1 0 87168928 9072640 1789 1992294400 134512640 135752675 4288027232 18446744073709551615 134605428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 2215 1789 145 303 0 1910 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8860

[startup+3.10059 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 28429
/proc/meminfo: memFree=1841636/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=8992 CPUtime=3.09
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 2343 0 0 0 308 1 0 0 25 0 1 0 87168928 9207808 1816 1992294400 134512640 135752675 4288027232 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 2248 1816 145 303 0 1943 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8992

[startup+6.30096 s]
/proc/loadavg: 1.08 1.02 0.93 2/106 28429
/proc/meminfo: memFree=1841388/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=9388 CPUtime=6.29
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 2416 0 0 0 627 2 0 0 25 0 1 0 87168928 9613312 1889 1992294400 134512640 135752675 4288027232 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 2347 1889 145 303 0 2042 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9388

[startup+12.7007 s]
/proc/loadavg: 1.15 1.03 0.93 2/106 28429
/proc/meminfo: memFree=1840768/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=9916 CPUtime=12.69
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 2565 0 0 0 1266 3 0 0 25 0 1 0 87168928 10153984 2038 1992294400 134512640 135752675 4288027232 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 2479 2038 145 303 0 2174 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9916

[startup+25.5011 s]
/proc/loadavg: 1.12 1.03 0.93 2/106 28429
/proc/meminfo: memFree=1839280/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=11504 CPUtime=25.48
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 2951 0 0 0 2542 6 0 0 25 0 1 0 87168928 11780096 2424 1992294400 134512640 135752675 4288027232 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 2876 2424 145 303 0 2571 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11504

[startup+51.101 s]
/proc/loadavg: 1.08 1.03 0.93 2/106 28431
/proc/meminfo: memFree=1836924/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=13748 CPUtime=51.07
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 3513 0 0 0 5095 12 0 0 25 0 1 0 87168928 14077952 2986 1992294400 134512640 135752675 4288027232 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 3437 2986 145 303 0 3132 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13748

[startup+102.308 s]
/proc/loadavg: 1.03 1.02 0.93 2/106 28431
/proc/meminfo: memFree=1831716/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=18820 CPUtime=102.26
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 4787 0 0 0 10201 25 0 0 25 0 1 0 87168928 19271680 4260 1992294400 134512640 135752675 4288027232 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 4705 4260 145 303 0 4400 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 18820

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 0.93 2/106 28433
/proc/meminfo: memFree=1825640/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=24896 CPUtime=162.24
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 6306 0 0 0 16182 42 0 0 25 0 1 0 87168928 25493504 5779 1992294400 134512640 135752675 4288027232 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 6224 5779 145 303 0 5919 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 24896

[startup+222.3 s]
/proc/loadavg: 1.00 1.01 0.93 2/106 28435
/proc/meminfo: memFree=1817704/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=32820 CPUtime=222.23
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 8266 0 0 0 22165 58 0 0 25 0 1 0 87168928 33607680 7739 1992294400 134512640 135752675 4288027232 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 8205 7739 146 303 0 7900 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 32820

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28437
/proc/meminfo: memFree=1817704/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=32820 CPUtime=282.21
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 8275 0 0 0 28149 72 0 0 25 0 1 0 87168928 33607680 7748 1992294400 134512640 135752675 4288027232 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 8205 7748 146 303 0 7900 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 32820

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28439
/proc/meminfo: memFree=1814108/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=36256 CPUtime=342.19
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 9160 0 0 0 34133 86 0 0 25 0 1 0 87168928 37126144 8633 1992294400 134512640 135752675 4288027232 18446744073709551615 134518828 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 9064 8633 146 303 0 8759 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 36256

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28439
/proc/meminfo: memFree=1809768/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=40624 CPUtime=402.17
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 10231 0 0 0 40118 99 0 0 25 0 1 0 87168928 41598976 9704 1992294400 134512640 135752675 4288027232 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 10156 9704 146 303 0 9851 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 40624

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28441
/proc/meminfo: memFree=1805180/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=45244 CPUtime=462.16
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 11403 0 0 0 46102 114 0 0 25 0 1 0 87168928 46329856 10876 1992294400 134512640 135752675 4288027232 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 11311 10876 146 303 0 11006 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 45244

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28443
/proc/meminfo: memFree=1800096/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=50132 CPUtime=522.13
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 12626 0 0 0 52084 129 0 0 25 0 1 0 87168928 51335168 12099 1992294400 134512640 135752675 4288027232 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 12533 12099 146 303 0 12228 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 50132

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 28445
/proc/meminfo: memFree=1795260/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=55048 CPUtime=582.12
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 13843 0 0 0 58068 144 0 0 25 0 1 0 87168928 56369152 13316 1992294400 134512640 135752675 4288027232 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 13762 13316 146 303 0 13457 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 55048

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28447
/proc/meminfo: memFree=1790672/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=59536 CPUtime=642.11
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 14965 0 0 0 64054 157 0 0 25 0 1 0 87168928 60964864 14438 1992294400 134512640 135752675 4288027232 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 14884 14438 146 303 0 14579 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 59536

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28451
/proc/meminfo: memFree=1777032/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=72904 CPUtime=822.04
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 18306 0 0 0 82005 199 0 0 25 0 1 0 87168928 74653696 17779 1992294400 134512640 135752675 4288027232 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 18226 17779 146 303 0 17921 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 72904

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28453
/proc/meminfo: memFree=1772444/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=77540 CPUtime=882.03
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 19443 0 0 0 87989 214 0 0 25 0 1 0 87168928 79400960 18916 1992294400 134512640 135752675 4288027232 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 19385 18916 146 303 0 19080 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 77540

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28455
/proc/meminfo: memFree=1768352/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=81772 CPUtime=942.02
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 20500 0 0 0 93972 230 0 0 25 0 1 0 87168928 83734528 19973 1992294400 134512640 135752675 4288027232 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 20443 19973 146 303 0 20138 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 81772

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28455
/proc/meminfo: memFree=1763640/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=86416 CPUtime=1002
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 21658 0 0 0 99955 245 0 0 25 0 1 0 87168928 88489984 21131 1992294400 134512640 135752675 4288027232 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 21604 21131 146 303 0 21299 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 86416

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28457
/proc/meminfo: memFree=1758928/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=91072 CPUtime=1061.98
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 22812 0 0 0 105939 259 0 0 25 0 1 0 87168928 93257728 22285 1992294400 134512640 135752675 4288027232 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 22768 22285 146 303 0 22463 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 91072

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28459
/proc/meminfo: memFree=1754712/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=95296 CPUtime=1121.95
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 23865 0 0 0 111923 272 0 0 25 0 1 0 87168928 97583104 23338 1992294400 134512640 135752675 4288027232 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 23824 23338 146 303 0 23519 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 95296

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28461
/proc/meminfo: memFree=1750372/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=99544 CPUtime=1181.94
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 24933 0 0 0 117906 288 0 0 25 0 1 0 87168928 101933056 24406 1992294400 134512640 135752675 4288027232 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 24886 24406 146 303 0 24581 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 99544

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28463
/proc/meminfo: memFree=1745908/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=103768 CPUtime=1241.92
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 25993 0 0 0 123890 302 0 0 25 0 1 0 87168928 106258432 25466 1992294400 134512640 135752675 4288027232 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 25942 25466 146 303 0 25637 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 103768

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28463
/proc/meminfo: memFree=1741568/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=107992 CPUtime=1301.91
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 27061 0 0 0 129874 317 0 0 25 0 1 0 87168928 110583808 26534 1992294400 134512640 135752675 4288027232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 26998 26534 146 303 0 26693 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 107992

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28474
/proc/meminfo: memFree=1736980/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=112348 CPUtime=1361.88
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 28125 0 0 0 135856 332 0 0 25 0 1 0 87168928 115044352 27598 1992294400 134512640 135752675 4288027232 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 28087 27598 146 303 0 27782 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 112348

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28476
/proc/meminfo: memFree=1732888/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=116308 CPUtime=1421.87
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 29116 0 0 0 141842 345 0 0 25 0 1 0 87168928 119099392 28589 1992294400 134512640 135752675 4288027232 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 29077 28589 146 303 0 28772 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 116308

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28478
/proc/meminfo: memFree=1728424/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=120796 CPUtime=1481.84
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 30247 0 0 0 147824 360 0 0 25 0 1 0 87168928 123695104 29720 1992294400 134512640 135752675 4288027232 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 30199 29720 146 303 0 29894 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 120796

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28480
/proc/meminfo: memFree=1724208/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=125020 CPUtime=1541.83
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 31303 0 0 0 153811 372 0 0 25 0 1 0 87168928 128020480 30776 1992294400 134512640 135752675 4288027232 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 31255 30776 146 303 0 30950 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 125020

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28480
/proc/meminfo: memFree=1719992/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=129244 CPUtime=1601.81
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 32361 0 0 0 159794 387 0 0 25 0 1 0 87168928 132345856 31834 1992294400 134512640 135752675 4288027232 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 32311 31834 146 303 0 32006 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 129244

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28482
/proc/meminfo: memFree=1715776/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=133468 CPUtime=1661.79
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 33413 0 0 0 165778 401 0 0 25 0 1 0 87168928 136671232 32886 1992294400 134512640 135752675 4288027232 18446744073709551615 134518828 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 33367 32886 146 303 0 33062 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 133468

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28484
/proc/meminfo: memFree=1711808/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=137428 CPUtime=1721.77
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 34416 0 0 0 171764 413 0 0 25 0 1 0 87168928 140726272 33889 1992294400 134512640 135752675 4288027232 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 34357 33889 146 303 0 34052 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 137428

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28486
/proc/meminfo: memFree=1707220/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=141964 CPUtime=1781.75
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 35528 0 0 0 177748 427 0 0 25 0 1 0 87168928 145371136 35001 1992294400 134512640 135752675 4288027232 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 35491 35001 146 303 0 35186 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 141964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 28486
/proc/meminfo: memFree=1705980/2059040 swapFree=4139624/4192956
[pid=28428] ppid=28426 vsize=143152 CPUtime=1800.06
/proc/28428/stat : 28428 (wbo1.4b) R 28426 28428 27944 0 -1 4202496 35845 0 0 0 179576 430 0 0 25 0 1 0 87168928 146587648 35318 1992294400 134512640 135752675 4288027232 18446744073709551615 134606868 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28428/statm: 35788 35318 146 303 0 35483 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 143152

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.63
CPU time (s): 1800.09
CPU user time (s): 1795.76
CPU system time (s): 4.32534
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 143152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.76
system time used= 4.32534
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35845
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= 2
involuntary context switches= 3862

runsolver used 2.93755 second user time and 8.5517 second system time

The end

Launcher Data 

Begin job on node088 at 2010-06-25 11:39:14
IDJOB=2680722
IDBENCH=2942
IDSOLVER=1190
FILE ID=node088/2680722-1277458754
PBS_JOBID= 11188102
Free space on /tmp= 62468 MiB

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

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

MD5SUM BENCH= 840eda79f99ca12a0c705eefe22c37b7
RANDOM SEED=239509916

node088.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.217
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.43
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.217
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1849364 kB
Buffers:         32504 kB
Cached:          79836 kB
SwapCached:       5660 kB
Active:          61664 kB
Inactive:        63752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1849364 kB
SwapTotal:     4192956 kB
SwapFree:      4139624 kB
Dirty:            4108 kB
Writeback:           0 kB
AnonPages:       11608 kB
Mapped:           8276 kB
Slab:            62356 kB
PageTables:       4132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182348 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= 62464 MiB
End job on node088 at 2010-06-25 12:09:16