Trace number 426296

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.16 2506.34

General information on the benchmark

Namerandom/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S232355738-04.cnf
MD5SUMa6e6a7977b07478d6ffb3f7c9e1941ba
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/node16/watcher-426296-1179007590 -o ROOT/results/node16/solver-426296-1179007590 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426296-1179007590/MiraXTv3_dyn /tmp/evaluation/426296-1179007590/instance-426296-1179007590.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.92 1.98 1.99 3/77 11176
/proc/meminfo: memFree=1654448/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=3788 CPUtime=0
/proc/11176/stat : 11176 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194304 411 0 0 0 0 0 0 0 18 0 1 0 348676693 3878912 386 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7644109 0 0 4096 0 0 0 0 17 0 0 0
/proc/11176/statm: 947 388 206 20 0 305 0

[startup+0.08668 s]
/proc/loadavg: 1.92 1.98 1.99 3/77 11176
/proc/meminfo: memFree=1654448/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=5628 CPUtime=0.08
/proc/11176/stat : 11176 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194304 871 0 0 0 8 0 0 0 18 0 1 0 348676693 5763072 846 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583912 0 0 4096 0 0 0 0 17 0 0 0
/proc/11176/statm: 1407 846 207 20 0 765 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5628

[startup+0.101676 s]
/proc/loadavg: 1.92 1.98 1.99 3/77 11176
/proc/meminfo: memFree=1654448/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=5628 CPUtime=0.09
/proc/11176/stat : 11176 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194304 871 0 0 0 9 0 0 0 18 0 1 0 348676693 5763072 846 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583871 0 0 4096 0 0 0 0 17 0 0 0
/proc/11176/statm: 1407 846 207 20 0 765 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5628

[startup+0.301633 s]
/proc/loadavg: 1.92 1.98 1.99 3/77 11176
/proc/meminfo: memFree=1654448/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=5792 CPUtime=0.29
/proc/11176/stat : 11176 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194304 916 0 0 0 29 0 0 0 19 0 1 0 348676693 5931008 891 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 0 0 0
/proc/11176/statm: 1448 891 207 20 0 806 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5792

[startup+0.701555 s]
/proc/loadavg: 1.92 1.98 1.99 3/77 11176
/proc/meminfo: memFree=1654448/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=14452 CPUtime=0.91
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 1931 0 0 0 90 1 0 0 21 0 3 0 348676693 14798848 1869 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 3613 1869 218 20 0 2971 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 14452

[startup+1.50139 s]
/proc/loadavg: 1.92 1.98 1.99 3/80 11179
/proc/meminfo: memFree=1644824/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=21708 CPUtime=2.5
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 3709 0 0 0 248 2 0 0 21 0 3 0 348676693 22228992 3647 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 5427 3647 218 20 0 4785 0
[pid=11176/tid=11178] ppid=11174 vsize=21708 CPUtime=1.01
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 1378 0 0 0 101 0 0 0 19 0 3 0 348676741 22228992 3647 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7640699 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=21708 CPUtime=1
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 1352 0 0 0 99 1 0 0 18 0 3 0 348676741 22228992 3647 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 21708

[startup+3.10105 s]
/proc/loadavg: 1.92 1.98 1.99 3/80 11179
/proc/meminfo: memFree=1635736/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=29736 CPUtime=5.7
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 5755 0 0 0 566 4 0 0 21 0 3 0 348676693 30449664 5693 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 7434 5693 218 20 0 6792 0
[pid=11176/tid=11178] ppid=11174 vsize=29736 CPUtime=2.62
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 2429 0 0 0 261 1 0 0 25 0 3 0 348676741 30449664 5693 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=29736 CPUtime=2.6
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 2347 0 0 0 258 2 0 0 21 0 3 0 348676741 30449664 5693 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 29736

