Trace number 2655796

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.15 1800.88

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_026_area_delay.opb
MD5SUM4c21c441bf9f3f3be8f0cdb52c39f9b4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark53.5239
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 variables12852
Total number of constraints41686
Number of constraints which are clauses41686
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 constraint127
Number of terms in the objective function 6267
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 6267
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6267
Number of bits of the biggest sum of numbers13
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.01	c wbo 1.4 beta - 20100517
0.00/0.01	c Parsing opb file format. File HOME/instance-2655796-1276637078.opb.
0.00/0.01	c Instance file HOME/instance-2655796-1276637078.opb
0.00/0.01	c File size is 1248060 bytes.
0.09/0.19	c Highest Coefficient sum: 128
0.09/0.19	c ============================[ Problem Statistics ]=============================
0.09/0.19	c |                                                                             |
0.09/0.19	c |  Parsing time:          0.18         s                                      |
0.09/0.19	c |  Number Variables:      12852                                               |
0.09/0.19	c |  Number Clauses:        41686                                               |
0.09/0.19	c |  Number Cardinality:    0                                                   |
0.09/0.19	c |  Number PB Constraints: 0                                                   |
0.89/0.92	c ============================[ Search Statistics ]==============================
0.89/0.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.92	c ===============================================================================
0.89/0.92	c |         0 |   10375    41775    98459 |    13895        0    nan |  0.000 % |
0.89/0.95	c ===============================================================================
0.89/0.95	c New solution: 37
0.89/0.95	o 37
0.89/0.95	c Elapsed CPU time: 0.925859 s	Remaining CPU time: 179.074 s
0.89/0.95	c ===============================================================================
0.89/0.95	c |        29 |   10375    41776   104726 |    13925       29     16 |  0.000 % |
1.00/1.08	c |       130 |   10375    41776   104726 |    15317      130     51 | 19.273 % |
1.10/1.14	c ===============================================================================
1.10/1.14	c New solution: 36
1.10/1.14	o 36
1.10/1.14	c Elapsed CPU time: 1.10083 s	Remaining CPU time: 178.899 s
1.10/1.14	c ===============================================================================
1.10/1.14	c |       217 |   10375    41777   110993 |    13925      217     37 | 19.273 % |
1.19/1.21	c |       317 |   10375    41777   110993 |    15318      317     30 | 19.273 % |
1.19/1.28	c ===============================================================================
1.19/1.28	c New solution: 35
1.19/1.28	o 35
1.19/1.28	c Elapsed CPU time: 1.22281 s	Remaining CPU time: 178.777 s
1.19/1.28	c ===============================================================================
1.19/1.28	c |       368 |   10375    41778   117260 |    13926      368     33 | 19.273 % |
1.29/1.34	c |       468 |   10375    41778   117260 |    15318      468     29 | 19.274 % |
1.39/1.47	c |       618 |   10375    41778   117260 |    16850      618     27 | 19.273 % |
1.49/1.60	c ===============================================================================
1.49/1.60	c New solution: 34
1.49/1.60	o 34
1.49/1.60	c Elapsed CPU time: 1.50877 s	Remaining CPU time: 178.491 s
1.49/1.60	c ===============================================================================
1.49/1.60	c |       738 |   10375    41779   123527 |    13926      738     28 | 19.273 % |
1.69/1.71	c |       838 |   10375    41779   123527 |    15318      838     30 | 19.274 % |
1.69/1.79	c ===============================================================================
1.69/1.79	c New solution: 33
1.69/1.79	o 33
1.69/1.79	c Elapsed CPU time: 1.69774 s	Remaining CPU time: 178.302 s
1.69/1.79	c ===============================================================================
1.69/1.79	c |       909 |   10375    41780   129794 |    13926      909     31 | 19.274 % |
1.79/1.88	c |      1010 |   10375    41780   129794 |    15319     1010     31 | 19.273 % |
1.99/2.06	c |      1160 |   10375    41780   129794 |    16851     1160     32 | 19.273 % |
2.29/2.30	c |      1385 |   10375    41780   129794 |    18536     1385     35 | 19.274 % |
2.69/2.71	c |      1724 |   10375    41780   129794 |    20390     1724     43 | 19.274 % |
3.19/3.29	c |      2230 |   10375    41780   129794 |    22429     2230     49 | 19.274 % |
4.30/4.32	c |      2989 |   10375    41780   129794 |    24671     2989     53 | 19.274 % |
5.68/5.70	c |      4128 |   10375    41780   129794 |    27139     4128     64 | 19.274 % |
7.89/7.94	c |      5836 |   10375    41780   129794 |    29853     5836     64 | 19.273 % |
10.49/10.56	c |      8398 |   10375    41780   129794 |    32838     8398     68 | 19.273 % |
15.39/15.49	c |     12243 |   10375    41780   129794 |    36122    12243     74 | 19.273 % |
22.48/22.52	c |     18010 |   10375    41780   129794 |    39734    18010     79 | 19.273 % |
32.58/32.69	c |     26661 |   10375    41780   129794 |    43707    26661     93 | 19.273 % |
49.47/49.51	c |     39638 |   10375    41780   129794 |    48078    39638     87 | 19.273 % |
75.55/75.68	c |     59099 |   10375    41780   129794 |    52886    18281    106 | 19.273 % |
112.04/112.19	c |     88291 |   10375    41780   129794 |    58175    47473     98 | 19.273 % |
170.43/170.59	c |    132080 |   10375    41780   129794 |    63992    40277    119 | 19.273 % |
177.22/177.39	c ===============================================================================
177.22/177.39	c New solution: 32
177.22/177.39	o 32
177.22/177.39	c Elapsed CPU time: 176.178 s	Remaining CPU time: 3.82178 s
177.22/177.39	c ===============================================================================
177.22/177.39	c |    137061 |   10375    41781   136061 |    13927    45258    115 | 19.273 % |
177.81/177.92	c |    137161 |   10375    41781   136061 |    15319    11814     95 | 19.273 % |
177.92/178.09	c |    137312 |   10375    41781   136061 |    16851    11965     95 | 19.274 % |
178.22/178.35	c |    137537 |   10375    41781   136061 |    18536    12190     94 | 19.273 % |
178.62/178.76	c |    137874 |   10375    41781   136061 |    20390    12527     93 | 19.274 % |
179.32/179.43	c |    138381 |   10375    41781   136061 |    22429    13034     92 | 19.273 % |
180.22/180.30	c |    139140 |   10375    41781   136061 |    24672    13793     91 | 19.273 % |
181.11/181.26	c There are 2477 assigned variables. 1194 in cost function.
183.02/183.16	c core #1
183.02/183.16	c core #2
183.02/183.16	c core #3
183.02/183.16	c core #4
183.02/183.16	c core #5
183.02/183.16	c core #6
183.02/183.16	c core #7
183.02/183.16	c core #8
183.02/183.16	c core #9
183.02/183.16	c core #10
183.02/183.16	c core #11
183.02/183.16	c core #12
183.02/183.16	c core #13
183.02/183.16	c core #14
183.02/183.16	c core #15
183.02/183.16	c core #16
183.02/183.16	c core #17
183.02/183.16	c core #18
183.02/183.16	c core #19
183.02/183.16	c core #20
183.02/183.16	c core #21
183.02/183.16	c core #22
183.02/183.16	c ============================[ Search Statistics ]==============================
183.02/183.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.02/183.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.02/183.16	c ===============================================================================
183.02/183.16	c |         0 |    1994    41264    75008 |    13754        0    nan |  0.000 % |
183.02/183.17	c ===============================================================================
183.12/183.26	c core #23
183.12/183.26	c ============================[ Search Statistics ]==============================
183.12/183.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.12/183.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.12/183.26	c ===============================================================================
183.12/183.26	c |         0 |    2442    41273    76392 |    13757        0    nan |  0.000 % |
183.12/183.29	c ===============================================================================
183.22/183.39	c core #24
183.22/183.39	c ============================[ Search Statistics ]==============================
183.22/183.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.22/183.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.22/183.39	c ===============================================================================
183.22/183.39	c |         0 |    2754    41373    77255 |    13791        0    nan |  0.000 % |
183.32/183.43	c |       100 |    2754    41373    77255 |    15170      100     31 | 80.250 % |
183.32/183.48	c |       251 |    2754    41373    77255 |    16687      251     29 | 80.250 % |
183.41/183.55	c |       476 |    2754    41373    77255 |    18355      476     35 | 80.250 % |
183.52/183.64	c |       814 |    2754    41373    77255 |    20191      814     37 | 80.250 % |
183.62/183.75	c ===============================================================================
183.71/183.86	c core #25
183.71/183.86	c ============================[ Search Statistics ]==============================
183.71/183.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.71/183.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.71/183.86	c ===============================================================================
183.71/183.86	c |         0 |    4159    41759    81749 |    13919        0    nan |  0.000 % |
183.81/183.91	c |       102 |    4159    41759    81749 |    15311      102     68 | 72.098 % |
183.81/183.98	c |       254 |    4159    41759    81749 |    16842      254     55 | 72.098 % |
184.01/184.13	c |       480 |    4159    41759    81749 |    18527      480     55 | 72.098 % |
184.21/184.30	c |       823 |    4159    41759    81749 |    20379      823     61 | 72.098 % |
184.41/184.54	c |      1330 |    4159    41759    81749 |    22417     1330     57 | 72.098 % |
184.91/185.08	c |      2089 |    4159    41759    81749 |    24659     2089     69 | 72.098 % |
185.51/185.70	c |      3230 |    4159    41759    81749 |    27125     3230     72 | 72.098 % |
186.61/186.72	c |      4938 |    4159    41759    81749 |    29838     4938     70 | 72.098 % |
188.41/188.59	c |      7502 |    4159    41759    81749 |    32821     7502     63 | 72.098 % |
191.11/191.24	c |     11347 |    4159    41759    81749 |    36104    11347     70 | 72.099 % |
196.30/196.41	c |     17116 |    4159    41759    81749 |    39714    17116     79 | 72.098 % |
205.71/205.88	c ===============================================================================
206.30/206.47	c core #26
206.30/206.47	c ============================[ Search Statistics ]==============================
206.30/206.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
206.30/206.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
206.30/206.47	c ===============================================================================
206.30/206.47	c |         0 |    5505    42384    85786 |    14128        0    nan |  0.000 % |
206.40/206.53	c |       101 |    5505    42384    85786 |    15540      101    135 | 66.063 % |
206.50/206.63	c |       251 |    5505    42384    85786 |    17094      251    100 | 66.063 % |
206.71/206.81	c |       476 |    5505    42384    85786 |    18804      476     97 | 66.063 % |
206.90/207.02	c |       817 |    5505    42384    85786 |    20684      817     84 | 66.063 % |
207.10/207.29	c |      1323 |    5505    42384    85786 |    22753     1323     73 | 66.063 % |
207.50/207.65	c |      2082 |    5505    42384    85786 |    25028     2082     65 | 66.063 % |
208.60/208.77	c |      3221 |    5505    42384    85786 |    27531     3221    143 | 66.063 % |
210.50/210.63	c |      4930 |    5505    42384    85786 |    30284     4930    140 | 66.063 % |
212.40/212.56	c |      7492 |    5505    42384    85786 |    33313     7492    126 | 66.063 % |
215.41/215.58	c |     11336 |    5505    42384    85786 |    36644    11336    115 | 66.063 % |
221.00/221.13	c |     17104 |    5505    42384    85786 |    40308    17104    118 | 66.063 % |
230.29/230.49	c |     25754 |    5505    42384    85786 |    44339    25754    121 | 66.063 % |
245.49/245.64	c |     38730 |    5505    42384    85786 |    48773    38730    122 | 66.063 % |
281.48/281.65	c |     58192 |    5505    42384    85786 |    53651    58192    133 | 66.063 % |
330.25/330.44	c |     87387 |    5505    42384    85786 |    59016    38184    123 | 66.063 % |
410.22/410.44	c |    131178 |    5505    42384    85786 |    64917    27597    164 | 66.063 % |
519.88/520.19	c |    196862 |    5505    42384    85786 |    71409    31784    176 | 66.063 % |
700.70/701.00	c |    295390 |    5505    42384    85786 |    78550    61648    174 | 66.063 % |
1026.88/1027.38	c |    443179 |    5505    42384    85786 |    86405    61434    181 | 66.063 % |
1492.09/1492.75	c |    664864 |    5505    42384    85786 |    95046    39752    137 | 66.063 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655796-1276637078/watcher-2655796-1276637078 -o /tmp/evaluation-result-2655796-1276637078/solver-2655796-1276637078 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655796-1276637078.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: 0.99 1.02 1.00 3/106 6297
/proc/meminfo: memFree=1857308/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=4664 CPUtime=0
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 498 0 0 0 0 0 0 0 18 0 1 0 39309410 4775936 417 1992294400 134512640 135751879 4287064768 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 1166 417 143 303 0 556 0

