Trace number 460132

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) 10000.2 5013.83

General information on the benchmark

Nameindustrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf
MD5SUMcb7e94a0572e125e87a474412f4998c5
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3678.16
Satisfiable
(Un)Satisfiability was proved
Number of variables50004
Number of clauses206879
Sum of the clauses size527991
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2145945
Number of clauses of size 338456
Number of clauses of size 47314
Number of clauses of size 54149
Number of clauses of size over 58943

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...

Verifier Data (download as text)

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

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node4/watcher-460132-1179240435 -o ROOT/results/node4/solver-460132-1179240435 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/460132-1179240435/MiraXTv3_dyn /tmp/evaluation/460132-1179240435/instance-460132-1179240435.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 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.11 1.78 1.87 3/77 18277
/proc/meminfo: memFree=1589904/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=3788 CPUtime=0
/proc/18277/stat : 18277 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194304 335 0 0 0 0 0 0 0 18 0 1 0 400081275 3878912 310 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18277/statm: 947 319 202 20 0 305 0

[startup+0.074447 s]
/proc/loadavg: 1.11 1.78 1.87 3/77 18277
/proc/meminfo: memFree=1589904/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=8944 CPUtime=0.06
/proc/18277/stat : 18277 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194304 1765 0 0 0 6 0 0 0 18 0 1 0 400081275 9158656 1740 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0
/proc/18277/statm: 2236 1740 206 20 0 1594 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8944

[startup+0.101449 s]
/proc/loadavg: 1.11 1.78 1.87 3/77 18277
/proc/meminfo: memFree=1589904/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=11204 CPUtime=0.09
/proc/18277/stat : 18277 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194304 2232 0 0 0 8 1 0 0 18 0 1 0 400081275 11472896 2207 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0
/proc/18277/statm: 2801 2208 206 20 0 2159 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11204

[startup+0.301469 s]
/proc/loadavg: 1.11 1.78 1.87 3/77 18277
/proc/meminfo: memFree=1589904/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=21820 CPUtime=0.29
/proc/18277/stat : 18277 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194304 4590 0 0 0 26 3 0 0 19 0 1 0 400081275 22343680 4565 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134591720 0 0 4096 0 0 0 0 17 1 0 0
/proc/18277/statm: 5455 4565 207 20 0 4813 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21820

[startup+0.701506 s]
/proc/loadavg: 1.11 1.78 1.87 3/77 18277
/proc/meminfo: memFree=1589904/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=30276 CPUtime=0.69
/proc/18277/stat : 18277 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194304 6781 0 0 0 65 4 0 0 23 0 1 0 400081275 31002624 6756 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0
/proc/18277/statm: 7569 6756 207 20 0 6927 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30276

[startup+1.50158 s]
/proc/loadavg: 1.11 1.78 1.87 2/78 18278
/proc/meminfo: memFree=1561928/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=84180 CPUtime=1.57
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 13573 0 0 0 149 8 0 0 25 0 3 0 400081275 86200320 12704 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 21045 12704 218 20 0 20403 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 84180

[startup+3.10275 s]
/proc/loadavg: 1.11 1.78 1.87 2/80 18280
/proc/meminfo: memFree=1539512/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=82812 CPUtime=3.87
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 13761 0 0 0 379 8 0 0 25 0 3 0 400081275 84799488 12500 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 20703 12500 218 20 0 20061 0
[pid=18277/tid=18279] ppid=18275 vsize=82812 CPUtime=1.87
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 3928 0 0 0 186 1 0 0 25 0 3 0 400081397 84799488 12500 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18277/tid=18280] ppid=18275 vsize=82812 CPUtime=0.77
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 2157 0 0 0 76 1 0 0 22 0 3 0 400081397 84799488 12500 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134517031 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 82812

[startup+6.30105 s]
/proc/loadavg: 1.10 1.77 1.86 3/80 18280
/proc/meminfo: memFree=1538680/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=84792 CPUtime=10.25
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 14405 0 0 0 1016 9 0 0 25 0 3 0 400081275 86827008 13144 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 21198 13144 218 20 0 20556 0
[pid=18277/tid=18279] ppid=18275 vsize=84792 CPUtime=5.06
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 4001 0 0 0 505 1 0 0 25 0 3 0 400081397 86827008 13144 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18277/tid=18280] ppid=18275 vsize=84792 CPUtime=3.95
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 2728 0 0 0 393 2 0 0 25 0 3 0 400081397 86827008 13144 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.25
Current children cumulated vsize (KiB) 84792