[startup+6.30237 s]
/proc/loadavg: 2.01 2.00 2.00 3/80 11179
/proc/meminfo: memFree=1624344/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=41516 CPUtime=12.08
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 8805 0 0 0 1202 6 0 0 21 0 3 0 348676693 42512384 8670 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 10379 8670 218 20 0 9737 0
[pid=11176/tid=11178] ppid=11174 vsize=41516 CPUtime=5.82
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 3626 0 0 0 580 2 0 0 25 0 3 0 348676741 42512384 8670 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=41516 CPUtime=5.79
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 4200 0 0 0 575 4 0 0 25 0 3 0 348676741 42512384 8670 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.08
Current children cumulated vsize (KiB) 41516

[startup+12.701 s]
/proc/loadavg: 2.01 2.00 2.00 3/80 11179
/proc/meminfo: memFree=1596248/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=67992 CPUtime=24.85
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 15588 0 0 0 2473 12 0 0 21 0 3 0 348676693 69623808 15237 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 16998 15237 218 20 0 16356 0
[pid=11176/tid=11178] ppid=11174 vsize=67992 CPUtime=12.21
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 7165 0 0 0 1217 4 0 0 25 0 3 0 348676741 69623808 15237 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7640699 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=67992 CPUtime=12.16
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 7444 0 0 0 1209 7 0 0 25 0 3 0 348676741 69623808 15237 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.85
Current children cumulated vsize (KiB) 67992

[startup+25.5013 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11179
/proc/meminfo: memFree=1586392/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=75824 CPUtime=50.4
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 18074 0 0 0 5025 15 0 0 21 0 3 0 348676693 77643776 17333 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 18956 17333 218 20 0 18314 0
[pid=11176/tid=11178] ppid=11174 vsize=75824 CPUtime=25
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 8219 0 0 0 2495 5 0 0 25 0 3 0 348676741 77643776 17333 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=75824 CPUtime=24.91
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 8876 0 0 0 2483 8 0 0 16 0 3 0 348676741 77643776 17333 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.4
Current children cumulated vsize (KiB) 75824

[startup+51.1019 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11179
/proc/meminfo: memFree=1563864/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=97880 CPUtime=101.48
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 24643 0 0 0 10127 21 0 0 21 0 3 0 348676693 100229120 23086 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 24470 23086 218 20 0 23828 0
[pid=11176/tid=11178] ppid=11174 vsize=97880 CPUtime=50.58
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 11747 0 0 0 5048 10 0 0 25 0 3 0 348676741 100229120 23086 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=97880 CPUtime=50.41
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 11917 0 0 0 5031 10 0 0 25 0 3 0 348676741 100229120 23086 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565733 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 97880

[startup+102.305 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11179
/proc/meminfo: memFree=1556056/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=103660 CPUtime=203.61
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 27683 0 0 0 20338 23 0 0 21 0 3 0 348676693 106147840 24567 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 25915 24567 218 20 0 25273 0
[pid=11176/tid=11178] ppid=11174 vsize=103660 CPUtime=101.73
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 13504 0 0 0 10162 11 0 0 25 0 3 0 348676741 106147840 24567 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=103660 CPUtime=101.41
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 13200 0 0 0 10129 12 0 0 25 0 3 0 348676741 106147840 24567 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.61
Current children cumulated vsize (KiB) 103660

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11179
/proc/meminfo: memFree=1551704/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=108304 CPUtime=323.32
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 30425 0 0 0 32306 26 0 0 21 0 3 0 348676693 110903296 25684 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 27076 25684 218 20 0 26434 0
[pid=11176/tid=11178] ppid=11174 vsize=108304 CPUtime=161.67
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 14991 0 0 0 16156 11 0 0 25 0 3 0 348676741 110903296 25684 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=108304 CPUtime=161.17
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 14455 0 0 0 16103 14 0 0 25 0 3 0 348676741 110903296 25684 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.32
Current children cumulated vsize (KiB) 108304

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11179
/proc/meminfo: memFree=1550296/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=109352 CPUtime=443
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 32601 0 0 0 44272 28 0 0 21 0 3 0 348676693 111976448 26040 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 27338 26040 218 20 0 26696 0
[pid=11176/tid=11178] ppid=11174 vsize=109352 CPUtime=221.61
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 16149 0 0 0 22149 12 0 0 25 0 3 0 348676741 111976448 26040 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=109352 CPUtime=220.91
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 15473 0 0 0 22076 15 0 0 25 0 3 0 348676741 111976448 26040 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443
Current children cumulated vsize (KiB) 109352

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11179
/proc/meminfo: memFree=1548504/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=111608 CPUtime=562.73
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 34486 0 0 0 56243 30 0 0 21 0 3 0 348676693 114286592 26495 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 27902 26495 218 20 0 27260 0
[pid=11176/tid=11178] ppid=11174 vsize=111608 CPUtime=281.57
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 17166 0 0 0 28144 13 0 0 25 0 3 0 348676741 114286592 26495 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=111608 CPUtime=280.67
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 16341 0 0 0 28051 16 0 0 25 0 3 0 348676741 114286592 26495 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.73
Current children cumulated vsize (KiB) 111608

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11179
/proc/meminfo: memFree=1545752/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=114700 CPUtime=682.43
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 36563 0 0 0 68211 32 0 0 21 0 3 0 348676693 117452800 27207 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 28675 27207 218 20 0 28033 0
[pid=11176/tid=11178] ppid=11174 vsize=114700 CPUtime=341.53
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 18169 0 0 0 34139 14 0 0 25 0 3 0 348676741 117452800 27207 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11176/tid=11179] ppid=11174 vsize=114700 CPUtime=340.41
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 17415 0 0 0 34024 17 0 0 25 0 3 0 348676741 117452800 27207 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.43
Current children cumulated vsize (KiB) 114700

[startup+402.301 s]

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

/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 40348 0 0 0 189626 40 0 0 25 0 3 0 348676741 158257152 36821 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11176/tid=11179] ppid=11174 vsize=154548 CPUtime=1897.82
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 39184 0 0 0 189743 39 0 0 25 0 3 0 348676741 158257152 36821 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.97
Current children cumulated vsize (KiB) 154548

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11181
/proc/meminfo: memFree=1507160/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=154548 CPUtime=3914.68
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 81878 0 0 0 391387 81 0 0 21 0 3 0 348676693 158257152 36823 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 38637 36823 218 20 0 37995 0
[pid=11176/tid=11178] ppid=11174 vsize=154548 CPUtime=1956.43
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 40999 0 0 0 195602 41 0 0 25 0 3 0 348676741 158257152 36823 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11176/tid=11179] ppid=11174 vsize=154548 CPUtime=1957.78
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 39900 0 0 0 195739 39 0 0 25 0 3 0 348676741 158257152 36823 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3914.68
Current children cumulated vsize (KiB) 154548

