0.00/0.04 c Command: HOME/tts-5-0 HOME/instance-1562460-1238775231.cnf
0.00/0.04 c Using SATTIMEOUT of 1200
0.00/0.04 c Using SATRAM of 1800
0.00/0.04 c Size of subset node = 16
0.00/0.04 c Variables = 1617
0.00/0.04 c Clauses = 25913
0.00/0.04 c Literals = 69945
0.00/0.04 c Reduced size:
0.00/0.04 c Variables = 1617
0.00/0.04 c Clauses = 25913
0.00/0.04 c Literals = 69945
0.00/0.04 c a2
0.09/0.13 c a1
0.29/0.32 c Independent sub-problems = 1
0.29/0.32 c Sub-problem with 1617 variables and 25913 clauses
0.29/0.32 c using permutation method 4
0.29/0.32 c count = 1
0.29/0.32 c Ordering finished 0.300 seconds
0.29/0.32 c mapped 0.310 seconds
0.29/0.32 c permuted 0.310 seconds
0.29/0.32 c about to sort
0.29/0.33 c sorted
0.39/0.46 c clauses now 25913
0.39/0.46 c init finished 0.330 seconds
0.39/0.46 c tree built 0.460 seconds
0.39/0.46 c
0.39/0.46 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
0.39/0.46 c ---------------------------------|----------------------------------|------------------------------------------------------
0.39/0.46 c ................................ | .......... | 0.5 0.0
0.39/0.46 c ................................ | .......... 1 | 0.5 2.2
0.39/0.46 c ................................ | .......... 2 | 0.5 4.3
0.39/0.46 c ................................ | .......... 3 | 0.5 6.5
0.39/0.46 c ................................ | .......... 4 | 0.5 8.7
0.39/0.46 c ................................ | .......... 5 | 0.5 10.9
0.39/0.47 c ................................ | .......... 1000 | 62 0.5 2127.7 6773
23.98/24.03 c ................................ | .......... 513000 | 59525 24.0 21357.2 11492383
47.97/48.02 c ................................ | .......... 763000 | 89608 48.0 15895.8 20277435
72.07/72.11 c ................................ | .......... 942000 | 110509 72.1 13065.2 26687077
95.96/96.05 c ................................ | .......... 1141000 | 133531 96.0 11881.7 33531520
119.95/120.03 c ................................ | *......... 1281000 | 149740 120.0 10675.0 39342345
144.04/144.18 c ................................ | *......... 1425000 | 166618 144.2 9885.5 45566806
167.93/168.04 c ................................ | *......... 1565000 | 181684 168.0 9315.5 50611572
192.22/192.30 c ................................ | *......... 1696000 | 197567 192.3 8821.4 56146020
216.01/216.17 c ................................ | *......... 1796000 | 208810 216.1 8310.2 60082572
239.90/240.06 c ................................ | **........ 1886000 | 218922 240.0 7858.0 63890858
264.00/264.12 c ................................ | **........ 2051000 | 237238 264.1 7767.2 69767843
288.00/288.15 c ................................ | **........ 2221000 | 255245 288.1 7709.4 75031027
311.88/312.09 c ................................ | **........ 2369000 | 271941 312.0 7592.5 80190266
335.97/336.16 c ................................ | **........ 2472000 | 284598 336.1 7355.2 85050874
359.96/360.10 c ................................ | ***....... 2561000 | 296019 360.0 7113.3 88877759
384.06/384.28 c ................................ | ***....... 2668000 | 308472 384.2 6944.3 93640950
407.96/408.14 c ................................ | ***....... 2751000 | 318190 408.1 6741.8 97619897
432.15/432.33 c ................................ | ***....... 2862000 | 330577 432.2 6621.3 101993512
456.14/456.34 c ................................ | ***....... 2940000 | 340072 456.2 6443.8 105223871
479.92/480.11 c ................................ | ****...... 3028000 | 351197 480.0 6308.2 109303768
504.02/504.29 c ................................ | ****...... 3133000 | 362648 504.2 6213.9 112190688
528.11/528.35 c ................................ | ****...... 3204000 | 370360 528.2 6065.4 114875140
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562460-1238775231/watcher-1562460-1238775231 -o /tmp/evaluation-result-1562460-1238775231/solver-1562460-1238775231 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/tts-5-0 HOME/instance-1562460-1238775231.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 1.08 3/64 9480
/proc/meminfo: memFree=1822400/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=1008 CPUtime=0
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 134 0 0 0 0 0 0 0 20 0 1 0 1150186870 1032192 118 1992294400 134512640 135191068 4294956224 18446744073709551615 134716206 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 252 121 68 165 0 85 0
[startup+0.0627329 s]
/proc/loadavg: 0.92 0.98 1.08 3/64 9480
/proc/meminfo: memFree=1822400/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=4216 CPUtime=0.05
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 957 0 0 0 5 0 0 0 20 0 1 0 1150186870 4317184 941 1992294400 134512640 135191068 4294956224 18446744073709551615 134641786 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 1054 941 69 165 0 887 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4216
[startup+0.10174 s]
/proc/loadavg: 0.92 0.98 1.08 3/64 9480
/proc/meminfo: memFree=1822400/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=4224 CPUtime=0.09
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 961 0 0 0 9 0 0 0 20 0 1 0 1150186870 4325376 944 1992294400 134512640 135191068 4294956224 18446744073709551615 134710791 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 1056 944 69 165 0 889 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4224
[startup+0.301778 s]
/proc/loadavg: 0.92 0.98 1.08 3/64 9480
/proc/meminfo: memFree=1822400/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=5228 CPUtime=0.29
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 1217 0 0 0 29 0 0 0 22 0 1 0 1150186870 5353472 1200 1992294400 134512640 135191068 4294956224 18446744073709551615 134600496 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 1307 1200 71 165 0 1140 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5228
[startup+0.701857 s]
/proc/loadavg: 0.92 0.98 1.08 3/64 9480
/proc/meminfo: memFree=1822400/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=12284 CPUtime=0.69
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 2980 0 0 0 68 1 0 0 25 0 1 0 1150186870 12578816 2937 1992294400 134512640 135191068 4294956224 18446744073709551615 134561476 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 3071 2937 89 165 0 2904 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12284
[startup+1.50202 s]
/proc/loadavg: 0.92 0.98 1.08 2/65 9481
/proc/meminfo: memFree=1808248/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=20704 CPUtime=1.49
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 5073 0 0 0 147 2 0 0 25 0 1 0 1150186870 21200896 5030 1992294400 134512640 135191068 4294956224 18446744073709551615 134546224 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 5176 5030 89 165 0 5009 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20704
[startup+3.10133 s]
/proc/loadavg: 0.92 0.98 1.08 2/65 9481
/proc/meminfo: memFree=1796792/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=36520 CPUtime=3.08
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 9020 0 0 0 304 4 0 0 25 0 1 0 1150186870 37396480 8977 1992294400 134512640 135191068 4294956224 18446744073709551615 134562386 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 9130 8977 89 165 0 8963 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 36520
[startup+6.30196 s]
/proc/loadavg: 0.93 0.98 1.08 2/65 9481
/proc/meminfo: memFree=1771000/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=60216 CPUtime=6.29
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 14933 0 0 0 622 7 0 0 25 0 1 0 1150186870 61661184 14890 1992294400 134512640 135191068 4294956224 18446744073709551615 134562428 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 15054 14890 89 165 0 14887 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60216
[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 1.08 2/65 9481
/proc/meminfo: memFree=1719992/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=108388 CPUtime=12.68
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 27003 0 0 0 1257 11 0 0 25 0 1 0 1150186870 110989312 26960 1992294400 134512640 135191068 4294956224 18446744073709551615 134561572 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 27097 26960 89 165 0 26930 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 108388
[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 1.08 2/65 9481
/proc/meminfo: memFree=1625272/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=198424 CPUtime=25.49
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 49483 0 0 0 2528 21 0 0 25 0 1 0 1150186870 203186176 49440 1992294400 134512640 135191068 4294956224 18446744073709551615 134590961 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 49606 49440 89 165 0 49439 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 198424
[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 1.08 2/65 9481
/proc/meminfo: memFree=1482680/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=342680 CPUtime=51.07
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 85548 0 0 0 5071 36 0 0 25 0 1 0 1150186870 350904320 85505 1992294400 134512640 135191068 4294956224 18446744073709551615 134562326 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 85670 85505 89 165 0 85503 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 342680
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 1.07 2/65 9481
/proc/meminfo: memFree=1265080/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=557272 CPUtime=102.26
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 139227 0 0 0 10165 61 0 0 25 0 1 0 1150186870 570646528 139184 1992294400 134512640 135191068 4294956224 18446744073709551615 134546224 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 139318 139184 89 165 0 139151 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 557272
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 1.07 2/65 9481
/proc/meminfo: memFree=1038520/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=785280 CPUtime=162.23
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 196229 0 0 0 16139 84 0 0 25 0 1 0 1150186870 804126720 196186 1992294400 134512640 135191068 4294956224 18446744073709551615 134562507 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 196320 196186 89 165 0 196153 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 785280
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 1.06 2/65 9481
/proc/meminfo: memFree=857976/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=963452 CPUtime=222.21
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 240759 0 0 0 22119 102 0 0 25 0 1 0 1150186870 986574848 240716 1992294400 134512640 135191068 4294956224 18446744073709551615 134562326 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 240863 240716 89 165 0 240696 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 963452
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 1.06 2/65 9481
/proc/meminfo: memFree=656632/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=1165808 CPUtime=282.19
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 291357 0 0 0 28099 120 0 0 25 0 1 0 1150186870 1193787392 291314 1992294400 134512640 135191068 4294956224 18446744073709551615 134562386 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 291452 291314 89 165 0 291285 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1165808
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.05 2/65 9481
/proc/meminfo: memFree=465912/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=1355236 CPUtime=342.17
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 338698 0 0 0 34075 142 0 0 25 0 1 0 1150186870 1387761664 338655 1992294400 134512640 135191068 4294956224 18446744073709551615 134562507 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 338809 338655 89 165 0 338642 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1355236
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.04 2/65 9481
/proc/meminfo: memFree=306488/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=1516716 CPUtime=402.15
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 379063 0 0 0 40058 157 0 0 25 0 1 0 1150186870 1553117184 379020 1992294400 134512640 135191068 4294956224 18446744073709551615 134546224 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 379179 379020 89 165 0 379012 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1516716
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 1.04 2/65 9481
/proc/meminfo: memFree=150328/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=1670404 CPUtime=462.13
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 417493 0 0 0 46042 171 0 0 25 0 1 0 1150186870 1710493696 417450 1992294400 134512640 135191068 4294956224 18446744073709551615 134562428 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 417601 417450 89 165 0 417434 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1670404
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 1.03 2/65 9481
/proc/meminfo: memFree=26360/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=1794632 CPUtime=522.1
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 448540 0 0 0 52026 184 0 0 25 0 1 0 1150186870 1837703168 448497 1992294400 134512640 135191068 4294956224 18446744073709551615 134562428 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 448658 448497 89 165 0 448491 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 1794632
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+544.701 s]
/proc/loadavg: 0.99 0.98 1.03 2/65 9481
/proc/meminfo: memFree=15800/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=1843228 CPUtime=544.51
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4194304 460703 0 0 0 54261 190 0 0 25 0 1 0 1150186870 1887465472 460660 1992294400 134512640 135191068 4294956224 18446744073709551615 134562389 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 460807 460660 89 165 0 460640 0
Current children cumulated CPU time (s) 544.51
Current children cumulated vsize (KiB) 1843228
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+544.805 s]
/proc/loadavg: 0.99 0.98 1.03 2/65 9481
/proc/meminfo: memFree=15800/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=0 CPUtime=544.61
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4195332 460703 0 0 0 54261 200 0 0 25 0 1 0 1150186870 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 544.61
Current children cumulated vsize (KiB) 0
[startup+544.901 s]
/proc/loadavg: 0.99 0.98 1.03 2/65 9481
/proc/meminfo: memFree=15800/2055920 swapFree=4178884/4192956
[pid=9480] ppid=9478 vsize=0 CPUtime=544.7
/proc/9480/stat : 9480 (tts-5-0) R 9478 9480 9212 0 -1 4195332 460703 0 0 0 54261 209 0 0 25 0 1 0 1150186870 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/9480/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 544.7
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 544.97
CPU time (s): 544.779
CPU user time (s): 542.611
CPU system time (s): 2.16867
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 1843228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 542.611
system time used= 2.16867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460703
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= 2
involuntary context switches= 529
runsolver used 0.479927 second user time and 1.24481 second system time
The end
Begin job on node75 at 2009-04-03 18:13:52
IDJOB=1562460
IDBENCH=70935
IDSOLVER=505
FILE ID=node75/1562460-1238775231
PBS_JOBID= 9085561
Free space on /tmp= 66440 MiB
SOLVER NAME= tts tts-5-0
BENCH NAME= SAT09/APPLICATIONS/edgematching/fbcolors/em_7_4_8_fbc.cnf
COMMAND LINE= HOME/tts-5-0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1562460-1238775231/watcher-1562460-1238775231 -o /tmp/evaluation-result-1562460-1238775231/solver-1562460-1238775231 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/tts-5-0 HOME/instance-1562460-1238775231.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c8ff95be17c69641ce8ae01fa573e84b
RANDOM SEED=808359968
node75.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.263
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.263
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1822880 kB
Buffers: 19880 kB
Cached: 134820 kB
SwapCached: 8160 kB
Active: 70600 kB
Inactive: 93856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1822880 kB
SwapTotal: 4192956 kB
SwapFree: 4178884 kB
Dirty: 1192 kB
Writeback: 0 kB
Mapped: 15412 kB
Slab: 54524 kB
Committed_AS: 2366632 kB
PageTables: 1420 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= 66440 MiB
End job on node75 at 2009-04-03 18:22:58