Trace number 426197

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.23 2506.63

General information on the benchmark

Namerandom/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf
MD5SUMb03952152dea0613061828eb775a4d85
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark83.0224
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
Number of clauses of size 40
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/node7/watcher-426197-1179048034 -o ROOT/results/node7/solver-426197-1179048034 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426197-1179048034/MiraXTv3_dyn /tmp/evaluation/426197-1179048034/instance-426197-1179048034.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: 0.00 0.00 0.00 3/77 8387
/proc/meminfo: memFree=1576760/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=2624 CPUtime=0
/proc/8387/stat : 8387 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194304 161 0 0 0 0 0 0 0 18 0 1 0 380841080 2686976 137 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 10882720 0 0 4096 0 0 0 0 17 1 0 0
/proc/8387/statm: 656 147 123 20 0 14 0

[startup+0.076259 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 8387
/proc/meminfo: memFree=1576760/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=6448 CPUtime=0.13
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 581 0 0 0 13 0 0 0 18 0 3 0 380841080 6602752 556 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 1612 556 218 20 0 970 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 6448

[startup+0.10226 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 8387
/proc/meminfo: memFree=1576760/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=6580 CPUtime=0.18
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 655 0 0 0 18 0 0 0 18 0 3 0 380841080 6737920 630 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 1645 630 218 20 0 1003 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6580

[startup+0.302284 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 8387
/proc/meminfo: memFree=1576760/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=8332 CPUtime=0.58
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 989 0 0 0 58 0 0 0 18 0 3 0 380841080 8531968 964 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 2083 964 218 20 0 1441 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 8332

[startup+0.702327 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 8387
/proc/meminfo: memFree=1576760/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=10628 CPUtime=1.37
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 1579 0 0 0 137 0 0 0 18 0 3 0 380841080 10883072 1554 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 2657 1554 218 20 0 2015 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 10628

[startup+1.50142 s]
/proc/loadavg: 0.00 0.00 0.00 3/80 8390
/proc/meminfo: memFree=1569696/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=14880 CPUtime=2.97
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 2563 0 0 0 296 1 0 0 18 0 3 0 380841080 15237120 2538 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 3720 2538 218 20 0 3078 0
[pid=8387/tid=8389] ppid=8385 vsize=14880 CPUtime=1.48
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194368 1115 0 0 0 148 0 0 0 25 0 3 0 380841081 15237120 2538 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=14880 CPUtime=1.47
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 1112 0 0 0 147 0 0 0 17 0 3 0 380841081 15237120 2538 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134516656 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 14880

[startup+3.10158 s]
/proc/loadavg: 0.00 0.00 0.00 3/80 8390
/proc/meminfo: memFree=1567200/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=16800 CPUtime=6.16
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 2950 0 0 0 615 1 0 0 18 0 3 0 380841080 17203200 2925 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 4200 2925 218 20 0 3558 0
[pid=8387/tid=8389] ppid=8385 vsize=16800 CPUtime=3.08
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 1225 0 0 0 308 0 0 0 25 0 3 0 380841081 17203200 2925 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=16800 CPUtime=3.06
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 1389 0 0 0 306 0 0 0 22 0 3 0 380841081 17203200 2925 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520146 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 16800

[startup+6.30192 s]
/proc/loadavg: 0.16 0.03 0.01 3/80 8390
/proc/meminfo: memFree=1559776/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=24940 CPUtime=12.55
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 5058 0 0 0 1252 3 0 0 18 0 3 0 380841080 25538560 4877 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 6235 4877 218 20 0 5593 0
[pid=8387/tid=8389] ppid=8385 vsize=24940 CPUtime=6.28
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 2232 0 0 0 627 1 0 0 25 0 3 0 380841081 25538560 4877 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=24940 CPUtime=6.26
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 2490 0 0 0 624 2 0 0 25 0 3 0 380841081 25538560 4877 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 24940

[startup+12.7016 s]
/proc/loadavg: 0.31 0.07 0.02 3/80 8390
/proc/meminfo: memFree=1547296/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=34864 CPUtime=25.32
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 7799 0 0 0 2525 7 0 0 18 0 3 0 380841080 35700736 7413 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 8716 7413 218 20 0 8074 0
[pid=8387/tid=8389] ppid=8385 vsize=34864 CPUtime=12.67
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 3598 0 0 0 1265 2 0 0 25 0 3 0 380841081 35700736 7413 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=34864 CPUtime=12.63
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 3865 0 0 0 1259 4 0 0 25 0 3 0 380841081 35700736 7413 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526664 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 34864

[startup+25.5029 s]
/proc/loadavg: 0.68 0.16 0.05 3/80 8390
/proc/meminfo: memFree=1542688/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=40440 CPUtime=50.85
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 9487 0 0 0 5077 8 0 0 18 0 3 0 380841080 41410560 8725 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 10110 8725 218 20 0 9468 0
[pid=8387/tid=8389] ppid=8385 vsize=40440 CPUtime=25.47
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 4529 0 0 0 2544 3 0 0 25 0 3 0 380841081 41410560 8725 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=40440 CPUtime=25.37
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 4622 0 0 0 2532 5 0 0 25 0 3 0 380841081 41410560 8725 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 40440

[startup+51.1026 s]
/proc/loadavg: 1.13 0.31 0.10 3/80 8390
/proc/meminfo: memFree=1535776/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=46816 CPUtime=101.91
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 11972 0 0 0 10179 12 0 0 18 0 3 0 380841080 47939584 10406 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 11704 10406 218 20 0 11062 0
[pid=8387/tid=8389] ppid=8385 vsize=46816 CPUtime=51.05
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 5654 0 0 0 5101 4 0 0 25 0 3 0 380841081 47939584 10406 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=46816 CPUtime=50.85
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 5982 0 0 0 5078 7 0 0 25 0 3 0 380841081 47939584 10406 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 46816

[startup+102.307 s]
/proc/loadavg: 1.62 0.56 0.20 3/80 8390
/proc/meminfo: memFree=1530208/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=52024 CPUtime=204.04
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 14835 0 0 0 20390 14 0 0 18 0 3 0 380841080 53272576 11627 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 13006 11627 218 20 0 12364 0
[pid=8387/tid=8389] ppid=8385 vsize=52024 CPUtime=102.22
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 7013 0 0 0 10217 5 0 0 25 0 3 0 380841081 53272576 11627 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526364 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=52024 CPUtime=101.8
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 7486 0 0 0 10172 8 0 0 25 0 3 0 380841081 53272576 11627 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 52024

[startup+162.302 s]
/proc/loadavg: 1.86 0.82 0.31 3/80 8390
/proc/meminfo: memFree=1528800/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=53224 CPUtime=323.73
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 17025 0 0 0 32357 16 0 0 18 0 3 0 380841080 54501376 12022 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 13306 12022 218 20 0 12664 0
[pid=8387/tid=8389] ppid=8385 vsize=53224 CPUtime=162.18
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 8122 0 0 0 16212 6 0 0 25 0 3 0 380841081 54501376 12022 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=53224 CPUtime=161.53
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 8567 0 0 0 16144 9 0 0 25 0 3 0 380841081 54501376 12022 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.73
Current children cumulated vsize (KiB) 53224

[startup+222.303 s]
/proc/loadavg: 1.95 1.04 0.41 3/80 8390
/proc/meminfo: memFree=1526496/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=55888 CPUtime=443.4
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 19201 0 0 0 44322 18 0 0 18 0 3 0 380841080 57229312 12572 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 13972 12572 218 20 0 13330 0
[pid=8387/tid=8389] ppid=8385 vsize=55888 CPUtime=222.14
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 9234 0 0 0 22207 7 0 0 25 0 3 0 380841081 57229312 12572 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=55888 CPUtime=221.24
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 9631 0 0 0 22114 10 0 0 25 0 3 0 380841081 57229312 12572 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.4
Current children cumulated vsize (KiB) 55888

[startup+282.303 s]
/proc/loadavg: 1.98 1.21 0.51 3/80 8390
/proc/meminfo: memFree=1523616/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=58436 CPUtime=563.08
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 21551 0 0 0 56288 20 0 0 18 0 3 0 380841080 59838464 13315 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 14609 13315 218 20 0 13967 0
[pid=8387/tid=8389] ppid=8385 vsize=58436 CPUtime=282.1
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 10654 0 0 0 28201 9 0 0 25 0 3 0 380841081 59838464 13315 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=58436 CPUtime=280.97
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 10561 0 0 0 28086 11 0 0 25 0 3 0 380841081 59838464 13315 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.08
Current children cumulated vsize (KiB) 58436

[startup+342.302 s]
/proc/loadavg: 1.99 1.35 0.60 3/80 8390
/proc/meminfo: memFree=1521952/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=59596 CPUtime=682.78
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 23672 0 0 0 68255 23 0 0 18 0 3 0 380841080 61026304 13756 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 14899 13756 218 20 0 14257 0
[pid=8387/tid=8389] ppid=8385 vsize=59596 CPUtime=342.07
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 11815 0 0 0 34197 10 0 0 25 0 3 0 380841081 61026304 13756 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=59596 CPUtime=340.69
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 11521 0 0 0 34058 11 0 0 25 0 3 0 380841081 61026304 13756 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.78
Current children cumulated vsize (KiB) 59596

[startup+402.302 s]

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

/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 31902 0 0 0 184110 30 0 0 25 0 3 0 380841081 81027072 18188 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=79128 CPUtime=1833.76
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 31146 0 0 0 183349 27 0 0 25 0 3 0 380841081 81027072 18188 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3675.18
Current children cumulated vsize (KiB) 79128

[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 1.72 3/80 8392
/proc/meminfo: memFree=1503904/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=79128 CPUtime=3794.87
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 64795 0 0 0 379428 59 0 0 18 0 3 0 380841080 81027072 18208 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 19782 18208 218 20 0 19140 0
[pid=8387/tid=8389] ppid=8385 vsize=79128 CPUtime=1901.36
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 32530 0 0 0 190106 30 0 0 25 0 3 0 380841081 81027072 18208 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=79128 CPUtime=1893.49
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 31929 0 0 0 189321 28 0 0 25 0 3 0 380841081 81027072 18208 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.87
Current children cumulated vsize (KiB) 79128

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/80 8392
/proc/meminfo: memFree=1503840/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=79128 CPUtime=3914.57
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 66212 0 0 0 391397 60 0 0 18 0 3 0 380841080 81027072 18224 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 19782 18224 218 20 0 19140 0
[pid=8387/tid=8389] ppid=8385 vsize=79128 CPUtime=1961.34
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 33317 0 0 0 196103 31 0 0 25 0 3 0 380841081 81027072 18224 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526502 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=79128 CPUtime=1953.22
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 32559 0 0 0 195294 28 0 0 25 0 3 0 380841081 81027072 18224 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3914.57
Current children cumulated vsize (KiB) 79128

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/80 8392
/proc/meminfo: memFree=1503520/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=79296 CPUtime=4034.25
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 67707 0 0 0 403364 61 0 0 18 0 3 0 380841080 81199104 18304 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 19824 18304 218 20 0 19182 0
[pid=8387/tid=8389] ppid=8385 vsize=79296 CPUtime=2021.31
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 33989 0 0 0 202099 32 0 0 25 0 3 0 380841081 81199104 18304 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=79296 CPUtime=2012.92
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 33382 0 0 0 201264 28 0 0 25 0 3 0 380841081 81199104 18304 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4034.25
Current children cumulated vsize (KiB) 79296

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 1.76 3/80 8392
/proc/meminfo: memFree=1502304/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=80452 CPUtime=4153.96
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 69129 0 0 0 415334 62 0 0 18 0 3 0 380841080 82382848 18618 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 20113 18618 218 20 0 19471 0
[pid=8387/tid=8389] ppid=8385 vsize=80452 CPUtime=2081.3
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 34471 0 0 0 208097 33 0 0 25 0 3 0 380841081 82382848 18618 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530005 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=80452 CPUtime=2072.65
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 34322 0 0 0 207236 29 0 0 25 0 3 0 380841081 82382848 18618 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4153.96
Current children cumulated vsize (KiB) 80452

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/80 8392
/proc/meminfo: memFree=1501280/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=81112 CPUtime=4273.67
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 70825 0 0 0 427303 64 0 0 18 0 3 0 380841080 83058688 18879 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 20278 18879 218 20 0 19636 0
[pid=8387/tid=8389] ppid=8385 vsize=81112 CPUtime=2141.27
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 35464 0 0 0 214094 33 0 0 25 0 3 0 380841081 83058688 18879 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8387/tid=8390] ppid=8385 vsize=81112 CPUtime=2132.37
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 35025 0 0 0 213208 29 0 0 25 0 3 0 380841081 83058688 18879 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526558 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4273.67
Current children cumulated vsize (KiB) 81112

[startup+2202.3 s]
/proc/loadavg: 2.04 2.01 1.79 3/80 8392
/proc/meminfo: memFree=1501088/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=81304 CPUtime=4393.38
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 72144 0 0 0 439274 64 0 0 18 0 3 0 380841080 83255296 18914 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 20326 18914 218 20 0 19684 0
[pid=8387/tid=8389] ppid=8385 vsize=81304 CPUtime=2201.17
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 36135 0 0 0 220083 34 0 0 25 0 3 0 380841081 83255296 18914 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565851 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=81304 CPUtime=2192.21
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 35673 0 0 0 219191 30 0 0 25 0 3 0 380841081 83255296 18914 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4393.38
Current children cumulated vsize (KiB) 81304

[startup+2262.3 s]
/proc/loadavg: 2.01 2.01 1.80 3/80 8392
/proc/meminfo: memFree=1500960/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=81304 CPUtime=4513.1
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 73484 0 0 0 451244 66 0 0 18 0 3 0 380841080 83255296 18962 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 20326 18962 218 20 0 19684 0
[pid=8387/tid=8389] ppid=8385 vsize=81304 CPUtime=2260.91
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 36822 0 0 0 226057 34 0 0 25 0 3 0 380841081 83255296 18962 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=81304 CPUtime=2252.17
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 36326 0 0 0 225186 31 0 0 25 0 3 0 380841081 83255296 18962 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4513.1
Current children cumulated vsize (KiB) 81304

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/80 8392
/proc/meminfo: memFree=1499424/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=83508 CPUtime=4632.81
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 75015 0 0 0 463214 67 0 0 18 0 3 0 380841080 85512192 19356 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 20877 19356 218 20 0 20235 0
[pid=8387/tid=8389] ppid=8385 vsize=83508 CPUtime=2320.65
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 37325 0 0 0 232031 34 0 0 25 0 3 0 380841081 85512192 19356 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=83508 CPUtime=2312.14
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 37354 0 0 0 231182 32 0 0 25 0 3 0 380841081 85512192 19356 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.81
Current children cumulated vsize (KiB) 83508

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/80 8392
/proc/meminfo: memFree=1498464/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=83508 CPUtime=4752.52
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 76558 0 0 0 475183 69 0 0 18 0 3 0 380841080 85512192 19591 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 20877 19591 218 20 0 20235 0
[pid=8387/tid=8389] ppid=8385 vsize=83508 CPUtime=2380.38
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 38009 0 0 0 238004 34 0 0 25 0 3 0 380841081 85512192 19591 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=83508 CPUtime=2372.11
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 38213 0 0 0 237178 33 0 0 25 0 3 0 380841081 85512192 19591 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752.52
Current children cumulated vsize (KiB) 83508

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/86 8500
/proc/meminfo: memFree=1497008/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=84532 CPUtime=4872.06
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 77912 0 0 0 487127 79 0 0 18 0 3 0 380841080 86560768 19629 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 21133 19629 218 20 0 20491 0
[pid=8387/tid=8389] ppid=8385 vsize=84532 CPUtime=2440.06
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 38676 0 0 0 243961 45 0 0 25 0 3 0 380841081 86560768 19629 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=84532 CPUtime=2431.99
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 38900 0 0 0 243165 34 0 0 25 0 3 0 380841081 86560768 19629 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4872.06
Current children cumulated vsize (KiB) 84532

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 8590
/proc/meminfo: memFree=1497888/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=84664 CPUtime=4991.61
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 79279 0 0 0 499070 91 0 0 18 0 3 0 380841080 86695936 19672 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 21166 19672 218 20 0 20524 0
[pid=8387/tid=8389] ppid=8385 vsize=84664 CPUtime=2499.73
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 39374 0 0 0 249918 55 0 0 25 0 3 0 380841081 86695936 19672 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=84664 CPUtime=2491.85
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 39569 0 0 0 249151 34 0 0 25 0 3 0 380841081 86695936 19672 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.61
Current children cumulated vsize (KiB) 84664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.6 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 8590
/proc/meminfo: memFree=1497760/2055920 swapFree=4156572/4192956
[pid=8387] ppid=8385 vsize=84664 CPUtime=5000.2
/proc/8387/stat : 8387 (MiraXTv3_dyn) S 8385 8387 8315 0 -1 4194304 79447 0 0 0 499929 91 0 0 18 0 3 0 380841080 86695936 19674 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8387/statm: 21166 19674 218 20 0 20524 0
[pid=8387/tid=8389] ppid=8385 vsize=84664 CPUtime=2504.01
/proc/8387/task/8389/stat : 8389 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 39541 0 0 0 250346 55 0 0 25 0 3 0 380841081 86695936 19674 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=84664 CPUtime=2496.16
/proc/8387/task/8390/stat : 8390 (MiraXTv3_dyn) R 8385 8387 8315 0 -1 4194368 39570 0 0 0 249582 34 0 0 25 0 3 0 380841081 86695936 19674 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.2
Current children cumulated vsize (KiB) 84664

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.63
CPU time (s): 5000.23
CPU user time (s): 4999.3
CPU system time (s): 0.923859
CPU usage (%): 199.48
Max. virtual memory (cumulated for all children) (KiB): 85192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.3
system time used= 0.923859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79447
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= 472
involuntary context switches= 94499

runsolver used 2.37964 second user time and 6.78997 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Sun May 13 09:20:34 UTC 2007

IDJOB= 426197
IDBENCH= 20019
IDSOLVER= 196
FILE ID= node7/426197-1179048034

PBS_JOBID= 5253322

Free space on /tmp= 66529 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v400/unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426197-1179048034/MiraXTv3_dyn /tmp/evaluation/426197-1179048034/instance-426197-1179048034.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-426197-1179048034 -o ROOT/results/node7/solver-426197-1179048034 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426197-1179048034/MiraXTv3_dyn /tmp/evaluation/426197-1179048034/instance-426197-1179048034.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  b03952152dea0613061828eb775a4d85

RANDOM SEED= 416198198

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1577040 kB
Buffers:         45552 kB
Cached:         361880 kB
SwapCached:      17092 kB
Active:         198656 kB
Inactive:       232780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1577040 kB
SwapTotal:     4192956 kB
SwapFree:      4156572 kB
Dirty:            3956 kB
Writeback:           0 kB
Mapped:          29848 kB
Slab:            32892 kB
Committed_AS: 14859356 kB
PageTables:       1860 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66529 MiB

End job on node7 on Sun May 13 10:02:23 UTC 2007