[startup+2022.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/80 11181
/proc/meminfo: memFree=1506712/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=154732 CPUtime=4034.39
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 83343 0 0 0 403357 82 0 0 21 0 3 0 348676693 158445568 36923 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 38683 36923 218 20 0 38041 0
[pid=11176/tid=11178] ppid=11174 vsize=154732 CPUtime=2016.19
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 41764 0 0 0 201577 42 0 0 25 0 3 0 348676741 158445568 36923 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11176/tid=11179] ppid=11174 vsize=154732 CPUtime=2017.72
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 40600 0 0 0 201733 39 0 0 25 0 3 0 348676741 158445568 36923 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4034.39
Current children cumulated vsize (KiB) 154732

[startup+2082.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/80 11181
/proc/meminfo: memFree=1504984/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=156376 CPUtime=4154.12
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 85032 0 0 0 415329 83 0 0 21 0 3 0 348676693 160129024 37377 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 39094 37377 218 20 0 38452 0
[pid=11176/tid=11178] ppid=11174 vsize=156376 CPUtime=2075.95
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 42818 0 0 0 207552 43 0 0 25 0 3 0 348676741 160129024 37377 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11176/tid=11179] ppid=11174 vsize=156376 CPUtime=2077.69
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 41235 0 0 0 207730 39 0 0 25 0 3 0 348676741 160129024 37377 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4154.12
Current children cumulated vsize (KiB) 156376

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11181
/proc/meminfo: memFree=1504536/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=156720 CPUtime=4273.84
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 86522 0 0 0 427299 85 0 0 21 0 3 0 348676693 160481280 37502 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 39180 37502 218 20 0 38538 0
[pid=11176/tid=11178] ppid=11174 vsize=156720 CPUtime=2135.71
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 43544 0 0 0 213527 44 0 0 25 0 3 0 348676741 160481280 37502 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11176/tid=11179] ppid=11174 vsize=156720 CPUtime=2137.64
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 41999 0 0 0 213724 40 0 0 25 0 3 0 348676741 160481280 37502 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4273.84
Current children cumulated vsize (KiB) 156720

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11181
/proc/meminfo: memFree=1503000/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=158768 CPUtime=4393.54
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 88018 0 0 0 439268 86 0 0 21 0 3 0 348676693 162578432 37884 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 39692 37884 218 20 0 39050 0
[pid=11176/tid=11178] ppid=11174 vsize=158768 CPUtime=2195.47
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 44021 0 0 0 219502 45 0 0 25 0 3 0 348676741 162578432 37884 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11176/tid=11179] ppid=11174 vsize=158768 CPUtime=2197.6
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 43018 0 0 0 219719 41 0 0 25 0 3 0 348676741 162578432 37884 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4393.54
Current children cumulated vsize (KiB) 158768

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11181
/proc/meminfo: memFree=1503064/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=157932 CPUtime=4513.27
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 89423 0 0 0 451239 88 0 0 21 0 3 0 348676693 161722368 37877 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 39483 37877 218 20 0 38841 0
[pid=11176/tid=11178] ppid=11174 vsize=157932 CPUtime=2255.23
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 44630 0 0 0 225477 46 0 0 25 0 3 0 348676741 161722368 37877 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11176/tid=11179] ppid=11174 vsize=157932 CPUtime=2257.56
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 43814 0 0 0 225715 41 0 0 25 0 3 0 348676741 161722368 37877 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4513.27
Current children cumulated vsize (KiB) 157932

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11181
/proc/meminfo: memFree=1502616/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=158064 CPUtime=4632.99
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 90686 0 0 0 463209 90 0 0 21 0 3 0 348676693 161857536 37950 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 39516 37950 218 20 0 38874 0
[pid=11176/tid=11178] ppid=11174 vsize=158064 CPUtime=2314.99
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 45254 0 0 0 231452 47 0 0 25 0 3 0 348676741 161857536 37950 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11176/tid=11179] ppid=11174 vsize=158064 CPUtime=2317.51
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 44453 0 0 0 231709 42 0 0 25 0 3 0 348676741 161857536 37950 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4632.99
Current children cumulated vsize (KiB) 158064

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11181
/proc/meminfo: memFree=1500248/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=161136 CPUtime=4752.71
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 92369 0 0 0 475178 93 0 0 21 0 3 0 348676693 165003264 38526 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 40284 38526 218 20 0 39642 0
[pid=11176/tid=11178] ppid=11174 vsize=161136 CPUtime=2374.75
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 46202 0 0 0 237426 49 0 0 25 0 3 0 348676741 165003264 38526 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11176/tid=11179] ppid=11174 vsize=161136 CPUtime=2377.47
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 45188 0 0 0 237705 42 0 0 25 0 3 0 348676741 165003264 38526 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4752.71
Current children cumulated vsize (KiB) 161136

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11181
/proc/meminfo: memFree=1498456/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=163184 CPUtime=4872.42
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 94032 0 0 0 487147 95 0 0 21 0 3 0 348676693 167100416 38954 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 40796 38954 218 20 0 40154 0
[pid=11176/tid=11178] ppid=11174 vsize=163184 CPUtime=2434.5
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 46806 0 0 0 243400 50 0 0 25 0 3 0 348676741 167100416 38954 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11176/tid=11179] ppid=11174 vsize=163184 CPUtime=2437.43
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 46247 0 0 0 243699 44 0 0 25 0 3 0 348676741 167100416 38954 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4872.42
Current children cumulated vsize (KiB) 163184

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11181
/proc/meminfo: memFree=1498520/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=163184 CPUtime=4992.14
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 95403 0 0 0 499118 96 0 0 21 0 3 0 348676693 167100416 38956 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 40796 38956 218 20 0 40154 0
[pid=11176/tid=11178] ppid=11174 vsize=163184 CPUtime=2494.27
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 47523 0 0 0 249376 51 0 0 25 0 3 0 348676741 167100416 38956 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526573 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11176/tid=11179] ppid=11174 vsize=163184 CPUtime=2497.39
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 46901 0 0 0 249695 44 0 0 25 0 3 0 348676741 167100416 38956 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4992.14
Current children cumulated vsize (KiB) 163184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11181
/proc/meminfo: memFree=1498520/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=163184 CPUtime=5000.12
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 95403 0 0 0 499916 96 0 0 21 0 3 0 348676693 167100416 38956 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 40796 38956 218 20 0 40154 0
[pid=11176/tid=11178] ppid=11174 vsize=163184 CPUtime=2498.25
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 47523 0 0 0 249774 51 0 0 25 0 3 0 348676741 167100416 38956 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11176/tid=11179] ppid=11174 vsize=163184 CPUtime=2501.38
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 46901 0 0 0 250094 44 0 0 25 0 3 0 348676741 167100416 38956 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.12
Current children cumulated vsize (KiB) 163184

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

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

