runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-307052-1172112119 -o ROOT/results/node34/solver-307052-1172112119 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/307052-1172112119/mmisat /tmp/evaluation/307052-1172112119/instance-307052-1172112119.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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.00 1.00 1.00 3/64 29414
/proc/meminfo: memFree=1471776/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=1972 CPUtime=0
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 204975685 2019328 349 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134998823 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 493 351 81 214 0 275 0
[startup+0.107358 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29414
/proc/meminfo: memFree=1471776/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=9544 CPUtime=0.1
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 2248 0 0 0 9 1 0 0 18 0 1 0 204975685 9773056 2231 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134998823 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 2386 2231 81 214 0 2168 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9544
[startup+0.51539 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29414
/proc/meminfo: memFree=1471776/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=21240 CPUtime=0.5
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 5189 0 0 0 48 2 0 0 21 0 1 0 204975685 21749760 5172 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134998823 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 5310 5172 81 214 0 5092 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 21240
[startup+1.33545 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1440984/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=34532 CPUtime=1.32
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 8498 0 0 0 129 3 0 0 25 0 1 0 204975685 35360768 8481 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134522779 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 8633 8481 81 214 0 8415 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 34532
[startup+2.97559 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1427864/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=50880 CPUtime=2.97
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 12599 0 0 0 292 5 0 0 25 0 1 0 204975685 52101120 12582 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 12720 12582 81 214 0 12502 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 50880
[startup+6.25085 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1404888/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=70416 CPUtime=6.24
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 17463 0 0 0 617 7 0 0 25 0 1 0 204975685 72105984 17446 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134998823 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 17604 17446 81 214 0 17386 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 70416
[startup+12.7044 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1381720/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=91280 CPUtime=12.69
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 22689 0 0 0 1259 10 0 0 25 0 1 0 204975685 93470720 22672 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 22820 22672 81 214 0 22602 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91280
[startup+25.6054 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1360792/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=112408 CPUtime=25.59
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 27978 0 0 0 2546 13 0 0 25 0 1 0 204975685 115105792 27961 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 28102 27961 81 214 0 27884 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 112408
[startup+51.2145 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1336280/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=136328 CPUtime=51.19
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 33938 0 0 0 5102 17 0 0 25 0 1 0 204975685 139599872 33921 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 34082 33921 81 214 0 33864 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 136328
[startup+102.422 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1306584/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=166100 CPUtime=102.38
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 41374 0 0 0 10217 21 0 0 25 0 1 0 204975685 170086400 41357 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 41525 41357 81 214 0 41307 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 166100
[startup+162.436 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1280664/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=191484 CPUtime=162.38
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 47737 0 0 0 16214 24 0 0 25 0 1 0 204975685 196079616 47720 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517712 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 47871 47720 81 214 0 47653 0
Current children cumulated CPU time (s) 162.38
Current children cumulated vsize (KiB) 191484
[startup+222.452 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1259544/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=212612 CPUtime=222.38
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 53018 0 0 0 22211 27 0 0 25 0 1 0 204975685 217714688 53001 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 53153 53001 81 214 0 52935 0
Current children cumulated CPU time (s) 222.38
Current children cumulated vsize (KiB) 212612
[startup+282.469 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1240728/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=231348 CPUtime=282.38
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 57709 0 0 0 28208 30 0 0 25 0 1 0 204975685 236900352 57692 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 57837 57692 81 214 0 57619 0
Current children cumulated CPU time (s) 282.38
Current children cumulated vsize (KiB) 231348
[startup+342.487 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1223320/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=248500 CPUtime=342.39
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 61993 0 0 0 34206 33 0 0 25 0 1 0 204975685 254464000 61976 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 62125 61976 81 214 0 61907 0
Current children cumulated CPU time (s) 342.39
Current children cumulated vsize (KiB) 248500
[startup+402.507 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1207384/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=264448 CPUtime=402.39
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 65974 0 0 0 40203 36 0 0 25 0 1 0 204975685 270794752 65957 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517724 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 66112 65957 81 214 0 65894 0
Current children cumulated CPU time (s) 402.39
Current children cumulated vsize (KiB) 264448
[startup+462.521 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1192408/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=279460 CPUtime=462.39
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 69712 0 0 0 46201 38 0 0 25 0 1 0 204975685 286167040 69695 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 69865 69695 81 214 0 69647 0
Current children cumulated CPU time (s) 462.39
Current children cumulated vsize (KiB) 279460
[startup+522.536 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1178200/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=293548 CPUtime=522.39
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 73257 0 0 0 52199 40 0 0 25 0 1 0 204975685 300593152 73240 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 73387 73240 81 214 0 73169 0
Current children cumulated CPU time (s) 522.39
Current children cumulated vsize (KiB) 293548
[startup+582.555 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 29415
/proc/meminfo: memFree=1164440/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=307104 CPUtime=582.39
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 76638 0 0 0 58196 43 0 0 25 0 1 0 204975685 314474496 76621 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 76776 76621 81 214 0 76558 0
Current children cumulated CPU time (s) 582.39
Current children cumulated vsize (KiB) 307104
[startup+642.571 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 29415
/proc/meminfo: memFree=1151512/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=319992 CPUtime=642.4
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 79874 0 0 0 64195 45 0 0 25 0 1 0 204975685 327671808 79857 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 79998 79857 81 214 0 79780 0
Current children cumulated CPU time (s) 642.4
Current children cumulated vsize (KiB) 319992
[startup+702.582 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1139032/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=332488 CPUtime=702.38
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 82983 0 0 0 70192 46 0 0 25 0 1 0 204975685 340467712 82966 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 83122 82966 81 214 0 82904 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 332488
[startup+762.595 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 29415
/proc/meminfo: memFree=1127064/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=344448 CPUtime=762.39
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 85982 0 0 0 76191 48 0 0 25 0 1 0 204975685 352714752 85965 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 86112 85965 81 214 0 85894 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 344448
[startup+822.618 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 29415
/proc/meminfo: memFree=1115224/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=356012 CPUtime=822.39
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 88876 0 0 0 82190 49 0 0 25 0 1 0 204975685 364556288 88859 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 89003 88859 81 214 0 88785 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 356012
[startup+882.634 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1103960/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=367304 CPUtime=882.39
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 91682 0 0 0 88188 51 0 0 25 0 1 0 204975685 376119296 91665 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 91826 91665 81 214 0 91608 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 367304
[startup+942.65 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1093080/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=378204 CPUtime=942.4
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 94403 0 0 0 94187 53 0 0 25 0 1 0 204975685 387280896 94386 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 94551 94386 81 214 0 94333 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 378204
[startup+1002.67 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1082328/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=388700 CPUtime=1002.4
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 97047 0 0 0 100186 54 0 0 25 0 1 0 204975685 398028800 97030 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 97175 97030 81 214 0 96957 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 388700
[startup+1062.69 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1072088/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=399068 CPUtime=1062.4
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 99622 0 0 0 106184 56 0 0 25 0 1 0 204975685 408645632 99605 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 99767 99605 81 214 0 99549 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 399068
[startup+1122.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29415
/proc/meminfo: memFree=1062040/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=409036 CPUtime=1122.4
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 102131 0 0 0 112183 57 0 0 25 0 1 0 204975685 418852864 102114 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 102259 102114 81 214 0 102041 0
Current children cumulated CPU time (s) 1122.4
Current children cumulated vsize (KiB) 409036
[startup+1182.74 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 29527
/proc/meminfo: memFree=1051048/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=418868 CPUtime=1182.37
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 104578 0 0 0 118178 59 0 0 25 0 1 0 204975685 428920832 104561 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 104717 104561 81 214 0 104499 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 418868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.48 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 29549
/proc/meminfo: memFree=1048040/2055920 swapFree=4182772/4192956
[pid=29414] ppid=29412 vsize=421664 CPUtime=1200.1
/proc/29414/stat : 29414 (mmisat) R 29412 29414 29176 0 -1 4194304 105291 0 0 0 119950 60 0 0 25 0 1 0 204975685 431783936 105274 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/29414/statm: 105416 105274 81 214 0 105198 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 421664
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): 1200.55
CPU time (s): 1200.17
CPU user time (s): 1199.5
CPU system time (s): 0.667898
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 421664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.5
system time used= 0.667898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105291
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= 6
involuntary context switches= 1997
runsolver used 0.741887 second user time and 2.51862 second system time
The end
Begin job on node34 on Thu Feb 22 02:41:59 UTC 2007
IDJOB= 307052
IDBENCH= 20196
IDSOLVER= 108
FILE ID= node34/307052-1172112119
PBS_JOBID= 3892917
Free space on /tmp= 66560 MiB
SOLVER NAME= Mmisat 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v13000/unif-k3-r4.2-v13000-c54600-S161446644-14.cnf
COMMAND LINE= /tmp/evaluation/307052-1172112119/mmisat /tmp/evaluation/307052-1172112119/instance-307052-1172112119.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-307052-1172112119 -o ROOT/results/node34/solver-307052-1172112119 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/307052-1172112119/mmisat /tmp/evaluation/307052-1172112119/instance-307052-1172112119.cnf
META MD5SUM SOLVER= f0471644c1818c6834832b41e70bf7e6
MD5SUM BENCH= 319199115eec5f04169695cb4210fb35
RANDOM SEED= 108149420
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node34.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.234
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.234
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: 1472248 kB
Buffers: 33256 kB
Cached: 491536 kB
SwapCached: 4248 kB
Active: 57728 kB
Inactive: 477184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1472248 kB
SwapTotal: 4192956 kB
SwapFree: 4182772 kB
Dirty: 2096 kB
Writeback: 0 kB
Mapped: 15548 kB
Slab: 34848 kB
Committed_AS: 562704 kB
PageTables: 1396 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= 66560 MiB
End job on node34 on Thu Feb 22 03:02:01 UTC 2007