Trace number 426085

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MiraXT v3? (TO) 5000.06 2506.93

General information on the benchmark

Namerandom/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf
MD5SUM21194e11c867c5b760c443ce8b25c61b
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/node20/watcher-426085-1178985477 -o ROOT/results/node20/solver-426085-1178985477 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426085-1178985477/MiraXTv3_dyn /tmp/evaluation/426085-1178985477/instance-426085-1178985477.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.83 1.97 1.95 3/77 21484
/proc/meminfo: memFree=1661032/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=3788 CPUtime=0
/proc/21484/stat : 21484 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 346465024 3878912 266 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134584822 0 0 4096 0 0 0 0 17 0 0 0
/proc/21484/statm: 947 266 206 20 0 305 0

[startup+0.099137 s]
/proc/loadavg: 1.83 1.97 1.95 3/77 21484
/proc/meminfo: memFree=1661032/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=7008 CPUtime=0.17
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 732 0 0 0 17 0 0 0 18 0 3 0 346465024 7176192 707 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 1752 707 218 20 0 1110 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7008

[startup+0.101135 s]
/proc/loadavg: 1.83 1.97 1.95 3/77 21484
/proc/meminfo: memFree=1661032/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=7008 CPUtime=0.17
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 757 0 0 0 17 0 0 0 18 0 3 0 346465024 7176192 732 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 1752 732 218 20 0 1110 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7008

[startup+0.301178 s]
/proc/loadavg: 1.83 1.97 1.95 3/77 21484
/proc/meminfo: memFree=1661032/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=9116 CPUtime=0.57
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 1247 0 0 0 57 0 0 0 18 0 3 0 346465024 9334784 1222 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 2279 1222 218 20 0 1637 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9116

[startup+0.701261 s]
/proc/loadavg: 1.83 1.97 1.95 3/77 21484
/proc/meminfo: memFree=1661032/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=11700 CPUtime=1.37
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 2066 0 0 0 137 0 0 0 18 0 3 0 346465024 11980800 2041 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 2925 2041 218 20 0 2283 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 11700

[startup+1.50242 s]
/proc/loadavg: 1.83 1.97 1.95 3/80 21487
/proc/meminfo: memFree=1651600/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=16612 CPUtime=2.97
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 2859 0 0 0 296 1 0 0 18 0 3 0 346465024 17010688 2834 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 4153 2834 218 20 0 3511 0
[pid=21484/tid=21486] ppid=21482 vsize=16612 CPUtime=1.47
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 1256 0 0 0 147 0 0 0 19 0 3 0 346465026 17010688 2834 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21484/tid=21487] ppid=21482 vsize=16612 CPUtime=1.46
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 1236 0 0 0 146 0 0 0 19 0 3 0 346465026 17010688 2834 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 16612

[startup+3.10175 s]
/proc/loadavg: 1.83 1.97 1.95 3/80 21487
/proc/meminfo: memFree=1649424/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=20844 CPUtime=6.16
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 3957 0 0 0 614 2 0 0 18 0 3 0 346465024 21344256 3896 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 5211 3896 218 20 0 4569 0
[pid=21484/tid=21486] ppid=21482 vsize=20844 CPUtime=3.07
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 1766 0 0 0 307 0 0 0 25 0 3 0 346465026 21344256 3896 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21484/tid=21487] ppid=21482 vsize=20844 CPUtime=3.06
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 1824 0 0 0 305 1 0 0 20 0 3 0 346465026 21344256 3896 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520993 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 20844

[startup+6.30239 s]
/proc/loadavg: 1.85 1.97 1.95 3/80 21487
/proc/meminfo: memFree=1639120/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=29024 CPUtime=12.55
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 6398 0 0 0 1250 5 0 0 18 0 3 0 346465024 29720576 6223 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 7256 6223 218 20 0 6614 0
[pid=21484/tid=21486] ppid=21482 vsize=29024 CPUtime=6.27
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 3037 0 0 0 626 1 0 0 17 0 3 0 346465026 29720576 6223 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21484/tid=21487] ppid=21482 vsize=29024 CPUtime=6.25
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 2994 0 0 0 622 3 0 0 25 0 3 0 346465026 29720576 6223 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 29024

