Trace number 2656238

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_10.r.opb
MD5SUMe965a77006f54aa5fb414d88d571084c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.038993
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8
Optimality of the best value was proved YES
Number of variables99
Total number of constraints50
Number of constraints which are clauses50
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 constraint10
Maximum length of a constraint10
Number of terms in the objective function 99
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 99
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 99
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2656238-1276589895.opb.
0.00/0.00	c Instance file HOME/instance-2656238-1276589895.opb
0.00/0.00	c File size is 4686 bytes.
0.00/0.00	c Highest Coefficient sum: 11
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      99                                                  |
0.00/0.00	c |  Number Clauses:        50                                                  |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      99       50      500 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 13
0.00/0.00	o 13
0.00/0.00	c Elapsed CPU time: 0.000999 s	Remaining CPU time: 179.999 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      99       51      599 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 11
0.00/0.00	o 11
0.00/0.00	c Elapsed CPU time: 0.000999 s	Remaining CPU time: 179.999 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         3 |      99       52      698 |     5000        3     31 |  0.000 % |
0.00/0.00	c |       103 |      99       52      698 |     5500      103     31 |  0.010 % |
0.00/0.00	c |       253 |      99       52      698 |     6050      253     27 |  0.010 % |
0.00/0.01	c |       478 |      99       52      698 |     6655      478     26 |  0.010 % |
0.00/0.02	c |       816 |      99       52      698 |     7320      816     26 |  0.010 % |
0.00/0.03	c |      1322 |      99       52      698 |     8052     1322     27 |  0.010 % |
0.00/0.06	c |      2081 |      99       52      698 |     8857     2081     26 |  0.010 % |
0.10/0.10	c |      3220 |      99       52      698 |     9743     3220     26 |  0.010 % |
0.10/0.17	c |      4928 |      99       52      698 |    10717     4928     26 |  0.010 % |
0.19/0.29	c |      7490 |      99       52      698 |    11789     7490     25 |  0.010 % |
0.49/0.52	c |     11335 |      99       52      698 |    12968    11335     27 |  0.010 % |
0.89/0.91	c |     17101 |      99       52      698 |    14265    10586     28 |  0.010 % |
1.49/1.57	c |     25750 |      99       52      698 |    15692    12071     30 |  0.010 % |
2.59/2.65	c |     38727 |      99       52      698 |    17261     9296     26 |  0.010 % |
4.19/4.20	c |     58189 |      99       52      698 |    18987    11444     27 |  0.010 % |
4.40/4.42	c ===============================================================================
4.40/4.42	c New solution: 10
4.40/4.42	o 10
4.40/4.42	c Elapsed CPU time: 4.26735 s	Remaining CPU time: 175.733 s
4.40/4.42	c ===============================================================================
4.40/4.42	c |     61670 |      99       53      797 |     5000    14925     27 |  0.010 % |
4.40/4.49	c |     61770 |      99       53      797 |     5500     3832     28 |  0.010 % |
4.40/4.49	c |     61922 |      99       53      797 |     6050     3984     27 |  0.010 % |
4.40/4.50	c |     62149 |      99       53      797 |     6655     4211     27 |  0.010 % |
4.50/4.51	c |     62487 |      99       53      797 |     7320     4549     27 |  0.010 % |
4.50/4.53	c |     62993 |      99       53      797 |     8052     5055     27 |  0.010 % |
4.50/4.56	c |     63754 |      99       53      797 |     8857     5816     26 |  0.010 % |
4.59/4.61	c |     64893 |      99       53      797 |     9743     6955     26 |  0.010 % |
4.69/4.70	c |     66601 |      99       53      797 |    10717     8663     25 |  0.010 % |
4.79/4.86	c |     69163 |      99       53      797 |    11789     5842     24 |  0.010 % |
4.99/5.08	c |     73009 |      99       53      797 |    12968     9688     25 |  0.010 % |
5.50/5.51	c |     78775 |      99       53      797 |    14265     8944     27 |  0.010 % |
5.99/6.09	c |     87424 |      99       53      797 |    15692    10439     25 |  0.010 % |
6.99/7.09	c |    100398 |      99       53      797 |    17261    15539     27 |  0.010 % |
8.80/8.90	c |    119860 |      99       53      797 |    18987     9037     27 |  0.010 % |
11.79/11.80	c |    149053 |      99       53      797 |    20886     9676     25 |  0.010 % |
15.99/16.00	c |    192842 |      99       53      797 |    22974    11591     25 |  0.010 % |
24.08/24.14	c |    258528 |      99       53      797 |    25272    17909     24 |  0.010 % |
36.29/36.39	c |    357055 |      99       53      797 |    27799    19240     25 |  0.010 % |
58.38/58.49	c |    504846 |      99       53      797 |    30579    21059     25 |  0.010 % |
91.56/91.66	c |    726531 |      99       53      797 |    33637    16621     24 |  0.010 % |
144.16/144.21	c |   1059056 |      99       53      797 |    37001    22867     26 |  0.010 % |
183.43/183.57	c There are 0 assigned variables. 0 in cost function.
184.63/184.72	c core #1
184.63/184.72	c core #2
184.63/184.72	c core #3
184.63/184.72	c ============================[ Search Statistics ]==============================
184.63/184.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.63/184.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.63/184.72	c ===============================================================================
184.63/184.72	c |         0 |     154      156     1127 |     5000        0    nan |  0.000 % |
184.63/184.73	c ===============================================================================
184.63/184.73	c core #4
184.63/184.73	c ============================[ Search Statistics ]==============================
184.63/184.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.63/184.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.63/184.73	c ===============================================================================
184.63/184.73	c |         0 |     208      157     1226 |     5000        0    nan |  0.000 % |
184.63/184.73	c |       100 |     208      157     1226 |     5500      100     34 |  5.884 % |
184.63/184.74	c |       251 |     208      157     1226 |     6050      251     29 |  5.884 % |
184.63/184.75	c ===============================================================================
184.63/184.75	c core #5
184.63/184.75	c ============================[ Search Statistics ]==============================
184.63/184.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.63/184.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.63/184.75	c ===============================================================================
184.63/184.75	c |         0 |     312      158     1422 |     5000        0    nan |  0.000 % |
184.63/184.75	c |       100 |     312      158     1422 |     5500      100     50 |  0.321 % |
184.63/184.77	c |       253 |     312      158     1422 |     6050      253     53 |  0.321 % |
184.63/184.79	c |       481 |     312      158     1422 |     6655      481     53 |  0.321 % |
184.74/184.82	c |       818 |     312      158     1422 |     7320      818     55 |  0.321 % |
184.74/184.88	c |      1324 |     312      158     1422 |     8052     1324     51 |  0.321 % |
184.84/184.97	c |      2084 |     312      158     1422 |     8857     2084     45 |  0.321 % |
185.03/185.14	c |      3224 |     312      158     1422 |     9743     3224     42 |  0.321 % |
185.33/185.40	c |      4933 |     311      158     1422 |    10717      561     25 |  0.640 % |
185.44/185.55	c ===============================================================================
185.54/185.61	c core #6
185.54/185.61	c ============================[ Search Statistics ]==============================
185.54/185.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.54/185.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.54/185.61	c ===============================================================================
185.54/185.61	c |         0 |     410      159     1617 |     5000        0    nan |  0.000 % |
185.54/185.63	c |       101 |     410      159     1617 |     5500      101     86 |  0.001 % |
185.54/185.63	c |       253 |     410      159     1617 |     6050      253     50 |  0.001 % |
185.54/185.64	c |       478 |     410      159     1617 |     6655      478     38 |  0.001 % |
185.54/185.65	c |       815 |     410      159     1617 |     7320      815     33 |  0.001 % |
185.54/185.67	c |      1321 |     410      159     1617 |     8052     1321     29 |  0.001 % |
185.63/185.71	c |      2080 |     410      159     1617 |     8857     2080     27 |  0.001 % |
185.63/185.76	c |      3221 |     410      159     1617 |     9743     3221     27 |  0.001 % |
185.73/185.85	c |      4929 |     410      159     1617 |    10717     4929     26 |  0.001 % |
185.94/186.02	c |      7492 |     410      159     1617 |    11789     7492     25 |  0.001 % |
186.23/186.33	c |     11337 |     410      159     1617 |    12968    11337     26 |  0.001 % |
186.84/186.90	c |     17103 |     410      159     1617 |    14265    10592     25 |  0.001 % |
187.64/187.78	c |     25752 |     410      159     1617 |    15692    12085     24 |  0.001 % |
189.14/189.24	c |     38727 |     410      159     1617 |    17261     9319     25 |  0.001 % |
191.33/191.45	c |     58189 |     410      159     1617 |    18987    11466     26 |  0.001 % |
197.43/197.57	c |     87383 |     410      159     1617 |    20886    12057     47 |  0.001 % |
211.83/211.94	c |    131178 |     410      159     1617 |    22974    13887    106 |  0.001 % |
244.51/244.64	c |    196862 |     410      159     1617 |    25272    21825     95 |  0.001 % |
283.40/283.51	c ===============================================================================
288.10/288.26	c core #7
288.10/288.26	c ============================[ Search Statistics ]==============================
288.10/288.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
288.10/288.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
288.10/288.26	c ===============================================================================
288.10/288.26	c |         0 |     509      160     1815 |     5000        0    nan |  0.000 % |
288.21/288.34	c |       106 |     509      160     1815 |     5500      106    107 |  0.000 % |
288.21/288.35	c |       257 |     509      160     1815 |     6050      257     63 |  0.000 % |
288.21/288.37	c |       482 |     509      160     1815 |     6655      482     51 |  0.000 % |
288.21/288.39	c |       819 |     509      160     1815 |     7320      819     48 |  0.000 % |
288.31/288.43	c |      1326 |     509      160     1815 |     8052     1326     48 |  0.000 % |
288.40/288.51	c |      2090 |     509      160     1815 |     8857     2090     56 |  0.000 % |
288.50/288.69	c |      3230 |     509      160     1815 |     9743     3230     61 |  0.000 % |
288.80/288.96	c |      4943 |     509      160     1815 |    10717     4943     67 |  0.000 % |
289.31/289.47	c |      7507 |     509      160     1815 |    11789     7507     71 |  0.000 % |
290.31/290.45	c |     11353 |     509      160     1815 |    12968    11353     76 |  0.000 % |
292.20/292.30	c |     17120 |     509      160     1815 |    14265    10565     89 |  0.000 % |
294.70/294.88	c |     25769 |     509      160     1815 |    15692    12047     94 |  0.000 % |
299.30/299.49	c |     38748 |     509      160     1815 |    17261     9258     84 |  0.000 % |
306.91/307.01	c |     58209 |     509      160     1815 |    18987    11405     80 |  0.000 % |
316.40/316.51	c |     87402 |     509      160     1815 |    20886    11840     97 |  0.000 % |
336.69/336.80	c |    131192 |     509      160     1815 |    22974    13445    108 |  0.000 % |
368.78/368.91	c |    196876 |     509      160     1815 |    25272    21328     97 |  0.000 % |
440.86/441.02	c |    295404 |     509      160     1815 |    27799    17491    133 |  0.000 % |
540.23/540.42	c |    443198 |     509      160     1815 |    30579    14655    112 |  0.000 % |
697.49/697.78	c |    664882 |     509      160     1815 |    33637    24724    115 |  0.000 % |
950.79/951.12	c |    997408 |     509      160     1815 |    37001    32421    132 |  0.000 % |
1443.55/1444.04	c |   1496196 |     509      160     1815 |    40701    26099    154 |  0.000 % |

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-2656238-1276589895/watcher-2656238-1276589895 -o /tmp/evaluation-result-2656238-1276589895/solver-2656238-1276589895 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656238-1276589895.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.85 0.94 0.81 3/106 2596
/proc/meminfo: memFree=1676764/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=2572 CPUtime=0
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 280 0 0 0 0 0 0 0 25 0 1 0 283024 2633728 196 1992294400 134512640 135751879 4290674544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 643 196 147 303 0 338 0

