Trace number 426143

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.04 2506.63

General information on the benchmark

Namerandom/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf
MD5SUMa2f5767c9c51923440a1204368c12b36
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.011998
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
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/node14/watcher-426143-1178991893 -o ROOT/results/node14/solver-426143-1178991893 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426143-1178991893/MiraXTv3_dyn /tmp/evaluation/426143-1178991893/instance-426143-1178991893.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.98 1.99 3/77 5111
/proc/meminfo: memFree=1552576/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=3788 CPUtime=0
/proc/5111/stat : 5111 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 347107052 3878912 266 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7365581 0 0 4096 0 0 0 0 17 1 0 0
/proc/5111/statm: 947 268 205 20 0 305 0

[startup+0.102411 s]
/proc/loadavg: 1.99 1.98 1.99 3/77 5111
/proc/meminfo: memFree=1552576/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=7240 CPUtime=0.18
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 686 0 0 0 18 0 0 0 18 0 3 0 347107052 7413760 661 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 1810 661 218 20 0 1168 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 7240

[startup+0.201611 s]
/proc/loadavg: 1.99 1.98 1.99 3/77 5111
/proc/meminfo: memFree=1552576/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=7596 CPUtime=0.37
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 885 0 0 0 37 0 0 0 18 0 3 0 347107052 7778304 860 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 1899 860 218 20 0 1257 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 7596

[startup+0.301621 s]
/proc/loadavg: 1.99 1.98 1.99 3/77 5111
/proc/meminfo: memFree=1552576/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=8908 CPUtime=0.57
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 1075 0 0 0 57 0 0 0 18 0 3 0 347107052 9121792 1050 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 2227 1050 218 20 0 1585 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 8908

[startup+0.70166 s]
/proc/loadavg: 1.99 1.98 1.99 3/77 5111
/proc/meminfo: memFree=1552576/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=11252 CPUtime=1.38
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 1718 0 0 0 137 1 0 0 18 0 3 0 347107052 11522048 1692 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 2813 1692 218 20 0 2171 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 11252

[startup+1.50174 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5114
/proc/meminfo: memFree=1544360/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=14524 CPUtime=2.97
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 2743 0 0 0 296 1 0 0 18 0 3 0 347107052 14872576 2717 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 3631 2717 218 20 0 2989 0
[pid=5111/tid=5113] ppid=5109 vsize=14524 CPUtime=1.48
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 1069 0 0 0 147 1 0 0 25 0 3 0 347107054 14872576 2717 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5111/tid=5114] ppid=5109 vsize=14524 CPUtime=1.48
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 1318 0 0 0 148 0 0 0 25 0 3 0 347107054 14872576 2717 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520184 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 14524

[startup+3.10189 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5114
/proc/meminfo: memFree=1541480/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=17204 CPUtime=6.17
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 3343 0 0 0 615 2 0 0 18 0 3 0 347107052 17616896 3317 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 4301 3317 218 20 0 3659 0
[pid=5111/tid=5113] ppid=5109 vsize=17204 CPUtime=3.07
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 1368 0 0 0 306 1 0 0 20 0 3 0 347107054 17616896 3317 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5111/tid=5114] ppid=5109 vsize=17204 CPUtime=3.07
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 1619 0 0 0 307 0 0 0 18 0 3 0 347107054 17616896 3317 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 17204

[startup+6.3012 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5114
/proc/meminfo: memFree=1533736/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=25852 CPUtime=12.53
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 5471 0 0 0 1250 3 0 0 18 0 3 0 347107052 26472448 5368 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 6463 5368 218 20 0 5821 0
[pid=5111/tid=5113] ppid=5109 vsize=25852 CPUtime=6.25
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 2246 0 0 0 624 1 0 0 17 0 3 0 347107054 26472448 5368 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5111/tid=5114] ppid=5109 vsize=25852 CPUtime=6.26
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 2869 0 0 0 625 1 0 0 24 0 3 0 347107054 26472448 5368 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 25852

