Trace number 2680449

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.12 1800.67

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir10_area_delay.opb
MD5SUM5d0340a340565eda2e94c9f5d1d814a1
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 benchmark191.846
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved NO
Number of variables49757
Total number of constraints199672
Number of constraints which are clauses199672
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 constraint511
Number of terms in the objective function 24319
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 24319
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 24319
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680449-1277459961.opb.
0.00/0.00	c Instance file HOME/instance-2680449-1277459961.opb
0.00/0.00	c File size is 6754478 bytes.
1.19/1.27	c Highest Coefficient sum: 512
1.19/1.27	c ============================[ Problem Statistics ]=============================
1.19/1.27	c |                                                                             |
1.19/1.27	c |  Parsing time:          1.25         s                                      |
1.19/1.27	c |  Number Variables:      49757                                               |
1.19/1.27	c |  Number Clauses:        199672                                              |
1.19/1.27	c |  Number Cardinality:    0                                                   |
1.19/1.27	c |  Number PB Constraints: 0                                                   |
10.39/10.44	c ============================[ Search Statistics ]==============================
10.39/10.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.39/10.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.39/10.44	c ===============================================================================
10.39/10.45	c |         0 |   49022   200375   517773 |    66557        0    nan |  0.000 % |
10.49/10.53	c ===============================================================================
10.49/10.53	c New solution: 37
10.49/10.53	o 37
10.49/10.53	c Elapsed CPU time: 10.4074 s	Remaining CPU time: 169.593 s
10.49/10.53	c ===============================================================================
10.49/10.53	c |         3 |   49022   200376   542092 |    66792        3     11 |  0.000 % |
10.49/10.58	c ===============================================================================
10.49/10.58	c New solution: 36
10.49/10.58	o 36
10.49/10.58	c Elapsed CPU time: 10.4584 s	Remaining CPU time: 169.542 s
10.49/10.58	c ===============================================================================
10.49/10.58	c |         4 |   49022   200377   566411 |    66792        4     16 |  0.000 % |
12.00/12.00	c |       104 |   49022   200377   566411 |    73471      104    100 |  1.477 % |
12.98/13.07	c |       254 |   49022   200377   566411 |    80818      254     79 |  1.477 % |
15.49/15.55	c |       479 |   49022   200377   566411 |    88900      479     73 |  1.477 % |
18.79/18.86	c |       816 |   49022   200377   566411 |    97790      816     66 |  1.477 % |
24.19/24.25	c |      1322 |   49022   200377   566411 |   107569     1322     70 |  1.477 % |
38.99/39.05	c |      2081 |   49022   200377   566411 |   118326     2081     84 |  1.477 % |
49.27/49.37	c |      3221 |   49022   200377   566411 |   130159     3221     88 |  1.477 % |
63.17/63.25	c |      4929 |   49022   200377   566411 |   143175     4929     83 |  1.477 % |
89.27/89.35	c |      7491 |   49022   200377   566411 |   157492     7491    109 |  1.477 % |
133.74/133.86	c |     11335 |   49022   200377   566411 |   173242    11335    104 |  1.477 % |
180.43/180.59	c There are 735 assigned variables. 11 in cost function.
184.63/184.76	c core #1
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 4	Core Weight: 1	Total Weight: 2
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #2
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 4	Core Weight: 1	Total Weight: 3
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #3
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 8	Core Weight: 1	Total Weight: 4
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #4
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 3	Core Weight: 1	Total Weight: 5
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #5
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 856	Core Weight: 1	Total Weight: 6
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #6
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 127	Core Weight: 1	Total Weight: 7
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #7
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 145	Core Weight: 1	Total Weight: 8
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #8
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 12	Core Weight: 1	Total Weight: 9
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #9
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 72	Core Weight: 1	Total Weight: 10
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #10
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 28	Core Weight: 1	Total Weight: 11
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #11
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 137	Core Weight: 1	Total Weight: 12
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #12
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 22	Core Weight: 1	Total Weight: 13
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #13
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 137	Core Weight: 1	Total Weight: 14
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #14
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 60	Core Weight: 1	Total Weight: 15
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #15
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 462	Core Weight: 1	Total Weight: 16
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #16
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 474	Core Weight: 1	Total Weight: 17
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #17
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 125	Core Weight: 1	Total Weight: 18
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #18
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 61	Core Weight: 1	Total Weight: 19
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #19
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 288	Core Weight: 1	Total Weight: 20
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c core #20
184.63/184.76	c 
184.63/184.76	c 
184.63/184.76	c Core size: 60	Core Weight: 1	Total Weight: 21
184.63/184.76	c
184.63/184.76	c
184.63/184.76	c ============================[ Search Statistics ]==============================
184.63/184.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.63/184.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.63/184.76	c ===============================================================================
184.63/184.76	c |         0 |    4987   215180   252213 |    71726        0    nan |  0.000 % |
184.63/184.77	c ===============================================================================
184.82/184.98	c core #21
184.82/184.98	c 
184.82/184.98	c 
184.82/184.98	c Core size: 170	Core Weight: 1	Total Weight: 22
184.82/184.98	c
184.82/184.98	c
184.82/184.98	c ============================[ Search Statistics ]==============================
184.82/184.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.82/184.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.82/184.98	c ===============================================================================
184.82/184.98	c |         0 |    5350   215181   255271 |    71727        0    nan |  0.000 % |
184.82/184.99	c ===============================================================================
185.13/185.21	c core #22
185.13/185.21	c 
185.13/185.21	c 
185.13/185.21	c Core size: 197	Core Weight: 1	Total Weight: 23
185.13/185.21	c
185.13/185.21	c
185.13/185.21	c ============================[ Search Statistics ]==============================
185.13/185.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.13/185.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.13/185.21	c ===============================================================================
185.13/185.21	c |         0 |    5585   215182   257562 |    71727        0    nan |  0.000 % |
185.13/185.28	c |       101 |    5579   215182   257562 |    78900      101     82 | 89.191 % |
185.32/185.46	c ===============================================================================
185.53/185.68	c core #23
185.53/185.68	c 
185.53/185.68	c 
185.53/185.68	c Core size: 3912	Core Weight: 1	Total Weight: 24
185.53/185.68	c
185.53/185.68	c
185.53/185.68	c ============================[ Search Statistics ]==============================
185.53/185.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.53/185.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.53/185.68	c ===============================================================================
185.53/185.68	c |         0 |   11567   215183   301973 |    71727        0    nan |  0.000 % |
185.63/185.74	c |       100 |   11567   215183   301973 |    78900      100    153 | 78.532 % |
186.03/186.18	c |       250 |   11567   215183   301973 |    86790      250    119 | 78.532 % |
186.93/187.03	c |       475 |   11566   215183   301973 |    95469      473    111 | 78.533 % |
188.62/188.71	c |       812 |   11566   215183   301973 |   105016      810    142 | 78.533 % |
191.12/191.23	c |      1318 |   11551   215183   301973 |   115518     1315    145 | 78.561 % |
193.02/193.16	c |      2078 |   11550   215183   301973 |   127069     2072    153 | 78.563 % |
196.33/196.48	c |      3218 |   11550   215183   301973 |   139776     3211    134 | 78.563 % |
206.32/206.46	c |      4926 |   11550   215183   301973 |   153754     4919    244 | 78.563 % |
224.22/224.31	c |      7493 |   11550   215183   301973 |   169130     7486    294 | 78.563 % |
242.31/242.45	c |     11338 |   11506   215183   301973 |   186043    11320    368 | 78.645 % |
260.71/260.86	c |     17104 |   11496   215183   301973 |   204647     7828    249 | 78.663 % |
269.61/269.70	c ===============================================================================
270.00/270.18	c core #24
270.00/270.18	c 
270.00/270.18	c 
270.00/270.18	c Core size: 11176	Core Weight: 1	Total Weight: 25
270.00/270.18	c
270.00/270.18	c
270.00/270.18	c ============================[ Search Statistics ]==============================
270.00/270.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
270.00/270.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
270.00/270.18	c ===============================================================================
270.00/270.18	c |         0 |   26464   215184   385655 |    71728        0    nan |  0.000 % |
270.80/270.97	c |       100 |   26464   215184   385655 |    78900      100    541 | 56.402 % |
271.80/271.91	c |       250 |   26464   215184   385655 |    86790      250    303 | 56.402 % |
273.60/273.74	c |       475 |   26464   215184   385655 |    95469      475    206 | 56.402 % |
274.81/274.90	c |       813 |   26464   215184   385655 |   105016      813    274 | 56.402 % |
277.60/277.76	c |      1320 |   26464   215184   385655 |   115518     1320    350 | 56.402 % |
282.40/282.57	c |      2079 |   26464   215184   385655 |   127070     2079    345 | 56.402 % |
289.79/289.91	c |      3218 |   26464   215184   385655 |   139777     3218    340 | 56.402 % |
332.38/332.59	c |      4927 |   26463   215184   385655 |   153755     4926    478 | 56.404 % |
348.78/348.91	c |      7490 |   26463   215184   385655 |   169130     7489    438 | 56.404 % |
376.77/376.94	c |     11338 |   26463   215184   385655 |   186043    11337    447 | 56.404 % |
402.26/402.46	c |     17104 |   26463   215184   385655 |   204648    17103    449 | 56.404 % |
460.45/460.66	c |     25756 |   26463   215184   385655 |   225113    25755    438 | 56.404 % |
535.03/535.26	c |     38730 |   26463   215184   385655 |   247624    38729    495 | 56.404 % |
643.40/643.64	c |     58193 |   26463   215184   385655 |   272386    58192    482 | 56.404 % |
1042.17/1042.53	c |     87385 |   26463   215184   385655 |   299625    87384    503 | 56.404 % |
1650.98/1651.51	c |    131174 |   26463   215184   385655 |   329588   131173    689 | 56.404 % |

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-2680449-1277459961/watcher-2680449-1277459961 -o /tmp/evaluation-result-2680449-1277459961/solver-2680449-1277459961 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680449-1277459961.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.92 0.98 0.95 3/106 27020
/proc/meminfo: memFree=1840608/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=10048 CPUtime=0
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 459 0 0 0 0 0 0 0 18 0 1 0 87287985 10289152 378 1992294400 134512640 135752675 4288800768 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 2512 378 135 303 0 557 0

