Trace number 456390

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MiraXT v3? (TO) 5000.11 2531.32

General information on the benchmark

Namecrafted/Hard/contest03/others/
hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf
MD5SUM4e079b4b65292671b2ca5f9feca64ea4
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1605.41
Satisfiable
(Un)Satisfiability was proved
Number of variables172
Number of clauses832
Sum of the clauses size2818
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 214
Number of clauses of size 3482
Number of clauses of size 4336
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node27/watcher-456390-1179023055 -o ROOT/results/node27/solver-456390-1179023055 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456390-1179023055/MiraXTv3_dyn /tmp/evaluation/456390-1179023055/instance-456390-1179023055.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.99 2.44 2.12 3/71 25631
/proc/meminfo: memFree=1136352/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=3788 CPUtime=0
/proc/25631/stat : 25631 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 315001403 3878912 259 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 1902203 0 0 4096 0 0 0 0 17 1 0 0
/proc/25631/statm: 947 260 206 20 0 305 0

[startup+0.019114 s]
/proc/loadavg: 2.99 2.44 2.12 3/71 25631
/proc/meminfo: memFree=1136352/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=4164 CPUtime=0.01
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 356 0 0 0 1 0 0 0 18 0 3 0 315001403 4263936 331 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 1041 331 218 20 0 399 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4164

[startup+0.101076 s]
/proc/loadavg: 2.99 2.44 2.12 3/71 25631
/proc/meminfo: memFree=1136352/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=6376 CPUtime=0.16
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 608 0 0 0 16 0 0 0 18 0 3 0 315001403 6529024 583 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 1594 583 218 20 0 952 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 6376

[startup+0.301095 s]
/proc/loadavg: 2.99 2.44 2.12 3/71 25631
/proc/meminfo: memFree=1136352/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=8288 CPUtime=0.55
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 1017 0 0 0 55 0 0 0 18 0 3 0 315001403 8486912 992 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 2072 992 218 20 0 1430 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 8288

[startup+0.701137 s]
/proc/loadavg: 2.99 2.44 2.12 3/71 25631
/proc/meminfo: memFree=1136352/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=10680 CPUtime=1.34
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 1675 0 0 0 133 1 0 0 18 0 3 0 315001403 10936320 1650 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 2670 1650 218 20 0 2028 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 10680

[startup+1.50122 s]
/proc/loadavg: 2.99 2.44 2.12 4/74 25657
/proc/meminfo: memFree=1128456/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=13476 CPUtime=2.92
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 2531 0 0 0 290 2 0 0 18 0 3 0 315001403 13799424 2505 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 3369 2505 218 20 0 2727 0
[pid=25631/tid=25633] ppid=25627 vsize=13476 CPUtime=1.43
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 1084 0 0 0 143 0 0 0 17 0 3 0 315001404 13799424 2505 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=13476 CPUtime=1.46
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 1132 0 0 0 146 0 0 0 18 0 3 0 315001404 13799424 2505 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 13476

[startup+3.10138 s]
/proc/loadavg: 2.99 2.45 2.13 4/73 25661
/proc/meminfo: memFree=1126224/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=17452 CPUtime=6.05
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 3134 0 0 0 603 2 0 0 18 0 3 0 315001403 17870848 3108 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 4363 3108 218 20 0 3721 0
[pid=25631/tid=25633] ppid=25627 vsize=17452 CPUtime=2.98
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 1398 0 0 0 298 0 0 0 24 0 3 0 315001404 17870848 3108 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=17452 CPUtime=3.05
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 1421 0 0 0 304 1 0 0 25 0 3 0 315001404 17870848 3108 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 17452

[startup+6.3017 s]
/proc/loadavg: 2.99 2.45 2.13 4/74 25782
/proc/meminfo: memFree=1118216/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=24836 CPUtime=12.18
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 5193 0 0 0 1214 4 0 0 18 0 3 0 315001403 25432064 5014 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 6209 5014 218 20 0 5567 0
[pid=25631/tid=25633] ppid=25627 vsize=24836 CPUtime=5.93
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 2320 0 0 0 592 1 0 0 25 0 3 0 315001404 25432064 5014 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=24836 CPUtime=6.23
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 2558 0 0 0 622 1 0 0 18 0 3 0 315001404 25432064 5014 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 24836