[startup+12.7017 s]
/proc/loadavg: 1.86 1.97 1.95 3/80 21487
/proc/meminfo: memFree=1627600/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=38668 CPUtime=25.3
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 8912 0 0 0 2523 7 0 0 18 0 3 0 346465024 39596032 8430 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 9667 8430 218 20 0 9025 0
[pid=21484/tid=21486] ppid=21482 vsize=38668 CPUtime=12.65
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 4313 0 0 0 1263 2 0 0 25 0 3 0 346465026 39596032 8430 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21484/tid=21487] ppid=21482 vsize=38668 CPUtime=12.62
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 4232 0 0 0 1258 4 0 0 25 0 3 0 346465026 39596032 8430 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 38668

[startup+25.5013 s]
/proc/loadavg: 1.89 1.97 1.95 3/80 21487
/proc/meminfo: memFree=1614672/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=51416 CPUtime=50.82
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 12698 0 0 0 5071 11 0 0 18 0 3 0 346465024 52649984 11720 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 12854 11720 218 20 0 12212 0
[pid=21484/tid=21486] ppid=21482 vsize=51416 CPUtime=25.42
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 6131 0 0 0 2539 3 0 0 25 0 3 0 346465026 52649984 11720 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21484/tid=21487] ppid=21482 vsize=51416 CPUtime=25.37
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 6200 0 0 0 2530 7 0 0 18 0 3 0 346465026 52649984 11720 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 51416

[startup+51.1024 s]
/proc/loadavg: 1.93 1.97 1.95 3/80 21487
/proc/meminfo: memFree=1610128/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=56016 CPUtime=101.9
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 14769 0 0 0 10177 13 0 0 18 0 3 0 346465024 57360384 12762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 14004 12762 218 20 0 13362 0
[pid=21484/tid=21486] ppid=21482 vsize=56016 CPUtime=51
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 7229 0 0 0 5096 4 0 0 25 0 3 0 346465026 57360384 12762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21484/tid=21487] ppid=21482 vsize=56016 CPUtime=50.86
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 7173 0 0 0 5078 8 0 0 25 0 3 0 346465026 57360384 12762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 56016

[startup+102.307 s]
/proc/loadavg: 2.02 1.99 1.96 3/80 21487
/proc/meminfo: memFree=1606224/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=60468 CPUtime=204.01
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 17566 0 0 0 20385 16 0 0 18 0 3 0 346465024 61919232 13746 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 15117 13746 218 20 0 14475 0
[pid=21484/tid=21486] ppid=21482 vsize=60468 CPUtime=102.16
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 8786 0 0 0 10211 5 0 0 25 0 3 0 346465026 61919232 13746 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21484/tid=21487] ppid=21482 vsize=60468 CPUtime=101.82
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 8413 0 0 0 10172 10 0 0 25 0 3 0 346465026 61919232 13746 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 60468

[startup+162.302 s]
/proc/loadavg: 2.00 1.99 1.96 3/80 21487
/proc/meminfo: memFree=1603856/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=62696 CPUtime=323.64
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 20239 0 0 0 32345 19 0 0 18 0 3 0 346465024 64200704 14303 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 15674 14303 218 20 0 15032 0
[pid=21484/tid=21486] ppid=21482 vsize=62696 CPUtime=162.06
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 10183 0 0 0 16199 7 0 0 25 0 3 0 346465026 64200704 14303 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=62696 CPUtime=161.56
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 9689 0 0 0 16144 12 0 0 25 0 3 0 346465026 64200704 14303 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.64
Current children cumulated vsize (KiB) 62696