[startup+12.7028 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5114
/proc/meminfo: memFree=1519656/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=38656 CPUtime=25.3
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 8579 0 0 0 2522 8 0 0 18 0 3 0 347107052 39583744 8286 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 9664 8286 218 20 0 9022 0
[pid=5111/tid=5113] ppid=5109 vsize=38656 CPUtime=12.63
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 3697 0 0 0 1259 4 0 0 25 0 3 0 347107054 39583744 8286 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5111/tid=5114] ppid=5109 vsize=38656 CPUtime=12.66
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 4526 0 0 0 1262 4 0 0 25 0 3 0 347107054 39583744 8286 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4160577609 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 38656

[startup+25.502 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5114
/proc/meminfo: memFree=1513704/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=45104 CPUtime=50.84
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 10633 0 0 0 5073 11 0 0 18 0 3 0 347107052 46186496 9916 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 11276 9916 218 20 0 10634 0
[pid=5111/tid=5113] ppid=5109 vsize=45104 CPUtime=25.37
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 4734 0 0 0 2532 5 0 0 25 0 3 0 347107054 46186496 9916 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5111/tid=5114] ppid=5109 vsize=45104 CPUtime=25.44
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 5543 0 0 0 2539 5 0 0 25 0 3 0 347107054 46186496 9916 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 45104

[startup+51.1014 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5114
/proc/meminfo: memFree=1505064/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=52840 CPUtime=101.88
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 13407 0 0 0 10174 14 0 0 18 0 3 0 347107052 54108160 11909 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 13210 11909 218 20 0 12568 0
[pid=5111/tid=5113] ppid=5109 vsize=52840 CPUtime=50.86
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 5974 0 0 0 5080 6 0 0 25 0 3 0 347107054 54108160 11909 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5111/tid=5114] ppid=5109 vsize=52840 CPUtime=51
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 7077 0 0 0 5093 7 0 0 25 0 3 0 347107054 54108160 11909 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 52840

[startup+102.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5114
/proc/meminfo: memFree=1501416/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=56488 CPUtime=203.99
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 15892 0 0 0 20382 17 0 0 18 0 3 0 347107052 57843712 12811 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 14122 12811 218 20 0 13480 0
[pid=5111/tid=5113] ppid=5109 vsize=56488 CPUtime=101.82
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 7251 0 0 0 10174 8 0 0 21 0 3 0 347107054 57843712 12811 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5111/tid=5114] ppid=5109 vsize=56488 CPUtime=102.15
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 8285 0 0 0 10207 8 0 0 25 0 3 0 347107054 57843712 12811 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 56488

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5114
/proc/meminfo: memFree=1492200/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=65292 CPUtime=323.65
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 19908 0 0 0 32344 21 0 0 18 0 3 0 347107052 66859008 15108 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 16323 15108 218 20 0 15681 0
[pid=5111/tid=5113] ppid=5109 vsize=65292 CPUtime=161.56
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 9202 0 0 0 16146 10 0 0 25 0 3 0 347107054 66859008 15108 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134522148 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5111/tid=5114] ppid=5109 vsize=65292 CPUtime=162.07
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 10350 0 0 0 16197 10 0 0 25 0 3 0 347107054 66859008 15108 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.65
Current children cumulated vsize (KiB) 65292

[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5114
/proc/meminfo: memFree=1488424/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=69856 CPUtime=443.34
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 22553 0 0 0 44309 25 0 0 18 0 3 0 347107052 71532544 16111 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 17464 16111 218 20 0 16822 0
[pid=5111/tid=5113] ppid=5109 vsize=69856 CPUtime=221.31
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 10323 0 0 0 22119 12 0 0 25 0 3 0 347107054 71532544 16111 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526417 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5111/tid=5114] ppid=5109 vsize=69856 CPUtime=222.01
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 11874 0 0 0 22189 12 0 0 25 0 3 0 347107054 71532544 16111 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.34
Current children cumulated vsize (KiB) 69856

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5114
/proc/meminfo: memFree=1483496/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=74600 CPUtime=563.04
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 25423 0 0 0 56276 28 0 0 18 0 3 0 347107052 76390400 17352 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 18650 17352 218 20 0 18008 0
[pid=5111/tid=5113] ppid=5109 vsize=74600 CPUtime=281.08
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 12070 0 0 0 28094 14 0 0 25 0 3 0 347107054 76390400 17352 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5111/tid=5114] ppid=5109 vsize=74600 CPUtime=281.94
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 12997 0 0 0 28181 13 0 0 25 0 3 0 347107054 76390400 17352 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.04
Current children cumulated vsize (KiB) 74600