[startup+0.051709 s]
/proc/loadavg: 0.92 0.98 0.95 3/106 27020
/proc/meminfo: memFree=1840608/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=13604 CPUtime=0.04
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 1354 0 0 0 4 0 0 0 21 0 1 0 87287985 13930496 1273 1992294400 134512640 135752675 4288800768 18446744073709551615 134564635 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 3401 1273 196 303 0 1446 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13604

[startup+0.100713 s]
/proc/loadavg: 0.92 0.98 0.95 3/106 27020
/proc/meminfo: memFree=1840608/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=15764 CPUtime=0.09
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 1792 0 0 0 9 0 0 0 21 0 1 0 87287985 16142336 1711 1992294400 134512640 135752675 4288800768 18446744073709551615 134559907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 3941 1711 264 303 0 1986 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15764

[startup+0.300731 s]
/proc/loadavg: 0.92 0.98 0.95 3/106 27020
/proc/meminfo: memFree=1840608/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=20076 CPUtime=0.29
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 3050 0 0 0 29 0 0 0 21 0 1 0 87287985 20557824 2880 1992294400 134512640 135752675 4288800768 18446744073709551615 135225911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 5019 2881 506 303 0 3064 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20076

[startup+0.700768 s]
/proc/loadavg: 0.92 0.98 0.95 3/106 27020
/proc/meminfo: memFree=1840608/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=24152 CPUtime=0.69
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 4598 0 0 0 68 1 0 0 22 0 1 0 87287985 24731648 4428 1992294400 134512640 135752675 4288800768 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 6038 4428 1058 303 0 4083 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24152