[startup+222.302 s]
/proc/loadavg: 2.00 1.99 1.96 3/86 21653
/proc/meminfo: memFree=1601048/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=64208 CPUtime=443.05
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 22590 0 0 0 44273 32 0 0 18 0 3 0 346465024 65748992 14694 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 16052 14694 218 20 0 15410 0
[pid=21484/tid=21486] ppid=21482 vsize=64208 CPUtime=221.59
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 11266 0 0 0 22152 7 0 0 25 0 3 0 346465026 65748992 14694 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=64208 CPUtime=221.43
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 10957 0 0 0 22119 24 0 0 25 0 3 0 346465026 65748992 14694 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.05
Current children cumulated vsize (KiB) 64208

[startup+282.302 s]
/proc/loadavg: 2.00 1.99 1.96 3/80 21685
/proc/meminfo: memFree=1600272/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=66188 CPUtime=562.66
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 25073 0 0 0 56229 37 0 0 18 0 3 0 346465024 67776512 15163 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 16547 15163 218 20 0 15905 0
[pid=21484/tid=21486] ppid=21482 vsize=66188 CPUtime=281.28
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 12499 0 0 0 28119 9 0 0 25 0 3 0 346465026 67776512 15163 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=66188 CPUtime=281.35
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 12207 0 0 0 28107 28 0 0 25 0 3 0 346465026 67776512 15163 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.66
Current children cumulated vsize (KiB) 66188

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.96 3/80 21685
/proc/meminfo: memFree=1598864/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=68172 CPUtime=682.33
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 27052 0 0 0 68194 39 0 0 18 0 3 0 346465024 69808128 15497 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 17043 15497 218 20 0 16401 0
[pid=21484/tid=21486] ppid=21482 vsize=68172 CPUtime=341.02
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 13537 0 0 0 34093 9 0 0 25 0 3 0 346465026 69808128 15497 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=68172 CPUtime=341.27
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 13148 0 0 0 34099 28 0 0 25 0 3 0 346465026 69808128 15497 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.33
Current children cumulated vsize (KiB) 68172

[startup+402.302 s]

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

/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 37378 0 0 0 189636 36 0 0 25 0 3 0 346465026 94334976 21453 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=92124 CPUtime=1897.27
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 36166 0 0 0 189681 46 0 0 25 0 3 0 346465026 94334976 21453 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.02
Current children cumulated vsize (KiB) 92124

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/80 21685
/proc/meminfo: memFree=1575120/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=92124 CPUtime=3913.72
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 75531 0 0 0 391288 84 0 0 18 0 3 0 346465024 94334976 21483 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 23031 21483 218 20 0 22389 0
[pid=21484/tid=21486] ppid=21482 vsize=92124 CPUtime=1956.69
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 38231 0 0 0 195632 37 0 0 25 0 3 0 346465026 94334976 21483 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=92124 CPUtime=1957
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 36933 0 0 0 195654 46 0 0 25 0 3 0 346465026 94334976 21483 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3913.72
Current children cumulated vsize (KiB) 92124

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/80 21685
/proc/meminfo: memFree=1574352/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=93148 CPUtime=4033.41
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 77316 0 0 0 403255 86 0 0 18 0 3 0 346465024 95383552 21667 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 23287 21667 218 20 0 22645 0
[pid=21484/tid=21486] ppid=21482 vsize=93148 CPUtime=2016.64
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 39157 0 0 0 201626 38 0 0 25 0 3 0 346465026 95383552 21667 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=93148 CPUtime=2016.74
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 37792 0 0 0 201627 47 0 0 25 0 3 0 346465026 95383552 21667 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4033.41
Current children cumulated vsize (KiB) 93148

