Trace number 426442

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.53

General information on the benchmark

Namerandom/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf
MD5SUM1333c75253371ada765a5acec896e8d5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3672.7
Satisfiable
(Un)Satisfiability was proved
Number of variables2035
Number of clauses6327
Sum of the clauses size17716
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21265
Number of clauses of size 35062
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/node35/watcher-426442-1179048554 -o ROOT/results/node35/solver-426442-1179048554 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426442-1179048554/MiraXTv3_dyn /tmp/evaluation/426442-1179048554/instance-426442-1179048554.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: 0.00 0.00 0.00 3/77 2936
/proc/meminfo: memFree=947952/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=3788 CPUtime=0
/proc/2936/stat : 2936 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 352770859 3878912 270 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134578793 0 0 4096 0 0 0 0 17 1 0 0
/proc/2936/statm: 947 273 205 20 0 305 0

[startup+0.094519 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 2936
/proc/meminfo: memFree=947952/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=7876 CPUtime=0.14
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 893 0 0 0 14 0 0 0 18 0 3 0 352770859 8065024 868 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 1969 868 218 20 0 1327 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 7876

[startup+0.101519 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 2936
/proc/meminfo: memFree=947952/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=7876 CPUtime=0.15
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 899 0 0 0 15 0 0 0 18 0 3 0 352770859 8065024 874 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 1969 874 218 20 0 1327 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 7876

[startup+0.301544 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 2936
/proc/meminfo: memFree=947952/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=10104 CPUtime=0.55
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 1170 0 0 0 55 0 0 0 18 0 3 0 352770859 10346496 1145 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 2526 1145 218 20 0 1884 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10104

[startup+0.70159 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 2936
/proc/meminfo: memFree=947952/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=12148 CPUtime=1.36
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 1683 0 0 0 135 1 0 0 18 0 3 0 352770859 12439552 1658 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 3037 1658 218 20 0 2395 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 12148

[startup+1.50268 s]
/proc/loadavg: 0.00 0.00 0.00 3/80 2939
/proc/meminfo: memFree=940824/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=15012 CPUtime=2.95
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 2577 0 0 0 294 1 0 0 18 0 3 0 352770859 15372288 2552 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 3753 2552 218 20 0 3111 0
[pid=2936/tid=2938] ppid=2934 vsize=15012 CPUtime=1.46
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 1035 0 0 0 146 0 0 0 25 0 3 0 352770862 15372288 2552 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 1898107 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2936/tid=2939] ppid=2934 vsize=15012 CPUtime=1.45
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 1040 0 0 0 145 0 0 0 20 0 3 0 352770862 15372288 2552 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 15012

[startup+3.10187 s]
/proc/loadavg: 0.00 0.00 0.00 3/80 2939
/proc/meminfo: memFree=935896/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=20728 CPUtime=6.14
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 3962 0 0 0 612 2 0 0 18 0 3 0 352770859 21225472 3937 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 5182 3937 218 20 0 4540 0
[pid=2936/tid=2938] ppid=2934 vsize=20728 CPUtime=3.06
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 1681 0 0 0 306 0 0 0 25 0 3 0 352770862 21225472 3937 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2936/tid=2939] ppid=2934 vsize=20728 CPUtime=3.04
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 1779 0 0 0 303 1 0 0 17 0 3 0 352770862 21225472 3937 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 20728

[startup+6.30123 s]
/proc/loadavg: 0.16 0.03 0.01 3/80 2939
/proc/meminfo: memFree=930776/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=22420 CPUtime=12.52
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 4534 0 0 0 1249 3 0 0 18 0 3 0 352770859 22958080 4509 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 5605 4509 218 20 0 4963 0
[pid=2936/tid=2938] ppid=2934 vsize=22420 CPUtime=6.26
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 2125 0 0 0 625 1 0 0 25 0 3 0 352770862 22958080 4509 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565721 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2936/tid=2939] ppid=2934 vsize=22420 CPUtime=6.22
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 1907 0 0 0 621 1 0 0 25 0 3 0 352770862 22958080 4509 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565509 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 22420

[startup+12.702 s]
/proc/loadavg: 0.31 0.07 0.02 3/80 2939
/proc/meminfo: memFree=917528/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=36400 CPUtime=25.29
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 8229 0 0 0 2522 7 0 0 18 0 3 0 352770859 37273600 8050 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 9100 8050 218 20 0 8458 0
[pid=2936/tid=2938] ppid=2934 vsize=36400 CPUtime=12.66
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 3888 0 0 0 1263 3 0 0 25 0 3 0 352770862 37273600 8050 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2936/tid=2939] ppid=2934 vsize=36400 CPUtime=12.6
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 3839 0 0 0 1257 3 0 0 25 0 3 0 352770862 37273600 8050 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 36400

