Trace number 426299

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.08 2507.04

General information on the benchmark

Namerandom/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1535300821-05.cnf
MD5SUM93f37c46a26d2e8e869ca178d98d46ca
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of clauses18700
Sum of the clauses size130900
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 518700

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/node4/watcher-426299-1179007616 -o ROOT/results/node4/solver-426299-1179007616 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426299-1179007616/MiraXTv3_dyn /tmp/evaluation/426299-1179007616/instance-426299-1179007616.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: 2.02 2.01 2.00 3/77 32655
/proc/meminfo: memFree=1537616/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=3788 CPUtime=0
/proc/32655/stat : 32655 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194304 404 0 0 0 0 0 0 0 18 0 1 0 376799345 3878912 379 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 0 0 0
/proc/32655/statm: 947 382 205 20 0 305 0

[startup+0.071637 s]
/proc/loadavg: 2.02 2.01 2.00 3/77 32655
/proc/meminfo: memFree=1537616/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=5636 CPUtime=0.06
/proc/32655/stat : 32655 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194304 875 0 0 0 6 0 0 0 18 0 1 0 376799345 5771264 850 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583912 0 0 4096 0 0 0 0 17 0 0 0
/proc/32655/statm: 1409 850 207 20 0 767 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5636

[startup+0.10164 s]
/proc/loadavg: 2.02 2.01 2.00 3/77 32655
/proc/meminfo: memFree=1537616/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=5636 CPUtime=0.09
/proc/32655/stat : 32655 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194304 875 0 0 0 9 0 0 0 18 0 1 0 376799345 5771264 850 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583933 0 0 4096 0 0 0 0 17 0 0 0
/proc/32655/statm: 1409 850 207 20 0 767 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5636

[startup+0.301658 s]
/proc/loadavg: 2.02 2.01 2.00 3/77 32655
/proc/meminfo: memFree=1537616/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=5800 CPUtime=0.29
/proc/32655/stat : 32655 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194304 919 0 0 0 29 0 0 0 19 0 1 0 376799345 5939200 894 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583912 0 0 4096 0 0 0 0 17 0 0 0
/proc/32655/statm: 1450 894 207 20 0 808 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5800

[startup+0.701704 s]
/proc/loadavg: 2.02 2.01 2.00 3/77 32655
/proc/meminfo: memFree=1537616/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=14448 CPUtime=0.9
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 1933 0 0 0 90 0 0 0 21 0 3 0 376799345 14794752 1868 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 3612 1868 218 20 0 2970 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 14448

[startup+1.50178 s]
/proc/loadavg: 2.02 2.01 2.00 3/80 32658
/proc/meminfo: memFree=1527992/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=21704 CPUtime=2.5
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 3746 0 0 0 249 1 0 0 21 0 3 0 376799345 22224896 3681 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 5426 3681 218 20 0 4784 0
[pid=32655/tid=32657] ppid=32653 vsize=21704 CPUtime=1.02
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 1437 0 0 0 102 0 0 0 18 0 3 0 376799392 22224896 3681 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526457 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=21704 CPUtime=1
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 1328 0 0 0 100 0 0 0 17 0 3 0 376799392 22224896 3681 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 21704

[startup+3.10294 s]
/proc/loadavg: 2.01 2.01 2.00 3/80 32658
/proc/meminfo: memFree=1518904/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=29776 CPUtime=5.7
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 5732 0 0 0 567 3 0 0 21 0 3 0 376799345 30490624 5667 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 7444 5667 218 20 0 6802 0
[pid=32655/tid=32657] ppid=32653 vsize=29776 CPUtime=2.62
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 2449 0 0 0 261 1 0 0 25 0 3 0 376799392 30490624 5667 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134521753 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=29776 CPUtime=2.6
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 2302 0 0 0 259 1 0 0 21 0 3 0 376799392 30490624 5667 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 29776

