Trace number 426231

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.11 2506.84

General information on the benchmark

Namerandom/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1586629899-14.cnf
MD5SUMbb47ba6674477ffefdaf4fbc831ad867
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark167.186
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses12000
Sum of the clauses size60000
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 512000
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/node21/watcher-426231-1179000960 -o ROOT/results/node21/solver-426231-1179000960 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426231-1179000960/MiraXTv3_dyn /tmp/evaluation/426231-1179000960/instance-426231-1179000960.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: 2.13 2.05 1.95 3/77 10468
/proc/meminfo: memFree=1620544/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=3788 CPUtime=0
/proc/10468/stat : 10468 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194304 339 0 0 0 0 0 0 0 18 0 1 0 348013295 3878912 314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8873595 0 0 4096 0 0 0 0 17 1 0 0
/proc/10468/statm: 947 316 205 20 0 305 0

[startup+0.103906 s]
/proc/loadavg: 2.13 2.05 1.95 3/77 10468
/proc/meminfo: memFree=1620544/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=9736 CPUtime=0.11
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 1074 0 0 0 11 0 0 0 18 0 3 0 348013295 9969664 1007 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 2434 1007 218 20 0 1792 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9736

[startup+0.201919 s]
/proc/loadavg: 2.13 2.05 1.95 3/77 10468
/proc/meminfo: memFree=1620544/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=11288 CPUtime=0.3
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 1384 0 0 0 30 0 0 0 18 0 3 0 348013295 11558912 1317 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 2822 1317 218 20 0 2180 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 11288

[startup+0.301928 s]
/proc/loadavg: 2.13 2.05 1.95 3/77 10468
/proc/meminfo: memFree=1620544/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=11948 CPUtime=0.5
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 1733 0 0 0 50 0 0 0 18 0 3 0 348013295 12234752 1666 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 2987 1666 218 20 0 2345 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 11948

[startup+0.701974 s]
/proc/loadavg: 2.13 2.05 1.95 3/77 10468
/proc/meminfo: memFree=1620544/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=18236 CPUtime=1.3
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 3089 0 0 0 129 1 0 0 18 0 3 0 348013295 18673664 3022 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 4559 3022 218 20 0 3917 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 18236

[startup+1.50106 s]
/proc/loadavg: 2.12 2.05 1.95 3/80 10471
/proc/meminfo: memFree=1604328/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=26616 CPUtime=2.9
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 5348 0 0 0 287 3 0 0 18 0 3 0 348013295 27254784 5281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 6654 5281 218 20 0 6012 0
[pid=10468/tid=10470] ppid=10466 vsize=26616 CPUtime=1.41
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 2271 0 0 0 140 1 0 0 20 0 3 0 348013303 27254784 5281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8873595 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10468/tid=10471] ppid=10466 vsize=26616 CPUtime=1.4
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 2379 0 0 0 139 1 0 0 22 0 3 0 348013303 27254784 5281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 26616

[startup+3.10124 s]
/proc/loadavg: 2.12 2.05 1.95 3/80 10471
/proc/meminfo: memFree=1594216/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=35404 CPUtime=6.09
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 7300 0 0 0 606 3 0 0 18 0 3 0 348013295 36253696 7234 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 8851 7234 218 20 0 8209 0
[pid=10468/tid=10470] ppid=10466 vsize=35404 CPUtime=3
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 3466 0 0 0 299 1 0 0 25 0 3 0 348013303 36253696 7234 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520080 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10468/tid=10471] ppid=10466 vsize=35404 CPUtime=2.99
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 3137 0 0 0 298 1 0 0 21 0 3 0 348013303 36253696 7234 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 35404

[startup+6.30259 s]
/proc/loadavg: 2.12 2.05 1.95 4/80 10471
/proc/meminfo: memFree=1580840/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=51616 CPUtime=12.46
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 11453 0 0 0 1240 6 0 0 18 0 3 0 348013295 52854784 11314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 12904 11314 218 20 0 12262 0
[pid=10468/tid=10470] ppid=10466 vsize=51616 CPUtime=6.2
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 5191 0 0 0 618 2 0 0 25 0 3 0 348013303 52854784 11314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10468/tid=10471] ppid=10466 vsize=51616 CPUtime=6.16
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 5564 0 0 0 613 3 0 0 18 0 3 0 348013303 52854784 11314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 51616

