Trace number 426134

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.15 2507.13

General information on the benchmark

Namerandom/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf
MD5SUMbb020a272b82c40a137247ab0662fc0e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.3574
Satisfiable
(Un)Satisfiability was proved
Number of variables75
Number of clauses6675
Sum of the clauses size46725
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 56675

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/node9/watcher-426134-1178989530 -o ROOT/results/node9/solver-426134-1178989530 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426134-1178989530/MiraXTv3_dyn /tmp/evaluation/426134-1178989530/instance-426134-1178989530.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: 1.84 1.95 1.91 3/77 5548
/proc/meminfo: memFree=1429328/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=3788 CPUtime=0
/proc/5548/stat : 5548 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194304 318 0 0 0 0 0 0 0 18 0 1 0 374990552 3878912 293 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 9098875 0 0 4096 0 0 0 0 17 0 0 0
/proc/5548/statm: 947 293 206 20 0 305 0

[startup+0.07828 s]
/proc/loadavg: 1.84 1.95 1.91 3/77 5548
/proc/meminfo: memFree=1429328/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=4312 CPUtime=0.07
/proc/5548/stat : 5548 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194304 466 0 0 0 7 0 0 0 18 0 1 0 374990552 4415488 441 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134575896 0 0 4096 0 0 0 0 17 0 0 0
/proc/5548/statm: 1078 441 207 20 0 436 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4312

[startup+0.101282 s]
/proc/loadavg: 1.84 1.95 1.91 3/77 5548
/proc/meminfo: memFree=1429328/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=4456 CPUtime=0.09
/proc/5548/stat : 5548 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194304 474 0 0 0 9 0 0 0 18 0 1 0 374990552 4562944 449 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583921 0 0 4096 0 0 0 0 17 0 0 0
/proc/5548/statm: 1114 449 207 20 0 472 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4456

[startup+0.301308 s]
/proc/loadavg: 1.84 1.95 1.91 3/77 5548
/proc/meminfo: memFree=1429328/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=8956 CPUtime=0.45
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 1086 0 0 0 45 0 0 0 18 0 3 0 374990552 9170944 1061 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 2239 1061 218 20 0 1597 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 8956

[startup+0.702355 s]
/proc/loadavg: 1.84 1.95 1.91 3/77 5548
/proc/meminfo: memFree=1429328/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=12688 CPUtime=1.25
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 1893 0 0 0 124 1 0 0 18 0 3 0 374990552 12992512 1868 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 3172 1868 218 20 0 2530 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 12688

[startup+1.50245 s]
/proc/loadavg: 1.84 1.95 1.91 3/80 5551
/proc/meminfo: memFree=1420600/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=16932 CPUtime=2.84
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 2984 0 0 0 283 1 0 0 18 0 3 0 374990552 17338368 2959 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 4233 2959 218 20 0 3591 0
[pid=5548/tid=5550] ppid=5546 vsize=16932 CPUtime=1.35
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 1272 0 0 0 135 0 0 0 25 0 3 0 374990565 17338368 2959 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=16932 CPUtime=1.34
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 1200 0 0 0 134 0 0 0 17 0 3 0 374990565 17338368 2959 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 16932

[startup+3.10163 s]
/proc/loadavg: 1.84 1.95 1.91 3/80 5551
/proc/meminfo: memFree=1417912/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=20184 CPUtime=6.03
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 3766 0 0 0 601 2 0 0 18 0 3 0 374990552 20668416 3705 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 5046 3705 218 20 0 4404 0
[pid=5548/tid=5550] ppid=5546 vsize=20184 CPUtime=2.95
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 1624 0 0 0 294 1 0 0 18 0 3 0 374990565 20668416 3705 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=20184 CPUtime=2.94
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 1630 0 0 0 293 1 0 0 25 0 3 0 374990565 20668416 3705 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 20184

