Trace number 1724343

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 NameAnswerCPU timeWall clock time
picosat 913UNSAT 8.31973 8.32495

General information on the benchmark

Namemanol-pipe-c9.cnf
MD5SUM7f47eb2c5986b40772da3e38cf0759b1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.54061
Satisfiable
(Un)Satisfiability was proved
Number of variables15214
Number of clauses45082
Sum of the clauses size105190
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 230054
Number of clauses of size 315027
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c PicoSAT SAT Solver Version 913
0.00/0.00	c Copyright (c) 2006 - 2009 Armin Biere JKU Linz
0.00/0.00	c gcc -Wall -Wextra -m32 -static -DNDEBUG -O3 -fomit-frame-pointer -finline-limit=1000000
0.00/0.00	c
0.00/0.00	c parsing HOME/instance-1724343-1240694552.cnf
0.00/0.00	c parsed header 'p cnf 15214 45082'
1.49/1.55	c initialized 15214 variables
1.49/1.55	c found 45082 non trivial clauses
1.49/1.55	c
1.49/1.55	c random number generator seed 0
1.49/1.55	c 
1.49/1.55	c  seconds     variables   original    learned     agility
1.49/1.55	c         level        used      conflicts    limit          MB
1.49/1.55	c 
1.49/1.55	c s   1.6   0.0 13100  21.5 13127   370     0     0   0.0   1.7 
1.59/1.62	c 
1.59/1.62	c initial reduction limit 7513 clauses
1.59/1.62	c 
1.59/1.62	c +   1.6  64.0 12672  36.1 13127   470    97  8264  15.9   1.8 
1.59/1.62	c R   1.6  64.0 12672  36.1 13127   472    99  8264  15.3   1.8 
1.59/1.64	c +   1.6  63.3 12672  40.5 13127   620   247  9090  31.4   1.8 
1.59/1.66	c R   1.7  61.3 12672  44.6 13127   773   399  9090  19.7   1.8 
1.59/1.67	c +   1.7  59.6 12672  46.1 13127   845   470  9999  11.2   1.8 
1.59/1.67	c s   1.7  59.1 12672  46.1 12614   874   498  9999  11.5   1.8 
1.69/1.76	c +   1.8  56.6 12672  61.4 12614  1182   791 10998   8.8   1.8 
1.79/1.82	c R   1.8  56.5 12672  68.1 12614  1576  1183 10998  13.2   1.9 
1.79/1.84	c +   1.8  56.6 12672  68.6 12614  1687  1294 12097   4.5   1.9 
1.79/1.89	c s   1.9  60.0 11856  73.8 11772  1839  1431 12097  24.3   1.9 
1.89/1.90	c R   1.9  59.2 11856  74.0 11772  1939  1531 12097   8.1   1.9 
1.89/1.98	c R   2.0  55.7 11851  76.8 11772  2289  1846 12097  20.5   1.9 
1.99/2.00	c +   2.0  54.9 11851  76.9 11772  2444  1995 13306  15.1   2.0 
1.99/2.01	c R   2.0  54.2 11851  76.9 11772  2589  2137 13306  15.5   2.0 
1.99/2.05	c s   2.1  53.1 11851  77.3 11771  2880  2427 13306  16.1   2.0 
2.09/2.14	c N   2.1  52.2 11851  77.9 11771  3394  2940 13306  26.9   2.1 
2.09/2.19	c +   2.2  51.9 11851  77.9 11771  3579  3125 14636  15.1   2.1 
2.39/2.42	c s   2.4  50.7 11840  77.9 11761  4914  4456 14636  17.5   2.3 
2.39/2.43	c R   2.4  50.4 11840  77.9 11761  5014  4554 14636  15.3   2.3 
2.39/2.48	c +   2.5  49.8 11840  77.9 11761  5281  4819 16099  28.6   2.3 
2.39/2.48	c 
2.39/2.48	c  seconds     variables   original    learned     agility
2.39/2.48	c         level        used      conflicts    limit          MB
2.39/2.48	c 
2.39/2.48	c N   2.5  49.8 11840  77.9 11761  5315  4853 16099  27.7   2.4 
2.49/2.59	c N   2.6  49.6 11840  77.9 11761  6121  5659 16099  23.5   2.5 
2.89/2.92	c +   2.9  51.5 11840  79.5 11761  7834  7365 17708  21.9   2.7 
2.89/2.98	c R   3.0  52.4 11840  79.8 11761  8128  7648 17708  22.1   2.8 
3.49/3.54	c +   3.5  52.1 11840  80.1 11761 11663 11168 19478  28.1   3.3 
3.70/3.79	c R   3.8  51.3 11840  80.1 11761 12941 12445 19478  22.2   3.4 
4.60/4.67	c +   4.7  48.7 11840  81.2 11761 17406 16899 21425  17.3   4.1 
6.09/6.11	c R   6.1  43.3 11840  81.2 11761 24159 12916 21425  16.2   3.3 
6.49/6.51	c +   6.5  42.5 11840  81.2 11761 26020 14774 23567  19.3   3.5 
6.49/6.60	c s   6.6  42.2 11392  81.6 11337 26452  3337 23567  17.2   2.3 
6.59/6.62	c R   6.6  42.2 11392  81.6 11337 26552  3433 23567  16.1   2.3 
6.59/6.66	c R   6.7  42.0 11391  81.7 11337 26877  3744 23567  20.1   2.3 
6.70/6.72	c N   6.7  42.0 11391  81.8 11337 27177  4027 23567  23.1   2.3 
6.79/6.86	c N   6.9  42.1 11391  82.1 11337 27978  4823 23567  25.0   2.5 
6.79/6.87	c s   6.9  42.1 11391  82.1 11337 28020  4865 23567  29.4   2.5 
6.89/6.96	c R   7.0  42.0 11297  82.4 11337 28456  5296 23567  17.8   2.5 
6.99/7.00	c R   7.0  41.9 11268  82.4 11337 28762  5586 23567  17.3   2.6 
6.99/7.05	c N   7.1  41.8 11268  82.7 11337 29062  5885 23567  24.6   2.6 
7.09/7.12	c N   7.1  41.8 11252  82.8 11337 29400  6216 23567  28.7   2.6 
7.09/7.18	c R   7.2  41.9 11252  82.8 11337 29700  6515 23567  18.2   2.7 
7.19/7.29	c s   7.3  41.9 11252  82.8 11219 30484  6769 23567  23.4   2.7 
7.19/7.29	c R   7.3  41.8 11252  82.8 11219 30503  6786 23567  17.9   2.7 
7.19/7.29	c 
7.19/7.29	c  seconds     variables   original    learned     agility
7.19/7.29	c         level        used      conflicts    limit          MB
7.19/7.29	c 
7.29/7.32	c R   7.3  41.7 11179  82.8 11219 30756  7035 23567  22.4   2.8 
7.29/7.36	c R   7.4  41.7 11179  82.8 11219 31060  7338 23567  19.2   2.8 
7.39/7.49	c R   7.5  41.6 11179  83.1 11219 31861  8119 23567  18.7   2.9 
7.59/7.67	c R   7.7  41.2 11176  83.1 11219 33201  9451 23567  16.6   3.0 
7.69/7.73	c N   7.7  41.2 11176  83.3 11219 33503  9752 23567  29.1   3.1 
7.89/7.90	c s   7.9  41.2 11176  83.3 11157 34021 10189 23567  15.6   3.1 
7.89/7.97	c R   8.0  41.1 11176  83.3 11157 34305 10473 23567  20.7   3.2 
8.09/8.16	c N   8.2  40.4 10446  84.5 11157 35386 11535 23567  24.9   3.3 
8.19/8.20	c R   8.2  40.3 10446  84.5 11157 35688 11836 23567  18.5   3.3 
8.29/8.31	c 0   8.3  39.9  7433  88.9 11157 36276 12407 23567  17.3   3.4 
8.29/8.32	c 
8.29/8.32	c  seconds     variables   original    learned     agility
8.29/8.32	c         level        used      conflicts    limit          MB
8.29/8.32	c 
8.29/8.32	s UNSATISFIABLE
8.29/8.32	c
8.29/8.32	c 25 iterations
8.29/8.32	c 118 restarts
8.29/8.32	c 310 failed literals
8.29/8.32	c 36276 conflicts
8.29/8.32	c 81834 decisions
8.29/8.32	c 7781 fixed variables
8.29/8.32	c 927293 learned literals
8.29/8.32	c 35.1% deleted literals
8.29/8.32	c 32367044 propagations
8.29/8.32	c 88.9% variables used
8.29/8.32	c 8.3 seconds in library
8.29/8.32	c 3.9 megaprops/second
8.29/8.32	c 9 simplifications
8.29/8.32	c 1 reductions
8.29/8.32	c 3.0 MB recycled
8.29/8.32	c 4.7 MB maximally allocated
8.29/8.32	c 8.3 seconds total run time

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1724343-1240694552/watcher-1724343-1240694552 -o /tmp/evaluation-result-1724343-1240694552/solver-1724343-1240694552 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1724343-1240694552.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 20125
/proc/meminfo: memFree=1721728/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=1776 CPUtime=0
/proc/20125/stat : 20125 (picosat) R 20123 20125 19940 0 -1 4194304 331 0 0 0 0 0 0 0 18 0 1 0 97488450 1818624 316 1992294400 134512640 135137933 4294956240 18446744073709551615 134683695 0 0 4096 0 0 0 0 17 1 0 0
/proc/20125/statm: 444 316 56 152 0 290 0