[startup+12.7013 s]
/proc/loadavg: 2.10 2.05 1.95 3/80 10471
/proc/meminfo: memFree=1541288/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=85600 CPUtime=25.22
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 20249 0 0 0 2509 13 0 0 18 0 3 0 348013295 87654400 19892 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 21400 19893 218 20 0 20758 0
[pid=10468/tid=10470] ppid=10466 vsize=85600 CPUtime=12.6
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 9521 0 0 0 1254 6 0 0 24 0 3 0 348013303 87654400 19894 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134528936 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10468/tid=10471] ppid=10466 vsize=85600 CPUtime=12.53
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 10032 0 0 0 1247 6 0 0 25 0 3 0 348013303 87654400 19894 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 85600

[startup+25.5017 s]
/proc/loadavg: 2.08 2.05 1.95 3/80 10471
/proc/meminfo: memFree=1527912/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=100284 CPUtime=50.75
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 24385 0 0 0 5058 17 0 0 18 0 3 0 348013295 102690816 23577 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 25071 23577 218 20 0 24429 0
[pid=10468/tid=10470] ppid=10466 vsize=100284 CPUtime=25.39
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 11389 0 0 0 2532 7 0 0 25 0 3 0 348013303 102690816 23577 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10468/tid=10471] ppid=10466 vsize=100284 CPUtime=25.27
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 12298 0 0 0 2518 9 0 0 25 0 3 0 348013303 102690816 23577 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565788 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 100284

[startup+51.1015 s]
/proc/loadavg: 2.06 2.04 1.95 3/80 10471
/proc/meminfo: memFree=1500392/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=125316 CPUtime=101.78
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 31750 0 0 0 10154 24 0 0 18 0 3 0 348013295 128323584 30111 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 31329 30111 218 20 0 30687 0
[pid=10468/tid=10470] ppid=10466 vsize=125316 CPUtime=50.95
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 15288 0 0 0 5085 10 0 0 25 0 3 0 348013303 128323584 30111 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=125316 CPUtime=50.74
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 15764 0 0 0 5061 13 0 0 25 0 3 0 348013303 128323584 30111 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 125316

[startup+102.301 s]
/proc/loadavg: 2.02 2.03 1.95 3/80 10471
/proc/meminfo: memFree=1480936/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=144052 CPUtime=203.9
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 38005 0 0 0 20361 29 0 0 18 0 3 0 348013295 147509248 34901 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 36013 34901 218 20 0 35371 0
[pid=10468/tid=10470] ppid=10466 vsize=144052 CPUtime=101.9
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 18289 0 0 0 10179 11 0 0 25 0 3 0 348013303 147509248 34901 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526377 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=144052 CPUtime=101.91
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 19018 0 0 0 10174 17 0 0 25 0 3 0 348013303 147509248 34901 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 144052

[startup+162.302 s]
/proc/loadavg: 2.01 2.02 1.95 3/80 10471
/proc/meminfo: memFree=1474216/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=150848 CPUtime=323.56
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 41091 0 0 0 32324 32 0 0 18 0 3 0 348013295 154468352 36571 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 37712 36571 218 20 0 37070 0
[pid=10468/tid=10470] ppid=10466 vsize=150848 CPUtime=161.62
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 19682 0 0 0 16150 12 0 0 25 0 3 0 348013303 154468352 36571 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=150848 CPUtime=161.85
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 20711 0 0 0 16166 19 0 0 25 0 3 0 348013303 154468352 36571 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.56
Current children cumulated vsize (KiB) 150848

