Trace number 460133

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 v3UNSAT 1248.74 627.641

General information on the benchmark

Nameindustrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf
MD5SUM376efcbd7056351cb4165e8a580bfa38
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark170.061
Satisfiable
(Un)Satisfiability was proved
Number of variables29084
Number of clauses119659
Sum of the clauses size303691
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 283935
Number of clauses of size 321996
Number of clauses of size 44194
Number of clauses of size 52369
Number of clauses of size over 55093

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...
1248.69/627.63	s UNSATISFIABLE

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node16/watcher-460133-1179019617 -o ROOT/results/node16/solver-460133-1179019617 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/460133-1179019617/MiraXTv3_dyn /tmp/evaluation/460133-1179019617/instance-460133-1179019617.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.84 1.97 1.97 3/77 12263
/proc/meminfo: memFree=1729104/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=3788 CPUtime=0
/proc/12263/stat : 12263 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194304 436 0 0 0 0 0 0 0 18 0 1 0 349879400 3878912 411 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/12263/statm: 947 420 203 20 0 305 0

[startup+0.049225 s]
/proc/loadavg: 1.84 1.97 1.97 3/77 12263
/proc/meminfo: memFree=1729104/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=7284 CPUtime=0.03
/proc/12263/stat : 12263 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194304 1364 0 0 0 3 0 0 0 18 0 1 0 349879400 7458816 1339 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7640699 0 0 4096 0 0 0 0 17 0 0 0
/proc/12263/statm: 1821 1339 206 20 0 1179 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7284

[startup+0.101213 s]
/proc/loadavg: 1.84 1.97 1.97 3/77 12263
/proc/meminfo: memFree=1729104/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=11488 CPUtime=0.09
/proc/12263/stat : 12263 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194304 2320 0 0 0 8 1 0 0 18 0 1 0 349879400 11763712 2295 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7640699 0 0 4096 0 0 0 0 17 0 0 0
/proc/12263/statm: 2872 2296 206 20 0 2230 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11488

[startup+0.301171 s]
/proc/loadavg: 1.84 1.97 1.97 3/77 12263
/proc/meminfo: memFree=1729104/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=17244 CPUtime=0.29
/proc/12263/stat : 12263 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194304 3656 0 0 0 28 1 0 0 19 0 1 0 349879400 17657856 3631 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7640699 0 0 4096 0 0 0 0 17 0 0 0
/proc/12263/statm: 4311 3631 207 20 0 3669 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17244

[startup+0.701093 s]
/proc/loadavg: 1.84 1.97 1.97 3/77 12263
/proc/meminfo: memFree=1729104/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=46852 CPUtime=0.73
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 7522 0 0 0 70 3 0 0 22 0 3 0 349879400 47976448 7055 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 11713 7055 218 20 0 11071 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 46852

[startup+1.50193 s]
/proc/loadavg: 1.84 1.97 1.97 2/80 12266
/proc/meminfo: memFree=1701432/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=46300 CPUtime=1.88
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 7698 0 0 0 185 3 0 0 22 0 3 0 349879400 47411200 7060 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 11575 7060 218 20 0 10933 0
[pid=12263/tid=12265] ppid=12261 vsize=46300 CPUtime=0.89
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 1687 0 0 0 89 0 0 0 23 0 3 0 349879459 47411200 7060 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=46300 CPUtime=0.38
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 1587 0 0 0 38 0 0 0 19 0 3 0 349879459 47411200 7060 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 46300

[startup+3.10159 s]
/proc/loadavg: 1.84 1.97 1.97 3/80 12266
/proc/meminfo: memFree=1700600/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=48348 CPUtime=5.07
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 8268 0 0 0 504 3 0 0 22 0 3 0 349879400 49508352 7630 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 12087 7630 218 20 0 11445 0
[pid=12263/tid=12265] ppid=12261 vsize=48348 CPUtime=2.49
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 1797 0 0 0 249 0 0 0 25 0 3 0 349879459 49508352 7630 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565715 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=48348 CPUtime=1.98
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 2047 0 0 0 197 1 0 0 23 0 3 0 349879459 49508352 7630 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7648689 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 48348

