Trace number 2655794

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_014_area_delay.opb
MD5SUM525408a019e1cf8f47f95fb4bdf20c0f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark13.401
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables5256
Total number of constraints15614
Number of constraints which are clauses15614
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 constraint1
Maximum length of a constraint63
Number of terms in the objective function 2531
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 2531
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2531
Number of bits of the biggest sum of numbers12
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-2655794-1276636444.opb.
0.00/0.00	c Instance file HOME/instance-2655794-1276636444.opb
0.00/0.00	c File size is 462714 bytes.
0.00/0.07	c Highest Coefficient sum: 64
0.00/0.07	c ============================[ Problem Statistics ]=============================
0.00/0.07	c |                                                                             |
0.00/0.07	c |  Parsing time:          0.07         s                                      |
0.00/0.07	c |  Number Variables:      5256                                                |
0.00/0.07	c |  Number Clauses:        15614                                               |
0.00/0.07	c |  Number Cardinality:    0                                                   |
0.00/0.07	c |  Number PB Constraints: 0                                                   |
0.19/0.25	c ============================[ Search Statistics ]==============================
0.19/0.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.25	c ===============================================================================
0.19/0.25	c |         0 |    4768    15658    37819 |     5204        0    nan |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 38
0.19/0.27	o 38
0.19/0.27	c Elapsed CPU time: 0.25696 s	Remaining CPU time: 179.743 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |        24 |    4768    15659    40350 |     5219       24     12 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 36
0.19/0.27	o 36
0.19/0.27	c Elapsed CPU time: 0.263959 s	Remaining CPU time: 179.736 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |        30 |    4768    15660    42881 |     5220       30     13 |  0.000 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: 35
0.19/0.28	o 35
0.19/0.28	c Elapsed CPU time: 0.269958 s	Remaining CPU time: 179.73 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |        33 |    4768    15661    45412 |     5220       33     13 |  0.000 % |
0.29/0.33	c |       133 |    4768    15661    45412 |     5742      133     40 |  9.285 % |
0.39/0.40	c |       283 |    4768    15661    45412 |     6316      283     49 |  9.285 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: 33
0.39/0.44	o 33
0.39/0.44	c Elapsed CPU time: 0.416936 s	Remaining CPU time: 179.583 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |       354 |    4768    15662    47943 |     5220      354     42 |  9.285 % |
0.39/0.48	c |       454 |    4768    15662    47943 |     5742      454     46 |  9.285 % |
0.49/0.54	c |       604 |    4768    15662    47943 |     6317      604     42 |  9.285 % |
0.59/0.64	c |       829 |    4768    15662    47943 |     6948      829     41 |  9.285 % |
0.69/0.79	c |      1166 |    4768    15662    47943 |     7643     1166     47 |  9.285 % |
0.79/0.88	c ===============================================================================
0.79/0.88	c New solution: 32
0.79/0.88	o 32
0.79/0.88	c Elapsed CPU time: 0.840872 s	Remaining CPU time: 179.159 s
0.79/0.88	c ===============================================================================
0.79/0.88	c |      1341 |    4768    15663    50474 |     5221     1341     47 |  9.285 % |
0.89/0.94	c |      1441 |    4768    15663    50474 |     5743     1441     47 |  9.286 % |
0.99/1.01	c |      1592 |    4768    15663    50474 |     6317     1592     48 |  9.285 % |
1.10/1.12	c |      1817 |    4768    15663    50474 |     6949     1817     49 |  9.286 % |
1.20/1.28	c |      2154 |    4768    15663    50474 |     7644     2154     51 |  9.285 % |
1.49/1.50	c |      2660 |    4768    15663    50474 |     8408     2660     52 |  9.285 % |
1.79/1.85	c |      3420 |    4768    15663    50474 |     9249     3420     55 |  9.285 % |
2.30/2.38	c |      4559 |    4768    15663    50474 |    10174     4559     58 |  9.285 % |
2.99/3.07	c |      6267 |    4768    15663    50474 |    11191     6267     63 |  9.285 % |
4.09/4.18	c |      8829 |    4768    15663    50474 |    12310     8829     67 |  9.285 % |
6.70/6.73	c |     12679 |    4768    15663    50474 |    13541    12679     64 |  9.285 % |
9.09/9.19	c |     18446 |    4768    15663    50474 |    14896    10497     82 |  9.285 % |
13.79/13.88	c |     27098 |    4768    15663    50474 |    16385    10594     82 |  9.285 % |
19.69/19.75	c |     40073 |    4768    15663    50474 |    18024    14225     70 |  9.285 % |
29.79/29.82	c |     59536 |    4768    15663    50474 |    19826    13603    105 |  9.285 % |
44.67/44.76	c |     88728 |    4768    15663    50474 |    21809    20747     86 |  9.285 % |
65.47/65.56	c ===============================================================================
65.47/65.56	c New solution: 31
65.47/65.56	o 31
65.47/65.56	c Elapsed CPU time: 64.8981 s	Remaining CPU time: 115.102 s
65.47/65.56	c ===============================================================================
65.47/65.56	c |    128237 |    4768    15664    53005 |     5221    21173     95 |  9.285 % |
65.77/65.89	c |    128337 |    4768    15664    53005 |     5743     5394     93 |  9.286 % |
65.86/65.97	c |    128487 |    4768    15664    53005 |     6317     5544     92 |  9.285 % |
65.97/66.08	c |    128712 |    4768    15664    53005 |     6949     5769     90 |  9.286 % |
66.16/66.23	c |    129049 |    4768    15664    53005 |     7644     6106     88 |  9.286 % |
66.37/66.46	c |    129556 |    4768    15664    53005 |     8409     6613     87 |  9.285 % |
66.76/66.80	c |    130315 |    4768    15664    53005 |     9249     7372     84 |  9.286 % |
67.26/67.34	c |    131454 |    4768    15664    53005 |    10174     8511     81 |  9.285 % |
67.96/68.08	c |    133162 |    4768    15664    53005 |    11192    10219     80 |  9.285 % |
69.07/69.18	c |    135725 |    4768    15664    53005 |    12311    12782     84 |  9.286 % |
71.07/71.16	c |    139569 |    4768    15664    53005 |    13542     9559     76 |  9.285 % |
73.56/73.65	c |    145335 |    4768    15664    53005 |    14897    15325     75 |  9.285 % |
77.66/77.72	c |    153985 |    4768    15664    53005 |    16386    15515     77 |  9.285 % |
83.57/83.66	c |    166959 |    4768    15664    53005 |    18025     9897     84 |  9.285 % |
92.47/92.51	c |    186423 |    4768    15664    53005 |    19828    19485     78 |  9.285 % |
107.65/107.76	c |    215616 |    4768    15664    53005 |    21810    15541     91 |  9.285 % |
134.04/134.10	c |    259405 |    4768    15664    53005 |    23991    21923    116 |  9.285 % |
172.64/172.72	c |    325089 |    4768    15664    53005 |    26391    12308    118 |  9.285 % |
181.63/181.75	c There are 488 assigned variables. 222 in cost function.
182.73/182.84	c core #1
182.73/182.84	c core #2
182.73/182.84	c core #3
182.73/182.84	c core #4
182.73/182.84	c core #5
182.73/182.84	c core #6
182.73/182.84	c core #7
182.73/182.84	c core #8
182.73/182.84	c core #9
182.73/182.84	c core #10
182.73/182.84	c core #11
182.73/182.84	c core #12
182.73/182.84	c core #13
182.73/182.84	c core #14
182.73/182.84	c core #15
182.73/182.84	c core #16
182.73/182.84	c core #17
182.73/182.84	c core #18
182.73/182.84	c core #19
182.73/182.84	c core #20
182.73/182.84	c core #21
182.73/182.84	c ============================[ Search Statistics ]==============================
182.73/182.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.73/182.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.73/182.84	c ===============================================================================
182.73/182.84	c |         0 |    1475    16426    35777 |     5475        0    nan |  0.000 % |
182.73/182.85	c ===============================================================================
182.73/182.89	c core #22
182.73/182.89	c ============================[ Search Statistics ]==============================
182.73/182.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.73/182.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.73/182.89	c ===============================================================================
182.73/182.89	c |         0 |    1615    16436    35946 |     5478        0    nan |  0.000 % |
182.83/182.91	c ===============================================================================
182.83/182.96	c core #23
182.83/182.96	c ============================[ Search Statistics ]==============================
182.83/182.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.83/182.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.83/182.96	c ===============================================================================
182.83/182.96	c |         0 |    2584    16477    38729 |     5492        0    nan |  0.000 % |
182.83/182.99	c |       101 |    2584    16477    38729 |     6041      101     60 | 58.113 % |
182.93/183.04	c |       251 |    2584    16477    38729 |     6645      251     57 | 58.113 % |
183.03/183.12	c |       476 |    2583    16477    38729 |     7310      475     69 | 58.129 % |
183.23/183.31	c ===============================================================================
183.23/183.37	c core #24
183.23/183.37	c ============================[ Search Statistics ]==============================
183.23/183.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.23/183.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.23/183.37	c ===============================================================================
183.23/183.37	c |         0 |    3948    16942    42805 |     5647        0    nan |  0.000 % |
183.33/183.41	c |       100 |    3948    16942    42805 |     6212      100     94 | 45.530 % |
183.43/183.52	c |       251 |    3948    16942    42805 |     6833      251     97 | 45.530 % |
183.64/183.70	c |       477 |    3948    16942    42805 |     7516      477    140 | 45.530 % |
183.83/183.92	c |       814 |    3948    16942    42805 |     8268      814    128 | 45.530 % |
184.12/184.20	c |      1322 |    3948    16942    42805 |     9095     1322    106 | 45.530 % |
184.52/184.66	c |      2081 |    3948    16942    42805 |    10004     2081     91 | 45.530 % |
185.23/185.37	c |      3221 |    3948    16942    42805 |    11005     3221     90 | 45.530 % |
186.33/186.42	c |      4929 |    3948    16942    42805 |    12105     4929     97 | 45.530 % |
187.93/188.03	c |      7491 |    3948    16942    42805 |    13316     7491     94 | 45.530 % |
191.52/191.60	c |     11335 |    3948    16942    42805 |    14647    11335     94 | 45.530 % |
198.13/198.28	c |     17102 |    3948    16942    42805 |    16112    17102     89 | 45.530 % |
207.02/207.18	c |     25753 |    3948    16942    42805 |    17723    15963     88 | 45.530 % |
215.32/215.40	c ===============================================================================
216.02/216.14	c core #25
216.02/216.14	c ============================[ Search Statistics ]==============================
216.02/216.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.02/216.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.02/216.14	c ===============================================================================
216.02/216.14	c |         0 |    5243    17567    46666 |     5855        0    nan |  0.000 % |
216.02/216.19	c |       100 |    5243    17567    46666 |     6441      100    109 | 38.628 % |
216.12/216.27	c |       251 |    5243    17567    46666 |     7085      251     76 | 38.628 % |
216.42/216.52	c |       478 |    5243    17567    46666 |     7793      478     81 | 38.628 % |
216.52/216.69	c |       817 |    5243    17567    46666 |     8573      817     76 | 38.628 % |
216.92/217.01	c |      1323 |    5243    17567    46666 |     9430     1323    103 | 38.628 % |
217.41/217.51	c |      2083 |    5243    17567    46666 |    10373     2083     99 | 38.628 % |
218.32/218.48	c |      3222 |    5243    17567    46666 |    11411     3222     92 | 38.628 % |
219.62/219.76	c |      4930 |    5243    17567    46666 |    12552     4930    111 | 38.628 % |
221.22/221.34	c |      7497 |    5243    17567    46666 |    13807     7497    118 | 38.628 % |
224.52/224.61	c |     11343 |    5243    17567    46666 |    15188    11343    122 | 38.628 % |
229.62/229.70	c |     17110 |    5243    17567    46666 |    16706    17110    127 | 38.628 % |
238.41/238.54	c |     25760 |    5243    17567    46666 |    18377    15628    131 | 38.628 % |
251.41/251.50	c |     38737 |    5243    17567    46666 |    20215    17614    111 | 38.628 % |
273.31/273.42	c |     58199 |    5243    17567    46666 |    22236    12864    122 | 38.628 % |
313.59/313.75	c |     87391 |    5243    17567    46666 |    24460    15357    145 | 38.628 % |
373.88/374.01	c |    131181 |    5243    17567    46666 |    26906    27758    198 | 38.628 % |
471.45/471.60	c |    196865 |    5243    17567    46666 |    29597    27328    104 | 38.628 % |
600.31/600.51	c |    295391 |    5243    17567    46666 |    32557    26662    168 | 38.628 % |
863.92/864.25	c |    443183 |    5243    17567    46666 |    35812    18083    244 | 38.628 % |
1246.12/1246.54	c |    664868 |    5243    17567    46666 |    39393    34519    193 | 38.628 % |

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-2655794-1276636444/watcher-2655794-1276636444 -o /tmp/evaluation-result-2655794-1276636444/solver-2655794-1276636444 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655794-1276636444.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.08 3/107 5175
/proc/meminfo: memFree=1834844/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=3488 CPUtime=0
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 403 0 0 0 0 0 0 0 20 0 1 0 37300137 3571712 322 1992294400 134512640 135751879 4289488512 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 872 322 143 303 0 454 0