[startup+222.305 s]
/proc/loadavg: 2.00 2.02 1.95 3/80 10471
/proc/meminfo: memFree=1468776/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=156904 CPUtime=443.23
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 44171 0 0 0 44288 35 0 0 18 0 3 0 348013295 160669696 37951 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 39226 37951 218 20 0 38584 0
[pid=10468/tid=10470] ppid=10466 vsize=156904 CPUtime=221.32
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 21906 0 0 0 22118 14 0 0 25 0 3 0 348013303 160669696 37951 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=156904 CPUtime=221.82
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 21567 0 0 0 22162 20 0 0 25 0 3 0 348013303 160669696 37951 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.23
Current children cumulated vsize (KiB) 156904

[startup+282.302 s]
/proc/loadavg: 2.00 2.01 1.95 3/80 10471
/proc/meminfo: memFree=1462952/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=162388 CPUtime=562.88
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 46982 0 0 0 56251 37 0 0 18 0 3 0 348013295 166285312 39389 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 40597 39389 218 20 0 39955 0
[pid=10468/tid=10470] ppid=10466 vsize=162388 CPUtime=281.02
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 22876 0 0 0 28088 14 0 0 25 0 3 0 348013303 166285312 39389 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=162388 CPUtime=281.77
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 23408 0 0 0 28155 22 0 0 25 0 3 0 348013303 166285312 39389 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565886 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.88
Current children cumulated vsize (KiB) 162388

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/80 10471
/proc/meminfo: memFree=1460584/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=164580 CPUtime=682.55
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 48895 0 0 0 68215 40 0 0 18 0 3 0 348013295 168529920 39991 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 41145 39991 218 20 0 40503 0
[pid=10468/tid=10470] ppid=10466 vsize=164580 CPUtime=340.73
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 23602 0 0 0 34058 15 0 0 25 0 3 0 348013303 168529920 39991 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=164580 CPUtime=341.73
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 24595 0 0 0 34149 24 0 0 25 0 3 0 348013303 168529920 39991 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.55
Current children cumulated vsize (KiB) 164580

[startup+402.302 s]

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

/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 39500 0 0 0 189318 29 0 0 25 0 3 0 348013303 208605184 49471 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=203716 CPUtime=1900.72
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 44119 0 0 0 190019 53 0 0 25 0 3 0 348013303 208605184 49471 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.27
Current children cumulated vsize (KiB) 203716