[startup+2506.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 11181
/proc/meminfo: memFree=1498520/2055920 swapFree=4143412/4192956
[pid=11176] ppid=11174 vsize=163184 CPUtime=5000.12
/proc/11176/stat : 11176 (MiraXTv3_dyn) S 11174 11176 11104 0 -1 4194304 95403 0 0 0 499916 96 0 0 21 0 3 0 348676693 167100416 38956 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/11176/statm: 40796 38956 218 20 0 40154 0
[pid=11176/tid=11178] ppid=11174 vsize=163184 CPUtime=2498.25
/proc/11176/task/11178/stat : 11178 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 47523 0 0 0 249774 51 0 0 25 0 3 0 348676741 167100416 38956 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11176/tid=11179] ppid=11174 vsize=163184 CPUtime=2501.38
/proc/11176/task/11179/stat : 11179 (MiraXTv3_dyn) R 11174 11176 11104 0 -1 4194368 46901 0 0 0 250094 44 0 0 25 0 3 0 348676741 167100416 38956 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.12
Current children cumulated vsize (KiB) 163184

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.34
CPU time (s): 5000.16
CPU user time (s): 4999.18
CPU system time (s): 0.988849
CPU usage (%): 199.501
Max. virtual memory (cumulated for all children) (KiB): 163448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.18
system time used= 0.988849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95403
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= 1126
involuntary context switches= 94230

runsolver used 2.31465 second user time and 6.86696 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Sat May 12 22:06:31 UTC 2007

IDJOB= 426296
IDBENCH= 20121
IDSOLVER= 196
FILE ID= node16/426296-1179007590

PBS_JOBID= 5252863

Free space on /tmp= 66544 MiB

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

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  a6e6a7977b07478d6ffb3f7c9e1941ba

RANDOM SEED= 91519652

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node16.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:       1654600 kB
Buffers:         50268 kB
Cached:         262388 kB
SwapCached:      18028 kB
Active:         182680 kB
Inactive:       154768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1654600 kB
SwapTotal:     4192956 kB
SwapFree:      4143412 kB
Dirty:            4580 kB
Writeback:           0 kB
Mapped:          29748 kB
Slab:            49368 kB
Committed_AS: 14299136 kB
PageTables:       1836 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= 66544 MiB

End job on node16 on Sat May 12 22:48:19 UTC 2007