Trace number 426192

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

General information on the benchmark

Namerandom/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf
MD5SUMd0d8b322ba04307627cdb06a5d283d92
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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/node19/watcher-426192-1179048028 -o ROOT/results/node19/solver-426192-1179048028 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426192-1179048028/MiraXTv3_dyn /tmp/evaluation/426192-1179048028/instance-426192-1179048028.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 1521
/proc/meminfo: memFree=1596720/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=2624 CPUtime=0
/proc/1521/stat : 1521 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194304 163 0 0 0 0 0 0 0 18 0 1 0 352720149 2686976 140 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/1521/statm: 656 151 125 20 0 14 0

[startup+0.080043 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 1521
/proc/meminfo: memFree=1596720/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=6776 CPUtime=0.14
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 644 0 0 0 14 0 0 0 18 0 3 0 352720149 6938624 619 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 1694 619 218 20 0 1052 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 6776

[startup+0.102046 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 1521
/proc/meminfo: memFree=1596720/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=6908 CPUtime=0.18
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 692 0 0 0 18 0 0 0 18 0 3 0 352720149 7073792 667 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 1727 667 218 20 0 1085 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6908

[startup+0.302069 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 1521
/proc/meminfo: memFree=1596720/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=8868 CPUtime=0.58
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 1109 0 0 0 58 0 0 0 18 0 3 0 352720149 9080832 1084 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 2217 1084 218 20 0 1575 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 8868

[startup+0.702112 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 1521
/proc/meminfo: memFree=1596720/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=11172 CPUtime=1.37
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 1786 0 0 0 137 0 0 0 18 0 3 0 352720149 11440128 1761 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 2793 1761 218 20 0 2151 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 11172

[startup+1.5012 s]
/proc/loadavg: 0.00 0.00 0.00 3/80 1524
/proc/meminfo: memFree=1588440/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=15648 CPUtime=2.97
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 2928 0 0 0 296 1 0 0 18 0 3 0 352720149 16023552 2903 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 3912 2903 218 20 0 3270 0
[pid=1521/tid=1523] ppid=1519 vsize=15648 CPUtime=1.48
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 1304 0 0 0 148 0 0 0 25 0 3 0 352720150 16023552 2903 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1521/tid=1524] ppid=1519 vsize=15648 CPUtime=1.48
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 1256 0 0 0 147 1 0 0 23 0 3 0 352720150 16023552 2903 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526443 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 15648

[startup+3.10137 s]
/proc/loadavg: 0.00 0.00 0.00 3/80 1524
/proc/meminfo: memFree=1584152/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=18136 CPUtime=6.16
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 3564 0 0 0 614 2 0 0 18 0 3 0 352720149 18571264 3539 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 4534 3539 218 20 0 3892 0
[pid=1521/tid=1523] ppid=1519 vsize=18136 CPUtime=3.07
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 1582 0 0 0 307 0 0 0 25 0 3 0 352720150 18571264 3539 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565751 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1521/tid=1524] ppid=1519 vsize=18136 CPUtime=3.07
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 1614 0 0 0 306 1 0 0 25 0 3 0 352720150 18571264 3539 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 18136

[startup+6.30172 s]
/proc/loadavg: 0.16 0.03 0.01 3/80 1524
/proc/meminfo: memFree=1575128/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=28968 CPUtime=12.53
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 6308 0 0 0 1248 5 0 0 18 0 3 0 352720149 29663232 6169 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 7242 6169 218 20 0 6600 0
[pid=1521/tid=1523] ppid=1519 vsize=28968 CPUtime=6.26
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 2971 0 0 0 625 1 0 0 18 0 3 0 352720150 29663232 6169 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1521/tid=1524] ppid=1519 vsize=28968 CPUtime=6.25
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 2969 0 0 0 622 3 0 0 25 0 3 0 352720150 29663232 6169 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 28968

[startup+12.7014 s]
/proc/loadavg: 0.31 0.07 0.02 3/80 1524
/proc/meminfo: memFree=1557096/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=46536 CPUtime=25.29
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 10600 0 0 0 2519 10 0 0 18 0 3 0 352720149 47652864 10220 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 11634 10220 218 20 0 10992 0
[pid=1521/tid=1523] ppid=1519 vsize=46536 CPUtime=12.65
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 5162 0 0 0 1261 4 0 0 21 0 3 0 352720150 47652864 10220 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1521/tid=1524] ppid=1519 vsize=46536 CPUtime=12.63
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 5070 0 0 0 1257 6 0 0 18 0 3 0 352720150 47652864 10220 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 46536

