Trace number 2656274

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? (TO) 1800.16 1800.75

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_30_30.r.opb
MD5SUM28e00d9d9bb0c4a536b74577b47a7849
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark8.23975
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint30
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2656274-1276597990.opb.
0.00/0.00	c Instance file HOME/instance-2656274-1276597990.opb
0.00/0.00	c File size is 22368 bytes.
0.00/0.00	c Highest Coefficient sum: 31
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      100                                                 |
0.00/0.00	c |  Number Clauses:        100                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     100      100     3000 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 9
0.00/0.00	o 9
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     100      101     3100 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 8
0.00/0.00	o 8
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     100      102     3200 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 7
0.00/0.00	o 7
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         2 |     100      103     3300 |     5000        2     71 |  0.000 % |
0.00/0.00	c |       102 |     100      103     3300 |     5500      102     57 |  0.010 % |
0.00/0.01	c |       253 |     100      103     3300 |     6050      253     57 |  0.010 % |
0.00/0.02	c |       479 |     100      103     3300 |     6655      479     56 |  0.010 % |
0.00/0.03	c |       817 |     100      103     3300 |     7320      817     56 |  0.010 % |
0.00/0.05	c |      1326 |     100      103     3300 |     8052     1326     57 |  0.010 % |
0.05/0.09	c |      2086 |     100      103     3300 |     8857     2086     58 |  0.010 % |
0.09/0.16	c |      3227 |     100      103     3300 |     9743     3227     57 |  0.010 % |
0.19/0.27	c |      4939 |     100      103     3300 |    10717     4939     58 |  0.010 % |
0.39/0.46	c |      7502 |     100      103     3300 |    11789     7502     58 |  0.010 % |
0.59/0.64	c ===============================================================================
0.59/0.64	c New solution: 6
0.59/0.64	o 6
0.59/0.64	c Elapsed CPU time: 0.609907 s	Remaining CPU time: 179.39 s
0.59/0.64	c ===============================================================================
0.59/0.64	c |      9573 |     100      104     3400 |     5000     9573     58 |  0.010 % |
0.59/0.66	c |      9674 |     100      104     3400 |     5500     4888     57 |  0.010 % |
0.59/0.67	c |      9825 |     100      104     3400 |     6050     5039     57 |  0.010 % |
0.59/0.68	c |     10051 |     100      104     3400 |     6655     5265     57 |  0.010 % |
0.69/0.71	c |     10393 |     100      104     3400 |     7320     5607     56 |  0.010 % |
0.69/0.74	c |     10905 |     100      104     3400 |     8052     6119     56 |  0.010 % |
0.69/0.79	c |     11665 |     100      104     3400 |     8857     6879     55 |  0.010 % |
0.79/0.88	c |     12806 |     100      104     3400 |     9743     8020     55 |  0.010 % |
1.00/1.02	c |     14515 |     100      104     3400 |    10717     9729     55 |  0.010 % |
1.19/1.27	c |     17077 |     100      104     3400 |    11789     6897     53 |  0.010 % |
1.59/1.63	c |     20923 |     100      104     3400 |    12968    10743     53 |  0.010 % |
2.20/2.26	c |     26697 |     100      104     3400 |    14265     9995     52 |  0.010 % |
3.20/3.27	c |     35346 |     100      104     3400 |    15692    11473     54 |  0.010 % |
4.99/5.00	c |     48324 |     100      104     3400 |    17261     8689     50 |  0.010 % |
7.69/7.74	c |     67786 |     100      104     3400 |    18987    10814     50 |  0.010 % |
12.39/12.43	c |     96978 |     100      104     3400 |    20886    11422     51 |  0.010 % |
20.79/20.82	c |    140771 |     100      104     3400 |    22974    13302     51 |  0.010 % |
33.18/33.21	c |    206455 |     100      104     3400 |    25272    20052     51 |  0.010 % |
54.37/54.46	c |    304984 |     100      104     3400 |    27799    20922     49 |  0.010 % |
87.26/87.32	c |    452776 |     100      104     3400 |    30579    21818     50 |  0.010 % |
140.45/140.53	c |    674461 |     100      104     3400 |    33637    15153     50 |  0.010 % |
182.54/182.69	c There are 0 assigned variables. 0 in cost function.
183.54/183.61	c core #1
183.54/183.61	c ============================[ Search Statistics ]==============================
183.54/183.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.61	c ===============================================================================
183.54/183.61	c |         0 |      60      206     3590 |     5000        0    nan |  0.000 % |
183.54/183.61	c ===============================================================================
183.54/183.61	c core #2
183.54/183.61	c ============================[ Search Statistics ]==============================
183.54/183.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.61	c ===============================================================================
183.54/183.61	c |         0 |     214      207     3835 |     5000        0    nan |  0.000 % |
183.54/183.62	c |       108 |     214      207     3835 |     5500      108     57 |  3.169 % |
183.54/183.64	c |       262 |     214      207     3835 |     6050      262     55 |  3.169 % |
183.54/183.65	c ===============================================================================
183.54/183.65	c core #3
183.54/183.65	c ============================[ Search Statistics ]==============================
183.54/183.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.65	c ===============================================================================
183.54/183.65	c |         0 |     321      208     4042 |     5000        0    nan |  0.000 % |
183.54/183.66	c |       101 |     321      208     4042 |     5500      101     82 |  0.001 % |
183.54/183.67	c |       255 |     321      208     4042 |     6050      255     79 |  0.001 % |
183.54/183.70	c |       485 |     321      208     4042 |     6655      485     74 |  0.001 % |
183.64/183.74	c |       823 |     321      208     4042 |     7320      823     78 |  0.001 % |
183.73/183.81	c |      1331 |     321      208     4042 |     8052     1331     74 |  0.001 % |
183.83/183.93	c |      2091 |     321      208     4042 |     8857     2091     72 |  0.001 % |
184.04/184.13	c |      3232 |     321      208     4042 |     9743     3232     73 |  0.001 % |
184.33/184.46	c |      4941 |     321      208     4042 |    10717     4941     68 |  0.001 % |
185.03/185.11	c |      7504 |     321      208     4042 |    11789     7504     69 |  0.001 % |
186.03/186.17	c |     11351 |     321      208     4042 |    12968    11351     68 |  0.001 % |
187.84/187.93	c |     17118 |     321      208     4042 |    14265    10602     65 |  0.001 % |
190.43/190.55	c |     25775 |     321      208     4042 |    15692    12088     66 |  0.001 % |
194.43/194.56	c |     38749 |     321      208     4042 |    17261     9303     70 |  0.001 % |
200.03/200.17	c ===============================================================================
201.02/201.14	c core #4
201.02/201.14	c ============================[ Search Statistics ]==============================
201.02/201.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.02/201.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.02/201.14	c ===============================================================================
201.02/201.14	c |         0 |     421      209     4242 |     5000        0    nan |  0.000 % |
201.02/201.17	c |       108 |     421      209     4242 |     5500      108    109 |  0.001 % |
201.02/201.18	c |       258 |     421      209     4242 |     6050      258     97 |  0.001 % |
201.02/201.19	c |       483 |     421      209     4242 |     6655      483     77 |  0.001 % |
201.14/201.21	c |       822 |     421      209     4242 |     7320      822     68 |  0.001 % |
201.14/201.24	c |      1329 |     421      209     4242 |     8052     1329     63 |  0.001 % |
201.14/201.29	c |      2090 |     421      209     4242 |     8857     2090     59 |  0.001 % |
201.23/201.37	c |      3229 |     421      209     4242 |     9743     3229     56 |  0.001 % |
201.43/201.51	c |      4939 |     421      209     4242 |    10717     4939     55 |  0.001 % |
201.63/201.77	c |      7501 |     421      209     4242 |    11789     7501     55 |  0.001 % |
202.13/202.21	c |     11346 |     421      209     4242 |    12968    11346     54 |  0.001 % |
203.03/203.10	c |     17112 |     421      209     4242 |    14265    10589     54 |  0.001 % |
204.22/204.38	c |     25766 |     421      209     4242 |    15692    12074     53 |  0.001 % |
206.42/206.58	c |     38743 |     421      209     4242 |    17261     9287     51 |  0.001 % |
210.42/210.52	c |     58204 |     421      209     4242 |    18987    11422     49 |  0.001 % |
215.83/215.94	c |     87396 |     421      209     4242 |    20886    12024     51 |  0.001 % |
225.92/226.05	c |    131187 |     421      209     4242 |    22974    13903     51 |  0.001 % |
241.92/242.08	c |    196873 |     421      209     4242 |    25272    20926     49 |  0.001 % |
266.40/266.57	c |    295402 |     421      209     4242 |    27799    22715     50 |  0.001 % |
304.80/304.90	c |    443194 |     421      209     4242 |    30579    23536     49 |  0.001 % |
365.78/365.99	c |    664881 |     421      209     4242 |    33637    18003     48 |  0.001 % |
461.05/461.23	c |    997406 |     421      209     4242 |    37001    21739     50 |  0.001 % |
603.10/603.34	c |   1496194 |     421      209     4242 |    40701    18043     49 |  0.001 % |
837.93/838.29	c |   2244380 |     421      209     4242 |    44771    18775     52 |  0.001 % |
1249.10/1249.60	c |   3366655 |     421      209     4242 |    49248    30862     47 |  0.001 % |

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-2656274-1276597990/watcher-2656274-1276597990 -o /tmp/evaluation-result-2656274-1276597990/solver-2656274-1276597990 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656274-1276597990.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.09 1.08 1.03 3/106 9144
/proc/meminfo: memFree=1544516/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=2568 CPUtime=0
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 284 0 0 0 0 0 0 0 20 0 1 0 1089915 2629632 196 1992294400 134512640 135751879 4289393056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 642 196 146 303 0 337 0