[startup+6.30124 s]
/proc/loadavg: 2.01 2.01 2.00 3/80 32658
/proc/meminfo: memFree=1507576/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=41044 CPUtime=12.08
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 8748 0 0 0 1203 5 0 0 21 0 3 0 376799345 42029056 8611 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 10261 8611 218 20 0 9619 0
[pid=32655/tid=32657] ppid=32653 vsize=41044 CPUtime=5.81
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 3774 0 0 0 580 1 0 0 25 0 3 0 376799392 42029056 8611 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=41044 CPUtime=5.79
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 3993 0 0 0 576 3 0 0 25 0 3 0 376799392 42029056 8611 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.08
Current children cumulated vsize (KiB) 41044

[startup+12.7029 s]
/proc/loadavg: 2.01 2.01 2.00 3/80 32658
/proc/meminfo: memFree=1479224/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=68160 CPUtime=24.85
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 15741 0 0 0 2475 10 0 0 21 0 3 0 376799345 69795840 15388 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 17040 15388 218 20 0 16398 0
[pid=32655/tid=32657] ppid=32653 vsize=68160 CPUtime=12.21
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 7480 0 0 0 1217 4 0 0 25 0 3 0 376799392 69795840 15388 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526463 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=68160 CPUtime=12.15
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 7280 0 0 0 1210 5 0 0 25 0 3 0 376799392 69795840 15388 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134521759 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.85
Current children cumulated vsize (KiB) 68160

[startup+25.5011 s]
/proc/loadavg: 2.01 2.01 2.00 3/80 32658
/proc/meminfo: memFree=1468216/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=76632 CPUtime=50.39
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 18446 0 0 0 5025 14 0 0 21 0 3 0 376799345 78471168 17643 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 19158 17643 218 20 0 18516 0
[pid=32655/tid=32657] ppid=32653 vsize=76632 CPUtime=25
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 8553 0 0 0 2495 5 0 0 25 0 3 0 376799392 78471168 17643 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11023995 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=76632 CPUtime=24.91
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 8912 0 0 0 2483 8 0 0 25 0 3 0 376799392 78471168 17643 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 76632

