Trace number 426078

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

General information on the benchmark

Namerandom/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf
MD5SUM1a9df9fd15f24a2337522cdfe389f8f2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables130
Number of clauses2769
Sum of the clauses size13845
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 52769
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/node14/watcher-426078-1178985373 -o ROOT/results/node14/solver-426078-1178985373 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426078-1178985373/MiraXTv3_dyn /tmp/evaluation/426078-1178985373/instance-426078-1178985373.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.87 1.98 1.94 3/77 4516
/proc/meminfo: memFree=1557056/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=3788 CPUtime=0
/proc/4516/stat : 4516 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 346455039 3878912 264 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7362171 0 0 4096 0 0 0 0 17 1 0 0
/proc/4516/statm: 947 264 206 20 0 305 0

[startup+0.09374 s]
/proc/loadavg: 1.87 1.98 1.94 3/77 4516
/proc/meminfo: memFree=1557056/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=7480 CPUtime=0.15
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 687 0 0 0 15 0 0 0 18 0 3 0 346455039 7659520 662 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 1870 662 218 20 0 1228 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 7480

[startup+0.101738 s]
/proc/loadavg: 1.87 1.98 1.94 3/77 4516
/proc/meminfo: memFree=1557056/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=7644 CPUtime=0.17
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 754 0 0 0 17 0 0 0 18 0 3 0 346455039 7827456 729 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 1911 729 218 20 0 1269 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7644

[startup+0.301759 s]
/proc/loadavg: 1.87 1.98 1.94 3/77 4516
/proc/meminfo: memFree=1557056/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=8952 CPUtime=0.56
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 1231 0 0 0 56 0 0 0 18 0 3 0 346455039 9166848 1205 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 2238 1205 218 20 0 1596 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 8952

[startup+0.701798 s]
/proc/loadavg: 1.87 1.98 1.94 3/77 4516
/proc/meminfo: memFree=1557056/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=12104 CPUtime=1.37
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 2029 0 0 0 136 1 0 0 18 0 3 0 346455039 12394496 2003 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 3026 2003 218 20 0 2384 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 12104

[startup+1.50188 s]
/proc/loadavg: 1.87 1.98 1.94 3/80 4519
/proc/meminfo: memFree=1547816/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=15424 CPUtime=2.95
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 2821 0 0 0 293 2 0 0 18 0 3 0 346455039 15794176 2795 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 3856 2795 218 20 0 3214 0
[pid=4516/tid=4518] ppid=4514 vsize=15424 CPUtime=1.47
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 1157 0 0 0 146 1 0 0 17 0 3 0 346455040 15794176 2795 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4516/tid=4519] ppid=4514 vsize=15424 CPUtime=1.45
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 1296 0 0 0 145 0 0 0 19 0 3 0 346455040 15794176 2795 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 15424

[startup+3.10103 s]
/proc/loadavg: 1.88 1.98 1.94 3/80 4519
/proc/meminfo: memFree=1545256/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=18128 CPUtime=6.14
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 3775 0 0 0 612 2 0 0 18 0 3 0 346455039 18563072 3677 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 4532 3677 218 20 0 3890 0
[pid=4516/tid=4518] ppid=4514 vsize=18128 CPUtime=3.07
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 1614 0 0 0 306 1 0 0 25 0 3 0 346455040 18563072 3677 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4516/tid=4519] ppid=4514 vsize=18128 CPUtime=3.05
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 1793 0 0 0 304 1 0 0 17 0 3 0 346455040 18563072 3677 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 18128

[startup+6.30133 s]
/proc/loadavg: 1.88 1.98 1.94 3/80 4519
/proc/meminfo: memFree=1535464/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=28012 CPUtime=12.53
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 6369 0 0 0 1249 4 0 0 18 0 3 0 346455039 28684288 6193 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 7003 6193 218 20 0 6361 0
[pid=4516/tid=4518] ppid=4514 vsize=28012 CPUtime=6.27
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 2840 0 0 0 625 2 0 0 25 0 3 0 346455040 28684288 6193 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4516/tid=4519] ppid=4514 vsize=28012 CPUtime=6.23
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 3161 0 0 0 621 2 0 0 19 0 3 0 346455040 28684288 6193 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526347 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 28012