[startup+0.102182 s]
/proc/loadavg: 0.85 0.94 0.81 3/106 2596
/proc/meminfo: memFree=1676764/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=3232 CPUtime=0.1
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 454 0 0 0 9 1 0 0 25 0 1 0 283024 3309568 370 1992294400 134512640 135751879 4290674544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 808 370 147 303 0 503 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3232

[startup+0.201199 s]
/proc/loadavg: 0.85 0.94 0.81 3/106 2596
/proc/meminfo: memFree=1676764/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=3760 CPUtime=0.19
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 588 0 0 0 18 1 0 0 25 0 1 0 283024 3850240 504 1992294400 134512640 135751879 4290674544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 940 504 147 303 0 635 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3760

[startup+0.301215 s]
/proc/loadavg: 0.85 0.94 0.81 3/106 2596
/proc/meminfo: memFree=1676764/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=4288 CPUtime=0.29
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 708 0 0 0 27 2 0 0 25 0 1 0 283024 4390912 624 1992294400 134512640 135751879 4290674544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 1072 624 147 303 0 767 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4288

[startup+0.701281 s]
/proc/loadavg: 0.85 0.94 0.81 3/106 2596
/proc/meminfo: memFree=1676764/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=5748 CPUtime=0.69
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 1076 0 0 0 66 3 0 0 25 0 1 0 283024 5885952 992 1992294400 134512640 135751879 4290674544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 1437 992 148 303 0 1132 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5748

