Trace number 1718235

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 13.282 13.2856

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
MD5SUM35a8bbabf9cb954216ad71150cb47290
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark11.9202
Satisfiable
(Un)Satisfiability was proved
Number of variables684
Number of clauses2300
Sum of the clauses size5992
Maximum clause length15
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 2978
Number of clauses of size 31284
Number of clauses of size 416
Number of clauses of size 512
Number of clauses of size over 57

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-1718235-1240634837.cnf
0.00/0.00	c parsed header 'p cnf 684 2300'
0.00/0.00	c initialized 684 variables
0.00/0.00	c found 2300 non trivial clauses
0.00/0.00	c
0.00/0.00	c random number generator seed 0
0.00/0.00	c 
0.00/0.00	c  seconds     variables   original    learned     agility
0.00/0.00	c         level        used      conflicts    limit          MB
0.00/0.00	c 
0.00/0.00	c s   0.0   0.0   672   2.8  1311     3     0     0   0.0   0.1 
0.00/0.01	c 
0.00/0.01	c initial reduction limit 659 clauses
0.00/0.01	c 
0.00/0.01	c +   0.0  18.4   671  98.2  1311   103    95   724  27.1   0.1 
0.00/0.01	c N   0.0  17.9   671  98.4  1311   131   123   724  34.2   0.1 
0.00/0.02	c +   0.0  15.9   671  99.1  1311   253   245   796  39.3   0.1 
0.00/0.04	c N   0.0  15.7   671  99.1  1311   431   422   796  39.4   0.2 
0.00/0.04	c +   0.0  15.4   671  99.1  1311   478   469   875  38.4   0.2 
0.00/0.06	c s   0.1  15.4   671  99.7  1309   689   675   875  35.6   0.2 
0.07/0.07	c +   0.1  15.0   671  99.7  1309   815   799   962  34.7   0.2 
0.07/0.09	c N   0.1  13.7   671 100.0  1309  1233   729   962  34.3   0.2 
0.10/0.10	c +   0.1  13.7   671 100.0  1309  1320   816  1058  34.5   0.2 
0.10/0.15	c +   0.1  12.3   671 100.0  1309  2077  1037  1163  31.3   0.2 
0.20/0.22	c +   0.2  11.2   671 100.0  1309  3212   990  1279  30.4   0.2 
0.20/0.22	c N   0.2  11.2   671 100.0  1309  3238  1016  1279  33.1   0.2 
0.20/0.28	c s   0.3  10.6   670 100.0  1307  4109   885  1279  30.9   0.2 
0.20/0.28	c N   0.3  10.7   670 100.0  1307  4211   987  1279  37.4   0.2 
0.30/0.30	c N   0.3  10.8   670 100.0  1307  4514  1287  1279  36.1   0.2 
0.30/0.33	c +   0.3  11.2   670 100.0  1307  4914  1032  1406  37.6   0.2 
0.30/0.36	c N   0.4  11.4   670 100.0  1307  5320   722  1406  37.8   0.2 
0.50/0.50	c N   0.5  13.3   670 100.0  1307  7328  1283  1406  39.9   0.3 
0.50/0.51	c +   0.5  13.3   670 100.0  1307  7467  1422  1546  39.3   0.3 
0.80/0.81	c +   0.8  13.4   670 100.0  1307 11296  1312  1700  34.9   0.2 
0.80/0.81	c 
0.80/0.81	c  seconds     variables   original    learned     agility
0.80/0.81	c         level        used      conflicts    limit          MB
0.80/0.81	c 
0.80/0.88	c N   0.9  13.3   670 100.0  1307 12145  1299  1700  40.1   0.2 
1.20/1.29	c +   1.3  13.2   670 100.0  1307 17039  1024  1870  35.9   0.2 
1.80/1.81	c N   1.8  12.9   670 100.0  1307 23359  1651  1870  34.4   0.3 
2.00/2.01	c +   2.0  12.8   670 100.0  1307 25653  1111  2057  36.6   0.2 
3.00/3.06	c +   3.1  12.4   670 100.0  1307 38574  1573  2262  34.0   0.2 
3.90/3.92	c N   3.9  12.2   670 100.0  1307 49002  1734  2262  31.5   0.2 
4.59/4.67	c +   4.7  12.0   670 100.0  1307 57955  1539  2488  35.4   0.2 
6.99/7.02	c +   7.0  11.7   670 100.0  1307 87026  1748  2736  35.5   0.3 
7.99/8.07	c s   8.1  11.4   618 100.0  1205 100e3   957  2736  37.5   0.2 
7.99/8.07	c N   8.1  11.4   618 100.0  1205 100e3  1056  2736  32.7   0.2 
7.99/8.09	c N   8.1  11.4   618 100.0  1205 101e3  1356  2736  31.6   0.2 
8.09/8.14	c N   8.1  11.4   618 100.0  1205 101e3  2154  2736  29.2   0.3 
8.19/8.26	c N   8.3  11.4   618 100.0  1205 103e3  1411  2736  35.9   0.2 
8.59/8.65	c N   8.7  11.4   618 100.0  1205 108e3  2068  2736  34.7   0.3 
9.49/9.54	c N   9.5  11.4   618 100.0  1205 120e3  2254  2736  33.3   0.3 
9.69/9.78	c s   9.8  11.3   614 100.0  1200 123e3  2655  2736  34.1   0.3 
9.69/9.79	c N   9.8  11.4   614 100.0  1200 123e3  1382  2736  36.4   0.2 
9.79/9.81	c N   9.8  11.4   614 100.0  1200 123e3  1683  2736  35.8   0.3 
9.79/9.87	c N   9.9  11.4   614 100.0  1200 124e3  2486  2736  38.8   0.3 
9.99/10.03	c N  10.0  11.4   614 100.0  1200 126e3  1742  2736  35.2   0.2 
10.29/10.36	c +  10.4  11.4   614 100.0  1200 130e3  1839  3009  35.0   0.3 
10.39/10.41	c N  10.4  11.4   614 100.0  1200 131e3  2424  3009  34.7   0.3 
10.39/10.41	c 
10.39/10.41	c  seconds     variables   original    learned     agility
10.39/10.41	c         level        used      conflicts    limit          MB
10.39/10.41	c 
11.19/11.28	c N  11.3  11.4   614 100.0  1200 142e3  1548  3009  37.6   0.2 
11.99/12.01	c s  12.0  11.3   567 100.0  1107 151e3   876  3009  39.0   0.2 
11.99/12.01	c N  12.0  11.3   567 100.0  1107 151e3   976  3009  39.3   0.2 
11.99/12.03	c N  12.0  11.3   567 100.0  1107 152e3  1278  3009  36.8   0.2 
11.99/12.08	c N  12.1  11.3   567 100.0  1107 152e3  2078  3009  38.3   0.3 
12.19/12.23	c N  12.2  11.2   567 100.0  1107 154e3  2573  3009  34.0   0.3 
12.59/12.61	c N  12.6  11.2   567 100.0  1107 159e3  2845  3009  39.0   0.3 
12.59/12.65	c s  12.7  11.2   520 100.0  1021 160e3   844  3009  37.2   0.2 
12.59/12.66	c N  12.7  11.2   520 100.0  1021 160e3   945  3009  36.3   0.2 
12.59/12.67	c N  12.7  11.2   520 100.0  1021 160e3  1248  3009  36.2   0.2 
12.69/12.72	c N  12.7  11.2   520 100.0  1021 161e3  2050  3009  37.9   0.3 
12.79/12.86	c N  12.9  11.1   520 100.0  1021 163e3  2541  3009  39.1   0.3 
12.79/12.89	c s  12.9  11.1   517 100.0  1019 163e3  2415  3009  33.3   0.3 
12.89/12.90	c N  12.9  11.1   517 100.0  1019 163e3  2514  3009  39.4   0.3 
12.89/12.92	c N  12.9  11.1   517 100.0  1019 164e3  2816  3009  36.8   0.4 
12.89/12.99	c N  13.0  11.1   517 100.0  1019 164e3  2107  3009  39.2   0.3 
13.09/13.10	c N  13.1  11.1   515 100.0  1019 166e3  2205  3009  34.1   0.3 
13.09/13.12	c N  13.1  11.1   515 100.0  1019 166e3  2505  3009  39.1   0.3 
13.09/13.15	c s  13.1  11.1   514 100.0  1014 167e3  2150  3009  36.6   0.3 
13.09/13.17	c N  13.2  11.1   513 100.0  1014 167e3  2478  3009  35.6   0.3 
13.09/13.19	c N  13.2  11.1   513 100.0  1014 167e3  2777  3009  36.5   0.3 
13.19/13.26	c N  13.3  11.1   501 100.0  1012 168e3  2090  3009  37.7   0.3 
13.19/13.26	c 
13.19/13.26	c  seconds     variables   original    learned     agility
13.19/13.26	c         level        used      conflicts    limit          MB
13.19/13.26	c 
13.19/13.28	c 0  13.3  11.1    39 100.0  1012 168e3  2262  3009  36.1   0.3 
13.19/13.28	c 
13.19/13.28	c  seconds     variables   original    learned     agility
13.19/13.28	c         level        used      conflicts    limit          MB
13.19/13.28	c 
13.19/13.28	s UNSATISFIABLE
13.19/13.28	c
13.19/13.28	c 17 iterations
13.19/13.28	c 1 restarts
13.19/13.28	c 6 failed literals
13.19/13.28	c 168846 conflicts
13.19/13.28	c 197345 decisions
13.19/13.28	c 645 fixed variables
13.19/13.28	c 3420564 learned literals
13.19/13.28	c 52.0% deleted literals
13.19/13.28	c 28342896 propagations
13.19/13.28	c 100.0% variables used
13.19/13.28	c 13.3 seconds in library
13.19/13.28	c 2.1 megaprops/second
13.19/13.28	c 9 simplifications
13.19/13.28	c 136 reductions
13.19/13.28	c 16.1 MB recycled
13.19/13.28	c 0.4 MB maximally allocated
13.19/13.28	c 13.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-1718235-1240634837/watcher-1718235-1240634837 -o /tmp/evaluation-result-1718235-1240634837/solver-1718235-1240634837 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1718235-1240634837.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.98 0.99 3/64 15485
/proc/meminfo: memFree=1409096/2055920 swapFree=4181432/4192956
[pid=15485] ppid=15483 vsize=780 CPUtime=0
/proc/15485/stat : 15485 (picosat) R 15483 15485 14549 0 -1 4194304 113 0 0 0 0 0 0 0 18 0 1 0 91509960 798720 98 1992294400 134512640 135137933 4294956224 18446744073709551615 134522648 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 195 98 61 152 0 41 0

