Trace number 426045

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) 5000.06 2506.83

General information on the benchmark

Namerandom/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf
MD5SUM28015bf8fda823895ae898f0a4530c12
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.031994
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses1917
Sum of the clauses size9585
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 51917
Number of clauses of size over 50

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/node20/watcher-426045-1178980455 -o ROOT/results/node20/solver-426045-1178980455 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426045-1178980455/MiraXTv3_dyn /tmp/evaluation/426045-1178980455/instance-426045-1178980455.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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.78 0.95 0.92 3/77 21168
/proc/meminfo: memFree=1661792/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=3788 CPUtime=0
/proc/21168/stat : 21168 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 345962876 3878912 259 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8054395 0 0 4096 0 0 0 0 17 0 0 0
/proc/21168/statm: 947 259 206 20 0 305 0

[startup+0.013351 s]
/proc/loadavg: 0.78 0.95 0.92 3/77 21168
/proc/meminfo: memFree=1661792/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=3916 CPUtime=0.01
/proc/21168/stat : 21168 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194304 331 0 0 0 1 0 0 0 18 0 1 0 345962876 4009984 306 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134517680 0 0 4096 0 0 0 0 17 0 0 0
/proc/21168/statm: 979 306 208 20 0 337 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3916

[startup+0.101371 s]
/proc/loadavg: 0.78 0.95 0.92 3/77 21168
/proc/meminfo: memFree=1661792/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=6704 CPUtime=0.18
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 682 0 0 0 18 0 0 0 18 0 3 0 345962876 6864896 657 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 1676 657 218 20 0 1034 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6704

[startup+0.301414 s]
/proc/loadavg: 0.78 0.95 0.92 3/77 21168
/proc/meminfo: memFree=1661792/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=8692 CPUtime=0.57
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 1156 0 0 0 57 0 0 0 18 0 3 0 345962876 8900608 1131 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 2173 1131 218 20 0 1531 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 8692

[startup+0.701497 s]
/proc/loadavg: 0.78 0.95 0.92 3/77 21168
/proc/meminfo: memFree=1661792/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=11288 CPUtime=1.37
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 1868 0 0 0 136 1 0 0 18 0 3 0 345962876 11558912 1843 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 2822 1843 218 20 0 2180 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 11288

[startup+1.50166 s]
/proc/loadavg: 0.78 0.95 0.92 3/80 21171
/proc/meminfo: memFree=1653448/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=14484 CPUtime=2.97
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 2427 0 0 0 295 2 0 0 18 0 3 0 345962876 14831616 2402 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 3621 2402 218 20 0 2979 0
[pid=21168/tid=21170] ppid=21166 vsize=14484 CPUtime=1.47
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 1043 0 0 0 147 0 0 0 19 0 3 0 345962877 14831616 2402 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526465 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=14484 CPUtime=1.47
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 1043 0 0 0 146 1 0 0 19 0 3 0 345962877 14831616 2402 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526422 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 14484

[startup+3.10299 s]
/proc/loadavg: 0.78 0.95 0.92 3/80 21171
/proc/meminfo: memFree=1651784/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=17856 CPUtime=6.17
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 3315 0 0 0 614 3 0 0 18 0 3 0 345962876 18284544 3217 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 4464 3217 218 20 0 3822 0
[pid=21168/tid=21170] ppid=21166 vsize=17856 CPUtime=3.08
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 1492 0 0 0 307 1 0 0 25 0 3 0 345962877 18284544 3217 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=17856 CPUtime=3.06
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 1482 0 0 0 305 1 0 0 19 0 3 0 345962877 18284544 3217 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 17856

[startup+6.30165 s]
/proc/loadavg: 0.88 0.97 0.93 3/80 21171
/proc/meminfo: memFree=1643920/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=24592 CPUtime=12.54
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 5195 0 0 0 1249 5 0 0 18 0 3 0 345962876 25182208 5019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 6148 5019 218 20 0 5506 0
[pid=21168/tid=21170] ppid=21166 vsize=24592 CPUtime=6.27
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 2482 0 0 0 625 2 0 0 19 0 3 0 345962877 25182208 5019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=24592 CPUtime=6.24
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 2372 0 0 0 622 2 0 0 21 0 3 0 345962877 25182208 5019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526422 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 24592