[startup+25.5028 s]
/proc/loadavg: 0.68 0.16 0.05 3/80 1524
/proc/meminfo: memFree=1550440/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=52612 CPUtime=50.84
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 12614 0 0 0 5072 12 0 0 18 0 3 0 352720149 53874688 11801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 13153 11801 218 20 0 12511 0
[pid=1521/tid=1523] ppid=1519 vsize=52612 CPUtime=25.44
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 6045 0 0 0 2540 4 0 0 25 0 3 0 352720150 53874688 11801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1521/tid=1524] ppid=1519 vsize=52612 CPUtime=25.38
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 6201 0 0 0 2531 7 0 0 25 0 3 0 352720150 53874688 11801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565551 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 52612

[startup+51.1026 s]
/proc/loadavg: 1.13 0.31 0.10 3/80 1524
/proc/meminfo: memFree=1538536/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=62916 CPUtime=101.9
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 16322 0 0 0 10175 15 0 0 18 0 3 0 352720149 64425984 14724 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 15729 14724 218 20 0 15087 0
[pid=1521/tid=1523] ppid=1519 vsize=62916 CPUtime=51
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 8159 0 0 0 5095 5 0 0 25 0 3 0 352720150 64425984 14724 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134521483 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1521/tid=1524] ppid=1519 vsize=62916 CPUtime=50.87
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 7795 0 0 0 5078 9 0 0 25 0 3 0 352720150 64425984 14724 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 62916

[startup+102.306 s]
/proc/loadavg: 1.62 0.56 0.20 3/80 1524
/proc/meminfo: memFree=1528680/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=73512 CPUtime=204.03
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 20118 0 0 0 20384 19 0 0 18 0 3 0 352720149 75276288 17024 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 18378 17024 218 20 0 17736 0
[pid=1521/tid=1523] ppid=1519 vsize=73512 CPUtime=102.16
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 9832 0 0 0 10209 7 0 0 25 0 3 0 352720150 75276288 17024 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1521/tid=1524] ppid=1519 vsize=73512 CPUtime=101.85
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 9918 0 0 0 10173 12 0 0 25 0 3 0 352720150 75276288 17024 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 73512

[startup+162.303 s]
/proc/loadavg: 1.86 0.82 0.31 3/80 1524
/proc/meminfo: memFree=1526376/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=76304 CPUtime=323.73
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 22383 0 0 0 32351 22 0 0 18 0 3 0 352720149 78135296 17585 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 19076 17585 218 20 0 18434 0
[pid=1521/tid=1523] ppid=1519 vsize=76304 CPUtime=162.1
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 10930 0 0 0 16202 8 0 0 25 0 3 0 352720150 78135296 17585 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1521/tid=1524] ppid=1519 vsize=76304 CPUtime=161.61
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 11085 0 0 0 16148 13 0 0 25 0 3 0 352720150 78135296 17585 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.73
Current children cumulated vsize (KiB) 76304

[startup+222.302 s]
/proc/loadavg: 1.95 1.04 0.41 3/80 1524
/proc/meminfo: memFree=1522664/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=78600 CPUtime=443.42
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 25030 0 0 0 44317 25 0 0 18 0 3 0 352720149 80486400 18514 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 19650 18514 218 20 0 19008 0
[pid=1521/tid=1523] ppid=1519 vsize=78600 CPUtime=222.05
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 12503 0 0 0 22195 10 0 0 25 0 3 0 352720150 80486400 18514 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1521/tid=1524] ppid=1519 vsize=78600 CPUtime=221.35
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 12159 0 0 0 22120 15 0 0 25 0 3 0 352720150 80486400 18514 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.42
Current children cumulated vsize (KiB) 78600