[startup+12.7024 s]
/proc/loadavg: 3.07 2.49 2.14 4/74 26352
/proc/meminfo: memFree=1107912/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=32756 CPUtime=23.59
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 7298 0 0 0 2352 7 0 0 18 0 3 0 315001403 33542144 6921 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 8189 6921 218 20 0 7547 0
[pid=25631/tid=25633] ppid=25627 vsize=32756 CPUtime=11.17
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 3291 0 0 0 1115 2 0 0 25 0 3 0 315001404 33542144 6921 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=32756 CPUtime=12.4
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 3692 0 0 0 1237 3 0 0 25 0 3 0 315001404 33542144 6921 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.59
Current children cumulated vsize (KiB) 32756

[startup+25.5016 s]
/proc/loadavg: 3.06 2.50 2.15 3/74 27599
/proc/meminfo: memFree=1103112/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=37232 CPUtime=46.44
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 8702 0 0 0 4635 9 0 0 18 0 3 0 315001403 38125568 7971 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 9308 7971 218 20 0 8666 0
[pid=25631/tid=25633] ppid=25627 vsize=37232 CPUtime=22.2
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 4076 0 0 0 2217 3 0 0 25 0 3 0 315001404 38125568 7971 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=37232 CPUtime=24.22
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 4311 0 0 0 2417 5 0 0 25 0 3 0 315001404 38125568 7971 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 46.44
Current children cumulated vsize (KiB) 37232

[startup+51.1012 s]
/proc/loadavg: 3.26 2.59 2.19 3/74 29601
/proc/meminfo: memFree=1093136/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=44400 CPUtime=92.9
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 11359 0 0 0 9277 13 0 0 18 0 3 0 315001403 45465600 9899 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 11100 9899 218 20 0 10458 0
[pid=25631/tid=25633] ppid=25627 vsize=44400 CPUtime=43.73
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 5308 0 0 0 4368 5 0 0 25 0 3 0 315001404 45465600 9899 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=44400 CPUtime=49.15
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 5736 0 0 0 4908 7 0 0 25 0 3 0 315001404 45465600 9899 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520120 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 92.9
Current children cumulated vsize (KiB) 44400

[startup+102.306 s]
/proc/loadavg: 3.10 2.66 2.23 4/73 1670
/proc/meminfo: memFree=1083176/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=49576 CPUtime=184.92
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 13986 0 0 0 18472 20 0 0 18 0 3 0 315001403 50765824 11121 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 12394 11121 218 20 0 11752 0
[pid=25631/tid=25633] ppid=25627 vsize=49576 CPUtime=90.3
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 6656 0 0 0 9021 9 0 0 25 0 3 0 315001404 50765824 11121 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25631/tid=25634] ppid=25627 vsize=49576 CPUtime=94.6
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 7015 0 0 0 9450 10 0 0 25 0 3 0 315001404 50765824 11121 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 184.92
Current children cumulated vsize (KiB) 49576

[startup+162.301 s]
/proc/loadavg: 3.16 2.76 2.29 4/74 7049
/proc/meminfo: memFree=1068744/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=55556 CPUtime=292.05
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 17084 0 0 0 29176 29 0 0 18 0 3 0 315001403 56889344 12638 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 13889 12638 218 20 0 13247 0
[pid=25631/tid=25633] ppid=25627 vsize=55556 CPUtime=144.37
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 8518 0 0 0 14424 13 0 0 25 0 3 0 315001404 56889344 12638 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=55556 CPUtime=147.67
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 8251 0 0 0 14752 15 0 0 25 0 3 0 315001404 56889344 12638 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526722 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 292.05
Current children cumulated vsize (KiB) 55556

