Trace number 426082

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

General information on the benchmark

Namerandom/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf
MD5SUMdbe7e3fe1e7b58d06fc02e720d4baf80
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.162974
Satisfiable
(Un)Satisfiability was proved
Number of variables130
Number of clauses2769
Sum of the clauses size13845
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 52769
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node19/watcher-426082-1178985410 -o ROOT/results/node19/solver-426082-1178985410 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426082-1178985410/MiraXTv3_dyn /tmp/evaluation/426082-1178985410/instance-426082-1178985410.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.94 1.90 3/77 25767
/proc/meminfo: memFree=1671872/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=3788 CPUtime=0
/proc/25767/stat : 25767 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 346458357 3878912 263 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7919227 0 0 4096 0 0 0 0 17 1 0 0
/proc/25767/statm: 947 263 206 20 0 305 0

[startup+0.063137 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 25767
/proc/meminfo: memFree=1671872/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=6600 CPUtime=0.09
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 593 0 0 0 9 0 0 0 18 0 3 0 346458357 6758400 568 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 1650 568 218 20 0 1008 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6600

[startup+0.101141 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 25767
/proc/meminfo: memFree=1671872/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=7004 CPUtime=0.17
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 756 0 0 0 17 0 0 0 18 0 3 0 346458357 7172096 731 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 1751 731 218 20 0 1109 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7004

[startup+0.301165 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 25767
/proc/meminfo: memFree=1671872/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=9112 CPUtime=0.57
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 1262 0 0 0 56 1 0 0 18 0 3 0 346458357 9330688 1237 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 2278 1237 218 20 0 1636 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9112

[startup+0.70121 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 25767
/proc/meminfo: memFree=1671872/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=12588 CPUtime=1.36
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 2045 0 0 0 135 1 0 0 18 0 3 0 346458357 12890112 2020 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 3147 2020 218 20 0 2505 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 12588

[startup+1.5013 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 25770
/proc/meminfo: memFree=1662440/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=16248 CPUtime=2.97
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 2781 0 0 0 295 2 0 0 18 0 3 0 346458357 16637952 2756 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 4062 2756 218 20 0 3420 0
[pid=25767/tid=25769] ppid=25765 vsize=16248 CPUtime=1.47
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 1182 0 0 0 147 0 0 0 16 0 3 0 346458359 16637952 2756 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=16248 CPUtime=1.46
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 1231 0 0 0 145 1 0 0 17 0 3 0 346458359 16637952 2756 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526347 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 16248

[startup+3.10147 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 25770
/proc/meminfo: memFree=1659688/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=19600 CPUtime=6.15
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 3772 0 0 0 612 3 0 0 18 0 3 0 346458357 20070400 3675 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 4900 3675 218 20 0 4258 0
[pid=25767/tid=25769] ppid=25765 vsize=19600 CPUtime=3.07
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 1653 0 0 0 307 0 0 0 25 0 3 0 346458359 20070400 3675 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=19600 CPUtime=3.06
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 1751 0 0 0 304 2 0 0 25 0 3 0 346458359 20070400 3675 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 19600

[startup+6.30282 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 25770
/proc/meminfo: memFree=1650536/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=28756 CPUtime=12.55
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 6207 0 0 0 1250 5 0 0 18 0 3 0 346458357 29446144 6032 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 7189 6032 218 20 0 6547 0
[pid=25767/tid=25769] ppid=25765 vsize=28756 CPUtime=6.27
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 2894 0 0 0 626 1 0 0 17 0 3 0 346458359 29446144 6032 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=28756 CPUtime=6.24
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 2945 0 0 0 621 3 0 0 25 0 3 0 346458359 29446144 6032 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 28756

[startup+12.7015 s]
/proc/loadavg: 1.86 1.94 1.90 3/80 25770
/proc/meminfo: memFree=1640688/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=36616 CPUtime=25.29
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 8444 0 0 0 2523 6 0 0 18 0 3 0 346458357 37494784 7963 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 9154 7963 218 20 0 8512 0
[pid=25767/tid=25769] ppid=25765 vsize=36616 CPUtime=12.66
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 4023 0 0 0 1265 1 0 0 19 0 3 0 346458359 37494784 7963 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=36616 CPUtime=12.61
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 4053 0 0 0 1257 4 0 0 25 0 3 0 346458359 37494784 7963 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 36616

[startup+25.5019 s]
/proc/loadavg: 1.97 1.96 1.91 3/80 25770
/proc/meminfo: memFree=1630640/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=47696 CPUtime=50.83
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 11429 0 0 0 5073 10 0 0 18 0 3 0 346458357 48840704 10517 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 11924 10517 218 20 0 11282 0
[pid=25767/tid=25769] ppid=25765 vsize=47696 CPUtime=25.46
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 5659 0 0 0 2543 3 0 0 25 0 3 0 346458359 48840704 10517 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=47696 CPUtime=25.34
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 5402 0 0 0 2528 6 0 0 25 0 3 0 346458359 48840704 10517 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 47696

[startup+51.1017 s]
/proc/loadavg: 2.20 2.01 1.92 3/80 25770
/proc/meminfo: memFree=1621424/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=55956 CPUtime=101.89
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 14509 0 0 0 10176 13 0 0 18 0 3 0 346458357 57298944 12644 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 13989 12644 218 20 0 13347 0
[pid=25767/tid=25769] ppid=25765 vsize=55956 CPUtime=51.03
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 7042 0 0 0 5099 4 0 0 25 0 3 0 346458359 57298944 12644 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4160339184 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=55956 CPUtime=50.84
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 7099 0 0 0 5075 9 0 0 25 0 3 0 346458359 57298944 12644 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526364 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 55956

[startup+102.305 s]
/proc/loadavg: 2.23 2.05 1.94 3/80 25770
/proc/meminfo: memFree=1617072/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=60128 CPUtime=204.04
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 17428 0 0 0 20388 16 0 0 18 0 3 0 346458357 61571072 13758 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 15032 13758 218 20 0 14390 0
[pid=25767/tid=25769] ppid=25765 vsize=60128 CPUtime=102.2
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 8490 0 0 0 10215 5 0 0 25 0 3 0 346458359 61571072 13758 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=60128 CPUtime=101.81
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 8570 0 0 0 10171 10 0 0 25 0 3 0 346458359 61571072 13758 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 60128

[startup+162.302 s]
/proc/loadavg: 2.08 2.04 1.94 3/80 25770
/proc/meminfo: memFree=1612080/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=65672 CPUtime=323.72
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 20665 0 0 0 32353 19 0 0 18 0 3 0 346458357 67248128 14960 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 16418 14960 218 20 0 15776 0
[pid=25767/tid=25769] ppid=25765 vsize=65672 CPUtime=162.15
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 10340 0 0 0 16208 7 0 0 25 0 3 0 346458359 67248128 14960 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=65672 CPUtime=161.54
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 9957 0 0 0 16143 11 0 0 25 0 3 0 346458359 67248128 14960 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526356 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.72
Current children cumulated vsize (KiB) 65672

[startup+222.301 s]
/proc/loadavg: 2.03 2.03 1.94 3/80 25770
/proc/meminfo: memFree=1609840/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=67564 CPUtime=443.41
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 23272 0 0 0 44320 21 0 0 18 0 3 0 346458357 69185536 15534 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 16891 15534 218 20 0 16249 0
[pid=25767/tid=25769] ppid=25765 vsize=67564 CPUtime=222.11
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 11702 0 0 0 22202 9 0 0 25 0 3 0 346458359 69185536 15534 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7914932 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=67564 CPUtime=221.28
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 11202 0 0 0 22116 12 0 0 25 0 3 0 346458359 69185536 15534 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.41
Current children cumulated vsize (KiB) 67564

[startup+282.302 s]
/proc/loadavg: 2.01 2.02 1.94 3/86 25908
/proc/meminfo: memFree=1606368/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=70816 CPUtime=562.88
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 25632 0 0 0 56256 32 0 0 18 0 3 0 346458357 72515584 16043 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 17704 16043 218 20 0 17062 0
[pid=25767/tid=25769] ppid=25765 vsize=70816 CPUtime=281.93
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 12816 0 0 0 28183 10 0 0 25 0 3 0 346458359 72515584 16043 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=70816 CPUtime=280.92
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 12448 0 0 0 28071 21 0 0 25 0 3 0 346458359 72515584 16043 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.88
Current children cumulated vsize (KiB) 70816

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 1.94 3/80 25968
/proc/meminfo: memFree=1606128/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=72380 CPUtime=682.47
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 27517 0 0 0 68208 39 0 0 18 0 3 0 346458357 74117120 16452 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 18095 16452 218 20 0 17453 0
[pid=25767/tid=25769] ppid=25765 vsize=72380 CPUtime=341.83
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 13699 0 0 0 34173 10 0 0 25 0 3 0 346458359 74117120 16452 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=72380 CPUtime=340.6
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 13450 0 0 0 34032 28 0 0 25 0 3 0 346458359 74117120 16452 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.47
Current children cumulated vsize (KiB) 72380

[startup+402.302 s]

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

/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 37707 0 0 0 184069 40 0 0 25 0 3 0 346458359 97976320 22244 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=95680 CPUtime=1833.62
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 35428 0 0 0 183320 42 0 0 25 0 3 0 346458359 97976320 22244 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3674.74
Current children cumulated vsize (KiB) 95680

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 25968
/proc/meminfo: memFree=1582384/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=95680 CPUtime=3794.43
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 75028 0 0 0 379359 84 0 0 18 0 3 0 346458357 97976320 22308 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 23920 22308 218 20 0 23278 0
[pid=25767/tid=25769] ppid=25765 vsize=95680 CPUtime=1901.07
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 38439 0 0 0 190066 41 0 0 25 0 3 0 346458359 97976320 22308 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=95680 CPUtime=1893.33
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 36221 0 0 0 189291 42 0 0 25 0 3 0 346458359 97976320 22308 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.43
Current children cumulated vsize (KiB) 95680

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 25968
/proc/meminfo: memFree=1579824/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=99124 CPUtime=3914.14
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 77147 0 0 0 391328 86 0 0 18 0 3 0 346458357 101502976 22957 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 24781 22957 218 20 0 24139 0
[pid=25767/tid=25769] ppid=25765 vsize=99124 CPUtime=1961.04
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 39236 0 0 0 196062 42 0 0 25 0 3 0 346458359 101502976 22957 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=99124 CPUtime=1953.07
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 37543 0 0 0 195263 44 0 0 25 0 3 0 346458359 101502976 22957 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3914.14
Current children cumulated vsize (KiB) 99124

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 25968
/proc/meminfo: memFree=1579696/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=99124 CPUtime=4033.83
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 78849 0 0 0 403296 87 0 0 18 0 3 0 346458357 101502976 22972 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 24781 22972 218 20 0 24139 0
[pid=25767/tid=25769] ppid=25765 vsize=99124 CPUtime=2021
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 40088 0 0 0 202057 43 0 0 25 0 3 0 346458359 101502976 22972 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=99124 CPUtime=2012.81
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 38393 0 0 0 201237 44 0 0 25 0 3 0 346458359 101502976 22972 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4033.83
Current children cumulated vsize (KiB) 99124

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 25968
/proc/meminfo: memFree=1579760/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=99124 CPUtime=4153.54
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 80579 0 0 0 415265 89 0 0 18 0 3 0 346458357 101502976 23001 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 24781 23001 218 20 0 24139 0
[pid=25767/tid=25769] ppid=25765 vsize=99124 CPUtime=2080.96
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 40961 0 0 0 208052 44 0 0 25 0 3 0 346458359 101502976 23001 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=99124 CPUtime=2072.55
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 39250 0 0 0 207211 44 0 0 25 0 3 0 346458359 101502976 23001 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4153.54
Current children cumulated vsize (KiB) 99124

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 25968
/proc/meminfo: memFree=1579312/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=99444 CPUtime=4273.24
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 82194 0 0 0 427233 91 0 0 18 0 3 0 346458357 101830656 23118 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 24861 23118 218 20 0 24219 0
[pid=25767/tid=25769] ppid=25765 vsize=99444 CPUtime=2140.93
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 41778 0 0 0 214048 45 0 0 25 0 3 0 346458359 101830656 23118 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=99444 CPUtime=2132.28
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 40048 0 0 0 213183 45 0 0 25 0 3 0 346458359 101830656 23118 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4273.24
Current children cumulated vsize (KiB) 99444

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 25968
/proc/meminfo: memFree=1578992/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=99632 CPUtime=4392.95
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 83776 0 0 0 439203 92 0 0 18 0 3 0 346458357 102023168 23191 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 24908 23191 218 20 0 24266 0
[pid=25767/tid=25769] ppid=25765 vsize=99632 CPUtime=2200.9
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 42575 0 0 0 220044 46 0 0 25 0 3 0 346458359 102023168 23191 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=99632 CPUtime=2192.02
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 40833 0 0 0 219156 46 0 0 25 0 3 0 346458359 102023168 23191 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4392.95
Current children cumulated vsize (KiB) 99632

[startup+2262.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/80 25968
/proc/meminfo: memFree=1578672/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=99780 CPUtime=4512.65
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 85374 0 0 0 451172 93 0 0 18 0 3 0 346458357 102174720 23277 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 24945 23277 218 20 0 24303 0
[pid=25767/tid=25769] ppid=25765 vsize=99780 CPUtime=2260.86
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 43394 0 0 0 226039 47 0 0 25 0 3 0 346458359 102174720 23277 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=99780 CPUtime=2251.76
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 41612 0 0 0 225130 46 0 0 25 0 3 0 346458359 102174720 23277 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4512.65
Current children cumulated vsize (KiB) 99780

[startup+2322.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/80 25968
/proc/meminfo: memFree=1578416/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=100092 CPUtime=4632.34
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 86981 0 0 0 463140 94 0 0 18 0 3 0 346458357 102494208 23359 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 25023 23359 218 20 0 24381 0
[pid=25767/tid=25769] ppid=25765 vsize=100092 CPUtime=2320.83
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 44212 0 0 0 232035 48 0 0 25 0 3 0 346458359 102494208 23359 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=100092 CPUtime=2311.49
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 42401 0 0 0 231103 46 0 0 25 0 3 0 346458359 102494208 23359 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4632.34
Current children cumulated vsize (KiB) 100092

[startup+2382.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/80 25968
/proc/meminfo: memFree=1577840/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=100224 CPUtime=4752.05
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 88599 0 0 0 475109 96 0 0 18 0 3 0 346458357 102629376 23448 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 25056 23448 218 20 0 24414 0
[pid=25767/tid=25769] ppid=25765 vsize=100224 CPUtime=2380.79
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 45035 0 0 0 238030 49 0 0 25 0 3 0 346458359 102629376 23448 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=100224 CPUtime=2371.23
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 43196 0 0 0 237077 46 0 0 25 0 3 0 346458359 102629376 23448 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4752.05
Current children cumulated vsize (KiB) 100224

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 25968
/proc/meminfo: memFree=1577712/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=100392 CPUtime=4871.76
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 90053 0 0 0 487079 97 0 0 18 0 3 0 346458357 102801408 23472 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 25098 23472 218 20 0 24456 0
[pid=25767/tid=25769] ppid=25765 vsize=100392 CPUtime=2440.76
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 45715 0 0 0 244026 50 0 0 25 0 3 0 346458359 102801408 23472 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=100392 CPUtime=2430.98
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 43970 0 0 0 243051 47 0 0 25 0 3 0 346458359 102801408 23472 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4871.76
Current children cumulated vsize (KiB) 100392

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 25968
/proc/meminfo: memFree=1577648/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=100392 CPUtime=4991.45
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 91632 0 0 0 499047 98 0 0 18 0 3 0 346458357 102801408 23510 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 25098 23510 218 20 0 24456 0
[pid=25767/tid=25769] ppid=25765 vsize=100392 CPUtime=2500.72
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 46487 0 0 0 250022 50 0 0 25 0 3 0 346458359 102801408 23510 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=100392 CPUtime=2490.7
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 44777 0 0 0 249023 47 0 0 25 0 3 0 346458359 102801408 23510 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4991.45
Current children cumulated vsize (KiB) 100392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.6 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 25968
/proc/meminfo: memFree=1577648/2055920 swapFree=4148252/4192956
[pid=25767] ppid=25765 vsize=100392 CPUtime=5000.04
/proc/25767/stat : 25767 (MiraXTv3_dyn) S 25765 25767 25379 0 -1 4194304 91742 0 0 0 499906 98 0 0 18 0 3 0 346458357 102801408 23510 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 25098 23510 218 20 0 24456 0
[pid=25767/tid=25769] ppid=25765 vsize=100392 CPUtime=2505.03
/proc/25767/task/25769/stat : 25769 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 46597 0 0 0 250453 50 0 0 25 0 3 0 346458359 102801408 23510 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25765 vsize=100392 CPUtime=2494.98
/proc/25767/task/25770/stat : 25770 (MiraXTv3_dyn) R 25765 25767 25379 0 -1 4194368 44777 0 0 0 249451 47 0 0 25 0 3 0 346458359 102801408 23510 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.04
Current children cumulated vsize (KiB) 100392

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.08
CPU user time (s): 4999.08
CPU system time (s): 1.00385
CPU usage (%): 199.474
Max. virtual memory (cumulated for all children) (KiB): 100528

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

runsolver used 2.57861 second user time and 6.588 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat May 12 15:56:50 UTC 2007

IDJOB= 426082
IDBENCH= 19881
IDSOLVER= 196
FILE ID= node19/426082-1178985410

PBS_JOBID= 5252800

Free space on /tmp= 66521 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v130/unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426082-1178985410/MiraXTv3_dyn /tmp/evaluation/426082-1178985410/instance-426082-1178985410.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-426082-1178985410 -o ROOT/results/node19/solver-426082-1178985410 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426082-1178985410/MiraXTv3_dyn /tmp/evaluation/426082-1178985410/instance-426082-1178985410.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  dbe7e3fe1e7b58d06fc02e720d4baf80

RANDOM SEED= 758599130

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1672088 kB
Buffers:         50284 kB
Cached:         245992 kB
SwapCached:      14280 kB
Active:         156584 kB
Inactive:       163708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1672088 kB
SwapTotal:     4192956 kB
SwapFree:      4148252 kB
Dirty:            3952 kB
Writeback:           0 kB
Mapped:          30116 kB
Slab:            49112 kB
Committed_AS:  9251588 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= 66521 MiB

End job on node19 on Sat May 12 16:38:38 UTC 2007