[startup+25.5014 s]
/proc/loadavg: 0.68 0.16 0.05 3/80 2939
/proc/meminfo: memFree=900888/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=53176 CPUtime=50.82
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 12214 0 0 0 5068 14 0 0 18 0 3 0 352770859 54452224 11831 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 13294 11831 218 20 0 12652 0
[pid=2936/tid=2938] ppid=2934 vsize=53176 CPUtime=25.44
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 5862 0 0 0 2539 5 0 0 25 0 3 0 352770862 54452224 11831 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2936/tid=2939] ppid=2934 vsize=53176 CPUtime=25.34
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 5850 0 0 0 2527 7 0 0 25 0 3 0 352770862 54452224 11831 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 53176

[startup+51.1013 s]
/proc/loadavg: 1.13 0.31 0.10 3/80 2939
/proc/meminfo: memFree=881304/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=72928 CPUtime=101.88
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 17853 0 0 0 10164 24 0 0 18 0 3 0 352770859 74678272 16966 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 18232 16966 218 20 0 17590 0
[pid=2936/tid=2938] ppid=2934 vsize=72928 CPUtime=51.03
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 8404 0 0 0 5093 10 0 0 25 0 3 0 352770862 74678272 16966 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2936/tid=2939] ppid=2934 vsize=72928 CPUtime=50.81
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 8947 0 0 0 5068 13 0 0 25 0 3 0 352770862 74678272 16966 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 72928

[startup+102.306 s]
/proc/loadavg: 1.62 0.56 0.20 3/80 2939
/proc/meminfo: memFree=866968/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=85260 CPUtime=204.02
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 22157 0 0 0 20372 30 0 0 18 0 3 0 352770859 87306240 20250 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 21315 20250 218 20 0 20673 0
[pid=2936/tid=2938] ppid=2934 vsize=85260 CPUtime=102.21
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 10525 0 0 0 10208 13 0 0 25 0 3 0 352770862 87306240 20250 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2936/tid=2939] ppid=2934 vsize=85260 CPUtime=101.79
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 11130 0 0 0 10162 17 0 0 25 0 3 0 352770862 87306240 20250 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526261 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.02
Current children cumulated vsize (KiB) 85260

[startup+162.302 s]
/proc/loadavg: 1.86 0.82 0.31 3/80 2939
/proc/meminfo: memFree=860952/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=93048 CPUtime=323.72
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 24748 0 0 0 32338 34 0 0 18 0 3 0 352770859 95281152 21742 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 23262 21742 218 20 0 22620 0
[pid=2936/tid=2938] ppid=2934 vsize=93048 CPUtime=162.18
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 11702 0 0 0 16203 15 0 0 25 0 3 0 352770862 95281152 21742 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526457 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2936/tid=2939] ppid=2934 vsize=93048 CPUtime=161.51
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 12544 0 0 0 16133 18 0 0 25 0 3 0 352770862 95281152 21742 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.72
Current children cumulated vsize (KiB) 93048

[startup+222.302 s]
/proc/loadavg: 1.91 1.02 0.41 3/80 2939
/proc/meminfo: memFree=857880/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=95760 CPUtime=443.41
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 26766 0 0 0 44306 35 0 0 18 0 3 0 352770859 98058240 22523 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 23940 22523 218 20 0 23298 0
[pid=2936/tid=2938] ppid=2934 vsize=95760 CPUtime=222.14
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 12957 0 0 0 22198 16 0 0 25 0 3 0 352770862 98058240 22523 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2936/tid=2939] ppid=2934 vsize=95760 CPUtime=221.24
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 13307 0 0 0 22105 19 0 0 25 0 3 0 352770862 98058240 22523 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.41
Current children cumulated vsize (KiB) 95760

