Trace number 426319

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.11 2507.33

General information on the benchmark

Namerandom/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S342579098-10.cnf
MD5SUM868195ba98c78e25f7a7fe087bb75c79
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark272.295
Satisfiable
(Un)Satisfiability was proved
Number of variables140
Number of clauses11900
Sum of the clauses size83300
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 511900

Solver Data (download as text)

0.00/0.01	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-426319-1179010461 -o ROOT/results/node35/solver-426319-1179010461 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426319-1179010461/MiraXTv3_dyn /tmp/evaluation/426319-1179010461/instance-426319-1179010461.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.08 1.69 1.88 3/77 29898
/proc/meminfo: memFree=996840/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=2624 CPUtime=0
/proc/29898/stat : 29898 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194304 169 0 1 0 0 0 0 0 18 0 1 0 348961602 2686976 146 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 2531248 0 0 4096 0 0 0 0 17 1 0 0
/proc/29898/statm: 656 154 128 20 0 14 0

[startup+0.08039 s]
/proc/loadavg: 1.08 1.69 1.88 3/77 29898
/proc/meminfo: memFree=996840/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=4780 CPUtime=0.06
/proc/29898/stat : 29898 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194304 620 0 3 0 6 0 0 0 18 0 1 0 348961602 4894720 598 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583702 0 0 4096 0 0 0 0 17 1 0 0
/proc/29898/statm: 1195 598 207 20 0 553 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4780

[startup+0.101392 s]
/proc/loadavg: 1.08 1.69 1.88 3/77 29898
/proc/meminfo: memFree=996840/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=4780 CPUtime=0.08
/proc/29898/stat : 29898 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194304 620 0 3 0 8 0 0 0 18 0 1 0 348961602 4894720 598 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583960 0 0 4096 0 0 0 0 17 1 0 0
/proc/29898/statm: 1195 598 207 20 0 553 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4780

[startup+0.301418 s]
/proc/loadavg: 1.08 1.69 1.88 3/77 29898
/proc/meminfo: memFree=996840/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=9820 CPUtime=0.28
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 1040 0 3 0 28 0 0 0 19 0 3 0 348961602 10055680 950 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 2455 951 216 20 0 1813 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9820

[startup+0.701468 s]
/proc/loadavg: 1.08 1.69 1.88 3/77 29898
/proc/meminfo: memFree=996840/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=14084 CPUtime=1.08
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 1990 0 3 0 108 0 0 0 19 0 3 0 348961602 14422016 1900 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 3521 1900 218 20 0 2879 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 14084

[startup+1.50256 s]
/proc/loadavg: 1.08 1.69 1.88 3/80 29901
/proc/meminfo: memFree=986640/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=19196 CPUtime=2.68
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 3552 0 3 0 266 2 0 0 19 0 3 0 348961602 19656704 3461 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 4799 3461 218 20 0 4157 0
[pid=29898/tid=29900] ppid=29896 vsize=19196 CPUtime=1.19
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 1358 0 0 0 119 0 0 0 23 0 3 0 348961632 19656704 3461 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29898/tid=29901] ppid=29896 vsize=19196 CPUtime=1.18
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 1433 0 0 0 118 0 0 0 20 0 3 0 348961632 19656704 3461 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526423 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 19196

[startup+3.10275 s]
/proc/loadavg: 1.08 1.69 1.88 3/80 29901
/proc/meminfo: memFree=980112/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=23604 CPUtime=5.86
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 4567 0 3 0 583 3 0 0 19 0 3 0 348961602 24170496 4476 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 5901 4476 218 20 0 5259 0
[pid=29898/tid=29900] ppid=29896 vsize=23604 CPUtime=2.79
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 1965 0 0 0 278 1 0 0 18 0 3 0 348961632 24170496 4476 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29898/tid=29901] ppid=29896 vsize=23604 CPUtime=2.77
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 1841 0 0 0 276 1 0 0 25 0 3 0 348961632 24170496 4476 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 23604

[startup+6.30113 s]
/proc/loadavg: 1.15 1.69 1.88 3/80 29901
/proc/meminfo: memFree=970384/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=34880 CPUtime=12.24
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 7652 0 3 0 1218 6 0 0 19 0 3 0 348961602 35717120 7413 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 8720 7413 218 20 0 8078 0
[pid=29898/tid=29900] ppid=29896 vsize=34880 CPUtime=5.99
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 3348 0 0 0 597 2 0 0 20 0 3 0 348961632 35717120 7413 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526317 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29898/tid=29901] ppid=29896 vsize=34880 CPUtime=5.95
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 3543 0 0 0 592 3 0 0 25 0 3 0 348961632 35717120 7413 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526593 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 34880

