Trace number 426054

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.22 2506.73

General information on the benchmark

Namerandom/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf
MD5SUM22bab99737a981aff415949c82530946
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark801.388
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
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 52130
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/node21/watcher-426054-1178981102 -o ROOT/results/node21/solver-426054-1178981102 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426054-1178981102/MiraXTv3_dyn /tmp/evaluation/426054-1178981102/instance-426054-1178981102.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.83 1.87 1.50 3/77 8709
/proc/meminfo: memFree=1630520/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=3788 CPUtime=0
/proc/8709/stat : 8709 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 346027475 3878912 257 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8555636 0 0 4096 0 0 0 0 17 1 0 0
/proc/8709/statm: 947 258 206 20 0 305 0

[startup+0.101557 s]
/proc/loadavg: 1.83 1.87 1.50 3/77 8709
/proc/meminfo: memFree=1630520/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=7236 CPUtime=0.17
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 723 0 0 0 17 0 0 0 18 0 3 0 346027475 7409664 698 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 1809 698 218 20 0 1167 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7236

[startup+0.201567 s]
/proc/loadavg: 1.83 1.87 1.50 3/77 8709
/proc/meminfo: memFree=1630520/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=7696 CPUtime=0.37
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 953 0 0 0 37 0 0 0 18 0 3 0 346027475 7880704 928 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 1924 928 218 20 0 1282 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 7696

[startup+0.301578 s]
/proc/loadavg: 1.83 1.87 1.50 3/77 8709
/proc/meminfo: memFree=1630520/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=9328 CPUtime=0.57
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 1177 0 0 0 57 0 0 0 18 0 3 0 346027475 9551872 1152 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 2332 1152 218 20 0 1690 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9328

[startup+0.701622 s]
/proc/loadavg: 1.83 1.87 1.50 3/77 8709
/proc/meminfo: memFree=1630520/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=12008 CPUtime=1.38
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 1907 0 0 0 137 1 0 0 18 0 3 0 346027475 12296192 1882 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 3002 1882 218 20 0 2360 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 12008

[startup+1.50171 s]
/proc/loadavg: 1.83 1.87 1.50 3/80 8712
/proc/meminfo: memFree=1621536/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=14420 CPUtime=2.97
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 2549 0 0 0 296 1 0 0 18 0 3 0 346027475 14766080 2524 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 3605 2524 218 20 0 2963 0
[pid=8709/tid=8711] ppid=8707 vsize=14420 CPUtime=1.47
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 962 0 0 0 147 0 0 0 19 0 3 0 346027476 14766080 2524 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=14420 CPUtime=1.46
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 1239 0 0 0 146 0 0 0 17 0 3 0 346027476 14766080 2524 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 14420

[startup+3.10189 s]
/proc/loadavg: 1.83 1.87 1.50 3/80 8712
/proc/meminfo: memFree=1619808/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=17144 CPUtime=6.16
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 3374 0 0 0 614 2 0 0 18 0 3 0 346027475 17555456 3277 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 4286 3277 218 20 0 3644 0
[pid=8709/tid=8711] ppid=8707 vsize=17144 CPUtime=3.08
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 1303 0 0 0 307 1 0 0 25 0 3 0 346027476 17555456 3277 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=17144 CPUtime=3.06
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 1723 0 0 0 305 1 0 0 25 0 3 0 346027476 17555456 3277 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 17144

[startup+6.30125 s]
/proc/loadavg: 1.85 1.87 1.50 3/80 8712
/proc/meminfo: memFree=1611680/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=25652 CPUtime=12.54
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 5454 0 0 0 1250 4 0 0 18 0 3 0 346027475 26267648 5279 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 6413 5279 218 20 0 5771 0
[pid=8709/tid=8711] ppid=8707 vsize=25652 CPUtime=6.28
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 2268 0 0 0 627 1 0 0 25 0 3 0 346027476 26267648 5279 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=25652 CPUtime=6.24
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 2838 0 0 0 622 2 0 0 25 0 3 0 346027476 26267648 5279 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 25652