[startup+2082.31 s]
/proc/loadavg: 2.00 1.99 1.96 3/80 21685
/proc/meminfo: memFree=1573776/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=93296 CPUtime=4153.09
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 79188 0 0 0 415221 88 0 0 18 0 3 0 346465024 95535104 21818 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 23324 21818 218 20 0 22682 0
[pid=21484/tid=21486] ppid=21482 vsize=93296 CPUtime=2076.61
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 40043 0 0 0 207622 39 0 0 25 0 3 0 346465026 95535104 21818 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=93296 CPUtime=2076.45
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 38778 0 0 0 207597 48 0 0 25 0 3 0 346465026 95535104 21818 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4153.09
Current children cumulated vsize (KiB) 93296

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/80 21685
/proc/meminfo: memFree=1573456/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=93296 CPUtime=4272.76
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 80670 0 0 0 427187 89 0 0 18 0 3 0 346465024 95535104 21894 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 23324 21894 218 20 0 22682 0
[pid=21484/tid=21486] ppid=21482 vsize=93296 CPUtime=2136.56
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 40717 0 0 0 213616 40 0 0 25 0 3 0 346465026 95535104 21894 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=93296 CPUtime=2136.17
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 39586 0 0 0 213569 48 0 0 25 0 3 0 346465026 95535104 21894 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4272.76
Current children cumulated vsize (KiB) 93296

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/80 21685
/proc/meminfo: memFree=1573136/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=94484 CPUtime=4392.43
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 82282 0 0 0 439153 90 0 0 18 0 3 0 346465024 96751616 21980 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 23621 21980 218 20 0 22979 0
[pid=21484/tid=21486] ppid=21482 vsize=94484 CPUtime=2196.52
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 41502 0 0 0 219611 41 0 0 25 0 3 0 346465026 96751616 21980 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=94484 CPUtime=2195.89
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 40413 0 0 0 219541 48 0 0 25 0 3 0 346465026 96751616 21980 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4392.43
Current children cumulated vsize (KiB) 94484

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/80 21685
/proc/meminfo: memFree=1572816/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=94656 CPUtime=4512.13
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 83880 0 0 0 451122 91 0 0 18 0 3 0 346465024 96927744 22046 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 23664 22046 218 20 0 23022 0
[pid=21484/tid=21486] ppid=21482 vsize=94656 CPUtime=2256.49
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 42310 0 0 0 225607 42 0 0 25 0 3 0 346465026 96927744 22046 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=94656 CPUtime=2255.62
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 41203 0 0 0 225513 49 0 0 25 0 3 0 346465026 96927744 22046 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4512.13
Current children cumulated vsize (KiB) 94656

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/80 21685
/proc/meminfo: memFree=1572560/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=94820 CPUtime=4631.79
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 85492 0 0 0 463086 93 0 0 18 0 3 0 346465024 97095680 22118 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 23705 22118 218 20 0 23063 0
[pid=21484/tid=21486] ppid=21482 vsize=94820 CPUtime=2316.44
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 43122 0 0 0 231601 43 0 0 25 0 3 0 346465026 97095680 22118 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=94820 CPUtime=2315.33
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 42003 0 0 0 231484 49 0 0 25 0 3 0 346465026 97095680 22118 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4631.79
Current children cumulated vsize (KiB) 94820

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/80 21685
/proc/meminfo: memFree=1571920/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=94984 CPUtime=4751.47
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 86961 0 0 0 475053 94 0 0 18 0 3 0 346465024 97263616 22259 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 23746 22259 218 20 0 23104 0
[pid=21484/tid=21486] ppid=21482 vsize=94984 CPUtime=2376.4
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 43848 0 0 0 237596 44 0 0 25 0 3 0 346465026 97263616 22259 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=94984 CPUtime=2375.05
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 42746 0 0 0 237455 50 0 0 25 0 3 0 346465026 97263616 22259 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4751.47
Current children cumulated vsize (KiB) 94984

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/80 21685
/proc/meminfo: memFree=1571600/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=95152 CPUtime=4871.16
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 88488 0 0 0 487020 96 0 0 18 0 3 0 346465024 97435648 22343 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 23788 22343 218 20 0 23146 0
[pid=21484/tid=21486] ppid=21482 vsize=95152 CPUtime=2436.36
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 44647 0 0 0 243591 45 0 0 25 0 3 0 346465026 97435648 22343 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=95152 CPUtime=2434.77
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 43474 0 0 0 243427 50 0 0 25 0 3 0 346465026 97435648 22343 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4871.16
Current children cumulated vsize (KiB) 95152

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/80 21685
/proc/meminfo: memFree=1571344/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=96176 CPUtime=4990.82
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 90123 0 0 0 498985 97 0 0 18 0 3 0 346465024 98484224 22414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 24044 22414 218 20 0 23402 0
[pid=21484/tid=21486] ppid=21482 vsize=96176 CPUtime=2496.31
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 45458 0 0 0 249585 46 0 0 25 0 3 0 346465026 98484224 22414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=96176 CPUtime=2494.48
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 44298 0 0 0 249398 50 0 0 25 0 3 0 346465026 98484224 22414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4990.82
Current children cumulated vsize (KiB) 96176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.91 s]
/proc/loadavg: 2.00 1.99 1.96 3/80 21685
/proc/meminfo: memFree=1571344/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=96176 CPUtime=5000.02
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 90123 0 0 0 499905 97 0 0 18 0 3 0 346465024 98484224 22414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 24044 22414 218 20 0 23402 0
[pid=21484/tid=21486] ppid=21482 vsize=96176 CPUtime=2500.92
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 45458 0 0 0 250046 46 0 0 25 0 3 0 346465026 98484224 22414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=96176 CPUtime=2499.06
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 44298 0 0 0 249856 50 0 0 25 0 3 0 346465026 98484224 22414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 96176

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

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