[startup+1962.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/80 10473
/proc/meminfo: memFree=1419624/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=206788 CPUtime=3913.96
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 86156 0 0 0 391312 84 0 0 18 0 3 0 348013295 211750912 50215 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 51697 50215 218 20 0 51055 0
[pid=10468/tid=10470] ppid=10466 vsize=206788 CPUtime=1953.19
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 40086 0 0 0 195290 29 0 0 25 0 3 0 348013303 211750912 50215 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=206788 CPUtime=1960.68
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 45372 0 0 0 196013 55 0 0 25 0 3 0 348013303 211750912 50215 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.96
Current children cumulated vsize (KiB) 206788

[startup+2022.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/80 10473
/proc/meminfo: memFree=1419560/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=206788 CPUtime=4033.65
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 87399 0 0 0 403279 86 0 0 18 0 3 0 348013295 211750912 50215 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 51697 50215 218 20 0 51055 0
[pid=10468/tid=10470] ppid=10466 vsize=206788 CPUtime=2012.92
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 40818 0 0 0 201263 29 0 0 25 0 3 0 348013303 211750912 50215 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=206788 CPUtime=2020.64
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 45883 0 0 0 202008 56 0 0 25 0 3 0 348013303 211750912 50215 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.65
Current children cumulated vsize (KiB) 206788

[startup+2082.3 s]
/proc/loadavg: 1.99 1.98 1.95 4/80 10473
/proc/meminfo: memFree=1419560/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=206788 CPUtime=4153.33
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 88954 0 0 0 415246 87 0 0 18 0 3 0 348013295 211750912 50217 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 51697 50217 218 20 0 51055 0
[pid=10468/tid=10470] ppid=10466 vsize=206788 CPUtime=2072.64
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 41559 0 0 0 207234 30 0 0 25 0 3 0 348013303 211750912 50217 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=206788 CPUtime=2080.6
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 46697 0 0 0 208003 57 0 0 25 0 3 0 348013303 211750912 50217 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.33
Current children cumulated vsize (KiB) 206788

[startup+2142.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/80 10473
/proc/meminfo: memFree=1420904/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=204740 CPUtime=4272.98
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 90438 0 0 0 427209 89 0 0 18 0 3 0 348013295 209653760 49904 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 51185 49904 218 20 0 50543 0
[pid=10468/tid=10470] ppid=10466 vsize=204740 CPUtime=2132.32
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 42155 0 0 0 213202 30 0 0 25 0 3 0 348013303 209653760 49904 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530005 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=204740 CPUtime=2140.55
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 47585 0 0 0 213998 57 0 0 25 0 3 0 348013303 209653760 49904 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526652 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.98
Current children cumulated vsize (KiB) 204740

[startup+2202.31 s]
/proc/loadavg: 2.03 2.00 1.96 3/80 10473
/proc/meminfo: memFree=1420136/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=205764 CPUtime=4392.67
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 91854 0 0 0 439177 90 0 0 18 0 3 0 348013295 210702336 50062 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 51441 50062 218 20 0 50799 0
[pid=10468/tid=10470] ppid=10466 vsize=205764 CPUtime=2192.05
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 42822 0 0 0 219174 31 0 0 25 0 3 0 348013303 210702336 50062 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=205764 CPUtime=2200.52
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 48334 0 0 0 219994 58 0 0 25 0 3 0 348013303 210702336 50062 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4392.67
Current children cumulated vsize (KiB) 205764

[startup+2262.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/80 10473
/proc/meminfo: memFree=1420200/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=205764 CPUtime=4512.34
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 93040 0 0 0 451143 91 0 0 18 0 3 0 348013295 210702336 50064 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 51441 50064 218 20 0 50799 0
[pid=10468/tid=10470] ppid=10466 vsize=205764 CPUtime=2251.76
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 43415 0 0 0 225145 31 0 0 25 0 3 0 348013303 210702336 50064 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=205764 CPUtime=2260.49
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 48927 0 0 0 225990 59 0 0 25 0 3 0 348013303 210702336 50064 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.34
Current children cumulated vsize (KiB) 205764

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 10473
/proc/meminfo: memFree=1418088/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=207812 CPUtime=4632.01
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 94752 0 0 0 463108 93 0 0 18 0 3 0 348013295 212799488 50591 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 51953 50591 218 20 0 51311 0
[pid=10468/tid=10470] ppid=10466 vsize=207812 CPUtime=2311.47
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 44007 0 0 0 231115 32 0 0 25 0 3 0 348013303 212799488 50591 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=207812 CPUtime=2320.45
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 50047 0 0 0 231985 60 0 0 25 0 3 0 348013303 212799488 50591 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.01
Current children cumulated vsize (KiB) 207812

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 10473
/proc/meminfo: memFree=1416936/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=208836 CPUtime=4751.71
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 96090 0 0 0 475076 95 0 0 18 0 3 0 348013295 213848064 50881 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 52209 50881 218 20 0 51567 0
[pid=10468/tid=10470] ppid=10466 vsize=208836 CPUtime=2371.2
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 44533 0 0 0 237088 32 0 0 25 0 3 0 348013303 213848064 50881 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=208836 CPUtime=2380.42
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 50859 0 0 0 237980 62 0 0 25 0 3 0 348013303 213848064 50881 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4751.71
Current children cumulated vsize (KiB) 208836

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 10473
/proc/meminfo: memFree=1416808/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=208836 CPUtime=4871.39
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 97215 0 0 0 487043 96 0 0 18 0 3 0 348013295 213848064 50881 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 52209 50881 218 20 0 51567 0
[pid=10468/tid=10470] ppid=10466 vsize=208836 CPUtime=2430.92
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 45133 0 0 0 243059 33 0 0 25 0 3 0 348013303 213848064 50881 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=208836 CPUtime=2440.39
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 51384 0 0 0 243976 63 0 0 25 0 3 0 348013303 213848064 50881 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.39
Current children cumulated vsize (KiB) 208836

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 10473
/proc/meminfo: memFree=1416808/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=208836 CPUtime=4991.07
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 98422 0 0 0 499009 98 0 0 18 0 3 0 348013295 213848064 50888 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 52209 50888 218 20 0 51567 0
[pid=10468/tid=10470] ppid=10466 vsize=208836 CPUtime=2490.64
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 45662 0 0 0 249030 34 0 0 25 0 3 0 348013303 213848064 50888 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=208836 CPUtime=2500.35
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 52062 0 0 0 249971 64 0 0 25 0 3 0 348013303 213848064 50888 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.07
Current children cumulated vsize (KiB) 208836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.8 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 10473
/proc/meminfo: memFree=1416808/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=208836 CPUtime=5000.06
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 98497 0 0 0 499908 98 0 0 18 0 3 0 348013295 213848064 50888 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 52209 50888 218 20 0 51567 0
[pid=10468/tid=10470] ppid=10466 vsize=208836 CPUtime=2495.12
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 45737 0 0 0 249478 34 0 0 25 0 3 0 348013303 213848064 50888 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=208836 CPUtime=2504.85
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 52062 0 0 0 250421 64 0 0 25 0 3 0 348013303 213848064 50888 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 208836

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

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

[startup+2506.8 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 10473
/proc/meminfo: memFree=1416808/2055920 swapFree=4156344/4192956
[pid=10468] ppid=10466 vsize=208836 CPUtime=5000.06
/proc/10468/stat : 10468 (MiraXTv3_dyn) S 10466 10468 10139 0 -1 4194304 98497 0 0 0 499908 98 0 0 18 0 3 0 348013295 213848064 50888 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 52209 50888 218 20 0 51567 0
[pid=10468/tid=10470] ppid=10466 vsize=208836 CPUtime=2495.12
/proc/10468/task/10470/stat : 10470 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 45737 0 0 0 249478 34 0 0 25 0 3 0 348013303 213848064 50888 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10468/tid=10471] ppid=10466 vsize=208836 CPUtime=2504.85
/proc/10468/task/10471/stat : 10471 (MiraXTv3_dyn) R 10466 10468 10139 0 -1 4194368 52062 0 0 0 250421 64 0 0 25 0 3 0 348013303 213848064 50888 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 208836

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.84
CPU time (s): 5000.11
CPU user time (s): 4999.09
CPU system time (s): 1.01684
CPU usage (%): 199.458
Max. virtual memory (cumulated for all children) (KiB): 209136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.09
system time used= 1.01684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98497
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= 1192
involuntary context switches= 93160

runsolver used 2.58361 second user time and 6.546 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Sat May 12 20:16:00 UTC 2007

IDJOB= 426231
IDBENCH= 20056
IDSOLVER= 196
FILE ID= node21/426231-1179000960

PBS_JOBID= 5252837

Free space on /tmp= 66540 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v600/unif-k5-r20-v600-c12000-S1586629899-14.cnf
COMMAND LINE= /tmp/evaluation/426231-1179000960/MiraXTv3_dyn /tmp/evaluation/426231-1179000960/instance-426231-1179000960.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-426231-1179000960 -o ROOT/results/node21/solver-426231-1179000960 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426231-1179000960/MiraXTv3_dyn /tmp/evaluation/426231-1179000960/instance-426231-1179000960.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  bb47ba6674477ffefdaf4fbc831ad867

RANDOM SEED= 289237137

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.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.232
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.232
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:       1620952 kB
Buffers:         49136 kB
Cached:         297600 kB
SwapCached:      15772 kB
Active:         153704 kB
Inactive:       216832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1620952 kB
SwapTotal:     4192956 kB
SwapFree:      4156344 kB
Dirty:            4200 kB
Writeback:           0 kB
Mapped:          30232 kB
Slab:            50000 kB
Committed_AS:  5203820 kB
PageTables:       1784 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= 66540 MiB

End job on node21 on Sat May 12 20:57:49 UTC 2007