[startup+222.301 s]
/proc/loadavg: 3.13 2.82 2.34 4/73 12903
/proc/meminfo: memFree=1061648/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=58104 CPUtime=399.28
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 19124 0 0 0 39893 35 0 0 18 0 3 0 315001403 59498496 13069 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 14526 13069 218 20 0 13884 0
[pid=25631/tid=25633] ppid=25627 vsize=58104 CPUtime=202.43
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 9709 0 0 0 20226 17 0 0 25 0 3 0 315001404 59498496 13069 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520292 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25631/tid=25634] ppid=25627 vsize=58104 CPUtime=196.84
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 9100 0 0 0 19667 17 0 0 25 0 3 0 315001404 59498496 13069 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.28
Current children cumulated vsize (KiB) 58104

[startup+282.302 s]
/proc/loadavg: 2.63 2.75 2.35 3/67 15107
/proc/meminfo: memFree=1060272/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=59012 CPUtime=514.02
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 21061 0 0 0 51364 38 0 0 18 0 3 0 315001403 60428288 13374 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 14753 13374 218 20 0 14111 0
[pid=25631/tid=25633] ppid=25627 vsize=59012 CPUtime=261.7
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 10824 0 0 0 26151 19 0 0 25 0 3 0 315001404 60428288 13374 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25631/tid=25634] ppid=25627 vsize=59012 CPUtime=252.3
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 9922 0 0 0 25212 18 0 0 25 0 3 0 315001404 60428288 13374 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 514.02
Current children cumulated vsize (KiB) 59012

[startup+342.302 s]
/proc/loadavg: 2.23 2.61 2.32 3/67 15107
/proc/meminfo: memFree=1057520/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=61380 CPUtime=633.7
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 23401 0 0 0 63330 40 0 0 18 0 3 0 315001403 62853120 14064 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 15345 14064 218 20 0 14703 0
[pid=25631/tid=25633] ppid=25627 vsize=61380 CPUtime=321.43
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 12259 0 0 0 32123 20 0 0 25 0 3 0 315001404 62853120 14064 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134530005 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25631/tid=25634] ppid=25627 vsize=61380 CPUtime=312.25
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 10827 0 0 0 31206 19 0 0 25 0 3 0 315001404 62853120 14064 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 633.7
Current children cumulated vsize (KiB) 61380

[startup+402.302 s]

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

