Trace number 456237

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.04 2548.73

General information on the benchmark

Namecrafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
MD5SUMcd51741c2df34af4fdb8becaf8b3fc51
Bench CategoryCRAFTED (crafted 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 variables2935
Number of clauses18753
Sum of the clauses size133299
Maximum clause length13
Minimum clause length1
Number of clauses of size 156
Number of clauses of size 2526
Number of clauses of size 32382
Number of clauses of size 4501
Number of clauses of size 5678
Number of clauses of size over 514610

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/node11/watcher-456237-1179021518 -o ROOT/results/node11/solver-456237-1179021518 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456237-1179021518/MiraXTv3_dyn /tmp/evaluation/456237-1179021518/instance-456237-1179021518.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.97 1.91 3/77 8347
/proc/meminfo: memFree=1463272/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=3788 CPUtime=0
/proc/8347/stat : 8347 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194304 422 0 0 0 0 0 0 0 18 0 1 0 343200795 3878912 397 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/8347/statm: 947 406 202 20 0 305 0

[startup+0.050792 s]
/proc/loadavg: 1.92 1.97 1.91 3/77 8347
/proc/meminfo: memFree=1463272/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=6048 CPUtime=0.04
/proc/8347/stat : 8347 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194304 1009 0 0 0 4 0 0 0 18 0 1 0 343200795 6193152 984 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/8347/statm: 1512 984 207 20 0 870 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6048

[startup+0.101796 s]
/proc/loadavg: 1.92 1.97 1.91 3/77 8347
/proc/meminfo: memFree=1463272/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=6212 CPUtime=0.09
/proc/8347/stat : 8347 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194304 1045 0 0 0 9 0 0 0 18 0 1 0 343200795 6361088 1020 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583996 0 0 4096 0 0 0 0 17 0 0 0
/proc/8347/statm: 1553 1020 207 20 0 911 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6212

[startup+0.301824 s]
/proc/loadavg: 1.92 1.97 1.91 3/77 8347
/proc/meminfo: memFree=1463272/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=11364 CPUtime=0.38
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 1705 0 0 0 38 0 0 0 18 0 3 0 343200795 11636736 1633 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 2841 1633 218 20 0 2199 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 11364

[startup+0.701872 s]
/proc/loadavg: 1.92 1.97 1.91 3/77 8347
/proc/meminfo: memFree=1463272/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=15188 CPUtime=1.19
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 2386 0 0 0 118 1 0 0 18 0 3 0 343200795 15552512 2314 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 3797 2314 218 20 0 3155 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 15188

[startup+1.50197 s]
/proc/loadavg: 1.93 1.97 1.91 3/80 8350
/proc/meminfo: memFree=1453200/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=17988 CPUtime=2.78
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 3219 0 0 0 276 2 0 0 18 0 3 0 343200795 18419712 3147 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 4497 3147 218 20 0 3855 0
[pid=8347/tid=8349] ppid=8345 vsize=17988 CPUtime=1.3
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 1014 0 0 0 130 0 0 0 25 0 3 0 343200815 18419712 3147 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8347/tid=8350] ppid=8345 vsize=17988 CPUtime=1.28
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 1074 0 0 0 127 1 0 0 25 0 3 0 343200815 18419712 3147 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526515 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 17988

[startup+3.10116 s]
/proc/loadavg: 1.93 1.97 1.91 3/80 8350
/proc/meminfo: memFree=1449360/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=22116 CPUtime=5.97
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 4240 0 0 0 594 3 0 0 18 0 3 0 343200795 22646784 4168 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 5529 4168 218 20 0 4887 0
[pid=8347/tid=8349] ppid=8345 vsize=22116 CPUtime=2.89
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 1516 0 0 0 289 0 0 0 25 0 3 0 343200815 22646784 4168 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134521260 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8347/tid=8350] ppid=8345 vsize=22116 CPUtime=2.87
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 1593 0 0 0 286 1 0 0 18 0 3 0 343200815 22646784 4168 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520502 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 22116