[startup+12.7019 s]
/proc/loadavg: 1.22 1.70 1.88 3/80 29901
/proc/meminfo: memFree=952528/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=49880 CPUtime=25
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 11350 0 3 0 2490 10 0 0 19 0 3 0 348961602 51077120 10921 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 12470 10921 218 20 0 11828 0
[pid=29898/tid=29900] ppid=29896 vsize=49880 CPUtime=12.38
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 5222 0 0 0 1234 4 0 0 25 0 3 0 348961632 51077120 10921 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29898/tid=29901] ppid=29896 vsize=49880 CPUtime=12.32
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 5367 0 0 0 1227 5 0 0 25 0 3 0 348961632 51077120 10921 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 49880

[startup+25.5014 s]
/proc/loadavg: 1.39 1.71 1.88 3/80 29901
/proc/meminfo: memFree=939536/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=63200 CPUtime=50.52
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 15325 0 3 0 5038 14 0 0 19 0 3 0 348961602 64716800 14436 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 15800 14436 218 20 0 15158 0
[pid=29898/tid=29900] ppid=29896 vsize=63200 CPUtime=25.17
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 7228 0 0 0 2512 5 0 0 25 0 3 0 348961632 64716800 14436 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526440 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29898/tid=29901] ppid=29896 vsize=63200 CPUtime=25.05
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 7336 0 0 0 2497 8 0 0 19 0 3 0 348961632 64716800 14436 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 63200

[startup+51.1014 s]
/proc/loadavg: 1.60 1.73 1.88 3/80 29901
/proc/meminfo: memFree=933840/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=67380 CPUtime=101.56
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 17479 0 3 0 10140 16 0 0 19 0 3 0 348961602 68997120 15635 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 16845 15635 218 20 0 16203 0
[pid=29898/tid=29900] ppid=29896 vsize=67380 CPUtime=50.74
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 8260 0 0 0 5068 6 0 0 25 0 3 0 348961632 68997120 15635 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134530005 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29898/tid=29901] ppid=29896 vsize=67380 CPUtime=50.53
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 8458 0 0 0 5044 9 0 0 25 0 3 0 348961632 68997120 15635 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 67380

[startup+102.306 s]
/proc/loadavg: 1.82 1.77 1.89 3/80 29901
/proc/meminfo: memFree=928528/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=71868 CPUtime=203.68
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 20557 0 3 0 20349 19 0 0 19 0 3 0 348961602 73592832 16958 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 17967 16958 218 20 0 17325 0
[pid=29898/tid=29900] ppid=29896 vsize=71868 CPUtime=101.89
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 9853 0 0 0 10182 7 0 0 25 0 3 0 348961632 73592832 16958 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29898/tid=29901] ppid=29896 vsize=71868 CPUtime=101.48
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 9943 0 0 0 10138 10 0 0 25 0 3 0 348961632 73592832 16958 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.68
Current children cumulated vsize (KiB) 71868

[startup+162.301 s]
/proc/loadavg: 2.01 1.83 1.90 3/80 29901
/proc/meminfo: memFree=926224/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=75060 CPUtime=323.32
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 23088 0 3 0 32311 21 0 0 19 0 3 0 348961602 76861440 17538 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 18765 17538 218 20 0 18123 0
[pid=29898/tid=29900] ppid=29896 vsize=75060 CPUtime=161.84
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 11088 0 0 0 16175 9 0 0 25 0 3 0 348961632 76861440 17538 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29898/tid=29901] ppid=29896 vsize=75060 CPUtime=161.19
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 11239 0 0 0 16108 11 0 0 25 0 3 0 348961632 76861440 17538 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.32
Current children cumulated vsize (KiB) 75060

[startup+222.301 s]
/proc/loadavg: 2.00 1.85 1.91 3/80 29901
/proc/meminfo: memFree=918864/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=82380 CPUtime=443
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 26774 0 3 0 44275 25 0 0 19 0 3 0 348961602 84357120 19392 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 20595 19392 218 20 0 19953 0
[pid=29898/tid=29900] ppid=29896 vsize=82380 CPUtime=221.8
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 12559 0 0 0 22169 11 0 0 25 0 3 0 348961632 84357120 19392 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29898/tid=29901] ppid=29896 vsize=82380 CPUtime=220.9
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 13454 0 0 0 22077 13 0 0 25 0 3 0 348961632 84357120 19392 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443
Current children cumulated vsize (KiB) 82380

