Trace number 2656258

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? (MO) 1484.31 1484.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-fout.r.opb
MD5SUM40b50d0e4bc3f1ba5675c1e65f55a1d7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark0.106983
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved YES
Number of variables431
Total number of constraints177
Number of constraints which are clauses177
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 constraint2
Maximum length of a constraint26
Number of terms in the objective function 431
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 431
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 431
Number of bits of the biggest sum of numbers9
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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2656258-1276593408.opb.
0.00/0.00	c Instance file HOME/instance-2656258-1276593408.opb
0.00/0.00	c File size is 18662 bytes.
0.00/0.00	c Highest Coefficient sum: 27
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:      431                                                 |
0.00/0.00	c |  Number Clauses:        177                                                 |
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 |     431      177     1815 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 53
0.00/0.00	o 53
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 179.995 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     431      178     2246 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 52
0.00/0.01	o 52
0.00/0.01	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 179.993 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        21 |     431      179     2677 |     5000       21     67 |  0.000 % |
0.00/0.01	c |       121 |     431      179     2677 |     5500      121     65 |  0.001 % |
0.00/0.02	c |       272 |     431      179     2677 |     6050      272     67 |  0.001 % |
0.00/0.04	c |       499 |     431      179     2677 |     6655      499     67 |  0.001 % |
0.05/0.06	c |       836 |     431      179     2677 |     7320      836     67 |  0.001 % |
0.09/0.10	c |      1342 |     431      179     2677 |     8052     1342     66 |  0.001 % |
0.09/0.16	c |      2101 |     431      179     2677 |     8857     2101     65 |  0.001 % |
0.18/0.24	c |      3241 |     431      179     2677 |     9743     3241     67 |  0.001 % |
0.29/0.39	c |      4949 |     431      179     2677 |    10717     4949     66 |  0.001 % |
0.59/0.61	c |      7511 |     431      179     2677 |    11789     7511     65 |  0.001 % |
0.89/0.97	c |     11355 |     431      179     2677 |    12968    11355     65 |  0.001 % |
1.49/1.59	c |     17121 |     431      179     2677 |    14265    10479     64 |  0.001 % |
2.38/2.48	c |     25771 |     431      179     2677 |    15692    11840     63 |  0.001 % |
3.89/3.95	c |     38745 |     431      179     2677 |    17261     8800     66 |  0.001 % |
6.29/6.39	c |     58206 |     431      179     2677 |    18987    10694     63 |  0.001 % |
11.08/11.14	c |     87399 |     431      179     2677 |    20886    10868     68 |  0.001 % |
17.38/17.49	c |    131188 |     431      179     2677 |    22974    12205     71 |  0.001 % |
27.78/27.88	c |    196872 |     431      179     2677 |    25272    16557     68 |  0.001 % |
45.98/46.05	c |    295398 |     431      179     2677 |    27799    14200     62 |  0.001 % |
68.87/68.99	c |    443188 |     431      179     2677 |    30579    25200     65 |  0.001 % |
111.65/111.71	c |    664872 |     431      179     2677 |    33637    30624     64 |  0.001 % |
172.75/172.89	c |    997397 |     431      179     2677 |    37001    22940     65 |  0.001 % |
183.24/183.32	c There are 0 assigned variables. 0 in cost function.
184.44/184.57	c core #1
184.44/184.57	c core #2
184.44/184.57	c core #3
184.44/184.57	c core #4
184.44/184.57	c core #5
184.44/184.57	c core #6
184.44/184.57	c core #7
184.44/184.57	c core #8
184.44/184.57	c core #9
184.44/184.57	c core #10
184.44/184.57	c core #11
184.44/184.57	c core #12
184.44/184.57	c core #13
184.44/184.57	c core #14
184.44/184.57	c core #15
184.44/184.57	c core #16
184.44/184.57	c core #17
184.44/184.57	c core #18
184.44/184.57	c core #19
184.44/184.57	c core #20
184.44/184.57	c core #21
184.44/184.57	c core #22
184.44/184.57	c core #23
184.44/184.57	c core #24
184.44/184.57	c core #25
184.44/184.57	c core #26
184.44/184.57	c core #27
184.44/184.57	c core #28
184.44/184.57	c core #29
184.44/184.57	c core #30
184.44/184.57	c core #31
184.44/184.57	c ============================[ Search Statistics ]==============================
184.44/184.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.44/184.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.44/184.57	c ===============================================================================
184.44/184.57	c |         0 |     461      642     3809 |     5000        0    nan |  0.000 % |
184.44/184.57	c ===============================================================================
184.44/184.58	c core #32
184.44/184.58	c ============================[ Search Statistics ]==============================
184.44/184.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.44/184.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.44/184.58	c ===============================================================================
184.44/184.58	c |         0 |     505      643     3881 |     5000        0    nan |  0.000 % |
184.44/184.58	c ===============================================================================
184.44/184.58	c core #33
184.44/184.58	c ============================[ Search Statistics ]==============================
184.44/184.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.44/184.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.44/184.58	c ===============================================================================
184.44/184.58	c |         0 |     604      644     4049 |     5000        0    nan |  0.000 % |
184.44/184.59	c |       100 |     604      644     4049 |     5500      100     19 | 20.735 % |
184.44/184.59	c ===============================================================================
184.44/184.59	c core #34
184.44/184.59	c ============================[ Search Statistics ]==============================
184.44/184.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.44/184.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.44/184.59	c ===============================================================================
184.44/184.59	c |         0 |     810      645     4403 |     5000        0    nan |  0.000 % |
184.54/184.60	c |       102 |     810      645     4403 |     5500      102     28 | 11.572 % |
184.54/184.61	c |       253 |     810      645     4403 |     6050      253     26 | 11.572 % |
184.54/184.63	c |       480 |     810      645     4403 |     6655      480     25 | 11.572 % |
184.54/184.67	c |       817 |     810      645     4403 |     7320      817     24 | 11.572 % |
184.64/184.73	c |      1324 |     810      645     4403 |     8052     1324     28 | 11.572 % |
184.75/184.85	c |      2083 |     808      645     4403 |     8857     2080     30 | 11.791 % |
184.75/184.87	c ===============================================================================
184.84/184.90	c core #35
184.84/184.90	c ============================[ Search Statistics ]==============================
184.84/184.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.84/184.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.84/184.90	c ===============================================================================
184.84/184.90	c |         0 |    1079      646     4918 |     5000        0    nan |  0.000 % |
184.84/184.91	c |       100 |    1079      646     4918 |     5500      100     48 |  7.143 % |
184.84/184.93	c |       250 |    1079      646     4918 |     6050      250     45 |  7.143 % |
184.84/184.96	c |       475 |    1079      646     4918 |     6655      475     57 |  7.143 % |
184.94/185.02	c |       813 |    1079      646     4918 |     7320      813     61 |  7.143 % |
185.04/185.11	c |      1321 |    1079      646     4918 |     8052     1321     63 |  7.143 % |
185.24/185.31	c |      2089 |    1079      646     4918 |     8857     2089     78 |  7.143 % |
185.44/185.58	c |      3232 |    1079      646     4918 |     9743     3232     89 |  7.143 % |
185.94/186.03	c |      4940 |    1079      646     4918 |    10717     4940     97 |  7.143 % |
186.95/187.04	c |      7502 |    1079      646     4918 |    11789     7502    112 |  7.143 % |
188.94/189.04	c |     11347 |    1079      646     4918 |    12968    11347    114 |  7.143 % |
191.64/191.74	c |     17116 |    1079      646     4918 |    14265    10530    115 |  7.143 % |
195.93/196.01	c |     25765 |    1079      646     4918 |    15692    11937    115 |  7.143 % |
201.43/201.50	c |     38739 |    1079      646     4918 |    17261     9054    115 |  7.143 % |
202.64/202.73	c ===============================================================================
203.24/203.39	c core #36
203.24/203.39	c ============================[ Search Statistics ]==============================
203.24/203.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.24/203.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.24/203.39	c ===============================================================================
203.24/203.39	c |         0 |    1409      647     5550 |     5000        0    nan |  0.000 % |
203.34/203.41	c |       100 |    1409      647     5550 |     5500      100     28 |  3.757 % |
203.34/203.44	c |       251 |    1409      647     5550 |     6050      251     39 |  3.757 % |
203.34/203.48	c |       476 |    1409      647     5550 |     6655      476     58 |  3.757 % |
203.44/203.55	c |       813 |    1409      647     5550 |     7320      813     76 |  3.757 % |
203.54/203.63	c |      1320 |    1409      647     5550 |     8052     1320     94 |  3.757 % |
203.64/203.79	c |      2079 |    1409      647     5550 |     8857     2079    114 |  3.757 % |
204.03/204.17	c |      3219 |    1409      647     5550 |     9743     3219    131 |  3.757 % |
204.64/204.72	c |      4928 |    1409      647     5550 |    10717     4928    144 |  3.757 % |
205.73/205.82	c |      7492 |    1409      647     5550 |    11789     7492    149 |  3.757 % |
207.13/207.23	c |     11336 |    1409      647     5550 |    12968    11336    154 |  3.757 % |
209.53/209.64	c |     17102 |    1409      647     5550 |    14265    10499    141 |  3.757 % |
213.34/213.46	c |     25753 |    1409      647     5550 |    15692    11856    173 |  3.757 % |
220.83/220.90	c |     38736 |    1409      647     5550 |    17261     8853    194 |  3.757 % |
230.94/231.07	c |     58198 |    1409      647     5550 |    18987    10703    175 |  3.757 % |
247.33/247.48	c |     87393 |    1409      647     5550 |    20886    10999    200 |  3.757 % |
275.42/275.53	c |    131183 |    1409      647     5550 |    22974    12270    197 |  3.757 % |
326.21/326.32	c |    196869 |    1409      647     5550 |    25272    19528    202 |  3.757 % |
429.78/429.95	c |    295401 |    1409      647     5550 |    27799    14696    224 |  3.757 % |
575.65/575.83	c |    443193 |    1409      647     5550 |    30579    27845    254 |  3.757 % |
726.60/726.89	c ===============================================================================
741.21/741.46	c core #37
741.21/741.46	c ============================[ Search Statistics ]==============================
741.21/741.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
741.21/741.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
741.21/741.46	c ===============================================================================
741.21/741.46	c |         0 |    1830      648     6358 |     5000        0    nan |  0.000 % |
741.31/741.57	c |       101 |    1830      648     6358 |     5500      101     89 |  1.135 % |
741.51/741.70	c |       251 |    1830      648     6358 |     6050      251     97 |  1.135 % |
741.51/741.74	c |       476 |    1830      648     6358 |     6655      476    102 |  1.135 % |
741.60/741.81	c |       814 |    1830      648     6358 |     7320      814    110 |  1.135 % |
741.71/741.91	c |      1326 |    1830      648     6358 |     8052     1326    112 |  1.135 % |
741.90/742.13	c |      2086 |    1830      648     6358 |     8857     2086    136 |  1.135 % |
742.31/742.57	c |      3225 |    1830      648     6358 |     9743     3225    154 |  1.135 % |
742.91/743.13	c |      4933 |    1830      648     6358 |    10717     4933    186 |  1.135 % |
744.10/744.35	c |      7497 |    1830      648     6358 |    11789     7497    238 |  1.135 % |
747.50/747.75	c |     11345 |    1830      648     6358 |    12968    11345    289 |  1.135 % |
753.50/753.73	c |     17111 |    1830      648     6358 |    14265    10705    336 |  1.135 % |
760.70/760.99	c |     25762 |    1830      648     6358 |    15692    12086    339 |  1.135 % |
773.40/773.68	c |     38737 |    1830      648     6358 |    17261     9196    385 |  1.135 % |
793.49/793.78	c |     58199 |    1830      648     6358 |    18987    11424    411 |  1.135 % |
826.68/826.99	c |     87391 |    1830      648     6358 |    20886    11410    377 |  1.135 % |
876.67/876.99	c |    131182 |    1830      648     6358 |    22974    12536    309 |  1.135 % |
978.04/978.35	c |    196867 |    1830      648     6358 |    25272    19456    433 |  1.135 % |
1057.13/1057.47	c |    295394 |    1830      648     6358 |    27799    24104    278 |  1.135 % |
1233.99/1234.39	c |    443186 |    1830      648     6358 |    30579    19785    297 |  1.135 % |

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

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