[startup+6.30254 s]
/proc/loadavg: 1.93 1.97 1.91 3/80 8350
/proc/meminfo: memFree=1446096/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=22816 CPUtime=12.36
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 4550 0 0 0 1233 3 0 0 18 0 3 0 343200795 23363584 4478 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 5704 4478 218 20 0 5062 0
[pid=8347/tid=8349] ppid=8345 vsize=22816 CPUtime=6.09
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 1662 0 0 0 609 0 0 0 25 0 3 0 343200815 23363584 4478 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8347/tid=8350] ppid=8345 vsize=22816 CPUtime=6.06
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 1757 0 0 0 605 1 0 0 25 0 3 0 343200815 23363584 4478 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 22816

[startup+12.7013 s]
/proc/loadavg: 1.94 1.97 1.91 3/80 8350
/proc/meminfo: memFree=1436632/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=32548 CPUtime=25.12
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 7139 0 0 0 2505 7 0 0 18 0 3 0 343200795 33329152 6993 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 8137 6993 218 20 0 7495 0
[pid=8347/tid=8349] ppid=8345 vsize=32548 CPUtime=12.48
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 2858 0 0 0 1246 2 0 0 25 0 3 0 343200815 33329152 6993 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8347/tid=8350] ppid=8345 vsize=32548 CPUtime=12.44
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 3150 0 0 0 1240 4 0 0 25 0 3 0 343200815 33329152 6993 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526356 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 32548

[startup+25.5018 s]
/proc/loadavg: 1.95 1.97 1.91 4/80 8350
/proc/meminfo: memFree=1421080/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=47012 CPUtime=50.66
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 11091 0 0 0 5055 11 0 0 18 0 3 0 343200795 48140288 10769 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 11753 10769 218 20 0 11111 0
[pid=8347/tid=8349] ppid=8345 vsize=47012 CPUtime=25.27
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 4872 0 0 0 2524 3 0 0 25 0 3 0 343200815 48140288 10769 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8347/tid=8350] ppid=8345 vsize=47012 CPUtime=25.19
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 5088 0 0 0 2512 7 0 0 25 0 3 0 343200815 48140288 10769 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 47012

[startup+51.1018 s]
/proc/loadavg: 1.96 1.97 1.91 4/80 8350
/proc/meminfo: memFree=1412120/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=56500 CPUtime=101.72
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 13409 0 0 0 10157 15 0 0 18 0 3 0 343200795 57856000 12867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 14125 12867 218 20 0 13483 0
[pid=8347/tid=8349] ppid=8345 vsize=56500 CPUtime=50.85
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 6120 0 0 0 5080 5 0 0 25 0 3 0 343200815 57856000 12867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8347/tid=8350] ppid=8345 vsize=56500 CPUtime=50.68
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 6158 0 0 0 5059 9 0 0 25 0 3 0 343200815 57856000 12867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 56500

[startup+102.307 s]
/proc/loadavg: 1.98 1.97 1.91 3/80 8350
/proc/meminfo: memFree=1398296/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=71068 CPUtime=203.88
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 17301 0 0 0 20366 22 0 0 18 0 3 0 343200795 72773632 16317 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 17767 16317 218 20 0 17125 0
[pid=8347/tid=8349] ppid=8345 vsize=71068 CPUtime=102
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 7319 0 0 0 10194 6 0 0 25 0 3 0 343200815 72773632 16317 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8347/tid=8350] ppid=8345 vsize=71068 CPUtime=101.67
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 8851 0 0 0 10153 14 0 0 25 0 3 0 343200815 72773632 16317 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 71068

[startup+162.302 s]
/proc/loadavg: 2.18 2.02 1.93 3/86 8466
/proc/meminfo: memFree=1394824/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=72808 CPUtime=323.4
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 18310 0 0 0 32308 32 0 0 18 0 3 0 343200795 74555392 16851 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 18202 16851 218 20 0 17560 0
[pid=8347/tid=8349] ppid=8345 vsize=72808 CPUtime=161.89
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 7979 0 0 0 16174 15 0 0 25 0 3 0 343200815 74555392 16851 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530005 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8347/tid=8350] ppid=8345 vsize=72808 CPUtime=161.3
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 9200 0 0 0 16115 15 0 0 25 0 3 0 343200815 74555392 16851 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.4
Current children cumulated vsize (KiB) 72808

