Trace number 426390

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.19 2506.44

General information on the benchmark

Namerandom/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf
MD5SUM4819d89b7aa2a4346ffa426a3f09fe5c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.72443
Satisfiable
(Un)Satisfiability was proved
Number of variables6494
Number of clauses17354
Sum of the clauses size46856
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25206
Number of clauses of size 312148
Number of clauses of size 40
Number of clauses of size 50
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/node65/watcher-426390-1179013224 -o ROOT/results/node65/solver-426390-1179013224 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426390-1179013224/MiraXTv3_dyn /tmp/evaluation/426390-1179013224/instance-426390-1179013224.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.94 1.87 3/64 21389
/proc/meminfo: memFree=1356672/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=3788 CPUtime=0
/proc/21389/stat : 21389 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194304 336 0 0 0 0 0 0 0 18 0 1 0 377312080 3878912 311 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 6121083 0 0 4096 0 0 0 0 17 1 0 0
/proc/21389/statm: 947 313 205 20 0 305 0

[startup+0.016306 s]
/proc/loadavg: 1.83 1.94 1.87 3/64 21389
/proc/meminfo: memFree=1356672/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=5024 CPUtime=0.01
/proc/21389/stat : 21389 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194304 645 0 0 0 1 0 0 0 18 0 1 0 377312080 5144576 620 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 6121083 0 0 4096 0 0 0 0 17 1 0 0
/proc/21389/statm: 1256 620 206 20 0 614 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5024

[startup+0.102321 s]
/proc/loadavg: 1.83 1.94 1.87 3/64 21389
/proc/meminfo: memFree=1356672/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=13132 CPUtime=0.1
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 1885 0 0 0 9 1 0 0 18 0 3 0 377312080 13447168 1822 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 3283 1822 217 20 0 2641 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13132

[startup+0.302335 s]
/proc/loadavg: 1.83 1.94 1.87 3/64 21389
/proc/meminfo: memFree=1356672/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=14132 CPUtime=0.48
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 2021 0 0 0 47 1 0 0 18 0 3 0 377312080 14471168 1919 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 3533 1919 218 20 0 2891 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 14132

[startup+0.702372 s]
/proc/loadavg: 1.83 1.94 1.87 3/64 21389
/proc/meminfo: memFree=1356672/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=15684 CPUtime=1.28
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 2402 0 0 0 127 1 0 0 18 0 3 0 377312080 16060416 2300 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 3921 2300 218 20 0 3279 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 15684

[startup+1.50144 s]
/proc/loadavg: 1.83 1.94 1.87 3/67 21392
/proc/meminfo: memFree=1347176/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=18884 CPUtime=2.87
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 3143 0 0 0 285 2 0 0 18 0 3 0 377312080 19337216 3041 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 4721 3041 218 20 0 4079 0
[pid=21389/tid=21391] ppid=21387 vsize=18884 CPUtime=1.4
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 1080 0 0 0 140 0 0 0 25 0 3 0 377312089 19337216 3041 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134566020 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21389/tid=21392] ppid=21387 vsize=18884 CPUtime=1.38
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 1075 0 0 0 137 1 0 0 25 0 3 0 377312089 19337216 3041 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525926 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 18884

[startup+3.10157 s]
/proc/loadavg: 1.83 1.94 1.87 3/67 21392
/proc/meminfo: memFree=1343016/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=24688 CPUtime=6.06
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 4609 0 0 0 603 3 0 0 18 0 3 0 377312080 25280512 4507 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 6172 4507 218 20 0 5530 0
[pid=21389/tid=21391] ppid=21387 vsize=24688 CPUtime=3
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 1757 0 0 0 299 1 0 0 25 0 3 0 377312089 25280512 4507 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21389/tid=21392] ppid=21387 vsize=24688 CPUtime=2.97
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 1864 0 0 0 296 1 0 0 25 0 3 0 377312089 25280512 4507 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 24688