[startup+6.30199 s]
/proc/loadavg: 1.85 1.95 1.91 3/80 5551
/proc/meminfo: memFree=1407992/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=28956 CPUtime=12.41
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 6229 0 0 0 1237 4 0 0 18 0 3 0 374990552 29650944 6056 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 7239 6056 218 20 0 6597 0
[pid=5548/tid=5550] ppid=5546 vsize=28956 CPUtime=6.15
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 2862 0 0 0 613 2 0 0 17 0 3 0 374990565 29650944 6056 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=28956 CPUtime=6.12
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 2855 0 0 0 610 2 0 0 19 0 3 0 374990565 29650944 6056 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 28956

[startup+12.7017 s]
/proc/loadavg: 1.86 1.95 1.91 3/80 5551
/proc/meminfo: memFree=1397112/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=37116 CPUtime=25.18
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 8563 0 0 0 2512 6 0 0 18 0 3 0 374990552 38006784 8092 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 9279 8092 218 20 0 8637 0
[pid=5548/tid=5550] ppid=5546 vsize=37116 CPUtime=12.54
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 4042 0 0 0 1252 2 0 0 25 0 3 0 374990565 38006784 8092 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=37116 CPUtime=12.5
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 4009 0 0 0 1247 3 0 0 25 0 3 0 374990565 38006784 8092 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 37116

[startup+25.5022 s]
/proc/loadavg: 1.89 1.96 1.91 3/80 5551
/proc/meminfo: memFree=1385912/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=48700 CPUtime=50.71
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 11875 0 0 0 5061 10 0 0 18 0 3 0 374990552 49868800 10926 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 12175 10926 218 20 0 11533 0
[pid=5548/tid=5550] ppid=5546 vsize=48700 CPUtime=25.32
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 5616 0 0 0 2528 4 0 0 25 0 3 0 374990565 49868800 10926 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530005 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=48700 CPUtime=25.24
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 5747 0 0 0 2519 5 0 0 25 0 3 0 374990565 49868800 10926 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 48700

[startup+51.1021 s]
/proc/loadavg: 1.93 1.96 1.91 3/80 5551
/proc/meminfo: memFree=1381560/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=52932 CPUtime=101.78
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 14079 0 0 0 10166 12 0 0 18 0 3 0 374990552 54202368 12034 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 13233 12034 218 20 0 12591 0
[pid=5548/tid=5550] ppid=5546 vsize=52932 CPUtime=50.88
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 6834 0 0 0 5084 4 0 0 25 0 3 0 374990565 54202368 12034 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134522148 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=52932 CPUtime=50.75
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 6733 0 0 0 5068 7 0 0 25 0 3 0 374990565 54202368 12034 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526712 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 52932

[startup+102.307 s]
/proc/loadavg: 1.97 1.96 1.91 3/80 5551
/proc/meminfo: memFree=1377464/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=57284 CPUtime=203.9
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 17108 0 0 0 20376 14 0 0 18 0 3 0 374990552 58658816 13017 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 14321 13017 218 20 0 13679 0
[pid=5548/tid=5550] ppid=5546 vsize=57284 CPUtime=102.04
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 8552 0 0 0 10198 6 0 0 25 0 3 0 374990565 58658816 13017 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=57284 CPUtime=101.71
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 8044 0 0 0 10164 7 0 0 25 0 3 0 374990565 58658816 13017 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 57284