[startup+0.107094 s]
/proc/loadavg: 1.00 1.00 1.08 3/107 5175
/proc/meminfo: memFree=1834844/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=5696 CPUtime=0.1
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 1181 0 0 0 10 0 0 0 22 0 1 0 37300137 5832704 987 1992294400 134512640 135751879 4289488512 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 1424 987 145 303 0 1119 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5696

[startup+0.201102 s]
/proc/loadavg: 1.00 1.00 1.08 3/107 5175
/proc/meminfo: memFree=1834844/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=5696 CPUtime=0.19
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 1181 0 0 0 19 0 0 0 22 0 1 0 37300137 5832704 987 1992294400 134512640 135751879 4289488512 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 1424 987 145 303 0 1119 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5696

[startup+0.301111 s]
/proc/loadavg: 1.00 1.00 1.08 3/107 5175
/proc/meminfo: memFree=1834844/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=5696 CPUtime=0.29
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 1188 0 0 0 28 1 0 0 22 0 1 0 37300137 5832704 994 1992294400 134512640 135751879 4289488512 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 1424 994 146 303 0 1119 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5696

[startup+0.701147 s]
/proc/loadavg: 1.00 1.00 1.08 3/107 5175
/proc/meminfo: memFree=1834844/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=5696 CPUtime=0.69
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 1189 0 0 0 65 4 0 0 23 0 1 0 37300137 5832704 995 1992294400 134512640 135751879 4289488512 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 1424 995 147 303 0 1119 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5696