[startup+2506.91 s]
/proc/loadavg: 2.00 1.99 1.96 3/80 21685
/proc/meminfo: memFree=1571344/2055920 swapFree=4154884/4192956
[pid=21484] ppid=21482 vsize=96176 CPUtime=5000.02
/proc/21484/stat : 21484 (MiraXTv3_dyn) S 21482 21484 21096 0 -1 4194304 90123 0 0 0 499905 97 0 0 18 0 3 0 346465024 98484224 22414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21484/statm: 24044 22414 218 20 0 23402 0
[pid=21484/tid=21486] ppid=21482 vsize=96176 CPUtime=2500.92
/proc/21484/task/21486/stat : 21486 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 45458 0 0 0 250046 46 0 0 25 0 3 0 346465026 98484224 22414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21484/tid=21487] ppid=21482 vsize=96176 CPUtime=2499.06
/proc/21484/task/21487/stat : 21487 (MiraXTv3_dyn) R 21482 21484 21096 0 -1 4194368 44298 0 0 0 249856 50 0 0 25 0 3 0 346465026 98484224 22414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 96176

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.93
CPU time (s): 5000.06
CPU user time (s): 4999.06
CPU system time (s): 0.991849
CPU usage (%): 199.449
Max. virtual memory (cumulated for all children) (KiB): 96176

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

runsolver used 2.41963 second user time and 6.76997 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat May 12 15:57:57 UTC 2007

IDJOB= 426085
IDBENCH= 19884
IDSOLVER= 196
FILE ID= node20/426085-1178985477

PBS_JOBID= 5252803

Free space on /tmp= 66533 MiB

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

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  21194e11c867c5b760c443ce8b25c61b

RANDOM SEED= 177070174

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1661312 kB
Buffers:         48780 kB
Cached:         257572 kB
SwapCached:      17192 kB
Active:          67452 kB
Inactive:       263004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1661312 kB
SwapTotal:     4192956 kB
SwapFree:      4154884 kB
Dirty:            3980 kB
Writeback:           0 kB
Mapped:          30176 kB
Slab:            49764 kB
Committed_AS:  6882860 kB
PageTables:       1744 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66533 MiB

End job on node20 on Sat May 12 16:39:46 UTC 2007