[startup+342.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5114
/proc/meminfo: memFree=1479272/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=78392 CPUtime=682.72
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 28016 0 0 0 68242 30 0 0 18 0 3 0 347107052 80273408 18347 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 19598 18347 218 20 0 18956 0
[pid=5111/tid=5113] ppid=5109 vsize=78392 CPUtime=340.82
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 13400 0 0 0 34067 15 0 0 25 0 3 0 347107054 80273408 18347 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5111/tid=5114] ppid=5109 vsize=78392 CPUtime=341.88
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 14260 0 0 0 34174 14 0 0 25 0 3 0 347107054 80273408 18347 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.72
Current children cumulated vsize (KiB) 78392

[startup+402.302 s]

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

/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 34000 0 0 0 189792 42 0 0 25 0 3 0 347107054 98729984 22679 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5111/tid=5114] ppid=5109 vsize=96416 CPUtime=1896.08
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 35036 0 0 0 189570 38 0 0 25 0 3 0 347107054 98729984 22679 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.43
Current children cumulated vsize (KiB) 96416

[startup+1962.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5312
/proc/meminfo: memFree=1461672/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=96416 CPUtime=3914.13
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 70789 0 0 0 391331 82 0 0 18 0 3 0 347107052 98729984 22733 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 24104 22733 218 20 0 23462 0
[pid=5111/tid=5113] ppid=5109 vsize=96416 CPUtime=1958.28
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 34603 0 0 0 195786 42 0 0 25 0 3 0 347107054 98729984 22733 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5111/tid=5114] ppid=5109 vsize=96416 CPUtime=1955.83
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 35830 0 0 0 195544 39 0 0 25 0 3 0 347107054 98729984 22733 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.13
Current children cumulated vsize (KiB) 96416

[startup+2022.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5312
/proc/meminfo: memFree=1461352/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=96600 CPUtime=4033.84
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 72200 0 0 0 403302 82 0 0 18 0 3 0 347107052 98918400 22791 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 24150 22791 218 20 0 23508 0
[pid=5111/tid=5113] ppid=5109 vsize=96600 CPUtime=2018.24
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 35382 0 0 0 201782 42 0 0 25 0 3 0 347107054 98918400 22791 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5111/tid=5114] ppid=5109 vsize=96600 CPUtime=2015.58
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 36462 0 0 0 201519 39 0 0 25 0 3 0 347107054 98918400 22791 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.84
Current children cumulated vsize (KiB) 96600

[startup+2082.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5312
/proc/meminfo: memFree=1461352/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=96600 CPUtime=4153.54
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 73437 0 0 0 415270 84 0 0 18 0 3 0 347107052 98918400 22816 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 24150 22816 218 20 0 23508 0
[pid=5111/tid=5113] ppid=5109 vsize=96600 CPUtime=2078.19
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 35994 0 0 0 207776 43 0 0 25 0 3 0 347107054 98918400 22816 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5111/tid=5114] ppid=5109 vsize=96600 CPUtime=2075.33
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 37087 0 0 0 207493 40 0 0 25 0 3 0 347107054 98918400 22816 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.54
Current children cumulated vsize (KiB) 96600

[startup+2142.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5312
/proc/meminfo: memFree=1461096/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=96600 CPUtime=4273.21
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 74866 0 0 0 427236 85 0 0 18 0 3 0 347107052 98918400 22872 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 24150 22872 218 20 0 23508 0
[pid=5111/tid=5113] ppid=5109 vsize=96600 CPUtime=2138.13
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 36780 0 0 0 213769 44 0 0 25 0 3 0 347107054 98918400 22872 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5111/tid=5114] ppid=5109 vsize=96600 CPUtime=2135.08
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 37730 0 0 0 213467 41 0 0 25 0 3 0 347107054 98918400 22872 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526347 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.21
Current children cumulated vsize (KiB) 96600