[startup+12.702 s]
/proc/loadavg: 0.97 0.98 0.93 3/80 21171
/proc/meminfo: memFree=1635216/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=32884 CPUtime=25.3
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 7259 0 0 0 2524 6 0 0 18 0 3 0 345962876 33673216 6830 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 8221 6830 218 20 0 7579 0
[pid=21168/tid=21170] ppid=21166 vsize=32884 CPUtime=12.66
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 3547 0 0 0 1264 2 0 0 25 0 3 0 345962877 33673216 6830 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=32884 CPUtime=12.62
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 3371 0 0 0 1258 4 0 0 25 0 3 0 345962877 33673216 6830 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 32884

[startup+25.5016 s]
/proc/loadavg: 1.19 1.03 0.95 3/80 21171
/proc/meminfo: memFree=1626448/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=41220 CPUtime=50.83
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 9921 0 0 0 5073 10 0 0 18 0 3 0 345962876 42209280 9064 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 10305 9064 218 20 0 9663 0
[pid=21168/tid=21170] ppid=21166 vsize=41220 CPUtime=25.44
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 4639 0 0 0 2541 3 0 0 25 0 3 0 345962877 42209280 9064 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=41220 CPUtime=25.37
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 4941 0 0 0 2531 6 0 0 25 0 3 0 345962877 42209280 9064 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 41220

[startup+51.1018 s]
/proc/loadavg: 1.47 1.11 0.97 3/80 21171
/proc/meminfo: memFree=1620048/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=48276 CPUtime=101.89
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 12459 0 0 0 10177 12 0 0 18 0 3 0 345962876 49434624 10561 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 12069 10561 218 20 0 11427 0
[pid=21168/tid=21170] ppid=21166 vsize=48276 CPUtime=51
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 6095 0 0 0 5096 4 0 0 25 0 3 0 345962877 49434624 10561 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=48276 CPUtime=50.86
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 6023 0 0 0 5079 7 0 0 25 0 3 0 345962877 49434624 10561 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 48276

[startup+102.306 s]
/proc/loadavg: 1.77 1.24 1.02 3/80 21171
/proc/meminfo: memFree=1616080/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=50904 CPUtime=204.04
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 15154 0 0 0 20389 15 0 0 18 0 3 0 345962876 52125696 11462 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 12726 11462 218 20 0 12084 0
[pid=21168/tid=21170] ppid=21166 vsize=50904 CPUtime=102.17
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 7443 0 0 0 10212 5 0 0 25 0 3 0 345962877 52125696 11462 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=50904 CPUtime=101.84
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 7370 0 0 0 10175 9 0 0 25 0 3 0 345962877 52125696 11462 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 50904

[startup+162.302 s]
/proc/loadavg: 1.91 1.38 1.08 3/80 21171
/proc/meminfo: memFree=1612432/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=54568 CPUtime=323.7
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 18015 0 0 0 32352 18 0 0 18 0 3 0 345962876 55877632 12363 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 13642 12363 218 20 0 13000 0
[pid=21168/tid=21170] ppid=21166 vsize=54568 CPUtime=162.11
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 8887 0 0 0 16205 6 0 0 25 0 3 0 345962877 55877632 12363 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=54568 CPUtime=161.56
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 8787 0 0 0 16145 11 0 0 25 0 3 0 345962877 55877632 12363 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.7
Current children cumulated vsize (KiB) 54568

[startup+222.303 s]
/proc/loadavg: 1.97 1.49 1.14 3/80 21171
/proc/meminfo: memFree=1611024/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=56520 CPUtime=443.37
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 20345 0 0 0 44317 20 0 0 18 0 3 0 345962876 57876480 12733 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 14130 12733 218 20 0 13488 0
[pid=21168/tid=21170] ppid=21166 vsize=56520 CPUtime=222.05
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 10111 0 0 0 22198 7 0 0 25 0 3 0 345962877 57876480 12733 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526327 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=56520 CPUtime=221.29
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 9893 0 0 0 22117 12 0 0 25 0 3 0 345962877 57876480 12733 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.37
Current children cumulated vsize (KiB) 56520