[startup+12.7019 s]
/proc/loadavg: 1.90 1.98 1.94 3/80 4519
/proc/meminfo: memFree=1525160/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=36672 CPUtime=25.28
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 8465 0 0 0 2523 5 0 0 18 0 3 0 346455039 37552128 7982 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 9168 7982 218 20 0 8526 0
[pid=4516/tid=4518] ppid=4514 vsize=36672 CPUtime=12.66
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 3932 0 0 0 1264 2 0 0 20 0 3 0 346455040 37552128 7982 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4516/tid=4519] ppid=4514 vsize=36672 CPUtime=12.59
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 4165 0 0 0 1257 2 0 0 25 0 3 0 346455040 37552128 7982 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 36672

[startup+25.5021 s]
/proc/loadavg: 1.91 1.98 1.94 3/80 4519
/proc/meminfo: memFree=1513704/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=48604 CPUtime=50.8
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 11934 0 0 0 5071 9 0 0 18 0 3 0 346455039 49770496 10955 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 12151 10955 218 20 0 11509 0
[pid=4516/tid=4518] ppid=4514 vsize=48604 CPUtime=25.45
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 5685 0 0 0 2540 5 0 0 25 0 3 0 346455040 49770496 10955 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4516/tid=4519] ppid=4514 vsize=48604 CPUtime=25.32
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 5881 0 0 0 2529 3 0 0 25 0 3 0 346455040 49770496 10955 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526394 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 48604

[startup+51.1026 s]
/proc/loadavg: 1.94 1.98 1.94 3/80 4519
/proc/meminfo: memFree=1504168/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=56704 CPUtime=101.86
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 15210 0 0 0 10173 13 0 0 18 0 3 0 346455039 58064896 13273 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 14176 13273 218 20 0 13534 0
[pid=4516/tid=4518] ppid=4514 vsize=56704 CPUtime=50.98
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 7409 0 0 0 5091 7 0 0 25 0 3 0 346455040 58064896 13273 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=56704 CPUtime=50.85
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 7433 0 0 0 5080 5 0 0 25 0 3 0 346455040 58064896 13273 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 56704

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.94 3/80 4519
/proc/meminfo: memFree=1494376/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=67260 CPUtime=203.99
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 19531 0 0 0 20382 17 0 0 18 0 3 0 346455039 68874240 15707 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 16815 15707 218 20 0 16173 0
[pid=4516/tid=4518] ppid=4514 vsize=67260 CPUtime=101.94
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 9474 0 0 0 10185 9 0 0 19 0 3 0 346455040 68874240 15707 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=67260 CPUtime=102.03
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 9689 0 0 0 10195 8 0 0 19 0 3 0 346455040 68874240 15707 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 67260

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.94 3/80 4519
/proc/meminfo: memFree=1492328/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=70276 CPUtime=323.67
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 22036 0 0 0 32348 19 0 0 18 0 3 0 346455039 71962624 16167 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 17569 16167 218 20 0 16927 0
[pid=4516/tid=4518] ppid=4514 vsize=70276 CPUtime=161.66
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 10768 0 0 0 16156 10 0 0 25 0 3 0 346455040 71962624 16167 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=70276 CPUtime=161.99
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 10900 0 0 0 16190 9 0 0 25 0 3 0 346455040 71962624 16167 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.67
Current children cumulated vsize (KiB) 70276