[startup+0.0603321 s]
/proc/loadavg: 1.09 1.08 1.03 3/106 9144
/proc/meminfo: memFree=1544516/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=2964 CPUtime=0.05
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 396 0 0 0 5 0 0 0 20 0 1 0 1089915 3035136 308 1992294400 134512640 135751879 4289393056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 741 308 147 303 0 436 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2964

[startup+0.101338 s]
/proc/loadavg: 1.09 1.08 1.03 3/106 9144
/proc/meminfo: memFree=1544516/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=3228 CPUtime=0.09
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 467 0 0 0 9 0 0 0 20 0 1 0 1089915 3305472 379 1992294400 134512640 135751879 4289393056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 807 379 147 303 0 502 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3228

[startup+0.301371 s]
/proc/loadavg: 1.09 1.08 1.03 3/106 9144
/proc/meminfo: memFree=1544516/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=4416 CPUtime=0.29
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 755 0 0 0 28 1 0 0 20 0 1 0 1089915 4521984 667 1992294400 134512640 135751879 4289393056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 1104 667 147 303 0 799 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4416

[startup+0.701436 s]
/proc/loadavg: 1.09 1.08 1.03 3/106 9144
/proc/meminfo: memFree=1544516/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=6164 CPUtime=0.69
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 1192 0 0 0 66 3 0 0 20 0 1 0 1089915 6311936 1104 1992294400 134512640 135751879 4289393056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 1541 1104 148 303 0 1236 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6164