[startup+282.303 s]
/proc/loadavg: 1.99 1.58 1.19 3/80 21171
/proc/meminfo: memFree=1609680/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=57692 CPUtime=563.02
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 22530 0 0 0 56280 22 0 0 18 0 3 0 345962876 59076608 13059 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 14423 13059 218 20 0 13781 0
[pid=21168/tid=21170] ppid=21166 vsize=57692 CPUtime=281.98
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 11299 0 0 0 28190 8 0 0 22 0 3 0 345962877 59076608 13059 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4160576690 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=57692 CPUtime=281.03
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 10890 0 0 0 28089 14 0 0 21 0 3 0 345962877 59076608 13059 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.02
Current children cumulated vsize (KiB) 57692

[startup+342.301 s]
/proc/loadavg: 1.99 1.65 1.24 3/80 21171
/proc/meminfo: memFree=1608400/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=59400 CPUtime=682.68
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 24705 0 0 0 68244 24 0 0 18 0 3 0 345962876 60825600 13417 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 14850 13417 218 20 0 14208 0
[pid=21168/tid=21170] ppid=21166 vsize=59400 CPUtime=341.91
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 12352 0 0 0 34182 9 0 0 25 0 3 0 345962877 60825600 13417 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=59400 CPUtime=340.76
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 12012 0 0 0 34061 15 0 0 25 0 3 0 345962877 60825600 13417 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.68
Current children cumulated vsize (KiB) 59400

[startup+402.301 s]

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

/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 34751 0 0 0 183644 42 0 0 25 0 3 0 345962877 84242432 18891 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=82268 CPUtime=1837.66
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 34425 0 0 0 183726 40 0 0 25 0 3 0 345962877 84242432 18891 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3674.55
Current children cumulated vsize (KiB) 82268

[startup+1902.3 s]
/proc/loadavg: 2.06 2.15 1.92 3/80 21371
/proc/meminfo: memFree=1586320/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=82268 CPUtime=3794.21
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 71001 0 0 0 379337 84 0 0 18 0 3 0 345962876 84242432 18901 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 20567 18901 218 20 0 19925 0
[pid=21168/tid=21170] ppid=21166 vsize=82268 CPUtime=1896.56
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 35434 0 0 0 189614 42 0 0 25 0 3 0 345962877 84242432 18901 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=82268 CPUtime=1897.63
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 35226 0 0 0 189722 41 0 0 25 0 3 0 345962877 84242432 18901 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.21
Current children cumulated vsize (KiB) 82268

[startup+1962.3 s]
/proc/loadavg: 2.16 2.16 1.94 3/80 21371
/proc/meminfo: memFree=1586320/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=82268 CPUtime=3913.9
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 72497 0 0 0 391305 85 0 0 18 0 3 0 345962876 84242432 18915 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 20567 18915 218 20 0 19925 0
[pid=21168/tid=21170] ppid=21166 vsize=82268 CPUtime=1956.29
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 36241 0 0 0 195586 43 0 0 25 0 3 0 345962877 84242432 18915 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=82268 CPUtime=1957.6
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 35915 0 0 0 195718 42 0 0 25 0 3 0 345962877 84242432 18915 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.9
Current children cumulated vsize (KiB) 82268

[startup+2022.3 s]
/proc/loadavg: 2.13 2.15 1.94 3/80 21371
/proc/meminfo: memFree=1585936/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=82476 CPUtime=4033.58
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 74070 0 0 0 403271 87 0 0 18 0 3 0 345962876 84455424 18998 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 20619 18998 218 20 0 19977 0
[pid=21168/tid=21170] ppid=21166 vsize=82476 CPUtime=2016.02
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 36987 0 0 0 201558 44 0 0 25 0 3 0 345962877 84455424 18998 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=82476 CPUtime=2017.55
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 36742 0 0 0 201712 43 0 0 25 0 3 0 345962877 84455424 18998 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.58
Current children cumulated vsize (KiB) 82476