[startup+222.303 s]
/proc/loadavg: 1.99 1.98 1.94 3/80 4519
/proc/meminfo: memFree=1491112/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=71620 CPUtime=443.35
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 24343 0 0 0 44314 21 0 0 18 0 3 0 346455039 73338880 16514 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 17905 16514 218 20 0 17263 0
[pid=4516/tid=4518] ppid=4514 vsize=71620 CPUtime=221.39
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 12005 0 0 0 22128 11 0 0 25 0 3 0 346455040 73338880 16514 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=71620 CPUtime=221.94
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 11970 0 0 0 22184 10 0 0 25 0 3 0 346455040 73338880 16514 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.35
Current children cumulated vsize (KiB) 71620

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.94 3/80 4519
/proc/meminfo: memFree=1489640/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=73660 CPUtime=563.01
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 26760 0 0 0 56277 24 0 0 18 0 3 0 346455039 75427840 16915 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 18415 16915 218 20 0 17773 0
[pid=4516/tid=4518] ppid=4514 vsize=73660 CPUtime=281.09
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 13247 0 0 0 28097 12 0 0 17 0 3 0 346455040 75427840 16915 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=73660 CPUtime=281.9
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 13145 0 0 0 28178 12 0 0 17 0 3 0 346455040 75427840 16915 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7360863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.01
Current children cumulated vsize (KiB) 73660

[startup+342.301 s]
/proc/loadavg: 2.07 2.01 1.95 3/86 4695
/proc/meminfo: memFree=1487024/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=74708 CPUtime=682.4
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 28702 0 0 0 68199 41 0 0 18 0 3 0 346455039 76500992 17209 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 18677 17209 218 20 0 18035 0
[pid=4516/tid=4518] ppid=4514 vsize=74708 CPUtime=340.69
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 14207 0 0 0 34041 28 0 0 25 0 3 0 346455040 76500992 17209 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=74708 CPUtime=341.69
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 14127 0 0 0 34156 13 0 0 25 0 3 0 346455040 76500992 17209 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.4
Current children cumulated vsize (KiB) 74708

[startup+402.302 s]

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

/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 38845 0 0 0 189307 47 0 0 25 0 3 0 346455040 101715968 23255 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=99332 CPUtime=1900.79
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 36566 0 0 0 190043 36 0 0 25 0 3 0 346455040 101715968 23255 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.36
Current children cumulated vsize (KiB) 99332

