Trace number 426183

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 2506.63

General information on the benchmark

Namerandom/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf
MD5SUMe1848ef5581233d7edc388a9e0c74c1a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.033994
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
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/node15/watcher-426183-1178995510 -o ROOT/results/node15/solver-426183-1178995510 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426183-1178995510/MiraXTv3_dyn /tmp/evaluation/426183-1178995510/instance-426183-1178995510.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: 2.00 1.99 1.91 3/77 21712
/proc/meminfo: memFree=1773232/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=3788 CPUtime=0
/proc/21712/stat : 21712 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 347468622 3878912 264 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7947899 0 0 4096 0 0 0 0 17 1 0 0
/proc/21712/statm: 947 268 205 20 0 305 0

[startup+0.039627 s]
/proc/loadavg: 2.00 1.99 1.91 3/77 21712
/proc/meminfo: memFree=1773232/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=6152 CPUtime=0.05
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 528 0 0 0 5 0 0 0 18 0 3 0 347468622 6299648 503 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 1538 503 218 20 0 896 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6152

[startup+0.101634 s]
/proc/loadavg: 2.00 1.99 1.91 3/77 21712
/proc/meminfo: memFree=1773232/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=7204 CPUtime=0.17
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 673 0 0 0 17 0 0 0 18 0 3 0 347468622 7376896 648 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 1801 648 218 20 0 1159 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7204

[startup+0.301655 s]
/proc/loadavg: 2.00 1.99 1.91 3/77 21712
/proc/meminfo: memFree=1773232/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=9180 CPUtime=0.57
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 1109 0 0 0 57 0 0 0 18 0 3 0 347468622 9400320 1084 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 2295 1084 218 20 0 1653 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9180

[startup+0.702692 s]
/proc/loadavg: 2.00 1.99 1.91 3/77 21712
/proc/meminfo: memFree=1773232/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=11304 CPUtime=1.38
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 1740 0 0 0 137 1 0 0 18 0 3 0 347468622 11575296 1715 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 2826 1715 218 20 0 2184 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 11304

[startup+1.50277 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21715
/proc/meminfo: memFree=1765464/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=15528 CPUtime=2.97
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 2810 0 0 0 295 2 0 0 18 0 3 0 347468622 15900672 2784 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 3882 2784 218 20 0 3240 0
[pid=21712/tid=21714] ppid=21710 vsize=15528 CPUtime=1.48
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 1072 0 0 0 148 0 0 0 24 0 3 0 347468623 15900672 2784 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21712/tid=21715] ppid=21710 vsize=15528 CPUtime=1.47
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 1375 0 0 0 146 1 0 0 18 0 3 0 347468623 15900672 2784 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 15528

[startup+3.10192 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21715
/proc/meminfo: memFree=1761688/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=18700 CPUtime=6.16
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 3548 0 0 0 614 2 0 0 18 0 3 0 347468622 19148800 3522 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 4675 3522 218 20 0 4033 0
[pid=21712/tid=21714] ppid=21710 vsize=18700 CPUtime=3.07
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 1425 0 0 0 307 0 0 0 19 0 3 0 347468623 19148800 3522 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526502 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21712/tid=21715] ppid=21710 vsize=18700 CPUtime=3.06
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 1760 0 0 0 305 1 0 0 20 0 3 0 347468623 19148800 3522 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 18700

[startup+6.30121 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21715
/proc/meminfo: memFree=1754392/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=26608 CPUtime=12.54
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 5589 0 0 0 1249 5 0 0 18 0 3 0 347468622 27246592 5489 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 6652 5489 218 20 0 6010 0
[pid=21712/tid=21714] ppid=21710 vsize=26608 CPUtime=6.28
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 2294 0 0 0 627 1 0 0 25 0 3 0 347468623 27246592 5489 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21712/tid=21715] ppid=21710 vsize=26608 CPUtime=6.24
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 2932 0 0 0 621 3 0 0 18 0 3 0 347468623 27246592 5489 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 26608