[startup+282.301 s]
/proc/loadavg: 1.96 1.20 0.50 3/80 2939
/proc/meminfo: memFree=853656/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=99688 CPUtime=563.12
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 28757 0 0 0 56274 38 0 0 18 0 3 0 352770859 102080512 23575 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 24922 23575 218 20 0 24280 0
[pid=2936/tid=2938] ppid=2934 vsize=99688 CPUtime=282.11
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 14153 0 0 0 28193 18 0 0 25 0 3 0 352770862 102080512 23575 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2936/tid=2939] ppid=2934 vsize=99688 CPUtime=280.98
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 14102 0 0 0 28078 20 0 0 25 0 3 0 352770862 102080512 23575 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.12
Current children cumulated vsize (KiB) 99688

[startup+342.301 s]
/proc/loadavg: 1.98 1.34 0.59 3/80 2939
/proc/meminfo: memFree=853272/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=100712 CPUtime=682.84
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 30061 0 0 0 68244 40 0 0 18 0 3 0 352770859 103129088 23649 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 25178 23649 218 20 0 24536 0
[pid=2936/tid=2938] ppid=2934 vsize=100712 CPUtime=342.08
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 14786 0 0 0 34189 19 0 0 25 0 3 0 352770862 103129088 23649 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2936/tid=2939] ppid=2934 vsize=100712 CPUtime=340.72
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 14773 0 0 0 34052 20 0 0 25 0 3 0 352770862 103129088 23649 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.84
Current children cumulated vsize (KiB) 100712

[startup+402.301 s]

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

/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 30330 0 0 0 189759 34 0 0 25 0 3 0 352770862 121729024 28536 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2936/tid=2939] ppid=2934 vsize=118876 CPUtime=1897.02
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 30188 0 0 0 189662 40 0 0 25 0 3 0 352770862 121729024 28536 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.99
Current children cumulated vsize (KiB) 118876

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.72 3/86 3119
/proc/meminfo: memFree=832544/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=118876 CPUtime=3914.42
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 61995 0 0 0 391346 96 0 0 18 0 3 0 352770859 121729024 28540 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 29719 28540 218 20 0 29077 0
[pid=2936/tid=2938] ppid=2934 vsize=118876 CPUtime=1957.55
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 30817 0 0 0 195701 54 0 0 25 0 3 0 352770862 121729024 28540 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2936/tid=2939] ppid=2934 vsize=118876 CPUtime=1956.83
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 30676 0 0 0 195642 41 0 0 20 0 3 0 352770862 121729024 28540 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.42
Current children cumulated vsize (KiB) 118876

[startup+2022.3 s]
/proc/loadavg: 2.09 2.03 1.75 3/80 3139
/proc/meminfo: memFree=833688/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=118876 CPUtime=4034.07
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 63094 0 0 0 403310 97 0 0 18 0 3 0 352770859 121729024 28546 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 29719 28546 218 20 0 29077 0
[pid=2936/tid=2938] ppid=2934 vsize=118876 CPUtime=2017.26
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 31427 0 0 0 201671 55 0 0 25 0 3 0 352770862 121729024 28546 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2936/tid=2939] ppid=2934 vsize=118876 CPUtime=2016.78
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 31165 0 0 0 201637 41 0 0 25 0 3 0 352770862 121729024 28546 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526625 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4034.07
Current children cumulated vsize (KiB) 118876