[startup+0 s]
/proc/loadavg: 1.02 1.06 1.07 3/106 8907
/proc/meminfo: memFree=1556056/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=2576 CPUtime=0
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 303 0 0 0 0 0 0 0 19 0 1 0 632256 2637824 217 1992294400 134512640 135751879 4287342624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 644 217 146 303 0 339 0

[startup+0.0614761 s]
/proc/loadavg: 1.02 1.06 1.07 3/106 8907
/proc/meminfo: memFree=1556056/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=2832 CPUtime=0.05
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 370 0 0 0 5 0 0 0 19 0 1 0 632256 2899968 284 1992294400 134512640 135751879 4287342624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 708 284 147 303 0 403 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2832

[startup+0.101481 s]
/proc/loadavg: 1.02 1.06 1.07 3/106 8907
/proc/meminfo: memFree=1556056/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=3088 CPUtime=0.09
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 424 0 0 0 9 0 0 0 19 0 1 0 632256 3162112 338 1992294400 134512640 135751879 4287342624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 772 338 147 303 0 467 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3088

[startup+0.300501 s]
/proc/loadavg: 1.02 1.06 1.07 3/106 8907
/proc/meminfo: memFree=1556056/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=4124 CPUtime=0.29
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 678 0 0 0 28 1 0 0 20 0 1 0 632256 4222976 592 1992294400 134512640 135751879 4287342624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 1031 592 147 303 0 726 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4124