[startup+1.50141 s]
/proc/loadavg: 0.85 0.94 0.81 2/107 2597
/proc/meminfo: memFree=1671796/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=8388 CPUtime=1.49
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 1758 0 0 0 143 6 0 0 25 0 1 0 283024 8589312 1674 1992294400 134512640 135751879 4290674544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 2097 1674 148 303 0 1792 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8388

[startup+3.10067 s]
/proc/loadavg: 0.85 0.94 0.81 2/107 2597
/proc/meminfo: memFree=1668324/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=13148 CPUtime=3.09
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 2945 0 0 0 298 11 0 0 25 0 1 0 283024 13463552 2861 1992294400 134512640 135751879 4290674544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 3287 2861 148 303 0 2982 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13148

[startup+6.30119 s]
/proc/loadavg: 0.86 0.94 0.81 2/107 2597
/proc/meminfo: memFree=1658280/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=23064 CPUtime=6.29
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 5422 0 0 0 606 23 0 0 25 0 1 0 283024 23617536 5338 1992294400 134512640 135751879 4290674544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 5766 5338 148 303 0 5461 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23064

[startup+12.7012 s]
/proc/loadavg: 0.87 0.94 0.82 2/107 2597
/proc/meminfo: memFree=1641920/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=38296 CPUtime=12.69
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 9204 0 0 0 1227 42 0 0 25 0 1 0 283024 39215104 9120 1992294400 134512640 135751879 4290674544 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 9574 9120 148 303 0 9269 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38296

