0.00/0.04 c This is Ornithorynque version 0.1 alpha
0.00/0.04 c (c) roussel@cril.univ-artois.fr
0.00/0.06 c using unsigned int
0.00/0.06 c parsing...
2.23/2.39 c ...done
2.23/2.39 c nbVar=280972 nbClause=926808
2.63/2.78 c nbVar=280972 nbClause=926808
3.24/3.35 c complete search running
3.24/3.35 c local search running
3.58/3.56 c flip 0 nbSat=771526 maxSat=0
4.58/4.03 c flip 10000 nbSat=778411 maxSat=778411
4.98/4.26 c flip 20000 nbSat=787264 maxSat=787265
5.19/4.31 c flip 30000 nbSat=796828 maxSat=796828
5.19/4.37 c flip 40000 nbSat=806210 maxSat=806210
5.39/4.42 c flip 50000 nbSat=815586 maxSat=815586
5.39/4.49 c flip 60000 nbSat=825287 maxSat=825287
6.78/5.12 c flip 70000 nbSat=828610 maxSat=828613
6.97/5.28 c flip 80000 nbSat=831536 maxSat=831536
7.38/5.47 c flip 90000 nbSat=834557 maxSat=834557
7.77/5.66 c flip 100000 nbSat=837238 maxSat=837239
8.17/5.85 c flip 110000 nbSat=840020 maxSat=840051
8.57/6.03 c flip 120000 nbSat=843049 maxSat=843055
8.77/6.18 c flip 130000 nbSat=845749 maxSat=845762
9.17/6.33 c flip 140000 nbSat=848698 maxSat=848698
10.37/6.92 c flip 150000 nbSat=850741 maxSat=850745
10.57/7.06 c flip 160000 nbSat=853267 maxSat=853274
10.96/7.22 c flip 170000 nbSat=855641 maxSat=855641
11.37/7.48 c flip 180000 nbSat=857803 maxSat=858320
12.37/7.90 c flip 190000 nbSat=859458 maxSat=859462
12.76/8.13 c flip 200000 nbSat=860473 maxSat=860515
13.17/8.35 c flip 210000 nbSat=861688 maxSat=861746
13.76/8.60 c flip 220000 nbSat=862731 maxSat=862765
13.96/8.77 c flip 230000 nbSat=863813 maxSat=863862
15.16/9.30 c flip 240000 nbSat=865162 maxSat=865210
15.35/9.49 c flip 250000 nbSat=866270 maxSat=866309
15.96/9.71 c flip 260000 nbSat=867223 maxSat=867228
16.16/9.89 c flip 270000 nbSat=868491 maxSat=868572
17.35/10.42 c flip 280000 nbSat=869200 maxSat=869308
17.76/10.66 c flip 290000 nbSat=870043 maxSat=870105
18.36/10.91 c flip 300000 nbSat=870483 maxSat=870522
18.75/11.11 c flip 310000 nbSat=871423 maxSat=871431
19.76/11.63 c flip 320000 nbSat=872389 maxSat=872441
20.15/11.87 c flip 330000 nbSat=872941 maxSat=872970
20.76/12.13 c flip 340000 nbSat=873235 maxSat=873342
21.15/12.33 c flip 350000 nbSat=873713 maxSat=873787
22.15/12.87 c flip 360000 nbSat=874171 maxSat=874227
22.75/13.12 c flip 370000 nbSat=874639 maxSat=874803
23.14/13.39 c flip 380000 nbSat=874948 maxSat=875180
23.74/13.61 c flip 390000 nbSat=875636 maxSat=875648
24.74/14.12 c flip 400000 nbSat=876188 maxSat=876204
25.14/14.38 c flip 410000 nbSat=876571 maxSat=876681
25.74/14.65 c flip 420000 nbSat=876950 maxSat=876971
26.13/14.87 c flip 430000 nbSat=877452 maxSat=877513
27.14/15.35 c flip 440000 nbSat=877873 maxSat=877927
27.73/15.64 c flip 450000 nbSat=878152 maxSat=878191
28.33/15.92 c flip 460000 nbSat=878127 maxSat=878361
28.93/16.29 c flip 470000 nbSat=878771 maxSat=878773
29.73/16.68 c flip 480000 nbSat=878906 maxSat=878973
30.32/16.98 c flip 490000 nbSat=879028 maxSat=879092
30.92/17.24 c flip 500000 nbSat=879150 maxSat=879217
31.92/17.73 c flip 510000 nbSat=879848 maxSat=879892
32.52/18.01 c flip 520000 nbSat=880289 maxSat=880411
33.12/18.31 c flip 530000 nbSat=879995 maxSat=880445
33.52/18.55 c flip 540000 nbSat=880575 maxSat=880632
34.51/19.06 c flip 550000 nbSat=881210 maxSat=881326
35.12/19.36 c flip 560000 nbSat=881172 maxSat=881466
35.72/19.67 c flip 570000 nbSat=881116 maxSat=881466
36.52/20.09 c flip 580000 nbSat=881659 maxSat=881660
37.11/20.37 c flip 590000 nbSat=881780 maxSat=881899
37.72/20.68 c flip 600000 nbSat=881591 maxSat=882204
38.31/20.93 c flip 610000 nbSat=881895 maxSat=882204
38.50/21.08 c nbDecision=9205 #clauses=926879
38.50/21.08 c complete search ended
38.50/21.08 c local search ended
38.50/21.08 c complete search answered
38.50/21.08
38.50/21.08 s UNSATISFIABLE
runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-328530-1176317289 -o ROOT/results/node24/solver-328530-1176317289 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328530-1176317289/ornithorynque /tmp/evaluation/328530-1176317289/instance-328530-1176317289.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.89 3/77 8518
/proc/meminfo: memFree=501244/2055920 swapFree=4191880/4192956
[pid=8518] ppid=8516 vsize=7012 CPUtime=0
/proc/8518/stat : 8518 (ornithorynque) D 8516 8518 8290 0 -1 4194304 66 0 0 0 0 0 0 0 18 0 1 0 79647049 7180288 50 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 237785642473 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/8518/statm: 1753 50 37 42 0 10 0
[startup+0.096488 s]
/proc/loadavg: 0.91 0.95 0.89 3/77 8518
/proc/meminfo: memFree=501244/2055920 swapFree=4191880/4192956
[pid=8518] ppid=8516 vsize=27932 CPUtime=0.03
/proc/8518/stat : 8518 (ornithorynque) R 8516 8518 8290 0 -1 4194304 2232 0 4 0 2 1 0 0 18 0 1 0 79647049 28602368 1262 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 237788107489 0 0 4096 1088 0 0 0 17 1 0 0
/proc/8518/statm: 6983 1262 379 42 0 1235 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27932
[startup+0.101485 s]
/proc/loadavg: 0.91 0.95 0.89 3/77 8518
/proc/meminfo: memFree=501244/2055920 swapFree=4191880/4192956
[pid=8518] ppid=8516 vsize=28064 CPUtime=0.03
/proc/8518/stat : 8518 (ornithorynque) R 8516 8518 8290 0 -1 4194304 2280 0 4 0 2 1 0 0 18 0 1 0 79647049 28737536 1310 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 237788107489 0 0 4096 1088 0 0 0 17 1 0 0
/proc/8518/statm: 7016 1311 379 42 0 1268 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28064
[startup+0.301506 s]
/proc/loadavg: 0.91 0.95 0.89 3/77 8518
/proc/meminfo: memFree=501244/2055920 swapFree=4191880/4192956
[pid=8518] ppid=8516 vsize=35824 CPUtime=0.23
/proc/8518/stat : 8518 (ornithorynque) R 8516 8518 8290 0 -1 4194304 4395 0 4 0 21 2 0 0 19 0 1 0 79647049 36683776 3198 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 237788107489 0 0 4096 1088 0 0 0 17 1 0 0
/proc/8518/statm: 8956 3198 379 42 0 3208 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 35824
[startup+0.701549 s]
/proc/loadavg: 0.91 0.95 0.89 3/77 8518
/proc/meminfo: memFree=501244/2055920 swapFree=4191880/4192956
[pid=8518] ppid=8516 vsize=51964 CPUtime=0.64
/proc/8518/stat : 8518 (ornithorynque) R 8516 8518 8290 0 -1 4194304 8741 0 4 0 59 5 0 0 22 0 1 0 79647049 53211136 6774 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 237788107489 0 0 4096 1088 0 0 0 17 1 0 0
/proc/8518/statm: 12991 6775 379 42 0 7243 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 51964
[startup+1.50164 s]
/proc/loadavg: 0.91 0.95 0.89 2/78 8519
/proc/meminfo: memFree=464328/2055920 swapFree=4191880/4192956
[pid=8518] ppid=8516 vsize=81140 CPUtime=1.43
/proc/8518/stat : 8518 (ornithorynque) R 8516 8518 8290 0 -1 4194304 16667 0 4 0 135 8 0 0 25 0 1 0 79647049 83087360 13675 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 237788107489 0 0 4096 1088 0 0 0 17 1 0 0
/proc/8518/statm: 20285 13675 379 42 0 14537 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 81140
[startup+3.10181 s]
/proc/loadavg: 0.91 0.95 0.89 2/78 8519
/proc/meminfo: memFree=426312/2055920 swapFree=4191880/4192956
[pid=8518] ppid=8516 vsize=218480 CPUtime=3.03
/proc/8518/stat : 8518 (ornithorynque) R 8516 8518 8290 0 -1 4194304 53454 0 4 0 279 24 0 0 25 0 1 0 79647049 223723520 48441 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 237788107489 0 0 4096 1088 0 0 0 17 1 0 0
/proc/8518/statm: 54620 48441 386 42 0 48872 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 218480
[startup+6.30116 s]
/proc/loadavg: 0.92 0.95 0.89 3/80 8521
/proc/meminfo: memFree=299896/2055920 swapFree=4191880/4192956
[pid=8518] ppid=8516 vsize=254080 CPUtime=9.17
/proc/8518/stat : 8518 (ornithorynque) S 8516 8518 8290 0 -1 4194304 67684 0 4 0 886 31 0 0 25 0 3 0 79647049 260177920 50429 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/8518/statm: 63520 50429 389 42 0 57772 0
[pid=8518/tid=8520] ppid=8516 vsize=254080 CPUtime=2.93
/proc/8518/task/8520/stat : 8520 (ornithorynque) R 8516 8518 8290 0 -1 4194368 12844 0 0 0 288 5 0 0 25 0 3 0 79647384 260177920 50429 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 4273705 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=8518/tid=8521] ppid=8516 vsize=254080 CPUtime=2.94
/proc/8518/task/8521/stat : 8521 (ornithorynque) R 8516 8518 8290 0 -1 4194368 2 0 0 0 294 0 0 0 25 0 3 0 79647384 260177920 50429 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 4298210 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.17
Current children cumulated vsize (KiB) 254080
[startup+12.7028 s]
/proc/loadavg: 1.01 0.97 0.90 3/80 8521
/proc/meminfo: memFree=299968/2055920 swapFree=4191880/4192956
[pid=8518] ppid=8516 vsize=254080 CPUtime=21.94
/proc/8518/stat : 8518 (ornithorynque) S 8516 8518 8290 0 -1 4194304 91292 0 4 0 2152 42 0 0 25 0 3 0 79647049 260177920 50430 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/8518/statm: 63520 50430 389 42 0 57772 0
[pid=8518/tid=8520] ppid=8516 vsize=254080 CPUtime=9.33
/proc/8518/task/8520/stat : 8520 (ornithorynque) R 8516 8518 8290 0 -1 4194368 36452 0 0 0 917 16 0 0 25 0 3 0 79647384 260177920 50430 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 4274134 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=8518/tid=8521] ppid=8516 vsize=254080 CPUtime=9.31
/proc/8518/task/8521/stat : 8521 (ornithorynque) R 8516 8518 8290 0 -1 4194368 2 0 0 0 931 0 0 0 25 0 3 0 79647384 260177920 50430 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 4244808 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.94
Current children cumulated vsize (KiB) 254080
Solver just ended. Dumping a history of the last processes samples
[startup+15.9012 s]
/proc/loadavg: 1.09 0.99 0.90 3/80 8521
/proc/meminfo: memFree=299968/2055920 swapFree=4191880/4192956
[pid=8518] ppid=8516 vsize=254080 CPUtime=28.33
/proc/8518/stat : 8518 (ornithorynque) S 8516 8518 8290 0 -1 4194304 102821 0 4 0 2785 48 0 0 25 0 3 0 79647049 260177920 50430 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/8518/statm: 63520 50430 389 42 0 57772 0
[pid=8518/tid=8520] ppid=8516 vsize=254080 CPUtime=12.54
/proc/8518/task/8520/stat : 8520 (ornithorynque) R 8516 8518 8290 0 -1 4194368 47981 0 0 0 1232 22 0 0 25 0 3 0 79647384 260177920 50430 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 4274132 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=8518/tid=8521] ppid=8516 vsize=254080 CPUtime=12.49
/proc/8518/task/8521/stat : 8521 (ornithorynque) R 8516 8518 8290 0 -1 4194368 2 0 0 0 1249 0 0 0 25 0 3 0 79647384 260177920 50430 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 28.33
Current children cumulated vsize (KiB) 254080
[startup+19.1015 s]
/proc/loadavg: 1.16 1.00 0.91 3/80 8521
/proc/meminfo: memFree=300032/2055920 swapFree=4191880/4192956
[pid=8518] ppid=8516 vsize=254080 CPUtime=34.71
/proc/8518/stat : 8518 (ornithorynque) S 8516 8518 8290 0 -1 4194304 114899 0 4 0 3418 53 0 0 25 0 3 0 79647049 260177920 50430 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/8518/statm: 63520 50430 389 42 0 57772 0
[pid=8518/tid=8520] ppid=8516 vsize=254080 CPUtime=15.73
/proc/8518/task/8520/stat : 8520 (ornithorynque) R 8516 8518 8290 0 -1 4194368 60059 0 0 0 1546 27 0 0 25 0 3 0 79647384 260177920 50430 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 4274127 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=8518/tid=8521] ppid=8516 vsize=254080 CPUtime=15.68
/proc/8518/task/8521/stat : 8521 (ornithorynque) R 8516 8518 8290 0 -1 4194368 2 0 0 0 1568 0 0 0 25 0 3 0 79647384 260177920 50430 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 4297760 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 34.71
Current children cumulated vsize (KiB) 254080
[startup+19.9026 s]
/proc/loadavg: 1.16 1.00 0.91 3/80 8521
/proc/meminfo: memFree=300032/2055920 swapFree=4191880/4192956
[pid=8518] ppid=8516 vsize=251884 CPUtime=36.31
/proc/8518/stat : 8518 (ornithorynque) S 8516 8518 8290 0 -1 4194304 117644 0 4 0 3577 54 0 0 25 0 3 0 79647049 257929216 49881 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/8518/statm: 62971 49881 389 42 0 57223 0
[pid=8518/tid=8520] ppid=8516 vsize=251884 CPUtime=16.53
/proc/8518/task/8520/stat : 8520 (ornithorynque) R 8516 8518 8290 0 -1 4194368 62804 0 0 0 1625 28 0 0 25 0 3 0 79647384 257929216 49881 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 4326270 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=8518/tid=8521] ppid=8516 vsize=251884 CPUtime=16.48
/proc/8518/task/8521/stat : 8521 (ornithorynque) R 8516 8518 8290 0 -1 4194368 2 0 0 0 1648 0 0 0 25 0 3 0 79647384 257929216 49881 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 4245992 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 36.31
Current children cumulated vsize (KiB) 251884
[startup+20.7027 s]
/proc/loadavg: 1.16 1.00 0.91 3/80 8521
/proc/meminfo: memFree=300032/2055920 swapFree=4191880/4192956
[pid=8518] ppid=8516 vsize=254080 CPUtime=37.91
/proc/8518/stat : 8518 (ornithorynque) S 8516 8518 8290 0 -1 4194304 120938 0 4 0 3735 56 0 0 25 0 3 0 79647049 260177920 50430 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 237797142395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/8518/statm: 63520 50430 389 42 0 57772 0
[pid=8518/tid=8520] ppid=8516 vsize=254080 CPUtime=17.34
/proc/8518/task/8520/stat : 8520 (ornithorynque) R 8516 8518 8290 0 -1 4194368 66098 0 0 0 1704 30 0 0 25 0 3 0 79647384 260177920 50430 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 4274127 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=8518/tid=8521] ppid=8516 vsize=254080 CPUtime=17.27
/proc/8518/task/8521/stat : 8521 (ornithorynque) R 8516 8518 8290 0 -1 4194368 2 0 0 0 1727 0 0 0 25 0 3 0 79647384 260177920 50430 18446744073709551615 4194304 4368192 548682069216 18446744073709551615 4298664 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 37.91
Current children cumulated vsize (KiB) 254080
[startup+21.1027 s]
/proc/loadavg: 1.16 1.00 0.91 3/80 8521
/proc/meminfo: memFree=300032/2055920 swapFree=4191880/4192956
[pid=8518] ppid=8516 vsize=0 CPUtime=38.68
/proc/8518/stat : 8518 (ornithorynque) R 8516 8518 8290 0 -1 4194308 122038 0 4 0 3810 58 0 0 16 0 1 0 79647049 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 1088 0 0 0 17 1 0 0
/proc/8518/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 38.68
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 21.1164
CPU time (s): 38.7121
CPU user time (s): 38.1092
CPU system time (s): 0.602908
CPU usage (%): 183.327
Max. virtual memory (cumulated for all children) (KiB): 254080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.1092
system time used= 0.602908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122038
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56
involuntary context switches= 735
runsolver used 0.024996 second user time and 0.066989 second system time
The end
Begin job on node24 on Wed Apr 11 18:48:10 UTC 2007
IDJOB= 328530
IDBENCH= 20452
IDSOLVER= 139
FILE ID= node24/328530-1176317289
PBS_JOBID= 4516699
Free space on /tmp= 66546 MiB
SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/industrial/babic/dspam/dspam_dump_vc1104.cnf
COMMAND LINE= /tmp/evaluation/328530-1176317289/ornithorynque /tmp/evaluation/328530-1176317289/instance-328530-1176317289.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-328530-1176317289 -o ROOT/results/node24/solver-328530-1176317289 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328530-1176317289/ornithorynque /tmp/evaluation/328530-1176317289/instance-328530-1176317289.cnf
META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH= b832b12eac41e59883ac2887c5963c54
RANDOM SEED= 724984209
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node24.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.238
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.238
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: 501736 kB
Buffers: 47968 kB
Cached: 1198068 kB
SwapCached: 268 kB
Active: 786288 kB
Inactive: 513864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 501736 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 19296 kB
Writeback: 0 kB
Mapped: 71424 kB
Slab: 239552 kB
Committed_AS: 220380 kB
PageTables: 1776 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= 66546 MiB
End job on node24 on Wed Apr 11 18:48:32 UTC 2007