[startup+282.301 s]
/proc/loadavg: 2.00 1.88 1.91 3/80 29901
/proc/meminfo: memFree=915216/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=86204 CPUtime=562.66
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 29224 0 3 0 56238 28 0 0 19 0 3 0 348961602 88272896 20264 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 21551 20264 218 20 0 20909 0
[pid=29898/tid=29900] ppid=29896 vsize=86204 CPUtime=281.74
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 13570 0 0 0 28163 11 0 0 25 0 3 0 348961632 88272896 20264 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520200 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29898/tid=29901] ppid=29896 vsize=86204 CPUtime=280.61
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 14893 0 0 0 28046 15 0 0 25 0 3 0 348961632 88272896 20264 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.66
Current children cumulated vsize (KiB) 86204

[startup+342.301 s]
/proc/loadavg: 2.00 1.90 1.91 3/80 29901
/proc/meminfo: memFree=913424/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=87436 CPUtime=682.3
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 31570 0 3 0 68201 29 0 0 19 0 3 0 348961602 89534464 20705 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 21859 20705 218 20 0 21217 0
[pid=29898/tid=29900] ppid=29896 vsize=87436 CPUtime=341.69
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 14868 0 0 0 34157 12 0 0 25 0 3 0 348961632 89534464 20705 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29898/tid=29901] ppid=29896 vsize=87436 CPUtime=340.32
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 15941 0 0 0 34016 16 0 0 25 0 3 0 348961632 89534464 20705 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.3
Current children cumulated vsize (KiB) 87436

[startup+402.301 s]

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

/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 39744 0 0 0 189797 38 0 0 25 0 3 0 348961632 126148608 29202 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29898/tid=29901] ppid=29896 vsize=123192 CPUtime=1894.73
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 41293 0 0 0 189413 60 0 0 25 0 3 0 348961632 126148608 29202 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.37
Current children cumulated vsize (KiB) 123192

[startup+1962.3 s]
/proc/loadavg: 1.96 1.97 1.92 3/80 30099
/proc/meminfo: memFree=879312/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=123192 CPUtime=3913.05
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 83268 0 3 0 391205 100 0 0 19 0 3 0 348961602 126148608 29220 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 30798 29220 218 20 0 30156 0
[pid=29898/tid=29900] ppid=29896 vsize=123192 CPUtime=1958.06
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 40485 0 0 0 195768 38 0 0 25 0 3 0 348961632 126148608 29220 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29898/tid=29901] ppid=29896 vsize=123192 CPUtime=1954.7
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 42022 0 0 0 195409 61 0 0 25 0 3 0 348961632 126148608 29220 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.05
Current children cumulated vsize (KiB) 123192

[startup+2022.3 s]
/proc/loadavg: 1.98 1.97 1.92 3/80 30099
/proc/meminfo: memFree=878928/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=123544 CPUtime=4032.73
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 85005 0 3 0 403171 102 0 0 19 0 3 0 348961602 126509056 29307 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 30886 29307 218 20 0 30244 0
[pid=29898/tid=29900] ppid=29896 vsize=123544 CPUtime=2017.79
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 41406 0 0 0 201740 39 0 0 25 0 3 0 348961632 126509056 29307 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29898/tid=29901] ppid=29896 vsize=123544 CPUtime=2014.65
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 42838 0 0 0 201403 62 0 0 25 0 3 0 348961632 126509056 29307 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4032.73
Current children cumulated vsize (KiB) 123544

[startup+2082.31 s]
/proc/loadavg: 1.99 1.97 1.92 3/80 30099
/proc/meminfo: memFree=878352/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=123752 CPUtime=4152.41
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 86724 0 3 0 415137 104 0 0 19 0 3 0 348961602 126722048 29442 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 30938 29442 218 20 0 30296 0
[pid=29898/tid=29900] ppid=29896 vsize=123752 CPUtime=2077.5
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 42272 0 0 0 207710 40 0 0 24 0 3 0 348961632 126722048 29442 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29898/tid=29901] ppid=29896 vsize=123752 CPUtime=2074.61
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 43691 0 0 0 207398 63 0 0 17 0 3 0 348961632 126722048 29442 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.41
Current children cumulated vsize (KiB) 123752