[startup+6.30191 s]
/proc/loadavg: 1.85 1.97 1.97 3/80 12266
/proc/meminfo: memFree=1693688/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=55380 CPUtime=11.46
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 10193 0 0 0 1140 6 0 0 22 0 3 0 349879400 56709120 9555 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 13845 9555 218 20 0 13203 0
[pid=12263/tid=12265] ppid=12261 vsize=55380 CPUtime=5.69
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 2843 0 0 0 568 1 0 0 25 0 3 0 349879459 56709120 9555 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=55380 CPUtime=5.16
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 2926 0 0 0 514 2 0 0 25 0 3 0 349879459 56709120 9555 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.46
Current children cumulated vsize (KiB) 55380

[startup+12.7026 s]
/proc/loadavg: 1.86 1.97 1.97 3/80 12266
/proc/meminfo: memFree=1681592/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=66044 CPUtime=24.23
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 13134 0 0 0 2414 9 0 0 22 0 3 0 349879400 67629056 12496 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 16511 12496 218 20 0 15869 0
[pid=12263/tid=12265] ppid=12261 vsize=66044 CPUtime=12.09
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 4341 0 0 0 1206 3 0 0 25 0 3 0 349879459 67629056 12496 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=66044 CPUtime=11.54
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 4369 0 0 0 1150 4 0 0 25 0 3 0 349879459 67629056 12496 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.23
Current children cumulated vsize (KiB) 66044

[startup+25.5018 s]
/proc/loadavg: 1.89 1.97 1.97 3/80 12266
/proc/meminfo: memFree=1652152/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=95048 CPUtime=49.78
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 20293 0 0 0 4958 20 0 0 22 0 3 0 349879400 97329152 19587 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 23762 19588 218 20 0 23120 0
[pid=12263/tid=12265] ppid=12261 vsize=95048 CPUtime=24.89
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 8169 0 0 0 2481 8 0 0 25 0 3 0 349879459 97329152 19588 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7640699 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=95048 CPUtime=24.28
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 7701 0 0 0 2419 9 0 0 25 0 3 0 349879459 97329152 19588 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.78
Current children cumulated vsize (KiB) 95048

[startup+51.1014 s]
/proc/loadavg: 1.93 1.97 1.97 3/80 12266
/proc/meminfo: memFree=1588600/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=157532 CPUtime=100.87
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 36459 0 0 0 10045 42 0 0 22 0 3 0 349879400 161312768 35553 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 39383 35553 218 20 0 38741 0
[pid=12263/tid=12265] ppid=12261 vsize=157532 CPUtime=50.46
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 15797 0 0 0 5031 15 0 0 25 0 3 0 349879459 161312768 35553 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=157532 CPUtime=49.79
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 16238 0 0 0 4955 24 0 0 25 0 3 0 349879459 161312768 35553 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526341 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 100.87
Current children cumulated vsize (KiB) 157532