[startup+0.105235 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 20125
/proc/meminfo: memFree=1721728/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=2708 CPUtime=0.1
/proc/20125/stat : 20125 (picosat) R 20123 20125 19940 0 -1 4194304 584 0 0 0 10 0 0 0 18 0 1 0 97488450 2772992 569 1992294400 134512640 135137933 4294956240 18446744073709551615 134527751 0 0 4096 0 0 0 0 17 1 0 0
/proc/20125/statm: 677 569 61 152 0 523 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2708

[startup+0.201245 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 20125
/proc/meminfo: memFree=1721728/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=2708 CPUtime=0.19
/proc/20125/stat : 20125 (picosat) R 20123 20125 19940 0 -1 4194304 590 0 0 0 19 0 0 0 18 0 1 0 97488450 2772992 575 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/20125/statm: 677 575 61 152 0 523 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2708

[startup+0.301257 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 20125
/proc/meminfo: memFree=1721728/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=2708 CPUtime=0.29
/proc/20125/stat : 20125 (picosat) R 20123 20125 19940 0 -1 4194304 592 0 0 0 29 0 0 0 20 0 1 0 97488450 2772992 577 1992294400 134512640 135137933 4294956240 18446744073709551615 134548844 0 0 4096 0 0 0 0 17 1 0 0
/proc/20125/statm: 677 577 61 152 0 523 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2708

[startup+0.701303 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 20125
/proc/meminfo: memFree=1721728/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=2848 CPUtime=0.69
/proc/20125/stat : 20125 (picosat) R 20123 20125 19940 0 -1 4194304 598 0 0 0 69 0 0 0 23 0 1 0 97488450 2916352 583 1992294400 134512640 135137933 4294956240 18446744073709551615 134527747 0 0 4096 0 0 0 0 17 1 0 0
/proc/20125/statm: 712 583 61 152 0 558 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2848

[startup+1.5014 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 20126
/proc/meminfo: memFree=1719544/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=2848 CPUtime=1.49
/proc/20125/stat : 20125 (picosat) R 20123 20125 19940 0 -1 4194304 598 0 0 0 149 0 0 0 25 0 1 0 97488450 2916352 583 1992294400 134512640 135137933 4294956240 18446744073709551615 134527773 0 0 4096 0 0 0 0 17 1 0 0
/proc/20125/statm: 712 583 61 152 0 558 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2848

[startup+3.10158 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 20126
/proc/meminfo: memFree=1718968/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=3944 CPUtime=3.09
/proc/20125/stat : 20125 (picosat) R 20123 20125 19940 0 -1 4194304 901 0 0 0 309 0 0 0 25 0 1 0 97488450 4038656 886 1992294400 134512640 135137933 4294956240 18446744073709551615 134543130 0 0 4096 0 0 0 0 17 1 0 0
/proc/20125/statm: 986 886 69 152 0 832 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3944

[startup+6.30199 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 20126
/proc/meminfo: memFree=1716472/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=5932 CPUtime=6.29
/proc/20125/stat : 20125 (picosat) R 20123 20125 19940 0 -1 4194304 1376 0 0 0 628 1 0 0 25 0 1 0 97488450 6074368 1361 1992294400 134512640 135137933 4294956240 18446744073709551615 134551387 0 0 4096 0 0 0 0 17 1 0 0
/proc/20125/statm: 1483 1361 69 152 0 1329 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5932

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

[startup+6.402 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 20126
/proc/meminfo: memFree=1716472/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=5932 CPUtime=6.39
/proc/20125/stat : 20125 (picosat) R 20123 20125 19940 0 -1 4194304 1376 0 0 0 638 1 0 0 25 0 1 0 97488450 6074368 1361 1992294400 134512640 135137933 4294956240 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/20125/statm: 1483 1361 69 152 0 1329 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 5932

[startup+7.20106 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 20126
/proc/meminfo: memFree=1716280/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=5932 CPUtime=7.19
/proc/20125/stat : 20125 (picosat) R 20123 20125 19940 0 -1 4194304 1376 0 0 0 718 1 0 0 25 0 1 0 97488450 6074368 1361 1992294400 134512640 135137933 4294956240 18446744073709551615 134522698 0 0 4096 0 0 0 0 17 1 0 0
/proc/20125/statm: 1483 1361 69 152 0 1329 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 5932

[startup+8.00115 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 20126
/proc/meminfo: memFree=1716280/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=5932 CPUtime=7.99
/proc/20125/stat : 20125 (picosat) R 20123 20125 19940 0 -1 4194304 1376 0 0 0 798 1 0 0 25 0 1 0 97488450 6074368 1361 1992294400 134512640 135137933 4294956240 18446744073709551615 134554544 0 0 4096 0 0 0 0 17 1 0 0
/proc/20125/statm: 1483 1361 69 152 0 1329 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 5932

[startup+8.20117 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 20126
/proc/meminfo: memFree=1716280/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=5932 CPUtime=8.19
/proc/20125/stat : 20125 (picosat) R 20123 20125 19940 0 -1 4194304 1376 0 0 0 818 1 0 0 25 0 1 0 97488450 6074368 1361 1992294400 134512640 135137933 4294956240 18446744073709551615 134548913 0 0 4096 0 0 0 0 17 1 0 0
/proc/20125/statm: 1483 1361 69 152 0 1329 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 5932

[startup+8.30118 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 20126
/proc/meminfo: memFree=1716280/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=5932 CPUtime=8.29
/proc/20125/stat : 20125 (picosat) R 20123 20125 19940 0 -1 4194304 1376 0 0 0 828 1 0 0 25 0 1 0 97488450 6074368 1361 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/20125/statm: 1483 1361 69 152 0 1329 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 5932

Child status: 20
Real time (s): 8.32495
CPU time (s): 8.31973
CPU user time (s): 8.30374
CPU system time (s): 0.015997
CPU usage (%): 99.9374
Max. virtual memory (cumulated for all children) (KiB): 5932

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

runsolver used 0.010998 second user time and 0.026995 second system time

The end

Launcher Data 

Begin job on node20 at 2009-04-25 23:22:32
IDJOB=1724343
IDBENCH=71771
IDSOLVER=506
FILE ID=node20/1724343-1240694552
PBS_JOBID= 9186766
Free space on /tmp= 66244 MiB

SOLVER NAME= picosat 913
BENCH NAME= SAT_RACE06/manol-pipe-c9.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1724343-1240694552/watcher-1724343-1240694552 -o /tmp/evaluation-result-1724343-1240694552/solver-1724343-1240694552 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/picosat HOME/instance-1724343-1240694552.cnf

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

MD5SUM BENCH= 7f47eb2c5986b40772da3e38cf0759b1
RANDOM SEED=572696139

node20.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.214
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
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.214
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1722144 kB
Buffers:         34428 kB
Cached:         225332 kB
SwapCached:          0 kB
Active:         115804 kB
Inactive:       157792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1722144 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1464 kB
Writeback:           0 kB
Mapped:          23632 kB
Slab:            46204 kB
Committed_AS:   406208 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66244 MiB
End job on node20 at 2009-04-25 23:22:41