[startup+0.0620331 s]
/proc/loadavg: 0.99 1.02 1.00 3/106 6297
/proc/meminfo: memFree=1857308/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=6392 CPUtime=0.05
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 976 0 0 0 5 0 0 0 20 0 1 0 39309410 6545408 895 1992294400 134512640 135751879 4287064768 18446744073709551615 134559693 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 1598 895 224 303 0 988 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6392

[startup+0.101039 s]
/proc/loadavg: 0.99 1.02 1.00 3/106 6297
/proc/meminfo: memFree=1857308/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=6956 CPUtime=0.09
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 1162 0 0 0 9 0 0 0 20 0 1 0 39309410 7122944 1081 1992294400 134512640 135751879 4287064768 18446744073709551615 135225232 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 1739 1081 286 303 0 1129 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6956

[startup+0.301082 s]
/proc/loadavg: 0.99 1.02 1.00 3/106 6297
/proc/meminfo: memFree=1857308/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=11032 CPUtime=0.29
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 2646 0 0 0 28 1 0 0 20 0 1 0 39309410 11296768 2227 1992294400 134512640 135751879 4287064768 18446744073709551615 134580056 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 2758 2227 145 303 0 2453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11032

[startup+0.701166 s]
/proc/loadavg: 0.99 1.02 1.00 3/106 6297
/proc/meminfo: memFree=1857308/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=11032 CPUtime=0.69
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 2648 0 0 0 68 1 0 0 21 0 1 0 39309410 11296768 2229 1992294400 134512640 135751879 4287064768 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 2758 2229 145 303 0 2453 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11032

