Trace number 426226

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.22 2506.95

General information on the benchmark

Namerandom/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1791291573-05.cnf
MD5SUM2690c322a31628af7bf19c266218b572
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark60.9557
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses12000
Sum of the clauses size60000
Maximum clause length5
Minimum clause length5
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 512000
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/node6/watcher-426226-1179000256 -o ROOT/results/node6/solver-426226-1179000256 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426226-1179000256/MiraXTv3_dyn /tmp/evaluation/426226-1179000256/instance-426226-1179000256.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.95 2.01 1.99 3/77 9380
/proc/meminfo: memFree=1436784/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=3920 CPUtime=0
/proc/9380/stat : 9380 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 376063225 4014080 338 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 2626509 0 0 4096 0 0 0 0 17 0 0 0
/proc/9380/statm: 980 338 206 20 0 338 0

[startup+0.025194 s]
/proc/loadavg: 1.95 2.01 1.99 3/77 9380
/proc/meminfo: memFree=1436784/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=4748 CPUtime=0.02
/proc/9380/stat : 9380 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194304 594 0 0 0 2 0 0 0 18 0 1 0 376063225 4861952 569 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583663 0 0 4096 0 0 0 0 17 0 0 0
/proc/9380/statm: 1187 569 207 20 0 545 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4748

[startup+0.101208 s]
/proc/loadavg: 1.95 2.01 1.99 3/77 9380
/proc/meminfo: memFree=1436784/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=9868 CPUtime=0.11
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 1079 0 0 0 11 0 0 0 18 0 3 0 376063225 10104832 1014 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 2467 1014 218 20 0 1825 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9868

[startup+0.301233 s]
/proc/loadavg: 1.95 2.01 1.99 3/77 9380
/proc/meminfo: memFree=1436784/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=12080 CPUtime=0.5
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 1757 0 0 0 50 0 0 0 18 0 3 0 376063225 12369920 1692 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 3020 1693 218 20 0 2378 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 12080

[startup+0.701281 s]
/proc/loadavg: 1.95 2.01 1.99 3/77 9380
/proc/meminfo: memFree=1436784/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=18500 CPUtime=1.31
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 3091 0 0 0 130 1 0 0 18 0 3 0 376063225 18944000 3026 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 4625 3026 218 20 0 3983 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 18500

[startup+1.50238 s]
/proc/loadavg: 1.95 2.01 1.99 3/80 9383
/proc/meminfo: memFree=1421592/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=27144 CPUtime=2.9
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 5379 0 0 0 288 2 0 0 18 0 3 0 376063225 27795456 5314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 6786 5314 218 20 0 6144 0
[pid=9380/tid=9382] ppid=9378 vsize=27144 CPUtime=1.41
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 2404 0 0 0 141 0 0 0 18 0 3 0 376063233 27795456 5314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9380/tid=9383] ppid=9378 vsize=27144 CPUtime=1.4
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 2277 0 0 0 139 1 0 0 21 0 3 0 376063233 27795456 5314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 27144

[startup+3.10257 s]
/proc/loadavg: 1.95 2.01 1.99 3/80 9383
/proc/meminfo: memFree=1409496/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=35116 CPUtime=6.1
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 7248 0 0 0 606 4 0 0 18 0 3 0 376063225 35958784 7183 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 8779 7183 218 20 0 8137 0
[pid=9380/tid=9382] ppid=9378 vsize=35116 CPUtime=3.02
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 3374 0 0 0 301 1 0 0 25 0 3 0 376063233 35958784 7183 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565509 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9380/tid=9383] ppid=9378 vsize=35116 CPUtime=3
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 3176 0 0 0 297 3 0 0 24 0 3 0 376063233 35958784 7183 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134521312 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 35116

[startup+6.30194 s]
/proc/loadavg: 2.03 2.03 2.00 3/80 9383
/proc/meminfo: memFree=1394072/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=54856 CPUtime=12.47
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 12390 0 0 0 1239 8 0 0 18 0 3 0 376063225 56172544 12253 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 13714 12253 218 20 0 13072 0
[pid=9380/tid=9382] ppid=9378 vsize=54856 CPUtime=6.21
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 5753 0 0 0 619 2 0 0 25 0 3 0 376063233 56172544 12253 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520227 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9380/tid=9383] ppid=9378 vsize=54856 CPUtime=6.18
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 5939 0 0 0 613 5 0 0 17 0 3 0 376063233 56172544 12254 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 54856