[startup+2142.3 s]
/proc/loadavg: 1.99 1.97 1.92 3/80 30099
/proc/meminfo: memFree=877648/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=125172 CPUtime=4272.07
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 88354 0 3 0 427102 105 0 0 19 0 3 0 348961602 128176128 29620 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 31293 29620 218 20 0 30651 0
[pid=29898/tid=29900] ppid=29896 vsize=125172 CPUtime=2137.21
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 43074 0 0 0 213681 40 0 0 25 0 3 0 348961632 128176128 29620 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29898/tid=29901] ppid=29896 vsize=125172 CPUtime=2134.55
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 44519 0 0 0 213392 63 0 0 25 0 3 0 348961632 128176128 29620 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.07
Current children cumulated vsize (KiB) 125172

[startup+2202.3 s]
/proc/loadavg: 1.99 1.97 1.92 3/80 30099
/proc/meminfo: memFree=877456/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=125360 CPUtime=4391.74
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 89953 0 3 0 439068 106 0 0 19 0 3 0 348961602 128368640 29701 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 31340 29701 218 20 0 30698 0
[pid=29898/tid=29900] ppid=29896 vsize=125360 CPUtime=2196.92
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 43925 0 0 0 219651 41 0 0 25 0 3 0 348961632 128368640 29701 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29898/tid=29901] ppid=29896 vsize=125360 CPUtime=2194.52
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 45267 0 0 0 219388 64 0 0 25 0 3 0 348961632 128368640 29701 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520093 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4391.74
Current children cumulated vsize (KiB) 125360

[startup+2262.3 s]
/proc/loadavg: 1.99 1.97 1.92 3/80 30099
/proc/meminfo: memFree=877200/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=126568 CPUtime=4511.41
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 91236 0 3 0 451033 108 0 0 19 0 3 0 348961602 129605632 29796 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 31642 29796 218 20 0 31000 0
[pid=29898/tid=29900] ppid=29896 vsize=126568 CPUtime=2256.64
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 44589 0 0 0 225623 41 0 0 22 0 3 0 348961632 129605632 29796 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29898/tid=29901] ppid=29896 vsize=126568 CPUtime=2254.47
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 45886 0 0 0 225382 65 0 0 22 0 3 0 348961632 129605632 29796 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4511.41
Current children cumulated vsize (KiB) 126568

[startup+2322.3 s]
/proc/loadavg: 1.99 1.97 1.92 3/80 30099
/proc/meminfo: memFree=876816/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=126568 CPUtime=4631.08
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 92736 0 3 0 462999 109 0 0 19 0 3 0 348961602 129605632 29844 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 31642 29844 218 20 0 31000 0
[pid=29898/tid=29900] ppid=29896 vsize=126568 CPUtime=2316.35
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 45339 0 0 0 231593 42 0 0 25 0 3 0 348961632 129605632 29844 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29898/tid=29901] ppid=29896 vsize=126568 CPUtime=2314.43
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 46636 0 0 0 231377 66 0 0 25 0 3 0 348961632 129605632 29844 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4631.08
Current children cumulated vsize (KiB) 126568

[startup+2382.3 s]
/proc/loadavg: 1.99 1.97 1.92 3/80 30099
/proc/meminfo: memFree=874064/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=128616 CPUtime=4750.75
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 94991 0 3 0 474963 112 0 0 19 0 3 0 348961602 131702784 30515 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 32154 30515 218 20 0 31512 0
[pid=29898/tid=29900] ppid=29896 vsize=128616 CPUtime=2376.06
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 46805 0 0 0 237562 44 0 0 25 0 3 0 348961632 131702784 30515 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29898/tid=29901] ppid=29896 vsize=128616 CPUtime=2374.39
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 47425 0 0 0 237372 67 0 0 25 0 3 0 348961632 131702784 30515 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4750.75
Current children cumulated vsize (KiB) 128616

[startup+2442.3 s]
/proc/loadavg: 1.94 1.96 1.91 3/80 30099
/proc/meminfo: memFree=873872/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=128616 CPUtime=4870.42
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 96270 0 3 0 486928 114 0 0 19 0 3 0 348961602 131702784 30540 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 32154 30540 218 20 0 31512 0
[pid=29898/tid=29900] ppid=29896 vsize=128616 CPUtime=2435.78
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 47399 0 0 0 243533 45 0 0 25 0 3 0 348961632 131702784 30540 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29898/tid=29901] ppid=29896 vsize=128616 CPUtime=2434.34
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 48110 0 0 0 243366 68 0 0 25 0 3 0 348961632 131702784 30540 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4870.42
Current children cumulated vsize (KiB) 128616