[startup+2082.31 s]
/proc/loadavg: 2.11 2.13 1.95 3/80 21371
/proc/meminfo: memFree=1585808/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=82608 CPUtime=4153.25
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 75509 0 0 0 415237 88 0 0 18 0 3 0 345962876 84590592 19057 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 20652 19057 218 20 0 20010 0
[pid=21168/tid=21170] ppid=21166 vsize=82608 CPUtime=2075.72
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 37710 0 0 0 207528 44 0 0 25 0 3 0 345962877 84590592 19057 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=82608 CPUtime=2077.52
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 37458 0 0 0 207708 44 0 0 25 0 3 0 345962877 84590592 19057 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.25
Current children cumulated vsize (KiB) 82608

[startup+2142.3 s]
/proc/loadavg: 2.10 2.12 1.95 3/80 21371
/proc/meminfo: memFree=1585744/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=82608 CPUtime=4272.94
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 76911 0 0 0 427204 90 0 0 18 0 3 0 345962876 84590592 19069 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 20652 19069 218 20 0 20010 0
[pid=21168/tid=21170] ppid=21166 vsize=82608 CPUtime=2135.44
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 38412 0 0 0 213499 45 0 0 25 0 3 0 345962877 84590592 19069 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=82608 CPUtime=2137.47
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 38158 0 0 0 213703 44 0 0 25 0 3 0 345962877 84590592 19069 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.94
Current children cumulated vsize (KiB) 82608

[startup+2202.3 s]
/proc/loadavg: 2.09 2.11 1.96 3/80 21371
/proc/meminfo: memFree=1585552/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=83632 CPUtime=4392.63
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 78565 0 0 0 439172 91 0 0 18 0 3 0 345962876 85639168 19099 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 20908 19099 218 20 0 20266 0
[pid=21168/tid=21170] ppid=21166 vsize=83632 CPUtime=2195.17
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 39227 0 0 0 219472 45 0 0 25 0 3 0 345962877 85639168 19099 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134521417 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=83632 CPUtime=2197.44
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 38997 0 0 0 219699 45 0 0 25 0 3 0 345962877 85639168 19099 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4392.63
Current children cumulated vsize (KiB) 83632

[startup+2262.3 s]
/proc/loadavg: 2.08 2.11 1.96 3/80 21371
/proc/meminfo: memFree=1585424/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=83764 CPUtime=4512.31
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 80126 0 0 0 451139 92 0 0 18 0 3 0 345962876 85774336 19139 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 20941 19139 218 20 0 20299 0
[pid=21168/tid=21170] ppid=21166 vsize=83764 CPUtime=2254.9
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 40082 0 0 0 225444 46 0 0 25 0 3 0 345962877 85774336 19139 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=83764 CPUtime=2257.39
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 39703 0 0 0 225693 46 0 0 25 0 3 0 345962877 85774336 19139 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526571 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.31
Current children cumulated vsize (KiB) 83764

[startup+2322.3 s]
/proc/loadavg: 2.08 2.10 1.97 3/80 21371
/proc/meminfo: memFree=1584784/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=83896 CPUtime=4631.98
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 81670 0 0 0 463104 94 0 0 18 0 3 0 345962876 85909504 19276 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 20974 19276 218 20 0 20332 0
[pid=21168/tid=21170] ppid=21166 vsize=83896 CPUtime=2314.6
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 40816 0 0 0 231414 46 0 0 25 0 3 0 345962877 85909504 19276 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=83896 CPUtime=2317.36
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 40513 0 0 0 231689 47 0 0 25 0 3 0 345962877 85909504 19276 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134522148 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4631.98
Current children cumulated vsize (KiB) 83896

[startup+2382.3 s]
/proc/loadavg: 2.07 2.09 1.97 3/80 21371
/proc/meminfo: memFree=1584592/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=84104 CPUtime=4751.67
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 83263 0 0 0 475072 95 0 0 18 0 3 0 345962876 86122496 19335 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 21026 19335 218 20 0 20384 0
[pid=21168/tid=21170] ppid=21166 vsize=84104 CPUtime=2374.33
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 41576 0 0 0 237386 47 0 0 25 0 3 0 345962877 86122496 19335 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=84104 CPUtime=2377.32
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 41346 0 0 0 237684 48 0 0 25 0 3 0 345962877 86122496 19335 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4751.67
Current children cumulated vsize (KiB) 84104