[startup+25.5012 s]
/proc/loadavg: 0.90 0.94 0.82 2/107 2597
/proc/meminfo: memFree=1616748/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=62384 CPUtime=25.48
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 15246 0 0 0 2479 69 0 0 25 0 1 0 283024 63881216 15162 1992294400 134512640 135751879 4290674544 18446744073709551615 134616863 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 15596 15162 148 303 0 15291 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62384

[startup+51.1011 s]
/proc/loadavg: 0.93 0.94 0.82 2/107 2599
/proc/meminfo: memFree=1577564/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=102048 CPUtime=51.07
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 25122 0 0 0 4988 119 0 0 25 0 1 0 283024 104497152 25038 1992294400 134512640 135751879 4290674544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 25512 25038 148 303 0 25207 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 102048

[startup+102.301 s]
/proc/loadavg: 1.03 0.97 0.83 2/107 2599
/proc/meminfo: memFree=1506760/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=171844 CPUtime=102.26
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 42569 0 0 0 10013 213 0 0 25 0 1 0 283024 175968256 42485 1992294400 134512640 135751879 4290674544 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 42961 42485 148 303 0 42656 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 171844

[startup+162.301 s]
/proc/loadavg: 1.12 1.00 0.85 2/107 2601
/proc/meminfo: memFree=1428640/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=251008 CPUtime=162.24
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 62340 0 0 0 15907 317 0 0 25 0 1 0 283024 257032192 62256 1992294400 134512640 135751879 4290674544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 62752 62256 148 303 0 62447 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 251008