/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 32750 0 0 0 187388 32 0 0 25 0 3 0 315001404 82997248 18705 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25631/tid=25634] ppid=25627 vsize=81052 CPUtime=1871.36
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 31068 0 0 0 187102 34 0 0 25 0 3 0 315001404 82997248 18705 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3745.59
Current children cumulated vsize (KiB) 81052

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/67 15109
/proc/meminfo: memFree=1038768/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=81184 CPUtime=3865.31
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 65548 0 0 0 386462 69 0 0 18 0 3 0 315001403 83132416 18749 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 20296 18749 218 20 0 19654 0
[pid=25631/tid=25633] ppid=25627 vsize=81184 CPUtime=1933.95
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 33548 0 0 0 193362 33 0 0 25 0 3 0 315001404 83132416 18749 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25631/tid=25634] ppid=25627 vsize=81184 CPUtime=1931.34
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 31685 0 0 0 193099 35 0 0 25 0 3 0 315001404 83132416 18749 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3865.31
Current children cumulated vsize (KiB) 81184

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/67 15109
/proc/meminfo: memFree=1038768/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=81184 CPUtime=3984.98
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 66931 0 0 0 398429 69 0 0 18 0 3 0 315001403 83132416 18756 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 20296 18756 218 20 0 19654 0
[pid=25631/tid=25633] ppid=25627 vsize=81184 CPUtime=1993.66
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 34239 0 0 0 199333 33 0 0 25 0 3 0 315001404 83132416 18756 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25631/tid=25634] ppid=25627 vsize=81184 CPUtime=1991.3
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 32377 0 0 0 199095 35 0 0 25 0 3 0 315001404 83132416 18756 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3984.98
Current children cumulated vsize (KiB) 81184

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.01 3/67 15109
/proc/meminfo: memFree=1038640/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=81316 CPUtime=4104.68
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 68336 0 0 0 410397 71 0 0 18 0 3 0 315001403 83267584 18785 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 20329 18785 218 20 0 19687 0
[pid=25631/tid=25633] ppid=25627 vsize=81316 CPUtime=2053.55
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 34955 0 0 0 205321 34 0 0 25 0 3 0 315001404 83267584 18785 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=81316 CPUtime=2051.11
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 33066 0 0 0 205075 36 0 0 25 0 3 0 315001404 83267584 18785 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4104.68
Current children cumulated vsize (KiB) 81316

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 15109
/proc/meminfo: memFree=1037872/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=82604 CPUtime=4224.37
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 70081 0 0 0 422365 72 0 0 18 0 3 0 315001403 84586496 19067 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 20651 19067 218 20 0 20009 0
[pid=25631/tid=25633] ppid=25627 vsize=82604 CPUtime=2113.51
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 35672 0 0 0 211317 34 0 0 25 0 3 0 315001404 84586496 19067 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=82604 CPUtime=2110.84
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 34094 0 0 0 211047 37 0 0 25 0 3 0 315001404 84586496 19067 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4224.37
Current children cumulated vsize (KiB) 82604

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 15109
/proc/meminfo: memFree=1035696/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=83628 CPUtime=4344.04
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 72074 0 0 0 434331 73 0 0 18 0 3 0 315001403 85635072 19498 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 20907 19498 218 20 0 20265 0
[pid=25631/tid=25633] ppid=25627 vsize=83628 CPUtime=2173.48
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 36458 0 0 0 217313 35 0 0 25 0 3 0 315001404 85635072 19498 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=83628 CPUtime=2170.55
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 35301 0 0 0 217017 38 0 0 25 0 3 0 315001404 85635072 19498 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4344.04
Current children cumulated vsize (KiB) 83628

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15287
/proc/meminfo: memFree=1034496/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=83628 CPUtime=4463.49
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 73473 0 0 0 446261 88 0 0 18 0 3 0 315001403 85635072 19505 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 20907 19505 218 20 0 20265 0
[pid=25631/tid=25633] ppid=25627 vsize=83628 CPUtime=2233.29
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 37157 0 0 0 223293 36 0 0 25 0 3 0 315001404 85635072 19505 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=83628 CPUtime=2230.18
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 36001 0 0 0 222967 51 0 0 25 0 3 0 315001404 85635072 19505 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4463.49
Current children cumulated vsize (KiB) 83628

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 15307
/proc/meminfo: memFree=1035440/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=83760 CPUtime=4583.15
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 74906 0 0 0 458225 90 0 0 18 0 3 0 315001403 85770240 19546 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 20940 19546 218 20 0 20298 0
[pid=25631/tid=25633] ppid=25627 vsize=83760 CPUtime=2293.22
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 37893 0 0 0 229286 36 0 0 25 0 3 0 315001404 85770240 19546 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=83760 CPUtime=2289.9
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 36698 0 0 0 228938 52 0 0 25 0 3 0 315001404 85770240 19546 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565471 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4583.15
Current children cumulated vsize (KiB) 83760

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 15307
/proc/meminfo: memFree=1035440/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=83760 CPUtime=4702.84
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 76258 0 0 0 470193 91 0 0 18 0 3 0 315001403 85770240 19532 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 20940 19532 218 20 0 20298 0
[pid=25631/tid=25633] ppid=25627 vsize=83760 CPUtime=2353.19
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 38503 0 0 0 235282 37 0 0 25 0 3 0 315001404 85770240 19532 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=83760 CPUtime=2349.63
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 37440 0 0 0 234910 53 0 0 25 0 3 0 315001404 85770240 19532 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4702.84
Current children cumulated vsize (KiB) 83760

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 15307
/proc/meminfo: memFree=1035312/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=83760 CPUtime=4822.53
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 77677 0 0 0 482162 91 0 0 18 0 3 0 315001403 85770240 19554 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 20940 19554 218 20 0 20298 0
[pid=25631/tid=25633] ppid=25627 vsize=83760 CPUtime=2413.17
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 39203 0 0 0 241280 37 0 0 25 0 3 0 315001404 85770240 19554 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=83760 CPUtime=2409.34
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 38159 0 0 0 240881 53 0 0 25 0 3 0 315001404 85770240 19554 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4822.53
Current children cumulated vsize (KiB) 83760

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 15307
/proc/meminfo: memFree=1035888/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=83760 CPUtime=4942.22
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 78928 0 0 0 494130 92 0 0 18 0 3 0 315001403 85770240 19445 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 20940 19445 218 20 0 20298 0
[pid=25631/tid=25633] ppid=25627 vsize=83760 CPUtime=2473.13
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 39732 0 0 0 247276 37 0 0 25 0 3 0 315001404 85770240 19445 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=83760 CPUtime=2469.07
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 38881 0 0 0 246853 54 0 0 25 0 3 0 315001404 85770240 19445 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4942.22
Current children cumulated vsize (KiB) 83760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2531.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 15307
/proc/meminfo: memFree=1035952/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=83760 CPUtime=5000.08
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 79286 0 0 0 499915 93 0 0 18 0 3 0 315001403 85770240 19451 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 20940 19451 218 20 0 20298 0
[pid=25631/tid=25633] ppid=25627 vsize=83760 CPUtime=2502.11
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 39735 0 0 0 250174 37 0 0 25 0 3 0 315001404 85770240 19451 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=83760 CPUtime=2497.94
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 39236 0 0 0 249740 54 0 0 25 0 3 0 315001404 85770240 19451 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 83760

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

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