[startup+282.303 s]
/proc/loadavg: 1.98 1.21 0.51 3/80 1524
/proc/meminfo: memFree=1521576/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=80976 CPUtime=563.08
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 27033 0 0 0 56281 27 0 0 18 0 3 0 352720149 82919424 18803 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 20244 18803 218 20 0 19602 0
[pid=1521/tid=1523] ppid=1519 vsize=80976 CPUtime=281.97
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 13503 0 0 0 28186 11 0 0 25 0 3 0 352720150 82919424 18803 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1521/tid=1524] ppid=1519 vsize=80976 CPUtime=281.09
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 13162 0 0 0 28093 16 0 0 25 0 3 0 352720150 82919424 18803 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.08
Current children cumulated vsize (KiB) 80976

[startup+342.302 s]
/proc/loadavg: 1.99 1.35 0.60 3/80 1524
/proc/meminfo: memFree=1520104/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=82056 CPUtime=682.76
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 28976 0 0 0 68247 29 0 0 18 0 3 0 352720149 84025344 19157 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 20514 19157 218 20 0 19872 0
[pid=1521/tid=1523] ppid=1519 vsize=82056 CPUtime=341.92
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 14480 0 0 0 34180 12 0 0 25 0 3 0 352720150 84025344 19157 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1521/tid=1524] ppid=1519 vsize=82056 CPUtime=340.83
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 14128 0 0 0 34066 17 0 0 25 0 3 0 352720150 84025344 19157 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.76
Current children cumulated vsize (KiB) 82056

[startup+402.303 s]

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

/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 35704 0 0 0 183828 30 0 0 25 0 3 0 352720150 109072384 25256 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1521/tid=1524] ppid=1519 vsize=106516 CPUtime=1836.52
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 35046 0 0 0 183615 37 0 0 25 0 3 0 352720150 109072384 25256 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3675.12
Current children cumulated vsize (KiB) 106516

[startup+1902.3 s]
/proc/loadavg: 1.99 1.97 1.70 3/80 1526
/proc/meminfo: memFree=1495208/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=106684 CPUtime=3794.82
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 72543 0 0 0 379413 69 0 0 18 0 3 0 352720149 109244416 25342 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 26671 25342 218 20 0 26029 0
[pid=1521/tid=1523] ppid=1519 vsize=106684 CPUtime=1898.35
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 36476 0 0 0 189804 31 0 0 25 0 3 0 352720150 109244416 25342 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1521/tid=1524] ppid=1519 vsize=106684 CPUtime=1896.45
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 35699 0 0 0 189608 37 0 0 25 0 3 0 352720150 109244416 25342 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.82
Current children cumulated vsize (KiB) 106684

[startup+1962.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/80 1526
/proc/meminfo: memFree=1494760/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=108192 CPUtime=3914.55
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 74002 0 0 0 391385 70 0 0 18 0 3 0 352720149 110788608 25449 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 27048 25449 218 20 0 26406 0
[pid=1521/tid=1523] ppid=1519 vsize=108192 CPUtime=1958.11
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 37160 0 0 0 195779 32 0 0 25 0 3 0 352720150 110788608 25449 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1521/tid=1524] ppid=1519 vsize=108192 CPUtime=1956.42
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 36474 0 0 0 195604 38 0 0 25 0 3 0 352720150 110788608 25449 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3914.55
Current children cumulated vsize (KiB) 108192

[startup+2022.3 s]
/proc/loadavg: 1.99 1.97 1.73 3/80 1526
/proc/meminfo: memFree=1494504/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=108192 CPUtime=4034.25
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 75578 0 0 0 403354 71 0 0 18 0 3 0 352720149 110788608 25510 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 27048 25510 218 20 0 26406 0
[pid=1521/tid=1523] ppid=1519 vsize=108192 CPUtime=2017.88
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 37949 0 0 0 201755 33 0 0 25 0 3 0 352720150 110788608 25510 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1521/tid=1524] ppid=1519 vsize=108192 CPUtime=2016.36
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 37261 0 0 0 201598 38 0 0 25 0 3 0 352720150 110788608 25510 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) 108192