[startup+12.7017 s]
/proc/loadavg: 2.03 2.03 2.00 3/80 9383
/proc/meminfo: memFree=1350488/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=94716 CPUtime=25.24
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 22702 0 0 0 2506 18 0 0 18 0 3 0 376063225 96989184 22297 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 23679 22297 218 20 0 23037 0
[pid=9380/tid=9382] ppid=9378 vsize=94716 CPUtime=12.6
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 11123 0 0 0 1254 6 0 0 25 0 3 0 376063233 96989184 22297 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9380/tid=9383] ppid=9378 vsize=94716 CPUtime=12.56
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 10881 0 0 0 1244 12 0 0 18 0 3 0 376063233 96989184 22297 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 94716

[startup+25.5012 s]
/proc/loadavg: 2.10 2.04 2.00 3/80 9383
/proc/meminfo: memFree=1334424/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=109264 CPUtime=50.78
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 26846 0 0 0 5056 22 0 0 18 0 3 0 376063225 111886336 26040 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 27316 26040 218 20 0 26674 0
[pid=9380/tid=9382] ppid=9378 vsize=109264 CPUtime=25.4
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 12967 0 0 0 2533 7 0 0 25 0 3 0 376063233 111886336 26040 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9380/tid=9383] ppid=9378 vsize=109264 CPUtime=25.31
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 13181 0 0 0 2516 15 0 0 25 0 3 0 376063233 111886336 26040 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 109264

[startup+51.1012 s]
/proc/loadavg: 2.12 2.06 2.01 3/80 9383
/proc/meminfo: memFree=1301720/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=140376 CPUtime=101.82
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 35427 0 0 0 10150 32 0 0 18 0 3 0 376063225 143745024 33791 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 35094 33791 218 20 0 34452 0
[pid=9380/tid=9382] ppid=9378 vsize=140376 CPUtime=50.94
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 17340 0 0 0 5083 11 0 0 25 0 3 0 376063233 143745024 33791 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526693 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9380/tid=9383] ppid=9378 vsize=140376 CPUtime=50.8
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 17389 0 0 0 5060 20 0 0 25 0 3 0 376063233 143745024 33791 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 140376

[startup+102.306 s]
/proc/loadavg: 2.25 2.11 2.02 3/80 9383
/proc/meminfo: memFree=1293272/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=149264 CPUtime=203.98
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 39015 0 0 0 20361 37 0 0 18 0 3 0 376063225 152846336 35845 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 37316 35845 218 20 0 36674 0
[pid=9380/tid=9382] ppid=9378 vsize=149264 CPUtime=102.11
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 19653 0 0 0 10197 14 0 0 25 0 3 0 376063233 152846336 35845 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=9380/tid=9383] ppid=9378 vsize=149264 CPUtime=101.77
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 18664 0 0 0 10155 22 0 0 25 0 3 0 376063233 152846336 35845 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.98
Current children cumulated vsize (KiB) 149264

[startup+162.301 s]
/proc/loadavg: 2.25 2.13 2.03 3/80 9383
/proc/meminfo: memFree=1287256/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=154252 CPUtime=323.65
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 41926 0 0 0 32326 39 0 0 18 0 3 0 376063225 157954048 37333 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 38563 37333 218 20 0 37921 0
[pid=9380/tid=9382] ppid=9378 vsize=154252 CPUtime=162
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 21089 0 0 0 16185 15 0 0 25 0 3 0 376063233 157954048 37333 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520200 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=154252 CPUtime=161.58
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 20139 0 0 0 16134 24 0 0 25 0 3 0 376063233 157954048 37333 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526414 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.65
Current children cumulated vsize (KiB) 154252

[startup+222.301 s]
/proc/loadavg: 2.29 2.16 2.05 3/80 9383
/proc/meminfo: memFree=1284632/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=157324 CPUtime=443.31
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 44265 0 0 0 44289 42 0 0 18 0 3 0 376063225 161099776 37973 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 39331 37973 218 20 0 38689 0
[pid=9380/tid=9382] ppid=9378 vsize=157324 CPUtime=221.75
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 22002 0 0 0 22159 16 0 0 25 0 3 0 376063233 161099776 37973 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=157324 CPUtime=221.49
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 21565 0 0 0 22123 26 0 0 25 0 3 0 376063233 161099776 37973 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.31
Current children cumulated vsize (KiB) 157324