[startup+2531.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 15307
/proc/meminfo: memFree=1035952/2055920 swapFree=4183156/4192956
[pid=25631] ppid=25627 vsize=83760 CPUtime=5000.08
/proc/25631/stat : 25631 (MiraXTv3_dyn) S 25627 25631 11917 0 -1 4194304 79286 0 0 0 499915 93 0 0 18 0 3 0 315001403 85770240 19451 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25631/statm: 20940 19451 218 20 0 20298 0
[pid=25631/tid=25633] ppid=25627 vsize=83760 CPUtime=2502.11
/proc/25631/task/25633/stat : 25633 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 39735 0 0 0 250174 37 0 0 25 0 3 0 315001404 85770240 19451 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25631/tid=25634] ppid=25627 vsize=83760 CPUtime=2497.94
/proc/25631/task/25634/stat : 25634 (MiraXTv3_dyn) R 25627 25631 11917 0 -1 4194368 39236 0 0 0 249740 54 0 0 25 0 3 0 315001404 85770240 19451 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 83760

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2531.32
CPU time (s): 5000.11
CPU user time (s): 4999.16
CPU system time (s): 0.943856
CPU usage (%): 197.529
Max. virtual memory (cumulated for all children) (KiB): 84108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.16
system time used= 0.943856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79286
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= 791
involuntary context switches= 50635

runsolver used 2.34764 second user time and 6.89995 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Sun May 13 02:24:15 UTC 2007

IDJOB= 456390
IDBENCH= 24695
IDSOLVER= 196
FILE ID= node27/456390-1179023055

PBS_JOBID= 5253232

Free space on /tmp= 66542 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest03/others/hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456390-1179023055/MiraXTv3_dyn /tmp/evaluation/456390-1179023055/instance-456390-1179023055.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-456390-1179023055 -o ROOT/results/node27/solver-456390-1179023055 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456390-1179023055/MiraXTv3_dyn /tmp/evaluation/456390-1179023055/instance-456390-1179023055.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  4e079b4b65292671b2ca5f9feca64ea4

RANDOM SEED= 560422047

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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.213
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:       1136696 kB
Buffers:         54972 kB
Cached:         722008 kB
SwapCached:       3932 kB
Active:         400972 kB
Inactive:       387440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1136696 kB
SwapTotal:     4192956 kB
SwapFree:      4183156 kB
Dirty:            4524 kB
Writeback:           0 kB
Mapped:          17756 kB
Slab:           116512 kB
Committed_AS:  5845720 kB
PageTables:       1636 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= 66543 MiB

End job on node27 on Sun May 13 03:06:28 UTC 2007