[startup+222.301 s]
/proc/loadavg: 2.19 2.04 1.94 3/80 9028
/proc/meminfo: memFree=1392024/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=75864 CPUtime=438.19
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 19755 0 0 0 43775 44 0 0 18 0 3 0 343200795 77684736 17805 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 18966 17805 218 20 0 18324 0
[pid=8347/tid=8349] ppid=8345 vsize=75864 CPUtime=218.93
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 8697 0 0 0 21866 27 0 0 25 0 3 0 343200815 77684736 17805 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=75864 CPUtime=219.06
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 9927 0 0 0 21890 16 0 0 25 0 3 0 343200815 77684736 17805 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 438.19
Current children cumulated vsize (KiB) 75864

[startup+282.301 s]
/proc/loadavg: 2.07 2.03 1.94 3/80 9028
/proc/meminfo: memFree=1390424/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=77432 CPUtime=557.89
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 20661 0 0 0 55743 46 0 0 18 0 3 0 343200795 79290368 18141 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 19358 18141 218 20 0 18716 0
[pid=8347/tid=8349] ppid=8345 vsize=77432 CPUtime=278.68
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 9134 0 0 0 27840 28 0 0 25 0 3 0 343200815 79290368 18141 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=77432 CPUtime=279
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 10396 0 0 0 27884 16 0 0 25 0 3 0 343200815 79290368 18141 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 557.89
Current children cumulated vsize (KiB) 77432

[startup+342.301 s]
/proc/loadavg: 2.02 2.03 1.94 3/80 9028
/proc/meminfo: memFree=1380312/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=87852 CPUtime=677.6
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 23691 0 0 0 67709 51 0 0 18 0 3 0 343200795 89960448 20667 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 21963 20667 218 20 0 21321 0
[pid=8347/tid=8349] ppid=8345 vsize=87852 CPUtime=338.44
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 10718 0 0 0 33814 30 0 0 25 0 3 0 343200815 89960448 20667 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=87852 CPUtime=338.95
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 11842 0 0 0 33876 19 0 0 25 0 3 0 343200815 89960448 20667 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 677.6
Current children cumulated vsize (KiB) 87852

[startup+402.301 s]

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

/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 18066 0 0 0 185001 61 0 0 25 0 3 0 343200815 106504192 24867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=104008 CPUtime=1859.56
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 20377 0 0 0 185907 49 0 0 25 0 3 0 343200815 106504192 24867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3710.39
Current children cumulated vsize (KiB) 104008

[startup+1962.3 s]
/proc/loadavg: 2.06 2.49 2.30 3/80 11305
/proc/meminfo: memFree=1323032/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=104008 CPUtime=3830.11
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 40048 0 0 0 382898 113 0 0 18 0 3 0 343200795 106504192 24869 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 26002 24869 218 20 0 25360 0
[pid=8347/tid=8349] ppid=8345 vsize=104008 CPUtime=1910.6
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 18302 0 0 0 190998 62 0 0 25 0 3 0 343200815 106504192 24869 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=104008 CPUtime=1919.3
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 20615 0 0 0 191880 50 0 0 25 0 3 0 343200815 106504192 24869 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3830.11
Current children cumulated vsize (KiB) 104008

[startup+2022.3 s]
/proc/loadavg: 2.02 2.40 2.28 3/80 11305
/proc/meminfo: memFree=1323032/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=104008 CPUtime=3949.81
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 40523 0 0 0 394868 113 0 0 18 0 3 0 343200795 106504192 24870 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 26002 24870 218 20 0 25360 0
[pid=8347/tid=8349] ppid=8345 vsize=104008 CPUtime=1970.58
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 18540 0 0 0 196996 62 0 0 25 0 3 0 343200815 106504192 24870 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=104008 CPUtime=1979.03
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 20852 0 0 0 197853 50 0 0 25 0 3 0 343200815 106504192 24870 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3949.81
Current children cumulated vsize (KiB) 104008

[startup+2082.31 s]
/proc/loadavg: 1.97 2.31 2.25 3/80 11305
/proc/meminfo: memFree=1322776/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=104008 CPUtime=4069.52
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 41004 0 0 0 406837 115 0 0 18 0 3 0 343200795 106504192 24956 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 26002 24956 218 20 0 25360 0
[pid=8347/tid=8349] ppid=8345 vsize=104008 CPUtime=2030.56
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 18699 0 0 0 202993 63 0 0 25 0 3 0 343200815 106504192 24956 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4160338896 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=104008 CPUtime=2038.76
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 21174 0 0 0 203825 51 0 0 25 0 3 0 343200815 106504192 24956 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4069.52
Current children cumulated vsize (KiB) 104008