[startup+222.308 s]
/proc/loadavg: 1.09 1.01 0.86 2/107 2603
/proc/meminfo: memFree=1374700/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=303532 CPUtime=222.23
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 75541 0 0 0 21829 394 0 0 25 0 1 0 283024 310816768 75420 1992294400 134512640 135751879 4290674544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 75883 75420 151 303 0 75578 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 303532

[startup+282.301 s]
/proc/loadavg: 1.08 1.02 0.87 2/107 2605
/proc/meminfo: memFree=1321752/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=356964 CPUtime=282.2
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 88842 0 0 0 27784 436 0 0 25 0 1 0 283024 365531136 88721 1992294400 134512640 135751879 4290674544 18446744073709551615 134604046 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 89241 88721 151 303 0 88936 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 356964

[startup+342.302 s]
/proc/loadavg: 1.07 1.03 0.88 2/107 2605
/proc/meminfo: memFree=1268680/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=409472 CPUtime=342.18
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 102015 0 0 0 33732 486 0 0 25 0 1 0 283024 419299328 101894 1992294400 134512640 135751879 4290674544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 102368 101894 151 303 0 102063 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 409472

[startup+402.302 s]
/proc/loadavg: 1.14 1.05 0.90 2/107 2607
/proc/meminfo: memFree=1212756/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=465684 CPUtime=402.16
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 116056 0 0 0 39688 528 0 0 25 0 1 0 283024 476860416 115935 1992294400 134512640 135751879 4290674544 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 116421 115935 151 303 0 116116 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 465684

[startup+462.302 s]
/proc/loadavg: 1.05 1.04 0.90 2/107 2609
/proc/meminfo: memFree=1163652/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=514604 CPUtime=462.15
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 128195 0 0 0 45656 559 0 0 25 0 1 0 283024 526954496 128074 1992294400 134512640 135751879 4290674544 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 128651 128074 151 303 0 128346 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 514604

[startup+522.301 s]
/proc/loadavg: 1.02 1.03 0.91 2/107 2611
/proc/meminfo: memFree=1114796/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=563740 CPUtime=522.13
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 140463 0 0 0 51617 596 0 0 25 0 1 0 283024 577269760 140342 1992294400 134512640 135751879 4290674544 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 140935 140342 151 303 0 140630 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 563740

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 0.91 2/107 2613
/proc/meminfo: memFree=1064328/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=614336 CPUtime=582.12
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 153080 0 0 0 57576 636 0 0 25 0 1 0 283024 629080064 152959 1992294400 134512640 135751879 4290674544 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 153584 152959 151 303 0 153279 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 614336

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 0.91 2/107 2613
/proc/meminfo: memFree=1020556/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=658256 CPUtime=642.1
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 164014 0 0 0 63539 671 0 0 25 0 1 0 283024 674054144 163893 1992294400 134512640 135751879 4290674544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 164564 163893 151 303 0 164259 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 658256

[startup+702.302 s]

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