[startup+2082.31 s]
/proc/loadavg: 1.99 1.97 1.75 3/80 1526
/proc/meminfo: memFree=1494056/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=108460 CPUtime=4153.96
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 76909 0 0 0 415323 73 0 0 18 0 3 0 352720149 111063040 25619 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 27115 25619 218 20 0 26473 0
[pid=1521/tid=1523] ppid=1519 vsize=108460 CPUtime=2077.63
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 38631 0 0 0 207729 34 0 0 25 0 3 0 352720150 111063040 25619 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1521/tid=1524] ppid=1519 vsize=108460 CPUtime=2076.31
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 37910 0 0 0 207592 39 0 0 25 0 3 0 352720150 111063040 25619 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565842 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4153.96
Current children cumulated vsize (KiB) 108460

[startup+2142.3 s]
/proc/loadavg: 1.99 1.97 1.76 3/80 1526
/proc/meminfo: memFree=1493032/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=109656 CPUtime=4273.66
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 78558 0 0 0 427291 75 0 0 18 0 3 0 352720149 112287744 25882 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 27414 25882 218 20 0 26772 0
[pid=1521/tid=1523] ppid=1519 vsize=109656 CPUtime=2137.38
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 39303 0 0 0 213703 35 0 0 25 0 3 0 352720150 112287744 25882 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1521/tid=1524] ppid=1519 vsize=109656 CPUtime=2136.26
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 38887 0 0 0 213587 39 0 0 25 0 3 0 352720150 112287744 25882 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4273.66
Current children cumulated vsize (KiB) 109656

[startup+2202.3 s]
/proc/loadavg: 1.99 1.97 1.77 3/80 1526
/proc/meminfo: memFree=1492712/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=109804 CPUtime=4393.37
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 79884 0 0 0 439261 76 0 0 18 0 3 0 352720149 112439296 25968 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 27451 25968 218 20 0 26809 0
[pid=1521/tid=1523] ppid=1519 vsize=109804 CPUtime=2197.12
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 39941 0 0 0 219677 35 0 0 25 0 3 0 352720150 112439296 25968 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1521/tid=1524] ppid=1519 vsize=109804 CPUtime=2196.23
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 39575 0 0 0 219583 40 0 0 25 0 3 0 352720150 112439296 25968 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4393.37
Current children cumulated vsize (KiB) 109804

[startup+2262.3 s]
/proc/loadavg: 1.99 1.97 1.78 3/80 1526
/proc/meminfo: memFree=1492648/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=110828 CPUtime=4513.06
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 81473 0 0 0 451228 78 0 0 18 0 3 0 352720149 113487872 25995 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 27707 25995 218 20 0 27065 0
[pid=1521/tid=1523] ppid=1519 vsize=110828 CPUtime=2256.88
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 40731 0 0 0 225651 37 0 0 25 0 3 0 352720150 113487872 25995 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134521366 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1521/tid=1524] ppid=1519 vsize=110828 CPUtime=2256.15
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 40374 0 0 0 225575 40 0 0 25 0 3 0 352720150 113487872 25995 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526440 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4513.06
Current children cumulated vsize (KiB) 110828

[startup+2322.3 s]
/proc/loadavg: 1.99 1.97 1.79 3/80 1526
/proc/meminfo: memFree=1492328/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=111548 CPUtime=4632.75
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 82829 0 0 0 463196 79 0 0 18 0 3 0 352720149 114225152 26091 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 27887 26091 218 20 0 27245 0
[pid=1521/tid=1523] ppid=1519 vsize=111548 CPUtime=2316.62
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 41396 0 0 0 231625 37 0 0 25 0 3 0 352720150 114225152 26091 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1521/tid=1524] ppid=1519 vsize=111548 CPUtime=2316.11
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 41065 0 0 0 231570 41 0 0 25 0 3 0 352720150 114225152 26091 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4632.75
Current children cumulated vsize (KiB) 111548

[startup+2382.3 s]
/proc/loadavg: 1.99 1.97 1.80 3/80 1526
/proc/meminfo: memFree=1492136/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=111696 CPUtime=4752.46
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 84282 0 0 0 475166 80 0 0 18 0 3 0 352720149 114376704 26117 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 27924 26117 218 20 0 27282 0
[pid=1521/tid=1523] ppid=1519 vsize=111696 CPUtime=2376.37
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 42047 0 0 0 237599 38 0 0 25 0 3 0 352720150 114376704 26117 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1521/tid=1524] ppid=1519 vsize=111696 CPUtime=2376.07
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 41867 0 0 0 237566 41 0 0 25 0 3 0 352720150 114376704 26117 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4752.46
Current children cumulated vsize (KiB) 111696

