runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-293514-1171772756 -o ROOT/results/node10/solver-293514-1171772756 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/293514-1171772756/tinisat /tmp/evaluation/293514-1171772756/instance-293514-1171772756.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.92 0.98 0.99 3/77 18293
/proc/meminfo: memFree=1530728/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=716 CPUtime=0
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 96 0 0 0 0 0 0 0 18 0 1 0 197230616 733184 81 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134691201 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 179 81 48 110 0 66 0
[startup+0.106594 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18293
/proc/meminfo: memFree=1530728/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=1188 CPUtime=0.1
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 192 0 0 0 10 0 0 0 18 0 1 0 197230616 1216512 176 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519858 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 297 176 52 110 0 184 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1188
[startup+0.514648 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18293
/proc/meminfo: memFree=1530728/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=2760 CPUtime=0.51
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 365 0 0 0 51 0 0 0 22 0 1 0 197230616 2826240 349 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519870 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 690 349 52 110 0 577 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2760
[startup+1.33476 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 18294
/proc/meminfo: memFree=1528800/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=2892 CPUtime=1.33
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 605 0 0 0 133 0 0 0 25 0 1 0 197230616 2961408 589 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134532372 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 723 589 52 110 0 610 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 2892
[startup+2.97098 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 18294
/proc/meminfo: memFree=1527648/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=5212 CPUtime=2.96
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 913 0 0 0 296 0 0 0 25 0 1 0 197230616 5337088 897 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 1303 897 52 110 0 1190 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 5212
[startup+6.25242 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 18294
/proc/meminfo: memFree=1525920/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=5612 CPUtime=6.24
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 1288 0 0 0 624 0 0 0 25 0 1 0 197230616 5746688 1239 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 1403 1239 52 110 0 1290 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 5612
[startup+12.7043 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 18294
/proc/meminfo: memFree=1523936/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=9852 CPUtime=12.69
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 1733 0 0 0 1268 1 0 0 25 0 1 0 197230616 10088448 1684 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519886 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 2463 1684 52 110 0 2350 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9852
[startup+25.513 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 18294
/proc/meminfo: memFree=1521568/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=10404 CPUtime=25.49
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 2358 0 0 0 2548 1 0 0 25 0 1 0 197230616 10653696 2309 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 2601 2309 52 110 0 2488 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10404
[startup+51.1275 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 18294
/proc/meminfo: memFree=1517984/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=18940 CPUtime=51.1
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 3302 0 0 0 5108 2 0 0 25 0 1 0 197230616 19394560 3188 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 4735 3188 52 110 0 4622 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 18940
[startup+102.348 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 18294
/proc/meminfo: memFree=1513056/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=20076 CPUtime=102.31
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 4523 0 0 0 10227 4 0 0 25 0 1 0 197230616 20557824 4409 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134520118 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 5019 4409 52 110 0 4906 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 20076
[startup+162.39 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18294
/proc/meminfo: memFree=1508256/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=37364 CPUtime=162.33
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 5818 0 0 0 16227 6 0 0 25 0 1 0 197230616 38260736 5575 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134515313 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 9341 5575 52 110 0 9228 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 37364
[startup+222.424 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18294
/proc/meminfo: memFree=1504736/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=37976 CPUtime=222.34
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 6700 0 0 0 22227 7 0 0 25 0 1 0 197230616 38887424 6457 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 9494 6457 52 110 0 9381 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 37976
[startup+282.462 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18294
/proc/meminfo: memFree=1501664/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=38460 CPUtime=282.37
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 7471 0 0 0 28228 9 0 0 25 0 1 0 197230616 39383040 7228 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 9615 7228 52 110 0 9502 0
Current children cumulated CPU time (s) 282.37
Current children cumulated vsize (KiB) 38460
[startup+342.498 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18294
/proc/meminfo: memFree=1498336/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=39328 CPUtime=342.37
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 8292 0 0 0 34228 9 0 0 25 0 1 0 197230616 40271872 8049 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134515397 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 9832 8049 52 110 0 9719 0
Current children cumulated CPU time (s) 342.37
Current children cumulated vsize (KiB) 39328
[startup+402.537 s]
/proc/loadavg: 1.07 1.00 1.00 2/78 18294
/proc/meminfo: memFree=1495584/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=40180 CPUtime=402.4
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 8972 0 0 0 40229 11 0 0 25 0 1 0 197230616 41144320 8729 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519992 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 10045 8729 52 110 0 9932 0
Current children cumulated CPU time (s) 402.4
Current children cumulated vsize (KiB) 40180
[startup+462.572 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 18294
/proc/meminfo: memFree=1493088/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=41732 CPUtime=462.41
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 9861 0 0 0 46229 12 0 0 25 0 1 0 197230616 42733568 9361 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519912 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 10433 9361 52 110 0 10320 0
Current children cumulated CPU time (s) 462.41
Current children cumulated vsize (KiB) 41732
[startup+522.608 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 18294
/proc/meminfo: memFree=1490848/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=42124 CPUtime=522.43
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 10416 0 0 0 52230 13 0 0 25 0 1 0 197230616 43134976 9916 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 10531 9916 52 110 0 10418 0
Current children cumulated CPU time (s) 522.43
Current children cumulated vsize (KiB) 42124
[startup+582.648 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18294
/proc/meminfo: memFree=1488608/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=73512 CPUtime=582.46
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 11025 0 0 0 58232 14 0 0 25 0 1 0 197230616 75276288 10459 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134520084 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 18378 10459 52 110 0 18265 0
Current children cumulated CPU time (s) 582.46
Current children cumulated vsize (KiB) 73512
[startup+642.689 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18294
/proc/meminfo: memFree=1486816/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=73512 CPUtime=642.47
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 11491 0 0 0 64232 15 0 0 25 0 1 0 197230616 75276288 10925 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 18378 10925 52 110 0 18265 0
Current children cumulated CPU time (s) 642.47
Current children cumulated vsize (KiB) 73512
[startup+702.729 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18294
/proc/meminfo: memFree=1484704/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=74164 CPUtime=702.49
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 12064 0 0 0 70233 16 0 0 25 0 1 0 197230616 75943936 11432 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 18541 11432 52 110 0 18428 0
Current children cumulated CPU time (s) 702.49
Current children cumulated vsize (KiB) 74164
[startup+762.766 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18294
/proc/meminfo: memFree=1482912/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=74836 CPUtime=762.51
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 12571 0 0 0 76234 17 0 0 25 0 1 0 197230616 76632064 11906 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 18709 11906 52 110 0 18596 0
Current children cumulated CPU time (s) 762.51
Current children cumulated vsize (KiB) 74836
[startup+822.803 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18294
/proc/meminfo: memFree=1480992/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=75480 CPUtime=822.53
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 13079 0 0 0 82235 18 0 0 25 0 1 0 197230616 77291520 12381 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 18870 12381 52 110 0 18757 0
Current children cumulated CPU time (s) 822.53
Current children cumulated vsize (KiB) 75480
[startup+882.839 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18294
/proc/meminfo: memFree=1479264/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=75804 CPUtime=882.55
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 13509 0 0 0 88236 19 0 0 25 0 1 0 197230616 77623296 12811 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 18951 12811 52 110 0 18838 0
Current children cumulated CPU time (s) 882.55
Current children cumulated vsize (KiB) 75804
[startup+942.876 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18296
/proc/meminfo: memFree=1477792/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=75804 CPUtime=942.56
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 13885 0 0 0 94237 19 0 0 25 0 1 0 197230616 77623296 13187 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 18951 13187 52 110 0 18838 0
Current children cumulated CPU time (s) 942.56
Current children cumulated vsize (KiB) 75804
[startup+1002.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18296
/proc/meminfo: memFree=1476192/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=76068 CPUtime=1002.58
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 14285 0 0 0 100238 20 0 0 25 0 1 0 197230616 77893632 13587 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134520118 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 19017 13587 52 110 0 18904 0
Current children cumulated CPU time (s) 1002.58
Current children cumulated vsize (KiB) 76068
[startup+1062.95 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18296
/proc/meminfo: memFree=1474848/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=76324 CPUtime=1062.6
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 14676 0 0 0 106239 21 0 0 25 0 1 0 197230616 78155776 13912 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 19081 13912 52 110 0 18968 0
Current children cumulated CPU time (s) 1062.6
Current children cumulated vsize (KiB) 76324
[startup+1122.99 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18296
/proc/meminfo: memFree=1473568/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=76324 CPUtime=1122.62
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 15009 0 0 0 112240 22 0 0 25 0 1 0 197230616 78155776 14245 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519905 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 19081 14245 52 110 0 18968 0
Current children cumulated CPU time (s) 1122.62
Current children cumulated vsize (KiB) 76324
[startup+1183.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18296
/proc/meminfo: memFree=1472096/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=76456 CPUtime=1182.64
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 15371 0 0 0 118241 23 0 0 25 0 1 0 197230616 78290944 14607 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519886 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 19114 14607 52 110 0 19001 0
Current children cumulated CPU time (s) 1182.64
Current children cumulated vsize (KiB) 76456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.44 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18296
/proc/meminfo: memFree=1471584/2055920 swapFree=4192812/4192956
[pid=18293] ppid=18291 vsize=76648 CPUtime=1200.05
/proc/18293/stat : 18293 (tinisat) R 18291 18293 17944 0 -1 4194304 15494 0 0 0 119982 23 0 0 25 0 1 0 197230616 78487552 14730 18446744073709551615 134512640 134966189 4294956624 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18293/statm: 19162 14730 52 110 0 19049 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 76648
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.46
CPU time (s): 1200.07
CPU user time (s): 1199.83
CPU system time (s): 0.243962
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 76648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.83
system time used= 0.243962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15494
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= 24454
runsolver used 1.19782 second user time and 3.07353 second system time
The end
Begin job on node10 on Sun Feb 18 04:25:56 UTC 2007
IDJOB= 293514
IDBENCH= 19866
IDSOLVER= 100
FILE ID= node10/293514-1171772756
PBS_JOBID= 3839288
Free space on /tmp= 66544 MiB
SOLVER NAME= tinisat 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v120/unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/293514-1171772756/tinisat /tmp/evaluation/293514-1171772756/instance-293514-1171772756.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-293514-1171772756 -o ROOT/results/node10/solver-293514-1171772756 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/293514-1171772756/tinisat /tmp/evaluation/293514-1171772756/instance-293514-1171772756.cnf
META MD5SUM SOLVER= 15788d06198cf45d0201cced774790cd
MD5SUM BENCH= 440145f7fdd355afd4d232c6b4bad512
RANDOM SEED= 268052651
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node10.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.232
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.232
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: 1531200 kB
Buffers: 47860 kB
Cached: 362996 kB
SwapCached: 0 kB
Active: 237720 kB
Inactive: 217376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1531200 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 600 kB
Writeback: 0 kB
Mapped: 63112 kB
Slab: 55156 kB
Committed_AS: 1140724 kB
PageTables: 1832 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 node10 on Sun Feb 18 04:45:59 UTC 2007