Trace number 426100

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.2 2507.53

General information on the benchmark

Namerandom/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf
MD5SUM8e212727d677304f0bd3b7ae7a2c8937
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.139978
Satisfiable
(Un)Satisfiability was proved
Number of variables65
Number of clauses5785
Sum of the clauses size40495
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55785

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/node10/watcher-426100-1178986924 -o ROOT/results/node10/solver-426100-1178986924 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426100-1178986924/MiraXTv3_dyn /tmp/evaluation/426100-1178986924/instance-426100-1178986924.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.95 1.90 3/77 26313
/proc/meminfo: memFree=1516504/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=3788 CPUtime=0
/proc/26313/stat : 26313 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 374729896 3878912 283 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 9340539 0 0 4096 0 0 0 0 17 1 0 0
/proc/26313/statm: 947 283 206 20 0 305 0

[startup+0.07364 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 26313
/proc/meminfo: memFree=1516504/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=4352 CPUtime=0.06
/proc/26313/stat : 26313 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194304 445 0 0 0 6 0 0 0 18 0 1 0 374729896 4456448 420 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134575917 0 0 4096 0 0 0 0 17 1 0 0
/proc/26313/statm: 1088 420 207 20 0 446 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4352

[startup+0.101647 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 26313
/proc/meminfo: memFree=1516504/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=4352 CPUtime=0.09
/proc/26313/stat : 26313 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194304 451 0 0 0 9 0 0 0 18 0 1 0 374729896 4456448 426 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583761 0 0 4096 0 0 0 0 17 1 0 0
/proc/26313/statm: 1088 426 207 20 0 446 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4352

[startup+0.301691 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 26313
/proc/meminfo: memFree=1516504/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=8716 CPUtime=0.46
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 1058 0 0 0 46 0 0 0 18 0 3 0 374729896 8925184 1033 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 2179 1034 218 20 0 1537 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 8716

[startup+0.701776 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 26313
/proc/meminfo: memFree=1516504/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=12296 CPUtime=1.26
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 1832 0 0 0 125 1 0 0 18 0 3 0 374729896 12591104 1807 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 3074 1808 218 20 0 2432 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 12296

[startup+1.50295 s]
/proc/loadavg: 1.84 1.95 1.90 3/80 26316
/proc/meminfo: memFree=1508288/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=16056 CPUtime=2.85
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 2701 0 0 0 284 1 0 0 18 0 3 0 374729896 16441344 2676 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 4014 2676 218 20 0 3372 0
[pid=26313/tid=26315] ppid=26311 vsize=16056 CPUtime=1.36
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 1104 0 0 0 136 0 0 0 24 0 3 0 374729908 16441344 2676 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=16056 CPUtime=1.35
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 1114 0 0 0 135 0 0 0 18 0 3 0 374729908 16441344 2676 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526443 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 16056

[startup+3.1013 s]
/proc/loadavg: 1.84 1.95 1.90 3/80 26316
/proc/meminfo: memFree=1505536/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=18424 CPUtime=6.04
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 3471 0 0 0 603 1 0 0 18 0 3 0 374729896 18866176 3410 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 4606 3410 218 20 0 3964 0
[pid=26313/tid=26315] ppid=26311 vsize=18424 CPUtime=2.96
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 1444 0 0 0 296 0 0 0 25 0 3 0 374729908 18866176 3410 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=18424 CPUtime=2.94
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 1544 0 0 0 294 0 0 0 23 0 3 0 374729908 18866176 3410 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 18424

[startup+6.30299 s]
/proc/loadavg: 1.85 1.95 1.90 3/80 26316
/proc/meminfo: memFree=1496960/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=27044 CPUtime=12.42
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 5739 0 0 0 1238 4 0 0 18 0 3 0 374729896 27693056 5566 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 6761 5566 218 20 0 6119 0
[pid=26313/tid=26315] ppid=26311 vsize=27044 CPUtime=6.16
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 2629 0 0 0 615 1 0 0 25 0 3 0 374729908 27693056 5566 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526347 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=27044 CPUtime=6.13
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 2627 0 0 0 611 2 0 0 25 0 3 0 374729908 27693056 5566 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526379 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 27044

[startup+12.7014 s]
/proc/loadavg: 1.86 1.95 1.90 3/80 26316
/proc/meminfo: memFree=1487616/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=34576 CPUtime=25.18
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 7728 0 0 0 2511 7 0 0 18 0 3 0 374729896 35405824 7257 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 8644 7257 218 20 0 8002 0
[pid=26313/tid=26315] ppid=26311 vsize=34576 CPUtime=12.55
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 3677 0 0 0 1253 2 0 0 25 0 3 0 374729908 35405824 7257 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=34576 CPUtime=12.49
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 3568 0 0 0 1246 3 0 0 25 0 3 0 374729908 35405824 7257 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 34576

[startup+25.5011 s]
/proc/loadavg: 1.89 1.96 1.91 3/80 26316
/proc/meminfo: memFree=1477696/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=43036 CPUtime=50.71
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 10757 0 0 0 5062 9 0 0 18 0 3 0 374729896 44068864 9808 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 10759 9808 218 20 0 10117 0
[pid=26313/tid=26315] ppid=26311 vsize=43036 CPUtime=25.34
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 5108 0 0 0 2531 3 0 0 25 0 3 0 374729908 44068864 9808 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=43036 CPUtime=25.24
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 5166 0 0 0 2519 5 0 0 25 0 3 0 374729908 44068864 9808 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 43036

[startup+51.1017 s]
/proc/loadavg: 1.93 1.96 1.91 3/80 26316
/proc/meminfo: memFree=1471040/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=51852 CPUtime=101.77
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 13456 0 0 0 10166 11 0 0 18 0 3 0 374729896 53096448 11471 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 12963 11471 218 20 0 12321 0
[pid=26313/tid=26315] ppid=26311 vsize=51852 CPUtime=50.92
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 6674 0 0 0 5087 5 0 0 25 0 3 0 374729908 53096448 11471 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=51852 CPUtime=50.71
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 6299 0 0 0 5066 5 0 0 25 0 3 0 374729908 53096448 11471 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 51852

[startup+102.307 s]
/proc/loadavg: 1.97 1.96 1.91 3/80 26316
/proc/meminfo: memFree=1467392/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=54992 CPUtime=203.89
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 16212 0 0 0 20375 14 0 0 18 0 3 0 374729896 56311808 12308 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 13748 12308 218 20 0 13106 0
[pid=26313/tid=26315] ppid=26311 vsize=54992 CPUtime=102.08
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 8017 0 0 0 10202 6 0 0 25 0 3 0 374729908 56311808 12308 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=54992 CPUtime=101.68
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 7712 0 0 0 10161 7 0 0 25 0 3 0 374729908 56311808 12308 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 54992

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26316
/proc/meminfo: memFree=1464832/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=57836 CPUtime=323.54
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 19050 0 0 0 32338 16 0 0 18 0 3 0 374729896 59224064 12935 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 14459 12935 218 20 0 13817 0
[pid=26313/tid=26315] ppid=26311 vsize=57836 CPUtime=162.02
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 9306 0 0 0 16195 7 0 0 25 0 3 0 374729908 59224064 12935 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=57836 CPUtime=161.39
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 9261 0 0 0 16131 8 0 0 25 0 3 0 374729908 59224064 12935 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.54
Current children cumulated vsize (KiB) 57836

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26316
/proc/meminfo: memFree=1463040/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=60104 CPUtime=443.18
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 21717 0 0 0 44299 19 0 0 18 0 3 0 374729896 61546496 13391 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 15026 13391 218 20 0 14384 0
[pid=26313/tid=26315] ppid=26311 vsize=60104 CPUtime=221.96
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 10670 0 0 0 22187 9 0 0 25 0 3 0 374729908 61546496 13391 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=60104 CPUtime=221.09
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 10564 0 0 0 22100 9 0 0 25 0 3 0 374729908 61546496 13391 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.18
Current children cumulated vsize (KiB) 60104

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26316
/proc/meminfo: memFree=1461184/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=61356 CPUtime=562.82
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 24366 0 0 0 56261 21 0 0 18 0 3 0 374729896 62828544 13952 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 15339 13952 218 20 0 14697 0
[pid=26313/tid=26315] ppid=26311 vsize=61356 CPUtime=281.9
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 12031 0 0 0 28180 10 0 0 25 0 3 0 374729908 62828544 13952 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=61356 CPUtime=280.78
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 11852 0 0 0 28068 10 0 0 25 0 3 0 374729908 62828544 13952 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.82
Current children cumulated vsize (KiB) 61356

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26316
/proc/meminfo: memFree=1458176/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=64852 CPUtime=682.49
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 27295 0 0 0 68225 24 0 0 18 0 3 0 374729896 66408448 14637 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 16213 14637 218 20 0 15571 0
[pid=26313/tid=26315] ppid=26311 vsize=64852 CPUtime=341.86
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 13724 0 0 0 34174 12 0 0 25 0 3 0 374729908 66408448 14637 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=64852 CPUtime=340.5
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 13088 0 0 0 34039 11 0 0 25 0 3 0 374729908 66408448 14637 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.49
Current children cumulated vsize (KiB) 64852

[startup+402.302 s]

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

/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 41190 0 0 0 189789 42 0 0 25 0 3 0 374729908 88403968 19904 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=86332 CPUtime=1895.1
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 39506 0 0 0 189476 34 0 0 25 0 3 0 374729908 88403968 19904 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3793.54
Current children cumulated vsize (KiB) 86332

[startup+1962.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26318
/proc/meminfo: memFree=1434816/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=88380 CPUtime=3913.22
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 83608 0 0 0 391243 79 0 0 18 0 3 0 374729896 90501120 20443 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 22095 20443 218 20 0 21453 0
[pid=26313/tid=26315] ppid=26311 vsize=88380 CPUtime=1958.26
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 42460 0 0 0 195783 43 0 0 25 0 3 0 374729908 90501120 20443 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=88380 CPUtime=1954.82
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 40665 0 0 0 195447 35 0 0 25 0 3 0 374729908 90501120 20443 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3913.22
Current children cumulated vsize (KiB) 88380

[startup+2022.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26318
/proc/meminfo: memFree=1434560/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=88612 CPUtime=4032.86
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 85644 0 0 0 403205 81 0 0 18 0 3 0 374729896 90738688 20519 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 22153 20519 218 20 0 21511 0
[pid=26313/tid=26315] ppid=26311 vsize=88612 CPUtime=2018.2
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 43491 0 0 0 201776 44 0 0 25 0 3 0 374729908 90738688 20519 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=88612 CPUtime=2014.52
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 41670 0 0 0 201416 36 0 0 25 0 3 0 374729908 90738688 20519 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4032.86
Current children cumulated vsize (KiB) 88612

[startup+2082.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26318
/proc/meminfo: memFree=1434304/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=89844 CPUtime=4152.52
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 87660 0 0 0 415169 83 0 0 18 0 3 0 374729896 92000256 20575 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 22461 20575 218 20 0 21819 0
[pid=26313/tid=26315] ppid=26311 vsize=89844 CPUtime=2078.15
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 44497 0 0 0 207770 45 0 0 25 0 3 0 374729908 92000256 20575 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=89844 CPUtime=2074.23
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 42680 0 0 0 207386 37 0 0 25 0 3 0 374729908 92000256 20575 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4152.52
Current children cumulated vsize (KiB) 89844

[startup+2142.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26318
/proc/meminfo: memFree=1433984/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=90180 CPUtime=4272.18
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 89353 0 0 0 427134 84 0 0 18 0 3 0 374729896 92344320 20653 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 22545 20653 218 20 0 21903 0
[pid=26313/tid=26315] ppid=26311 vsize=90180 CPUtime=2138.11
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 45558 0 0 0 213765 46 0 0 25 0 3 0 374729908 92344320 20653 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=90180 CPUtime=2133.94
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 43312 0 0 0 213357 37 0 0 25 0 3 0 374729908 92344320 20653 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4272.18
Current children cumulated vsize (KiB) 90180

[startup+2202.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26318
/proc/meminfo: memFree=1433984/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=90180 CPUtime=4391.84
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 90696 0 0 0 439098 86 0 0 18 0 3 0 374729896 92344320 20654 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 22545 20654 218 20 0 21903 0
[pid=26313/tid=26315] ppid=26311 vsize=90180 CPUtime=2198.06
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 46192 0 0 0 219759 47 0 0 25 0 3 0 374729908 92344320 20654 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=90180 CPUtime=2193.64
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 44021 0 0 0 219326 38 0 0 25 0 3 0 374729908 92344320 20654 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4391.84
Current children cumulated vsize (KiB) 90180

[startup+2262.3 s]
/proc/loadavg: 2.04 1.99 1.91 3/80 26318
/proc/meminfo: memFree=1431616/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=92492 CPUtime=4511.49
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 92551 0 0 0 451061 88 0 0 18 0 3 0 374729896 94711808 21238 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 23123 21238 218 20 0 22481 0
[pid=26313/tid=26315] ppid=26311 vsize=92492 CPUtime=2258.01
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 46667 0 0 0 225753 48 0 0 25 0 3 0 374729908 94711808 21238 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=92492 CPUtime=2253.35
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 45401 0 0 0 225296 39 0 0 25 0 3 0 374729908 94711808 21238 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4511.49
Current children cumulated vsize (KiB) 92492

[startup+2322.3 s]
/proc/loadavg: 2.01 1.99 1.91 3/80 26318
/proc/meminfo: memFree=1431424/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=92492 CPUtime=4631.16
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 94448 0 0 0 463027 89 0 0 18 0 3 0 374729896 94711808 21291 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 23123 21291 218 20 0 22481 0
[pid=26313/tid=26315] ppid=26311 vsize=92492 CPUtime=2317.96
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 47592 0 0 0 231747 49 0 0 23 0 3 0 374729908 94711808 21291 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=92492 CPUtime=2313.06
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 46373 0 0 0 231267 39 0 0 23 0 3 0 374729908 94711808 21291 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4631.16
Current children cumulated vsize (KiB) 92492

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/86 26488
/proc/meminfo: memFree=1429816/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=92492 CPUtime=4750.56
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 96368 0 0 0 474952 104 0 0 18 0 3 0 374729896 94711808 21294 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 23123 21294 218 20 0 22481 0
[pid=26313/tid=26315] ppid=26311 vsize=92492 CPUtime=2377.77
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 48516 0 0 0 237727 50 0 0 25 0 3 0 374729908 94711808 21294 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26313/tid=26316] ppid=26311 vsize=92492 CPUtime=2372.66
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 47369 0 0 0 237213 53 0 0 25 0 3 0 374729908 94711808 21294 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4750.56
Current children cumulated vsize (KiB) 92492

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 26516
/proc/meminfo: memFree=1430976/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=92492 CPUtime=4870.13
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 98272 0 0 0 486905 108 0 0 18 0 3 0 374729896 94711808 21352 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 23123 21352 218 20 0 22481 0
[pid=26313/tid=26315] ppid=26311 vsize=92492 CPUtime=2437.62
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 49470 0 0 0 243711 51 0 0 25 0 3 0 374729908 94711808 21352 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26313/tid=26316] ppid=26311 vsize=92492 CPUtime=2432.37
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 48319 0 0 0 243181 56 0 0 25 0 3 0 374729908 94711808 21352 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4870.13
Current children cumulated vsize (KiB) 92492

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 26516
/proc/meminfo: memFree=1431104/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=92492 CPUtime=4989.79
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 100192 0 0 0 498868 111 0 0 18 0 3 0 374729896 94711808 21355 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 23123 21355 218 20 0 22481 0
[pid=26313/tid=26315] ppid=26311 vsize=92492 CPUtime=2497.34
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 50538 0 0 0 249681 53 0 0 25 0 3 0 374729908 94711808 21355 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26313/tid=26316] ppid=26311 vsize=92492 CPUtime=2492.32
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 49171 0 0 0 249175 57 0 0 25 0 3 0 374729908 94711808 21355 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4989.79
Current children cumulated vsize (KiB) 92492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.5 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 26516
/proc/meminfo: memFree=1431040/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=92492 CPUtime=5000.16
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 100405 0 0 0 499905 111 0 0 18 0 3 0 374729896 94711808 21355 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 23123 21355 218 20 0 22481 0
[pid=26313/tid=26315] ppid=26311 vsize=92492 CPUtime=2502.51
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 50609 0 0 0 250198 53 0 0 25 0 3 0 374729908 94711808 21355 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26313/tid=26316] ppid=26311 vsize=92492 CPUtime=2497.53
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 49313 0 0 0 249695 58 0 0 21 0 3 0 374729908 94711808 21355 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.16
Current children cumulated vsize (KiB) 92492

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

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

[startup+2507.5 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 26516
/proc/meminfo: memFree=1431040/2055920 swapFree=4143936/4192956
[pid=26313] ppid=26311 vsize=92492 CPUtime=5000.16
/proc/26313/stat : 26313 (MiraXTv3_dyn) S 26311 26313 25671 0 -1 4194304 100405 0 0 0 499905 111 0 0 18 0 3 0 374729896 94711808 21355 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26313/statm: 23123 21355 218 20 0 22481 0
[pid=26313/tid=26315] ppid=26311 vsize=92492 CPUtime=2502.51
/proc/26313/task/26315/stat : 26315 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 50609 0 0 0 250198 53 0 0 25 0 3 0 374729908 94711808 21355 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=26313/tid=26316] ppid=26311 vsize=92492 CPUtime=2497.53
/proc/26313/task/26316/stat : 26316 (MiraXTv3_dyn) R 26311 26313 25671 0 -1 4194368 49313 0 0 0 249695 58 0 0 21 0 3 0 374729908 94711808 21355 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.16
Current children cumulated vsize (KiB) 92492

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.53
CPU time (s): 5000.2
CPU user time (s): 4999.07
CPU system time (s): 1.12883
CPU usage (%): 199.408
Max. virtual memory (cumulated for all children) (KiB): 92776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.07
system time used= 1.12883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100405
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= 1257
involuntary context switches= 94353

runsolver used 2.40563 second user time and 6.74797 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Sat May 12 16:22:04 UTC 2007

IDJOB= 426100
IDBENCH= 19904
IDSOLVER= 196
FILE ID= node10/426100-1178986924

PBS_JOBID= 5252809

Free space on /tmp= 66560 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v65/unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426100-1178986924/MiraXTv3_dyn /tmp/evaluation/426100-1178986924/instance-426100-1178986924.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-426100-1178986924 -o ROOT/results/node10/solver-426100-1178986924 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426100-1178986924/MiraXTv3_dyn /tmp/evaluation/426100-1178986924/instance-426100-1178986924.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  8e212727d677304f0bd3b7ae7a2c8937

RANDOM SEED= 539836807

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.259
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.259
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:       1516784 kB
Buffers:         52252 kB
Cached:         396400 kB
SwapCached:      18032 kB
Active:         134100 kB
Inactive:       339000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1516784 kB
SwapTotal:     4192956 kB
SwapFree:      4143936 kB
Dirty:            4124 kB
Writeback:           0 kB
Mapped:          30376 kB
Slab:            51624 kB
Committed_AS:  5322852 kB
PageTables:       1736 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= 66560 MiB

End job on node10 on Sat May 12 17:03:53 UTC 2007