[startup+12.7017 s]
/proc/loadavg: 1.18 1.77 1.86 3/80 18280
/proc/meminfo: memFree=1530424/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=92320 CPUtime=23
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 16301 0 0 0 2289 11 0 0 25 0 3 0 400081275 94535680 15040 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 23080 15040 218 20 0 22438 0
[pid=18277/tid=18279] ppid=18275 vsize=92320 CPUtime=11.47
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 4929 0 0 0 1144 3 0 0 25 0 3 0 400081397 94535680 15040 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18277/tid=18280] ppid=18275 vsize=92320 CPUtime=10.32
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 3696 0 0 0 1029 3 0 0 25 0 3 0 400081397 94535680 15040 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23
Current children cumulated vsize (KiB) 92320

[startup+25.5019 s]
/proc/loadavg: 1.36 1.78 1.86 3/80 18280
/proc/meminfo: memFree=1515000/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=107908 CPUtime=48.54
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 20291 0 0 0 4837 17 0 0 25 0 3 0 400081275 110497792 18963 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 26977 18963 218 20 0 26335 0
[pid=18277/tid=18279] ppid=18275 vsize=107908 CPUtime=24.27
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 6924 0 0 0 2420 7 0 0 25 0 3 0 400081397 110497792 18963 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134520120 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18277/tid=18280] ppid=18275 vsize=107908 CPUtime=23.05
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 5691 0 0 0 2300 5 0 0 25 0 3 0 400081397 110497792 18963 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.54
Current children cumulated vsize (KiB) 107908

[startup+51.1013 s]
/proc/loadavg: 1.58 1.80 1.87 3/80 18280
/proc/meminfo: memFree=1468984/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=153332 CPUtime=99.63
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 32112 0 0 0 9930 33 0 0 25 0 3 0 400081275 157011968 30568 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 38333 30568 218 20 0 37691 0
[pid=18277/tid=18279] ppid=18275 vsize=153332 CPUtime=49.85
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 13186 0 0 0 4969 16 0 0 25 0 3 0 400081397 157011968 30568 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134520492 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18277/tid=18280] ppid=18275 vsize=153332 CPUtime=48.55
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 11250 0 0 0 4844 11 0 0 25 0 3 0 400081397 157011968 30569 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.63
Current children cumulated vsize (KiB) 153332

[startup+102.306 s]
/proc/loadavg: 1.81 1.83 1.87 3/80 18280
/proc/meminfo: memFree=1425848/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=194700 CPUtime=201.79
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 43289 0 0 0 20131 48 0 0 25 0 3 0 400081275 199372800 41173 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 48675 41173 218 20 0 48033 0
[pid=18277/tid=18279] ppid=18275 vsize=194700 CPUtime=101.04
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 17646 0 0 0 10079 25 0 0 25 0 3 0 400081397 199372800 41173 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18277/tid=18280] ppid=18275 vsize=194700 CPUtime=99.53
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 17967 0 0 0 9935 18 0 0 25 0 3 0 400081397 199372800 41173 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 201.79
Current children cumulated vsize (KiB) 194700

[startup+162.302 s]
/proc/loadavg: 1.93 1.86 1.88 3/80 18280
/proc/meminfo: memFree=1357432/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=260816 CPUtime=321.5
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 60805 0 0 0 32080 70 0 0 25 0 3 0 400081275 267075584 58090 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 65204 58090 218 20 0 64562 0
[pid=18277/tid=18279] ppid=18275 vsize=260816 CPUtime=161.02
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 25691 0 0 0 16063 39 0 0 25 0 3 0 400081397 267075584 58090 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18277/tid=18280] ppid=18275 vsize=260816 CPUtime=159.26
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 27438 0 0 0 15900 26 0 0 25 0 3 0 400081397 267075584 58090 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 321.5
Current children cumulated vsize (KiB) 260816