[startup+1.50084 s]
/proc/loadavg: 0.92 0.98 0.95 2/107 27021
/proc/meminfo: memFree=1824480/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=38156 CPUtime=1.49
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 10570 0 0 0 145 4 0 0 25 0 1 0 87287985 39071744 8556 1992294400 134512640 135752675 4288800768 18446744073709551615 134580184 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 9539 8556 141 303 0 9234 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38156

[startup+3.10099 s]
/proc/loadavg: 0.92 0.98 0.95 2/107 27021
/proc/meminfo: memFree=1806252/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=38816 CPUtime=3.09
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 10750 0 0 0 305 4 0 0 25 0 1 0 87287985 39747584 8736 1992294400 134512640 135752675 4288800768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 9704 8736 141 303 0 9399 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38816

[startup+6.30029 s]
/proc/loadavg: 0.93 0.98 0.95 2/107 27021
/proc/meminfo: memFree=1804764/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=39608 CPUtime=6.29
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 10941 0 0 0 624 5 0 0 25 0 1 0 87287985 40558592 8927 1992294400 134512640 135752675 4288800768 18446744073709551615 134580167 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 9902 8927 141 303 0 9597 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39608

[startup+12.7009 s]
/proc/loadavg: 0.93 0.98 0.95 2/107 27021
/proc/meminfo: memFree=1806128/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=38264 CPUtime=12.68
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 11539 0 0 0 1254 14 0 0 25 0 1 0 87287985 39182336 8606 1992294400 134512640 135752675 4288800768 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 9566 8606 145 303 0 9261 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38264

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.95 2/107 27023
/proc/meminfo: memFree=1806128/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=38264 CPUtime=25.49
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 11539 0 0 0 2531 18 0 0 25 0 1 0 87287985 39182336 8606 1992294400 134512640 135752675 4288800768 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 9566 8606 145 303 0 9261 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38264