[startup+12.7018 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21715
/proc/meminfo: memFree=1738200/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=40268 CPUtime=25.3
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 9235 0 0 0 2521 9 0 0 18 0 3 0 347468622 41234432 8852 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 10067 8852 218 20 0 9425 0
[pid=21712/tid=21714] ppid=21710 vsize=40268 CPUtime=12.66
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 4086 0 0 0 1264 2 0 0 23 0 3 0 347468623 41234432 8852 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526423 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21712/tid=21715] ppid=21710 vsize=40268 CPUtime=12.61
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 4786 0 0 0 1256 5 0 0 24 0 3 0 347468623 41234432 8852 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 40268

[startup+25.503 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21715
/proc/meminfo: memFree=1733016/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=46668 CPUtime=50.83
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 11074 0 0 0 5073 10 0 0 18 0 3 0 347468622 47788032 10321 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 11667 10321 218 20 0 11025 0
[pid=21712/tid=21714] ppid=21710 vsize=46668 CPUtime=25.46
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 4990 0 0 0 2543 3 0 0 25 0 3 0 347468623 47788032 10321 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21712/tid=21715] ppid=21710 vsize=46668 CPUtime=25.36
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 5721 0 0 0 2529 7 0 0 25 0 3 0 347468623 47788032 10321 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 46668

[startup+51.1023 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21715
/proc/meminfo: memFree=1723032/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=56964 CPUtime=101.88
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 14503 0 0 0 10173 15 0 0 18 0 3 0 347468622 58331136 12894 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 14241 12894 218 20 0 13599 0
[pid=21712/tid=21714] ppid=21710 vsize=56964 CPUtime=51.04
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 6546 0 0 0 5099 5 0 0 20 0 3 0 347468623 58331136 12894 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526391 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21712/tid=21715] ppid=21710 vsize=56964 CPUtime=50.82
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 7594 0 0 0 5073 9 0 0 25 0 3 0 347468623 58331136 12894 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 56964

[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21715
/proc/meminfo: memFree=1716056/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=62196 CPUtime=204
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 17462 0 0 0 20382 18 0 0 18 0 3 0 347468622 63688704 14349 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 15549 14349 218 20 0 14907 0
[pid=21712/tid=21714] ppid=21710 vsize=62196 CPUtime=102.21
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 8111 0 0 0 10214 7 0 0 25 0 3 0 347468623 63688704 14349 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21712/tid=21715] ppid=21710 vsize=62196 CPUtime=101.78
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 8988 0 0 0 10168 10 0 0 25 0 3 0 347468623 63688704 14349 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 62196

[startup+162.303 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21715
/proc/meminfo: memFree=1712792/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=65656 CPUtime=323.68
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 20030 0 0 0 32348 20 0 0 18 0 3 0 347468622 67231744 15202 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 16414 15202 218 20 0 15772 0
[pid=21712/tid=21714] ppid=21710 vsize=65656 CPUtime=162.17
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 9184 0 0 0 16209 8 0 0 25 0 3 0 347468623 67231744 15202 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21712/tid=21715] ppid=21710 vsize=65656 CPUtime=161.5
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 10483 0 0 0 16138 12 0 0 25 0 3 0 347468623 67231744 15202 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.68
Current children cumulated vsize (KiB) 65656

[startup+222.302 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21715
/proc/meminfo: memFree=1711000/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=67808 CPUtime=443.36
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 22165 0 0 0 44314 22 0 0 18 0 3 0 347468622 69435392 15610 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 16952 15610 218 20 0 16310 0
[pid=21712/tid=21714] ppid=21710 vsize=67808 CPUtime=222.13
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 10184 0 0 0 22204 9 0 0 25 0 3 0 347468623 69435392 15610 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520492 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21712/tid=21715] ppid=21710 vsize=67808 CPUtime=221.22
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 11618 0 0 0 22109 13 0 0 25 0 3 0 347468623 69435392 15610 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.36
Current children cumulated vsize (KiB) 67808