[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.97 3/80 12266
/proc/meminfo: memFree=1556600/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=188344 CPUtime=203.06
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 44435 0 0 0 20253 53 0 0 22 0 3 0 349879400 192864256 43161 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 47086 43161 218 20 0 46444 0
[pid=12263/tid=12265] ppid=12261 vsize=188344 CPUtime=101.65
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 18957 0 0 0 10146 19 0 0 25 0 3 0 349879459 192864256 43161 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526502 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=188344 CPUtime=100.8
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 21054 0 0 0 10048 32 0 0 25 0 3 0 349879459 192864256 43161 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.06
Current children cumulated vsize (KiB) 188344

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.97 3/80 12266
/proc/meminfo: memFree=1423096/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=324244 CPUtime=322.81
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 78438 0 0 0 32178 103 0 0 22 0 3 0 349879400 332025856 76888 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 81061 76889 218 20 0 80419 0
[pid=12263/tid=12265] ppid=12261 vsize=324244 CPUtime=161.63
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 33244 0 0 0 16127 36 0 0 25 0 3 0 349879459 332025856 76889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7640699 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=324244 CPUtime=160.57
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 40771 0 0 0 15992 65 0 0 25 0 3 0 349879459 332025856 76889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 322.81
Current children cumulated vsize (KiB) 324244

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/80 12266
/proc/meminfo: memFree=1415928/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=329616 CPUtime=442.5
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 80184 0 0 0 44144 106 0 0 22 0 3 0 349879400 337526784 78196 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 82404 78196 218 20 0 81762 0
[pid=12263/tid=12265] ppid=12261 vsize=329616 CPUtime=221.56
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 34067 0 0 0 22120 36 0 0 25 0 3 0 349879459 337526784 78196 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=329616 CPUtime=220.33
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 41693 0 0 0 21966 67 0 0 25 0 3 0 349879459 337526784 78196 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526652 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.5
Current children cumulated vsize (KiB) 329616

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/80 12266
/proc/meminfo: memFree=1359800/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=388232 CPUtime=562.26
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 95179 0 0 0 56103 123 0 0 22 0 3 0 349879400 397549568 92891 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 97058 92891 218 20 0 96416 0
[pid=12263/tid=12265] ppid=12261 vsize=388232 CPUtime=281.54
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 45037 0 0 0 28106 48 0 0 25 0 3 0 349879459 397549568 92891 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=388232 CPUtime=280.11
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 45718 0 0 0 27938 73 0 0 25 0 3 0 349879459 397549568 92891 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.26
Current children cumulated vsize (KiB) 388232

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.97 3/80 12266
/proc/meminfo: memFree=1331448/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=412820 CPUtime=681.97
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 101914 0 0 0 68064 133 0 0 22 0 3 0 349879400 422727680 99322 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 103205 99322 218 20 0 102563 0
[pid=12263/tid=12265] ppid=12261 vsize=412820 CPUtime=341.48
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 48037 0 0 0 34098 50 0 0 25 0 3 0 349879459 422727680 99322 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=412820 CPUtime=339.87
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 49453 0 0 0 33907 80 0 0 25 0 3 0 349879459 422727680 99322 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 681.97
Current children cumulated vsize (KiB) 412820

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/80 12266
/proc/meminfo: memFree=1331192/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=412820 CPUtime=801.72
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 102230 0 0 0 80038 134 0 0 22 0 3 0 349879400 422727680 99332 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 103205 99332 218 20 0 102563 0
[pid=12263/tid=12265] ppid=12261 vsize=412820 CPUtime=401.46
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 48195 0 0 0 40095 51 0 0 25 0 3 0 349879459 422727680 99332 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=412820 CPUtime=399.66
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 49611 0 0 0 39885 81 0 0 25 0 3 0 349879459 422727680 99332 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 801.72
Current children cumulated vsize (KiB) 412820

[startup+462.301 s]
/proc/loadavg: 2.03 1.99 1.98 3/80 12266
/proc/meminfo: memFree=1303352/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=440576 CPUtime=921.45
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 109548 0 0 0 91999 146 0 0 22 0 3 0 349879400 451149824 106283 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 110144 106283 218 20 0 109502 0
[pid=12263/tid=12265] ppid=12261 vsize=440576 CPUtime=461.42
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 50169 0 0 0 46089 53 0 0 25 0 3 0 349879459 451149824 106283 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=440576 CPUtime=459.42
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 54955 0 0 0 45852 90 0 0 25 0 3 0 349879459 451149824 106283 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526712 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 921.45
Current children cumulated vsize (KiB) 440576

[startup+522.302 s]
/proc/loadavg: 2.01 1.99 1.98 3/80 12268
/proc/meminfo: memFree=1303544/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=440372 CPUtime=1041.05
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 110032 0 0 0 103958 147 0 0 22 0 3 0 349879400 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 110093 106251 218 20 0 109451 0
[pid=12263/tid=12265] ppid=12261 vsize=440372 CPUtime=521.25
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 50418 0 0 0 52071 54 0 0 25 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=440372 CPUtime=519.2
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 55190 0 0 0 51829 91 0 0 25 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.05
Current children cumulated vsize (KiB) 440372

[startup+582.302 s]
/proc/loadavg: 2.00 1.99 1.98 3/80 12268
/proc/meminfo: memFree=1303544/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=440372 CPUtime=1160.8
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 110032 0 0 0 115932 148 0 0 22 0 3 0 349879400 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 110093 106251 218 20 0 109451 0
[pid=12263/tid=12265] ppid=12261 vsize=440372 CPUtime=581.22
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 50418 0 0 0 58068 54 0 0 25 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=440372 CPUtime=578.97
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 55190 0 0 0 57806 91 0 0 25 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1160.8
Current children cumulated vsize (KiB) 440372

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

[startup+588.701 s]
/proc/loadavg: 2.00 1.99 1.98 3/80 12268
/proc/meminfo: memFree=1303544/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=440372 CPUtime=1173.58
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 110032 0 0 0 117210 148 0 0 22 0 3 0 349879400 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 110093 106251 218 20 0 109451 0
[pid=12263/tid=12265] ppid=12261 vsize=440372 CPUtime=587.62
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 50418 0 0 0 58708 54 0 0 25 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=440372 CPUtime=585.34
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 55190 0 0 0 58443 91 0 0 25 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1173.58
Current children cumulated vsize (KiB) 440372

[startup+614.301 s]
/proc/loadavg: 2.00 1.99 1.98 3/80 12268
/proc/meminfo: memFree=1303544/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=440372 CPUtime=1224.45
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 110032 0 0 0 122297 148 0 0 22 0 3 0 349879400 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 110093 106251 218 20 0 109451 0
[pid=12263/tid=12265] ppid=12261 vsize=440372 CPUtime=613.19
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 50418 0 0 0 61265 54 0 0 25 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=440372 CPUtime=610.65
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 55190 0 0 0 60973 92 0 0 25 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1224.45
Current children cumulated vsize (KiB) 440372

[startup+620.703 s]
/proc/loadavg: 2.00 1.99 1.98 3/80 12268
/proc/meminfo: memFree=1303544/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=440372 CPUtime=1237.19
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 110032 0 0 0 123571 148 0 0 22 0 3 0 349879400 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 110093 106251 218 20 0 109451 0
[pid=12263/tid=12265] ppid=12261 vsize=440372 CPUtime=619.57
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 50418 0 0 0 61903 54 0 0 25 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=440372 CPUtime=617.01
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 55190 0 0 0 61609 92 0 0 25 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1237.19
Current children cumulated vsize (KiB) 440372

[startup+623.901 s]
/proc/loadavg: 2.00 1.99 1.98 3/80 12268
/proc/meminfo: memFree=1303544/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=440372 CPUtime=1243.26
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 110032 0 0 0 124178 148 0 0 22 0 3 0 349879400 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 110093 106251 218 20 0 109451 0
[pid=12263/tid=12265] ppid=12261 vsize=440372 CPUtime=622.56
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 50418 0 0 0 62202 54 0 0 25 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=440372 CPUtime=620.09
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 55190 0 0 0 61917 92 0 0 25 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520288 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1243.26
Current children cumulated vsize (KiB) 440372

[startup+625.502 s]
/proc/loadavg: 2.00 1.99 1.98 3/80 12268
/proc/meminfo: memFree=1303544/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=440372 CPUtime=1246.42
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 110032 0 0 0 124494 148 0 0 22 0 3 0 349879400 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 110093 106251 218 20 0 109451 0
[pid=12263/tid=12265] ppid=12261 vsize=440372 CPUtime=624.13
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 50418 0 0 0 62359 54 0 0 18 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526510 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=440372 CPUtime=621.69
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194368 55190 0 0 0 62077 92 0 0 25 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1246.42
Current children cumulated vsize (KiB) 440372

[startup+626.302 s]
/proc/loadavg: 2.00 1.99 1.98 2/80 12268
/proc/meminfo: memFree=1303544/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=440372 CPUtime=1247.27
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 110032 0 0 0 124579 148 0 0 22 0 3 0 349879400 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 110093 106251 218 20 0 109451 0
[pid=12263/tid=12265] ppid=12261 vsize=440372 CPUtime=624.49
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194368 50418 0 0 0 62395 54 0 0 20 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=440372 CPUtime=622.18
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 55190 0 0 0 62126 92 0 0 20 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1247.27
Current children cumulated vsize (KiB) 440372

[startup+627.101 s]
/proc/loadavg: 2.00 1.99 1.98 2/80 12268
/proc/meminfo: memFree=1303544/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=440372 CPUtime=1248.18
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 110032 0 0 0 124670 148 0 0 22 0 3 0 349879400 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 110093 106251 218 20 0 109451 0
[pid=12263/tid=12265] ppid=12261 vsize=440372 CPUtime=624.81
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194368 50418 0 0 0 62427 54 0 0 18 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=440372 CPUtime=622.76
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 55190 0 0 0 62184 92 0 0 18 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1248.18
Current children cumulated vsize (KiB) 440372

[startup+627.501 s]
/proc/loadavg: 2.00 1.99 1.98 2/80 12268
/proc/meminfo: memFree=1303544/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=440372 CPUtime=1248.58
/proc/12263/stat : 12263 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194304 110032 0 0 0 124710 148 0 0 22 0 3 0 349879400 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/12263/statm: 110093 106251 218 20 0 109451 0
[pid=12263/tid=12265] ppid=12261 vsize=440372 CPUtime=624.81
/proc/12263/task/12265/stat : 12265 (MiraXTv3_dyn) S 12261 12263 11758 0 -1 4194368 50418 0 0 0 62427 54 0 0 18 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=440372 CPUtime=623.16
/proc/12263/task/12266/stat : 12266 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194368 55190 0 0 0 62224 92 0 0 22 0 3 0 349879459 450940928 106251 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1248.58
Current children cumulated vsize (KiB) 440372

[startup+627.601 s]
/proc/loadavg: 2.00 1.99 1.98 2/80 12268
/proc/meminfo: memFree=1303544/2055920 swapFree=4143424/4192956
[pid=12263] ppid=12261 vsize=289048 CPUtime=1248.69
/proc/12263/stat : 12263 (MiraXTv3_dyn) R 12261 12263 11758 0 -1 4194304 110034 0 0 0 124717 152 0 0 17 0 1 0 349879400 295985152 69013 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/12263/statm: 72262 69013 29141 20 0 71620 0
Current children cumulated CPU time (s) 1248.69
Current children cumulated vsize (KiB) 289048

Child status: 20
Real time (s): 627.641
CPU time (s): 1248.74
CPU user time (s): 1247.19
CPU system time (s): 1.55276
CPU usage (%): 198.957
Max. virtual memory (cumulated for all children) (KiB): 441260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1247.19
system time used= 1.55276
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110037
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= 355
involuntary context switches= 23486

runsolver used 0.668898 second user time and 1.64875 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Sun May 13 01:26:58 UTC 2007

IDJOB= 460133
IDBENCH= 20568
IDSOLVER= 196
FILE ID= node16/460133-1179019617

PBS_JOBID= 5252883

Free space on /tmp= 66538 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf
COMMAND LINE= /tmp/evaluation/460133-1179019617/MiraXTv3_dyn /tmp/evaluation/460133-1179019617/instance-460133-1179019617.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-460133-1179019617 -o ROOT/results/node16/solver-460133-1179019617 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/460133-1179019617/MiraXTv3_dyn /tmp/evaluation/460133-1179019617/instance-460133-1179019617.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  376efcbd7056351cb4165e8a580bfa38

RANDOM SEED= 442220988

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1729320 kB
Buffers:         43780 kB
Cached:         194088 kB
SwapCached:      18016 kB
Active:          47820 kB
Inactive:       215144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1729320 kB
SwapTotal:     4192956 kB
SwapFree:      4143424 kB
Dirty:            6532 kB
Writeback:           0 kB
Mapped:          30092 kB
Slab:            49140 kB
Committed_AS: 14307840 kB
PageTables:       1836 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66538 MiB

End job on node16 on Sun May 13 01:37:26 UTC 2007