[startup+882.308 s]
/proc/loadavg: 1.08 1.03 0.92 2/107 2624
/proc/meminfo: memFree=815824/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=828436 CPUtime=882.02
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 206447 0 0 0 87389 813 0 0 25 0 1 0 283024 848318464 206326 1992294400 134512640 135751879 4290674544 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 207109 206326 151 303 0 206804 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 828436

[startup+942.302 s]
/proc/loadavg: 1.03 1.02 0.92 2/107 2624
/proc/meminfo: memFree=779120/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=865644 CPUtime=942
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 215712 0 0 0 93357 843 0 0 25 0 1 0 283024 886419456 215591 1992294400 134512640 135751879 4290674544 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 216411 215591 151 303 0 216106 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 865644

[startup+1002.3 s]
/proc/loadavg: 1.01 1.02 0.92 2/107 2626
/proc/meminfo: memFree=744152/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=900336 CPUtime=1001.99
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 224342 0 0 0 99327 872 0 0 25 0 1 0 283024 921944064 224221 1992294400 134512640 135751879 4290674544 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 225084 224221 151 303 0 224779 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 900336

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 0.92 2/107 2628
/proc/meminfo: memFree=704348/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=940128 CPUtime=1061.97
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 234302 0 0 0 105297 900 0 0 25 0 1 0 283024 962691072 234181 1992294400 134512640 135751879 4290674544 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 235032 234181 151 303 0 234727 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 940128

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 2630
/proc/meminfo: memFree=660080/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=984152 CPUtime=1121.95
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 245296 0 0 0 111262 933 0 0 25 0 1 0 283024 1007771648 245175 1992294400 134512640 135751879 4290674544 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 246038 245175 151 303 0 245733 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 984152

[startup+1182.3 s]
/proc/loadavg: 1.64 1.18 0.98 2/111 4540
/proc/meminfo: memFree=464936/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=1028500 CPUtime=1181.92
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 256344 0 0 0 117230 962 0 0 25 0 1 0 283024 1053184000 256223 1992294400 134512640 135751879 4290674544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 257125 256223 151 303 0 256820 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1028500

[startup+1242.3 s]
/proc/loadavg: 1.23 1.15 0.98 2/107 4609
/proc/meminfo: memFree=425820/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=1065872 CPUtime=1241.91
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 265611 0 0 0 123202 989 0 0 25 0 1 0 283024 1091452928 265490 1992294400 134512640 135751879 4290674544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 266468 265490 151 303 0 266163 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1065872

[startup+1302.3 s]
/proc/loadavg: 1.08 1.12 0.98 2/107 4611
/proc/meminfo: memFree=385272/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=1106592 CPUtime=1301.89
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 275775 0 0 0 129170 1019 0 0 25 0 1 0 283024 1133150208 275654 1992294400 134512640 135751879 4290674544 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 276648 275654 151 303 0 276343 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1106592

[startup+1362.3 s]
/proc/loadavg: 1.03 1.09 0.98 2/107 4613
/proc/meminfo: memFree=347824/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=1144556 CPUtime=1361.87
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 285248 0 0 0 135144 1043 0 0 25 0 1 0 283024 1172025344 285127 1992294400 134512640 135751879 4290674544 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 286139 285127 151 303 0 285834 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1144556

[startup+1422.3 s]
/proc/loadavg: 1.01 1.07 0.98 2/107 4615
/proc/meminfo: memFree=300704/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=1191408 CPUtime=1421.86
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 296926 0 0 0 141110 1076 0 0 25 0 1 0 283024 1220001792 296805 1992294400 134512640 135751879 4290674544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 297852 296805 151 303 0 297547 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1191408

[startup+1482.3 s]
/proc/loadavg: 1.79 1.29 1.06 4/113 16286
/proc/meminfo: memFree=248544/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=1227224 CPUtime=1481.83
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 305870 0 0 0 147082 1101 0 0 25 0 1 0 283024 1256677376 305749 1992294400 134512640 135751879 4290674544 18446744073709551615 134616401 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 306806 305749 151 303 0 306501 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1227224