[startup+6.30184 s]
/proc/loadavg: 1.85 1.94 1.87 3/67 21392
/proc/meminfo: memFree=1332456/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=31048 CPUtime=12.45
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 6294 0 0 0 1240 5 0 0 18 0 3 0 377312080 31793152 6192 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 7762 6192 218 20 0 7120 0
[pid=21389/tid=21391] ppid=21387 vsize=31048 CPUtime=6.2
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 2612 0 0 0 618 2 0 0 25 0 3 0 377312089 31793152 6192 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526056 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21389/tid=21392] ppid=21387 vsize=31048 CPUtime=6.16
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 2694 0 0 0 613 3 0 0 25 0 3 0 377312089 31793152 6192 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526063 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 31048

[startup+12.7014 s]
/proc/loadavg: 1.86 1.94 1.87 3/67 21392
/proc/meminfo: memFree=1323880/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=40612 CPUtime=25.22
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 8986 0 0 0 2514 8 0 0 18 0 3 0 377312080 41586688 8810 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 10153 8810 218 20 0 9511 0
[pid=21389/tid=21391] ppid=21387 vsize=40612 CPUtime=12.6
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 3783 0 0 0 1257 3 0 0 25 0 3 0 377312089 41586688 8810 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526049 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21389/tid=21392] ppid=21387 vsize=40612 CPUtime=12.52
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 4215 0 0 0 1248 4 0 0 25 0 3 0 377312089 41586688 8810 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526065 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 40612

[startup+25.5024 s]
/proc/loadavg: 1.89 1.94 1.87 3/67 21392
/proc/meminfo: memFree=1297000/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=65476 CPUtime=50.76
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 15575 0 0 0 5059 17 0 0 18 0 3 0 377312080 67047424 15224 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 16369 15224 218 20 0 15727 0
[pid=21389/tid=21391] ppid=21387 vsize=65476 CPUtime=25.4
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 7029 0 0 0 2533 7 0 0 25 0 3 0 377312089 67047424 15224 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21389/tid=21392] ppid=21387 vsize=65476 CPUtime=25.27
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 7558 0 0 0 2518 9 0 0 25 0 3 0 377312089 67047424 15224 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526457 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 65476

[startup+51.1026 s]
/proc/loadavg: 1.93 1.94 1.88 3/67 21392
/proc/meminfo: memFree=1284136/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=78972 CPUtime=101.83
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 18878 0 0 0 10162 21 0 0 18 0 3 0 377312080 80867328 18183 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 19743 18183 218 20 0 19101 0
[pid=21389/tid=21391] ppid=21387 vsize=78972 CPUtime=50.98
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 8577 0 0 0 5089 9 0 0 25 0 3 0 377312089 80867328 18183 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565842 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21389/tid=21392] ppid=21387 vsize=78972 CPUtime=50.75
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 9313 0 0 0 5064 11 0 0 25 0 3 0 377312089 80867328 18183 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 78972

[startup+102.307 s]
/proc/loadavg: 1.97 1.95 1.88 3/67 21392
/proc/meminfo: memFree=1258152/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=104772 CPUtime=203.97
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 26091 0 0 0 20365 32 0 0 18 0 3 0 377312080 107286528 24644 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 26193 24644 218 20 0 25551 0
[pid=21389/tid=21391] ppid=21387 vsize=104772 CPUtime=102.15
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 12045 0 0 0 10202 13 0 0 25 0 3 0 377312089 107286528 24644 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21389/tid=21392] ppid=21387 vsize=104772 CPUtime=101.71
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 13058 0 0 0 10154 17 0 0 25 0 3 0 377312089 107286528 24644 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.97
Current children cumulated vsize (KiB) 104772

[startup+162.303 s]
/proc/loadavg: 1.99 1.95 1.89 3/67 21392
/proc/meminfo: memFree=1250472/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=112016 CPUtime=323.66
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 28757 0 0 0 32331 35 0 0 18 0 3 0 377312080 114704384 26564 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 28004 26564 218 20 0 27362 0
[pid=21389/tid=21391] ppid=21387 vsize=112016 CPUtime=162.12
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 13433 0 0 0 16198 14 0 0 25 0 3 0 377312089 114704384 26564 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21389/tid=21392] ppid=21387 vsize=112016 CPUtime=161.45
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 14336 0 0 0 16125 20 0 0 25 0 3 0 377312089 114704384 26564 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.66
Current children cumulated vsize (KiB) 112016