[startup+1.50134 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 6298
/proc/meminfo: memFree=1848744/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=11032 CPUtime=1.49
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 2670 0 0 0 141 8 0 0 23 0 1 0 39309410 11296768 2251 1992294400 134512640 135751879 4287064768 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 2758 2251 147 303 0 2453 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11032

[startup+3.10168 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 6298
/proc/meminfo: memFree=1848496/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=11032 CPUtime=3.09
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 2670 0 0 0 297 12 0 0 25 0 1 0 39309410 11296768 2251 1992294400 134512640 135751879 4287064768 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 2758 2251 147 303 0 2453 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11032

[startup+6.30036 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 6298
/proc/meminfo: memFree=1848372/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=11032 CPUtime=6.29
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 2670 0 0 0 615 14 0 0 25 0 1 0 39309410 11296768 2251 1992294400 134512640 135751879 4287064768 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 2758 2251 147 303 0 2453 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11032

[startup+12.7007 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 6298
/proc/meminfo: memFree=1847380/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=12220 CPUtime=12.68
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 2976 0 0 0 1251 17 0 0 25 0 1 0 39309410 12513280 2557 1992294400 134512640 135751879 4287064768 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 3055 2557 147 303 0 2750 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12220

[startup+25.5004 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 6298
/proc/meminfo: memFree=1842172/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=17668 CPUtime=25.48
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 4309 0 0 0 2524 24 0 0 25 0 1 0 39309410 18092032 3890 1992294400 134512640 135751879 4287064768 18446744073709551615 134620524 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 4417 3890 147 303 0 4112 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17668

[startup+51.1009 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 6300
/proc/meminfo: memFree=1832376/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=27336 CPUtime=51.07
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 6754 0 0 0 5069 38 0 0 25 0 1 0 39309410 27992064 6335 1992294400 134512640 135751879 4287064768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 6834 6335 147 303 0 6529 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27336

[startup+102.308 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 6300
/proc/meminfo: memFree=1811668/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=47748 CPUtime=102.25
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 11846 0 0 0 10158 67 0 0 25 0 1 0 39309410 48893952 11427 1992294400 134512640 135751879 4287064768 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 11937 11427 148 303 0 11632 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 47748

[startup+162.302 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 6302
/proc/meminfo: memFree=1785876/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=73848 CPUtime=162.22
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 18310 0 0 0 16116 106 0 0 25 0 1 0 39309410 75620352 17891 1992294400 134512640 135751879 4287064768 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 18462 17891 148 303 0 18157 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 73848

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 6304
/proc/meminfo: memFree=1770872/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=88284 CPUtime=222.2
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 22617 0 0 0 22079 141 0 0 25 0 1 0 39309410 90402816 21569 1992294400 134512640 135751879 4287064768 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 22071 21569 151 303 0 21766 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 88284

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 6306
/proc/meminfo: memFree=1744708/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=114624 CPUtime=282.17
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 29173 0 0 0 28052 165 0 0 25 0 1 0 39309410 117374976 28125 1992294400 134512640 135751879 4287064768 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 28656 28125 151 303 0 28351 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 114624

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 6308
/proc/meminfo: memFree=1718916/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=140324 CPUtime=342.15
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 35575 0 0 0 34026 189 0 0 25 0 1 0 39309410 143691776 34527 1992294400 134512640 135751879 4287064768 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 35081 34527 151 303 0 34776 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 140324

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 6308
/proc/meminfo: memFree=1691884/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=167504 CPUtime=402.13
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 42371 0 0 0 40004 209 0 0 25 0 1 0 39309410 171524096 41323 1992294400 134512640 135751879 4287064768 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 41876 41323 151 303 0 41571 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 167504

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 6310
/proc/meminfo: memFree=1659644/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=199584 CPUtime=462.1
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 50379 0 0 0 45973 237 0 0 25 0 1 0 39309410 204374016 49331 1992294400 134512640 135751879 4287064768 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 49896 49331 151 303 0 49591 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 199584

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 6312
/proc/meminfo: memFree=1630380/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=228928 CPUtime=522.08
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 57720 0 0 0 51946 262 0 0 25 0 1 0 39309410 234422272 56672 1992294400 134512640 135751879 4287064768 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 57232 56672 151 303 0 56927 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 228928

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 6314
/proc/meminfo: memFree=1607688/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=251416 CPUtime=582.05
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 63337 0 0 0 57921 284 0 0 25 0 1 0 39309410 257449984 62289 1992294400 134512640 135751879 4287064768 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 62854 62289 151 303 0 62549 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 251416

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 6316
/proc/meminfo: memFree=1580904/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=277652 CPUtime=642.04
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 69898 0 0 0 63900 304 0 0 25 0 1 0 39309410 284315648 68850 1992294400 134512640 135751879 4287064768 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 69413 68850 151 303 0 69108 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 277652

[startup+702.3 s]

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

[startup+822.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 6320
/proc/meminfo: memFree=1487284/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=371544 CPUtime=821.96
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 93338 0 0 0 81823 373 0 0 25 0 1 0 39309410 380461056 92290 1992294400 134512640 135751879 4287064768 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 92886 92290 151 303 0 92581 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 371544

[startup+882.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 6322
/proc/meminfo: memFree=1459508/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=398888 CPUtime=881.93
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 100172 0 0 0 87797 396 0 0 25 0 1 0 39309410 408461312 99124 1992294400 134512640 135751879 4287064768 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 99722 99124 151 303 0 99417 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 398888

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6324
/proc/meminfo: memFree=1443512/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=415420 CPUtime=941.91
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 104284 0 0 0 93779 412 0 0 25 0 1 0 39309410 425390080 103236 1992294400 134512640 135751879 4287064768 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 103855 103236 151 303 0 103550 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 415420

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6324
/proc/meminfo: memFree=1413752/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=444852 CPUtime=1001.88
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 111623 0 0 0 99751 437 0 0 25 0 1 0 39309410 455528448 110575 1992294400 134512640 135751879 4287064768 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 111213 110575 151 303 0 110908 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 444852

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6326
/proc/meminfo: memFree=1388828/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=469876 CPUtime=1061.86
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 117882 0 0 0 105728 458 0 0 25 0 1 0 39309410 481153024 116834 1992294400 134512640 135751879 4287064768 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 117469 116834 151 303 0 117164 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 469876

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6328
/proc/meminfo: memFree=1368988/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=489332 CPUtime=1121.83
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 122709 0 0 0 111709 474 0 0 25 0 1 0 39309410 501075968 121661 1992294400 134512640 135751879 4287064768 18446744073709551615 134602968 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 122333 121661 151 303 0 122028 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 489332

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6330
/proc/meminfo: memFree=1336996/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=521812 CPUtime=1181.81
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 130820 0 0 0 117681 500 0 0 25 0 1 0 39309410 534335488 129772 1992294400 134512640 135751879 4287064768 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 130453 129772 151 303 0 130148 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 521812

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6332
/proc/meminfo: memFree=1311204/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=547024 CPUtime=1241.79
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 137131 0 0 0 123660 519 0 0 25 0 1 0 39309410 560152576 136083 1992294400 134512640 135751879 4287064768 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 136756 136083 151 303 0 136451 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 547024

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6332
/proc/meminfo: memFree=1286652/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=571356 CPUtime=1301.77
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 143189 0 0 0 129640 537 0 0 25 0 1 0 39309410 585068544 142141 1992294400 134512640 135751879 4287064768 18446744073709551615 134606404 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 142839 142141 151 303 0 142534 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 571356

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6334
/proc/meminfo: memFree=1260860/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=597232 CPUtime=1361.74
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 149667 0 0 0 135618 556 0 0 25 0 1 0 39309410 611565568 148619 1992294400 134512640 135751879 4287064768 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 149308 148619 151 303 0 149003 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 597232

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6336
/proc/meminfo: memFree=1238416/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=619556 CPUtime=1421.72
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 155241 0 0 0 141597 575 0 0 25 0 1 0 39309410 634425344 154193 1992294400 134512640 135751879 4287064768 18446744073709551615 134616290 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 154889 154193 151 303 0 154584 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 619556

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6338
/proc/meminfo: memFree=1216592/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=641608 CPUtime=1481.69
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 160746 0 0 0 147571 598 0 0 25 0 1 0 39309410 657006592 159698 1992294400 134512640 135751879 4287064768 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 160402 159698 151 303 0 160097 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 641608

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6340
/proc/meminfo: memFree=1191296/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=666700 CPUtime=1541.66
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 167019 0 0 0 153543 623 0 0 25 0 1 0 39309410 682700800 165971 1992294400 134512640 135751879 4287064768 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 166675 165971 151 303 0 166370 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 666700

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6340
/proc/meminfo: memFree=1173068/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=685000 CPUtime=1601.64
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 171581 0 0 0 159522 642 0 0 25 0 1 0 39309410 701440000 170533 1992294400 134512640 135751879 4287064768 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 171250 170533 151 303 0 170945 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 685000

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6342
/proc/meminfo: memFree=1152484/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=705384 CPUtime=1661.61
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 176678 0 0 0 165502 659 0 0 25 0 1 0 39309410 722313216 175630 1992294400 134512640 135751879 4287064768 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 176346 175630 151 303 0 176041 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 705384

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6344
/proc/meminfo: memFree=1128924/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=729108 CPUtime=1721.59
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 182612 0 0 0 171482 677 0 0 25 0 1 0 39309410 746606592 181564 1992294400 134512640 135751879 4287064768 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 182277 181564 151 303 0 181972 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 729108

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6346
/proc/meminfo: memFree=1111068/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=746628 CPUtime=1781.57
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 186974 0 0 0 177465 692 0 0 25 0 1 0 39309410 764547072 185926 1992294400 134512640 135751879 4287064768 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 186657 185926 151 303 0 186352 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 746628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6346
/proc/meminfo: memFree=1104372/2059040 swapFree=4140252/4192956
[pid=6297] ppid=6295 vsize=753204 CPUtime=1800.07
/proc/6297/stat : 6297 (wbo1.4b) R 6295 6297 6272 0 -1 4202496 188606 0 0 0 179310 697 0 0 25 0 1 0 39309410 771280896 187558 1992294400 134512640 135751879 4287064768 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6297/statm: 188301 187558 151 303 0 187996 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 753204

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.88
CPU time (s): 1800.15
CPU user time (s): 1793.1
CPU system time (s): 7.04793
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 753204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.1
system time used= 7.04793
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188606
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= 8
involuntary context switches= 23077

runsolver used 2.82257 second user time and 8.66368 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-15 23:24:38
IDJOB=2655796
IDBENCH=25001
IDSOLVER=1161
FILE ID=node010/2655796-1276637078
PBS_JOBID= 11172401
Free space on /tmp= 62532 MiB

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

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

MD5SUM BENCH= 4c21c441bf9f3f3be8f0cdb52c39f9b4
RANDOM SEED=857480523

node010.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.267
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.53
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.267
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1857836 kB
Buffers:         26348 kB
Cached:          94940 kB
SwapCached:       6204 kB
Active:          83752 kB
Inactive:        50724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1857836 kB
SwapTotal:     4192956 kB
SwapFree:      4140252 kB
Dirty:            3952 kB
Writeback:           0 kB
AnonPages:       11488 kB
Mapped:          13008 kB
Slab:            44940 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181680 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= 62528 MiB
End job on node010 at 2010-06-15 23:54:41