Trace number 2680457

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.18 1800.71

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
MD5SUMa7af672db5daf9bd21f1768f531add6b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark1800.54
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables21320
Total number of constraints79746
Number of constraints which are clauses79734
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint1407
Number of terms in the objective function 1407
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1407
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 35
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1442
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-2680457-1277460102.opb.
0.00/0.00	c Instance file HOME/instance-2680457-1277460102.opb
0.00/0.00	c File size is 2416408 bytes.
0.29/0.37	c Highest Coefficient sum: 1442
0.29/0.37	c ============================[ Problem Statistics ]=============================
0.29/0.37	c |                                                                             |
0.29/0.37	c |  Parsing time:          0.37         s                                      |
0.29/0.37	c |  Number Variables:      21320                                               |
0.29/0.37	c |  Number Clauses:        79734                                               |
0.29/0.37	c |  Number Cardinality:    1                                                   |
0.29/0.37	c |  Number PB Constraints: 11                                                  |
16.88/16.94	c ============================[ Search Statistics ]==============================
16.88/16.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.88/16.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.88/16.94	c ===============================================================================
16.88/16.94	c |         0 |   20955    80106   201498 |    26582        0    nan |  0.000 % |
16.88/16.97	c ===============================================================================
16.88/16.97	c New solution: 33
16.88/16.97	o 33
16.88/16.97	c Elapsed CPU time: 16.9044 s	Remaining CPU time: 163.096 s
16.88/16.97	c ===============================================================================
16.88/16.97	c |        11 |   20955    80107   202905 |    26702       11    430 |  0.000 % |
16.99/17.00	c ===============================================================================
16.99/17.00	c New solution: 32
16.99/17.00	o 32
16.99/17.00	c Elapsed CPU time: 16.9284 s	Remaining CPU time: 163.072 s
16.99/17.00	c ===============================================================================
16.99/17.00	c |        12 |   20955    80108   204312 |    26702       12    411 |  0.000 % |
16.99/17.03	c ===============================================================================
16.99/17.03	c New solution: 31
16.99/17.03	o 31
16.99/17.03	c Elapsed CPU time: 16.9574 s	Remaining CPU time: 163.043 s
16.99/17.03	c ===============================================================================
16.99/17.03	c |        15 |   20955    80109   205719 |    26703       15    337 |  0.000 % |
17.09/17.13	c |       117 |   20955    80109   205719 |    29373      117     82 |  1.712 % |
17.19/17.27	c |       267 |   20955    80109   205719 |    32310      267     68 |  1.712 % |
17.29/17.36	c |       493 |   20955    80109   205719 |    35541      493    131 |  1.712 % |
17.49/17.51	c |       830 |   20955    80109   205719 |    39095      830    225 |  1.712 % |
17.59/17.65	c |      1336 |   20955    80109   205719 |    43005     1336    189 |  1.712 % |
17.89/17.90	c |      2096 |   20955    80109   205719 |    47305     2096    234 |  1.712 % |
18.59/18.66	c |      3240 |   20955    80109   205719 |    52036     3240    381 |  1.712 % |
19.69/19.77	c |      4948 |   20955    80109   205719 |    57240     4948    676 |  1.712 % |
21.29/21.38	c |      7510 |   20955    80109   205719 |    62964     7510    642 |  1.712 % |
24.38/24.43	c |     11355 |   20955    80109   205719 |    69260    11355    837 |  1.712 % |
26.08/26.19	c |     17121 |   20955    80109   205719 |    76186    17121    624 |  1.712 % |
35.18/35.26	c |     25772 |   20955    80109   205719 |    83805    25772    933 |  1.712 % |
45.37/45.49	c |     38746 |   20955    80109   205719 |    92185    38746    829 |  1.712 % |
67.97/68.02	c |     58212 |   20955    80109   205719 |   101404    58212    889 |  1.712 % |
81.77/81.81	c |     87404 |   20955    80109   205719 |   111545    87404    707 |  1.712 % |
148.35/148.44	c |    131193 |   20955    80109   205719 |   122699   131193    926 |  1.712 % |
181.74/181.83	c There are 365 assigned variables. 5 in cost function.
182.73/182.80	c core #1
182.73/182.80	c 
182.73/182.80	c 
182.73/182.80	c Core size: 161	Core Weight: 1	Total Weight: 6
182.73/182.80	c
182.73/182.80	c
182.73/182.80	c core #2
182.73/182.80	c 
182.73/182.80	c 
182.73/182.80	c Core size: 169	Core Weight: 1	Total Weight: 7
182.73/182.80	c
182.73/182.80	c
182.73/182.80	c core #3
182.73/182.80	c 
182.73/182.80	c 
182.73/182.80	c Core size: 727	Core Weight: 1	Total Weight: 8
182.73/182.80	c
182.73/182.80	c
182.73/182.80	c core #4
182.73/182.80	c 
182.73/182.80	c 
182.73/182.80	c Core size: 359	Core Weight: 1	Total Weight: 9
182.73/182.80	c
182.73/182.80	c
182.73/182.80	c core #5
182.73/182.80	c 
182.73/182.80	c 
182.73/182.80	c Core size: 748	Core Weight: 1	Total Weight: 10
182.73/182.80	c
182.73/182.80	c
182.73/182.80	c ============================[ Search Statistics ]==============================
182.73/182.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.73/182.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.73/182.80	c ===============================================================================
182.73/182.80	c |         0 |   16099    81486   203435 |    27162        0    nan |  0.000 % |
182.83/182.99	c |       100 |   16017    81486   203435 |    29878      100    318 | 31.091 % |
183.13/183.21	c |       250 |   13204    81486   203435 |    32866       94    773 | 40.196 % |
183.55/183.61	c ===============================================================================
183.65/183.77	c core #6
183.65/183.77	c 
183.65/183.77	c 
183.65/183.77	c Core size: 3756	Core Weight: 1	Total Weight: 11
183.65/183.77	c
183.65/183.77	c
183.65/183.77	c ============================[ Search Statistics ]==============================
183.65/183.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.65/183.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.65/183.77	c ===============================================================================
183.65/183.77	c |         0 |   22709    81487   210589 |    27162        0    nan |  0.000 % |
183.84/183.92	c |       102 |   22709    81487   210589 |    29878      102    223 |  1.582 % |
183.93/184.07	c |       252 |   22663    81487   210589 |    32866      250    122 |  1.816 % |
184.23/184.33	c |       477 |   22621    81487   210589 |    36153      407    144 |  1.963 % |
184.64/184.75	c |       817 |   22598    81487   210589 |    39768      726    125 |  2.067 % |
184.64/184.78	c ===============================================================================
184.83/184.94	c core #7
184.83/184.94	c 
184.83/184.94	c 
184.83/184.94	c Core size: 303	Core Weight: 1	Total Weight: 12
184.83/184.94	c
184.83/184.94	c
184.83/184.94	c ============================[ Search Statistics ]==============================
184.83/184.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.83/184.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.83/184.94	c ===============================================================================
184.83/184.94	c |         0 |   22893    81488   210957 |    27162        0    nan |  0.000 % |
184.93/185.08	c |       100 |   22893    81488   210957 |    29878      100    229 |  1.569 % |
185.14/185.20	c |       250 |   22893    81488   210957 |    32866      250    122 |  1.569 % |
185.23/185.30	c |       475 |   22893    81488   210957 |    36153      475    120 |  1.569 % |
185.43/185.56	c |       814 |   22893    81488   210957 |    39768      814    141 |  1.569 % |
185.84/185.95	c |      1320 |   22893    81488   210957 |    43745     1320    164 |  1.569 % |
186.63/186.74	c |      2079 |   22893    81488   210957 |    48120     2079    176 |  1.569 % |
187.73/187.83	c |      3218 |   22893    81488   210957 |    52932     3218    179 |  1.569 % |
189.63/189.74	c |      4926 |   22893    81488   210957 |    58225     4926    200 |  1.569 % |
192.73/192.87	c |      7492 |   22893    81488   210957 |    64048     7492    222 |  1.569 % |
198.63/198.77	c |     11336 |   22893    81488   210957 |    70452    11336    252 |  1.569 % |
209.73/209.83	c |     17102 |   22893    81488   210957 |    77498    17102    282 |  1.569 % |
227.71/227.82	c |     25752 |   22893    81488   210957 |    85248    25752    286 |  1.569 % |
260.52/260.64	c |     38726 |   22889    81488   210957 |    93772    38725    283 |  1.587 % |
264.92/265.02	c ===============================================================================
266.02/266.18	c core #8
266.02/266.18	c 
266.02/266.18	c 
266.02/266.18	c Core size: 232	Core Weight: 1	Total Weight: 13
266.02/266.18	c
266.02/266.18	c
266.02/266.18	c ============================[ Search Statistics ]==============================
266.02/266.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
266.02/266.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
266.02/266.18	c ===============================================================================
266.02/266.18	c |         0 |   23010    81489   211191 |    27163        0    nan |  0.000 % |
266.21/266.30	c |       102 |   23010    81489   211191 |    29879      102    215 |  1.566 % |
266.21/266.39	c |       253 |   23007    81489   211191 |    32867      251    117 |  1.574 % |
266.41/266.56	c |       482 |   23000    81489   211191 |    36153      476    134 |  1.604 % |
266.60/266.78	c |       820 |   23000    81489   211191 |    39769      814    142 |  1.604 % |
266.91/267.09	c |      1328 |   23000    81489   211191 |    43746     1317    131 |  1.604 % |
267.41/267.56	c |      2091 |   23000    81489   211191 |    48120     2080    118 |  1.604 % |
268.11/268.25	c |      3233 |   23000    81489   211191 |    52933     3222    145 |  1.604 % |
269.20/269.34	c |      4942 |   23000    81489   211191 |    58226     4931    134 |  1.604 % |
271.21/271.31	c |      7504 |   23000    81489   211191 |    64048     7493    164 |  1.604 % |
275.30/275.40	c |     11349 |   23000    81489   211191 |    70453    11338    199 |  1.604 % |
281.20/281.37	c |     17115 |   23000    81489   211191 |    77499    17104    185 |  1.604 % |
297.30/297.49	c |     25764 |   23000    81489   211191 |    85249    25753    212 |  1.604 % |
321.60/321.79	c |     38738 |   23000    81489   211191 |    93774    38727    205 |  1.604 % |
366.18/366.40	c |     58200 |   23000    81489   211191 |   103151    58189    214 |  1.604 % |
485.54/485.77	c |     87394 |   22997    81489   211191 |   113466    87382    270 |  1.617 % |
664.10/664.33	c |    131185 |   22967    81489   211191 |   124813    36236    211 |  1.745 % |
1008.98/1009.38	c |    196870 |   22967    81489   211191 |   137294   101921    404 |  1.745 % |
1570.62/1571.11	c |    295396 |   22965    81489   211191 |   151024    82550    434 |  1.758 % |

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-2680457-1277460102/watcher-2680457-1277460102 -o /tmp/evaluation-result-2680457-1277460102/solver-2680457-1277460102 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680457-1277460102.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.93 3/105 29966
/proc/meminfo: memFree=1876060/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=5252 CPUtime=0
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 376 0 0 0 0 0 0 0 25 0 1 0 87303712 5378048 295 1992294400 134512640 135752675 4291652096 18446744073709551615 135225873 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 1313 295 141 303 0 418 0