[startup+162.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 5551
/proc/meminfo: memFree=1372536/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=62508 CPUtime=323.54
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 20529 0 0 0 32338 16 0 0 18 0 3 0 374990552 64008192 14194 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 15627 14194 218 20 0 14985 0
[pid=5548/tid=5550] ppid=5546 vsize=62508 CPUtime=161.96
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 10041 0 0 0 16190 6 0 0 25 0 3 0 374990565 64008192 14194 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=62508 CPUtime=161.44
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 9976 0 0 0 16134 10 0 0 25 0 3 0 374990565 64008192 14194 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.54
Current children cumulated vsize (KiB) 62508

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 5551
/proc/meminfo: memFree=1369080/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=65836 CPUtime=443.19
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 23405 0 0 0 44300 19 0 0 18 0 3 0 374990552 67416064 15071 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 16459 15071 218 20 0 15817 0
[pid=5548/tid=5550] ppid=5546 vsize=65836 CPUtime=221.88
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 11577 0 0 0 22180 8 0 0 25 0 3 0 374990565 67416064 15071 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=65836 CPUtime=221.18
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 11316 0 0 0 22107 11 0 0 25 0 3 0 374990565 67416064 15071 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.19
Current children cumulated vsize (KiB) 65836

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 5551
/proc/meminfo: memFree=1367864/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=67452 CPUtime=562.87
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 25794 0 0 0 56266 21 0 0 18 0 3 0 374990552 69070848 15383 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 16863 15383 218 20 0 16221 0
[pid=5548/tid=5550] ppid=5546 vsize=67452 CPUtime=281.81
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 12767 0 0 0 28173 8 0 0 25 0 3 0 374990565 69070848 15383 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=67452 CPUtime=280.92
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 12515 0 0 0 28080 12 0 0 19 0 3 0 374990565 69070848 15383 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.87
Current children cumulated vsize (KiB) 67452

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 5551
/proc/meminfo: memFree=1366456/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=68492 CPUtime=682.52
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 28389 0 0 0 68229 23 0 0 18 0 3 0 374990552 70135808 15767 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 17123 15767 218 20 0 16481 0
[pid=5548/tid=5550] ppid=5546 vsize=68492 CPUtime=341.73
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 14155 0 0 0 34164 9 0 0 25 0 3 0 374990565 70135808 15767 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=68492 CPUtime=340.64
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 13722 0 0 0 34051 13 0 0 25 0 3 0 374990565 70135808 15767 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520219 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.52
Current children cumulated vsize (KiB) 68492

[startup+402.303 s]

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

/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 44307 0 0 0 189958 31 0 0 25 0 3 0 374990565 97841152 22229 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=95548 CPUtime=1893.82
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 41384 0 0 0 189337 45 0 0 25 0 3 0 374990565 97841152 22229 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.84
Current children cumulated vsize (KiB) 95548

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 5553
/proc/meminfo: memFree=1340216/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=95680 CPUtime=3913.52
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 88049 0 0 0 391274 78 0 0 18 0 3 0 374990552 97976320 22281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 23920 22281 218 20 0 23278 0
[pid=5548/tid=5550] ppid=5546 vsize=95680 CPUtime=1959.82
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 45229 0 0 0 195951 31 0 0 25 0 3 0 374990565 97976320 22281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=95680 CPUtime=1953.56
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 42308 0 0 0 195310 46 0 0 25 0 3 0 374990565 97976320 22281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.52
Current children cumulated vsize (KiB) 95680

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 5553
/proc/meminfo: memFree=1339960/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=95888 CPUtime=4033.18
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 89478 0 0 0 403239 79 0 0 18 0 3 0 374990552 98189312 22330 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 23972 22330 218 20 0 23330 0
[pid=5548/tid=5550] ppid=5546 vsize=95888 CPUtime=2019.74
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 46313 0 0 0 201942 32 0 0 25 0 3 0 374990565 98189312 22330 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=95888 CPUtime=2013.29
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 42653 0 0 0 201283 46 0 0 25 0 3 0 374990565 98189312 22330 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.18
Current children cumulated vsize (KiB) 95888

[startup+2082.31 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 5553
/proc/meminfo: memFree=1339896/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=95888 CPUtime=4152.87
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 90861 0 0 0 415206 81 0 0 18 0 3 0 374990552 98189312 22333 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 23972 22333 218 20 0 23330 0
[pid=5548/tid=5550] ppid=5546 vsize=95888 CPUtime=2079.68
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 47075 0 0 0 207935 33 0 0 25 0 3 0 374990565 98189312 22333 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=95888 CPUtime=2073.04
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 43274 0 0 0 207257 47 0 0 25 0 3 0 374990565 98189312 22333 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.87
Current children cumulated vsize (KiB) 95888

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 5553
/proc/meminfo: memFree=1339832/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=96228 CPUtime=4272.53
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 92155 0 0 0 427170 83 0 0 18 0 3 0 374990552 98537472 22358 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 24057 22358 218 20 0 23415 0
[pid=5548/tid=5550] ppid=5546 vsize=96228 CPUtime=2139.6
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 47720 0 0 0 213926 34 0 0 25 0 3 0 374990565 98537472 22358 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=96228 CPUtime=2132.77
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 43923 0 0 0 213229 48 0 0 25 0 3 0 374990565 98537472 22358 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526440 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.53
Current children cumulated vsize (KiB) 96228

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 5553
/proc/meminfo: memFree=1339704/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=96228 CPUtime=4392.19
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 93631 0 0 0 439135 84 0 0 18 0 3 0 374990552 98537472 22384 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 24057 22384 218 20 0 23415 0
[pid=5548/tid=5550] ppid=5546 vsize=96228 CPUtime=2199.54
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 48618 0 0 0 219919 35 0 0 25 0 3 0 374990565 98537472 22384 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=96228 CPUtime=2192.51
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 44501 0 0 0 219202 49 0 0 25 0 3 0 374990565 98537472 22384 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565842 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4392.19
Current children cumulated vsize (KiB) 96228

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 5553
/proc/meminfo: memFree=1339448/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=96492 CPUtime=4511.87
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 95164 0 0 0 451101 86 0 0 18 0 3 0 374990552 98807808 22466 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 24123 22466 218 20 0 23481 0
[pid=5548/tid=5550] ppid=5546 vsize=96492 CPUtime=2259.47
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 49516 0 0 0 225912 35 0 0 25 0 3 0 374990565 98807808 22466 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=96492 CPUtime=2252.26
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 45136 0 0 0 225176 50 0 0 25 0 3 0 374990565 98807808 22466 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4511.87
Current children cumulated vsize (KiB) 96492

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 5553
/proc/meminfo: memFree=1339384/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=96492 CPUtime=4631.53
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 96504 0 0 0 463066 87 0 0 18 0 3 0 374990552 98807808 22495 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 24123 22495 218 20 0 23481 0
[pid=5548/tid=5550] ppid=5546 vsize=96492 CPUtime=2319.4
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 50347 0 0 0 231904 36 0 0 25 0 3 0 374990565 98807808 22495 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5548/tid=5551] ppid=5546 vsize=96492 CPUtime=2311.98
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 45645 0 0 0 231148 50 0 0 25 0 3 0 374990565 98807808 22495 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4631.53
Current children cumulated vsize (KiB) 96492

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 5553
/proc/meminfo: memFree=1339256/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=96492 CPUtime=4751.21
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 97886 0 0 0 475033 88 0 0 18 0 3 0 374990552 98807808 22497 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 24123 22497 218 20 0 23481 0
[pid=5548/tid=5550] ppid=5546 vsize=96492 CPUtime=2379.25
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 51039 0 0 0 237889 36 0 0 25 0 3 0 374990565 98807808 22497 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526699 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5548/tid=5551] ppid=5546 vsize=96492 CPUtime=2371.81
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 46335 0 0 0 237130 51 0 0 25 0 3 0 374990565 98807808 22497 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526410 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4751.21
Current children cumulated vsize (KiB) 96492

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 5553
/proc/meminfo: memFree=1339192/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=96492 CPUtime=4870.86
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 99887 0 0 0 486996 90 0 0 18 0 3 0 374990552 98807808 22496 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 24123 22496 218 20 0 23481 0
[pid=5548/tid=5550] ppid=5546 vsize=96492 CPUtime=2438.98
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 52005 0 0 0 243861 37 0 0 17 0 3 0 374990565 98807808 22496 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5548/tid=5551] ppid=5546 vsize=96492 CPUtime=2431.73
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 47370 0 0 0 243121 52 0 0 25 0 3 0 374990565 98807808 22496 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4870.86
Current children cumulated vsize (KiB) 96492

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 5553
/proc/meminfo: memFree=1339128/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=96492 CPUtime=4990.53
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 101892 0 0 0 498961 92 0 0 18 0 3 0 374990552 98807808 22500 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 24123 22500 218 20 0 23481 0
[pid=5548/tid=5550] ppid=5546 vsize=96492 CPUtime=2498.72
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 53043 0 0 0 249834 38 0 0 17 0 3 0 374990565 98807808 22500 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5548/tid=5551] ppid=5546 vsize=96492 CPUtime=2491.65
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 48337 0 0 0 249113 52 0 0 25 0 3 0 374990565 98807808 22500 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526475 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4990.53
Current children cumulated vsize (KiB) 96492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.1 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 5553
/proc/meminfo: memFree=1339128/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=96492 CPUtime=5000.11
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 102030 0 0 0 499919 92 0 0 18 0 3 0 374990552 98807808 22500 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 24123 22500 218 20 0 23481 0
[pid=5548/tid=5550] ppid=5546 vsize=96492 CPUtime=2503.51
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 53112 0 0 0 250312 39 0 0 25 0 3 0 374990565 98807808 22500 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5548/tid=5551] ppid=5546 vsize=96492 CPUtime=2496.46
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 48406 0 0 0 249593 53 0 0 25 0 3 0 374990565 98807808 22500 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.11
Current children cumulated vsize (KiB) 96492

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

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