[startup+51.1005 s]
/proc/loadavg: 1.03 1.00 0.95 2/107 27023
/proc/meminfo: memFree=1806128/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=38264 CPUtime=51.08
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 11539 0 0 0 5076 32 0 0 25 0 1 0 87287985 39182336 8606 1992294400 134512640 135752675 4288800768 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 9566 8606 145 303 0 9261 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38264

[startup+102.308 s]
/proc/loadavg: 1.08 1.02 0.96 2/107 27034
/proc/meminfo: memFree=1804996/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=38264 CPUtime=102.25
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 11539 0 0 0 10185 40 0 0 25 0 1 0 87287985 39182336 8606 1992294400 134512640 135752675 4288800768 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 9566 8606 145 303 0 9261 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 38264

[startup+162.301 s]
/proc/loadavg: 1.08 1.03 0.96 2/107 27034
/proc/meminfo: memFree=1805136/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=38264 CPUtime=162.23
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 11576 0 0 0 16174 49 0 0 25 0 1 0 87287985 39182336 8643 1992294400 134512640 135752675 4288800768 18446744073709551615 134611942 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 9566 8643 145 303 0 9261 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 38264

[startup+222.3 s]
/proc/loadavg: 1.03 1.02 0.96 2/107 27036
/proc/meminfo: memFree=1797324/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=45508 CPUtime=222.22
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 26039 0 0 0 22149 73 0 0 25 0 1 0 87287985 46600192 10560 1992294400 134512640 135752675 4288800768 18446744073709551615 134637650 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 11377 10560 146 303 0 11072 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 45508