[startup+2082.31 s]
/proc/loadavg: 2.03 2.02 1.76 3/80 3139
/proc/meminfo: memFree=833496/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=118876 CPUtime=4153.78
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 64104 0 0 0 415280 98 0 0 18 0 3 0 352770859 121729024 28575 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 29719 28575 218 20 0 29077 0
[pid=2936/tid=2938] ppid=2934 vsize=118876 CPUtime=2076.98
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 31934 0 0 0 207643 55 0 0 25 0 3 0 352770862 121729024 28575 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 1898140 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2936/tid=2939] ppid=2934 vsize=118876 CPUtime=2076.77
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 31668 0 0 0 207635 42 0 0 25 0 3 0 352770862 121729024 28575 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.78
Current children cumulated vsize (KiB) 118876

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 1.77 3/80 3139
/proc/meminfo: memFree=832664/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=119932 CPUtime=4273.49
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 65512 0 0 0 427250 99 0 0 18 0 3 0 352770859 122810368 28873 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 29983 28873 218 20 0 29341 0
[pid=2936/tid=2938] ppid=2934 vsize=119932 CPUtime=2136.71
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 32712 0 0 0 213615 56 0 0 25 0 3 0 352770862 122810368 28873 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2936/tid=2939] ppid=2934 vsize=119932 CPUtime=2136.75
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 32298 0 0 0 213632 43 0 0 20 0 3 0 352770862 122810368 28873 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526502 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.49
Current children cumulated vsize (KiB) 119932

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/80 3139
/proc/meminfo: memFree=832344/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=120072 CPUtime=4393.21
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 66531 0 0 0 439221 100 0 0 18 0 3 0 352770859 122953728 28899 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 30018 28899 218 20 0 29376 0
[pid=2936/tid=2938] ppid=2934 vsize=120072 CPUtime=2196.45
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 33357 0 0 0 219588 57 0 0 25 0 3 0 352770862 122953728 28899 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565551 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2936/tid=2939] ppid=2934 vsize=120072 CPUtime=2196.73
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 32672 0 0 0 219630 43 0 0 25 0 3 0 352770862 122953728 28899 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526705 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4393.21
Current children cumulated vsize (KiB) 120072

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/80 3139
/proc/meminfo: memFree=831512/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=120916 CPUtime=4512.92
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 67754 0 0 0 451191 101 0 0 18 0 3 0 352770859 123817984 29121 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 30229 29121 218 20 0 29587 0
[pid=2936/tid=2938] ppid=2934 vsize=120916 CPUtime=2256.19
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 34074 0 0 0 225562 57 0 0 25 0 3 0 352770862 123817984 29121 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2936/tid=2939] ppid=2934 vsize=120916 CPUtime=2256.7
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 33178 0 0 0 225626 44 0 0 25 0 3 0 352770862 123817984 29121 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.92
Current children cumulated vsize (KiB) 120916

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/80 3139
/proc/meminfo: memFree=830488/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=121708 CPUtime=4632.62
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 69123 0 0 0 463159 103 0 0 18 0 3 0 352770859 124628992 29356 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 30427 29356 218 20 0 29785 0
[pid=2936/tid=2938] ppid=2934 vsize=121708 CPUtime=2315.92
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 34934 0 0 0 231534 58 0 0 25 0 3 0 352770862 124628992 29356 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2936/tid=2939] ppid=2934 vsize=121708 CPUtime=2316.66
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 33687 0 0 0 231622 44 0 0 25 0 3 0 352770862 124628992 29356 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.62
Current children cumulated vsize (KiB) 121708

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/80 3139
/proc/meminfo: memFree=830296/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=121852 CPUtime=4752.31
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 70048 0 0 0 475127 104 0 0 18 0 3 0 352770859 124776448 29393 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 30463 29393 218 20 0 29821 0
[pid=2936/tid=2938] ppid=2934 vsize=121852 CPUtime=2375.64
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 35346 0 0 0 237506 58 0 0 25 0 3 0 352770862 124776448 29393 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2936/tid=2939] ppid=2934 vsize=121852 CPUtime=2376.64
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 34200 0 0 0 237619 45 0 0 25 0 3 0 352770862 124776448 29393 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752.31
Current children cumulated vsize (KiB) 121852

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 3139
/proc/meminfo: memFree=830232/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=121852 CPUtime=4872.01
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 70944 0 0 0 487097 104 0 0 18 0 3 0 352770859 124776448 29398 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 30463 29398 218 20 0 29821 0
[pid=2936/tid=2938] ppid=2934 vsize=121852 CPUtime=2435.37
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 35857 0 0 0 243479 58 0 0 25 0 3 0 352770862 124776448 29398 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2936/tid=2939] ppid=2934 vsize=121852 CPUtime=2436.6
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 34585 0 0 0 243615 45 0 0 25 0 3 0 352770862 124776448 29398 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4872.01
Current children cumulated vsize (KiB) 121852

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 3139
/proc/meminfo: memFree=830232/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=122916 CPUtime=4991.73
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 71978 0 0 0 499067 106 0 0 18 0 3 0 352770859 125865984 29408 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 30729 29408 218 20 0 30087 0
[pid=2936/tid=2938] ppid=2934 vsize=122916 CPUtime=2495.11
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 36375 0 0 0 249452 59 0 0 25 0 3 0 352770862 125865984 29408 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2936/tid=2939] ppid=2934 vsize=122916 CPUtime=2496.58
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 35101 0 0 0 249612 46 0 0 25 0 3 0 352770862 125865984 29408 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.73
Current children cumulated vsize (KiB) 122916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.5 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 3139
/proc/meminfo: memFree=830232/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=122916 CPUtime=5000.11
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 71978 0 0 0 499905 106 0 0 18 0 3 0 352770859 125865984 29408 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 30729 29408 218 20 0 30087 0
[pid=2936/tid=2938] ppid=2934 vsize=122916 CPUtime=2499.29
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 36375 0 0 0 249870 59 0 0 25 0 3 0 352770862 125865984 29408 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2936/tid=2939] ppid=2934 vsize=122916 CPUtime=2500.78
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 35101 0 0 0 250032 46 0 0 25 0 3 0 352770862 125865984 29408 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.11
Current children cumulated vsize (KiB) 122916

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

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