[startup+282.301 s]
/proc/loadavg: 2.34 2.19 2.07 3/80 9383
/proc/meminfo: memFree=1280728/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=161420 CPUtime=562.96
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 46559 0 0 0 56252 44 0 0 18 0 3 0 376063225 165294080 38974 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 40355 38974 218 20 0 39713 0
[pid=9380/tid=9382] ppid=9378 vsize=161420 CPUtime=281.49
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 22623 0 0 0 28132 17 0 0 25 0 3 0 376063233 165294080 38974 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=161420 CPUtime=281.39
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 23238 0 0 0 28112 27 0 0 25 0 3 0 376063233 165294080 38974 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.96
Current children cumulated vsize (KiB) 161420

[startup+342.301 s]
/proc/loadavg: 2.32 2.21 2.08 3/80 9383
/proc/meminfo: memFree=1280728/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=161420 CPUtime=682.65
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 47665 0 0 0 68219 46 0 0 18 0 3 0 376063225 165294080 38970 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 40355 38970 218 20 0 39713 0
[pid=9380/tid=9382] ppid=9378 vsize=161420 CPUtime=341.22
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 23176 0 0 0 34105 17 0 0 25 0 3 0 376063233 165294080 38970 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=161420 CPUtime=341.34
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 23791 0 0 0 34106 28 0 0 25 0 3 0 376063233 165294080 38970 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.65
Current children cumulated vsize (KiB) 161420

[startup+402.301 s]

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

/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 35453 0 0 0 189772 34 0 0 25 0 3 0 376063233 210022400 49992 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=205100 CPUtime=1896.08
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 39999 0 0 0 189556 52 0 0 25 0 3 0 376063233 210022400 49992 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.22
Current children cumulated vsize (KiB) 205100

[startup+1962.3 s]
/proc/loadavg: 2.08 2.09 2.12 3/80 9383
/proc/meminfo: memFree=1236440/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=205100 CPUtime=3913.93
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 76274 0 0 0 391305 88 0 0 18 0 3 0 376063225 210022400 50116 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 51275 50116 218 20 0 50633 0
[pid=9380/tid=9382] ppid=9378 vsize=205100 CPUtime=1958.03
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 35576 0 0 0 195768 35 0 0 25 0 3 0 376063233 210022400 50116 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=205100 CPUtime=1955.81
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 40000 0 0 0 195529 52 0 0 25 0 3 0 376063233 210022400 50116 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3913.93
Current children cumulated vsize (KiB) 205100

[startup+2022.3 s]
/proc/loadavg: 2.07 2.09 2.12 3/80 9385
/proc/meminfo: memFree=1230936/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=210400 CPUtime=4033.59
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 78166 0 0 0 403268 91 0 0 18 0 3 0 376063225 215449600 51424 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 52600 51424 218 20 0 51958 0
[pid=9380/tid=9382] ppid=9378 vsize=210400 CPUtime=2017.99
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 37468 0 0 0 201761 38 0 0 25 0 3 0 376063233 215449600 51424 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=210400 CPUtime=2015.51
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 40000 0 0 0 201499 52 0 0 25 0 3 0 376063233 215449600 51424 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4033.59
Current children cumulated vsize (KiB) 210400

[startup+2082.31 s]
/proc/loadavg: 2.07 2.08 2.11 3/80 9385
/proc/meminfo: memFree=1231000/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=210400 CPUtime=4153.25
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 79056 0 0 0 415233 92 0 0 18 0 3 0 376063225 215449600 51422 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 52600 51422 218 20 0 51958 0
[pid=9380/tid=9382] ppid=9378 vsize=210400 CPUtime=2077.94
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 38354 0 0 0 207755 39 0 0 25 0 3 0 376063233 215449600 51422 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=210400 CPUtime=2075.23
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 40004 0 0 0 207470 53 0 0 25 0 3 0 376063233 215449600 51422 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4153.25
Current children cumulated vsize (KiB) 210400