[startup+282.301 s]
/proc/loadavg: 1.01 1.01 0.96 2/107 27038
/proc/meminfo: memFree=1756900/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=85492 CPUtime=282.2
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 36982 0 0 0 28121 99 0 0 25 0 1 0 87287985 87543808 20660 1992294400 134512640 135752675 4288800768 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 21373 20660 146 303 0 21068 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 85492

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/107 27040
/proc/meminfo: memFree=1756900/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=85492 CPUtime=342.18
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 36982 0 0 0 34104 114 0 0 25 0 1 0 87287985 87543808 20660 1992294400 134512640 135752675 4288800768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 21373 20660 146 303 0 21068 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 85492

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27042
/proc/meminfo: memFree=1748964/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=94732 CPUtime=402.16
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 39286 0 0 0 40084 132 0 0 25 0 1 0 87287985 97005568 22964 1992294400 134512640 135752675 4288800768 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 23683 22964 146 303 0 23378 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 94732

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27042
/proc/meminfo: memFree=1731728/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=111392 CPUtime=462.14
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 43452 0 0 0 46065 149 0 0 25 0 1 0 87287985 114065408 27130 1992294400 134512640 135752675 4288800768 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 27848 27130 146 303 0 27543 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 111392

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27044
/proc/meminfo: memFree=1707548/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=135880 CPUtime=522.13
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 49564 0 0 0 52044 169 0 0 25 0 1 0 87287985 139141120 33242 1992294400 134512640 135752675 4288800768 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 33970 33242 146 303 0 33665 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 135880

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27046
/proc/meminfo: memFree=1683988/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=159172 CPUtime=582.11
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 55373 0 0 0 58027 184 0 0 25 0 1 0 87287985 162992128 39051 1992294400 134512640 135752675 4288800768 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 39793 39051 146 303 0 39488 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 159172

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 27048
/proc/meminfo: memFree=1660056/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=182848 CPUtime=642.1
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 61292 0 0 0 64012 198 0 0 25 0 1 0 87287985 187236352 44970 1992294400 134512640 135752675 4288800768 18446744073709551615 134605005 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 45712 44970 146 303 0 45407 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 182848

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.01 1.01 0.97 2/107 27052
/proc/meminfo: memFree=1622236/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=220604 CPUtime=822.05
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 70703 0 0 0 81969 236 0 0 25 0 1 0 87287985 225898496 54381 1992294400 134512640 135752675 4288800768 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 55151 54381 146 303 0 54846 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 220604

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27054
/proc/meminfo: memFree=1617400/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=225404 CPUtime=882.02
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 71906 0 0 0 87963 239 0 0 25 0 1 0 87287985 230813696 55584 1992294400 134512640 135752675 4288800768 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 56351 55584 146 303 0 56046 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 225404

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27056
/proc/meminfo: memFree=1604504/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=238412 CPUtime=942.01
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 75148 0 0 0 93952 249 0 0 25 0 1 0 87287985 244133888 58826 1992294400 134512640 135752675 4288800768 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 59603 58826 146 303 0 59298 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 238412

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27058
/proc/meminfo: memFree=1590492/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=252176 CPUtime=1001.99
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 78588 0 0 0 99939 260 0 0 25 0 1 0 87287985 258228224 62266 1992294400 134512640 135752675 4288800768 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 63044 62266 146 303 0 62739 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 252176

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27058
/proc/meminfo: memFree=1581812/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=260868 CPUtime=1061.97
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 80767 0 0 0 105930 267 0 0 25 0 1 0 87287985 267128832 64445 1992294400 134512640 135752675 4288800768 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 65217 64445 146 303 0 64912 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 260868

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27060
/proc/meminfo: memFree=1570652/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=272104 CPUtime=1121.95
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 83575 0 0 0 111917 278 0 0 25 0 1 0 87287985 278634496 67253 1992294400 134512640 135752675 4288800768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 68026 67253 146 303 0 67721 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 272104

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27062
/proc/meminfo: memFree=1552300/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=291428 CPUtime=1181.94
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 88343 0 0 0 117896 298 0 0 25 0 1 0 87287985 298422272 72021 1992294400 134512640 135752675 4288800768 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 72857 72021 146 303 0 72552 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 291428

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27064
/proc/meminfo: memFree=1519812/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=322708 CPUtime=1241.92
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 96196 0 0 0 123875 317 0 0 25 0 1 0 87287985 330452992 79874 1992294400 134512640 135752675 4288800768 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 80677 79874 146 303 0 80372 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 322708

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27066
/proc/meminfo: memFree=1503692/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=338524 CPUtime=1301.9
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 100156 0 0 0 129864 326 0 0 25 0 1 0 87287985 346648576 83834 1992294400 134512640 135752675 4288800768 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 84631 83834 146 303 0 84326 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 338524

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27066
/proc/meminfo: memFree=1465252/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=377948 CPUtime=1361.88
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 110012 0 0 0 135850 338 0 0 25 0 1 0 87287985 387018752 93690 1992294400 134512640 135752675 4288800768 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 94487 93690 146 303 0 94182 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 377948

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27068
/proc/meminfo: memFree=1445660/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=396684 CPUtime=1421.87
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 114703 0 0 0 141839 348 0 0 25 0 1 0 87287985 406204416 98381 1992294400 134512640 135752675 4288800768 18446744073709551615 134611692 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 99171 98381 146 303 0 98866 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 396684

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27070
/proc/meminfo: memFree=1425572/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=416648 CPUtime=1481.83
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 119679 0 0 0 147827 356 0 0 25 0 1 0 87287985 426647552 103357 1992294400 134512640 135752675 4288800768 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 104162 103357 146 303 0 103857 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 416648

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27072
/proc/meminfo: memFree=1413420/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=428700 CPUtime=1541.82
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 122694 0 0 0 153812 370 0 0 25 0 1 0 87287985 438988800 106372 1992294400 134512640 135752675 4288800768 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 107175 106372 146 303 0 106870 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 428700

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27074
/proc/meminfo: memFree=1399284/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=442912 CPUtime=1601.81
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 126253 0 0 0 159802 379 0 0 25 0 1 0 87287985 453541888 109931 1992294400 134512640 135752675 4288800768 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 110728 109931 146 303 0 110423 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 442912

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27074
/proc/meminfo: memFree=1384900/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=457420 CPUtime=1661.78
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 129848 0 0 0 165790 388 0 0 25 0 1 0 87287985 468398080 113526 1992294400 134512640 135752675 4288800768 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 114355 113526 146 303 0 114050 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 457420

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27076
/proc/meminfo: memFree=1357248/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=485284 CPUtime=1721.77
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 136763 0 0 0 171778 399 0 0 25 0 1 0 87287985 496930816 120441 1992294400 134512640 135752675 4288800768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 121321 120441 146 303 0 121016 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 485284

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27078
/proc/meminfo: memFree=1335424/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=506736 CPUtime=1781.75
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 142105 0 0 0 177766 409 0 0 25 0 1 0 87287985 518897664 125783 1992294400 134512640 135752675 4288800768 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 126684 125783 146 303 0 126379 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 506736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27078
/proc/meminfo: memFree=1327860/2059040 swapFree=4140484/4192956
[pid=27020] ppid=27018 vsize=514168 CPUtime=1800.06
/proc/27020/stat : 27020 (wbo1.4b) R 27018 27020 26476 0 -1 4202496 143976 0 0 0 179593 413 0 0 25 0 1 0 87287985 526508032 127654 1992294400 134512640 135752675 4288800768 18446744073709551615 134604972 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27020/statm: 128542 127654 146 303 0 128237 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 514168

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.67
CPU time (s): 1800.12
CPU user time (s): 1795.93
CPU system time (s): 4.18836
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 514168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.93
system time used= 4.18836
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143976
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= 6
involuntary context switches= 2494

runsolver used 3.02754 second user time and 8.45471 second system time

The end

Launcher Data 

Begin job on node048 at 2010-06-25 11:59:21
IDJOB=2680449
IDBENCH=25011
IDSOLVER=1190
FILE ID=node048/2680449-1277459961
PBS_JOBID= 11188120
Free space on /tmp= 62492 MiB

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

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

MD5SUM BENCH= 5d0340a340565eda2e94c9f5d1d814a1
RANDOM SEED=1765486200

node048.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.212
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.42
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.212
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:       1841136 kB
Buffers:         32936 kB
Cached:          84136 kB
SwapCached:       5400 kB
Active:          70616 kB
Inactive:        59432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1841136 kB
SwapTotal:     4192956 kB
SwapFree:      4140484 kB
Dirty:            9204 kB
Writeback:           0 kB
AnonPages:       11676 kB
Mapped:          11976 kB
Slab:            65860 kB
PageTables:       4196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183628 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= 62488 MiB
End job on node048 at 2010-06-25 12:29:24