Trace number 426403

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MiraXT v3? (TO) 5000.15 2506.84

General information on the benchmark

Namerandom/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf
MD5SUM7031e461464b8d1c0f6a8a1c913e5155
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark616.17
Satisfiable
(Un)Satisfiability was proved
Number of variables4497
Number of clauses12014
Sum of the clauses size32438
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23604
Number of clauses of size 38410
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/node33/watcher-426403-1179013793 -o ROOT/results/node33/solver-426403-1179013793 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426403-1179013793/MiraXTv3_dyn /tmp/evaluation/426403-1179013793/instance-426403-1179013793.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.99 1.97 1.91 3/77 29125
/proc/meminfo: memFree=1323992/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=3788 CPUtime=0
/proc/29125/stat : 29125 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194304 317 0 0 0 0 0 0 0 18 0 1 0 349294764 3878912 293 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 11380347 0 0 4096 0 0 0 0 17 1 0 0
/proc/29125/statm: 947 296 205 20 0 305 0

[startup+0.025098 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 29125
/proc/meminfo: memFree=1323992/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=5040 CPUtime=0.01
/proc/29125/stat : 29125 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194304 626 0 0 0 1 0 0 0 18 0 1 0 349294764 5160960 601 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 1 0 0
/proc/29125/statm: 1260 601 207 20 0 618 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5040

[startup+0.10612 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 29125
/proc/meminfo: memFree=1323992/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=10848 CPUtime=0.12
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 1399 0 0 0 12 0 0 0 18 0 3 0 349294764 11108352 1374 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 2712 1374 218 20 0 2070 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10848

[startup+0.30116 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 29125
/proc/meminfo: memFree=1323992/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=11244 CPUtime=0.51
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 1512 0 0 0 51 0 0 0 18 0 3 0 349294764 11513856 1487 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 2811 1487 218 20 0 2169 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 11244

[startup+0.701243 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 29125
/proc/meminfo: memFree=1323992/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=12036 CPUtime=1.31
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 1857 0 0 0 131 0 0 0 18 0 3 0 349294764 12324864 1832 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 3009 1832 218 20 0 2367 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 12036

[startup+1.50141 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 29128
/proc/meminfo: memFree=1316416/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=15684 CPUtime=2.91
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 2551 0 0 0 290 1 0 0 18 0 3 0 349294764 16060416 2526 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 3921 2526 218 20 0 3279 0
[pid=29125/tid=29127] ppid=29123 vsize=15684 CPUtime=1.43
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 940 0 0 0 143 0 0 0 17 0 3 0 349294769 16060416 2526 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4160577638 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29125/tid=29128] ppid=29123 vsize=15684 CPUtime=1.41
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 845 0 0 0 141 0 0 0 21 0 3 0 349294769 16060416 2526 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 15684

[startup+3.10174 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 29128
/proc/meminfo: memFree=1312640/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=19888 CPUtime=6.1
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 3722 0 0 0 608 2 0 0 18 0 3 0 349294764 20365312 3697 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 4972 3697 218 20 0 4330 0
[pid=29125/tid=29127] ppid=29123 vsize=19888 CPUtime=3.03
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 1494 0 0 0 303 0 0 0 21 0 3 0 349294769 20365312 3697 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134522160 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29125/tid=29128] ppid=29123 vsize=19888 CPUtime=3.01
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 1462 0 0 0 300 1 0 0 22 0 3 0 349294769 20365312 3697 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526502 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 19888

[startup+6.3014 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 29128
/proc/meminfo: memFree=1306176/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=23272 CPUtime=12.49
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 4608 0 0 0 1246 3 0 0 18 0 3 0 349294764 23830528 4582 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 5818 4582 218 20 0 5176 0
[pid=29125/tid=29127] ppid=29123 vsize=23272 CPUtime=6.23
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 1947 0 0 0 622 1 0 0 22 0 3 0 349294769 23830528 4582 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29125/tid=29128] ppid=29123 vsize=23272 CPUtime=6.19
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 1895 0 0 0 618 1 0 0 25 0 3 0 349294769 23830528 4582 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526049 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 23272

[startup+12.7017 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 29128
/proc/meminfo: memFree=1297472/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=33116 CPUtime=25.26
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 7214 0 0 0 2520 6 0 0 18 0 3 0 349294764 33910784 7113 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 8279 7113 218 20 0 7637 0
[pid=29125/tid=29127] ppid=29123 vsize=33116 CPUtime=12.62
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 3277 0 0 0 1260 2 0 0 25 0 3 0 349294769 33910784 7113 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29125/tid=29128] ppid=29123 vsize=33116 CPUtime=12.57
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 3171 0 0 0 1254 3 0 0 25 0 3 0 349294769 33910784 7113 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526358 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 33116

[startup+25.5013 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 29128
/proc/meminfo: memFree=1277952/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=50896 CPUtime=50.79
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 12045 0 0 0 5067 12 0 0 18 0 3 0 349294764 52117504 11766 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 12724 11766 218 20 0 12082 0
[pid=29125/tid=29127] ppid=29123 vsize=50896 CPUtime=25.36
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 5927 0 0 0 2531 5 0 0 25 0 3 0 349294769 52117504 11766 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29125/tid=29128] ppid=29123 vsize=50896 CPUtime=25.36
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 5352 0 0 0 2531 5 0 0 25 0 3 0 349294769 52117504 11766 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 50896

[startup+51.1016 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 29128
/proc/meminfo: memFree=1266944/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=62816 CPUtime=101.85
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 14913 0 0 0 10169 16 0 0 18 0 3 0 349294764 64323584 14347 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 15704 14347 218 20 0 15062 0
[pid=29125/tid=29127] ppid=29123 vsize=62816 CPUtime=50.83
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 7362 0 0 0 5076 7 0 0 25 0 3 0 349294769 64323584 14347 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29125/tid=29128] ppid=29123 vsize=62816 CPUtime=50.94
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 6785 0 0 0 5087 7 0 0 25 0 3 0 349294769 64323584 14347 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 62816

[startup+102.305 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 29128
/proc/meminfo: memFree=1241664/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=87720 CPUtime=203.96
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 21812 0 0 0 20370 26 0 0 18 0 3 0 349294764 89825280 20640 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 21930 20640 218 20 0 21288 0
[pid=29125/tid=29127] ppid=29123 vsize=87720 CPUtime=101.79
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 10644 0 0 0 10166 13 0 0 25 0 3 0 349294769 89825280 20640 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29125/tid=29128] ppid=29123 vsize=87720 CPUtime=102.1
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 10402 0 0 0 10198 12 0 0 25 0 3 0 349294769 89825280 20640 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 87720

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 29128
/proc/meminfo: memFree=1229952/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=97964 CPUtime=323.63
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 25561 0 0 0 32332 31 0 0 18 0 3 0 349294764 100315136 23497 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 24491 23497 218 20 0 23849 0
[pid=29125/tid=29127] ppid=29123 vsize=97964 CPUtime=161.5
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 12645 0 0 0 16134 16 0 0 25 0 3 0 349294769 100315136 23497 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29125/tid=29128] ppid=29123 vsize=97964 CPUtime=162.07
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 12150 0 0 0 16193 14 0 0 25 0 3 0 349294769 100315136 23497 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.63
Current children cumulated vsize (KiB) 97964

[startup+222.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 29128
/proc/meminfo: memFree=1223616/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=104468 CPUtime=443.28
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 27771 0 0 0 44292 36 0 0 18 0 3 0 349294764 106975232 25085 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 26117 25085 218 20 0 25475 0
[pid=29125/tid=29127] ppid=29123 vsize=104468 CPUtime=221.2
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 13897 0 0 0 22102 18 0 0 18 0 3 0 349294769 106975232 25085 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29125/tid=29128] ppid=29123 vsize=104468 CPUtime=222
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 13108 0 0 0 22184 16 0 0 25 0 3 0 349294769 106975232 25085 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.28
Current children cumulated vsize (KiB) 104468

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 29128
/proc/meminfo: memFree=1220608/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=107700 CPUtime=562.95
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 29317 0 0 0 56257 38 0 0 18 0 3 0 349294764 110284800 25833 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 26925 25833 218 20 0 26283 0
[pid=29125/tid=29127] ppid=29123 vsize=107700 CPUtime=280.91
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 14691 0 0 0 28072 19 0 0 25 0 3 0 349294769 110284800 25833 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29125/tid=29128] ppid=29123 vsize=107700 CPUtime=281.98
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 13860 0 0 0 28180 18 0 0 20 0 3 0 349294769 110284800 25833 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520099 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.95
Current children cumulated vsize (KiB) 107700

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 29128
/proc/meminfo: memFree=1220096/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=108468 CPUtime=682.64
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 30252 0 0 0 68224 40 0 0 18 0 3 0 349294764 111071232 25949 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 27117 25949 218 20 0 26475 0
[pid=29125/tid=29127] ppid=29123 vsize=108468 CPUtime=340.62
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 15185 0 0 0 34042 20 0 0 25 0 3 0 349294769 111071232 25949 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29125/tid=29128] ppid=29123 vsize=108468 CPUtime=341.95
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 14301 0 0 0 34176 19 0 0 25 0 3 0 349294769 111071232 25949 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.64
Current children cumulated vsize (KiB) 108468

[startup+402.302 s]

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

/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 28008 0 0 0 183858 44 0 0 25 0 3 0 349294769 139390976 32948 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29125/tid=29128] ppid=29123 vsize=136124 CPUtime=1835.45
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 26342 0 0 0 183495 50 0 0 25 0 3 0 349294769 139390976 32948 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3674.55
Current children cumulated vsize (KiB) 136124

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 29326
/proc/meminfo: memFree=1191936/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=136124 CPUtime=3794.22
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 55945 0 0 0 379325 97 0 0 18 0 3 0 349294764 139390976 32952 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 34031 32952 218 20 0 33389 0
[pid=29125/tid=29127] ppid=29123 vsize=136124 CPUtime=1898.99
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 28423 0 0 0 189854 45 0 0 25 0 3 0 349294769 139390976 32952 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29125/tid=29128] ppid=29123 vsize=136124 CPUtime=1895.17
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 26756 0 0 0 189466 51 0 0 25 0 3 0 349294769 139390976 32952 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.22
Current children cumulated vsize (KiB) 136124

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 29326
/proc/meminfo: memFree=1192128/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=136124 CPUtime=3913.93
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 56681 0 0 0 391295 98 0 0 18 0 3 0 349294764 139390976 32960 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 34031 32960 218 20 0 33389 0
[pid=29125/tid=29127] ppid=29123 vsize=136124 CPUtime=1958.97
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 28738 0 0 0 195851 46 0 0 25 0 3 0 349294769 139390976 32960 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29125/tid=29128] ppid=29123 vsize=136124 CPUtime=1954.9
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 27177 0 0 0 195439 51 0 0 25 0 3 0 349294769 139390976 32960 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3913.93
Current children cumulated vsize (KiB) 136124

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 29326
/proc/meminfo: memFree=1190656/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=138172 CPUtime=4033.6
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 57844 0 0 0 403261 99 0 0 18 0 3 0 349294764 141488128 33395 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 34543 33395 218 20 0 33901 0
[pid=29125/tid=29127] ppid=29123 vsize=138172 CPUtime=2018.93
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 29285 0 0 0 201846 47 0 0 20 0 3 0 349294769 141488128 33395 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526391 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29125/tid=29128] ppid=29123 vsize=138172 CPUtime=2014.6
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 27793 0 0 0 201409 51 0 0 19 0 3 0 349294769 141488128 33395 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4033.6
Current children cumulated vsize (KiB) 138172