[startup+1.50157 s]
/proc/loadavg: 1.08 1.08 1.03 2/107 9145
/proc/meminfo: memFree=1539300/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=9200 CPUtime=1.49
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 1968 0 0 0 144 5 0 0 22 0 1 0 1089915 9420800 1880 1992294400 134512640 135751879 4289393056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 2300 1880 148 303 0 1995 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9200

[startup+3.10083 s]
/proc/loadavg: 1.08 1.08 1.03 2/107 9145
/proc/meminfo: memFree=1535580/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=14092 CPUtime=3.09
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 3191 0 0 0 300 9 0 0 25 0 1 0 1089915 14430208 3103 1992294400 134512640 135751879 4289393056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 3523 3103 148 303 0 3218 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14092

[startup+6.30135 s]
/proc/loadavg: 1.08 1.08 1.03 2/107 9145
/proc/meminfo: memFree=1526156/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=22296 CPUtime=6.29
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 5219 0 0 0 613 16 0 0 25 0 1 0 1089915 22831104 5131 1992294400 134512640 135751879 4289393056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 5574 5131 148 303 0 5269 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22296

[startup+12.7004 s]
/proc/loadavg: 1.07 1.08 1.03 2/107 9145
/proc/meminfo: memFree=1512144/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=35872 CPUtime=12.68
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 8610 0 0 0 1239 29 0 0 25 0 1 0 1089915 36732928 8522 1992294400 134512640 135751879 4289393056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 8968 8522 148 303 0 8663 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35872