[startup+2142.3 s]
/proc/loadavg: 1.99 2.25 2.23 3/80 11305
/proc/meminfo: memFree=1322584/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=104008 CPUtime=4189.23
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 41590 0 0 0 418807 116 0 0 18 0 3 0 343200795 106504192 24989 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 26002 24989 218 20 0 25360 0
[pid=8347/tid=8349] ppid=8345 vsize=104008 CPUtime=2090.53
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 18936 0 0 0 208989 64 0 0 25 0 3 0 343200815 106504192 24989 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=104008 CPUtime=2098.5
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 21523 0 0 0 209799 51 0 0 25 0 3 0 343200815 106504192 24989 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4189.23
Current children cumulated vsize (KiB) 104008

[startup+2202.3 s]
/proc/loadavg: 1.99 2.20 2.22 3/80 11305
/proc/meminfo: memFree=1322584/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=104008 CPUtime=4308.93
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 41918 0 0 0 430777 116 0 0 18 0 3 0 343200795 106504192 25001 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 26002 25001 218 20 0 25360 0
[pid=8347/tid=8349] ppid=8345 vsize=104008 CPUtime=2150.5
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 19094 0 0 0 214986 64 0 0 25 0 3 0 343200815 106504192 25001 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=104008 CPUtime=2158.22
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 21693 0 0 0 215771 51 0 0 25 0 3 0 343200815 106504192 25001 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4308.93
Current children cumulated vsize (KiB) 104008

[startup+2262.3 s]
/proc/loadavg: 1.99 2.16 2.20 3/80 11305
/proc/meminfo: memFree=1322456/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=105032 CPUtime=4428.63
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 42428 0 0 0 442746 117 0 0 18 0 3 0 343200795 107552768 25037 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 26258 25037 218 20 0 25616 0
[pid=8347/tid=8349] ppid=8345 vsize=105032 CPUtime=2210.48
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 19332 0 0 0 220983 65 0 0 25 0 3 0 343200815 107552768 25037 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=105032 CPUtime=2217.95
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 21965 0 0 0 221744 51 0 0 25 0 3 0 343200815 107552768 25037 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4428.63
Current children cumulated vsize (KiB) 105032

[startup+2322.3 s]
/proc/loadavg: 1.99 2.13 2.18 3/80 11305
/proc/meminfo: memFree=1322392/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=105032 CPUtime=4548.29
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 42830 0 0 0 454711 118 0 0 18 0 3 0 343200795 107552768 25044 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 26258 25044 218 20 0 25616 0
[pid=8347/tid=8349] ppid=8345 vsize=105032 CPUtime=2270.4
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 19493 0 0 0 226975 65 0 0 25 0 3 0 343200815 107552768 25044 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526480 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=105032 CPUtime=2277.68
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 22206 0 0 0 227717 51 0 0 25 0 3 0 343200815 107552768 25044 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4548.29
Current children cumulated vsize (KiB) 105032

[startup+2382.3 s]
/proc/loadavg: 1.99 2.10 2.17 3/80 11305
/proc/meminfo: memFree=1320920/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=106056 CPUtime=4667.98
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 43768 0 0 0 466678 120 0 0 18 0 3 0 343200795 108601344 25412 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 26514 25412 218 20 0 25872 0
[pid=8347/tid=8349] ppid=8345 vsize=106056 CPUtime=2330.37
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 19824 0 0 0 232971 66 0 0 25 0 3 0 343200815 108601344 25412 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=106056 CPUtime=2337.4
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 22813 0 0 0 233687 53 0 0 25 0 3 0 343200815 108601344 25412 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4667.98
Current children cumulated vsize (KiB) 106056

[startup+2442.3 s]
/proc/loadavg: 1.99 2.08 2.16 3/80 11305
/proc/meminfo: memFree=1320856/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=106056 CPUtime=4787.69
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 44314 0 0 0 478648 121 0 0 18 0 3 0 343200795 108601344 25413 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 26514 25413 218 20 0 25872 0
[pid=8347/tid=8349] ppid=8345 vsize=106056 CPUtime=2390.36
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 20129 0 0 0 238969 67 0 0 25 0 3 0 343200815 108601344 25413 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=106056 CPUtime=2397.13
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 23054 0 0 0 239660 53 0 0 25 0 3 0 343200815 108601344 25413 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4787.69
Current children cumulated vsize (KiB) 106056