[startup+2202.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5312
/proc/meminfo: memFree=1460904/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=96600 CPUtime=4392.93
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 76142 0 0 0 439206 87 0 0 18 0 3 0 347107052 98918400 22917 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 24150 22917 218 20 0 23508 0
[pid=5111/tid=5113] ppid=5109 vsize=96600 CPUtime=2198.07
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 37415 0 0 0 219763 44 0 0 25 0 3 0 347107054 98918400 22917 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5111/tid=5114] ppid=5109 vsize=96600 CPUtime=2194.83
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 38371 0 0 0 219441 42 0 0 25 0 3 0 347107054 98918400 22917 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4392.93
Current children cumulated vsize (KiB) 96600

[startup+2262.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5312
/proc/meminfo: memFree=1460648/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=97624 CPUtime=4512.62
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 77740 0 0 0 451174 88 0 0 18 0 3 0 347107052 99966976 22966 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 24406 22966 218 20 0 23764 0
[pid=5111/tid=5113] ppid=5109 vsize=97624 CPUtime=2258.01
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 38201 0 0 0 225756 45 0 0 25 0 3 0 347107054 99966976 22966 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5111/tid=5114] ppid=5109 vsize=97624 CPUtime=2254.6
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 39183 0 0 0 225417 43 0 0 25 0 3 0 347107054 99966976 22966 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.62
Current children cumulated vsize (KiB) 97624

[startup+2322.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5312
/proc/meminfo: memFree=1459816/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=97928 CPUtime=4632.34
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 79187 0 0 0 463144 90 0 0 18 0 3 0 347107052 100278272 23165 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 24482 23165 218 20 0 23840 0
[pid=5111/tid=5113] ppid=5109 vsize=97928 CPUtime=2317.96
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 38960 0 0 0 231750 46 0 0 25 0 3 0 347107054 100278272 23165 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5111/tid=5114] ppid=5109 vsize=97928 CPUtime=2314.36
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 39871 0 0 0 231392 44 0 0 25 0 3 0 347107054 100278272 23165 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.34
Current children cumulated vsize (KiB) 97928

[startup+2382.3 s]
/proc/loadavg: 2.14 2.02 2.00 3/80 5312
/proc/meminfo: memFree=1459496/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=98060 CPUtime=4752.01
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 80662 0 0 0 475110 91 0 0 18 0 3 0 347107052 100413440 23225 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 24515 23225 218 20 0 23873 0
[pid=5111/tid=5113] ppid=5109 vsize=98060 CPUtime=2377.89
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 39627 0 0 0 237743 46 0 0 25 0 3 0 347107054 100413440 23225 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526457 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5111/tid=5114] ppid=5109 vsize=98060 CPUtime=2374.1
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 40679 0 0 0 237366 44 0 0 25 0 3 0 347107054 100413440 23225 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752.01
Current children cumulated vsize (KiB) 98060

[startup+2442.3 s]
/proc/loadavg: 2.12 2.03 2.00 3/80 5312
/proc/meminfo: memFree=1459240/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=98836 CPUtime=4871.72
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 82001 0 0 0 487079 93 0 0 18 0 3 0 347107052 101208064 23299 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 24709 23299 218 20 0 24067 0
[pid=5111/tid=5113] ppid=5109 vsize=98836 CPUtime=2437.85
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 40283 0 0 0 243738 47 0 0 25 0 3 0 347107054 101208064 23299 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5111/tid=5114] ppid=5109 vsize=98836 CPUtime=2433.85
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 41362 0 0 0 243340 45 0 0 25 0 3 0 347107054 101208064 23299 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.72
Current children cumulated vsize (KiB) 98836

