runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-297840-1171845965 -o ROOT/results/node30/solver-297840-1171845965 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/297840-1171845965/cmusat /tmp/evaluation/297840-1171845965/instance-297840-1171845965.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: 4.10 3.78 2.22 3/77 5363
/proc/meminfo: memFree=854504/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=2312 CPUtime=0
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 178360510 2367488 175 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 135095116 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 578 175 109 243 0 332 0
[startup+0.107278 s]
/proc/loadavg: 4.10 3.78 2.22 3/77 5363
/proc/meminfo: memFree=854504/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=2732 CPUtime=0.1
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 291 0 0 0 10 0 0 0 18 0 1 0 178360510 2797568 274 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589753 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 683 274 118 243 0 437 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2732
[startup+0.515334 s]
/proc/loadavg: 4.10 3.78 2.22 3/77 5363
/proc/meminfo: memFree=854504/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=3220 CPUtime=0.51
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 401 0 0 0 51 0 0 0 21 0 1 0 178360510 3297280 384 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134590140 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 805 384 118 243 0 559 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 3220
[startup+1.33545 s]
/proc/loadavg: 3.86 3.73 2.21 2/78 5364
/proc/meminfo: memFree=853088/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=3380 CPUtime=1.33
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 475 0 0 0 133 0 0 0 25 0 1 0 178360510 3461120 458 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 845 458 118 243 0 599 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 3380
[startup+2.97168 s]
/proc/loadavg: 3.86 3.73 2.21 2/78 5364
/proc/meminfo: memFree=851872/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=4588 CPUtime=2.96
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 744 0 0 0 296 0 0 0 25 0 1 0 178360510 4698112 727 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 135092064 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 1147 727 118 243 0 901 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 4588
[startup+6.25015 s]
/proc/loadavg: 3.63 3.69 2.20 2/78 5364
/proc/meminfo: memFree=851040/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=5448 CPUtime=6.24
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 965 0 0 0 624 0 0 0 25 0 1 0 178360510 5578752 948 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134590140 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 1362 948 118 243 0 1116 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 5448
[startup+12.7041 s]
/proc/loadavg: 3.42 3.64 2.20 2/78 5364
/proc/meminfo: memFree=848928/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=7552 CPUtime=12.69
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 1529 0 0 0 1269 0 0 0 25 0 1 0 178360510 7733248 1428 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134590140 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 1888 1428 118 243 0 1642 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7552
[startup+25.5089 s]
/proc/loadavg: 3.04 3.55 2.18 2/78 5364
/proc/meminfo: memFree=843872/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=13208 CPUtime=25.49
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 3253 0 0 0 2547 2 0 0 25 0 1 0 178360510 13524992 2685 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589591 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 3302 2685 118 243 0 3056 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13208
[startup+51.1185 s]
/proc/loadavg: 2.24 3.31 2.14 2/78 5364
/proc/meminfo: memFree=842272/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=14312 CPUtime=51.09
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 3945 0 0 0 5107 2 0 0 25 0 1 0 178360510 14655488 3072 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134581760 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 3578 3072 118 243 0 3332 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 14312
[startup+102.332 s]
/proc/loadavg: 1.54 2.95 2.08 2/78 5364
/proc/meminfo: memFree=833184/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=24960 CPUtime=102.3
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 6998 0 0 0 10225 5 0 0 25 0 1 0 178360510 25559040 5336 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589536 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 6240 5336 118 243 0 5994 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 24960
[startup+162.362 s]
/proc/loadavg: 1.20 2.59 2.01 2/78 5364
/proc/meminfo: memFree=831840/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=25748 CPUtime=162.31
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 7750 0 0 0 16225 6 0 0 25 0 1 0 178360510 26365952 5675 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589771 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 6437 5675 118 243 0 6191 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 25748
[startup+222.391 s]
/proc/loadavg: 1.07 2.30 1.94 2/78 5364
/proc/meminfo: memFree=829344/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=27920 CPUtime=222.32
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 8551 0 0 0 22225 7 0 0 25 0 1 0 178360510 28590080 6311 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 6980 6311 118 243 0 6734 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 27920
[startup+282.415 s]
/proc/loadavg: 1.02 2.06 1.88 2/78 5364
/proc/meminfo: memFree=826784/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=30132 CPUtime=282.32
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 9552 0 0 0 28224 8 0 0 25 0 1 0 178360510 30855168 6932 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589593 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 7533 6932 118 243 0 7287 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 30132
[startup+342.438 s]
/proc/loadavg: 1.09 1.88 1.83 2/78 5364
/proc/meminfo: memFree=813792/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=46584 CPUtime=342.33
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 13956 0 0 0 34222 11 0 0 25 0 1 0 178360510 47702016 10170 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589563 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 11646 10170 118 243 0 11400 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 46584
[startup+402.468 s]
/proc/loadavg: 1.03 1.72 1.78 2/78 5364
/proc/meminfo: memFree=813024/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=47060 CPUtime=402.34
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 14381 0 0 0 40222 12 0 0 25 0 1 0 178360510 48189440 10355 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134590282 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 11765 10355 118 243 0 11519 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 47060
[startup+462.496 s]
/proc/loadavg: 1.01 1.58 1.72 2/78 5364
/proc/meminfo: memFree=812640/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=47384 CPUtime=462.35
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 14469 0 0 0 46222 13 0 0 25 0 1 0 178360510 48521216 10443 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589612 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 11846 10443 118 243 0 11600 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 47384
[startup+522.524 s]
/proc/loadavg: 1.00 1.48 1.68 2/78 5364
/proc/meminfo: memFree=812064/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=47616 CPUtime=522.36
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 14908 0 0 0 52223 13 0 0 25 0 1 0 178360510 48758784 10586 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 11904 10586 118 243 0 11658 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 47616
[startup+582.555 s]
/proc/loadavg: 1.00 1.39 1.63 2/78 5364
/proc/meminfo: memFree=811232/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=48116 CPUtime=582.38
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 15416 0 0 0 58224 14 0 0 25 0 1 0 178360510 49270784 10805 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589526 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 12029 10805 118 243 0 11783 0
Current children cumulated CPU time (s) 582.38
Current children cumulated vsize (KiB) 48116
[startup+642.581 s]
/proc/loadavg: 1.00 1.31 1.59 2/78 5364
/proc/meminfo: memFree=810912/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=48512 CPUtime=642.38
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 15488 0 0 0 64224 14 0 0 25 0 1 0 178360510 49676288 10877 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589593 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 12128 10877 118 243 0 11882 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 48512
[startup+702.607 s]
/proc/loadavg: 1.00 1.25 1.55 2/78 5364
/proc/meminfo: memFree=810464/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=48968 CPUtime=702.39
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 15613 0 0 0 70224 15 0 0 25 0 1 0 178360510 50143232 11002 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 12242 11002 118 243 0 11996 0
Current children cumulated CPU time (s) 702.39
Current children cumulated vsize (KiB) 48968
[startup+762.635 s]
/proc/loadavg: 1.00 1.20 1.51 2/78 5364
/proc/meminfo: memFree=809888/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=49412 CPUtime=762.4
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 16104 0 0 0 76224 16 0 0 25 0 1 0 178360510 50597888 11142 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589690 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 12353 11142 118 243 0 12107 0
Current children cumulated CPU time (s) 762.4
Current children cumulated vsize (KiB) 49412
[startup+822.667 s]
/proc/loadavg: 1.00 1.16 1.48 2/78 5364
/proc/meminfo: memFree=809504/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=49672 CPUtime=822.42
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 16210 0 0 0 82225 17 0 0 25 0 1 0 178360510 50864128 11215 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 12418 11215 118 243 0 12172 0
Current children cumulated CPU time (s) 822.42
Current children cumulated vsize (KiB) 49672
[startup+882.698 s]
/proc/loadavg: 1.00 1.13 1.44 2/78 5364
/proc/meminfo: memFree=808672/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=50476 CPUtime=882.43
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 16454 0 0 0 88226 17 0 0 25 0 1 0 178360510 51687424 11459 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 12619 11459 118 243 0 12373 0
Current children cumulated CPU time (s) 882.43
Current children cumulated vsize (KiB) 50476
[startup+942.745 s]
/proc/loadavg: 1.00 1.11 1.41 2/84 5480
/proc/meminfo: memFree=804720/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=52920 CPUtime=942.41
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 17479 0 0 0 94222 19 0 0 25 0 1 0 178360510 54190080 12135 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 13230 12135 118 243 0 12984 0
Current children cumulated CPU time (s) 942.41
Current children cumulated vsize (KiB) 52920
[startup+1002.79 s]
/proc/loadavg: 1.00 1.08 1.39 2/78 5562
/proc/meminfo: memFree=805536/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=53240 CPUtime=1002.38
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 17545 0 0 0 100219 19 0 0 25 0 1 0 178360510 54517760 12168 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589792 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 13310 12168 118 243 0 13064 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 53240
[startup+1062.82 s]
/proc/loadavg: 1.00 1.07 1.36 2/78 5562
/proc/meminfo: memFree=805408/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=53424 CPUtime=1062.4
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 17606 0 0 0 106220 20 0 0 25 0 1 0 178360510 54706176 12229 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589545 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 13356 12229 118 243 0 13110 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 53424
[startup+1122.85 s]
/proc/loadavg: 1.00 1.05 1.33 2/78 5562
/proc/meminfo: memFree=801184/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=57140 CPUtime=1122.41
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 19062 0 0 0 112219 22 0 0 25 0 1 0 178360510 58511360 13301 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 14285 13301 118 243 0 14039 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 57140
[startup+1182.88 s]
/proc/loadavg: 1.00 1.04 1.31 2/78 5562
/proc/meminfo: memFree=800928/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=57328 CPUtime=1182.43
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 19115 0 0 0 118220 23 0 0 25 0 1 0 178360510 58703872 13354 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589506 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 14332 13354 118 243 0 14086 0
Current children cumulated CPU time (s) 1182.43
Current children cumulated vsize (KiB) 57328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.04 1.30 2/78 5562
/proc/meminfo: memFree=800864/2055920 swapFree=4146080/4192956
[pid=5363] ppid=5361 vsize=57520 CPUtime=1200.04
/proc/5363/stat : 5363 (cmusat) R 5361 5363 3399 0 -1 4194304 19138 0 0 0 119981 23 0 0 25 0 1 0 178360510 58900480 13377 18446744073709551615 134512640 135508737 4294956640 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/5363/statm: 14380 13377 118 243 0 14134 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 57520
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.52
CPU time (s): 1200.06
CPU user time (s): 1199.82
CPU system time (s): 0.242963
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (KiB): 57520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.82
system time used= 0.242963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19138
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= 2028
runsolver used 1.37379 second user time and 2.81057 second system time
The end
Begin job on node30 on Mon Feb 19 00:46:05 UTC 2007
IDJOB= 297840
IDBENCH= 19971
IDSOLVER= 121
FILE ID= node30/297840-1171845965
PBS_JOBID= 3839660
Free space on /tmp= 66561 MiB
SOLVER NAME= CMUSAT 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v450/unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/297840-1171845965/cmusat /tmp/evaluation/297840-1171845965/instance-297840-1171845965.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-297840-1171845965 -o ROOT/results/node30/solver-297840-1171845965 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/297840-1171845965/cmusat /tmp/evaluation/297840-1171845965/instance-297840-1171845965.cnf
META MD5SUM SOLVER= af990fb12f8926fdd756b397adb3b5cf
MD5SUM BENCH= 1ea488c49505bd479e0cbea661320ba7
RANDOM SEED= 17438400
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node30.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.270
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.270
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: 854912 kB
Buffers: 43852 kB
Cached: 1040624 kB
SwapCached: 15288 kB
Active: 837144 kB
Inactive: 273428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 854912 kB
SwapTotal: 4192956 kB
SwapFree: 4146080 kB
Dirty: 2488 kB
Writeback: 0 kB
Mapped: 29932 kB
Slab: 75872 kB
Committed_AS: 611128 kB
PageTables: 1884 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= 66561 MiB
End job on node30 on Mon Feb 19 01:06:07 UTC 2007