[startup+51.1015 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 32658
/proc/meminfo: memFree=1447608/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=97444 CPUtime=101.45
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 24477 0 0 0 10124 21 0 0 21 0 3 0 376799345 99782656 22920 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 24361 22920 218 20 0 23719 0
[pid=32655/tid=32657] ppid=32653 vsize=97444 CPUtime=50.56
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 11661 0 0 0 5048 8 0 0 25 0 3 0 376799392 99782656 22920 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=97444 CPUtime=50.41
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 11835 0 0 0 5029 12 0 0 25 0 3 0 376799392 99782656 22920 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 97444

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 32658
/proc/meminfo: memFree=1439096/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=103628 CPUtime=203.58
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 27731 0 0 0 20334 24 0 0 21 0 3 0 376799345 106115072 24615 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 25907 24615 218 20 0 25265 0
[pid=32655/tid=32657] ppid=32653 vsize=103628 CPUtime=101.7
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 13480 0 0 0 10161 9 0 0 25 0 3 0 376799392 106115072 24615 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=103628 CPUtime=101.39
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 13270 0 0 0 10125 14 0 0 25 0 3 0 376799392 106115072 24615 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.58
Current children cumulated vsize (KiB) 103628

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 32658
/proc/meminfo: memFree=1434680/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=108468 CPUtime=323.26
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 30327 0 0 0 32299 27 0 0 21 0 3 0 376799345 111071232 25716 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 27117 25716 218 20 0 26475 0
[pid=32655/tid=32657] ppid=32653 vsize=108468 CPUtime=161.64
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 14699 0 0 0 16154 10 0 0 25 0 3 0 376799392 111071232 25716 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=108468 CPUtime=161.13
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 14647 0 0 0 16097 16 0 0 25 0 3 0 376799392 111071232 25716 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.26
Current children cumulated vsize (KiB) 108468

[startup+222.302 s]
/proc/loadavg: 2.04 2.01 2.00 3/80 32658
/proc/meminfo: memFree=1431928/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=111132 CPUtime=442.91
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 32756 0 0 0 44261 30 0 0 21 0 3 0 376799345 113799168 26390 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 27783 26390 218 20 0 27141 0
[pid=32655/tid=32657] ppid=32653 vsize=111132 CPUtime=221.56
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 15874 0 0 0 22145 11 0 0 25 0 3 0 376799392 113799168 26390 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=111132 CPUtime=220.86
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 15901 0 0 0 22069 17 0 0 25 0 3 0 376799392 113799168 26390 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134521170 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.91
Current children cumulated vsize (KiB) 111132

[startup+282.302 s]
/proc/loadavg: 2.07 2.02 2.00 3/80 32658
/proc/meminfo: memFree=1431288/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=112492 CPUtime=562.57
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 34377 0 0 0 56226 31 0 0 21 0 3 0 376799345 115191808 26581 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 28123 26581 218 20 0 27481 0
[pid=32655/tid=32657] ppid=32653 vsize=112492 CPUtime=281.48
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 16679 0 0 0 28136 12 0 0 25 0 3 0 376799392 115191808 26581 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=112492 CPUtime=280.6
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 16717 0 0 0 28042 18 0 0 25 0 3 0 376799392 115191808 26581 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.57
Current children cumulated vsize (KiB) 112492

[startup+342.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/80 32658
/proc/meminfo: memFree=1430520/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=112924 CPUtime=682.25
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 35912 0 0 0 68192 33 0 0 21 0 3 0 376799345 115634176 26751 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 28231 26751 218 20 0 27589 0
[pid=32655/tid=32657] ppid=32653 vsize=112924 CPUtime=341.43
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 17496 0 0 0 34130 13 0 0 25 0 3 0 376799392 115634176 26751 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=112924 CPUtime=340.34
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 17435 0 0 0 34015 19 0 0 25 0 3 0 376799392 115634176 26751 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.25
Current children cumulated vsize (KiB) 112924

[startup+402.301 s]

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

/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 39512 0 0 0 183953 30 0 0 25 0 3 0 376799392 155021312 36421 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=151388 CPUtime=1833.88
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 39171 0 0 0 183337 51 0 0 25 0 3 0 376799392 155021312 36421 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3674.2
Current children cumulated vsize (KiB) 151388

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 32660
/proc/meminfo: memFree=1392184/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=151520 CPUtime=3793.88
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 80999 0 0 0 379304 84 0 0 21 0 3 0 376799345 155156480 36355 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 37880 36355 218 20 0 37238 0
[pid=32655/tid=32657] ppid=32653 vsize=151520 CPUtime=1899.76
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 40197 0 0 0 189946 30 0 0 25 0 3 0 376799392 155156480 36355 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=151520 CPUtime=1893.63
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 39821 0 0 0 189311 52 0 0 25 0 3 0 376799392 155156480 36355 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.88
Current children cumulated vsize (KiB) 151520

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 32660
/proc/meminfo: memFree=1392120/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=151520 CPUtime=3913.56
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 82060 0 0 0 391271 85 0 0 21 0 3 0 376799345 155156480 36376 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 37880 36376 218 20 0 37238 0
[pid=32655/tid=32657] ppid=32653 vsize=151520 CPUtime=1959.7
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 40737 0 0 0 195939 31 0 0 25 0 3 0 376799392 155156480 36376 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=151520 CPUtime=1953.38
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 40342 0 0 0 195285 53 0 0 25 0 3 0 376799392 155156480 36376 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.56
Current children cumulated vsize (KiB) 151520

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 32660
/proc/meminfo: memFree=1391608/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=152056 CPUtime=4033.23
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 83399 0 0 0 403236 87 0 0 21 0 3 0 376799345 155705344 36479 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 38014 36479 218 20 0 37372 0
[pid=32655/tid=32657] ppid=32653 vsize=152056 CPUtime=2019.62
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 41426 0 0 0 201931 31 0 0 25 0 3 0 376799392 155705344 36479 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=152056 CPUtime=2013.12
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 40992 0 0 0 201258 54 0 0 25 0 3 0 376799392 155705344 36479 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.23
Current children cumulated vsize (KiB) 152056

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 32660
/proc/meminfo: memFree=1389560/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=154124 CPUtime=4152.93
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 85149 0 0 0 415204 89 0 0 21 0 3 0 376799345 157822976 36990 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 38531 36990 218 20 0 37889 0
[pid=32655/tid=32657] ppid=32653 vsize=154124 CPUtime=2079.58
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 42656 0 0 0 207925 33 0 0 25 0 3 0 376799392 157822976 36990 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=154124 CPUtime=2072.87
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 41512 0 0 0 207232 55 0 0 25 0 3 0 376799392 157822976 36990 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.93
Current children cumulated vsize (KiB) 154124

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 32660
/proc/meminfo: memFree=1389112/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=155480 CPUtime=4272.61
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 86673 0 0 0 427171 90 0 0 21 0 3 0 376799345 159211520 37137 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 38870 37137 218 20 0 38228 0
[pid=32655/tid=32657] ppid=32653 vsize=155480 CPUtime=2139.51
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 43390 0 0 0 213918 33 0 0 25 0 3 0 376799392 159211520 37137 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=155480 CPUtime=2132.61
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 42302 0 0 0 213206 55 0 0 25 0 3 0 376799392 159211520 37137 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.61
Current children cumulated vsize (KiB) 155480

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 32660
/proc/meminfo: memFree=1387576/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=156880 CPUtime=4392.26
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 88254 0 0 0 439135 91 0 0 21 0 3 0 376799345 160645120 37482 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 39220 37482 218 20 0 38578 0
[pid=32655/tid=32657] ppid=32653 vsize=156880 CPUtime=2199.44
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 44449 0 0 0 219910 34 0 0 25 0 3 0 376799392 160645120 37482 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32655/tid=32658] ppid=32653 vsize=156880 CPUtime=2192.34
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 42824 0 0 0 219178 56 0 0 25 0 3 0 376799392 160645120 37482 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4392.26
Current children cumulated vsize (KiB) 156880

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 32660
/proc/meminfo: memFree=1387576/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=156880 CPUtime=4511.95
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 89592 0 0 0 451102 93 0 0 21 0 3 0 376799345 160645120 37491 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 39220 37491 218 20 0 38578 0
[pid=32655/tid=32657] ppid=32653 vsize=156880 CPUtime=2259.26
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 45135 0 0 0 225891 35 0 0 25 0 3 0 376799392 160645120 37491 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32655/tid=32658] ppid=32653 vsize=156880 CPUtime=2252.21
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 43476 0 0 0 225164 57 0 0 25 0 3 0 376799392 160645120 37491 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4511.95
Current children cumulated vsize (KiB) 156880

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 32660
/proc/meminfo: memFree=1387512/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=156880 CPUtime=4631.61
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 90726 0 0 0 463067 94 0 0 21 0 3 0 376799345 160645120 37513 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 39220 37513 218 20 0 38578 0
[pid=32655/tid=32657] ppid=32653 vsize=156880 CPUtime=2319
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 45590 0 0 0 231864 36 0 0 25 0 3 0 376799392 160645120 37513 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526377 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32655/tid=32658] ppid=32653 vsize=156880 CPUtime=2312.13
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 44155 0 0 0 231155 58 0 0 25 0 3 0 376799392 160645120 37513 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4631.61
Current children cumulated vsize (KiB) 156880

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 32660
/proc/meminfo: memFree=1387192/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=157268 CPUtime=4751.28
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 92022 0 0 0 475032 96 0 0 21 0 3 0 376799345 161042432 37573 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 39317 37573 218 20 0 38675 0
[pid=32655/tid=32657] ppid=32653 vsize=157268 CPUtime=2378.74
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 46235 0 0 0 237838 36 0 0 25 0 3 0 376799392 161042432 37573 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32655/tid=32658] ppid=32653 vsize=157268 CPUtime=2372.05
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 44806 0 0 0 237147 58 0 0 25 0 3 0 376799392 161042432 37573 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4751.28
Current children cumulated vsize (KiB) 157268

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 32660
/proc/meminfo: memFree=1387128/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=157268 CPUtime=4870.97
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 93202 0 0 0 487000 97 0 0 21 0 3 0 376799345 161042432 37576 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 39317 37576 218 20 0 38675 0
[pid=32655/tid=32657] ppid=32653 vsize=157268 CPUtime=2438.48
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 46830 0 0 0 243811 37 0 0 25 0 3 0 376799392 161042432 37576 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32655/tid=32658] ppid=32653 vsize=157268 CPUtime=2431.99
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 45391 0 0 0 243141 58 0 0 25 0 3 0 376799392 161042432 37576 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4870.97
Current children cumulated vsize (KiB) 157268

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 32660
/proc/meminfo: memFree=1387256/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=157268 CPUtime=4990.66
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 94450 0 0 0 498968 98 0 0 21 0 3 0 376799345 161042432 37784 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 39317 37784 218 20 0 38675 0
[pid=32655/tid=32657] ppid=32653 vsize=157268 CPUtime=2498.23
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 47415 0 0 0 249785 38 0 0 25 0 3 0 376799392 161042432 37784 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32655/tid=32658] ppid=32653 vsize=157268 CPUtime=2491.94
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 46054 0 0 0 249135 59 0 0 25 0 3 0 376799392 161042432 37784 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4990.66
Current children cumulated vsize (KiB) 157268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 32660
/proc/meminfo: memFree=1381496/2055920 swapFree=4141224/4192956
[pid=32655] ppid=32653 vsize=162388 CPUtime=5000.04
/proc/32655/stat : 32655 (MiraXTv3_dyn) S 32653 32655 32583 0 -1 4194304 95858 0 0 0 499903 101 0 0 21 0 3 0 376799345 166285312 39062 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32655/statm: 40597 39062 218 20 0 39955 0
[pid=32655/tid=32657] ppid=32653 vsize=162388 CPUtime=2502.91
/proc/32655/task/32657/stat : 32657 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 47480 0 0 0 250253 38 0 0 25 0 3 0 376799392 166285312 39062 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32655/tid=32658] ppid=32653 vsize=162388 CPUtime=2496.64
/proc/32655/task/32658/stat : 32658 (MiraXTv3_dyn) R 32653 32655 32583 0 -1 4194368 47397 0 0 0 249602 62 0 0 25 0 3 0 376799392 166285312 39062 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.04
Current children cumulated vsize (KiB) 162388

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.04
CPU time (s): 5000.08
CPU user time (s): 4999.04
CPU system time (s): 1.04084
CPU usage (%): 199.442
Max. virtual memory (cumulated for all children) (KiB): 162388

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