[startup+2142.3 s]
/proc/loadavg: 2.06 2.08 2.10 3/80 9385
/proc/meminfo: memFree=1231064/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=210400 CPUtime=4272.92
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 79653 0 0 0 427199 93 0 0 18 0 3 0 376063225 215449600 51391 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 52600 51391 218 20 0 51958 0
[pid=9380/tid=9382] ppid=9378 vsize=210400 CPUtime=2137.9
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 38950 0 0 0 213750 40 0 0 25 0 3 0 376063233 215449600 51391 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=210400 CPUtime=2134.94
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 40005 0 0 0 213441 53 0 0 25 0 3 0 376063233 215449600 51391 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4272.92
Current children cumulated vsize (KiB) 210400

[startup+2202.3 s]
/proc/loadavg: 2.06 2.08 2.10 3/80 9385
/proc/meminfo: memFree=1231704/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=209376 CPUtime=4392.59
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 80247 0 0 0 439164 95 0 0 18 0 3 0 376063225 214401024 51226 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 52344 51226 218 20 0 51702 0
[pid=9380/tid=9382] ppid=9378 vsize=209376 CPUtime=2197.86
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 39543 0 0 0 219745 41 0 0 25 0 3 0 376063233 214401024 51226 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526394 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=209376 CPUtime=2194.64
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 40006 0 0 0 219411 53 0 0 25 0 3 0 376063233 214401024 51226 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4392.59
Current children cumulated vsize (KiB) 209376

[startup+2262.3 s]
/proc/loadavg: 2.13 2.09 2.10 3/80 9385
/proc/meminfo: memFree=1231576/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=209664 CPUtime=4512.3
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 80894 0 0 0 451134 96 0 0 18 0 3 0 376063225 214695936 51281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 52416 51281 218 20 0 51774 0
[pid=9380/tid=9382] ppid=9378 vsize=209664 CPUtime=2257.83
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 40190 0 0 0 225741 42 0 0 25 0 3 0 376063233 214695936 51281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=209664 CPUtime=2254.38
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 40006 0 0 0 225385 53 0 0 25 0 3 0 376063233 214695936 51281 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4512.3
Current children cumulated vsize (KiB) 209664

[startup+2322.3 s]
/proc/loadavg: 2.12 2.09 2.09 3/80 9385
/proc/meminfo: memFree=1231576/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=209664 CPUtime=4631.99
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 81432 0 0 0 463102 97 0 0 18 0 3 0 376063225 214695936 51298 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 52416 51298 218 20 0 51774 0
[pid=9380/tid=9382] ppid=9378 vsize=209664 CPUtime=2317.79
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 40727 0 0 0 231737 42 0 0 25 0 3 0 376063233 214695936 51298 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530005 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=209664 CPUtime=2314.12
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 40007 0 0 0 231358 54 0 0 25 0 3 0 376063233 214695936 51298 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4631.99
Current children cumulated vsize (KiB) 209664