[startup+282.303 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21715
/proc/meminfo: memFree=1709720/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=69260 CPUtime=563.04
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 24224 0 0 0 56279 25 0 0 18 0 3 0 347468622 70922240 15947 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 17315 15947 218 20 0 16673 0
[pid=21712/tid=21714] ppid=21710 vsize=69260 CPUtime=282.09
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 11201 0 0 0 28199 10 0 0 25 0 3 0 347468623 70922240 15947 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21712/tid=21715] ppid=21710 vsize=69260 CPUtime=280.93
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 12660 0 0 0 28079 14 0 0 25 0 3 0 347468623 70922240 15947 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.04
Current children cumulated vsize (KiB) 69260

[startup+342.302 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21715
/proc/meminfo: memFree=1707224/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=70436 CPUtime=682.7
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 26322 0 0 0 68243 27 0 0 18 0 3 0 347468622 72126464 16554 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 17609 16554 218 20 0 16967 0
[pid=21712/tid=21714] ppid=21710 vsize=70436 CPUtime=342.04
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 12375 0 0 0 34193 11 0 0 25 0 3 0 347468623 72126464 16554 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21712/tid=21715] ppid=21710 vsize=70436 CPUtime=340.64
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 13584 0 0 0 34049 15 0 0 25 0 3 0 347468623 72126464 16554 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.7
Current children cumulated vsize (KiB) 70436

[startup+402.303 s]

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

/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 34423 0 0 0 183763 31 0 0 25 0 3 0 347468623 105844736 24274 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21712/tid=21715] ppid=21710 vsize=103364 CPUtime=1836.8
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 35469 0 0 0 183623 57 0 0 25 0 3 0 347468623 105844736 24274 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3674.77
Current children cumulated vsize (KiB) 103364

[startup+1902.3 s]
/proc/loadavg: 1.97 1.98 1.94 3/80 21913
/proc/meminfo: memFree=1675096/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=104304 CPUtime=3794.47
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 71871 0 0 0 379356 91 0 0 18 0 3 0 347468622 106807296 24562 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 26076 24562 218 20 0 25434 0
[pid=21712/tid=21714] ppid=21710 vsize=104304 CPUtime=1897.68
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 35412 0 0 0 189736 32 0 0 25 0 3 0 347468623 106807296 24562 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21712/tid=21715] ppid=21710 vsize=104304 CPUtime=1896.77
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 36096 0 0 0 189619 58 0 0 25 0 3 0 347468623 106807296 24562 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565842 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.47
Current children cumulated vsize (KiB) 104304

[startup+1962.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/80 21913
/proc/meminfo: memFree=1674584/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=104616 CPUtime=3914.19
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 73640 0 0 0 391327 92 0 0 18 0 3 0 347468622 107126784 24695 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 26154 24695 218 20 0 25512 0
[pid=21712/tid=21714] ppid=21710 vsize=104616 CPUtime=1957.42
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 36223 0 0 0 195710 32 0 0 25 0 3 0 347468623 107126784 24695 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21712/tid=21715] ppid=21710 vsize=104616 CPUtime=1956.75
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 37054 0 0 0 195616 59 0 0 25 0 3 0 347468623 107126784 24695 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.19
Current children cumulated vsize (KiB) 104616

[startup+2022.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/80 21913
/proc/meminfo: memFree=1674392/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=104752 CPUtime=4033.89
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 74907 0 0 0 403296 93 0 0 18 0 3 0 347468622 107266048 24761 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 26188 24761 218 20 0 25546 0
[pid=21712/tid=21714] ppid=21710 vsize=104752 CPUtime=2017.16
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 36868 0 0 0 201683 33 0 0 25 0 3 0 347468623 107266048 24761 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21712/tid=21715] ppid=21710 vsize=104752 CPUtime=2016.7
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 37676 0 0 0 201611 59 0 0 25 0 3 0 347468623 107266048 24761 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.89
Current children cumulated vsize (KiB) 104752

