runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-303065-1172026477 -o ROOT/results/node4/solver-303065-1172026477 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/303065-1172026477/tts-4-0 /tmp/evaluation/303065-1172026477/instance-303065-1172026477.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: 0.93 0.98 0.99 3/77 12415
/proc/meminfo: memFree=1481768/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=796 CPUtime=0
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 108 0 0 0 0 0 0 0 18 0 1 0 222602536 815104 93 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 199 94 57 113 0 83 0
[startup+0.107384 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 12415
/proc/meminfo: memFree=1481768/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=2380 CPUtime=0.1
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 496 0 0 0 10 0 0 0 18 0 1 0 222602536 2437120 481 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134538262 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 595 481 59 113 0 479 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2380
[startup+0.515421 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 12415
/proc/meminfo: memFree=1481768/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=5432 CPUtime=0.51
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 1269 0 0 0 51 0 0 0 22 0 1 0 222602536 5562368 1254 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134554853 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 1358 1254 62 113 0 1242 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 5432
[startup+1.3385 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 12416
/proc/meminfo: memFree=1453856/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=31452 CPUtime=1.33
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 7788 0 0 0 130 3 0 0 25 0 1 0 222602536 32206848 7738 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591705 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 7863 7738 66 113 0 7747 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 31452
[startup+2.97766 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 12416
/proc/meminfo: memFree=1450592/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=31680 CPUtime=2.97
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 7847 0 0 0 294 3 0 0 25 0 1 0 222602536 32440320 7797 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591976 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 7920 7797 66 113 0 7804 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 31680
[startup+6.25397 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 12416
/proc/meminfo: memFree=1450144/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=32044 CPUtime=6.24
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 7970 0 0 0 621 3 0 0 25 0 1 0 222602536 32813056 7920 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534709 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 8011 7920 66 113 0 7895 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 32044
[startup+12.7096 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 12416
/proc/meminfo: memFree=1448800/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=33356 CPUtime=12.7
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 8271 0 0 0 1267 3 0 0 25 0 1 0 222602536 34156544 8221 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641329 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 8339 8221 66 113 0 8223 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 33356
[startup+25.5108 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 12416
/proc/meminfo: memFree=1446624/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=35400 CPUtime=25.5
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 8827 0 0 0 2546 4 0 0 25 0 1 0 222602536 36249600 8777 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 8850 8777 66 113 0 8734 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 35400
[startup+51.1213 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 12416
/proc/meminfo: memFree=1442912/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=39048 CPUtime=51.09
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 9734 0 0 0 5105 4 0 0 25 0 1 0 222602536 39985152 9684 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134513456 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 9762 9684 66 113 0 9646 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 39048
[startup+102.342 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 12416
/proc/meminfo: memFree=1434912/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=47160 CPUtime=102.3
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 11762 0 0 0 10225 5 0 0 25 0 1 0 222602536 48291840 11712 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 11790 11712 66 113 0 11674 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 47160
[startup+162.377 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 12416
/proc/meminfo: memFree=1424160/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=57744 CPUtime=162.33
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 14387 0 0 0 16226 7 0 0 25 0 1 0 222602536 59129856 14337 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134543308 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 14436 14337 66 113 0 14320 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 57744
[startup+222.402 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 12416
/proc/meminfo: memFree=1413344/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=68540 CPUtime=222.34
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 17098 0 0 0 22224 10 0 0 25 0 1 0 222602536 70184960 17048 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591895 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 17135 17048 66 113 0 17019 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 68540
[startup+282.427 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 12416
/proc/meminfo: memFree=1401888/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=80028 CPUtime=282.35
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 19979 0 0 0 28222 13 0 0 25 0 1 0 222602536 81948672 19929 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534095 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 20007 19929 66 113 0 19891 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 80028
[startup+342.454 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 12416
/proc/meminfo: memFree=1390432/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=91412 CPUtime=342.36
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 22828 0 0 0 34221 15 0 0 25 0 1 0 222602536 93605888 22778 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591886 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 22853 22778 66 113 0 22737 0
Current children cumulated CPU time (s) 342.36
Current children cumulated vsize (KiB) 91412
[startup+402.498 s]
/proc/loadavg: 1.03 1.00 1.00 2/84 12500
/proc/meminfo: memFree=1380720/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=99848 CPUtime=402.35
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 24917 0 0 0 40218 17 0 0 25 0 1 0 222602536 102244352 24867 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641339 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 24962 24867 66 113 0 24846 0
Current children cumulated CPU time (s) 402.35
Current children cumulated vsize (KiB) 99848
[startup+462.571 s]
/proc/loadavg: 1.07 1.02 1.00 2/84 13060
/proc/meminfo: memFree=1370664/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=109352 CPUtime=462.33
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 27283 0 0 0 46212 21 0 0 25 0 1 0 222602536 111976448 27233 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134552285 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 27338 27233 66 113 0 27222 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 109352
[startup+522.601 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 13090
/proc/meminfo: memFree=1361752/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=119432 CPUtime=522.33
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 29833 0 0 0 52209 24 0 0 25 0 1 0 222602536 122298368 29783 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534145 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 29858 29783 66 113 0 29742 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 119432
[startup+582.63 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 13090
/proc/meminfo: memFree=1350744/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=130468 CPUtime=582.35
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 32544 0 0 0 58208 27 0 0 25 0 1 0 222602536 133599232 32494 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534371 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 32617 32494 66 113 0 32501 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 130468
[startup+642.667 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13090
/proc/meminfo: memFree=1341656/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=139612 CPUtime=642.36
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 34833 0 0 0 64207 29 0 0 25 0 1 0 222602536 142962688 34783 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534048 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 34903 34783 66 113 0 34787 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 139612
[startup+702.692 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13090
/proc/meminfo: memFree=1331736/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=149456 CPUtime=702.38
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 37342 0 0 0 70206 32 0 0 25 0 1 0 222602536 153042944 37292 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 37364 37292 66 113 0 37248 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 149456
[startup+762.719 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13090
/proc/meminfo: memFree=1321752/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=159536 CPUtime=762.39
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 39840 0 0 0 76204 35 0 0 25 0 1 0 222602536 163364864 39790 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 39884 39790 66 113 0 39768 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 159536
[startup+822.75 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13090
/proc/meminfo: memFree=1312416/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=168804 CPUtime=822.4
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 42154 0 0 0 82204 36 0 0 25 0 1 0 222602536 172855296 42104 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 42201 42104 66 113 0 42085 0
Current children cumulated CPU time (s) 822.4
Current children cumulated vsize (KiB) 168804
[startup+882.778 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13090
/proc/meminfo: memFree=1302816/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=178412 CPUtime=882.42
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 44561 0 0 0 88204 38 0 0 25 0 1 0 222602536 182693888 44511 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641320 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 44603 44511 66 113 0 44487 0
Current children cumulated CPU time (s) 882.42
Current children cumulated vsize (KiB) 178412
[startup+942.809 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13090
/proc/meminfo: memFree=1294816/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=186620 CPUtime=942.43
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 46598 0 0 0 94204 39 0 0 25 0 1 0 222602536 191098880 46548 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134536110 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 46655 46548 66 113 0 46539 0
Current children cumulated CPU time (s) 942.43
Current children cumulated vsize (KiB) 186620
[startup+1002.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13090
/proc/meminfo: memFree=1285024/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=196232 CPUtime=1002.44
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 49014 0 0 0 100203 41 0 0 25 0 1 0 222602536 200941568 48964 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 49058 48964 66 113 0 48942 0
Current children cumulated CPU time (s) 1002.44
Current children cumulated vsize (KiB) 196232
[startup+1062.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13090
/proc/meminfo: memFree=1275168/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=206076 CPUtime=1062.46
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 51441 0 0 0 106203 43 0 0 25 0 1 0 222602536 211021824 51391 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 51519 51391 66 113 0 51403 0
Current children cumulated CPU time (s) 1062.46
Current children cumulated vsize (KiB) 206076
[startup+1122.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13090
/proc/meminfo: memFree=1270944/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=210296 CPUtime=1122.47
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 52519 0 0 0 112202 45 0 0 25 0 1 0 222602536 215343104 52469 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 52574 52469 66 113 0 52458 0
Current children cumulated CPU time (s) 1122.47
Current children cumulated vsize (KiB) 210296
[startup+1182.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13090
/proc/meminfo: memFree=1264352/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=216860 CPUtime=1182.48
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 54163 0 0 0 118202 46 0 0 25 0 1 0 222602536 222064640 54113 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 54215 54113 66 113 0 54099 0
Current children cumulated CPU time (s) 1182.48
Current children cumulated vsize (KiB) 216860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.54 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13090
/proc/meminfo: memFree=1262496/2055920 swapFree=4192812/4192956
[pid=12415] ppid=12413 vsize=218736 CPUtime=1200.1
/proc/12415/stat : 12415 (tts-4-0) R 12413 12415 12358 0 -1 4194304 54607 0 0 0 119963 47 0 0 25 0 1 0 222602536 223985664 54557 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/12415/statm: 54684 54557 66 113 0 54568 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 218736
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.58
CPU time (s): 1200.15
CPU user time (s): 1199.64
CPU system time (s): 0.512922
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 218736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.64
system time used= 0.512922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54607
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= 25174
runsolver used 1.21681 second user time and 2.76358 second system time
The end
Begin job on node4 on Wed Feb 21 02:54:37 UTC 2007
IDJOB= 303065
IDBENCH= 20099
IDSOLVER= 98
FILE ID= node4/303065-1172026477
PBS_JOBID= 3849186
Free space on /tmp= 66548 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v180/unif-k7-r85-v180-c15300-S1358416858-13.cnf
COMMAND LINE= /tmp/evaluation/303065-1172026477/tts-4-0 /tmp/evaluation/303065-1172026477/instance-303065-1172026477.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-303065-1172026477 -o ROOT/results/node4/solver-303065-1172026477 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/303065-1172026477/tts-4-0 /tmp/evaluation/303065-1172026477/instance-303065-1172026477.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= 7f9bc9e91d3c5181672e5c64171b017a
RANDOM SEED= 497051842
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node4.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.231
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.231
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: 1482112 kB
Buffers: 54668 kB
Cached: 383048 kB
SwapCached: 0 kB
Active: 176004 kB
Inactive: 321228 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1482112 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1156 kB
Writeback: 0 kB
Mapped: 78368 kB
Slab: 62112 kB
Committed_AS: 989556 kB
PageTables: 1768 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66548 MiB
End job on node4 on Wed Feb 21 03:14:39 UTC 2007