[startup+0.071228 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 15485
/proc/meminfo: memFree=1409096/2055920 swapFree=4181432/4192956
[pid=15485] ppid=15483 vsize=912 CPUtime=0.07
/proc/15485/stat : 15485 (picosat) R 15483 15485 14549 0 -1 4194304 148 0 0 0 7 0 0 0 18 0 1 0 91509960 933888 133 1992294400 134512640 135137933 4294956224 18446744073709551615 134567484 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 228 133 69 152 0 74 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912

[startup+0.101233 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 15485
/proc/meminfo: memFree=1409096/2055920 swapFree=4181432/4192956
[pid=15485] ppid=15483 vsize=912 CPUtime=0.1
/proc/15485/stat : 15485 (picosat) R 15483 15485 14549 0 -1 4194304 154 0 0 0 10 0 0 0 18 0 1 0 91509960 933888 139 1992294400 134512640 135137933 4294956224 18446744073709551615 134548954 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 228 139 69 152 0 74 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 912

[startup+0.301269 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 15485
/proc/meminfo: memFree=1409096/2055920 swapFree=4181432/4192956
[pid=15485] ppid=15483 vsize=912 CPUtime=0.3
/proc/15485/stat : 15485 (picosat) R 15483 15485 14549 0 -1 4194304 158 0 0 0 30 0 0 0 19 0 1 0 91509960 933888 143 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 228 143 69 152 0 74 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 912

[startup+0.701341 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 15485
/proc/meminfo: memFree=1409096/2055920 swapFree=4181432/4192956
[pid=15485] ppid=15483 vsize=1044 CPUtime=0.7
/proc/15485/stat : 15485 (picosat) R 15483 15485 14549 0 -1 4194304 175 0 0 0 70 0 0 0 22 0 1 0 91509960 1069056 160 1992294400 134512640 135137933 4294956224 18446744073709551615 134553767 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 261 160 69 152 0 107 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 1044

[startup+1.50149 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 15486
/proc/meminfo: memFree=1408704/2055920 swapFree=4181432/4192956
[pid=15485] ppid=15483 vsize=1044 CPUtime=1.5
/proc/15485/stat : 15485 (picosat) R 15483 15485 14549 0 -1 4194304 178 0 0 0 150 0 0 0 25 0 1 0 91509960 1069056 163 1992294400 134512640 135137933 4294956224 18446744073709551615 134547573 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 261 163 69 152 0 107 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 1044

[startup+3.10178 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 15486
/proc/meminfo: memFree=1408512/2055920 swapFree=4181432/4192956
[pid=15485] ppid=15483 vsize=1044 CPUtime=3.1
/proc/15485/stat : 15485 (picosat) R 15483 15485 14549 0 -1 4194304 188 0 0 0 310 0 0 0 25 0 1 0 91509960 1069056 173 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 261 173 69 152 0 107 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 1044

[startup+6.30136 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 15486
/proc/meminfo: memFree=1408384/2055920 swapFree=4181432/4192956
[pid=15485] ppid=15483 vsize=1176 CPUtime=6.29
/proc/15485/stat : 15485 (picosat) R 15483 15485 14549 0 -1 4194304 194 0 0 0 629 0 0 0 25 0 1 0 91509960 1204224 179 1992294400 134512640 135137933 4294956224 18446744073709551615 134543500 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 294 179 69 152 0 140 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1176

[startup+12.7015 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 15486
/proc/meminfo: memFree=1408328/2055920 swapFree=4181432/4192956
[pid=15485] ppid=15483 vsize=1176 CPUtime=12.69
/proc/15485/stat : 15485 (picosat) R 15483 15485 14549 0 -1 4194304 211 0 0 0 1269 0 0 0 25 0 1 0 91509960 1204224 196 1992294400 134512640 135137933 4294956224 18446744073709551615 134548570 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 294 196 69 152 0 140 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1176

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

[startup+13.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 15486
/proc/meminfo: memFree=1408328/2055920 swapFree=4181432/4192956
[pid=15485] ppid=15483 vsize=1176 CPUtime=13.09
/proc/15485/stat : 15485 (picosat) R 15483 15485 14549 0 -1 4194304 211 0 0 0 1309 0 0 0 25 0 1 0 91509960 1204224 196 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 294 196 69 152 0 140 0
Current children cumulated CPU time (s) 13.09
Current children cumulated vsize (KiB) 1176

[startup+13.2056 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 15486
/proc/meminfo: memFree=1408328/2055920 swapFree=4181432/4192956
[pid=15485] ppid=15483 vsize=1176 CPUtime=13.19
/proc/15485/stat : 15485 (picosat) R 15483 15485 14549 0 -1 4194304 211 0 0 0 1319 0 0 0 25 0 1 0 91509960 1204224 196 1992294400 134512640 135137933 4294956224 18446744073709551615 134552415 0 0 4096 0 0 0 0 17 1 0 0
/proc/15485/statm: 294 196 69 152 0 140 0
Current children cumulated CPU time (s) 13.19
Current children cumulated vsize (KiB) 1176

Child status: 20
Real time (s): 13.2856
CPU time (s): 13.282
CPU user time (s): 13.277
CPU system time (s): 0.004999
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.277
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213
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= 23

runsolver used 0.017997 second user time and 0.035994 second system time

The end

Launcher Data 

Begin job on node67 at 2009-04-25 06:47:17
IDJOB=1718235
IDBENCH=20473
IDSOLVER=506
FILE ID=node67/1718235-1240634837
PBS_JOBID= 9186382
Free space on /tmp= 66304 MiB

SOLVER NAME= picosat 913
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.8.unsat.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1718235-1240634837/watcher-1718235-1240634837 -o /tmp/evaluation-result-1718235-1240634837/solver-1718235-1240634837 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/picosat HOME/instance-1718235-1240634837.cnf

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

MD5SUM BENCH= 35a8bbabf9cb954216ad71150cb47290
RANDOM SEED=708712453

node67.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.277
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	: 5914.62
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.277
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:       1409512 kB
Buffers:         74452 kB
Cached:         493164 kB
SwapCached:       6304 kB
Active:         194808 kB
Inactive:       381636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1409512 kB
SwapTotal:     4192956 kB
SwapFree:      4181432 kB
Dirty:             756 kB
Writeback:           0 kB
Mapped:          13492 kB
Slab:            55824 kB
Committed_AS:   309872 kB
PageTables:       1436 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= 66304 MiB
End job on node67 at 2009-04-25 06:47:31