0.00/0.00 c Parsing...
0.89/0.96 c ==============================================================================
0.89/0.96 c | | ORIGINAL | LEARNT | |
0.89/0.96 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.89/0.96 c ==============================================================================
0.89/0.96 c | 0 | 921147 2465358 | 276344 0 0 nan | 0.000 % |
5.78/5.86 c | 0 | 698777 2104399 | -- 0 -- -- | -- | -221726/-359430
5.78/5.87 c ==============================================================================
5.78/5.87 c Result : #vars: 155907 #clauses: 698777 #literals: 2104399
5.78/5.87 c CPU time: 5.60615 s
5.78/5.87 c ==============================================================================
6.88/6.92 c Rsat version 2.00
46.46/46.57 c CNF stats: (155907 vars, 698777 clauses)
46.46/46.57 c Decisions: 76010
46.46/46.57 c Conflicts: 23737
46.66/46.71 c Time: 39.79000s
46.66/46.71 s UNSATISFIABLE
runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node57/watcher-318329-1176317082 -o ROOT/results/node57/solver-318329-1176317082 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/318329-1176317082/rsat.sh /tmp/evaluation/318329-1176317082/instance-318329-1176317082.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): 2400 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.91 0.95 0.87 3/64 23137
/proc/meminfo: memFree=1516168/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=0
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 72844274 5484544 234 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23137/statm: 1339 234 195 169 0 50 0
[pid=23138] ppid=23137 vsize=1172 CPUtime=0
/proc/23138/stat : 23138 (SatElite) R 23137 23137 22986 0 -1 4194304 195 0 0 0 0 0 0 0 19 0 1 0 72844274 1200128 177 18446744073709551615 134512640 135038345 4294956656 18446744073709551615 134548217 0 0 4096 3 0 0 0 17 1 0 0
/proc/23138/statm: 293 179 50 128 0 162 0
[startup+0.0919519 s]
/proc/loadavg: 0.91 0.95 0.87 3/64 23137
/proc/meminfo: memFree=1516168/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=0
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 72844274 5484544 234 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23137/statm: 1339 234 195 169 0 50 0
[pid=23138] ppid=23137 vsize=24940 CPUtime=0.08
/proc/23138/stat : 23138 (SatElite) R 23137 23137 22986 0 -1 4194304 6161 0 0 0 6 2 0 0 19 0 1 0 72844274 25538560 6027 18446744073709551615 134512640 135038345 4294956656 18446744073709551615 134548215 0 0 4096 3 0 0 0 17 1 0 0
/proc/23138/statm: 6235 6029 50 128 0 6104 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30296
[startup+0.102952 s]
/proc/loadavg: 0.91 0.95 0.87 3/64 23137
/proc/meminfo: memFree=1516168/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=0
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 72844274 5484544 234 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23137/statm: 1339 234 195 169 0 50 0
[pid=23138] ppid=23137 vsize=49308 CPUtime=0.09
/proc/23138/stat : 23138 (SatElite) R 23137 23137 22986 0 -1 4194304 6845 0 0 0 7 2 0 0 19 0 1 0 72844274 50491392 6660 18446744073709551615 134512640 135038345 4294956656 18446744073709551615 134548092 0 0 4096 3 0 0 0 17 1 0 0
/proc/23138/statm: 12327 6663 50 128 0 12196 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54664
[startup+0.302968 s]
/proc/loadavg: 0.91 0.95 0.87 3/64 23137
/proc/meminfo: memFree=1516168/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=0
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 72844274 5484544 234 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23137/statm: 1339 234 195 169 0 50 0
[pid=23138] ppid=23137 vsize=68408 CPUtime=0.28
/proc/23138/stat : 23138 (SatElite) R 23137 23137 22986 0 -1 4194304 11606 0 0 0 23 5 0 0 20 0 1 0 72844274 70049792 11420 18446744073709551615 134512640 135038345 4294956656 18446744073709551615 134681971 0 0 4096 3 0 0 0 17 1 0 0
/proc/23138/statm: 17102 11420 50 128 0 16971 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 73764
[startup+0.703003 s]
/proc/loadavg: 0.91 0.95 0.87 3/64 23137
/proc/meminfo: memFree=1516168/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=0
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 72844274 5484544 234 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23137/statm: 1339 234 195 169 0 50 0
[pid=23138] ppid=23137 vsize=105668 CPUtime=0.68
/proc/23138/stat : 23138 (SatElite) R 23137 23137 22986 0 -1 4194304 20623 0 0 0 58 10 0 0 24 0 1 0 72844274 108204032 20437 18446744073709551615 134512640 135038345 4294956656 18446744073709551615 134699389 0 0 4096 3 0 0 0 17 1 0 0
/proc/23138/statm: 26417 20438 50 128 0 26286 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 111024
[startup+1.50107 s]
/proc/loadavg: 0.92 0.95 0.87 2/66 23139
/proc/meminfo: memFree=1402488/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=0
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 72844274 5484544 234 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23137/statm: 1339 234 195 169 0 50 0
[pid=23138] ppid=23137 vsize=146656 CPUtime=1.48
/proc/23138/stat : 23138 (SatElite) R 23137 23137 22986 0 -1 4194304 32564 0 0 0 131 17 0 0 25 0 1 0 72844274 150175744 29854 18446744073709551615 134512640 135038345 4294956656 18446744073709551615 134681971 0 0 4096 3 0 0 0 17 1 0 0
/proc/23138/statm: 36664 29854 69 128 0 36533 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 152012
[startup+3.10121 s]
/proc/loadavg: 0.92 0.95 0.87 2/66 23139
/proc/meminfo: memFree=1372152/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=0
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 72844274 5484544 234 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23137/statm: 1339 234 195 169 0 50 0
[pid=23138] ppid=23137 vsize=167696 CPUtime=3.09
/proc/23138/stat : 23138 (SatElite) R 23137 23137 22986 0 -1 4194304 37537 0 0 0 286 23 0 0 25 0 1 0 72844274 171720704 34827 18446744073709551615 134512640 135038345 4294956656 18446744073709551615 134530737 0 0 4096 3 0 0 0 17 1 0 0
/proc/23138/statm: 41924 34827 69 128 0 41793 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 173052
[startup+6.30149 s]
/proc/loadavg: 0.92 0.95 0.87 2/66 23139
/proc/meminfo: memFree=1358648/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=0
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 72844274 5484544 234 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23137/statm: 1339 234 195 169 0 50 0
[pid=23138] ppid=23137 vsize=165984 CPUtime=6.28
/proc/23138/stat : 23138 (SatElite) R 23137 23137 22986 0 -1 4194304 42488 0 0 0 600 28 0 0 25 0 1 0 72844274 169967616 34682 18446744073709551615 134512640 135038345 4294956656 18446744073709551615 134699485 0 0 4096 3 0 0 0 17 1 0 0
/proc/23138/statm: 41496 34682 69 128 0 41365 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 171340
[startup+12.701 s]
/proc/loadavg: 0.93 0.96 0.87 2/66 23140
/proc/meminfo: memFree=1440952/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=6.9
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 307 42489 0 0 0 0 656 34 16 0 1 0 72844274 5484544 235 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23137/statm: 1339 235 195 169 0 50 0
[pid=23140] ppid=23137 vsize=51020 CPUtime=5.77
/proc/23140/stat : 23140 (rsat) R 23137 23137 22986 0 -1 4194304 28925 0 0 0 566 11 0 0 25 0 1 0 72844966 52244480 12039 18446744073709551615 134512640 135377749 4294956752 18446744073709551615 134522794 0 0 4096 1026 0 0 0 17 1 0 0
/proc/23140/statm: 12755 12039 86 211 0 12541 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 56376
[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.87 2/66 23140
/proc/meminfo: memFree=1436024/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=6.9
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 307 42489 0 0 0 0 656 34 16 0 1 0 72844274 5484544 235 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23137/statm: 1339 235 195 169 0 50 0
[pid=23140] ppid=23137 vsize=55212 CPUtime=18.56
/proc/23140/stat : 23140 (rsat) R 23137 23137 22986 0 -1 4194304 122468 0 0 0 1817 39 0 0 25 0 1 0 72844966 56537088 13318 18446744073709551615 134512640 135377749 4294956752 18446744073709551615 134530226 0 0 4096 1026 0 0 0 17 1 0 0
/proc/23140/statm: 13803 13318 86 211 0 13589 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 60568
Solver just ended. Dumping a history of the last processes samples
[startup+38.3013 s]
/proc/loadavg: 0.95 0.96 0.88 2/66 23140
/proc/meminfo: memFree=1433016/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=6.9
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 307 42489 0 0 0 0 656 34 16 0 1 0 72844274 5484544 235 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23137/statm: 1339 235 195 169 0 50 0
[pid=23140] ppid=23137 vsize=58372 CPUtime=31.36
/proc/23140/stat : 23140 (rsat) R 23137 23137 22986 0 -1 4194304 187547 0 0 0 3075 61 0 0 25 0 1 0 72844966 59772928 14103 18446744073709551615 134512640 135377749 4294956752 18446744073709551615 135041953 0 0 4096 1026 0 0 0 17 1 0 0
/proc/23140/statm: 14593 14103 86 211 0 14379 0
Current children cumulated CPU time (s) 38.26
Current children cumulated vsize (KiB) 63728
[startup+41.5015 s]
/proc/loadavg: 0.96 0.96 0.88 2/66 23140
/proc/meminfo: memFree=1432056/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=6.9
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 307 42489 0 0 0 0 656 34 16 0 1 0 72844274 5484544 235 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23137/statm: 1339 235 195 169 0 50 0
[pid=23140] ppid=23137 vsize=58924 CPUtime=34.56
/proc/23140/stat : 23140 (rsat) R 23137 23137 22986 0 -1 4194304 195112 0 0 0 3392 64 0 0 25 0 1 0 72844966 60338176 14179 18446744073709551615 134512640 135377749 4294956752 18446744073709551615 134525901 0 0 4096 1026 0 0 0 17 1 0 0
/proc/23140/statm: 14731 14179 86 211 0 14517 0
Current children cumulated CPU time (s) 41.46
Current children cumulated vsize (KiB) 64280
[startup+44.7018 s]
/proc/loadavg: 0.96 0.96 0.88 2/66 23140
/proc/meminfo: memFree=1431736/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=6.9
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 307 42489 0 0 0 0 656 34 16 0 1 0 72844274 5484544 235 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23137/statm: 1339 235 195 169 0 50 0
[pid=23140] ppid=23137 vsize=59032 CPUtime=37.76
/proc/23140/stat : 23140 (rsat) R 23137 23137 22986 0 -1 4194304 203908 0 0 0 3709 67 0 0 25 0 1 0 72844966 60448768 14254 18446744073709551615 134512640 135377749 4294956752 18446744073709551615 134523307 0 0 4096 1026 0 0 0 17 1 0 0
/proc/23140/statm: 14758 14254 86 211 0 14544 0
Current children cumulated CPU time (s) 44.66
Current children cumulated vsize (KiB) 64388
[startup+45.5019 s]
/proc/loadavg: 0.96 0.96 0.88 2/66 23140
/proc/meminfo: memFree=1432184/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=6.9
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 307 42489 0 0 0 0 656 34 16 0 1 0 72844274 5484544 235 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23137/statm: 1339 235 195 169 0 50 0
[pid=23140] ppid=23137 vsize=59164 CPUtime=38.56
/proc/23140/stat : 23140 (rsat) R 23137 23137 22986 0 -1 4194304 208878 0 0 0 3787 69 0 0 25 0 1 0 72844966 60583936 14290 18446744073709551615 134512640 135377749 4294956752 18446744073709551615 135041953 0 0 4096 1026 0 0 0 17 1 0 0
/proc/23140/statm: 14791 14290 86 211 0 14577 0
Current children cumulated CPU time (s) 45.46
Current children cumulated vsize (KiB) 64520
[startup+46.302 s]
/proc/loadavg: 0.96 0.96 0.88 2/66 23140
/proc/meminfo: memFree=1431992/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=6.9
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 307 42489 0 0 0 0 656 34 16 0 1 0 72844274 5484544 235 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23137/statm: 1339 235 195 169 0 50 0
[pid=23140] ppid=23137 vsize=59296 CPUtime=39.36
/proc/23140/stat : 23140 (rsat) R 23137 23137 22986 0 -1 4194304 213691 0 0 0 3866 70 0 0 25 0 1 0 72844966 60719104 14321 18446744073709551615 134512640 135377749 4294956752 18446744073709551615 134522794 0 0 4096 1026 0 0 0 17 1 0 0
/proc/23140/statm: 14824 14321 86 211 0 14610 0
Current children cumulated CPU time (s) 46.26
Current children cumulated vsize (KiB) 64652
[startup+46.702 s]
/proc/loadavg: 0.96 0.96 0.88 2/66 23140
/proc/meminfo: memFree=1431992/2055920 swapFree=4191836/4192956
[pid=23137] ppid=23135 vsize=5356 CPUtime=6.9
/proc/23137/stat : 23137 (rsat.sh) S 23135 23137 22986 0 -1 4194304 307 42489 0 0 0 0 656 34 16 0 1 0 72844274 5484544 235 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23137/statm: 1339 235 195 169 0 50 0
[pid=23140] ppid=23137 vsize=56432 CPUtime=39.76
/proc/23140/stat : 23140 (rsat) R 23137 23137 22986 0 -1 4194304 214468 0 0 0 3905 71 0 0 25 0 1 0 72844966 57786368 13633 18446744073709551615 134512640 135377749 4294956752 18446744073709551615 134979856 0 0 4096 1026 0 0 0 17 1 0 0
/proc/23140/statm: 14108 13633 86 211 0 13894 0
Current children cumulated CPU time (s) 46.66
Current children cumulated vsize (KiB) 61788
Child status: 20
Real time (s): 46.7368
CPU time (s): 46.7219
CPU user time (s): 45.6341
CPU system time (s): 1.08783
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 185508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.6341
system time used= 1.08783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257424
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= 27
involuntary context switches= 75
runsolver used 0.051992 second user time and 0.103984 second system time
The end
Begin job on node57 on Wed Apr 11 18:44:43 UTC 2007
IDJOB= 318329
IDBENCH= 20452
IDSOLVER= 104
FILE ID= node57/318329-1176317082
PBS_JOBID= 4516692
Free space on /tmp= 66544 MiB
SOLVER NAME= Rsat 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/babic/dspam/dspam_dump_vc1104.cnf
COMMAND LINE= /tmp/evaluation/318329-1176317082/rsat.sh /tmp/evaluation/318329-1176317082/instance-318329-1176317082.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-318329-1176317082 -o ROOT/results/node57/solver-318329-1176317082 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/318329-1176317082/rsat.sh /tmp/evaluation/318329-1176317082/instance-318329-1176317082.cnf
META MD5SUM SOLVER= 42fb71d21991acbdd759c16645f65450
MD5SUM BENCH= b832b12eac41e59883ac2887c5963c54
RANDOM SEED= 519172069
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node57.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.239
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.239
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: 1516768 kB
Buffers: 31808 kB
Cached: 363696 kB
SwapCached: 324 kB
Active: 174964 kB
Inactive: 235416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1516768 kB
SwapTotal: 4192956 kB
SwapFree: 4191836 kB
Dirty: 20688 kB
Writeback: 0 kB
Mapped: 23684 kB
Slab: 114940 kB
Committed_AS: 114168 kB
PageTables: 1408 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= 66544 MiB
End job on node57 on Wed Apr 11 18:45:30 UTC 2007