[startup+1542.31 s]
/proc/loadavg: 2.10 1.46 1.13 3/112 31785
/proc/meminfo: memFree=197048/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=1266592 CPUtime=1541.82
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 315668 0 0 0 153051 1131 0 0 25 0 1 0 283024 1296990208 315547 1992294400 134512640 135751879 4290674544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 316648 315547 151 303 0 316343 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1266592

[startup+1602.3 s]
/proc/loadavg: 1.89 1.53 1.18 2/106 10610
/proc/meminfo: memFree=143908/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=1310608 CPUtime=1601.8
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 326650 0 0 0 159014 1166 0 0 25 0 1 0 283024 1342062592 326529 1992294400 134512640 135751879 4290674544 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 327652 326529 151 303 0 327347 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1310608

[startup+1662.3 s]
/proc/loadavg: 1.33 1.43 1.17 2/106 10612
/proc/meminfo: memFree=94928/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=1359188 CPUtime=1661.78
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 338771 0 0 0 164982 1196 0 0 25 0 1 0 283024 1391808512 338650 1992294400 134512640 135751879 4290674544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 339797 338650 151 303 0 339492 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1359188

[startup+1722.3 s]
/proc/loadavg: 1.12 1.35 1.16 2/106 10614
/proc/meminfo: memFree=54504/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=1400076 CPUtime=1721.76
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 348973 0 0 0 170951 1225 0 0 25 0 1 0 283024 1433677824 348852 1992294400 134512640 135751879 4290674544 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 350019 348852 151 303 0 349714 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1400076

[startup+1782.3 s]
/proc/loadavg: 1.04 1.29 1.14 2/106 10616
/proc/meminfo: memFree=13460/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=1440452 CPUtime=1781.74
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 359062 0 0 0 176923 1251 0 0 25 0 1 0 283024 1475022848 358941 1992294400 134512640 135751879 4290674544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 360113 358941 151 303 0 359808 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1440452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.03 1.27 1.14 2/106 10616
/proc/meminfo: memFree=9860/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=1455104 CPUtime=1800.05
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4202496 362723 0 0 0 178746 1259 0 0 25 0 1 0 283024 1490026496 362602 1992294400 134512640 135751879 4290674544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2596/statm: 363776 362602 151 303 0 363471 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1455104

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

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

[startup+1800.71 s]
/proc/loadavg: 1.03 1.27 1.14 2/107 10617
/proc/meminfo: memFree=1208684/2059040 swapFree=4192956/4192956
[pid=2596] ppid=2594 vsize=0 CPUtime=1800.15
/proc/2596/stat : 2596 (wbo1.4b) R 2594 2596 2383 0 -1 4203524 362723 0 0 0 178746 1269 0 0 25 0 1 0 283024 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/2596/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.73
CPU time (s): 1800.18
CPU user time (s): 1787.46
CPU system time (s): 12.7141
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 1455104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.46
system time used= 12.7141
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362723
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= 4
involuntary context switches= 1743

runsolver used 2.70459 second user time and 7.43387 second system time

The end

Launcher Data 

Begin job on node082 at 2010-06-15 10:18:15
IDJOB=2656238
IDBENCH=2843
IDSOLVER=1161
FILE ID=node082/2656238-1276589895
PBS_JOBID= 11173552
Free space on /tmp= 62552 MiB

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

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

MD5SUM BENCH= e965a77006f54aa5fb414d88d571084c
RANDOM SEED=171397555

node082.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1677292 kB
Buffers:         15824 kB
Cached:         260100 kB
SwapCached:          0 kB
Active:          99916 kB
Inactive:       235220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1677292 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2920 kB
Writeback:           0 kB
AnonPages:       59200 kB
Mapped:          15340 kB
Slab:            24876 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180584 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62580 MiB
End job on node082 at 2010-06-15 10:48:18