[startup+2502.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/80 5312
/proc/meminfo: memFree=1458984/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=99616 CPUtime=4991.42
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 83670 0 0 0 499047 95 0 0 18 0 3 0 347107052 102006784 23376 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 24904 23376 218 20 0 24262 0
[pid=5111/tid=5113] ppid=5109 vsize=99616 CPUtime=2497.79
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 41130 0 0 0 249731 48 0 0 25 0 3 0 347107054 102006784 23376 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5111/tid=5114] ppid=5109 vsize=99616 CPUtime=2493.6
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 42184 0 0 0 249314 46 0 0 25 0 3 0 347107054 102006784 23376 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.42
Current children cumulated vsize (KiB) 99616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.6 s]
/proc/loadavg: 2.10 2.04 2.00 3/80 5312
/proc/meminfo: memFree=1458984/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=99616 CPUtime=5000
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 83670 0 0 0 499905 95 0 0 18 0 3 0 347107052 102006784 23376 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 24904 23376 218 20 0 24262 0
[pid=5111/tid=5113] ppid=5109 vsize=99616 CPUtime=2502.1
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 41130 0 0 0 250162 48 0 0 25 0 3 0 347107054 102006784 23376 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5111/tid=5114] ppid=5109 vsize=99616 CPUtime=2497.88
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 42184 0 0 0 249742 46 0 0 25 0 3 0 347107054 102006784 23376 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000
Current children cumulated vsize (KiB) 99616

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

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

[startup+2506.6 s]
/proc/loadavg: 2.10 2.04 2.00 3/80 5312
/proc/meminfo: memFree=1458984/2055920 swapFree=4145896/4192956
[pid=5111] ppid=5109 vsize=99616 CPUtime=5000
/proc/5111/stat : 5111 (MiraXTv3_dyn) S 5109 5111 4980 0 -1 4194304 83670 0 0 0 499905 95 0 0 18 0 3 0 347107052 102006784 23376 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5111/statm: 24904 23376 218 20 0 24262 0
[pid=5111/tid=5113] ppid=5109 vsize=99616 CPUtime=2502.1
/proc/5111/task/5113/stat : 5113 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 41130 0 0 0 250162 48 0 0 25 0 3 0 347107054 102006784 23376 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5111/tid=5114] ppid=5109 vsize=99616 CPUtime=2497.88
/proc/5111/task/5114/stat : 5114 (MiraXTv3_dyn) R 5109 5111 4980 0 -1 4194368 42184 0 0 0 249742 46 0 0 25 0 3 0 347107054 102006784 23376 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000
Current children cumulated vsize (KiB) 99616

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.63
CPU time (s): 5000.04
CPU user time (s): 4999.07
CPU system time (s): 0.971852
CPU usage (%): 199.473
Max. virtual memory (cumulated for all children) (KiB): 99616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.07
system time used= 0.971852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83670
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= 574
involuntary context switches= 94099

runsolver used 2.5956 second user time and 6.61399 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat May 12 17:44:53 UTC 2007

IDJOB= 426143
IDBENCH= 19960
IDSOLVER= 196
FILE ID= node14/426143-1178991893

PBS_JOBID= 5252814

Free space on /tmp= 66549 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v550/unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426143-1178991893/MiraXTv3_dyn /tmp/evaluation/426143-1178991893/instance-426143-1178991893.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-426143-1178991893 -o ROOT/results/node14/solver-426143-1178991893 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426143-1178991893/MiraXTv3_dyn /tmp/evaluation/426143-1178991893/instance-426143-1178991893.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  a2f5767c9c51923440a1204368c12b36

RANDOM SEED= 773196064

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1552856 kB
Buffers:         45656 kB
Cached:         387780 kB
SwapCached:      15092 kB
Active:         143516 kB
Inactive:       314092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1552856 kB
SwapTotal:     4192956 kB
SwapFree:      4145896 kB
Dirty:            4012 kB
Writeback:           0 kB
Mapped:          30140 kB
Slab:            31000 kB
Committed_AS:  9603456 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66549 MiB

End job on node14 on Sat May 12 18:26:42 UTC 2007