[startup+1.50122 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 5176
/proc/meminfo: memFree=1831364/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=5696 CPUtime=1.49
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 1189 0 0 0 144 5 0 0 25 0 1 0 37300137 5832704 995 1992294400 134512640 135751879 4289488512 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 1424 995 147 303 0 1119 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5696

[startup+3.10036 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 5176
/proc/meminfo: memFree=1830868/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=6988 CPUtime=3.09
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 1483 0 0 0 302 7 0 0 25 0 1 0 37300137 7155712 1289 1992294400 134512640 135751879 4289488512 18446744073709551615 134620394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 1747 1289 147 303 0 1442 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6988

[startup+6.30065 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 5178
/proc/meminfo: memFree=1828016/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=9228 CPUtime=6.29
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 2045 0 0 0 620 9 0 0 25 0 1 0 37300137 9449472 1851 1992294400 134512640 135751879 4289488512 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 2307 1851 147 303 0 2002 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9228

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 5178
/proc/meminfo: memFree=1822188/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=15120 CPUtime=12.68
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 3521 0 0 0 1253 15 0 0 25 0 1 0 37300137 15482880 3327 1992294400 134512640 135751879 4289488512 18446744073709551615 134607336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 3780 3327 148 303 0 3475 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15120

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 5178
/proc/meminfo: memFree=1811524/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=25400 CPUtime=25.48
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 6089 0 0 0 2524 24 0 0 25 0 1 0 37300137 26009600 5895 1992294400 134512640 135751879 4289488512 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 6350 5895 148 303 0 6045 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25400

[startup+51.1017 s]
/proc/loadavg: 1.08 1.02 1.08 2/108 5178
/proc/meminfo: memFree=1787344/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=49896 CPUtime=51.07
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 12214 0 0 0 5057 50 0 0 25 0 1 0 37300137 51093504 12020 1992294400 134512640 135751879 4289488512 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 12474 12020 148 303 0 12169 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49896

[startup+102.301 s]
/proc/loadavg: 1.03 1.01 1.07 2/108 5180
/proc/meminfo: memFree=1741216/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=95208 CPUtime=102.26
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 23557 0 0 0 10124 102 0 0 25 0 1 0 37300137 97492992 23363 1992294400 134512640 135751879 4289488512 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 23802 23363 148 303 0 23497 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 95208

[startup+162.302 s]
/proc/loadavg: 1.15 1.05 1.08 2/108 5182
/proc/meminfo: memFree=1686160/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=150692 CPUtime=162.23
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 37411 0 0 0 16073 150 0 0 25 0 1 0 37300137 154308608 37217 1992294400 134512640 135751879 4289488512 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 37673 37217 148 303 0 37368 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 150692

[startup+222.309 s]
/proc/loadavg: 1.19 1.07 1.09 2/108 5182
/proc/meminfo: memFree=1662228/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=173908 CPUtime=222.23
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 43373 0 0 0 22034 189 0 0 25 0 1 0 37300137 178081792 43026 1992294400 134512640 135751879 4289488512 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 43477 43026 151 303 0 43172 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 173908

[startup+282.301 s]
/proc/loadavg: 1.07 1.05 1.08 2/108 5184
/proc/meminfo: memFree=1631724/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=204972 CPUtime=282.2
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 51118 0 0 0 28005 215 0 0 25 0 1 0 37300137 209891328 50771 1992294400 134512640 135751879 4289488512 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 51243 50771 151 303 0 50938 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 204972

[startup+342.302 s]
/proc/loadavg: 1.02 1.04 1.07 2/108 5186
/proc/meminfo: memFree=1594400/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=241812 CPUtime=342.19
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 60338 0 0 0 33978 241 0 0 25 0 1 0 37300137 247615488 59991 1992294400 134512640 135751879 4289488512 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 60453 59991 151 303 0 60148 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 241812

[startup+402.301 s]
/proc/loadavg: 1.01 1.03 1.07 2/108 5188
/proc/meminfo: memFree=1561912/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=274584 CPUtime=402.17
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 68522 0 0 0 39950 267 0 0 25 0 1 0 37300137 281174016 68175 1992294400 134512640 135751879 4289488512 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 68646 68175 151 303 0 68341 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 274584

[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.06 2/108 5190
/proc/meminfo: memFree=1532276/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=303668 CPUtime=462.15
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 75791 0 0 0 45925 290 0 0 25 0 1 0 37300137 310956032 75444 1992294400 134512640 135751879 4289488512 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 75917 75444 151 303 0 75612 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 303668

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.06 2/108 5190
/proc/meminfo: memFree=1499416/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=337100 CPUtime=522.13
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 84129 0 0 0 51893 320 0 0 25 0 1 0 37300137 345190400 83782 1992294400 134512640 135751879 4289488512 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 84275 83782 151 303 0 83970 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 337100

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.05 2/108 5192
/proc/meminfo: memFree=1462960/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=373044 CPUtime=582.11
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 93114 0 0 0 57866 345 0 0 25 0 1 0 37300137 381997056 92767 1992294400 134512640 135751879 4289488512 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 93261 92767 151 303 0 92956 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 373044

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.05 2/108 5194
/proc/meminfo: memFree=1429728/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=406204 CPUtime=642.09
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 101416 0 0 0 63837 372 0 0 25 0 1 0 37300137 415952896 101069 1992294400 134512640 135751879 4289488512 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 101551 101069 151 303 0 101246 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 406204

[startup+702.301 s]

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

/proc/loadavg: 1.00 1.00 1.00 2/108 5208
/proc/meminfo: memFree=1086124/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=749156 CPUtime=1181.94
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 187111 0 0 0 117600 594 0 0 25 0 1 0 37300137 767135744 186764 1992294400 134512640 135751879 4289488512 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 187289 186764 151 303 0 186984 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 749156

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5210
/proc/meminfo: memFree=1052272/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=782172 CPUtime=1241.92
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 195372 0 0 0 123574 618 0 0 25 0 1 0 37300137 800944128 195025 1992294400 134512640 135751879 4289488512 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 195543 195025 151 303 0 195238 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 782172

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5212
/proc/meminfo: memFree=1026356/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=808160 CPUtime=1301.9
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 201863 0 0 0 129548 642 0 0 25 0 1 0 37300137 827555840 201516 1992294400 134512640 135751879 4289488512 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 202040 201516 151 303 0 201735 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 808160

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5214
/proc/meminfo: memFree=997836/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=836704 CPUtime=1361.88
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 208981 0 0 0 135527 661 0 0 25 0 1 0 37300137 856784896 208634 1992294400 134512640 135751879 4289488512 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 209176 208634 151 303 0 208871 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 836704

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5214
/proc/meminfo: memFree=966216/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=868000 CPUtime=1421.87
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 216785 0 0 0 141503 684 0 0 25 0 1 0 37300137 888832000 216438 1992294400 134512640 135751879 4289488512 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 217000 216438 151 303 0 216695 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 868000

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5219
/proc/meminfo: memFree=923188/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=910872 CPUtime=1481.85
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 227529 0 0 0 147479 706 0 0 25 0 1 0 37300137 932732928 227182 1992294400 134512640 135751879 4289488512 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 227718 227182 151 303 0 227413 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 910872

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5221
/proc/meminfo: memFree=882764/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=950884 CPUtime=1541.84
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 237516 0 0 0 153455 729 0 0 25 0 1 0 37300137 973705216 237169 1992294400 134512640 135751879 4289488512 18446744073709551615 134616909 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 237721 237169 151 303 0 237416 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 950884

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5223
/proc/meminfo: memFree=858336/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=975524 CPUtime=1601.82
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 243665 0 0 0 159433 749 0 0 25 0 1 0 37300137 998936576 243318 1992294400 134512640 135751879 4289488512 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 243881 243318 151 303 0 243576 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 975524

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5225
/proc/meminfo: memFree=830684/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=1002864 CPUtime=1661.8
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 250509 0 0 0 165408 772 0 0 25 0 1 0 37300137 1026932736 250162 1992294400 134512640 135751879 4289488512 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 250716 250162 151 303 0 250411 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1002864

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5225
/proc/meminfo: memFree=802164/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=1032208 CPUtime=1721.78
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 257827 0 0 0 171383 795 0 0 25 0 1 0 37300137 1056980992 257480 1992294400 134512640 135751879 4289488512 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 258052 257480 151 303 0 257747 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1032208

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5227
/proc/meminfo: memFree=765584/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=1068252 CPUtime=1781.76
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 266843 0 0 0 177358 818 0 0 25 0 1 0 37300137 1093890048 266496 1992294400 134512640 135751879 4289488512 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 267063 266496 151 303 0 266758 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1068252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5227
/proc/meminfo: memFree=755168/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=1078376 CPUtime=1800.06
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 269370 0 0 0 179183 823 0 0 25 0 1 0 37300137 1104257024 269023 1992294400 134512640 135751879 4289488512 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 269594 269023 151 303 0 269289 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1078376

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

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1800.06 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1800.06 s) to the 'lost time'.

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5227
/proc/meminfo: memFree=755168/2059040 swapFree=4140108/4192956
[pid=5175] ppid=5173 vsize=1078376 CPUtime=1800.06
/proc/5175/stat : 5175 (wbo1.4b) R 5173 5175 4047 0 -1 4202496 269370 0 0 0 179183 823 0 0 25 0 1 0 37300137 1104257024 269023 1992294400 134512640 135751879 4289488512 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5175/statm: 269594 269023 151 303 0 269289 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1078376

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/109 5228
/proc/meminfo: memFree=1817552/2059040 swapFree=4140108/4192956
[pid=5175] ppid=-1 vsize=0 CPUtime=0
/proc/5175/stat : -- couldn't open stat file --/proc/5175/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/109 5228
/proc/meminfo: memFree=1817552/2059040 swapFree=4140108/4192956
[pid=5175] ppid=-1 vsize=0 CPUtime=0
/proc/5175/stat : -- couldn't open stat file --/proc/5175/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5175 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=838599
#  childrusage.ru_stime.tv_sec=8
#  childrusage.ru_stime.tv_usec=333733
# CPU time returned by wait4() is 1800.17
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1800.06
#  lost CPU user time (s): 1791.83
#  lost CPU system time (s): 8.23

Real time (s): 1800.71
CPU time (s): 1800.06
CPU user time (s): 1791.83
CPU system time (s): 8.23
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 1078376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.84
system time used= 8.33373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269370
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 6352

runsolver used 3.15652 second user time and 8.32573 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-15 23:14:04
IDJOB=2655794
IDBENCH=24999
IDSOLVER=1161
FILE ID=node025/2655794-1276636444
PBS_JOBID= 11172360
Free space on /tmp= 62580 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655794-1276636444/watcher-2655794-1276636444 -o /tmp/evaluation-result-2655794-1276636444/solver-2655794-1276636444 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655794-1276636444.opb

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

MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f
RANDOM SEED=390632853

node025.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.242
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.48
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.242
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:       1835372 kB
Buffers:         31112 kB
Cached:         104096 kB
SwapCached:       7172 kB
Active:          93116 kB
Inactive:        56644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1835372 kB
SwapTotal:     4192956 kB
SwapFree:      4140108 kB
Dirty:            3100 kB
Writeback:           0 kB
AnonPages:       12104 kB
Mapped:          12988 kB
Slab:            52100 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182920 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= 62580 MiB
End job on node025 at 2010-06-15 23:44:07