[startup+2442.3 s]
/proc/loadavg: 1.99 1.97 1.82 3/86 1598
/proc/meminfo: memFree=1490544/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=111696 CPUtime=4872.03
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 85760 0 0 0 487116 87 0 0 18 0 3 0 352720149 114376704 26159 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 27924 26159 218 20 0 27282 0
[pid=1521/tid=1523] ppid=1519 vsize=111696 CPUtime=2436.04
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 42720 0 0 0 243565 39 0 0 25 0 3 0 352720150 114376704 26159 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1521/tid=1524] ppid=1519 vsize=111696 CPUtime=2435.98
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 42672 0 0 0 243550 48 0 0 25 0 3 0 352720150 114376704 26159 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4872.03
Current children cumulated vsize (KiB) 111696

[startup+2502.3 s]
/proc/loadavg: 1.99 1.97 1.82 3/80 1728
/proc/meminfo: memFree=1491688/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=111696 CPUtime=4991.49
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 87052 0 0 0 499047 102 0 0 18 0 3 0 352720149 114376704 26167 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 27924 26167 218 20 0 27282 0
[pid=1521/tid=1523] ppid=1519 vsize=111696 CPUtime=2495.61
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 43365 0 0 0 249521 40 0 0 25 0 3 0 352720150 114376704 26167 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1521/tid=1524] ppid=1519 vsize=111696 CPUtime=2495.87
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 43319 0 0 0 249525 62 0 0 25 0 3 0 352720150 114376704 26167 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4991.49
Current children cumulated vsize (KiB) 111696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.6 s]
/proc/loadavg: 1.99 1.97 1.82 3/80 1728
/proc/meminfo: memFree=1491688/2055920 swapFree=4148252/4192956
[pid=1521] ppid=1519 vsize=111696 CPUtime=5000.08
/proc/1521/stat : 1521 (MiraXTv3_dyn) S 1519 1521 1449 0 -1 4194304 87052 0 0 0 499906 102 0 0 18 0 3 0 352720149 114376704 26167 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1521/statm: 27924 26167 218 20 0 27282 0
[pid=1521/tid=1523] ppid=1519 vsize=111696 CPUtime=2499.89
/proc/1521/task/1523/stat : 1523 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 43365 0 0 0 249949 40 0 0 25 0 3 0 352720150 114376704 26167 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1521/tid=1524] ppid=1519 vsize=111696 CPUtime=2500.17
/proc/1521/task/1524/stat : 1524 (MiraXTv3_dyn) R 1519 1521 1449 0 -1 4194368 43319 0 0 0 249955 62 0 0 25 0 3 0 352720150 114376704 26167 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526410 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 111696

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.12
CPU user time (s): 4999.08
CPU system time (s): 1.04584
CPU usage (%): 199.476
Max. virtual memory (cumulated for all children) (KiB): 112340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.08
system time used= 1.04584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87052
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= 406
involuntary context switches= 93905

runsolver used 2.58861 second user time and 6.606 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Sun May 13 09:20:28 UTC 2007

IDJOB= 426192
IDBENCH= 20014
IDSOLVER= 196
FILE ID= node19/426192-1179048028

PBS_JOBID= 5253311

Free space on /tmp= 66501 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v650/unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426192-1179048028/MiraXTv3_dyn /tmp/evaluation/426192-1179048028/instance-426192-1179048028.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-426192-1179048028 -o ROOT/results/node19/solver-426192-1179048028 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426192-1179048028/MiraXTv3_dyn /tmp/evaluation/426192-1179048028/instance-426192-1179048028.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  d0d8b322ba04307627cdb06a5d283d92

RANDOM SEED= 926579123

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1597008 kB
Buffers:         51788 kB
Cached:         315148 kB
SwapCached:      14408 kB
Active:         211544 kB
Inactive:       179092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1597008 kB
SwapTotal:     4192956 kB
SwapFree:      4148252 kB
Dirty:            3972 kB
Writeback:           0 kB
Mapped:          29688 kB
Slab:            53912 kB
Committed_AS:  9273156 kB
PageTables:       1784 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= 66501 MiB

End job on node19 on Sun May 13 10:02:16 UTC 2007