[startup+0.085893 s]
/proc/loadavg: 1.00 1.00 0.93 3/105 29966
/proc/meminfo: memFree=1876060/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=7008 CPUtime=0.08
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 881 0 0 0 8 0 0 0 25 0 1 0 87303712 7176192 800 1992294400 134512640 135752675 4291652096 18446744073709551615 135193129 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 1752 800 265 303 0 857 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7008

[startup+0.100896 s]
/proc/loadavg: 1.00 1.00 0.93 3/105 29966
/proc/meminfo: memFree=1876060/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=7320 CPUtime=0.09
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 972 0 0 0 9 0 0 0 25 0 1 0 87303712 7495680 891 1992294400 134512640 135752675 4291652096 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 1830 898 289 303 0 935 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7320

[startup+0.300916 s]
/proc/loadavg: 1.00 1.00 0.93 3/105 29966
/proc/meminfo: memFree=1876060/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=10744 CPUtime=0.29
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 2125 0 0 0 29 0 0 0 25 0 1 0 87303712 11001856 2044 1992294400 134512640 135752675 4291652096 18446744073709551615 134560559 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 2686 2045 607 303 0 1791 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10744

[startup+0.700958 s]
/proc/loadavg: 1.00 1.00 0.93 3/105 29966
/proc/meminfo: memFree=1876060/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=17980 CPUtime=0.69
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 4563 0 0 0 68 1 0 0 18 0 1 0 87303712 18411520 3794 1992294400 134512640 135752675 4291652096 18446744073709551615 135211654 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 4495 3794 142 303 0 4190 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17980