[startup+0.700542 s]
/proc/loadavg: 1.02 1.06 1.07 3/106 8907
/proc/meminfo: memFree=1556056/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=5816 CPUtime=0.69
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 1107 0 0 0 67 2 0 0 20 0 1 0 632256 5955584 1021 1992294400 134512640 135751879 4287342624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 1454 1021 147 303 0 1149 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5816

[startup+1.50062 s]
/proc/loadavg: 1.02 1.06 1.07 2/107 8908
/proc/meminfo: memFree=1551212/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=8792 CPUtime=1.49
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 1841 0 0 0 145 4 0 0 23 0 1 0 632256 9003008 1755 1992294400 134512640 135751879 4287342624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 2198 1755 148 303 0 1893 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8792

[startup+3.10078 s]
/proc/loadavg: 1.02 1.06 1.07 2/107 8908
/proc/meminfo: memFree=1546996/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=14632 CPUtime=3.08
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 3318 0 0 0 300 8 0 0 25 0 1 0 632256 14983168 3232 1992294400 134512640 135751879 4287342624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 3658 3232 148 303 0 3353 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14632

[startup+6.30111 s]
/proc/loadavg: 1.02 1.06 1.07 2/107 8908
/proc/meminfo: memFree=1535836/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=23988 CPUtime=6.29
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 5654 0 0 0 613 16 0 0 25 0 1 0 632256 24563712 5568 1992294400 134512640 135751879 4287342624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 5997 5568 148 303 0 5692 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23988