[startup+2082.31 s]
/proc/loadavg: 1.99 1.98 1.94 3/80 21913
/proc/meminfo: memFree=1674008/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=105776 CPUtime=4153.6
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 76482 0 0 0 415265 95 0 0 18 0 3 0 347468622 108314624 24824 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 26444 24824 218 20 0 25802 0
[pid=21712/tid=21714] ppid=21710 vsize=105776 CPUtime=2076.89
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 37643 0 0 0 207656 33 0 0 25 0 3 0 347468623 108314624 24824 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21712/tid=21715] ppid=21710 vsize=105776 CPUtime=2076.67
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 38476 0 0 0 207607 60 0 0 25 0 3 0 347468623 108314624 24824 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.6
Current children cumulated vsize (KiB) 105776

[startup+2142.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/80 21913
/proc/meminfo: memFree=1673688/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=106076 CPUtime=4273.31
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 77781 0 0 0 427234 97 0 0 18 0 3 0 347468622 108621824 24906 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 26519 24906 218 20 0 25877 0
[pid=21712/tid=21714] ppid=21710 vsize=106076 CPUtime=2136.65
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 38317 0 0 0 213630 35 0 0 25 0 3 0 347468623 108621824 24906 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21712/tid=21715] ppid=21710 vsize=106076 CPUtime=2136.64
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 39101 0 0 0 213603 61 0 0 25 0 3 0 347468623 108621824 24906 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.31
Current children cumulated vsize (KiB) 106076

[startup+2202.3 s]
/proc/loadavg: 1.99 1.98 1.94 4/80 21913
/proc/meminfo: memFree=1673496/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=106208 CPUtime=4393.02
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 79377 0 0 0 439203 99 0 0 18 0 3 0 347468622 108756992 24970 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 26552 24970 218 20 0 25910 0
[pid=21712/tid=21714] ppid=21710 vsize=106208 CPUtime=2196.38
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 39141 0 0 0 219603 35 0 0 25 0 3 0 347468623 108756992 24970 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21712/tid=21715] ppid=21710 vsize=106208 CPUtime=2196.61
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 39873 0 0 0 219599 62 0 0 25 0 3 0 347468623 108756992 24970 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4393.02
Current children cumulated vsize (KiB) 106208

[startup+2262.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/80 21913
/proc/meminfo: memFree=1673176/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=106496 CPUtime=4512.72
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 80834 0 0 0 451172 100 0 0 18 0 3 0 347468622 109051904 25037 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 26624 25037 218 20 0 25982 0
[pid=21712/tid=21714] ppid=21710 vsize=106496 CPUtime=2256.12
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 39970 0 0 0 225576 36 0 0 25 0 3 0 347468623 109051904 25037 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21712/tid=21715] ppid=21710 vsize=106496 CPUtime=2256.58
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 40501 0 0 0 225595 63 0 0 25 0 3 0 347468623 109051904 25037 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.72
Current children cumulated vsize (KiB) 106496

[startup+2322.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/80 21913
/proc/meminfo: memFree=1672664/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=106948 CPUtime=4632.44
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 82356 0 0 0 463142 102 0 0 18 0 3 0 347468622 109514752 25159 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 26737 25159 218 20 0 26095 0
[pid=21712/tid=21714] ppid=21710 vsize=106948 CPUtime=2315.86
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 40702 0 0 0 231550 36 0 0 25 0 3 0 347468623 109514752 25159 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21712/tid=21715] ppid=21710 vsize=106948 CPUtime=2316.54
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 41291 0 0 0 231590 64 0 0 25 0 3 0 347468623 109514752 25159 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.44
Current children cumulated vsize (KiB) 106948

[startup+2382.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/80 21913
/proc/meminfo: memFree=1672536/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=106948 CPUtime=4752.14
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 83641 0 0 0 475111 103 0 0 18 0 3 0 347468622 109514752 25191 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 26737 25191 218 20 0 26095 0
[pid=21712/tid=21714] ppid=21710 vsize=106948 CPUtime=2375.6
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 41353 0 0 0 237523 37 0 0 25 0 3 0 347468623 109514752 25191 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21712/tid=21715] ppid=21710 vsize=106948 CPUtime=2376.51
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 41925 0 0 0 237586 65 0 0 25 0 3 0 347468623 109514752 25191 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752.14
Current children cumulated vsize (KiB) 106948