[startup+1.50104 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29967
/proc/meminfo: memFree=1861296/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=18244 CPUtime=1.49
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 4619 0 0 0 148 1 0 0 19 0 1 0 87303712 18681856 3850 1992294400 134512640 135752675 4291652096 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 4561 3850 142 303 0 4256 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18244

[startup+3.10121 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29967
/proc/meminfo: memFree=1860800/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=18772 CPUtime=3.09
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 4753 0 0 0 307 2 0 0 23 0 1 0 87303712 19222528 3984 1992294400 134512640 135752675 4291652096 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 4693 3984 142 303 0 4388 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18772

[startup+6.30055 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29967
/proc/meminfo: memFree=1857700/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=22336 CPUtime=6.29
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 5653 0 0 0 626 3 0 0 25 0 1 0 87303712 22872064 4884 1992294400 134512640 135752675 4291652096 18446744073709551615 134524578 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 5584 4884 142 303 0 5279 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22336

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29967
/proc/meminfo: memFree=1853112/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=26692 CPUtime=12.69
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 6724 0 0 0 1264 5 0 0 25 0 1 0 87303712 27332608 5955 1992294400 134512640 135752675 4291652096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 6673 5955 142 303 0 6368 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26692

[startup+25.5006 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29967
/proc/meminfo: memFree=1826080/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=53736 CPUtime=25.49
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 13514 0 0 0 2527 22 0 0 25 0 1 0 87303712 55025664 12745 1992294400 134512640 135752675 4291652096 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 13434 12745 145 303 0 13129 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53736

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29967
/proc/meminfo: memFree=1713488/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=168048 CPUtime=51.07
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 42079 0 0 0 5049 58 0 0 25 0 1 0 87303712 172081152 41310 1992294400 134512640 135752675 4291652096 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 42012 41310 145 303 0 41707 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 168048

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29969
/proc/meminfo: memFree=1515088/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=363184 CPUtime=102.27
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 90865 0 0 0 10115 112 0 0 25 0 1 0 87303712 371900416 90096 1992294400 134512640 135752675 4291652096 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 90796 90096 145 303 0 90491 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 363184

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29971
/proc/meminfo: memFree=1303544/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=577600 CPUtime=162.23
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 144474 0 0 0 16065 158 0 0 25 0 1 0 87303712 591462400 143705 1992294400 134512640 135752675 4291652096 18446744073709551615 134639641 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 144400 143707 145 303 0 144095 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 577600

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29973
/proc/meminfo: memFree=1218852/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=657524 CPUtime=222.22
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 165494 0 0 0 22028 194 0 0 25 0 1 0 87303712 673304576 163853 1992294400 134512640 135752675 4291652096 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 164381 163853 146 303 0 164076 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 657524

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29975
/proc/meminfo: memFree=1218852/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=657524 CPUtime=282.2
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 165496 0 0 0 28006 214 0 0 25 0 1 0 87303712 673304576 163855 1992294400 134512640 135752675 4291652096 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 164381 163855 146 303 0 164076 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 657524

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29975
/proc/meminfo: memFree=1218728/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=657524 CPUtime=342.18
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 165496 0 0 0 33991 227 0 0 25 0 1 0 87303712 673304576 163855 1992294400 134512640 135752675 4291652096 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 164381 163855 146 303 0 164076 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 657524

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29977
/proc/meminfo: memFree=1218728/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=657524 CPUtime=402.17
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 165497 0 0 0 39978 239 0 0 25 0 1 0 87303712 673304576 163856 1992294400 134512640 135752675 4291652096 18446744073709551615 134612012 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 164381 163856 146 303 0 164076 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 657524

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29979
/proc/meminfo: memFree=1218604/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=657524 CPUtime=462.15
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 165499 0 0 0 45969 246 0 0 25 0 1 0 87303712 673304576 163858 1992294400 134512640 135752675 4291652096 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 164381 163858 146 303 0 164076 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 657524

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29981
/proc/meminfo: memFree=1218604/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=657524 CPUtime=522.13
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 165499 0 0 0 51958 255 0 0 25 0 1 0 87303712 673304576 163858 1992294400 134512640 135752675 4291652096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 164381 163858 146 303 0 164076 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 657524

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29983
/proc/meminfo: memFree=1218604/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=657524 CPUtime=582.12
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 165500 0 0 0 57948 264 0 0 25 0 1 0 87303712 673304576 163859 1992294400 134512640 135752675 4291652096 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 164381 163859 146 303 0 164076 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 657524

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29983
/proc/meminfo: memFree=1218604/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=657524 CPUtime=642.11
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 165500 0 0 0 63938 273 0 0 25 0 1 0 87303712 673304576 163859 1992294400 134512640 135752675 4291652096 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 164381 163859 146 303 0 164076 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 657524

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29989
/proc/meminfo: memFree=1218356/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=657524 CPUtime=822.04
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 165502 0 0 0 81908 296 0 0 25 0 1 0 87303712 673304576 163861 1992294400 134512640 135752675 4291652096 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 164381 163861 146 303 0 164076 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 657524

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29991
/proc/meminfo: memFree=1207444/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=668860 CPUtime=882.02
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 168336 0 0 0 87897 305 0 0 25 0 1 0 87303712 684912640 166695 1992294400 134512640 135752675 4291652096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 167215 166695 146 303 0 166910 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 668860

[startup+942.301 s]
/proc/loadavg: 1.08 1.02 0.94 2/106 29991
/proc/meminfo: memFree=1184008/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=692504 CPUtime=942.01
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 174235 0 0 0 93882 319 0 0 25 0 1 0 87303712 709124096 172594 1992294400 134512640 135752675 4291652096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 173126 172594 146 303 0 172821 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 692504

[startup+1002.3 s]
/proc/loadavg: 1.03 1.01 0.94 2/106 29993
/proc/meminfo: memFree=1164168/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=712212 CPUtime=1001.99
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 179105 0 0 0 99870 329 0 0 25 0 1 0 87303712 729305088 177464 1992294400 134512640 135752675 4291652096 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 178053 177464 146 303 0 177748 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 712212

[startup+1062.3 s]
/proc/loadavg: 1.01 1.00 0.94 2/106 29995
/proc/meminfo: memFree=1149660/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=726788 CPUtime=1061.97
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 182753 0 0 0 105860 337 0 0 25 0 1 0 87303712 744230912 181112 1992294400 134512640 135752675 4291652096 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 181697 181112 146 303 0 181392 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 726788

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 29997
/proc/meminfo: memFree=1135152/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=741224 CPUtime=1121.96
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 186338 0 0 0 111850 346 0 0 25 0 1 0 87303712 759013376 184697 1992294400 134512640 135752675 4291652096 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 185306 184697 146 303 0 185001 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 741224

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 29999
/proc/meminfo: memFree=1116428/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=760244 CPUtime=1181.94
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 191068 0 0 0 117839 355 0 0 25 0 1 0 87303712 778489856 189427 1992294400 134512640 135752675 4291652096 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 190061 189427 146 303 0 189756 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 760244

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 29999
/proc/meminfo: memFree=1100184/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=776228 CPUtime=1241.92
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 195000 0 0 0 123827 365 0 0 25 0 1 0 87303712 794857472 193359 1992294400 134512640 135752675 4291652096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 194057 193359 146 303 0 193752 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 776228

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 30001
/proc/meminfo: memFree=1085800/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=790556 CPUtime=1301.9
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 198572 0 0 0 129816 374 0 0 25 0 1 0 87303712 809529344 196931 1992294400 134512640 135752675 4291652096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 197639 196931 146 303 0 197334 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 790556

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 30003
/proc/meminfo: memFree=1064224/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=812768 CPUtime=1361.89
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 204065 0 0 0 135804 385 0 0 25 0 1 0 87303712 832274432 202424 1992294400 134512640 135752675 4291652096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 203192 202424 146 303 0 202887 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 812768

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 30005
/proc/meminfo: memFree=1017972/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=858572 CPUtime=1421.87
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 215511 0 0 0 141778 409 0 0 25 0 1 0 87303712 879177728 213870 1992294400 134512640 135752675 4291652096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 214643 213870 146 303 0 214338 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 858572

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 30007
/proc/meminfo: memFree=977300/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=899624 CPUtime=1481.85
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 225755 0 0 0 147754 431 0 0 25 0 1 0 87303712 921214976 224114 1992294400 134512640 135752675 4291652096 18446744073709551615 134616082 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 224906 224114 146 303 0 224601 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 899624

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 30007
/proc/meminfo: memFree=960560/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=915944 CPUtime=1541.83
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 229835 0 0 0 153739 444 0 0 25 0 1 0 87303712 937926656 228194 1992294400 134512640 135752675 4291652096 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 228986 228194 146 303 0 228681 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 915944

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 30009
/proc/meminfo: memFree=945060/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=931612 CPUtime=1601.82
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 233710 0 0 0 159727 455 0 0 25 0 1 0 87303712 953970688 232069 1992294400 134512640 135752675 4291652096 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 232903 232069 146 303 0 232598 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 931612

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 30011
/proc/meminfo: memFree=924724/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=951868 CPUtime=1661.79
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 238791 0 0 0 165711 468 0 0 25 0 1 0 87303712 974712832 237150 1992294400 134512640 135752675 4291652096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 237967 237150 146 303 0 237662 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 951868

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 30013
/proc/meminfo: memFree=900172/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=976676 CPUtime=1721.77
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 244990 0 0 0 171696 481 0 0 25 0 1 0 87303712 1000116224 243349 1992294400 134512640 135752675 4291652096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 244169 243349 146 303 0 243864 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 976676

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 30015
/proc/meminfo: memFree=881076/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=994972 CPUtime=1781.77
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 249571 0 0 0 177684 493 0 0 25 0 1 0 87303712 1018851328 247930 1992294400 134512640 135752675 4291652096 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 248743 247930 146 303 0 248438 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 994972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 30015
/proc/meminfo: memFree=874132/2059040 swapFree=4139628/4192956
[pid=29966] ppid=29964 vsize=1001976 CPUtime=1800.07
/proc/29966/stat : 29966 (wbo1.4b) R 29964 29966 29516 0 -1 4202496 251309 0 0 0 179511 496 0 0 25 0 1 0 87303712 1026023424 249668 1992294400 134512640 135752675 4291652096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29966/statm: 250494 249668 146 303 0 250189 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1001976

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.71
CPU time (s): 1800.18
CPU user time (s): 1795.11
CPU system time (s): 5.06423
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1001976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.11
system time used= 5.06423
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251309
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= 9
involuntary context switches= 2643

runsolver used 2.83457 second user time and 8.65268 second system time

The end

Launcher Data 

Begin job on node082 at 2010-06-25 12:01:42
IDJOB=2680457
IDBENCH=25019
IDSOLVER=1190
FILE ID=node082/2680457-1277460102
PBS_JOBID= 11188108
Free space on /tmp= 62356 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_1.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680457-1277460102/watcher-2680457-1277460102 -o /tmp/evaluation-result-2680457-1277460102/solver-2680457-1277460102 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680457-1277460102.opb

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

MD5SUM BENCH= a7af672db5daf9bd21f1768f531add6b
RANDOM SEED=283579043

node082.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.215
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.215
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:       1876588 kB
Buffers:         14396 kB
Cached:          66008 kB
SwapCached:       6156 kB
Active:          66664 kB
Inactive:        27236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1876588 kB
SwapTotal:     4192956 kB
SwapFree:      4139628 kB
Dirty:            4968 kB
Writeback:           0 kB
AnonPages:       12148 kB
Mapped:          11944 kB
Slab:            66624 kB
PageTables:       4132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181704 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62352 MiB
End job on node082 at 2010-06-25 12:31:45