[startup+222.302 s]
/proc/loadavg: 1.97 1.88 1.88 3/80 18280
/proc/meminfo: memFree=1314872/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=304636 CPUtime=441.22
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 72199 0 0 0 44036 86 0 0 25 0 3 0 400081275 311947264 68929 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 76159 68929 218 20 0 75517 0
[pid=18277/tid=18279] ppid=18275 vsize=304636 CPUtime=221
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 31112 0 0 0 22051 49 0 0 25 0 3 0 400081397 311947264 68929 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18277/tid=18280] ppid=18275 vsize=304636 CPUtime=219
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 33411 0 0 0 21868 32 0 0 24 0 3 0 400081397 311947264 68929 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526347 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 441.22
Current children cumulated vsize (KiB) 304636

[startup+282.301 s]
/proc/loadavg: 1.99 1.90 1.89 3/80 18280
/proc/meminfo: memFree=1309752/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=308764 CPUtime=560.94
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 73872 0 0 0 56005 89 0 0 25 0 3 0 400081275 316174336 70022 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 77191 70022 218 20 0 76549 0
[pid=18277/tid=18279] ppid=18275 vsize=308764 CPUtime=280.98
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 32187 0 0 0 28047 51 0 0 25 0 3 0 400081397 316174336 70022 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134522128 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18277/tid=18280] ppid=18275 vsize=308764 CPUtime=278.73
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 34009 0 0 0 27841 32 0 0 25 0 3 0 400081397 316174336 70022 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 560.94
Current children cumulated vsize (KiB) 308764

[startup+342.301 s]
/proc/loadavg: 1.99 1.91 1.90 3/80 18280
/proc/meminfo: memFree=1236600/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=381360 CPUtime=680.54
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 92713 0 0 0 67939 115 0 0 25 0 3 0 400081275 390512640 88265 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 95340 88265 218 20 0 94698 0
[pid=18277/tid=18279] ppid=18275 vsize=381360 CPUtime=340.95
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 46378 0 0 0 34024 71 0 0 25 0 3 0 400081397 390512640 88265 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134520272 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18277/tid=18280] ppid=18275 vsize=381360 CPUtime=338.36
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 38659 0 0 0 33798 38 0 0 25 0 3 0 400081397 390512640 88265 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 680.54
Current children cumulated vsize (KiB) 381360

[startup+402.302 s]
/proc/loadavg: 1.99 1.93 1.90 3/80 18280
/proc/meminfo: memFree=1236600/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=381360 CPUtime=800.27
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 93244 0 0 0 79912 115 0 0 25 0 3 0 400081275 390512640 88288 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0

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

[pid=18277] ppid=18275 vsize=631348 CPUtime=8700.94
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 170120 0 0 0 869837 257 0 0 25 0 3 0 400081275 646500352 150836 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 157837 150836 218 20 0 157195 0
[pid=18277/tid=18279] ppid=18275 vsize=631348 CPUtime=4359.31
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 89379 0 0 0 435775 156 0 0 25 0 3 0 400081397 646500352 150836 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18277/tid=18280] ppid=18275 vsize=631348 CPUtime=4340.4
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 73065 0 0 0 433945 95 0 0 25 0 3 0 400081397 646500352 150836 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8700.94
Current children cumulated vsize (KiB) 631348

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 18480
/proc/meminfo: memFree=985848/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=631348 CPUtime=8820.63
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 170124 0 0 0 881806 257 0 0 25 0 3 0 400081275 646500352 150840 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 157837 150840 218 20 0 157195 0
[pid=18277/tid=18279] ppid=18275 vsize=631348 CPUtime=4419.28
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 89381 0 0 0 441772 156 0 0 25 0 3 0 400081397 646500352 150840 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18277/tid=18280] ppid=18275 vsize=631348 CPUtime=4400.12
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 73067 0 0 0 439917 95 0 0 25 0 3 0 400081397 646500352 150840 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8820.63
Current children cumulated vsize (KiB) 631348

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/86 18658
/proc/meminfo: memFree=984520/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=631348 CPUtime=8939.99
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 170129 0 0 0 893724 275 0 0 25 0 3 0 400081275 646500352 150845 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 157837 150845 218 20 0 157195 0
[pid=18277/tid=18279] ppid=18275 vsize=631348 CPUtime=4479.07
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 89382 0 0 0 447751 156 0 0 25 0 3 0 400081397 646500352 150845 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526205 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18277/tid=18280] ppid=18275 vsize=631348 CPUtime=4459.69
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 73071 0 0 0 445856 113 0 0 25 0 3 0 400081397 646500352 150845 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8939.99
Current children cumulated vsize (KiB) 631348

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 18678
/proc/meminfo: memFree=985528/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=631348 CPUtime=9059.68
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 170135 0 0 0 905692 276 0 0 25 0 3 0 400081275 646500352 150851 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 157837 150851 218 20 0 157195 0
[pid=18277/tid=18279] ppid=18275 vsize=631348 CPUtime=4538.95
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 89386 0 0 0 453738 157 0 0 25 0 3 0 400081397 646500352 150851 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18277/tid=18280] ppid=18275 vsize=631348 CPUtime=4519.51
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 73073 0 0 0 451837 114 0 0 25 0 3 0 400081397 646500352 150851 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9059.68
Current children cumulated vsize (KiB) 631348

