Trace number 426075

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.22 2506.73

General information on the benchmark

Namerandom/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf
MD5SUM45b9d25ea20b930c4376024c10f0fe19
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.396939
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of clauses2343
Sum of the clauses size11715
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 52343
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/node15/watcher-426075-1178983950 -o ROOT/results/node15/solver-426075-1178983950 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426075-1178983950/MiraXTv3_dyn /tmp/evaluation/426075-1178983950/instance-426075-1178983950.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.85 0.97 0.99 3/77 20801
/proc/meminfo: memFree=1778840/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=3788 CPUtime=0
/proc/20801/stat : 20801 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 346312577 3878912 266 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7947899 0 0 4096 0 0 0 0 17 0 0 0
/proc/20801/statm: 947 266 206 20 0 305 0

[startup+0.091503 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 20801
/proc/meminfo: memFree=1778840/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=6776 CPUtime=0.15
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 678 0 0 0 15 0 0 0 18 0 3 0 346312577 6938624 653 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 1694 653 218 20 0 1052 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 6776

[startup+0.102503 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 20801
/proc/meminfo: memFree=1778840/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=6776 CPUtime=0.17
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 699 0 0 0 17 0 0 0 18 0 3 0 346312577 6938624 674 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 1747 682 218 20 0 1105 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 6776

[startup+0.302526 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 20801
/proc/meminfo: memFree=1778840/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=8944 CPUtime=0.57
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 1203 0 0 0 57 0 0 0 18 0 3 0 346312577 9158656 1178 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 2236 1178 218 20 0 1594 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 8944

[startup+0.702565 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 20801
/proc/meminfo: memFree=1778840/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=11596 CPUtime=1.37
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 1982 0 0 0 136 1 0 0 18 0 3 0 346312577 11874304 1957 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 2899 1957 218 20 0 2257 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 11596

[startup+1.50164 s]
/proc/loadavg: 0.85 0.97 0.99 3/80 20804
/proc/meminfo: memFree=1769856/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=14032 CPUtime=2.94
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 2635 0 0 0 293 1 0 0 18 0 3 0 346312577 14368768 2610 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 3508 2610 218 20 0 2866 0
[pid=20801/tid=20803] ppid=20799 vsize=14032 CPUtime=1.45
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 1154 0 0 0 145 0 0 0 17 0 3 0 346312578 14368768 2610 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=14032 CPUtime=1.46
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 1127 0 0 0 146 0 0 0 19 0 3 0 346312578 14368768 2610 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 14032

[startup+3.10178 s]
/proc/loadavg: 0.94 0.98 0.99 3/80 20804
/proc/meminfo: memFree=1767744/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=18572 CPUtime=6.14
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 3816 0 0 0 612 2 0 0 18 0 3 0 346312577 19017728 3719 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 4643 3719 218 20 0 4001 0
[pid=20801/tid=20803] ppid=20799 vsize=18572 CPUtime=3.06
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 1674 0 0 0 305 1 0 0 25 0 3 0 346312578 19017728 3719 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=18572 CPUtime=3.06
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 1788 0 0 0 305 1 0 0 17 0 3 0 346312578 19017728 3719 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526379 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 18572

[startup+6.30108 s]
/proc/loadavg: 0.94 0.98 0.99 3/80 20804
/proc/meminfo: memFree=1757952/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=27260 CPUtime=12.52
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 6054 0 0 0 1248 4 0 0 18 0 3 0 346312577 27914240 5878 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 6815 5878 218 20 0 6173 0
[pid=20801/tid=20803] ppid=20799 vsize=27260 CPUtime=6.25
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 2810 0 0 0 624 1 0 0 25 0 3 0 346312578 27914240 5878 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=27260 CPUtime=6.25
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 2890 0 0 0 623 2 0 0 25 0 3 0 346312578 27914240 5878 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 27260

[startup+12.7017 s]
/proc/loadavg: 1.10 1.02 1.01 3/80 20804
/proc/meminfo: memFree=1748360/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=36228 CPUtime=25.29
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 8109 0 0 0 2523 6 0 0 18 0 3 0 346312577 37097472 7625 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 9057 7625 218 20 0 8415 0
[pid=20801/tid=20803] ppid=20799 vsize=36228 CPUtime=12.65
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 3890 0 0 0 1263 2 0 0 25 0 3 0 346312578 37097472 7625 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=36228 CPUtime=12.62
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 3865 0 0 0 1259 3 0 0 25 0 3 0 346312578 37097472 7625 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526457 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 36228

[startup+25.5028 s]
/proc/loadavg: 1.24 1.05 1.02 3/80 20804
/proc/meminfo: memFree=1737992/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=46276 CPUtime=50.82
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 11265 0 0 0 5073 9 0 0 18 0 3 0 346312577 47386624 10281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 11569 10281 218 20 0 10927 0
[pid=20801/tid=20803] ppid=20799 vsize=46276 CPUtime=25.44
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 5354 0 0 0 2540 4 0 0 25 0 3 0 346312578 47386624 10281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526382 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=46276 CPUtime=25.37
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 5557 0 0 0 2532 5 0 0 25 0 3 0 346312578 47386624 10281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 46276

[startup+51.1022 s]
/proc/loadavg: 1.50 1.12 1.04 3/80 20804
/proc/meminfo: memFree=1732936/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=51596 CPUtime=101.88
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 13546 0 0 0 10177 11 0 0 18 0 3 0 346312577 52834304 11522 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 12899 11522 218 20 0 12257 0
[pid=20801/tid=20803] ppid=20799 vsize=51596 CPUtime=50.99
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 6535 0 0 0 5095 4 0 0 25 0 3 0 346312578 52834304 11522 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=51596 CPUtime=50.86
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 6657 0 0 0 5080 6 0 0 25 0 3 0 346312578 52834304 11522 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 51596

[startup+102.307 s]
/proc/loadavg: 1.80 1.27 1.09 3/80 20804
/proc/meminfo: memFree=1727304/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=56832 CPUtime=204.01
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 16829 0 0 0 20386 15 0 0 18 0 3 0 346312577 58195968 12966 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 14208 12966 218 20 0 13566 0
[pid=20801/tid=20803] ppid=20799 vsize=56832 CPUtime=102.15
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 8311 0 0 0 10209 6 0 0 25 0 3 0 346312578 58195968 12966 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=56832 CPUtime=101.83
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 8164 0 0 0 10175 8 0 0 25 0 3 0 346312578 58195968 12966 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526317 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 56832

[startup+162.302 s]
/proc/loadavg: 1.92 1.40 1.15 3/80 20804
/proc/meminfo: memFree=1723592/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=60832 CPUtime=323.68
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 19707 0 0 0 32350 18 0 0 18 0 3 0 346312577 62291968 13835 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 15208 13835 218 20 0 14566 0
[pid=20801/tid=20803] ppid=20799 vsize=60832 CPUtime=162.07
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 10045 0 0 0 16200 7 0 0 25 0 3 0 346312578 62291968 13835 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=60832 CPUtime=161.58
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 9308 0 0 0 16148 10 0 0 25 0 3 0 346312578 62291968 13835 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.68
Current children cumulated vsize (KiB) 60832

[startup+222.303 s]
/proc/loadavg: 1.97 1.51 1.20 3/80 20804
/proc/meminfo: memFree=1722056/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=62884 CPUtime=443.36
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 22237 0 0 0 44316 20 0 0 18 0 3 0 346312577 64393216 14279 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 15721 14279 218 20 0 15079 0
[pid=20801/tid=20803] ppid=20799 vsize=62884 CPUtime=222.02
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 11306 0 0 0 22194 8 0 0 25 0 3 0 346312578 64393216 14279 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=62884 CPUtime=221.32
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 10577 0 0 0 22121 11 0 0 25 0 3 0 346312578 64393216 14279 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.36
Current children cumulated vsize (KiB) 62884

[startup+282.302 s]
/proc/loadavg: 1.99 1.59 1.24 3/80 20804
/proc/meminfo: memFree=1720520/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=64332 CPUtime=563.02
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 24480 0 0 0 56280 22 0 0 18 0 3 0 346312577 65875968 14623 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 16083 14623 218 20 0 15441 0
[pid=20801/tid=20803] ppid=20799 vsize=64332 CPUtime=281.94
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 12466 0 0 0 28184 10 0 0 25 0 3 0 346312578 65875968 14623 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=64332 CPUtime=281.06
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 11660 0 0 0 28094 12 0 0 21 0 3 0 346312578 65875968 14623 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.02
Current children cumulated vsize (KiB) 64332

[startup+342.303 s]
/proc/loadavg: 1.99 1.66 1.29 3/80 20804
/proc/meminfo: memFree=1719112/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=65716 CPUtime=682.73
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 26545 0 0 0 68249 24 0 0 18 0 3 0 346312577 67293184 15000 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 16429 15000 218 20 0 15787 0
[pid=20801/tid=20803] ppid=20799 vsize=65716 CPUtime=341.87
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 13416 0 0 0 34177 10 0 0 25 0 3 0 346312578 67293184 15000 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526410 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=65716 CPUtime=340.83
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 12775 0 0 0 34070 13 0 0 18 0 3 0 346312578 67293184 15000 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.73
Current children cumulated vsize (KiB) 65716

[startup+402.302 s]

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

/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 36361 0 0 0 189978 40 0 0 25 0 3 0 346312578 86695936 19686 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=84664 CPUtime=1894.24
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 35790 0 0 0 189384 40 0 0 25 0 3 0 346312578 86695936 19686 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.44
Current children cumulated vsize (KiB) 84664

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/80 21004
/proc/meminfo: memFree=1699592/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=84892 CPUtime=3914.17
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 74150 0 0 0 391335 82 0 0 18 0 3 0 346312577 86929408 19801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 21223 19801 218 20 0 20581 0
[pid=20801/tid=20803] ppid=20799 vsize=84892 CPUtime=1959.92
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 37177 0 0 0 195952 40 0 0 25 0 3 0 346312578 86929408 19801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=84892 CPUtime=1954.21
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 36619 0 0 0 195381 40 0 0 25 0 3 0 346312578 86929408 19801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.17
Current children cumulated vsize (KiB) 84892

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.84 4/80 21004
/proc/meminfo: memFree=1699272/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=85916 CPUtime=4033.86
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 75764 0 0 0 403303 83 0 0 18 0 3 0 346312577 87977984 19875 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 21479 19875 218 20 0 20837 0
[pid=20801/tid=20803] ppid=20799 vsize=85916 CPUtime=2019.67
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 37949 0 0 0 201926 41 0 0 25 0 3 0 346312578 87977984 19875 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=85916 CPUtime=2014.16
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 37461 0 0 0 201375 41 0 0 25 0 3 0 346312578 87977984 19875 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.86
Current children cumulated vsize (KiB) 85916

[startup+2082.31 s]
/proc/loadavg: 2.00 1.99 1.85 3/80 21004
/proc/meminfo: memFree=1698952/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=86124 CPUtime=4153.54
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 77489 0 0 0 415270 84 0 0 18 0 3 0 346312577 88190976 19945 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 21531 19945 218 20 0 20889 0
[pid=20801/tid=20803] ppid=20799 vsize=86124 CPUtime=2079.48
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 38859 0 0 0 207907 41 0 0 25 0 3 0 346312578 88190976 19945 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20801/tid=20804] ppid=20799 vsize=86124 CPUtime=2074.03
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 38276 0 0 0 207361 42 0 0 25 0 3 0 346312578 88190976 19945 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4153.54
Current children cumulated vsize (KiB) 86124

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/80 21004
/proc/meminfo: memFree=1698184/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=87148 CPUtime=4273.22
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 79239 0 0 0 427236 86 0 0 18 0 3 0 346312577 89239552 20141 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 21787 20141 218 20 0 21145 0
[pid=20801/tid=20803] ppid=20799 vsize=87148 CPUtime=2139.33
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 39827 0 0 0 213890 43 0 0 25 0 3 0 346312578 89239552 20141 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=87148 CPUtime=2133.87
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 39058 0 0 0 213345 42 0 0 25 0 3 0 346312578 89239552 20141 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.22
Current children cumulated vsize (KiB) 87148

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/80 21004
/proc/meminfo: memFree=1690952/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=94316 CPUtime=4392.92
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 82617 0 0 0 439201 91 0 0 18 0 3 0 346312577 96579584 21952 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 23579 21952 218 20 0 22937 0
[pid=20801/tid=20803] ppid=20799 vsize=94316 CPUtime=2199.05
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 41469 0 0 0 219860 45 0 0 25 0 3 0 346312578 96579584 21952 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526333 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=94316 CPUtime=2193.84
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 40794 0 0 0 219339 45 0 0 24 0 3 0 346312578 96579584 21952 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4392.92
Current children cumulated vsize (KiB) 94316

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/80 21004
/proc/meminfo: memFree=1690696/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=94316 CPUtime=4512.61
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 83796 0 0 0 451168 93 0 0 18 0 3 0 346312577 96579584 22007 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 23579 22007 218 20 0 22937 0
[pid=20801/tid=20803] ppid=20799 vsize=94316 CPUtime=2258.79
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 41947 0 0 0 225833 46 0 0 25 0 3 0 346312578 96579584 22007 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=94316 CPUtime=2253.8
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 41495 0 0 0 225334 46 0 0 25 0 3 0 346312578 96579584 22007 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.61
Current children cumulated vsize (KiB) 94316

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/80 21004
/proc/meminfo: memFree=1690632/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=94316 CPUtime=4632.3
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 85071 0 0 0 463136 94 0 0 18 0 3 0 346312577 96579584 22039 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 23579 22039 218 20 0 22937 0
[pid=20801/tid=20803] ppid=20799 vsize=94316 CPUtime=2318.52
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 42516 0 0 0 231806 46 0 0 25 0 3 0 346312578 96579584 22039 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=94316 CPUtime=2313.76
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 42201 0 0 0 231329 47 0 0 25 0 3 0 346312578 96579584 22039 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.3
Current children cumulated vsize (KiB) 94316

[startup+2382.3 s]
/proc/loadavg: 2.08 2.00 1.88 3/80 21004
/proc/meminfo: memFree=1690440/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=94316 CPUtime=4752
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 86014 0 0 0 475105 95 0 0 18 0 3 0 346312577 96579584 22072 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 23579 22072 218 20 0 22937 0
[pid=20801/tid=20803] ppid=20799 vsize=94316 CPUtime=2378.26
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 42746 0 0 0 237779 47 0 0 25 0 3 0 346312578 96579584 22072 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=94316 CPUtime=2373.73
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 42914 0 0 0 237325 48 0 0 25 0 3 0 346312578 96579584 22072 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752
Current children cumulated vsize (KiB) 94316

[startup+2442.3 s]
/proc/loadavg: 2.03 2.00 1.89 3/80 21004
/proc/meminfo: memFree=1690120/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=94520 CPUtime=4871.69
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 87220 0 0 0 487072 97 0 0 18 0 3 0 346312577 96788480 22137 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 23630 22137 218 20 0 22988 0
[pid=20801/tid=20803] ppid=20799 vsize=94520 CPUtime=2437.96
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 43372 0 0 0 243749 47 0 0 25 0 3 0 346312578 96788480 22137 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=94520 CPUtime=2433.7
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 43494 0 0 0 243321 49 0 0 25 0 3 0 346312578 96788480 22137 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.69
Current children cumulated vsize (KiB) 94520

[startup+2502.3 s]
/proc/loadavg: 2.01 2.00 1.89 3/80 21004
/proc/meminfo: memFree=1690120/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=94520 CPUtime=4991.39
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 88414 0 0 0 499041 98 0 0 18 0 3 0 346312577 96788480 22181 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 23630 22181 218 20 0 22988 0
[pid=20801/tid=20803] ppid=20799 vsize=94520 CPUtime=2497.7
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 43834 0 0 0 249722 48 0 0 25 0 3 0 346312578 96788480 22181 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=94520 CPUtime=2493.67
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 44226 0 0 0 249318 49 0 0 25 0 3 0 346312578 96788480 22181 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.39
Current children cumulated vsize (KiB) 94520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.7 s]
/proc/loadavg: 2.01 2.00 1.90 3/80 21004
/proc/meminfo: memFree=1690120/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=94520 CPUtime=5000.18
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 88420 0 0 0 499920 98 0 0 18 0 3 0 346312577 96788480 22187 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 23630 22187 218 20 0 22988 0
[pid=20801/tid=20803] ppid=20799 vsize=94520 CPUtime=2502.08
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 43834 0 0 0 250160 48 0 0 25 0 3 0 346312578 96788480 22187 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=94520 CPUtime=2498.07
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 44232 0 0 0 249758 49 0 0 25 0 3 0 346312578 96788480 22187 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530009 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.18
Current children cumulated vsize (KiB) 94520

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

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

[startup+2506.7 s]
/proc/loadavg: 2.01 2.00 1.90 3/80 21004
/proc/meminfo: memFree=1690120/2055920 swapFree=4156504/4192956
[pid=20801] ppid=20799 vsize=94520 CPUtime=5000.18
/proc/20801/stat : 20801 (MiraXTv3_dyn) S 20799 20801 20729 0 -1 4194304 88420 0 0 0 499920 98 0 0 18 0 3 0 346312577 96788480 22187 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/20801/statm: 23630 22187 218 20 0 22988 0
[pid=20801/tid=20803] ppid=20799 vsize=94520 CPUtime=2502.08
/proc/20801/task/20803/stat : 20803 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 43834 0 0 0 250160 48 0 0 25 0 3 0 346312578 96788480 22187 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20801/tid=20804] ppid=20799 vsize=94520 CPUtime=2498.07
/proc/20801/task/20804/stat : 20804 (MiraXTv3_dyn) R 20799 20801 20729 0 -1 4194368 44232 0 0 0 249758 49 0 0 25 0 3 0 346312578 96788480 22187 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530009 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.18
Current children cumulated vsize (KiB) 94520

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.73
CPU time (s): 5000.22
CPU user time (s): 4999.22
CPU system time (s): 0.996848
CPU usage (%): 199.472
Max. virtual memory (cumulated for all children) (KiB): 94980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.22
system time used= 0.996848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88420
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= 735
involuntary context switches= 94213

runsolver used 2.36564 second user time and 6.82596 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat May 12 15:32:30 UTC 2007

IDJOB= 426075
IDBENCH= 19874
IDSOLVER= 196
FILE ID= node15/426075-1178983950

PBS_JOBID= 5252813

Free space on /tmp= 66552 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v110/unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426075-1178983950/MiraXTv3_dyn /tmp/evaluation/426075-1178983950/instance-426075-1178983950.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-426075-1178983950 -o ROOT/results/node15/solver-426075-1178983950 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426075-1178983950/MiraXTv3_dyn /tmp/evaluation/426075-1178983950/instance-426075-1178983950.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  45b9d25ea20b930c4376024c10f0fe19

RANDOM SEED= 491873863

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1779064 kB
Buffers:         41500 kB
Cached:         169184 kB
SwapCached:      16300 kB
Active:          71304 kB
Inactive:       163232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1779064 kB
SwapTotal:     4192956 kB
SwapFree:      4156504 kB
Dirty:            4148 kB
Writeback:           0 kB
Mapped:          29628 kB
Slab:            27756 kB
Committed_AS: 10914452 kB
PageTables:       1868 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= 66552 MiB

End job on node15 on Sat May 12 16:14:19 UTC 2007