Trace number 460105

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 v3? (TO) 10000.2 5018.19

General information on the benchmark

Nameindustrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k80.cnf
MD5SUMd8d6a3220ff7f841840041023f45b746
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables119275
Number of clauses534228
Sum of the clauses size1374894
Maximum clause length20
Minimum clause length1
Number of clauses of size 1743
Number of clauses of size 2416106
Number of clauses of size 358662
Number of clauses of size 423975
Number of clauses of size 510404
Number of clauses of size over 524338

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node23/watcher-460105-1179235885 -o ROOT/results/node23/solver-460105-1179235885 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/460105-1179235885/MiraXTv3_dyn /tmp/evaluation/460105-1179235885/instance-460105-1179235885.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/77 10233
/proc/meminfo: memFree=747576/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=3788 CPUtime=0
/proc/10233/stat : 10233 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 371505739 3878912 309 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10233/statm: 947 318 202 20 0 305 0

[startup+0.087291 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 10233
/proc/meminfo: memFree=747576/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=8632 CPUtime=0.08
/proc/10233/stat : 10233 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194304 1654 0 0 0 7 1 0 0 18 0 1 0 371505739 8839168 1629 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134571915 0 0 4096 0 0 0 0 17 1 0 0
/proc/10233/statm: 2158 1629 206 20 0 1516 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8632

[startup+0.101293 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 10233
/proc/meminfo: memFree=747576/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=9592 CPUtime=0.09
/proc/10233/stat : 10233 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194304 1829 0 0 0 8 1 0 0 18 0 1 0 371505739 9822208 1804 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 2930299 0 0 4096 0 0 0 0 17 1 0 0
/proc/10233/statm: 2398 1805 206 20 0 1756 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9592

[startup+0.301333 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 10233
/proc/meminfo: memFree=747576/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=22844 CPUtime=0.29
/proc/10233/stat : 10233 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194304 4697 0 0 0 26 3 0 0 19 0 1 0 371505739 23392256 4672 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 2930299 0 0 4096 0 0 0 0 17 1 0 0
/proc/10233/statm: 5711 4673 206 20 0 5069 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22844

[startup+0.701411 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 10233
/proc/meminfo: memFree=747576/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=47296 CPUtime=0.69
/proc/10233/stat : 10233 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194304 10210 0 0 0 62 7 0 0 23 0 1 0 371505739 48431104 10185 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 2930299 0 0 4096 0 0 0 0 17 1 0 0
/proc/10233/statm: 11824 10186 206 20 0 11182 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47296

[startup+1.50156 s]
/proc/loadavg: 0.00 0.00 0.00 2/78 10234
/proc/meminfo: memFree=703280/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=57364 CPUtime=1.49
/proc/10233/stat : 10233 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194304 13262 0 0 0 141 8 0 0 25 0 1 0 371505739 58740736 13237 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 2930299 0 0 4096 0 0 0 0 17 1 0 0
/proc/10233/statm: 14341 13237 207 20 0 13699 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57364

[startup+3.10188 s]
/proc/loadavg: 0.08 0.02 0.01 2/78 10234
/proc/meminfo: memFree=683504/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=78648 CPUtime=3.09
/proc/10233/stat : 10233 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194304 18042 0 0 0 299 10 0 0 25 0 1 0 371505739 80535552 18017 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134575893 0 0 4096 0 0 0 0 17 1 0 0
/proc/10233/statm: 19662 18017 207 20 0 19020 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 78648

[startup+6.3015 s]
/proc/loadavg: 0.08 0.02 0.01 2/80 10236
/proc/meminfo: memFree=633888/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=183256 CPUtime=6.49
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 30759 0 0 0 630 19 0 0 25 0 3 0 371505739 187654144 28534 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 45814 28534 218 20 0 45172 0
[pid=10233/tid=10235] ppid=10231 vsize=183256 CPUtime=2.44
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 5736 0 0 0 241 3 0 0 25 0 3 0 371506123 187654144 28534 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=183256 CPUtime=0.2
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194368 6051 0 0 0 16 4 0 0 18 0 3 0 371506123 187654144 28534 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 183256

[startup+12.7027 s]
/proc/loadavg: 0.30 0.06 0.02 3/80 10236
/proc/meminfo: memFree=635040/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=180608 CPUtime=16.8
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 31471 0 0 0 1660 20 0 0 25 0 3 0 371505739 184942592 28312 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 45152 28312 218 20 0 44510 0
[pid=10233/tid=10235] ppid=10231 vsize=180608 CPUtime=8.85
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 5919 0 0 0 881 4 0 0 25 0 3 0 371506123 184942592 28312 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=180608 CPUtime=4.11
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 6580 0 0 0 407 4 0 0 25 0 3 0 371506123 184942592 28312 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134517112 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.8
Current children cumulated vsize (KiB) 180608

[startup+25.5012 s]
/proc/loadavg: 0.56 0.13 0.04 3/80 10236
/proc/meminfo: memFree=630176/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=184704 CPUtime=42.34
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 32653 0 0 0 4212 22 0 0 25 0 3 0 371505739 189136896 29494 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 46176 29494 218 20 0 45534 0
[pid=10233/tid=10235] ppid=10231 vsize=184704 CPUtime=21.64
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 6140 0 0 0 2160 4 0 0 25 0 3 0 371506123 189136896 29494 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526205 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=184704 CPUtime=16.85
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 7541 0 0 0 1679 6 0 0 25 0 3 0 371506123 189136896 29494 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.34
Current children cumulated vsize (KiB) 184704

[startup+51.1012 s]
/proc/loadavg: 1.05 0.28 0.09 3/80 10236
/proc/meminfo: memFree=596128/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=217688 CPUtime=93.4
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 41612 0 0 0 9306 34 0 0 25 0 3 0 371505739 222912512 38228 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 54422 38228 218 20 0 53780 0
[pid=10233/tid=10235] ppid=10231 vsize=217688 CPUtime=47.23
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 10429 0 0 0 4713 10 0 0 25 0 3 0 371506123 222912512 38228 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=217688 CPUtime=42.34
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 12211 0 0 0 4221 13 0 0 25 0 3 0 371506123 222912512 38228 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 93.4
Current children cumulated vsize (KiB) 217688

[startup+102.305 s]
/proc/loadavg: 1.62 0.56 0.20 3/80 10236
/proc/meminfo: memFree=518816/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=292088 CPUtime=195.54
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 61572 0 0 0 19494 60 0 0 25 0 3 0 371505739 299098112 57354 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 73022 57354 218 20 0 72380 0
[pid=10233/tid=10235] ppid=10231 vsize=292088 CPUtime=98.4
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 18702 0 0 0 9824 16 0 0 25 0 3 0 371506123 299098112 57354 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=292088 CPUtime=93.3
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 23898 0 0 0 9298 32 0 0 25 0 3 0 371506123 299098112 57354 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 195.54
Current children cumulated vsize (KiB) 292088

[startup+162.302 s]
/proc/loadavg: 1.86 0.82 0.31 3/80 10236
/proc/meminfo: memFree=474720/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=334692 CPUtime=315.2
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 73681 0 0 0 31445 75 0 0 25 0 3 0 371505739 342724608 68202 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 83673 68202 218 20 0 83031 0
[pid=10233/tid=10235] ppid=10231 vsize=334692 CPUtime=158.35
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 23554 0 0 0 15815 20 0 0 25 0 3 0 371506123 342724608 68202 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=334692 CPUtime=153
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 31155 0 0 0 15257 43 0 0 25 0 3 0 371506123 342724608 68202 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 315.2
Current children cumulated vsize (KiB) 334692

[startup+222.301 s]
/proc/loadavg: 1.95 1.03 0.41 3/80 10236
/proc/meminfo: memFree=451232/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=357484 CPUtime=434.9
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 80790 0 0 0 43407 83 0 0 25 0 3 0 371505739 366063616 74026 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 89371 74026 218 20 0 88729 0
[pid=10233/tid=10235] ppid=10231 vsize=357484 CPUtime=218.32
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 26483 0 0 0 21808 24 0 0 25 0 3 0 371506123 366063616 74026 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=357484 CPUtime=212.74
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 35335 0 0 0 21226 48 0 0 25 0 3 0 371506123 366063616 74026 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 434.9
Current children cumulated vsize (KiB) 357484

[startup+282.303 s]
/proc/loadavg: 1.98 1.21 0.51 3/80 10236
/proc/meminfo: memFree=439656/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=369356 CPUtime=554.61
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 84838 0 0 0 55373 88 0 0 25 0 3 0 371505739 378220544 76961 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 92339 76961 218 20 0 91697 0
[pid=10233/tid=10235] ppid=10231 vsize=369356 CPUtime=278.28
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 27409 0 0 0 27804 24 0 0 25 0 3 0 371506123 378220544 76961 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=369356 CPUtime=272.48
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 38457 0 0 0 27196 52 0 0 25 0 3 0 371506123 378220544 76961 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 554.61
Current children cumulated vsize (KiB) 369356

[startup+342.302 s]
/proc/loadavg: 1.99 1.35 0.60 3/80 10236
/proc/meminfo: memFree=426280/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=382424 CPUtime=674.23
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 89453 0 0 0 67332 91 0 0 25 0 3 0 371505739 391602176 80288 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 95606 80288 218 20 0 94964 0
[pid=10233/tid=10235] ppid=10231 vsize=382424 CPUtime=338.25
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 31342 0 0 0 33798 27 0 0 25 0 3 0 371506123 391602176 80288 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=382424 CPUtime=332.14
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 39139 0 0 0 33162 52 0 0 25 0 3 0 371506123 391602176 80288 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 674.23
Current children cumulated vsize (KiB) 382424

[startup+402.301 s]
/proc/loadavg: 1.99 1.47 0.68 3/80 10236
/proc/meminfo: memFree=425960/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=382424 CPUtime=793.96
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 90694 0 0 0 79304 92 0 0 25 0 3 0 371505739 391602176 80334 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 95606 80334 218 20 0 94964 0
[pid=10233/tid=10235] ppid=10231 vsize=382424 CPUtime=398.23
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 32033 0 0 0 39795 28 0 0 25 0 3 0 371506123 391602176 80334 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=382424 CPUtime=391.88

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

/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 80263 0 0 0 434856 83 0 0 25 0 3 0 371506123 588963840 129641 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=575160 CPUtime=4338.84
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 73416 0 0 0 433760 124 0 0 25 0 3 0 371506123 588963840 129641 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8692.07
Current children cumulated vsize (KiB) 575160

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 10438
/proc/meminfo: memFree=228456/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=575160 CPUtime=8811.75
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 172678 0 0 0 880956 219 0 0 25 0 3 0 371505739 588963840 129668 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 143790 129668 218 20 0 143148 0
[pid=10233/tid=10235] ppid=10231 vsize=575160 CPUtime=4409.35
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 80266 0 0 0 440852 83 0 0 25 0 3 0 371506123 588963840 129668 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=575160 CPUtime=4398.56
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 73440 0 0 0 439732 124 0 0 25 0 3 0 371506123 588963840 129668 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565733 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8811.75
Current children cumulated vsize (KiB) 575160

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 10438
/proc/meminfo: memFree=228392/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=575160 CPUtime=8931.45
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 172681 0 0 0 892925 220 0 0 25 0 3 0 371505739 588963840 129671 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 143790 129671 218 20 0 143148 0
[pid=10233/tid=10235] ppid=10231 vsize=575160 CPUtime=4469.33
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 80268 0 0 0 446849 84 0 0 25 0 3 0 371506123 588963840 129671 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=575160 CPUtime=4458.28
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 73441 0 0 0 445704 124 0 0 25 0 3 0 371506123 588963840 129671 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8931.45
Current children cumulated vsize (KiB) 575160

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 10438
/proc/meminfo: memFree=228328/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=575160 CPUtime=9051.15
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 172683 0 0 0 904895 220 0 0 25 0 3 0 371505739 588963840 129673 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 143790 129673 218 20 0 143148 0
[pid=10233/tid=10235] ppid=10231 vsize=575160 CPUtime=4529.3
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 80269 0 0 0 452846 84 0 0 25 0 3 0 371506123 588963840 129673 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=575160 CPUtime=4518
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 73442 0 0 0 451676 124 0 0 25 0 3 0 371506123 588963840 129673 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9051.15
Current children cumulated vsize (KiB) 575160

[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 10438
/proc/meminfo: memFree=228264/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=575160 CPUtime=9170.77
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 172700 0 0 0 916857 220 0 0 25 0 3 0 371505739 588963840 129690 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 143790 129690 218 20 0 143148 0
[pid=10233/tid=10235] ppid=10231 vsize=575160 CPUtime=4589.25
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 80280 0 0 0 458841 84 0 0 25 0 3 0 371506123 588963840 129690 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=575160 CPUtime=4577.68
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 73448 0 0 0 457644 124 0 0 25 0 3 0 371506123 588963840 129690 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526719 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9170.77
Current children cumulated vsize (KiB) 575160

[startup+4662.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 10438
/proc/meminfo: memFree=228200/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=575160 CPUtime=9290.48
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 172706 0 0 0 928827 221 0 0 25 0 3 0 371505739 588963840 129696 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 143790 129696 218 20 0 143148 0
[pid=10233/tid=10235] ppid=10231 vsize=575160 CPUtime=4649.24
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 80281 0 0 0 464839 85 0 0 25 0 3 0 371506123 588963840 129696 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526347 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=575160 CPUtime=4637.4
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 73453 0 0 0 463616 124 0 0 25 0 3 0 371506123 588963840 129696 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9290.48
Current children cumulated vsize (KiB) 575160

[startup+4722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 10438
/proc/meminfo: memFree=228136/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=575160 CPUtime=9410.14
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 172710 0 0 0 940793 221 0 0 25 0 3 0 371505739 588963840 129700 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 143790 129700 218 20 0 143148 0
[pid=10233/tid=10235] ppid=10231 vsize=575160 CPUtime=4709.19
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 80283 0 0 0 470834 85 0 0 25 0 3 0 371506123 588963840 129700 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=575160 CPUtime=4697.11
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 73455 0 0 0 469587 124 0 0 25 0 3 0 371506123 588963840 129700 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9410.14
Current children cumulated vsize (KiB) 575160

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 10438
/proc/meminfo: memFree=227944/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=575160 CPUtime=9529.82
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 173142 0 0 0 952760 222 0 0 25 0 3 0 371505739 588963840 129708 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 143790 129708 218 20 0 143148 0
[pid=10233/tid=10235] ppid=10231 vsize=575160 CPUtime=4769.16
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 80711 0 0 0 476830 86 0 0 25 0 3 0 371506123 588963840 129708 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=575160 CPUtime=4756.82
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 73459 0 0 0 475558 124 0 0 25 0 3 0 371506123 588963840 129708 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526215 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9529.82
Current children cumulated vsize (KiB) 575160

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 10438
/proc/meminfo: memFree=228008/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=575160 CPUtime=9649.46
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 173569 0 0 0 964723 223 0 0 25 0 3 0 371505739 588963840 129711 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 143790 129711 218 20 0 143148 0
[pid=10233/tid=10235] ppid=10231 vsize=575160 CPUtime=4829.12
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 81136 0 0 0 482825 87 0 0 25 0 3 0 371506123 588963840 129711 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=575160 CPUtime=4816.49
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 73461 0 0 0 481525 124 0 0 25 0 3 0 371506123 588963840 129711 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9649.46
Current children cumulated vsize (KiB) 575160

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 10438
/proc/meminfo: memFree=228008/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=575160 CPUtime=9769.14
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 174000 0 0 0 976690 224 0 0 25 0 3 0 371505739 588963840 129718 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 143790 129718 218 20 0 143148 0
[pid=10233/tid=10235] ppid=10231 vsize=575160 CPUtime=4889.09
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 81564 0 0 0 488821 88 0 0 25 0 3 0 371506123 588963840 129718 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=575160 CPUtime=4876.21
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 73464 0 0 0 487497 124 0 0 25 0 3 0 371506123 588963840 129718 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9769.14
Current children cumulated vsize (KiB) 575160

[startup+4962.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/80 10438
/proc/meminfo: memFree=227944/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=575160 CPUtime=9888.77
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 174428 0 0 0 988652 225 0 0 25 0 3 0 371505739 588963840 129720 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 143790 129720 218 20 0 143148 0
[pid=10233/tid=10235] ppid=10231 vsize=575160 CPUtime=4949.06
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 81991 0 0 0 494818 88 0 0 25 0 3 0 371506123 588963840 129720 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=575160 CPUtime=4935.86
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 73465 0 0 0 493461 125 0 0 25 0 3 0 371506123 588963840 129720 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9888.77
Current children cumulated vsize (KiB) 575160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5018.1 s]
/proc/loadavg: 2.01 2.01 1.92 3/80 10438
/proc/meminfo: memFree=227880/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=575160 CPUtime=10000.1
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 174643 0 0 0 999785 226 0 0 25 0 3 0 371505739 588963840 129722 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 143790 129722 218 20 0 143148 0
[pid=10233/tid=10235] ppid=10231 vsize=575160 CPUtime=5004.85
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 82205 0 0 0 500396 89 0 0 25 0 3 0 371506123 588963840 129722 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=575160 CPUtime=4991.42
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 73466 0 0 0 499017 125 0 0 25 0 3 0 371506123 588963840 129722 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 575160

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+5018.1 s]
/proc/loadavg: 2.01 2.01 1.92 3/80 10438
/proc/meminfo: memFree=227880/2055920 swapFree=4169188/4192956
[pid=10233] ppid=10231 vsize=575160 CPUtime=10000.1
/proc/10233/stat : 10233 (MiraXTv3_dyn) S 10231 10233 10159 0 -1 4194304 174643 0 0 0 999785 226 0 0 25 0 3 0 371505739 588963840 129722 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10233/statm: 143790 129722 218 20 0 143148 0
[pid=10233/tid=10235] ppid=10231 vsize=575160 CPUtime=5004.85
/proc/10233/task/10235/stat : 10235 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 82205 0 0 0 500396 89 0 0 25 0 3 0 371506123 588963840 129722 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10233/tid=10236] ppid=10231 vsize=575160 CPUtime=4991.42
/proc/10233/task/10236/stat : 10236 (MiraXTv3_dyn) R 10231 10233 10159 0 -1 4194368 73466 0 0 0 499017 125 0 0 25 0 3 0 371506123 588963840 129722 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 575160

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5018.19
CPU time (s): 10000.2
CPU user time (s): 9997.87
CPU system time (s): 2.33764
CPU usage (%): 199.279
Max. virtual memory (cumulated for all children) (KiB): 576012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.87
system time used= 2.33764
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174643
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= 968
involuntary context switches= 188958

runsolver used 4.79427 second user time and 13.5059 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Tue May 15 13:31:26 UTC 2007

IDJOB= 460105
IDBENCH= 20540
IDSOLVER= 196
FILE ID= node23/460105-1179235885

PBS_JOBID= 5274748

Free space on /tmp= 66525 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2002_31_1_rule_1/SAT_dat.k80.cnf
COMMAND LINE= /tmp/evaluation/460105-1179235885/MiraXTv3_dyn /tmp/evaluation/460105-1179235885/instance-460105-1179235885.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-460105-1179235885 -o ROOT/results/node23/solver-460105-1179235885 -C 10000 -W 15000 -M 1800 --output-limit 1,15  /tmp/evaluation/460105-1179235885/MiraXTv3_dyn /tmp/evaluation/460105-1179235885/instance-460105-1179235885.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  d8d6a3220ff7f841840041023f45b746

RANDOM SEED= 528746495

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node23.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.276
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.276
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:        747792 kB
Buffers:         53140 kB
Cached:        1068536 kB
SwapCached:       2772 kB
Active:         640772 kB
Inactive:       503816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        747792 kB
SwapTotal:     4192956 kB
SwapFree:      4169188 kB
Dirty:           16324 kB
Writeback:           0 kB
Mapped:          30448 kB
Slab:           149072 kB
Committed_AS:  5201460 kB
PageTables:       1796 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= 66525 MiB

End job on node23 on Tue May 15 14:55:06 UTC 2007