Trace number 1723199

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 21.7277 21.745

General information on the benchmark

Namemanol-pipe-c10nidw_s.cnf
MD5SUM7989bb134c6f50cb418407e85e733980
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark21.7277
Satisfiable
(Un)Satisfiability was proved
Number of variables404382
Number of clauses1204273
Sum of the clauses size2809969
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2802848
Number of clauses of size 3401424
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-1723199-1240684077.cnf
0.00/0.00	c parsed header 'p cnf 404382 1204273'
4.29/4.38	c initialized 404382 variables
4.29/4.38	c found 1204273 non trivial clauses
4.29/4.38	c
4.29/4.38	c random number generator seed 0
4.29/4.38	c 
4.29/4.38	c  seconds     variables   original    learned     agility
4.29/4.38	c         level        used      conflicts    limit          MB
4.29/4.38	c 
4.29/4.38	c s   4.4   0.0 384e3   6.1 381e3   326     0     0   0.0  45.3 
5.19/5.30	c 
5.19/5.30	c initial reduction limit 200712 clauses
5.19/5.30	c 
5.19/5.30	c +   5.3 967.7 384e3   6.8 381e3   426    99 220e3  11.0  47.1 
5.29/5.32	c R   5.3 967.7 384e3   6.8 381e3   426    99 220e3  11.0  47.1 
5.29/5.38	c +   5.4 822.7 384e3   7.0 381e3   576   249 242e3   5.3  47.1 
5.40/5.49	c R   5.5 758.3 384e3   7.2 381e3   726   399 242e3   4.5  47.1 
5.59/5.67	c +   5.7 588.5 384e3   7.4 381e3   801   456 267e3  13.6  47.1 
6.39/6.43	c s   6.4 461.9 384e3   8.2 381e3  1137   780 267e3   1.8  47.1 
6.39/6.44	c +   6.4 459.8 384e3   8.2 381e3  1138   781 293e3   1.0  47.1 
6.49/6.58	c R   6.6 440.9 384e3   8.7 381e3  1238   871 293e3  14.3  47.1 
7.09/7.10	c R   7.1 384.9 384e3   9.1 381e3  1539  1169 293e3   6.0  47.1 
7.19/7.25	c s   7.3 375.7 384e3   9.1 381e3  1619  1246 293e3   2.8  47.1 
7.19/7.29	c R   7.3 370.5 384e3   9.2 381e3  1640  1267 293e3   4.4  47.1 
7.29/7.30	c +   7.3 367.9 384e3   9.2 381e3  1643  1270 323e3   0.6  47.1 
8.89/8.97	c R   9.0 461.2 384e3  11.0 381e3  1940  1556 323e3  12.9  47.2 
9.39/9.47	c +   9.5 437.9 384e3  12.1 381e3  2400  2016 355e3  12.4  47.2 
9.99/10.05	c R  10.0 431.0 384e3  12.9 381e3  2742  2346 355e3   9.6  47.3 
10.88/10.92	c +  10.9 390.0 384e3  14.2 381e3  3535  3095 391e3   4.5  47.4 
11.58/11.60	c s  11.6 386.6 384e3  15.0 381e3  3964  3518 391e3  23.9  47.4 
11.58/11.62	c R  11.6 384.5 384e3  15.0 381e3  4081  3621 391e3   5.2  47.4 
12.38/12.46	c s  12.5 375.4 384e3  15.2 381e3  4321  3856 391e3   1.7  47.4 
12.38/12.49	c R  12.5 374.2 384e3  15.2 381e3  4325  3860 391e3   1.8  47.4 
12.38/12.49	c 
12.38/12.49	c  seconds     variables   original    learned     agility
12.38/12.49	c         level        used      conflicts    limit          MB
12.38/12.49	c 
12.88/12.91	c R  12.9 365.2 384e3  15.4 381e3  4570  4067 391e3   4.5  47.4 
13.18/13.29	c s  13.3 359.5 384e3  15.6 381e3  4706  4201 391e3   5.5  47.4 
13.68/13.79	c R  13.8 352.3 384e3  16.1 381e3  4872  4367 391e3   6.9  47.4 
14.58/14.64	c +  14.6 343.0 384e3  16.8 381e3  5237  4721 430e3   4.0  47.5 
14.98/15.03	c R  15.0 340.4 384e3  16.9 381e3  5675  5158 430e3   7.1  47.6 
16.68/16.74	c R  16.7 329.3 384e3  18.4 381e3  7675  7112 430e3   5.6  47.7 
16.98/17.04	c +  17.0 327.7 384e3  18.7 381e3  7790  7222 473e3   2.7  47.7 
20.28/20.34	c s  20.3 331.0 383e3  20.4 381e3 10093  9460 473e3   3.3  47.9 
20.28/20.39	c R  20.4 330.5 383e3  20.4 381e3 10196  9562 473e3   9.4  47.9 
20.38/20.45	c R  20.4 329.3 383e3  20.4 381e3 10496  9852 473e3   5.4  48.0 
20.57/20.60	c R  20.6 325.2 383e3  20.4 381e3 11158 10473 473e3   6.4  48.0 
20.57/20.65	c R  20.6 324.5 383e3  20.4 381e3 11460 10771 473e3   6.0  48.0 
20.67/20.79	c +  20.8 321.1 383e3  20.4 381e3 11619 10920 520e3   5.9  48.0 
20.97/21.00	c s  21.0 319.6 383e3  20.5 381e3 12161 11452 520e3   7.2  48.1 
20.97/21.03	c R  21.0 319.2 383e3  20.5 381e3 12261 11548 520e3   6.0  48.1 
21.27/21.38	c R  21.4 311.4 383e3  20.5 381e3 13925 13107 520e3   5.6  48.3 
21.37/21.45	c R  21.4 310.1 383e3  20.5 381e3 14227 13383 520e3   4.1  48.4 
21.57/21.64	c s  21.6 308.8 383e3  20.5 381e3 14588 12557 520e3   9.5  48.3 
21.57/21.64	c R  21.6 308.7 383e3  20.5 381e3 14623 12586 520e3   7.8  48.3 
21.57/21.66	c R  21.7 308.3 383e3  20.5 381e3 14753 12706 520e3   7.8  48.3 
21.57/21.67	c 0  21.7 308.3 382e3  20.6 381e3 14783 12726 520e3   6.5  48.3 
21.67/21.74	c 
21.67/21.74	c  seconds     variables   original    learned     agility
21.67/21.74	c         level        used      conflicts    limit          MB
21.67/21.74	c 
21.67/21.74	s UNSATISFIABLE
21.67/21.74	c
21.67/21.74	c 29 iterations
21.67/21.74	c 82 restarts
21.67/21.74	c 324 failed literals
21.67/21.74	c 14783 conflicts
21.67/21.74	c 177768 decisions
21.67/21.74	c 21458 fixed variables
21.67/21.74	c 276084 learned literals
21.67/21.74	c 26.4% deleted literals
21.67/21.74	c 55825814 propagations
21.67/21.74	c 20.6% variables used
21.67/21.74	c 21.7 seconds in library
21.67/21.74	c 2.6 megaprops/second
21.67/21.74	c 9 simplifications
21.67/21.74	c 0 reductions
21.67/21.74	c 0.7 MB recycled
21.67/21.74	c 48.4 MB maximally allocated
21.67/21.74	c 21.7 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-1723199-1240684077/watcher-1723199-1240684077 -o /tmp/evaluation-result-1723199-1240684077/solver-1723199-1240684077 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1723199-1240684077.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: 1.00 1.01 1.00 3/64 15776
/proc/meminfo: memFree=1949160/2055920 swapFree=4191692/4192956
[pid=15776] ppid=15774 vsize=23952 CPUtime=0
/proc/15776/stat : 15776 (picosat) R 15774 15776 15468 0 -1 4194304 597 0 0 0 0 0 0 0 18 0 1 0 96435355 24526848 582 1992294400 134512640 135137933 4294956224 18446744073709551615 134683695 0 0 4096 0 0 0 0 17 0 0 0
/proc/15776/statm: 5988 589 53 152 0 5834 0