runsolver used 2.50262 second user time and 6.63599 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat May 12 22:06:56 UTC 2007

IDJOB= 426299
IDBENCH= 20124
IDSOLVER= 196
FILE ID= node4/426299-1179007616

PBS_JOBID= 5252866

Free space on /tmp= 66548 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v220/unif-k7-r85-v220-c18700-S1535300821-05.cnf
COMMAND LINE= /tmp/evaluation/426299-1179007616/MiraXTv3_dyn /tmp/evaluation/426299-1179007616/instance-426299-1179007616.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-426299-1179007616 -o ROOT/results/node4/solver-426299-1179007616 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426299-1179007616/MiraXTv3_dyn /tmp/evaluation/426299-1179007616/instance-426299-1179007616.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  93f37c46a26d2e8e869ca178d98d46ca

RANDOM SEED= 159608410

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1537832 kB
Buffers:         50184 kB
Cached:         378308 kB
SwapCached:      15684 kB
Active:         140636 kB
Inactive:       311216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1537832 kB
SwapTotal:     4192956 kB
SwapFree:      4141224 kB
Dirty:            4584 kB
Writeback:           0 kB
Mapped:          29772 kB
Slab:            51680 kB
Committed_AS: 10003328 kB
PageTables:       1816 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= 66548 MiB

End job on node4 on Sat May 12 22:48:45 UTC 2007