[startup+12.7008 s]
/proc/loadavg: 1.02 1.06 1.07 2/107 8910
/proc/meminfo: memFree=1519344/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=40452 CPUtime=12.68
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 9762 0 0 0 1239 29 0 0 25 0 1 0 632256 41422848 9676 1992294400 134512640 135751879 4287342624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 10113 9676 148 303 0 9808 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 40452

[startup+25.5011 s]
/proc/loadavg: 1.01 1.06 1.07 2/107 8910
/proc/meminfo: memFree=1486980/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=71720 CPUtime=25.48
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 17566 0 0 0 2491 57 0 0 25 0 1 0 632256 73441280 17480 1992294400 134512640 135751879 4287342624 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 17930 17480 148 303 0 17625 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71720

[startup+51.1016 s]
/proc/loadavg: 1.01 1.05 1.07 2/107 8910
/proc/meminfo: memFree=1433536/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=126096 CPUtime=51.07
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 31131 0 0 0 5007 100 0 0 25 0 1 0 632256 129122304 31045 1992294400 134512640 135751879 4287342624 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 31524 31045 148 303 0 31219 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 126096

[startup+102.309 s]
/proc/loadavg: 1.00 1.04 1.06 2/107 8912
/proc/meminfo: memFree=1330244/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=227568 CPUtime=102.27
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 56464 0 0 0 10041 186 0 0 25 0 1 0 632256 233029632 56378 1992294400 134512640 135751879 4287342624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 56892 56378 148 303 0 56587 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 227568