[startup+2506.5 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 3139
/proc/meminfo: memFree=830232/2055920 swapFree=4151396/4192956
[pid=2936] ppid=2934 vsize=122916 CPUtime=5000.11
/proc/2936/stat : 2936 (MiraXTv3_dyn) S 2934 2936 2864 0 -1 4194304 71978 0 0 0 499905 106 0 0 18 0 3 0 352770859 125865984 29408 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2936/statm: 30729 29408 218 20 0 30087 0
[pid=2936/tid=2938] ppid=2934 vsize=122916 CPUtime=2499.29
/proc/2936/task/2938/stat : 2938 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 36375 0 0 0 249870 59 0 0 25 0 3 0 352770862 125865984 29408 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2936/tid=2939] ppid=2934 vsize=122916 CPUtime=2500.78
/proc/2936/task/2939/stat : 2939 (MiraXTv3_dyn) R 2934 2936 2864 0 -1 4194368 35101 0 0 0 250032 46 0 0 25 0 3 0 352770862 125865984 29408 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.11
Current children cumulated vsize (KiB) 122916

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.53
CPU time (s): 5000.15
CPU user time (s): 4999.07
CPU system time (s): 1.07883
CPU usage (%): 199.485
Max. virtual memory (cumulated for all children) (KiB): 122916

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

runsolver used 2.48462 second user time and 6.68998 second system time

The end

Launcher Data (download as text)

Begin job on node35 on Sun May 13 09:29:14 UTC 2007

IDJOB= 426442
IDBENCH= 20314
IDSOLVER= 196
FILE ID= node35/426442-1179048554

PBS_JOBID= 5253488

Free space on /tmp= 66546 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.8/v2035/unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/426442-1179048554/MiraXTv3_dyn /tmp/evaluation/426442-1179048554/instance-426442-1179048554.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-426442-1179048554 -o ROOT/results/node35/solver-426442-1179048554 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426442-1179048554/MiraXTv3_dyn /tmp/evaluation/426442-1179048554/instance-426442-1179048554.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  1333c75253371ada765a5acec896e8d5

RANDOM SEED= 815705043

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node35.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.232
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.232
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:        948296 kB
Buffers:         55616 kB
Cached:         889060 kB
SwapCached:       9024 kB
Active:         614956 kB
Inactive:       353332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        948296 kB
SwapTotal:     4192956 kB
SwapFree:      4151396 kB
Dirty:            4244 kB
Writeback:           0 kB
Mapped:          30656 kB
Slab:           124608 kB
Committed_AS:  7645760 kB
PageTables:       2048 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= 66546 MiB

End job on node35 on Sun May 13 10:11:03 UTC 2007