[startup+2502.3 s]
/proc/loadavg: 1.99 2.06 2.15 3/80 11305
/proc/meminfo: memFree=1320792/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=106056 CPUtime=4907.42
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 44806 0 0 0 490620 122 0 0 18 0 3 0 343200795 108601344 25429 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 26514 25429 218 20 0 25872 0
[pid=8347/tid=8349] ppid=8345 vsize=106056 CPUtime=2450.35
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 20365 0 0 0 244967 68 0 0 25 0 3 0 343200815 108601344 25429 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=106056 CPUtime=2456.87
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 23310 0 0 0 245634 53 0 0 25 0 3 0 343200815 108601344 25429 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4907.42
Current children cumulated vsize (KiB) 106056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2548.71 s]
/proc/loadavg: 1.99 2.05 2.14 3/80 11305
/proc/meminfo: memFree=1319128/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=107776 CPUtime=5000.01
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 45551 0 0 0 499877 124 0 0 18 0 3 0 343200795 110362624 25855 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 26944 25855 218 20 0 26302 0
[pid=8347/tid=8349] ppid=8345 vsize=107776 CPUtime=2496.74
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 20948 0 0 0 249605 69 0 0 25 0 3 0 343200815 110362624 25855 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=107776 CPUtime=2503.06
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 23472 0 0 0 250252 54 0 0 25 0 3 0 343200815 110362624 25855 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 107776

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

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

[startup+2548.71 s]
/proc/loadavg: 1.99 2.05 2.14 3/80 11305
/proc/meminfo: memFree=1319128/2055920 swapFree=4144156/4192956
[pid=8347] ppid=8345 vsize=107776 CPUtime=5000.01
/proc/8347/stat : 8347 (MiraXTv3_dyn) S 8345 8347 7835 0 -1 4194304 45551 0 0 0 499877 124 0 0 18 0 3 0 343200795 110362624 25855 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/8347/statm: 26944 25855 218 20 0 26302 0
[pid=8347/tid=8349] ppid=8345 vsize=107776 CPUtime=2496.74
/proc/8347/task/8349/stat : 8349 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 20948 0 0 0 249605 69 0 0 25 0 3 0 343200815 110362624 25855 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8347/tid=8350] ppid=8345 vsize=107776 CPUtime=2503.06
/proc/8347/task/8350/stat : 8350 (MiraXTv3_dyn) R 8345 8347 7835 0 -1 4194368 23472 0 0 0 250252 54 0 0 25 0 3 0 343200815 110362624 25855 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 107776

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2548.73
CPU time (s): 5000.04
CPU user time (s): 4998.79
CPU system time (s): 1.25581
CPU usage (%): 196.177
Max. virtual memory (cumulated for all children) (KiB): 107776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.79
system time used= 1.25581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45551
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= 255
involuntary context switches= 113914

runsolver used 2.6336 second user time and 7.06293 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Sun May 13 01:58:39 UTC 2007

IDJOB= 456237
IDBENCH= 24644
IDSOLVER= 196
FILE ID= node11/456237-1179021518

PBS_JOBID= 5252888

Free space on /tmp= 66540 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest05/QG/QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456237-1179021518/MiraXTv3_dyn /tmp/evaluation/456237-1179021518/instance-456237-1179021518.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-456237-1179021518 -o ROOT/results/node11/solver-456237-1179021518 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456237-1179021518/MiraXTv3_dyn /tmp/evaluation/456237-1179021518/instance-456237-1179021518.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  cd51741c2df34af4fdb8becaf8b3fc51

RANDOM SEED= 872569369

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1463488 kB
Buffers:         53564 kB
Cached:         441328 kB
SwapCached:      18440 kB
Active:         191480 kB
Inactive:       334532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1463488 kB
SwapTotal:     4192956 kB
SwapFree:      4144156 kB
Dirty:            4644 kB
Writeback:           0 kB
Mapped:          36500 kB
Slab:            51912 kB
Committed_AS:  7761944 kB
PageTables:       1860 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= 66540 MiB

End job on node11 on Sun May 13 02:41:09 UTC 2007