[startup+222.303 s]
/proc/loadavg: 1.99 1.96 1.89 3/67 21394
/proc/meminfo: memFree=1220648/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=141752 CPUtime=443.37
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 36890 0 0 0 44288 49 0 0 18 0 3 0 377312080 145154048 34001 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 35438 34001 218 20 0 34796 0
[pid=21389/tid=21391] ppid=21387 vsize=141752 CPUtime=222.09
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 17196 0 0 0 22191 18 0 0 25 0 3 0 377312089 145154048 34001 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21389/tid=21392] ppid=21387 vsize=141752 CPUtime=221.18
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 18706 0 0 0 22088 30 0 0 25 0 3 0 377312089 145154048 34001 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526502 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.37
Current children cumulated vsize (KiB) 141752

[startup+282.303 s]
/proc/loadavg: 1.99 1.97 1.90 3/67 21394
/proc/meminfo: memFree=1216552/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=145848 CPUtime=563.08
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 38724 0 0 0 56257 51 0 0 18 0 3 0 377312080 149348352 35037 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 36462 35037 218 20 0 35820 0
[pid=21389/tid=21391] ppid=21387 vsize=145848 CPUtime=282.07
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 17641 0 0 0 28189 18 0 0 25 0 3 0 377312089 149348352 35037 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526508 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21389/tid=21392] ppid=21387 vsize=145848 CPUtime=280.92
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 20095 0 0 0 28060 32 0 0 25 0 3 0 377312089 149348352 35037 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.08
Current children cumulated vsize (KiB) 145848

[startup+342.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 21394
/proc/meminfo: memFree=1216424/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=145848 CPUtime=682.78
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 39492 0 0 0 68226 52 0 0 18 0 3 0 377312080 149348352 35068 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 36462 35068 218 20 0 35820 0
[pid=21389/tid=21391] ppid=21387 vsize=145848 CPUtime=342.03
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 17982 0 0 0 34184 19 0 0 25 0 3 0 377312089 149348352 35068 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21389/tid=21392] ppid=21387 vsize=145848 CPUtime=340.65
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 20522 0 0 0 34033 32 0 0 25 0 3 0 377312089 149348352 35068 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.78
Current children cumulated vsize (KiB) 145848

[startup+402.303 s]

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

/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 29985 0 0 0 183856 30 0 0 25 0 3 0 377312089 162033664 38352 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=158236 CPUtime=1836.16
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 30281 0 0 0 183563 53 0 0 25 0 3 0 377312089 162033664 38352 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3675.12
Current children cumulated vsize (KiB) 158236