[startup+2382.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/80 9385
/proc/meminfo: memFree=1229272/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=211852 CPUtime=4751.64
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 82953 0 0 0 475066 98 0 0 18 0 3 0 376063225 216936448 51844 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 52963 51844 218 20 0 52321 0
[pid=9380/tid=9382] ppid=9378 vsize=211852 CPUtime=2377.71
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 41798 0 0 0 237728 43 0 0 25 0 3 0 376063233 216936448 51844 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=211852 CPUtime=2373.84
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 40457 0 0 0 237330 54 0 0 25 0 3 0 376063233 216936448 51844 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4751.64
Current children cumulated vsize (KiB) 211852

[startup+2442.3 s]
/proc/loadavg: 2.10 2.08 2.09 3/80 9385
/proc/meminfo: memFree=1226136/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=214924 CPUtime=4871.32
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 84767 0 0 0 487032 100 0 0 18 0 3 0 376063225 220082176 52608 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 53731 52608 218 20 0 53089 0
[pid=9380/tid=9382] ppid=9378 vsize=214924 CPUtime=2437.67
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 42401 0 0 0 243723 44 0 0 25 0 3 0 376063233 220082176 52608 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=214924 CPUtime=2433.56
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 41668 0 0 0 243301 55 0 0 25 0 3 0 376063233 220082176 52608 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4871.32
Current children cumulated vsize (KiB) 214924

[startup+2502.3 s]
/proc/loadavg: 2.09 2.08 2.09 3/80 9385
/proc/meminfo: memFree=1226136/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=214924 CPUtime=4990.99
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 85593 0 0 0 498998 101 0 0 18 0 3 0 376063225 220082176 52609 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 53731 52609 218 20 0 53089 0
[pid=9380/tid=9382] ppid=9378 vsize=214924 CPUtime=2497.63
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 42551 0 0 0 249718 45 0 0 25 0 3 0 376063233 220082176 52609 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=214924 CPUtime=2493.28
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 42344 0 0 0 249272 56 0 0 25 0 3 0 376063233 220082176 52609 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4990.99
Current children cumulated vsize (KiB) 214924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.91 s]
/proc/loadavg: 2.08 2.08 2.09 3/80 9385
/proc/meminfo: memFree=1226136/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=214924 CPUtime=5000.17
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 85593 0 0 0 499916 101 0 0 18 0 3 0 376063225 220082176 52609 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 53731 52609 218 20 0 53089 0
[pid=9380/tid=9382] ppid=9378 vsize=214924 CPUtime=2502.24
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 42551 0 0 0 250179 45 0 0 25 0 3 0 376063233 220082176 52609 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=214924 CPUtime=2497.85
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 42344 0 0 0 249729 56 0 0 25 0 3 0 376063233 220082176 52609 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520108 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.17
Current children cumulated vsize (KiB) 214924

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

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

[startup+2506.91 s]
/proc/loadavg: 2.08 2.08 2.09 3/80 9385
/proc/meminfo: memFree=1226136/2055924 swapFree=4143816/4192956
[pid=9380] ppid=9378 vsize=214924 CPUtime=5000.17
/proc/9380/stat : 9380 (MiraXTv3_dyn) S 9378 9380 9308 0 -1 4194304 85593 0 0 0 499916 101 0 0 18 0 3 0 376063225 220082176 52609 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/9380/statm: 53731 52609 218 20 0 53089 0
[pid=9380/tid=9382] ppid=9378 vsize=214924 CPUtime=2502.24
/proc/9380/task/9382/stat : 9382 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 42551 0 0 0 250179 45 0 0 25 0 3 0 376063233 220082176 52609 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9380/tid=9383] ppid=9378 vsize=214924 CPUtime=2497.85
/proc/9380/task/9383/stat : 9383 (MiraXTv3_dyn) R 9378 9380 9308 0 -1 4194368 42344 0 0 0 249729 56 0 0 25 0 3 0 376063233 220082176 52609 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520108 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.17
Current children cumulated vsize (KiB) 214924

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.95
CPU time (s): 5000.22
CPU user time (s): 4999.17
CPU system time (s): 1.04984
CPU usage (%): 199.455
Max. virtual memory (cumulated for all children) (KiB): 214924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.17
system time used= 1.04984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85593
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= 1166
involuntary context switches= 93700

runsolver used 2.40663 second user time and 6.72798 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Sat May 12 20:04:16 UTC 2007

IDJOB= 426226
IDBENCH= 20051
IDSOLVER= 196
FILE ID= node6/426226-1179000256

PBS_JOBID= 5252852

Free space on /tmp= 66517 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v600/unif-k5-r20-v600-c12000-S1791291573-05.cnf
COMMAND LINE= /tmp/evaluation/426226-1179000256/MiraXTv3_dyn /tmp/evaluation/426226-1179000256/instance-426226-1179000256.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-426226-1179000256 -o ROOT/results/node6/solver-426226-1179000256 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426226-1179000256/MiraXTv3_dyn /tmp/evaluation/426226-1179000256/instance-426226-1179000256.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  2690c322a31628af7bf19c266218b572

RANDOM SEED= 457353359

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.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:      2055924 kB
MemFree:       1436936 kB
Buffers:         47604 kB
Cached:         498492 kB
SwapCached:      17556 kB
Active:         275544 kB
Inactive:       295052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1436936 kB
SwapTotal:     4192956 kB
SwapFree:      4143816 kB
Dirty:            4308 kB
Writeback:           0 kB
Mapped:          29716 kB
Slab:            33920 kB
Committed_AS: 12795176 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= 66517 MiB

End job on node6 on Sat May 12 20:46:05 UTC 2007