[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 18678
/proc/meminfo: memFree=985656/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=631348 CPUtime=9179.23
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 170141 0 0 0 917646 277 0 0 25 0 3 0 400081275 646500352 150857 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 157837 150857 218 20 0 157195 0
[pid=18277/tid=18279] ppid=18275 vsize=631348 CPUtime=4598.67
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 89388 0 0 0 459710 157 0 0 25 0 3 0 400081397 646500352 150857 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18277/tid=18280] ppid=18275 vsize=631348 CPUtime=4579.34
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 73077 0 0 0 457819 115 0 0 25 0 3 0 400081397 646500352 150857 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9179.23
Current children cumulated vsize (KiB) 631348

[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 18678
/proc/meminfo: memFree=985656/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=631348 CPUtime=9298.94
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 170141 0 0 0 929617 277 0 0 25 0 3 0 400081275 646500352 150857 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 157837 150857 218 20 0 157195 0
[pid=18277/tid=18279] ppid=18275 vsize=631348 CPUtime=4658.41
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 89388 0 0 0 465684 157 0 0 25 0 3 0 400081397 646500352 150857 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18277/tid=18280] ppid=18275 vsize=631348 CPUtime=4639.31
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 73077 0 0 0 463816 115 0 0 25 0 3 0 400081397 646500352 150857 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9298.94
Current children cumulated vsize (KiB) 631348