[startup+12.703 s]
/proc/loadavg: 1.86 1.88 1.50 3/80 8712
/proc/meminfo: memFree=1602912/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=32444 CPUtime=25.3
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 7486 0 0 0 2524 6 0 0 18 0 3 0 346027475 33222656 7003 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 8111 7003 218 20 0 7469 0
[pid=8709/tid=8711] ppid=8707 vsize=32444 CPUtime=12.66
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 3339 0 0 0 1264 2 0 0 18 0 3 0 346027476 33222656 7003 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=32444 CPUtime=12.61
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 3799 0 0 0 1258 3 0 0 25 0 3 0 346027476 33222656 7003 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) 32444

[startup+25.5014 s]
/proc/loadavg: 1.89 1.88 1.51 3/80 8712
/proc/meminfo: memFree=1595040/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=40324 CPUtime=50.83
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 9892 0 0 0 5074 9 0 0 18 0 3 0 346027475 41291776 8973 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 10081 8973 218 20 0 9439 0
[pid=8709/tid=8711] ppid=8707 vsize=40324 CPUtime=25.45
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 4343 0 0 0 2542 3 0 0 25 0 3 0 346027476 41291776 8973 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134566325 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=40324 CPUtime=25.35
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 5201 0 0 0 2530 5 0 0 25 0 3 0 346027476 41291776 8973 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) 40324

[startup+51.1012 s]
/proc/loadavg: 2.00 1.91 1.53 3/80 8712
/proc/meminfo: memFree=1592160/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=42732 CPUtime=101.88
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 11526 0 0 0 10178 10 0 0 18 0 3 0 346027475 43757568 9638 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 10683 9638 218 20 0 10041 0
[pid=8709/tid=8711] ppid=8707 vsize=42732 CPUtime=51.03
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 5164 0 0 0 5099 4 0 0 25 0 3 0 346027476 43757568 9638 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520108 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=42732 CPUtime=50.83
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 6014 0 0 0 5077 6 0 0 25 0 3 0 346027476 43757568 9638 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 42732

[startup+102.302 s]
/proc/loadavg: 2.08 1.93 1.56 3/80 8712
/proc/meminfo: memFree=1589280/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=45924 CPUtime=204
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 14039 0 0 0 20387 13 0 0 18 0 3 0 346027475 47026176 10372 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 11481 10372 218 20 0 10839 0
[pid=8709/tid=8711] ppid=8707 vsize=45924 CPUtime=102.19
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 6340 0 0 0 10214 5 0 0 25 0 3 0 346027476 47026176 10372 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=45924 CPUtime=101.78
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 7351 0 0 0 10171 7 0 0 25 0 3 0 346027476 47026176 10372 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 45924

[startup+162.301 s]
/proc/loadavg: 2.10 1.96 1.59 3/80 8712
/proc/meminfo: memFree=1582752/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=53584 CPUtime=323.67
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 17483 0 0 0 32351 16 0 0 18 0 3 0 346027475 54870016 11948 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 13396 11948 218 20 0 12754 0
[pid=8709/tid=8711] ppid=8707 vsize=53584 CPUtime=162.15
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 8076 0 0 0 16208 7 0 0 25 0 3 0 346027476 54870016 11948 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=53584 CPUtime=161.49
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 9059 0 0 0 16141 8 0 0 25 0 3 0 346027476 54870016 11948 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.67
Current children cumulated vsize (KiB) 53584

[startup+222.305 s]
/proc/loadavg: 2.20 2.01 1.62 3/80 8712
/proc/meminfo: memFree=1577504/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=57904 CPUtime=443.36
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 20808 0 0 0 44317 19 0 0 18 0 3 0 346027475 59293696 13330 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 14476 13330 218 20 0 13834 0
[pid=8709/tid=8711] ppid=8707 vsize=57904 CPUtime=222.13
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 10019 0 0 0 22204 9 0 0 25 0 3 0 346027476 59293696 13330 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=57904 CPUtime=221.21
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 10441 0 0 0 22112 9 0 0 25 0 3 0 346027476 59293696 13330 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.36
Current children cumulated vsize (KiB) 57904