[startup+162.302 s]
/proc/loadavg: 1.00 1.03 1.06 2/107 8914
/proc/meminfo: memFree=1210088/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=348716 CPUtime=162.24
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 86713 0 0 0 15934 290 0 0 25 0 1 0 632256 357085184 86627 1992294400 134512640 135751879 4287342624 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 87179 86627 148 303 0 86874 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 348716

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.05 2/107 8914
/proc/meminfo: memFree=1138788/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=418244 CPUtime=222.23
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 104264 0 0 0 21853 370 0 0 25 0 1 0 632256 428281856 104141 1992294400 134512640 135751879 4287342624 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 104561 104141 151 303 0 104256 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 418244

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.05 2/107 8916
/proc/meminfo: memFree=1050996/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=506512 CPUtime=282.22
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 126274 0 0 0 27789 433 0 0 25 0 1 0 632256 518668288 126151 1992294400 134512640 135751879 4287342624 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 126628 126151 151 303 0 126323 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 506512

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.04 2/107 8918
/proc/meminfo: memFree=978456/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=578608 CPUtime=342.2
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 144281 0 0 0 33743 477 0 0 25 0 1 0 632256 592494592 144158 1992294400 134512640 135751879 4287342624 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 144652 144158 151 303 0 144347 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 578608

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.04 2/107 8920
/proc/meminfo: memFree=915340/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=642640 CPUtime=402.19
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 160262 0 0 0 39706 513 0 0 25 0 1 0 632256 658063360 160139 1992294400 134512640 135751879 4287342624 18446744073709551615 134611024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 160660 160139 151 303 0 160355 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 642640

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 8922
/proc/meminfo: memFree=853340/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=703656 CPUtime=462.17
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 175447 0 0 0 45670 547 0 0 25 0 1 0 632256 720543744 175324 1992294400 134512640 135751879 4287342624 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 175914 175324 151 303 0 175609 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 703656

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 8922
/proc/meminfo: memFree=782784/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=775112 CPUtime=522.15
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 193286 0 0 0 51629 586 0 0 25 0 1 0 632256 793714688 193163 1992294400 134512640 135751879 4287342624 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 193778 193163 151 303 0 193473 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 775112

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 8924
/proc/meminfo: memFree=720412/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=836880 CPUtime=582.14
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 208716 0 0 0 57589 625 0 0 25 0 1 0 632256 856965120 208593 1992294400 134512640 135751879 4287342624 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 209220 208593 151 303 0 208915 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 836880

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 8926
/proc/meminfo: memFree=658288/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=898012 CPUtime=642.13
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 223979 0 0 0 63550 663 0 0 25 0 1 0 632256 919564288 223856 1992294400 134512640 135751879 4287342624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 224503 223856 151 303 0 224198 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 898012