[startup+2507.1 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 5553
/proc/meminfo: memFree=1339128/2055920 swapFree=4145492/4192956
[pid=5548] ppid=5546 vsize=96492 CPUtime=5000.11
/proc/5548/stat : 5548 (MiraXTv3_dyn) S 5546 5548 5476 0 -1 4194304 102030 0 0 0 499919 92 0 0 18 0 3 0 374990552 98807808 22500 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5548/statm: 24123 22500 218 20 0 23481 0
[pid=5548/tid=5550] ppid=5546 vsize=96492 CPUtime=2503.51
/proc/5548/task/5550/stat : 5550 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 53112 0 0 0 250312 39 0 0 25 0 3 0 374990565 98807808 22500 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5548/tid=5551] ppid=5546 vsize=96492 CPUtime=2496.46
/proc/5548/task/5551/stat : 5551 (MiraXTv3_dyn) R 5546 5548 5476 0 -1 4194368 48406 0 0 0 249593 53 0 0 25 0 3 0 374990565 98807808 22500 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.11
Current children cumulated vsize (KiB) 96492

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.13
CPU time (s): 5000.15
CPU user time (s): 4999.21
CPU system time (s): 0.939857
CPU usage (%): 199.437
Max. virtual memory (cumulated for all children) (KiB): 96768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.21
system time used= 0.939857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102030
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= 1420
involuntary context switches= 93637

runsolver used 2.75758 second user time and 6.38203 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat May 12 17:05:30 UTC 2007

IDJOB= 426134
IDBENCH= 19951
IDSOLVER= 196
FILE ID= node9/426134-1178989530

PBS_JOBID= 5252827

Free space on /tmp= 66553 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v75/unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426134-1178989530/MiraXTv3_dyn /tmp/evaluation/426134-1178989530/instance-426134-1178989530.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-426134-1178989530 -o ROOT/results/node9/solver-426134-1178989530 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426134-1178989530/MiraXTv3_dyn /tmp/evaluation/426134-1178989530/instance-426134-1178989530.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  bb020a272b82c40a137247ab0662fc0e

RANDOM SEED= 519331304

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1429544 kB
Buffers:         45444 kB
Cached:         497756 kB
SwapCached:      15556 kB
Active:         189676 kB
Inactive:       376284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1429544 kB
SwapTotal:     4192956 kB
SwapFree:      4145492 kB
Dirty:            4220 kB
Writeback:           0 kB
Mapped:          29744 kB
Slab:            45956 kB
Committed_AS:  9041992 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= 66553 MiB

End job on node9 on Sat May 12 17:47:19 UTC 2007