[startup+282.302 s]
/proc/loadavg: 2.36 2.08 1.67 3/80 8712
/proc/meminfo: memFree=1573856/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=61720 CPUtime=563.05
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 23539 0 0 0 56284 21 0 0 18 0 3 0 346027475 63201280 14222 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 15430 14222 218 20 0 14788 0
[pid=8709/tid=8711] ppid=8707 vsize=61720 CPUtime=282.11
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 11359 0 0 0 28201 10 0 0 25 0 3 0 346027476 63201280 14222 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=61720 CPUtime=280.93
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 11832 0 0 0 28082 11 0 0 25 0 3 0 346027476 63201280 14222 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.05
Current children cumulated vsize (KiB) 61720

[startup+342.301 s]
/proc/loadavg: 2.28 2.11 1.71 3/80 8712
/proc/meminfo: memFree=1572640/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=63356 CPUtime=682.72
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 25366 0 0 0 68250 22 0 0 18 0 3 0 346027475 64876544 14511 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 15839 14511 218 20 0 15197 0
[pid=8709/tid=8711] ppid=8707 vsize=63356 CPUtime=342.07
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 12243 0 0 0 34197 10 0 0 25 0 3 0 346027476 64876544 14511 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=63356 CPUtime=340.63
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 12775 0 0 0 34052 11 0 0 25 0 3 0 346027476 64876544 14511 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.72
Current children cumulated vsize (KiB) 63356

[startup+402.302 s]

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

/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 32861 0 0 0 183942 34 0 0 25 0 3 0 346027476 86335488 19663 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8709/tid=8712] ppid=8707 vsize=84312 CPUtime=1835.01
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 35012 0 0 0 183452 49 0 0 25 0 3 0 346027476 86335488 19663 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3674.79
Current children cumulated vsize (KiB) 84312

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 8910
/proc/meminfo: memFree=1551648/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=84520 CPUtime=3794.49
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 69742 0 0 0 379365 84 0 0 18 0 3 0 346027475 86548480 19723 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 21130 19723 218 20 0 20488 0
[pid=8709/tid=8711] ppid=8707 vsize=84520 CPUtime=1899.5
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 33679 0 0 0 189916 34 0 0 25 0 3 0 346027476 86548480 19723 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8709/tid=8712] ppid=8707 vsize=84520 CPUtime=1894.97
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 35715 0 0 0 189447 50 0 0 25 0 3 0 346027476 86548480 19723 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.49
Current children cumulated vsize (KiB) 84520

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 8910
/proc/meminfo: memFree=1551584/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=84520 CPUtime=3914.18
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 71102 0 0 0 391333 85 0 0 18 0 3 0 346027475 86548480 19727 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 21130 19727 218 20 0 20488 0
[pid=8709/tid=8711] ppid=8707 vsize=84520 CPUtime=1959.22
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 34359 0 0 0 195888 34 0 0 25 0 3 0 346027476 86548480 19727 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526422 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8709/tid=8712] ppid=8707 vsize=84520 CPUtime=1954.94
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 36395 0 0 0 195444 50 0 0 25 0 3 0 346027476 86548480 19727 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.18
Current children cumulated vsize (KiB) 84520

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 8910
/proc/meminfo: memFree=1551584/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=84520 CPUtime=4033.89
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 72593 0 0 0 403302 87 0 0 18 0 3 0 346027475 86548480 19738 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 21130 19738 218 20 0 20488 0
[pid=8709/tid=8711] ppid=8707 vsize=84520 CPUtime=2018.95
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 35161 0 0 0 201860 35 0 0 25 0 3 0 346027476 86548480 19738 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8709/tid=8712] ppid=8707 vsize=84520 CPUtime=2014.91
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 37084 0 0 0 201440 51 0 0 25 0 3 0 346027476 86548480 19738 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.89
Current children cumulated vsize (KiB) 84520

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 8910
/proc/meminfo: memFree=1549472/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=87008 CPUtime=4153.59
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 74509 0 0 0 415270 89 0 0 18 0 3 0 346027475 89096192 20286 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 21752 20286 218 20 0 21110 0
[pid=8709/tid=8711] ppid=8707 vsize=87008 CPUtime=2078.68
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 36317 0 0 0 207832 36 0 0 25 0 3 0 346027476 89096192 20286 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=8709/tid=8712] ppid=8707 vsize=87008 CPUtime=2074.88
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 37844 0 0 0 207436 52 0 0 25 0 3 0 346027476 89096192 20286 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.59
Current children cumulated vsize (KiB) 87008

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 8910
/proc/meminfo: memFree=1548704/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=88032 CPUtime=4273.26
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 76102 0 0 0 427235 91 0 0 18 0 3 0 346027475 90144768 20499 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 22008 20499 218 20 0 21366 0
[pid=8709/tid=8711] ppid=8707 vsize=88032 CPUtime=2138.43
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 37031 0 0 0 213807 36 0 0 25 0 3 0 346027476 90144768 20499 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=88032 CPUtime=2134.8
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 38723 0 0 0 213427 53 0 0 25 0 3 0 346027476 90144768 20499 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4273.26
Current children cumulated vsize (KiB) 88032

