Trace number 268091

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, and are wall clock time (not CPU 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
VALCSP 3.1SAT 989.084 989.439

DiagnosticValue
CHECKS159433
NODES96

General information on the benchmark

Namemarc/
large-96-sat_ext.xml
MD5SUM78e01a12f71df0e44efdb8c019bda621
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.4358
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables96
Number of constraints4560
Maximum constraint arity2
Maximum domain size96
Number of constraints which are defined in extension4560
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

989.31	s SATISFIABLE
989.31	v 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 
989.31	d CHECKS 159433
989.31	d NODES 96

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node63/watcher-268091-1168977968 -o ROOT/results/node63/solver-268091-1168977968 -C 1800 -M 900 /tmp/evaluation/268091-1168977968/VALCSP /tmp/evaluation/268091-1168977968/unknown.xml 

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

/proc/loadavg: 0.25 0.06 0.02 4/68 7457
/proc/meminfo: memFree=1204992/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=1864 CPUtime=0
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 45297000 1908736 166 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431644 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 466 166 64 8 0 138 0

[startup+0.104274 s]
/proc/loadavg: 0.25 0.06 0.02 4/68 7457
/proc/meminfo: memFree=1204992/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=1864 CPUtime=0.1
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 192 0 0 0 10 0 0 0 18 0 1 0 45297000 1908736 170 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431607 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 466 170 64 8 0 138 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1864

[startup+0.512316 s]
/proc/loadavg: 0.25 0.06 0.02 4/68 7457
/proc/meminfo: memFree=1204992/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=2128 CPUtime=0.5
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 263 0 0 0 50 0 0 0 21 0 1 0 45297000 2179072 241 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429452 0 0 4096 0 0 0 0 17 0 0 0
/proc/7456/statm: 532 241 64 8 0 204 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2128

[startup+1.3324 s]
/proc/loadavg: 0.39 0.09 0.03 2/68 7457
/proc/meminfo: memFree=1204736/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=2656 CPUtime=1.32
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 406 0 0 0 132 0 0 0 25 0 1 0 45297000 2719744 384 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429473 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 664 384 64 8 0 336 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 2656

[startup+2.96858 s]
/proc/loadavg: 0.39 0.09 0.03 2/68 7460
/proc/meminfo: memFree=1203776/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=3644 CPUtime=2.95
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 658 0 0 0 294 1 0 0 25 0 1 0 45297000 3731456 636 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431589 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 911 636 64 8 0 583 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 3644

[startup+6.24493 s]
/proc/loadavg: 0.44 0.11 0.03 2/68 7460
/proc/meminfo: memFree=1202112/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=5796 CPUtime=6.2
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 1194 0 0 0 619 1 0 0 25 0 1 0 45297000 5935104 1172 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431596 0 0 4096 0 0 0 0 17 0 0 0
/proc/7456/statm: 1449 1172 64 8 0 1121 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 5796

[startup+12.7026 s]
/proc/loadavg: 0.48 0.12 0.04 2/68 7478
/proc/meminfo: memFree=1197248/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=9948 CPUtime=12.65
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 2233 0 0 0 1264 1 0 0 25 0 1 0 45297000 10186752 2211 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431617 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 2487 2211 64 8 0 2159 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 9948

[startup+25.51 s]
/proc/loadavg: 0.56 0.15 0.05 2/68 7491
/proc/meminfo: memFree=1189056/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=18616 CPUtime=25.45
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 4399 0 0 0 2542 3 0 0 25 0 1 0 45297000 19062784 4377 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429486 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 4654 4377 64 8 0 4326 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 18616

[startup+51.1217 s]
/proc/loadavg: 0.73 0.23 0.07 2/68 7495
/proc/meminfo: memFree=1172672/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=35456 CPUtime=51.04
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 8610 0 0 0 5099 5 0 0 25 0 1 0 45297000 36306944 8588 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429514 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 8864 8588 64 8 0 8536 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 35456

[startup+102.334 s]
/proc/loadavg: 0.88 0.35 0.12 2/65 7535
/proc/meminfo: memFree=1143768/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=69492 CPUtime=102.22
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 17120 0 0 0 10211 11 0 0 25 0 1 0 45297000 71159808 17098 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431629 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 17373 17098 64 8 0 17045 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 69492

[startup+162.347 s]
/proc/loadavg: 0.95 0.46 0.17 2/65 7535
/proc/meminfo: memFree=1103512/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=109124 CPUtime=162.22
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 27028 0 0 0 16205 17 0 0 25 0 1 0 45297000 111742976 27006 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431630 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 27281 27006 64 8 0 26953 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 109124

[startup+222.359 s]
/proc/loadavg: 0.98 0.56 0.22 2/65 7535
/proc/meminfo: memFree=1063960/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=148752 CPUtime=222.2
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 36935 0 0 0 22199 21 0 0 25 0 1 0 45297000 152322048 36913 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429452 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 37188 36913 64 8 0 36860 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 148752

[startup+282.371 s]
/proc/loadavg: 0.99 0.64 0.27 2/65 7535
/proc/meminfo: memFree=1024472/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=188388 CPUtime=282.2
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 46847 0 0 0 28193 27 0 0 25 0 1 0 45297000 192909312 46825 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429532 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 47097 46825 64 8 0 46769 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 188388

[startup+342.382 s]
/proc/loadavg: 0.99 0.70 0.31 2/65 7535
/proc/meminfo: memFree=984984/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=227880 CPUtime=342.2
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 56720 0 0 0 34188 32 0 0 25 0 1 0 45297000 233349120 56698 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431609 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 56970 56698 64 8 0 56642 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 227880

[startup+402.394 s]
/proc/loadavg: 0.99 0.75 0.35 2/65 7535
/proc/meminfo: memFree=944920/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=267212 CPUtime=402.19
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 66557 0 0 0 40182 37 0 0 25 0 1 0 45297000 273625088 66535 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429496 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 66803 66535 64 8 0 66475 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 267212

[startup+462.404 s]
/proc/loadavg: 0.99 0.79 0.39 2/65 7535
/proc/meminfo: memFree=905176/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=306976 CPUtime=462.18
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 76500 0 0 0 46177 41 0 0 25 0 1 0 45297000 314343424 76478 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431617 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 76744 76478 64 8 0 76416 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 306976

[startup+522.413 s]
/proc/loadavg: 0.99 0.83 0.42 2/65 7535
/proc/meminfo: memFree=865624/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=346592 CPUtime=522.18
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 86404 0 0 0 52170 48 0 0 25 0 1 0 45297000 354910208 86382 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431589 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 86648 86382 64 8 0 86320 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 346592

[startup+582.491 s]
/proc/loadavg: 1.06 0.87 0.46 2/65 7535
/proc/meminfo: memFree=825240/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=386212 CPUtime=582.25
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 96310 0 0 0 58171 54 0 0 25 0 1 0 45297000 395481088 96288 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429445 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 96553 96288 64 8 0 96225 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 386212

[startup+642.505 s]
/proc/loadavg: 1.02 0.89 0.49 2/65 7535
/proc/meminfo: memFree=785624/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=425984 CPUtime=642.24
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 106249 0 0 0 64165 59 0 0 25 0 1 0 45297000 436207616 106227 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431644 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 106496 106227 64 8 0 106168 0
Current children cumulated CPU time (s) 642.24
Current children cumulated vsize (KiB) 425984

[startup+702.521 s]
/proc/loadavg: 1.01 0.91 0.52 2/65 7535
/proc/meminfo: memFree=746200/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=465336 CPUtime=702.24
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 116088 0 0 0 70159 65 0 0 25 0 1 0 45297000 476504064 116066 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429452 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 116334 116066 64 8 0 116006 0
Current children cumulated CPU time (s) 702.24
Current children cumulated vsize (KiB) 465336

[startup+762.535 s]
/proc/loadavg: 1.00 0.92 0.55 2/65 7537
/proc/meminfo: memFree=706712/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=504832 CPUtime=762.23
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 125963 0 0 0 76154 69 0 0 25 0 1 0 45297000 516947968 125941 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431676 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 126208 125941 64 8 0 125880 0
Current children cumulated CPU time (s) 762.23
Current children cumulated vsize (KiB) 504832

[startup+822.552 s]
/proc/loadavg: 1.00 0.93 0.57 2/65 7537
/proc/meminfo: memFree=666392/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=544328 CPUtime=822.23
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 135844 0 0 0 82149 74 0 0 25 0 1 0 45297000 557391872 135822 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429473 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 136082 135822 64 8 0 135754 0
Current children cumulated CPU time (s) 822.23
Current children cumulated vsize (KiB) 544328

[startup+882.564 s]
/proc/loadavg: 1.00 0.94 0.60 2/65 7537
/proc/meminfo: memFree=627096/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=583820 CPUtime=882.23
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 145717 0 0 0 88144 79 0 0 25 0 1 0 45297000 597831680 145695 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431596 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 145955 145695 64 8 0 145627 0
Current children cumulated CPU time (s) 882.23
Current children cumulated vsize (KiB) 583820

[startup+942.576 s]
/proc/loadavg: 1.00 0.95 0.62 2/65 7537
/proc/meminfo: memFree=587288/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=623584 CPUtime=942.23
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 155657 0 0 0 94139 84 0 0 25 0 1 0 45297000 638550016 155635 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429514 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 155896 155635 64 8 0 155568 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 623584

Child status: 0
Real time (s): 989.439
CPU time (s): 989.084
CPU user time (s): 987.946
CPU system time (s): 1.13783
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 822652

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

runsolver used 0.804877 s user time and 1.91171 s system time

The end

Launcher Data (download as text)

Begin job on node63 on Tue Jan 16 20:06:35 UTC 2007


IDJOB= 268091
IDBENCH= 3518
IDSOLVER= 90
FILE ID= node63/268091-1168977968

PBS_JOBID= 3566133

Free space on /tmp= 66448 MiB

SOLVER NAME= VALCSP 3.1
BENCH NAME= HOME/pub/bench/CPAI06/marc/large-96-sat_ext.xml
COMMAND LINE= /tmp/evaluation/268091-1168977968/VALCSP /tmp/evaluation/268091-1168977968/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node63/watcher-268091-1168977968 -o ROOT/results/node63/solver-268091-1168977968 -C 1800 -M 900  /tmp/evaluation/268091-1168977968/VALCSP /tmp/evaluation/268091-1168977968/unknown.xml

META MD5SUM SOLVER= d4fc2c4e0b0392ee9c79e754aa39e238
MD5SUM BENCH=  78e01a12f71df0e44efdb8c019bda621

RANDOM SEED= 991499991

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.216
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.216
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:       1205024 kB
Buffers:         47068 kB
Cached:         705964 kB
SwapCached:          0 kB
Active:         289068 kB
Inactive:       484204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1205024 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:          119704 kB
Writeback:           0 kB
Mapped:          30352 kB
Slab:            63344 kB
Committed_AS:   421028 kB
PageTables:       1676 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= 66448 MiB



End job on node63 on Tue Jan 16 20:23:05 UTC 2007