[startup+25.5015 s]
/proc/loadavg: 1.06 1.08 1.02 2/107 9145
/proc/meminfo: memFree=1488832/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=58104 CPUtime=25.48
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 14171 0 0 0 2499 49 0 0 25 0 1 0 1089915 59498496 14083 1992294400 134512640 135751879 4289393056 18446744073709551615 134616822 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 14526 14083 148 303 0 14221 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58104

[startup+51.1017 s]
/proc/loadavg: 1.03 1.07 1.02 2/107 9145
/proc/meminfo: memFree=1448904/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=98428 CPUtime=51.07
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 24245 0 0 0 5020 87 0 0 25 0 1 0 1089915 100790272 24157 1992294400 134512640 135751879 4289393056 18446744073709551615 134616748 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 24607 24157 148 303 0 24302 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 98428

[startup+102.309 s]
/proc/loadavg: 1.01 1.06 1.02 2/107 9147
/proc/meminfo: memFree=1373884/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=172500 CPUtime=102.26
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 42725 0 0 0 10068 158 0 0 25 0 1 0 1089915 176640000 42637 1992294400 134512640 135751879 4289393056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 43125 42637 148 303 0 42820 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 172500

[startup+162.301 s]
/proc/loadavg: 1.00 1.04 1.01 2/107 9149
/proc/meminfo: memFree=1295392/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=251340 CPUtime=162.24
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 62384 0 0 0 15986 238 0 0 25 0 1 0 1089915 257372160 62296 1992294400 134512640 135751879 4289393056 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 62835 62296 148 303 0 62530 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 251340

