Trace number 460006

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
MiraXT v3UNSAT 9733.41 4884.25

General information on the benchmark

Nameindustrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
MD5SUM175ec3119584300988ad366c4a04cccc
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark282.282
Satisfiable
(Un)Satisfiability was proved
Number of variables69148
Number of clauses208728
Sum of the clauses size487544
Maximum clause length28
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2139492
Number of clauses of size 368730
Number of clauses of size 4102
Number of clauses of size 513
Number of clauses of size over 5135

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...
9733.32/4884.17	s UNSATISFIABLE

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node58/watcher-460006-1179235777 -o ROOT/results/node58/solver-460006-1179235777 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/460006-1179235777/MiraXTv3_dyn /tmp/evaluation/460006-1179235777/instance-460006-1179235777.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 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.00 0.00 0.00 3/64 26751
/proc/meminfo: memFree=919808/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=3788 CPUtime=0
/proc/26751/stat : 26751 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 371487516 3878912 341 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/26751/statm: 947 350 202 20 0 305 0

[startup+0.079496 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 26751
/proc/meminfo: memFree=919808/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=10532 CPUtime=0.06
/proc/26751/stat : 26751 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194304 2127 0 0 0 6 0 0 0 18 0 1 0 371487516 10784768 2102 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 5305979 0 0 4096 0 0 0 0 17 0 0 0
/proc/26751/statm: 2633 2102 206 20 0 1991 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10532

[startup+0.101499 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 26751
/proc/meminfo: memFree=919808/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=12844 CPUtime=0.09
/proc/26751/stat : 26751 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194304 2587 0 0 0 8 1 0 0 18 0 1 0 371487516 13152256 2562 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 5305979 0 0 4096 0 0 0 0 17 0 0 0
/proc/26751/statm: 3211 2562 206 20 0 2569 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12844

[startup+0.301532 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 26751
/proc/meminfo: memFree=919808/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=26196 CPUtime=0.29
/proc/26751/stat : 26751 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194304 5355 0 0 0 27 2 0 0 19 0 1 0 371487516 26824704 5330 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 5305979 0 0 4096 0 0 0 0 17 0 0 0
/proc/26751/statm: 6549 5330 207 20 0 5907 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26196

[startup+0.701599 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 26751
/proc/meminfo: memFree=919808/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=34388 CPUtime=0.69
/proc/26751/stat : 26751 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194304 7583 0 0 0 66 3 0 0 23 0 1 0 371487516 35213312 7558 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 5305979 0 0 4096 0 0 0 0 17 0 0 0
/proc/26751/statm: 8597 7558 207 20 0 7955 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34388

[startup+1.50173 s]
/proc/loadavg: 0.00 0.00 0.00 2/65 26752
/proc/meminfo: memFree=884280/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=44464 CPUtime=1.49
/proc/26751/stat : 26751 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194304 9981 0 0 0 145 4 0 0 25 0 1 0 371487516 45531136 9956 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134583531 0 0 4096 0 0 0 0 17 0 0 0
/proc/26751/statm: 11116 9956 207 20 0 10474 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44464

[startup+3.102 s]
/proc/loadavg: 0.08 0.02 0.01 2/67 26754
/proc/meminfo: memFree=859432/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=92024 CPUtime=3.19
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 16343 0 0 0 311 8 0 0 25 0 3 0 371487516 94232576 15213 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 23006 15213 218 20 0 22364 0
[pid=26751/tid=26753] ppid=26749 vsize=92024 CPUtime=1.35
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 3009 0 0 0 134 1 0 0 25 0 3 0 371487690 94232576 15213 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=92024 CPUtime=0.08
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194368 2986 0 0 0 7 1 0 0 18 0 3 0 371487690 94232576 15213 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 92024

[startup+6.30254 s]
/proc/loadavg: 0.08 0.02 0.01 3/67 26754
/proc/meminfo: memFree=860392/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=90540 CPUtime=8.58
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 17194 0 0 0 850 8 0 0 25 0 3 0 371487516 92712960 15014 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 22635 15014 218 20 0 21993 0
[pid=26751/tid=26753] ppid=26749 vsize=90540 CPUtime=4.55
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 3510 0 0 0 454 1 0 0 25 0 3 0 371487690 92712960 15014 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565845 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=90540 CPUtime=2.28
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 3336 0 0 0 226 2 0 0 25 0 3 0 371487690 92712960 15014 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.58
Current children cumulated vsize (KiB) 90540

[startup+12.7016 s]
/proc/loadavg: 0.37 0.08 0.03 3/67 26754
/proc/meminfo: memFree=856424/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=94800 CPUtime=21.35
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 18289 0 0 0 2124 11 0 0 25 0 3 0 371487516 97075200 16109 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 23700 16109 218 20 0 23058 0
[pid=26751/tid=26753] ppid=26749 vsize=94800 CPUtime=10.95
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 3862 0 0 0 1093 2 0 0 25 0 3 0 371487690 97075200 16109 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526558 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=94800 CPUtime=8.65
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 4079 0 0 0 861 4 0 0 25 0 3 0 371487690 97075200 16109 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.35
Current children cumulated vsize (KiB) 94800

[startup+25.5016 s]
/proc/loadavg: 0.62 0.14 0.05 3/67 26754
/proc/meminfo: memFree=846312/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=103120 CPUtime=46.88
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 20694 0 0 0 4672 16 0 0 25 0 3 0 371487516 105594880 18514 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 25780 18514 218 20 0 25138 0
[pid=26751/tid=26753] ppid=26749 vsize=103120 CPUtime=23.68
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 5027 0 0 0 2365 3 0 0 25 0 3 0 371487690 105594880 18514 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=103120 CPUtime=21.45
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 5319 0 0 0 2137 8 0 0 25 0 3 0 371487690 105594880 18514 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520288 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 46.88
Current children cumulated vsize (KiB) 103120

[startup+51.1018 s]
/proc/loadavg: 1.09 0.29 0.10 3/67 26754
/proc/meminfo: memFree=830056/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=117884 CPUtime=97.95
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 24786 0 0 0 9772 23 0 0 25 0 3 0 371487516 120713216 22534 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 29471 22534 218 20 0 28829 0
[pid=26751/tid=26753] ppid=26749 vsize=117884 CPUtime=49.17
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 7582 0 0 0 4911 6 0 0 25 0 3 0 371487690 120713216 22534 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=117884 CPUtime=47.04
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 6856 0 0 0 4692 12 0 0 25 0 3 0 371487690 120713216 22534 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 97.95
Current children cumulated vsize (KiB) 117884

[startup+102.305 s]
/proc/loadavg: 1.64 0.58 0.20 3/67 26754
/proc/meminfo: memFree=784296/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=163460 CPUtime=200.12
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 36395 0 0 0 19966 46 0 0 25 0 3 0 371487516 167383040 34002 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 40865 34002 218 20 0 40223 0
[pid=26751/tid=26753] ppid=26749 vsize=163460 CPUtime=100.14
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 13006 0 0 0 10000 14 0 0 25 0 3 0 371487690 167383040 34002 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=163460 CPUtime=98.23
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 13041 0 0 0 9796 27 0 0 25 0 3 0 371487690 167383040 34002 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 200.12
Current children cumulated vsize (KiB) 163460

[startup+162.301 s]
/proc/loadavg: 1.85 0.81 0.30 3/67 26754
/proc/meminfo: memFree=746984/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=202012 CPUtime=319.82
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 46140 0 0 0 31920 62 0 0 25 0 3 0 371487516 206860288 43455 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 50503 43455 218 20 0 49861 0
[pid=26751/tid=26753] ppid=26749 vsize=202012 CPUtime=159.87
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 17539 0 0 0 15967 20 0 0 25 0 3 0 371487690 206860288 43455 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=202012 CPUtime=158.21
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 18253 0 0 0 15784 37 0 0 25 0 3 0 371487690 206860288 43455 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 319.82
Current children cumulated vsize (KiB) 202012

[startup+222.301 s]
/proc/loadavg: 1.95 1.04 0.42 3/67 26754
/proc/meminfo: memFree=730024/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=217112 CPUtime=439.52
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 50449 0 0 0 43882 70 0 0 25 0 3 0 371487516 222322688 47493 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 54278 47493 218 20 0 53636 0
[pid=26751/tid=26753] ppid=26749 vsize=217112 CPUtime=219.78
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 19709 0 0 0 21954 24 0 0 25 0 3 0 371487690 222322688 47493 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26751/tid=26754] ppid=26749 vsize=217112 CPUtime=217.99
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 20392 0 0 0 21758 41 0 0 25 0 3 0 371487690 222322688 47493 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 439.52
Current children cumulated vsize (KiB) 217112

[startup+282.302 s]
/proc/loadavg: 1.98 1.20 0.50 3/67 26754
/proc/meminfo: memFree=720296/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=227316 CPUtime=559.25
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 53233 0 0 0 55850 75 0 0 25 0 3 0 371487516 232771584 49982 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 56829 49982 218 20 0 56187 0
[pid=26751/tid=26753] ppid=26749 vsize=227316 CPUtime=279.76
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 20678 0 0 0 27951 25 0 0 25 0 3 0 371487690 232771584 49982 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26751/tid=26754] ppid=26749 vsize=227316 CPUtime=277.74
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 22207 0 0 0 27729 45 0 0 25 0 3 0 371487690 232771584 49982 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 559.25
Current children cumulated vsize (KiB) 227316

[startup+342.302 s]
/proc/loadavg: 1.99 1.36 0.60 3/67 26754
/proc/meminfo: memFree=690792/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=255344 CPUtime=678.94
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 60834 0 0 0 67807 87 0 0 25 0 3 0 371487516 261472256 57271 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 63836 57271 218 20 0 63194 0
[pid=26751/tid=26753] ppid=26749 vsize=255344 CPUtime=339.73
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 26091 0 0 0 33942 31 0 0 25 0 3 0 371487690 261472256 57271 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520108 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26751/tid=26754] ppid=26749 vsize=255344 CPUtime=337.47
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 24395 0 0 0 33696 51 0 0 25 0 3 0 371487690 261472256 57271 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520209 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 678.94
Current children cumulated vsize (KiB) 255344

[startup+402.301 s]
/proc/loadavg: 1.99 1.46 0.68 3/67 26754
/proc/meminfo: memFree=690536/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=255344 CPUtime=798.65
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 61200 0 0 0 79777 88 0 0 25 0 3 0 371487516 261472256 57315 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0

################
# More data... #
################

/proc/loadavg: 2.00 2.00 1.91 3/67 26956
/proc/meminfo: memFree=405672/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=537796 CPUtime=9057.65
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 148321 0 0 0 905525 240 0 0 25 0 3 0 371487516 550703104 128356 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 134449 128356 218 20 0 133807 0
[pid=26751/tid=26753] ppid=26749 vsize=537796 CPUtime=4530.07
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 67602 0 0 0 452927 80 0 0 25 0 3 0 371487690 550703104 128356 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=537796 CPUtime=4525.82
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 70371 0 0 0 452428 154 0 0 25 0 3 0 371487690 550703104 128356 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9057.65
Current children cumulated vsize (KiB) 537796

[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 26956
/proc/meminfo: memFree=405608/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=537796 CPUtime=9177.38
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 148336 0 0 0 917497 241 0 0 25 0 3 0 371487516 550703104 128371 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 134449 128371 218 20 0 133807 0
[pid=26751/tid=26753] ppid=26749 vsize=537796 CPUtime=4589.82
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 67614 0 0 0 458901 81 0 0 25 0 3 0 371487690 550703104 128371 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=537796 CPUtime=4585.8
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 70374 0 0 0 458426 154 0 0 25 0 3 0 371487690 550703104 128371 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520184 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9177.38
Current children cumulated vsize (KiB) 537796

[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 26956
/proc/meminfo: memFree=405608/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=537796 CPUtime=9297.08
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 148356 0 0 0 929467 241 0 0 25 0 3 0 371487516 550703104 128391 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 134449 128391 218 20 0 133807 0
[pid=26751/tid=26753] ppid=26749 vsize=537796 CPUtime=4649.54
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 67626 0 0 0 464873 81 0 0 25 0 3 0 371487690 550703104 128391 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=537796 CPUtime=4645.78
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 70382 0 0 0 464424 154 0 0 25 0 3 0 371487690 550703104 128391 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9297.08
Current children cumulated vsize (KiB) 537796

[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 26956
/proc/meminfo: memFree=405544/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=537796 CPUtime=9416.77
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 148372 0 0 0 941436 241 0 0 25 0 3 0 371487516 550703104 128407 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 134449 128407 218 20 0 133807 0
[pid=26751/tid=26753] ppid=26749 vsize=537796 CPUtime=4709.26
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 67634 0 0 0 470845 81 0 0 25 0 3 0 371487690 550703104 128407 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=537796 CPUtime=4705.76
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 70390 0 0 0 470422 154 0 0 25 0 3 0 371487690 550703104 128407 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9416.77
Current children cumulated vsize (KiB) 537796

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 26956
/proc/meminfo: memFree=405480/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=537796 CPUtime=9536.49
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 148388 0 0 0 953408 241 0 0 25 0 3 0 371487516 550703104 128423 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 134449 128423 218 20 0 133807 0
[pid=26751/tid=26753] ppid=26749 vsize=537796 CPUtime=4769
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 67646 0 0 0 476819 81 0 0 25 0 3 0 371487690 550703104 128423 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=537796 CPUtime=4765.75
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 70394 0 0 0 476420 155 0 0 25 0 3 0 371487690 550703104 128423 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9536.49
Current children cumulated vsize (KiB) 537796

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 26956
/proc/meminfo: memFree=403048/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=540868 CPUtime=9656.09
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 149513 0 0 0 965366 243 0 0 25 0 3 0 371487516 553848832 129131 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 135217 129131 218 20 0 134575 0
[pid=26751/tid=26753] ppid=26749 vsize=540868 CPUtime=4828.61
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 68070 0 0 0 482780 81 0 0 25 0 3 0 371487690 553848832 129131 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=540868 CPUtime=4825.72
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 71095 0 0 0 482416 156 0 0 25 0 3 0 371487690 553848832 129131 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9656.09
Current children cumulated vsize (KiB) 540868

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

[startup+4863.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 26956
/proc/meminfo: memFree=379112/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=566068 CPUtime=9698.56
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 156301 0 0 0 969603 253 0 0 25 0 3 0 371487516 579653632 135394 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 141517 135394 218 20 0 140875 0
[pid=26751/tid=26753] ppid=26749 vsize=566068 CPUtime=4849.49
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 69532 0 0 0 484867 82 0 0 25 0 3 0 371487690 579653632 135394 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=566068 CPUtime=4847.32
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 76421 0 0 0 484566 166 0 0 25 0 3 0 371487690 579653632 135394 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526205 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9698.56
Current children cumulated vsize (KiB) 566068

[startup+4876.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 26956
/proc/meminfo: memFree=356072/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=587616 CPUtime=9723.17
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 163567 0 0 0 972057 260 0 0 25 0 3 0 371487516 601718784 140775 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 146904 140775 218 20 0 146262 0
[pid=26751/tid=26753] ppid=26749 vsize=587616 CPUtime=4861.52
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 72857 0 0 0 486067 85 0 0 25 0 3 0 371487690 601718784 140775 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134536026 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=587616 CPUtime=4859.89
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 80362 0 0 0 485820 169 0 0 25 0 3 0 371487690 601718784 140775 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9723.17
Current children cumulated vsize (KiB) 587616

[startup+4879.9 s]
/proc/loadavg: 2.00 2.00 1.91 2/67 26956
/proc/meminfo: memFree=358248/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=585948 CPUtime=9729.03
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 164132 0 0 0 972643 260 0 0 25 0 3 0 371487516 600010752 140183 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 146487 140183 218 20 0 145845 0
[pid=26751/tid=26753] ppid=26749 vsize=585948 CPUtime=4864.72
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 73422 0 0 0 486386 86 0 0 25 0 3 0 371487690 600010752 140183 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26751/tid=26754] ppid=26749 vsize=585948 CPUtime=4862.56
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194368 80362 0 0 0 486087 169 0 0 25 0 3 0 371487690 600010752 140183 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9729.03
Current children cumulated vsize (KiB) 585948

[startup+4881.5 s]
/proc/loadavg: 2.00 2.00 1.91 2/67 26956
/proc/meminfo: memFree=358248/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=584796 CPUtime=9730.7
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 165299 0 0 0 972809 261 0 0 25 0 3 0 371487516 598831104 140210 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 146199 140210 218 20 0 145557 0
[pid=26751/tid=26753] ppid=26749 vsize=584796 CPUtime=4866.14
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194368 73997 0 0 0 486528 86 0 0 23 0 3 0 371487690 598831104 140210 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=584796 CPUtime=4862.8
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 80954 0 0 0 486111 169 0 0 18 0 3 0 371487690 598831104 140210 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9730.7
Current children cumulated vsize (KiB) 584796

[startup+4883.1 s]
/proc/loadavg: 2.00 2.00 1.91 2/67 26956
/proc/meminfo: memFree=358120/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=584796 CPUtime=9732.3
/proc/26751/stat : 26751 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194304 165299 0 0 0 972969 261 0 0 25 0 3 0 371487516 598831104 140210 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/26751/statm: 146199 140210 218 20 0 145557 0
[pid=26751/tid=26753] ppid=26749 vsize=584796 CPUtime=4866.14
/proc/26751/task/26753/stat : 26753 (MiraXTv3_dyn) S 26749 26751 26677 0 -1 4194368 73997 0 0 0 486528 86 0 0 23 0 3 0 371487690 598831104 140210 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26751/tid=26754] ppid=26749 vsize=584796 CPUtime=4864.4
/proc/26751/task/26754/stat : 26754 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194368 80954 0 0 0 486271 169 0 0 25 0 3 0 371487690 598831104 140210 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9732.3
Current children cumulated vsize (KiB) 584796

[startup+4883.9 s]
/proc/loadavg: 2.00 2.00 1.91 2/65 26956
/proc/meminfo: memFree=389992/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=533544 CPUtime=9733.12
/proc/26751/stat : 26751 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194304 165301 0 0 0 973051 261 0 0 17 0 1 0 371487516 546349056 132216 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 5303804 0 0 4096 0 0 0 0 17 1 0 0
/proc/26751/statm: 133386 132216 220 20 0 132744 0
Current children cumulated CPU time (s) 9733.12
Current children cumulated vsize (KiB) 533544

[startup+4884.1 s]
/proc/loadavg: 2.00 2.00 1.91 2/65 26956
/proc/meminfo: memFree=389992/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=355368 CPUtime=9733.32
/proc/26751/stat : 26751 (MiraXTv3_dyn) R 26749 26751 26677 0 -1 4194304 165301 0 0 0 973068 264 0 0 18 0 1 0 371487516 363896832 87330 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26751/statm: 88842 87330 220 20 0 88200 0
Current children cumulated CPU time (s) 9733.32
Current children cumulated vsize (KiB) 355368

[startup+4884.2 s]
/proc/loadavg: 2.00 2.00 1.91 2/65 26956
/proc/meminfo: memFree=389992/2055920 swapFree=4184552/4192956
[pid=26751] ppid=26749 vsize=0 CPUtime=9733.4
/proc/26751/stat : 26751 (MiraXTv3_dyn) D 26749 26751 26677 0 -1 4194308 165304 0 0 0 973071 269 0 0 15 0 1 0 371487516 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744072100037788 0 0 17 0 0 0
/proc/26751/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9733.4
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 4884.25
CPU time (s): 9733.41
CPU user time (s): 9730.71
CPU system time (s): 2.69959
CPU usage (%): 199.281
Max. virtual memory (cumulated for all children) (KiB): 587616

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

runsolver used 4.78727 second user time and 12.99 second system time

The end

Launcher Data (download as text)

Begin job on node58 on Tue May 15 13:29:38 UTC 2007

IDJOB= 460006
IDBENCH= 20425
IDSOLVER= 196
FILE ID= node58/460006-1179235777

PBS_JOBID= 5274681

Free space on /tmp= 66533 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/medium/emptyroom-4-h21-unsat.cnf
COMMAND LINE= /tmp/evaluation/460006-1179235777/MiraXTv3_dyn /tmp/evaluation/460006-1179235777/instance-460006-1179235777.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-460006-1179235777 -o ROOT/results/node58/solver-460006-1179235777 -C 10000 -W 15000 -M 1800 --output-limit 1,15  /tmp/evaluation/460006-1179235777/MiraXTv3_dyn /tmp/evaluation/460006-1179235777/instance-460006-1179235777.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  175ec3119584300988ad366c4a04cccc

RANDOM SEED= 128891159

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

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

/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.265
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.265
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:        920088 kB
Buffers:         55668 kB
Cached:         922148 kB
SwapCached:       2472 kB
Active:         573520 kB
Inactive:       413776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        920088 kB
SwapTotal:     4192956 kB
SwapFree:      4184552 kB
Dirty:            7304 kB
Writeback:           0 kB
Mapped:          16008 kB
Slab:           134608 kB
Committed_AS:  4599804 kB
PageTables:       1400 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= 66533 MiB

End job on node58 on Tue May 15 14:51:03 UTC 2007