[startup+2082.31 s]
/proc/loadavg: 2.04 2.01 1.93 3/80 29326
/proc/meminfo: memFree=1190400/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=138172 CPUtime=4153.29
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 58480 0 0 0 415229 100 0 0 18 0 3 0 349294764 141488128 33402 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 34543 33402 218 20 0 33901 0
[pid=29125/tid=29127] ppid=29123 vsize=138172 CPUtime=2078.9
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 29603 0 0 0 207842 48 0 0 25 0 3 0 349294769 141488128 33402 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29125/tid=29128] ppid=29123 vsize=138172 CPUtime=2074.32
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 28111 0 0 0 207381 51 0 0 25 0 3 0 349294769 141488128 33402 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4153.29
Current children cumulated vsize (KiB) 138172

[startup+2142.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/80 29326
/proc/meminfo: memFree=1190400/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=138172 CPUtime=4272.98
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 59112 0 0 0 427197 101 0 0 18 0 3 0 349294764 141488128 33404 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 34543 33404 218 20 0 33901 0
[pid=29125/tid=29127] ppid=29123 vsize=138172 CPUtime=2138.87
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 29919 0 0 0 213839 48 0 0 25 0 3 0 349294769 141488128 33404 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29125/tid=29128] ppid=29123 vsize=138172 CPUtime=2134.04
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 28427 0 0 0 213352 52 0 0 25 0 3 0 349294769 141488128 33404 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4272.98
Current children cumulated vsize (KiB) 138172

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 29326
/proc/meminfo: memFree=1187648/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=141244 CPUtime=4392.65
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 60650 0 0 0 439161 104 0 0 18 0 3 0 349294764 144633856 34101 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 35311 34101 218 20 0 34669 0
[pid=29125/tid=29127] ppid=29123 vsize=141244 CPUtime=2198.83
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 30377 0 0 0 219834 49 0 0 25 0 3 0 349294769 144633856 34101 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29125/tid=29128] ppid=29123 vsize=141244 CPUtime=2193.75
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 29507 0 0 0 219321 54 0 0 25 0 3 0 349294769 144633856 34101 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4392.65
Current children cumulated vsize (KiB) 141244

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 29326
/proc/meminfo: memFree=1187584/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=141244 CPUtime=4512.35
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 61293 0 0 0 451130 105 0 0 18 0 3 0 349294764 144633856 34108 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 35311 34108 218 20 0 34669 0
[pid=29125/tid=29127] ppid=29123 vsize=141244 CPUtime=2258.81
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 30698 0 0 0 225831 50 0 0 25 0 3 0 349294769 144633856 34108 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29125/tid=29128] ppid=29123 vsize=141244 CPUtime=2253.48
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 29829 0 0 0 225294 54 0 0 25 0 3 0 349294769 144633856 34108 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4512.35
Current children cumulated vsize (KiB) 141244

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 29326
/proc/meminfo: memFree=1187520/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=141244 CPUtime=4632.03
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 62039 0 0 0 463098 105 0 0 18 0 3 0 349294764 144633856 34112 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 35311 34112 218 20 0 34669 0
[pid=29125/tid=29127] ppid=29123 vsize=141244 CPUtime=2318.77
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 31018 0 0 0 231827 50 0 0 25 0 3 0 349294769 144633856 34112 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29125/tid=29128] ppid=29123 vsize=141244 CPUtime=2313.19
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 30255 0 0 0 231265 54 0 0 25 0 3 0 349294769 144633856 34112 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565733 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4632.03
Current children cumulated vsize (KiB) 141244

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 29326
/proc/meminfo: memFree=1187520/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=141244 CPUtime=4751.72
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 62795 0 0 0 475065 107 0 0 18 0 3 0 349294764 144633856 34121 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 35311 34121 218 20 0 34669 0
[pid=29125/tid=29127] ppid=29123 vsize=141244 CPUtime=2378.74
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 31448 0 0 0 237823 51 0 0 19 0 3 0 349294769 144633856 34121 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29125/tid=29128] ppid=29123 vsize=141244 CPUtime=2372.92
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 30581 0 0 0 237237 55 0 0 25 0 3 0 349294769 144633856 34121 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 11379039 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4751.72
Current children cumulated vsize (KiB) 141244

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 29326
/proc/meminfo: memFree=1187264/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=141244 CPUtime=4871.42
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 63439 0 0 0 487035 107 0 0 18 0 3 0 349294764 144633856 34123 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 35311 34123 218 20 0 34669 0
[pid=29125/tid=29127] ppid=29123 vsize=141244 CPUtime=2438.7
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 31770 0 0 0 243819 51 0 0 25 0 3 0 349294769 144633856 34123 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29125/tid=29128] ppid=29123 vsize=141244 CPUtime=2432.65
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 30903 0 0 0 243210 55 0 0 25 0 3 0 349294769 144633856 34123 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4871.42
Current children cumulated vsize (KiB) 141244

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 29326
/proc/meminfo: memFree=1187264/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=142172 CPUtime=4991.11
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 64087 0 0 0 499003 108 0 0 18 0 3 0 349294764 145584128 34127 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 35543 34127 218 20 0 34901 0
[pid=29125/tid=29127] ppid=29123 vsize=142172 CPUtime=2498.53
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 32094 0 0 0 249801 52 0 0 25 0 3 0 349294769 145584128 34127 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29125/tid=29128] ppid=29123 vsize=142172 CPUtime=2492.51
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 31227 0 0 0 249196 55 0 0 25 0 3 0 349294769 145584128 34127 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.11
Current children cumulated vsize (KiB) 142172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.8 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 29326
/proc/meminfo: memFree=1187264/2055920 swapFree=4147944/4192956
[pid=29125] ppid=29123 vsize=142172 CPUtime=5000.1
/proc/29125/stat : 29125 (MiraXTv3_dyn) S 29123 29125 28737 0 -1 4194304 64087 0 0 0 499902 108 0 0 18 0 3 0 349294764 145584128 34127 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29125/statm: 35543 34127 218 20 0 34901 0
[pid=29125/tid=29127] ppid=29123 vsize=142172 CPUtime=2503.01
/proc/29125/task/29127/stat : 29127 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 32094 0 0 0 250249 52 0 0 25 0 3 0 349294769 145584128 34127 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29125/tid=29128] ppid=29123 vsize=142172 CPUtime=2497.03
/proc/29125/task/29128/stat : 29128 (MiraXTv3_dyn) R 29123 29125 28737 0 -1 4194368 31227 0 0 0 249647 56 0 0 25 0 3 0 349294769 145584128 34127 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 142172

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.84
CPU time (s): 5000.15
CPU user time (s): 4999.03
CPU system time (s): 1.10983
CPU usage (%): 199.46
Max. virtual memory (cumulated for all children) (KiB): 142172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.04
system time used= 1.10983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64087
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= 969
involuntary context switches= 94488

runsolver used 2.41063 second user time and 6.77197 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Sat May 12 23:49:53 UTC 2007

IDJOB= 426403
IDBENCH= 20249
IDSOLVER= 196
FILE ID= node33/426403-1179013793

PBS_JOBID= 5252974

Free space on /tmp= 66550 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v4500/unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/426403-1179013793/MiraXTv3_dyn /tmp/evaluation/426403-1179013793/instance-426403-1179013793.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-426403-1179013793 -o ROOT/results/node33/solver-426403-1179013793 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426403-1179013793/MiraXTv3_dyn /tmp/evaluation/426403-1179013793/instance-426403-1179013793.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  7031e461464b8d1c0f6a8a1c913e5155

RANDOM SEED= 666119106

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1324336 kB
Buffers:         45592 kB
Cached:         552612 kB
SwapCached:      13864 kB
Active:         433720 kB
Inactive:       188016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1324336 kB
SwapTotal:     4192956 kB
SwapFree:      4147944 kB
Dirty:            4116 kB
Writeback:           0 kB
Mapped:          30504 kB
Slab:            95228 kB
Committed_AS:  5257136 kB
PageTables:       1992 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 node33 on Sun May 13 00:31:42 UTC 2007