[startup+2442.3 s]
/proc/loadavg: 2.02 2.07 1.97 3/80 21371
/proc/meminfo: memFree=1584208/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=84236 CPUtime=4871.36
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 84633 0 0 0 487039 97 0 0 18 0 3 0 345962876 86257664 19401 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 21059 19401 218 20 0 20417 0
[pid=21168/tid=21170] ppid=21166 vsize=84236 CPUtime=2434.05
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 42293 0 0 0 243358 47 0 0 25 0 3 0 345962877 86257664 19401 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520099 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=84236 CPUtime=2437.29
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 41999 0 0 0 243680 49 0 0 25 0 3 0 345962877 86257664 19401 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.36
Current children cumulated vsize (KiB) 84236

[startup+2502.3 s]
/proc/loadavg: 2.01 2.06 1.97 3/80 21371
/proc/meminfo: memFree=1584016/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=84440 CPUtime=4991.04
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 86116 0 0 0 499006 98 0 0 18 0 3 0 345962876 86466560 19456 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 21110 19456 218 20 0 20468 0
[pid=21168/tid=21170] ppid=21166 vsize=84440 CPUtime=2493.78
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 43059 0 0 0 249330 48 0 0 25 0 3 0 345962877 86466560 19456 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=84440 CPUtime=2497.24
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 42716 0 0 0 249674 50 0 0 25 0 3 0 345962877 86466560 19456 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.04
Current children cumulated vsize (KiB) 84440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.8 s]
/proc/loadavg: 2.01 2.06 1.97 3/80 21371
/proc/meminfo: memFree=1583952/2055920 swapFree=4154884/4192956
[pid=21168] ppid=21166 vsize=84440 CPUtime=5000.02
/proc/21168/stat : 21168 (MiraXTv3_dyn) S 21166 21168 21096 0 -1 4194304 86236 0 0 0 499904 98 0 0 18 0 3 0 345962876 86466560 19457 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21168/statm: 21110 19457 218 20 0 20468 0
[pid=21168/tid=21170] ppid=21166 vsize=84440 CPUtime=2498.25
/proc/21168/task/21170/stat : 21170 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 43059 0 0 0 249777 48 0 0 25 0 3 0 345962877 86466560 19457 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21168/tid=21171] ppid=21166 vsize=84440 CPUtime=2501.75
/proc/21168/task/21171/stat : 21171 (MiraXTv3_dyn) R 21166 21168 21096 0 -1 4194368 42836 0 0 0 250125 50 0 0 25 0 3 0 345962877 86466560 19457 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 84440

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.83
CPU time (s): 5000.06
CPU user time (s): 4999.06
CPU system time (s): 1.00085
CPU usage (%): 199.457
Max. virtual memory (cumulated for all children) (KiB): 84916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.06
system time used= 1.00085
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86236
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= 523
involuntary context switches= 93875

runsolver used 2.44363 second user time and 6.73098 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat May 12 14:34:15 UTC 2007

IDJOB= 426045
IDBENCH= 19841
IDSOLVER= 196
FILE ID= node20/426045-1178980455

PBS_JOBID= 5252803

Free space on /tmp= 66533 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v90/unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426045-1178980455/MiraXTv3_dyn /tmp/evaluation/426045-1178980455/instance-426045-1178980455.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-426045-1178980455 -o ROOT/results/node20/solver-426045-1178980455 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426045-1178980455/MiraXTv3_dyn /tmp/evaluation/426045-1178980455/instance-426045-1178980455.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  28015bf8fda823895ae898f0a4530c12

RANDOM SEED= 975799210

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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:       1662072 kB
Buffers:         48740 kB
Cached:         257272 kB
SwapCached:      17192 kB
Active:          61592 kB
Inactive:       267876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1662072 kB
SwapTotal:     4192956 kB
SwapFree:      4154884 kB
Dirty:            4132 kB
Writeback:           0 kB
Mapped:          29580 kB
Slab:            49916 kB
Committed_AS:  6880236 kB
PageTables:       1744 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 node20 on Sat May 12 15:16:04 UTC 2007