[startup+0.0515791 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 15776
/proc/meminfo: memFree=1949160/2055920 swapFree=4191692/4192956
[pid=15776] ppid=15774 vsize=25744 CPUtime=0.04
/proc/15776/stat : 15776 (picosat) R 15774 15776 15468 0 -1 4194304 5892 0 0 0 2 2 0 0 18 0 1 0 96435355 26361856 5877 1992294400 134512640 135137933 4294956224 18446744073709551615 134532354 0 0 4096 0 0 0 0 17 0 0 0
/proc/15776/statm: 6436 5883 53 152 0 6282 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25744

[startup+0.101583 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 15776
/proc/meminfo: memFree=1949160/2055920 swapFree=4191692/4192956
[pid=15776] ppid=15774 vsize=27460 CPUtime=0.09
/proc/15776/stat : 15776 (picosat) R 15774 15776 15468 0 -1 4194304 6625 0 0 0 7 2 0 0 18 0 1 0 96435355 28119040 6610 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 0 0 0
/proc/15776/statm: 6865 6610 56 152 0 6711 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27460

[startup+0.301594 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 15776
/proc/meminfo: memFree=1949160/2055920 swapFree=4191692/4192956
[pid=15776] ppid=15774 vsize=34180 CPUtime=0.29
/proc/15776/stat : 15776 (picosat) R 15774 15776 15468 0 -1 4194304 8317 0 0 0 25 4 0 0 19 0 1 0 96435355 35000320 8302 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 0 0 0
/proc/15776/statm: 8545 8302 56 152 0 8391 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34180

[startup+0.701621 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 15776
/proc/meminfo: memFree=1949160/2055920 swapFree=4191692/4192956
[pid=15776] ppid=15774 vsize=47860 CPUtime=0.69
/proc/15776/stat : 15776 (picosat) R 15774 15776 15468 0 -1 4194304 11566 0 0 0 63 6 0 0 23 0 1 0 96435355 49008640 11552 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 0 0 0
/proc/15776/statm: 11965 11552 56 152 0 11811 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47860

[startup+1.50168 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15777
/proc/meminfo: memFree=1898208/2055920 swapFree=4191692/4192956
[pid=15776] ppid=15774 vsize=52480 CPUtime=1.49
/proc/15776/stat : 15776 (picosat) R 15774 15776 15468 0 -1 4194304 12783 0 0 0 142 7 0 0 25 0 1 0 96435355 53739520 12768 1992294400 134512640 135137933 4294956224 18446744073709551615 134528998 0 0 4096 0 0 0 0 17 0 0 0
/proc/15776/statm: 13120 12768 61 152 0 12966 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52480

[startup+3.10178 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15777
/proc/meminfo: memFree=1898080/2055920 swapFree=4191692/4192956
[pid=15776] ppid=15774 vsize=53172 CPUtime=3.09
/proc/15776/stat : 15776 (picosat) R 15774 15776 15468 0 -1 4194304 12952 0 0 0 302 7 0 0 25 0 1 0 96435355 54448128 12937 1992294400 134512640 135137933 4294956224 18446744073709551615 134527844 0 0 4096 0 0 0 0 17 0 0 0
/proc/15776/statm: 13293 12937 61 152 0 13139 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53172

[startup+6.30301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15777
/proc/meminfo: memFree=1896544/2055920 swapFree=4191692/4192956
[pid=15776] ppid=15774 vsize=55224 CPUtime=6.29
/proc/15776/stat : 15776 (picosat) R 15774 15776 15468 0 -1 4194304 13280 0 0 0 621 8 0 0 25 0 1 0 96435355 56549376 13265 1992294400 134512640 135137933 4294956224 18446744073709551615 134548801 0 0 4096 0 0 0 0 17 1 0 0
/proc/15776/statm: 13806 13265 69 152 0 13652 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55224

[startup+12.7014 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15777
/proc/meminfo: memFree=1896672/2055920 swapFree=4191692/4192956
[pid=15776] ppid=15774 vsize=55488 CPUtime=12.68
/proc/15776/stat : 15776 (picosat) R 15774 15776 15468 0 -1 4194304 13363 0 0 0 1260 8 0 0 25 0 1 0 96435355 56819712 13348 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 0 0 0
/proc/15776/statm: 13872 13348 69 152 0 13718 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 55488

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

[startup+15.9016 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15777
/proc/meminfo: memFree=1896672/2055920 swapFree=4191692/4192956
[pid=15776] ppid=15774 vsize=55752 CPUtime=15.88
/proc/15776/stat : 15776 (picosat) R 15774 15776 15468 0 -1 4194304 13417 0 0 0 1580 8 0 0 25 0 1 0 96435355 57090048 13402 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/15776/statm: 13938 13402 69 152 0 13784 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 55752

[startup+19.1019 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15777
/proc/meminfo: memFree=1896544/2055920 swapFree=4191692/4192956
[pid=15776] ppid=15774 vsize=56016 CPUtime=19.08
/proc/15776/stat : 15776 (picosat) R 15774 15776 15468 0 -1 4194304 13489 0 0 0 1900 8 0 0 25 0 1 0 96435355 57360384 13474 1992294400 134512640 135137933 4294956224 18446744073709551615 134527844 0 0 4096 0 0 0 0 17 0 0 0
/proc/15776/statm: 14004 13474 69 152 0 13850 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 56016

[startup+20.702 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15777
/proc/meminfo: memFree=1896480/2055920 swapFree=4191692/4192956
[pid=15776] ppid=15774 vsize=56148 CPUtime=20.67
/proc/15776/stat : 15776 (picosat) R 15774 15776 15468 0 -1 4194304 13542 0 0 0 2059 8 0 0 25 0 1 0 96435355 57495552 13527 1992294400 134512640 135137933 4294956224 18446744073709551615 134522705 0 0 4096 0 0 0 0 17 0 0 0
/proc/15776/statm: 14037 13527 69 152 0 13883 0
Current children cumulated CPU time (s) 20.67
Current children cumulated vsize (KiB) 56148

[startup+21.502 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15777
/proc/meminfo: memFree=1896288/2055920 swapFree=4191692/4192956
[pid=15776] ppid=15774 vsize=56540 CPUtime=21.47
/proc/15776/stat : 15776 (picosat) R 15774 15776 15468 0 -1 4194304 13605 0 0 0 2139 8 0 0 25 0 1 0 96435355 57896960 13590 1992294400 134512640 135137933 4294956224 18446744073709551615 134567444 0 0 4096 0 0 0 0 17 0 0 0
/proc/15776/statm: 14135 13590 69 152 0 13981 0
Current children cumulated CPU time (s) 21.47
Current children cumulated vsize (KiB) 56540

[startup+21.701 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15777
/proc/meminfo: memFree=1896288/2055920 swapFree=4191692/4192956
[pid=15776] ppid=15774 vsize=54228 CPUtime=21.67
/proc/15776/stat : 15776 (picosat) R 15774 15776 15468 0 -1 4194304 13607 0 0 0 2159 8 0 0 25 0 1 0 96435355 55529472 13165 1992294400 134512640 135137933 4294956224 18446744073709551615 134524816 0 0 4096 0 0 0 0 17 0 0 0
/proc/15776/statm: 13557 13165 69 152 0 13403 0
Current children cumulated CPU time (s) 21.67
Current children cumulated vsize (KiB) 54228

Child status: 20
Real time (s): 21.745
CPU time (s): 21.7277
CPU user time (s): 21.6327
CPU system time (s): 0.094985
CPU usage (%): 99.9206
Max. virtual memory (cumulated for all children) (KiB): 56540

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

runsolver used 0.018997 second user time and 0.068989 second system time

The end

Launcher Data 

Begin job on node52 at 2009-04-25 20:27:59
IDJOB=1723199
IDBENCH=71688
IDSOLVER=506
FILE ID=node52/1723199-1240684077
PBS_JOBID= 9186665
Free space on /tmp= 66212 MiB

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

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

MD5SUM BENCH= 7989bb134c6f50cb418407e85e733980
RANDOM SEED=1960442960

node52.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	: 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.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:       1950664 kB
Buffers:           728 kB
Cached:          42176 kB
SwapCached:        208 kB
Active:          47856 kB
Inactive:         8268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1950664 kB
SwapTotal:     4192956 kB
SwapFree:      4191692 kB
Dirty:           22828 kB
Writeback:           0 kB
Mapped:          21764 kB
Slab:            35140 kB
Committed_AS:   360292 kB
PageTables:       1476 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= 66212 MiB
End job on node52 at 2009-04-25 20:28:21