[startup+2502.3 s]
/proc/loadavg: 1.98 1.96 1.91 3/80 30099
/proc/meminfo: memFree=873680/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=129640 CPUtime=4990.08
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 97678 0 3 0 498893 115 0 0 19 0 3 0 348961602 132751360 30628 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 32410 30628 218 20 0 31768 0
[pid=29898/tid=29900] ppid=29896 vsize=129640 CPUtime=2495.68
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 48125 0 0 0 249522 46 0 0 25 0 3 0 348961632 132751360 30628 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29898/tid=29901] ppid=29896 vsize=129640 CPUtime=2494.1
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 48792 0 0 0 249342 68 0 0 25 0 3 0 348961632 132751360 30628 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4990.08
Current children cumulated vsize (KiB) 129640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.3 s]
/proc/loadavg: 1.98 1.96 1.91 3/80 30099
/proc/meminfo: memFree=873680/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=129640 CPUtime=5000.07
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 97810 0 3 0 499891 116 0 0 19 0 3 0 348961602 132751360 30628 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 32410 30628 218 20 0 31768 0
[pid=29898/tid=29900] ppid=29896 vsize=129640 CPUtime=2500.68
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 48191 0 0 0 250022 46 0 0 25 0 3 0 348961632 132751360 30628 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29898/tid=29901] ppid=29896 vsize=129640 CPUtime=2499.08
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 48858 0 0 0 249840 68 0 0 25 0 3 0 348961632 132751360 30628 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 129640

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

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

[startup+2507.3 s]
/proc/loadavg: 1.98 1.96 1.91 3/80 30099
/proc/meminfo: memFree=873680/2055920 swapFree=4151396/4192956
[pid=29898] ppid=29896 vsize=129640 CPUtime=5000.07
/proc/29898/stat : 29898 (MiraXTv3_dyn) S 29896 29898 29825 0 -1 4194304 97810 0 3 0 499891 116 0 0 19 0 3 0 348961602 132751360 30628 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29898/statm: 32410 30628 218 20 0 31768 0
[pid=29898/tid=29900] ppid=29896 vsize=129640 CPUtime=2500.68
/proc/29898/task/29900/stat : 29900 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 48191 0 0 0 250022 46 0 0 25 0 3 0 348961632 132751360 30628 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29898/tid=29901] ppid=29896 vsize=129640 CPUtime=2499.08
/proc/29898/task/29901/stat : 29901 (MiraXTv3_dyn) R 29896 29898 29825 0 -1 4194368 48858 0 0 0 249840 68 0 0 25 0 3 0 348961632 132751360 30628 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 129640

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.33
CPU time (s): 5000.11
CPU user time (s): 4998.93
CPU system time (s): 1.17982
CPU usage (%): 199.419
Max. virtual memory (cumulated for all children) (KiB): 129640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.93
system time used= 1.17982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97810
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1327
involuntary context switches= 94227

runsolver used 2.43063 second user time and 6.73998 second system time

The end

Launcher Data (download as text)

Begin job on node35 on Sat May 12 22:54:22 UTC 2007

IDJOB= 426319
IDBENCH= 20144
IDSOLVER= 196
FILE ID= node35/426319-1179010461

PBS_JOBID= 5252980

Free space on /tmp= 66550 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v140/unif-k7-r85-v140-c11900-S342579098-10.cnf
COMMAND LINE= /tmp/evaluation/426319-1179010461/MiraXTv3_dyn /tmp/evaluation/426319-1179010461/instance-426319-1179010461.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-426319-1179010461 -o ROOT/results/node35/solver-426319-1179010461 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426319-1179010461/MiraXTv3_dyn /tmp/evaluation/426319-1179010461/instance-426319-1179010461.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  868195ba98c78e25f7a7fe087bb75c79

RANDOM SEED= 142594938

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:        998528 kB
Buffers:         53652 kB
Cached:         844988 kB
SwapCached:       9024 kB
Active:         574796 kB
Inactive:       347460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        998528 kB
SwapTotal:     4192956 kB
SwapFree:      4151396 kB
Dirty:            4388 kB
Writeback:           0 kB
Mapped:          30660 kB
Slab:           120496 kB
Committed_AS:  7638444 kB
PageTables:       1996 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 node35 on Sat May 12 23:36:11 UTC 2007