[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 18678
/proc/meminfo: memFree=985656/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=631348 CPUtime=9418.68
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 170147 0 0 0 941590 278 0 0 25 0 3 0 400081275 646500352 150863 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 157837 150863 218 20 0 157195 0
[pid=18277/tid=18279] ppid=18275 vsize=631348 CPUtime=4718.15
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 89393 0 0 0 471658 157 0 0 25 0 3 0 400081397 646500352 150863 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18277/tid=18280] ppid=18275 vsize=631348 CPUtime=4699.3
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 73078 0 0 0 469815 115 0 0 25 0 3 0 400081397 646500352 150863 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9418.68
Current children cumulated vsize (KiB) 631348

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 18678
/proc/meminfo: memFree=978872/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=638516 CPUtime=9538.38
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 171954 0 0 0 953556 282 0 0 25 0 3 0 400081275 653840384 152534 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 159629 152534 218 20 0 158987 0
[pid=18277/tid=18279] ppid=18275 vsize=638516 CPUtime=4777.89
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 91199 0 0 0 477629 160 0 0 25 0 3 0 400081397 653840384 152534 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18277/tid=18280] ppid=18275 vsize=638516 CPUtime=4759.26
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 73079 0 0 0 475810 116 0 0 25 0 3 0 400081397 653840384 152534 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9538.38
Current children cumulated vsize (KiB) 638516

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 18678
/proc/meminfo: memFree=979000/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=638516 CPUtime=9658.11
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 172092 0 0 0 965529 282 0 0 25 0 3 0 400081275 653840384 152536 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 159629 152536 218 20 0 158987 0
[pid=18277/tid=18279] ppid=18275 vsize=638516 CPUtime=4837.63
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 91336 0 0 0 483603 160 0 0 25 0 3 0 400081397 653840384 152536 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18277/tid=18280] ppid=18275 vsize=638516 CPUtime=4819.25
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 73080 0 0 0 481809 116 0 0 25 0 3 0 400081397 653840384 152536 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9658.11
Current children cumulated vsize (KiB) 638516

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 18678
/proc/meminfo: memFree=950584/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=668212 CPUtime=9777.84
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 179537 0 0 0 977493 291 0 0 25 0 3 0 400081275 684249088 159844 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 167053 159844 218 20 0 166411 0
[pid=18277/tid=18279] ppid=18275 vsize=668212 CPUtime=4897.37
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 98781 0 0 0 489569 168 0 0 25 0 3 0 400081397 684249088 159844 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18277/tid=18280] ppid=18275 vsize=668212 CPUtime=4879.23
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 73080 0 0 0 487806 117 0 0 25 0 3 0 400081397 684249088 159844 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526007 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9777.84
Current children cumulated vsize (KiB) 668212

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 18678
/proc/meminfo: memFree=884216/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=733748 CPUtime=9897.55
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 196298 0 0 0 989439 316 0 0 25 0 3 0 400081275 751357952 176331 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 183437 176331 218 20 0 182795 0
[pid=18277/tid=18279] ppid=18275 vsize=733748 CPUtime=4957.11
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 115539 0 0 0 495518 193 0 0 25 0 3 0 400081397 751357952 176331 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18277/tid=18280] ppid=18275 vsize=733748 CPUtime=4939.21
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 73083 0 0 0 493804 117 0 0 25 0 3 0 400081397 751357952 176331 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9897.55
Current children cumulated vsize (KiB) 733748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5013.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 18678
/proc/meminfo: memFree=859320/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=758324 CPUtime=10000.1
/proc/18277/stat : 18277 (MiraXTv3_dyn) S 18275 18277 18203 0 -1 4194304 202426 0 0 0 999686 325 0 0 25 0 3 0 400081275 776523776 182459 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 189581 182459 218 20 0 188939 0
[pid=18277/tid=18279] ppid=18275 vsize=758324 CPUtime=5008.27
/proc/18277/task/18279/stat : 18279 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 121658 0 0 0 500625 202 0 0 25 0 3 0 400081397 776523776 182459 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18277/tid=18280] ppid=18275 vsize=758324 CPUtime=4990.61
/proc/18277/task/18280/stat : 18280 (MiraXTv3_dyn) R 18275 18277 18203 0 -1 4194368 73092 0 0 0 498943 118 0 0 25 0 3 0 400081397 776523776 182459 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 758324

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

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

[startup+5013.82 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 18678
/proc/meminfo: memFree=859320/2055920 swapFree=4141224/4192956
[pid=18277] ppid=18275 vsize=0 CPUtime=10000.2
/proc/18277/stat : 18277 (MiraXTv3_dyn) Z 18275 18277 18203 0 -1 4195340 202426 0 0 0 999687 335 0 0 16 0 2 0 400081275 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18277/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5013.83
CPU time (s): 10000.2
CPU user time (s): 9996.88
CPU system time (s): 3.35949
CPU usage (%): 199.453
Max. virtual memory (cumulated for all children) (KiB): 758324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9996.88
system time used= 3.35949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202426
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= 517
involuntary context switches= 188878

runsolver used 4.93725 second user time and 13.409 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Tue May 15 14:47:15 UTC 2007

IDJOB= 460132
IDBENCH= 20567
IDSOLVER= 196
FILE ID= node4/460132-1179240435

PBS_JOBID= 5274539

Free space on /tmp= 66536 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf
COMMAND LINE= /tmp/evaluation/460132-1179240435/MiraXTv3_dyn /tmp/evaluation/460132-1179240435/instance-460132-1179240435.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-460132-1179240435 -o ROOT/results/node4/solver-460132-1179240435 -C 10000 -W 15000 -M 1800 --output-limit 1,15  /tmp/evaluation/460132-1179240435/MiraXTv3_dyn /tmp/evaluation/460132-1179240435/instance-460132-1179240435.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  cb7e94a0572e125e87a474412f4998c5

RANDOM SEED= 847287386

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1590312 kB
Buffers:         45824 kB
Cached:         327652 kB
SwapCached:      15756 kB
Active:         148888 kB
Inactive:       248028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1590312 kB
SwapTotal:     4192956 kB
SwapFree:      4141224 kB
Dirty:            8824 kB
Writeback:           0 kB
Mapped:          29796 kB
Slab:            54264 kB
Committed_AS: 10016900 kB
PageTables:       1816 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66536 MiB

End job on node4 on Tue May 15 16:10:51 UTC 2007