[startup+1902.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 21592
/proc/meminfo: memFree=1203048/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=158236 CPUtime=3794.83
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 61923 0 0 0 379398 85 0 0 18 0 3 0 377312080 162033664 38362 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 39559 38362 218 20 0 38917 0
[pid=21389/tid=21391] ppid=21387 vsize=158236 CPUtime=1898.58
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 30320 0 0 0 189828 30 0 0 25 0 3 0 377312089 162033664 38362 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526364 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=158236 CPUtime=1896.15
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 30615 0 0 0 189561 54 0 0 25 0 3 0 377312089 162033664 38362 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.83
Current children cumulated vsize (KiB) 158236

[startup+1962.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 21592
/proc/meminfo: memFree=1202920/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=158236 CPUtime=3914.55
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 62609 0 0 0 391370 85 0 0 18 0 3 0 377312080 162033664 38387 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 39559 38387 218 20 0 38917 0
[pid=21389/tid=21391] ppid=21387 vsize=158236 CPUtime=1958.32
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 30652 0 0 0 195802 30 0 0 25 0 3 0 377312089 162033664 38387 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565628 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=158236 CPUtime=1956.13
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 30969 0 0 0 195559 54 0 0 25 0 3 0 377312089 162033664 38387 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.55
Current children cumulated vsize (KiB) 158236

[startup+2022.3 s]
/proc/loadavg: 2.11 2.00 1.92 3/67 21592
/proc/meminfo: memFree=1200808/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=160348 CPUtime=4034.24
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 63913 0 0 0 403338 86 0 0 18 0 3 0 377312080 164196352 38914 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 40087 38914 218 20 0 39445 0
[pid=21389/tid=21391] ppid=21387 vsize=160348 CPUtime=2018.04
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 31619 0 0 0 201773 31 0 0 25 0 3 0 377312089 164196352 38914 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 6118908 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=160348 CPUtime=2016.11
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 31306 0 0 0 201557 54 0 0 25 0 3 0 377312089 164196352 38914 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4034.24
Current children cumulated vsize (KiB) 160348

[startup+2082.31 s]
/proc/loadavg: 2.11 2.02 1.93 3/67 21592
/proc/meminfo: memFree=1200936/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=160348 CPUtime=4153.95
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 64698 0 0 0 415308 87 0 0 18 0 3 0 377312080 164196352 38920 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 40087 38920 218 20 0 39445 0
[pid=21389/tid=21391] ppid=21387 vsize=160348 CPUtime=2077.77
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 31954 0 0 0 207746 31 0 0 25 0 3 0 377312089 164196352 38920 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=160348 CPUtime=2076.08
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 31756 0 0 0 207554 54 0 0 25 0 3 0 377312089 164196352 38920 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.95
Current children cumulated vsize (KiB) 160348

[startup+2142.3 s]
/proc/loadavg: 2.07 2.03 1.93 3/67 21592
/proc/meminfo: memFree=1200936/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=160348 CPUtime=4273.66
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 65489 0 0 0 427279 87 0 0 18 0 3 0 377312080 164196352 38927 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 40087 38927 218 20 0 39445 0
[pid=21389/tid=21391] ppid=21387 vsize=160348 CPUtime=2137.51
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 32407 0 0 0 213719 32 0 0 25 0 3 0 377312089 164196352 38927 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=160348 CPUtime=2136.06
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 32094 0 0 0 213551 55 0 0 25 0 3 0 377312089 164196352 38927 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.66
Current children cumulated vsize (KiB) 160348

[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/67 21592
/proc/meminfo: memFree=1198312/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=163496 CPUtime=4393.36
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 66696 0 0 0 439248 88 0 0 18 0 3 0 377312080 167419904 39571 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 40874 39571 218 20 0 40232 0
[pid=21389/tid=21391] ppid=21387 vsize=163496 CPUtime=2197.24
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 33366 0 0 0 219691 33 0 0 25 0 3 0 377312089 167419904 39571 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=163496 CPUtime=2196.04
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 32342 0 0 0 219549 55 0 0 25 0 3 0 377312089 167419904 39571 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4393.36
Current children cumulated vsize (KiB) 163496

[startup+2262.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/67 21592
/proc/meminfo: memFree=1198120/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=163496 CPUtime=4513.1
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 67420 0 0 0 451221 89 0 0 18 0 3 0 377312080 167419904 39617 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 40874 39617 218 20 0 40232 0
[pid=21389/tid=21391] ppid=21387 vsize=163496 CPUtime=2256.97
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 33726 0 0 0 225664 33 0 0 25 0 3 0 377312089 167419904 39617 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=163496 CPUtime=2256.03
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 32706 0 0 0 225548 55 0 0 25 0 3 0 377312089 167419904 39617 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4513.1
Current children cumulated vsize (KiB) 163496

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/67 21592
/proc/meminfo: memFree=1188584/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=172508 CPUtime=4632.8
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 70352 0 0 0 463187 93 0 0 18 0 3 0 377312080 176648192 41979 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 43127 41979 218 20 0 42485 0
[pid=21389/tid=21391] ppid=21387 vsize=172508 CPUtime=2316.7
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 35564 0 0 0 231635 35 0 0 25 0 3 0 377312089 176648192 41979 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=172508 CPUtime=2316
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 33800 0 0 0 231543 57 0 0 25 0 3 0 377312089 176648192 41979 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.8
Current children cumulated vsize (KiB) 172508

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 21592
/proc/meminfo: memFree=1188520/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=172508 CPUtime=4752.52
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 70926 0 0 0 475159 93 0 0 18 0 3 0 377312080 176648192 41983 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 43127 41983 218 20 0 42485 0
[pid=21389/tid=21391] ppid=21387 vsize=172508 CPUtime=2376.44
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 35793 0 0 0 237609 35 0 0 25 0 3 0 377312089 176648192 41983 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=172508 CPUtime=2375.98
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 34145 0 0 0 237541 57 0 0 25 0 3 0 377312089 176648192 41983 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752.52
Current children cumulated vsize (KiB) 172508

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 21592
/proc/meminfo: memFree=1186152/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=175580 CPUtime=4872.24
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 72328 0 0 0 487129 95 0 0 18 0 3 0 377312080 179793920 42581 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 43895 42581 218 20 0 43253 0
[pid=21389/tid=21391] ppid=21387 vsize=175580 CPUtime=2436.18
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 36262 0 0 0 243582 36 0 0 25 0 3 0 377312089 179793920 42581 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=175580 CPUtime=2435.96
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 35078 0 0 0 243538 58 0 0 25 0 3 0 377312089 179793920 42581 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4872.24
Current children cumulated vsize (KiB) 175580

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 21592
/proc/meminfo: memFree=1185384/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=176244 CPUtime=4991.95
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 73194 0 0 0 499100 95 0 0 18 0 3 0 377312080 180473856 42757 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 44061 42757 218 20 0 43419 0
[pid=21389/tid=21391] ppid=21387 vsize=176244 CPUtime=2495.92
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 36781 0 0 0 249556 36 0 0 25 0 3 0 377312089 180473856 42757 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=176244 CPUtime=2495.93
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 35425 0 0 0 249535 58 0 0 25 0 3 0 377312089 180473856 42757 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.95
Current children cumulated vsize (KiB) 176244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.4 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 21592
/proc/meminfo: memFree=1185384/2055920 swapFree=4184160/4192956
[pid=21389] ppid=21387 vsize=176244 CPUtime=5000.13
/proc/21389/stat : 21389 (MiraXTv3_dyn) S 21387 21389 21062 0 -1 4194304 73194 0 0 0 499918 95 0 0 18 0 3 0 377312080 180473856 42757 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21389/statm: 44061 42757 218 20 0 43419 0
[pid=21389/tid=21391] ppid=21387 vsize=176244 CPUtime=2500
/proc/21389/task/21391/stat : 21391 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 36781 0 0 0 249964 36 0 0 25 0 3 0 377312089 180473856 42757 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21389/tid=21392] ppid=21387 vsize=176244 CPUtime=2500.03
/proc/21389/task/21392/stat : 21392 (MiraXTv3_dyn) R 21387 21389 21062 0 -1 4194368 35425 0 0 0 249945 58 0 0 25 0 3 0 377312089 180473856 42757 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.13
Current children cumulated vsize (KiB) 176244

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.44
CPU time (s): 5000.19
CPU user time (s): 4999.2
CPU system time (s): 0.98385
CPU usage (%): 199.493
Max. virtual memory (cumulated for all children) (KiB): 176244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.2
system time used= 0.98385
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73194
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= 457
involuntary context switches= 37722

runsolver used 2.51462 second user time and 6.61199 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Sat May 12 23:40:25 UTC 2007

IDJOB= 426390
IDBENCH= 20216
IDSOLVER= 196
FILE ID= node65/426390-1179013224

PBS_JOBID= 5252987

Free space on /tmp= 66550 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v6500/unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf
COMMAND LINE= /tmp/evaluation/426390-1179013224/MiraXTv3_dyn /tmp/evaluation/426390-1179013224/instance-426390-1179013224.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-426390-1179013224 -o ROOT/results/node65/solver-426390-1179013224 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426390-1179013224/MiraXTv3_dyn /tmp/evaluation/426390-1179013224/instance-426390-1179013224.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  4819d89b7aa2a4346ffa426a3f09fe5c

RANDOM SEED= 598496847

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.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.245
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.245
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:       1357016 kB
Buffers:         51272 kB
Cached:         533688 kB
SwapCached:       2900 kB
Active:         274992 kB
Inactive:       319900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1357016 kB
SwapTotal:     4192956 kB
SwapFree:      4184160 kB
Dirty:            4180 kB
Writeback:           0 kB
Mapped:          15852 kB
Slab:            90060 kB
Committed_AS:  7404764 kB
PageTables:       1456 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= 66550 MiB

End job on node65 on Sun May 13 00:22:13 UTC 2007