[startup+222.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 9151
/proc/meminfo: memFree=1243932/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=302016 CPUtime=222.22
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 75176 0 0 0 21907 315 0 0 25 0 1 0 1089915 309264384 75055 1992294400 134512640 135751879 4289393056 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 75504 75055 151 303 0 75199 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 302016

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 9151
/proc/meminfo: memFree=1195448/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=350844 CPUtime=282.2
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 87351 0 0 0 27827 393 0 0 25 0 1 0 1089915 359264256 87230 1992294400 134512640 135751879 4289393056 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 87711 87230 151 303 0 87406 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 350844

[startup+342.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 9153
/proc/meminfo: memFree=1147956/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=398040 CPUtime=342.18
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 99119 0 0 0 33758 460 0 0 25 0 1 0 1089915 407592960 98998 1992294400 134512640 135751879 4289393056 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 99510 98998 151 303 0 99205 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 398040

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9155
/proc/meminfo: memFree=1098728/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=447188 CPUtime=402.16
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 111415 0 0 0 39684 532 0 0 25 0 1 0 1089915 457920512 111294 1992294400 134512640 135751879 4289393056 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 111797 111294 151 303 0 111492 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 447188

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9157
/proc/meminfo: memFree=1051732/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=494152 CPUtime=462.15
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 123130 0 0 0 45616 599 0 0 25 0 1 0 1089915 506011648 123009 1992294400 134512640 135751879 4289393056 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 123538 123009 151 303 0 123233 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 494152

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9159
/proc/meminfo: memFree=1002628/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=543468 CPUtime=522.13
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 135463 0 0 0 51539 674 0 0 25 0 1 0 1089915 556511232 135342 1992294400 134512640 135751879 4289393056 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 135867 135342 151 303 0 135562 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 543468

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9159
/proc/meminfo: memFree=943356/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=602588 CPUtime=582.1
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 150216 0 0 0 57462 748 0 0 25 0 1 0 1089915 617050112 150096 1992294400 134512640 135751879 4289393056 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 150647 150096 151 303 0 150342 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 602588

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9161
/proc/meminfo: memFree=887556/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=657712 CPUtime=642.09
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 163970 0 0 0 63396 813 0 0 25 0 1 0 1089915 673497088 163849 1992294400 134512640 135751879 4289393056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 164428 163849 151 303 0 164123 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 657712

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9167
/proc/meminfo: memFree=688784/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=856268 CPUtime=882.01
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 213534 0 0 0 87144 1057 0 0 25 0 1 0 1089915 876818432 213413 1992294400 134512640 135751879 4289393056 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 214067 213413 151 303 0 213762 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 856268

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9169
/proc/meminfo: memFree=642408/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=903424 CPUtime=941.99
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 225312 0 0 0 93080 1119 0 0 25 0 1 0 1089915 925106176 225191 1992294400 134512640 135751879 4289393056 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 225856 225191 151 303 0 225551 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 903424

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9171
/proc/meminfo: memFree=599132/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=946024 CPUtime=1001.97
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 235974 0 0 0 99024 1173 0 0 25 0 1 0 1089915 968728576 235853 1992294400 134512640 135751879 4289393056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 236506 235853 151 303 0 236201 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 946024

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9173
/proc/meminfo: memFree=557096/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=987920 CPUtime=1061.96
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 246426 0 0 0 104967 1229 0 0 25 0 1 0 1089915 1011630080 246305 1992294400 134512640 135751879 4289393056 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 246980 246305 151 303 0 246675 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 987920

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9175
/proc/meminfo: memFree=514316/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=1030556 CPUtime=1121.94
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 257072 0 0 0 110908 1286 0 0 25 0 1 0 1089915 1055289344 256951 1992294400 134512640 135751879 4289393056 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 257639 256951 151 303 0 257334 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1030556

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9175
/proc/meminfo: memFree=471412/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=1073696 CPUtime=1181.92
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 267835 0 0 0 116849 1343 0 0 25 0 1 0 1089915 1099464704 267714 1992294400 134512640 135751879 4289393056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 268424 267714 151 303 0 268119 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1073696

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9177
/proc/meminfo: memFree=428136/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=1116464 CPUtime=1241.9
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 278531 0 0 0 122791 1399 0 0 25 0 1 0 1089915 1143259136 278410 1992294400 134512640 135751879 4289393056 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 279116 278410 151 303 0 278811 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1116464

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9179
/proc/meminfo: memFree=387712/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=1156372 CPUtime=1301.88
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 288509 0 0 0 128742 1446 0 0 25 0 1 0 1089915 1184124928 288388 1992294400 134512640 135751879 4289393056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 289093 288388 151 303 0 288788 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1156372

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9181
/proc/meminfo: memFree=346668/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=1197668 CPUtime=1361.86
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 298813 0 0 0 134686 1500 0 0 25 0 1 0 1089915 1226412032 298692 1992294400 134512640 135751879 4289393056 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 299417 298692 151 303 0 299112 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1197668

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9183
/proc/meminfo: memFree=306120/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=1237916 CPUtime=1421.84
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 308884 0 0 0 140631 1553 0 0 25 0 1 0 1089915 1267625984 308763 1992294400 134512640 135751879 4289393056 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 309479 308763 151 303 0 309174 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1237916

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9183
/proc/meminfo: memFree=266068/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=1278216 CPUtime=1481.82
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 318956 0 0 0 146575 1607 0 0 25 0 1 0 1089915 1308893184 318835 1992294400 134512640 135751879 4289393056 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 319554 318835 151 303 0 319249 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1278216

[startup+1542.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 9185
/proc/meminfo: memFree=224776/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=1319428 CPUtime=1541.8
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 329242 0 0 0 152519 1661 0 0 25 0 1 0 1089915 1351094272 329121 1992294400 134512640 135751879 4289393056 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 329857 329121 151 303 0 329552 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1319428

[startup+1602.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 9187
/proc/meminfo: memFree=187452/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=1356320 CPUtime=1601.79
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 338466 0 0 0 158469 1710 0 0 25 0 1 0 1089915 1388871680 338345 1992294400 134512640 135751879 4289393056 18446744073709551615 134603007 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 339080 338345 151 303 0 338775 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1356320

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9189
/proc/meminfo: memFree=142192/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=1401716 CPUtime=1661.76
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 349814 0 0 0 164409 1767 0 0 25 0 1 0 1089915 1435357184 349693 1992294400 134512640 135751879 4289393056 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 350429 349693 151 303 0 350124 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1401716

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9200
/proc/meminfo: memFree=101148/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=1442804 CPUtime=1721.74
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 360080 0 0 0 170353 1821 0 0 25 0 1 0 1089915 1477431296 359959 1992294400 134512640 135751879 4289393056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 360701 359959 151 303 0 360396 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1442804

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9200
/proc/meminfo: memFree=60724/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=1482888 CPUtime=1781.71
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 370066 0 0 0 176294 1877 0 0 25 0 1 0 1089915 1518477312 369945 1992294400 134512640 135751879 4289393056 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 370722 369945 151 303 0 370417 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1482888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9202
/proc/meminfo: memFree=51052/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=1492260 CPUtime=1800.02
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4202496 372426 0 0 0 178112 1890 0 0 25 0 1 0 1089915 1528074240 372305 1992294400 134512640 135751879 4289393056 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9144/statm: 373065 372305 151 303 0 372760 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1492260

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

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9202
/proc/meminfo: memFree=51052/2059040 swapFree=4192956/4192956
[pid=9144] ppid=9142 vsize=0 CPUtime=1800.12
/proc/9144/stat : 9144 (wbo1.4b) R 9142 9144 2327 0 -1 4203524 372426 0 0 0 178112 1900 0 0 25 0 1 0 1089915 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/9144/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.75
CPU time (s): 1800.16
CPU user time (s): 1781.13
CPU system time (s): 19.0361
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 1492260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.13
system time used= 19.0361
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372426
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= 3
involuntary context switches= 3282

runsolver used 3.04354 second user time and 8.44272 second system time

The end

Launcher Data 

Begin job on node055 at 2010-06-15 12:33:10
IDJOB=2656274
IDBENCH=2891
IDSOLVER=1161
FILE ID=node055/2656274-1276597990
PBS_JOBID= 11173558
Free space on /tmp= 62480 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_30_30.r.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656274-1276597990/watcher-2656274-1276597990 -o /tmp/evaluation-result-2656274-1276597990/solver-2656274-1276597990 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656274-1276597990.opb

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

MD5SUM BENCH= 28e00d9d9bb0c4a536b74577b47a7849
RANDOM SEED=753347459

node055.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.258
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.51
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.258
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1545044 kB
Buffers:         44976 kB
Cached:         343168 kB
SwapCached:          0 kB
Active:         190064 kB
Inactive:       257416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1545044 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2656 kB
Writeback:           0 kB
AnonPages:       59260 kB
Mapped:          15328 kB
Slab:            44732 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183052 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= 62476 MiB
End job on node055 at 2010-06-15 13:03:12