[startup+2202.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 8910
/proc/meminfo: memFree=1548192/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=88220 CPUtime=4392.97
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 77674 0 0 0 439205 92 0 0 18 0 3 0 346027475 90337280 20575 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 22055 20575 218 20 0 21413 0
[pid=8709/tid=8711] ppid=8707 vsize=88220 CPUtime=2198.41
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 37882 0 0 0 219804 37 0 0 25 0 3 0 346027476 90337280 20575 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=88220 CPUtime=2194.54
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 39444 0 0 0 219400 54 0 0 25 0 3 0 346027476 90337280 20575 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4392.97
Current children cumulated vsize (KiB) 88220

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 8910
/proc/meminfo: memFree=1548192/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=88220 CPUtime=4512.64
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 79187 0 0 0 451171 93 0 0 18 0 3 0 346027475 90337280 20580 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 22055 20580 218 20 0 21413 0
[pid=8709/tid=8711] ppid=8707 vsize=88220 CPUtime=2258.36
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 38581 0 0 0 225798 38 0 0 25 0 3 0 346027476 90337280 20580 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=88220 CPUtime=2254.25
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 40258 0 0 0 225371 54 0 0 25 0 3 0 346027476 90337280 20580 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4512.64
Current children cumulated vsize (KiB) 88220

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 8910
/proc/meminfo: memFree=1548256/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=89164 CPUtime=4632.33
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 80830 0 0 0 463138 95 0 0 18 0 3 0 346027475 91303936 20565 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 22291 20565 218 20 0 21649 0
[pid=8709/tid=8711] ppid=8707 vsize=89164 CPUtime=2318.33
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 39403 0 0 0 231794 39 0 0 22 0 3 0 346027476 91303936 20565 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=89164 CPUtime=2313.97
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 41079 0 0 0 231342 55 0 0 25 0 3 0 346027476 91303936 20565 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526404 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4632.33
Current children cumulated vsize (KiB) 89164

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/80 8910
/proc/meminfo: memFree=1547936/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=89348 CPUtime=4752.02
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 82340 0 0 0 475106 96 0 0 18 0 3 0 346027475 91492352 20645 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 22337 20645 218 20 0 21695 0
[pid=8709/tid=8711] ppid=8707 vsize=89348 CPUtime=2378.3
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 40158 0 0 0 237790 40 0 0 25 0 3 0 346027476 91492352 20645 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526317 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=89348 CPUtime=2373.7
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 41834 0 0 0 237315 55 0 0 25 0 3 0 346027476 91492352 20645 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526705 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4752.02
Current children cumulated vsize (KiB) 89348

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 8910
/proc/meminfo: memFree=1548320/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=88324 CPUtime=4871.7
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 83763 0 0 0 487073 97 0 0 18 0 3 0 346027475 90443776 20514 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 22081 20514 218 20 0 21439 0
[pid=8709/tid=8711] ppid=8707 vsize=88324 CPUtime=2438.26
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 40870 0 0 0 243785 41 0 0 25 0 3 0 346027476 90443776 20514 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=88324 CPUtime=2433.42
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 42545 0 0 0 243286 56 0 0 25 0 3 0 346027476 90443776 20514 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4871.7
Current children cumulated vsize (KiB) 88324

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 8910
/proc/meminfo: memFree=1548256/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=88456 CPUtime=4991.4
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 85349 0 0 0 499041 99 0 0 18 0 3 0 346027475 90578944 20558 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 22114 20558 218 20 0 21472 0
[pid=8709/tid=8711] ppid=8707 vsize=88456 CPUtime=2498.24
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 41588 0 0 0 249782 42 0 0 25 0 3 0 346027476 90578944 20558 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=88456 CPUtime=2493.14
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 43413 0 0 0 249258 56 0 0 25 0 3 0 346027476 90578944 20558 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4991.4
Current children cumulated vsize (KiB) 88456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 8910
/proc/meminfo: memFree=1548256/2055920 swapFree=4156344/4192956
[pid=8709] ppid=8707 vsize=88456 CPUtime=5000.19
/proc/8709/stat : 8709 (MiraXTv3_dyn) S 8707 8709 8579 0 -1 4194304 85349 0 0 0 499920 99 0 0 18 0 3 0 346027475 90578944 20558 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/8709/statm: 22114 20558 218 20 0 21472 0
[pid=8709/tid=8711] ppid=8707 vsize=88456 CPUtime=2502.64
/proc/8709/task/8711/stat : 8711 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 41588 0 0 0 250222 42 0 0 25 0 3 0 346027476 90578944 20558 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=8709/tid=8712] ppid=8707 vsize=88456 CPUtime=2497.52
/proc/8709/task/8712/stat : 8712 (MiraXTv3_dyn) R 8707 8709 8579 0 -1 4194368 43413 0 0 0 249696 56 0 0 25 0 3 0 346027476 90578944 20558 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.19
Current children cumulated vsize (KiB) 88456

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.73
CPU time (s): 5000.22
CPU user time (s): 4999.22
CPU system time (s): 1.00485
CPU usage (%): 199.472
Max. virtual memory (cumulated for all children) (KiB): 89816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.22
system time used= 1.00485
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85349
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= 710
involuntary context switches= 93399

runsolver used 2.55061 second user time and 6.61499 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Sat May 12 14:45:02 UTC 2007

IDJOB= 426054
IDBENCH= 19852
IDSOLVER= 196
FILE ID= node21/426054-1178981102

PBS_JOBID= 5252794

Free space on /tmp= 66548 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v100/unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426054-1178981102/MiraXTv3_dyn /tmp/evaluation/426054-1178981102/instance-426054-1178981102.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-426054-1178981102 -o ROOT/results/node21/solver-426054-1178981102 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426054-1178981102/MiraXTv3_dyn /tmp/evaluation/426054-1178981102/instance-426054-1178981102.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  22bab99737a981aff415949c82530946

RANDOM SEED= 568406177

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1630736 kB
Buffers:         48896 kB
Cached:         288252 kB
SwapCached:      15772 kB
Active:         144632 kB
Inactive:       216188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1630736 kB
SwapTotal:     4192956 kB
SwapFree:      4156344 kB
Dirty:            4020 kB
Writeback:           0 kB
Mapped:          30080 kB
Slab:            49856 kB
Committed_AS:  5194148 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= 66548 MiB

End job on node21 on Sat May 12 15:26:51 UTC 2007