[startup+702.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 8928
/proc/meminfo: memFree=593064/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=963812 CPUtime=702.11
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 240387 0 0 0 69507 704 0 0 25 0 1 0 632256 986943488 240264 1992294400 134512640 135751879 4287342624 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 240953 240264 151 303 0 240648 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 963812

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8930
/proc/meminfo: memFree=574092/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=981284 CPUtime=762.11
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 244978 0 0 0 75477 734 0 0 25 0 1 0 632256 1004834816 244855 1992294400 134512640 135751879 4287342624 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 245321 244855 151 303 0 245016 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 981284

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8930
/proc/meminfo: memFree=484812/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=1071388 CPUtime=822.09
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 267499 0 0 0 81432 777 0 0 25 0 1 0 632256 1097101312 267376 1992294400 134512640 135751879 4287342624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 267847 267376 151 303 0 267542 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 1071388

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8932
/proc/meminfo: memFree=397640/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=1157392 CPUtime=882.07
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 289021 0 0 0 87396 811 0 0 25 0 1 0 632256 1185169408 288898 1992294400 134512640 135751879 4287342624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 289348 288898 151 303 0 289043 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 1157392

[startup+942.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 8937
/proc/meminfo: memFree=325100/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=1230652 CPUtime=942.06
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 307292 0 0 0 93361 845 0 0 25 0 1 0 632256 1260187648 307169 1992294400 134512640 135751879 4287342624 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 307663 307169 151 303 0 307358 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 1230652

[startup+1002.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 8939
/proc/meminfo: memFree=264712/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=1289848 CPUtime=1002.04
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 322088 0 0 0 99329 875 0 0 25 0 1 0 632256 1320804352 321965 1992294400 134512640 135751879 4287342624 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 322462 321965 151 303 0 322157 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1289848

[startup+1062.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 8941
/proc/meminfo: memFree=178532/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=1376736 CPUtime=1062.02
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 343824 0 0 0 105275 927 0 0 25 0 1 0 632256 1409777664 343701 1992294400 134512640 135751879 4287342624 18446744073709551615 134616398 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 344184 343701 151 303 0 343879 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1376736

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8941
/proc/meminfo: memFree=123352/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=1431900 CPUtime=1122.01
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 357593 0 0 0 111242 959 0 0 25 0 1 0 632256 1466265600 357470 1992294400 134512640 135751879 4287342624 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 357975 357470 151 303 0 357670 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1431900

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8943
/proc/meminfo: memFree=44364/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=1510876 CPUtime=1182
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 377287 0 0 0 117199 1001 0 0 25 0 1 0 632256 1547137024 377164 1992294400 134512640 135751879 4287342624 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 377719 377164 151 303 0 377414 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1510876

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8945
/proc/meminfo: memFree=9548/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=1577696 CPUtime=1241.98
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 393983 0 0 0 123162 1036 0 0 25 0 1 0 632256 1615560704 393860 1992294400 134512640 135751879 4287342624 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 394424 393860 151 303 0 394119 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1577696

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8947
/proc/meminfo: memFree=10236/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=1630204 CPUtime=1301.97
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 407112 0 0 0 129135 1062 0 0 25 0 1 0 632256 1669328896 406989 1992294400 134512640 135751879 4287342624 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 407551 406989 151 303 0 407246 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1630204

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8949
/proc/meminfo: memFree=9468/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=1699348 CPUtime=1361.95
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 424365 0 0 0 135099 1096 0 0 25 0 1 0 632256 1740132352 424242 1992294400 134512640 135751879 4287342624 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 424837 424242 151 303 0 424532 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1699348

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8949
/proc/meminfo: memFree=9492/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=1770512 CPUtime=1421.94
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 442137 0 0 0 141053 1141 0 0 25 0 1 0 632256 1813004288 442014 1992294400 134512640 135751879 4287342624 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 442628 442014 151 303 0 442323 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1770512

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8951
/proc/meminfo: memFree=10016/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=1840832 CPUtime=1481.92
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 459712 0 0 0 147011 1181 0 0 25 0 1 0 632256 1885011968 459589 1992294400 134512640 135751879 4287342624 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 460208 459589 151 303 0 459903 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1840832



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1484.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8951
/proc/meminfo: memFree=9364/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=1843208 CPUtime=1484.13
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4202496 460299 0 0 0 147231 1182 0 0 25 0 1 0 632256 1887444992 460176 1992294400 134512640 135751879 4287342624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8907/statm: 460802 460176 151 303 0 460497 0
Current children cumulated CPU time (s) 1484.13
Current children cumulated vsize (KiB) 1843208

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

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

[startup+1484.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8951
/proc/meminfo: memFree=9364/2059040 swapFree=4192956/4192956
[pid=8907] ppid=8905 vsize=0 CPUtime=1484.23
/proc/8907/stat : 8907 (wbo1.4b) R 8905 8907 2334 0 -1 4203524 460299 0 0 0 147231 1192 0 0 25 0 1 0 632256 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/8907/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1484.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1484.68
CPU time (s): 1484.31
CPU user time (s): 1472.31
CPU system time (s): 11.9932
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 1843208

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

runsolver used 2.34164 second user time and 7.12992 second system time

The end

Launcher Data 

Begin job on node051 at 2010-06-15 11:16:48
IDJOB=2656258
IDBENCH=2867
IDSOLVER=1161
FILE ID=node051/2656258-1276593408
PBS_JOBID= 11173561
Free space on /tmp= 62564 MiB

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

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

MD5SUM BENCH= 40b50d0e4bc3f1ba5675c1e65f55a1d7
RANDOM SEED=1092829400

node051.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.255
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.255
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.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1556460 kB
Buffers:         38844 kB
Cached:         338248 kB
SwapCached:          0 kB
Active:         180212 kB
Inactive:       256232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1556460 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2632 kB
Writeback:           0 kB
AnonPages:       59300 kB
Mapped:          15316 kB
Slab:            44320 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182792 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= 62560 MiB
End job on node051 at 2010-06-15 11:41:34