[startup+2442.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/80 21913
/proc/meminfo: memFree=1672344/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=106948 CPUtime=4871.86
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 84925 0 0 0 487081 105 0 0 18 0 3 0 347468622 109514752 25213 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 26737 25213 218 20 0 26095 0
[pid=21712/tid=21714] ppid=21710 vsize=106948 CPUtime=2435.35
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 42003 0 0 0 243497 38 0 0 25 0 3 0 347468623 109514752 25213 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21712/tid=21715] ppid=21710 vsize=106948 CPUtime=2436.49
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 42559 0 0 0 243583 66 0 0 25 0 3 0 347468623 109514752 25213 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526317 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.86
Current children cumulated vsize (KiB) 106948

[startup+2502.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/80 21913
/proc/meminfo: memFree=1672344/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=107100 CPUtime=4991.57
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 86220 0 0 0 499051 106 0 0 18 0 3 0 347468622 109670400 25240 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 26775 25240 218 20 0 26133 0
[pid=21712/tid=21714] ppid=21710 vsize=107100 CPUtime=2495.07
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 42654 0 0 0 249469 38 0 0 25 0 3 0 347468623 109670400 25240 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21712/tid=21715] ppid=21710 vsize=107100 CPUtime=2496.48
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 43203 0 0 0 249581 67 0 0 25 0 3 0 347468623 109670400 25240 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.57
Current children cumulated vsize (KiB) 107100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.6 s]
/proc/loadavg: 1.99 1.98 1.94 3/80 21913
/proc/meminfo: memFree=1672280/2055920 swapFree=4156504/4192956
[pid=21712] ppid=21710 vsize=107100 CPUtime=5000.16
/proc/21712/stat : 21712 (MiraXTv3_dyn) S 21710 21712 21581 0 -1 4194304 86391 0 0 0 499910 106 0 0 18 0 3 0 347468622 109670400 25252 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21712/statm: 26775 25252 218 20 0 26133 0
[pid=21712/tid=21714] ppid=21710 vsize=107100 CPUtime=2499.35
/proc/21712/task/21714/stat : 21714 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 42825 0 0 0 249897 38 0 0 25 0 3 0 347468623 109670400 25252 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21712/tid=21715] ppid=21710 vsize=107100 CPUtime=2500.78
/proc/21712/task/21715/stat : 21715 (MiraXTv3_dyn) R 21710 21712 21581 0 -1 4194368 43203 0 0 0 250011 67 0 0 25 0 3 0 347468623 109670400 25252 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520275 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.16
Current children cumulated vsize (KiB) 107100

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.2
CPU user time (s): 4999.12
CPU system time (s): 1.08183
CPU usage (%): 199.479
Max. virtual memory (cumulated for all children) (KiB): 107572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.12
system time used= 1.08184
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86391
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= 528
involuntary context switches= 93455

runsolver used 2.46563 second user time and 6.71198 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat May 12 18:45:10 UTC 2007

IDJOB= 426183
IDBENCH= 20005
IDSOLVER= 196
FILE ID= node15/426183-1178995510

PBS_JOBID= 5252833

Free space on /tmp= 66548 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v600/unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426183-1178995510/MiraXTv3_dyn /tmp/evaluation/426183-1178995510/instance-426183-1178995510.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-426183-1178995510 -o ROOT/results/node15/solver-426183-1178995510 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426183-1178995510/MiraXTv3_dyn /tmp/evaluation/426183-1178995510/instance-426183-1178995510.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  e1848ef5581233d7edc388a9e0c74c1a

RANDOM SEED= 85030748

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1773584 kB
Buffers:         41628 kB
Cached:         174292 kB
SwapCached:      16300 kB
Active:          84912 kB
Inactive:       155228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1773584 kB
SwapTotal:     4192956 kB
SwapFree:      4156504 kB
Dirty:            4028 kB
Writeback:           0 kB
Mapped:          30040 kB
Slab:            27700 kB
Committed_AS: 10920028 kB
PageTables:       1868 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= 66548 MiB

End job on node15 on Sat May 12 19:26:59 UTC 2007