[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/80 4717
/proc/meminfo: memFree=1463656/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=99496 CPUtime=3914.08
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 77347 0 0 0 391323 85 0 0 18 0 3 0 346455039 101883904 23339 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 24874 23339 218 20 0 24232 0
[pid=4516/tid=4518] ppid=4514 vsize=99496 CPUtime=1953.27
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 39731 0 0 0 195280 47 0 0 25 0 3 0 346455040 101883904 23339 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=99496 CPUtime=1960.78
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 37248 0 0 0 196041 37 0 0 25 0 3 0 346455040 101883904 23339 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.08
Current children cumulated vsize (KiB) 99496

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/80 4717
/proc/meminfo: memFree=1463336/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=99764 CPUtime=4033.77
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 79022 0 0 0 403291 86 0 0 18 0 3 0 346455039 102158336 23417 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 24941 23417 218 20 0 24299 0
[pid=4516/tid=4518] ppid=4514 vsize=99764 CPUtime=2013.01
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 40653 0 0 0 201254 47 0 0 25 0 3 0 346455040 102158336 23417 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=99764 CPUtime=2020.73
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 38001 0 0 0 202035 38 0 0 25 0 3 0 346455040 102158336 23417 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.77
Current children cumulated vsize (KiB) 99764

[startup+2082.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/80 4717
/proc/meminfo: memFree=1463080/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=100032 CPUtime=4153.49
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 80692 0 0 0 415261 88 0 0 18 0 3 0 346455039 102432768 23482 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 25008 23482 218 20 0 24366 0
[pid=4516/tid=4518] ppid=4514 vsize=100032 CPUtime=2072.75
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 41462 0 0 0 207227 48 0 0 25 0 3 0 346455040 102432768 23482 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=100032 CPUtime=2080.71
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 38862 0 0 0 208032 39 0 0 25 0 3 0 346455040 102432768 23482 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.49
Current children cumulated vsize (KiB) 100032

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/80 4717
/proc/meminfo: memFree=1462696/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=100372 CPUtime=4273.17
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 82298 0 0 0 427229 88 0 0 18 0 3 0 346455039 102780928 23577 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 25093 23577 218 20 0 24451 0
[pid=4516/tid=4518] ppid=4514 vsize=100372 CPUtime=2132.48
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 42278 0 0 0 213200 48 0 0 25 0 3 0 346455040 102780928 23577 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=100372 CPUtime=2140.66
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 39652 0 0 0 214027 39 0 0 25 0 3 0 346455040 102780928 23577 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.17
Current children cumulated vsize (KiB) 100372

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 4717
/proc/meminfo: memFree=1462312/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=100728 CPUtime=4392.89
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 83898 0 0 0 439200 89 0 0 18 0 3 0 346455039 103145472 23656 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 25182 23656 218 20 0 24540 0
[pid=4516/tid=4518] ppid=4514 vsize=100728 CPUtime=2192.22
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 43086 0 0 0 219173 49 0 0 25 0 3 0 346455040 103145472 23656 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=100728 CPUtime=2200.65
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 40444 0 0 0 220025 40 0 0 25 0 3 0 346455040 103145472 23656 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4392.89
Current children cumulated vsize (KiB) 100728

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 4717
/proc/meminfo: memFree=1462056/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=100916 CPUtime=4512.6
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 85389 0 0 0 451170 90 0 0 18 0 3 0 346455039 103337984 23729 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 25229 23729 218 20 0 24587 0
[pid=4516/tid=4518] ppid=4514 vsize=100916 CPUtime=2251.96
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 43902 0 0 0 225147 49 0 0 25 0 3 0 346455040 103337984 23729 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=100916 CPUtime=2260.62
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 41119 0 0 0 226021 41 0 0 25 0 3 0 346455040 103337984 23729 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526426 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.6
Current children cumulated vsize (KiB) 100916

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 4717
/proc/meminfo: memFree=1461736/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=101308 CPUtime=4632.3
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 87122 0 0 0 463138 92 0 0 18 0 3 0 346455039 103739392 23813 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 25327 23813 218 20 0 24685 0
[pid=4516/tid=4518] ppid=4514 vsize=101308 CPUtime=2311.7
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 44705 0 0 0 231120 50 0 0 25 0 3 0 346455040 103739392 23813 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=101308 CPUtime=2320.57
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 42049 0 0 0 232016 41 0 0 25 0 3 0 346455040 103739392 23813 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.3
Current children cumulated vsize (KiB) 101308

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 4717
/proc/meminfo: memFree=1459752/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=103356 CPUtime=4752
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 89059 0 0 0 475105 95 0 0 18 0 3 0 346455039 105836544 24318 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 25839 24318 218 20 0 25197 0
[pid=4516/tid=4518] ppid=4514 vsize=103356 CPUtime=2371.43
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 45847 0 0 0 237092 51 0 0 25 0 3 0 346455040 105836544 24318 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=103356 CPUtime=2380.54
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 42844 0 0 0 238011 43 0 0 25 0 3 0 346455040 105836544 24318 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752
Current children cumulated vsize (KiB) 103356

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 4717
/proc/meminfo: memFree=1459368/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=103796 CPUtime=4871.66
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 90586 0 0 0 487070 96 0 0 18 0 3 0 346455039 106287104 24402 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 25949 24402 218 20 0 25307 0
[pid=4516/tid=4518] ppid=4514 vsize=103796 CPUtime=2431.15
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 46681 0 0 0 243063 52 0 0 25 0 3 0 346455040 106287104 24402 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526465 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=103796 CPUtime=2440.49
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 43537 0 0 0 244005 44 0 0 25 0 3 0 346455040 106287104 24402 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7360863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.66
Current children cumulated vsize (KiB) 103796

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 4717
/proc/meminfo: memFree=1459240/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=103796 CPUtime=4991.36
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 92062 0 0 0 499039 97 0 0 18 0 3 0 346455039 106287104 24428 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 25949 24428 218 20 0 25307 0
[pid=4516/tid=4518] ppid=4514 vsize=103796 CPUtime=2490.87
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 47464 0 0 0 249035 52 0 0 25 0 3 0 346455040 106287104 24428 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=103796 CPUtime=2500.46
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 44230 0 0 0 250002 44 0 0 25 0 3 0 346455040 106287104 24428 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.36
Current children cumulated vsize (KiB) 103796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 4717
/proc/meminfo: memFree=1459240/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=103796 CPUtime=5000.13
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 92174 0 0 0 499916 97 0 0 18 0 3 0 346455039 106287104 24428 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 25949 24428 218 20 0 25307 0
[pid=4516/tid=4518] ppid=4514 vsize=103796 CPUtime=2495.24
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 47464 0 0 0 249472 52 0 0 25 0 3 0 346455040 106287104 24428 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=103796 CPUtime=2504.86
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 44342 0 0 0 250442 44 0 0 25 0 3 0 346455040 106287104 24428 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.13
Current children cumulated vsize (KiB) 103796

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.00 2.00 2.00 3/80 4717
/proc/meminfo: memFree=1459240/2055920 swapFree=4145896/4192956
[pid=4516] ppid=4514 vsize=103796 CPUtime=5000.13
/proc/4516/stat : 4516 (MiraXTv3_dyn) S 4514 4516 4128 0 -1 4194304 92174 0 0 0 499916 97 0 0 18 0 3 0 346455039 106287104 24428 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4516/statm: 25949 24428 218 20 0 25307 0
[pid=4516/tid=4518] ppid=4514 vsize=103796 CPUtime=2495.24
/proc/4516/task/4518/stat : 4518 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 47464 0 0 0 249472 52 0 0 25 0 3 0 346455040 106287104 24428 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4516/tid=4519] ppid=4514 vsize=103796 CPUtime=2504.86
/proc/4516/task/4519/stat : 4519 (MiraXTv3_dyn) R 4514 4516 4128 0 -1 4194368 44342 0 0 0 250442 44 0 0 25 0 3 0 346455040 106287104 24428 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.13
Current children cumulated vsize (KiB) 103796

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.73
CPU time (s): 5000.17
CPU user time (s): 4999.18
CPU system time (s): 0.992849
CPU usage (%): 199.47
Max. virtual memory (cumulated for all children) (KiB): 103800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.18
system time used= 0.992849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92174
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= 942
involuntary context switches= 93822

runsolver used 2.55961 second user time and 6.602 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat May 12 15:56:13 UTC 2007

IDJOB= 426078
IDBENCH= 19877
IDSOLVER= 196
FILE ID= node14/426078-1178985373

PBS_JOBID= 5252795

Free space on /tmp= 66552 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v130/unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426078-1178985373/MiraXTv3_dyn /tmp/evaluation/426078-1178985373/instance-426078-1178985373.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-426078-1178985373 -o ROOT/results/node14/solver-426078-1178985373 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426078-1178985373/MiraXTv3_dyn /tmp/evaluation/426078-1178985373/instance-426078-1178985373.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  1a9df9fd15f24a2337522cdfe389f8f2

RANDOM SEED= 257235243

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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:       1557272 kB
Buffers:         45576 kB
Cached:         383440 kB
SwapCached:      15092 kB
Active:         139560 kB
Inactive:       313684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1557272 kB
SwapTotal:     4192956 kB
SwapFree:      4145896 kB
Dirty:            3956 kB
Writeback:           0 kB
Mapped:          30260 kB
Slab:            30952 kB
Committed_AS:  9600324 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= 66552 MiB

End job on node14 on Sat May 12 16:38:02 UTC 2007