0.00/0.02 c bpsolver version 6.27.2008
0.00/0.02 c converting(HOME/instance-1047352-1215039682)
1.47/1.54 c Converted in 434 ms
1.47/1.54 c solving(HOME/instance-1047352-1215039682,1800000)
559.89/564.25
559.89/564.25 Stack + Heap: 288000000 bytes
559.89/564.25 Stack in use: 1194352 bytes
559.89/564.25 Heap in use: 282805552 bytes
559.89/564.25
559.89/564.25 Program area: 8000000 bytes
559.89/564.25 In use: 723522 bytes
559.89/564.25
559.89/564.25 Trail: 8000000 bytes
559.89/564.25 In use: 264 bytes
559.89/564.25
559.89/564.25 Table area: 0 bytes
559.89/564.25 In use: 0 bytes
559.89/564.25
559.89/564.25 Number of GC calls: 184
559.89/564.25 Numbers of expansions:
559.89/564.25 Stack + Heap: 4
559.89/564.25 Program area: 0
559.89/564.25 Trail: 0
559.89/564.25 Table: 0
559.89/564.25
559.89/564.25 Number of symbols: 3832
559.89/564.25
559.89/564.25 FD backtracks: 0
559.89/564.25
559.89/564.25 In expand_stack
559.89/564.25 Not enough memory!
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1047352-1215039682/watcher-1047352-1215039682 -o /tmp/evaluation-result-1047352-1215039682/solver-1047352-1215039682 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1047352-1215039682 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 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: 2.11 1.06 0.41 4/72 13351
/proc/meminfo: memFree=971888/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=4828 CPUtime=0
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 345 0 0 0 0 0 0 0 20 0 1 0 1982941199 4943872 73 996147200 134512640 134990860 4294956112 18446744073709551615 11925642 0 0 4096 0 0 0 0 17 1 0 0
/proc/13351/statm: 1207 73 58 116 0 706 0
[startup+0.164507 s]
/proc/loadavg: 2.11 1.06 0.41 4/72 13351
/proc/meminfo: memFree=971888/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=56080 CPUtime=0.14
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 1108 0 0 0 5 9 0 0 20 0 1 0 1982941199 57425920 821 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 14020 821 174 116 0 13531 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 56080
[startup+0.201507 s]
/proc/loadavg: 2.11 1.06 0.41 4/72 13351
/proc/meminfo: memFree=971888/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=56080 CPUtime=0.19
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 1112 0 0 0 7 12 0 0 20 0 1 0 1982941199 57425920 825 996147200 134512640 134990860 4294956112 18446744073709551615 12225878 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 14020 825 174 116 0 13531 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 56080
[startup+0.301517 s]
/proc/loadavg: 2.11 1.06 0.41 4/72 13351
/proc/meminfo: memFree=971888/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=56080 CPUtime=0.28
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 1125 0 0 0 10 18 0 0 21 0 1 0 1982941199 57425920 838 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 14020 838 174 116 0 13531 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 56080
[startup+0.701553 s]
/proc/loadavg: 2.11 1.06 0.41 4/72 13351
/proc/meminfo: memFree=971888/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=56080 CPUtime=0.68
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 1177 0 0 0 23 45 0 0 25 0 1 0 1982941199 57425920 890 996147200 134512640 134990860 4294956112 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 14020 890 174 116 0 13531 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56080
[startup+1.50262 s]
/proc/loadavg: 2.11 1.06 0.41 3/73 13352
/proc/meminfo: memFree=968488/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=56080 CPUtime=1.47
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 1199 0 0 0 44 103 0 0 25 0 1 0 1982941199 57425920 912 996147200 134512640 134990860 4294956112 18446744073709551615 134561722 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 14020 912 176 116 0 13531 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 56080
[startup+3.10177 s]
/proc/loadavg: 2.11 1.06 0.41 3/73 13352
/proc/meminfo: memFree=929320/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=89692 CPUtime=3.07
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 13077 0 0 0 196 111 0 0 25 0 1 0 1982941199 91844608 11885 996147200 134512640 134990860 4294956112 18446744073709551615 134738022 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 22423 11885 186 116 0 21934 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 89692
[startup+6.30105 s]
/proc/loadavg: 2.10 1.08 0.42 3/73 13352
/proc/meminfo: memFree=915880/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=89692 CPUtime=6.24
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 15207 0 0 0 512 112 0 0 25 0 1 0 1982941199 91844608 14015 996147200 134512640 134990860 4294956112 18446744073709551615 134959280 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 22423 14015 186 116 0 21934 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 89692
[startup+12.7016 s]
/proc/loadavg: 2.09 1.09 0.43 3/73 13352
/proc/meminfo: memFree=908904/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=89692 CPUtime=12.59
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 16485 0 0 0 1147 112 0 0 25 0 1 0 1982941199 91844608 15293 996147200 134512640 134990860 4294956112 18446744073709551615 134959280 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 22423 15293 186 116 0 21934 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 89692
[startup+25.5017 s]
/proc/loadavg: 2.15 1.15 0.46 3/73 13352
/proc/meminfo: memFree=857640/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=206236 CPUtime=25.29
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 51560 0 0 0 2401 128 0 0 25 0 1 0 1982941199 211185664 27961 996147200 134512640 134990860 4294956112 18446744073709551615 134957831 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 51559 27961 186 116 0 51070 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 206236
[startup+51.102 s]
/proc/loadavg: 2.10 1.22 0.50 3/73 13352
/proc/meminfo: memFree=835304/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=206236 CPUtime=50.69
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 57114 0 0 0 4939 130 0 0 25 0 1 0 1982941199 211185664 33515 996147200 134512640 134990860 4294956112 18446744073709551615 134959280 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 51559 33515 186 116 0 51070 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 206236
[startup+102.301 s]
/proc/loadavg: 2.04 1.34 0.58 3/73 13352
/proc/meminfo: memFree=710632/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=387996 CPUtime=101.51
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 124104 0 0 0 9993 158 0 0 25 0 1 0 1982941199 397307904 64492 996147200 134512640 134990860 4294956112 18446744073709551615 134959250 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 96999 64492 186 116 0 96510 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 387996
[startup+162.302 s]
/proc/loadavg: 2.01 1.45 0.66 3/73 13352
/proc/meminfo: memFree=684968/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=387996 CPUtime=161.04
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 130512 0 0 0 15944 160 0 0 25 0 1 0 1982941199 397307904 70900 996147200 134512640 134990860 4294956112 18446744073709551615 134960376 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 96999 70900 186 116 0 96510 0
Current children cumulated CPU time (s) 161.04
Current children cumulated vsize (KiB) 387996
[startup+222.307 s]
/proc/loadavg: 2.00 1.55 0.74 3/73 13352
/proc/meminfo: memFree=679080/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=528672 CPUtime=220.59
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 170419 0 0 0 21882 177 0 0 25 0 1 0 1982941199 541360128 72297 996147200 134512640 134990860 4294956112 18446744073709551615 134953986 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 132168 72297 186 116 0 131679 0
Current children cumulated CPU time (s) 220.59
Current children cumulated vsize (KiB) 528672
[startup+282.301 s]
/proc/loadavg: 2.00 1.63 0.82 3/73 13352
/proc/meminfo: memFree=436456/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=751512 CPUtime=280.13
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 268059 0 0 0 27792 221 0 0 25 0 1 0 1982941199 769548288 132856 996147200 134512640 134990860 4294956112 18446744073709551615 134959280 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 187878 132856 186 116 0 187389 0
Current children cumulated CPU time (s) 280.13
Current children cumulated vsize (KiB) 751512
[startup+342.301 s]
/proc/loadavg: 2.00 1.69 0.89 3/73 13352
/proc/meminfo: memFree=403824/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=751640 CPUtime=339.68
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 276239 0 0 0 33743 225 0 0 25 0 1 0 1982941199 769679360 141003 996147200 134512640 134990860 4294956112 18446744073709551615 134959648 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 187910 141003 186 116 0 187421 0
Current children cumulated CPU time (s) 339.68
Current children cumulated vsize (KiB) 751640
[startup+402.302 s]
/proc/loadavg: 2.00 1.75 0.96 3/73 13352
/proc/meminfo: memFree=388528/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=751640 CPUtime=399.22
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 280081 0 0 0 39695 227 0 0 25 0 1 0 1982941199 769679360 144845 996147200 134512640 134990860 4294956112 18446744073709551615 134954031 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 187910 144845 186 116 0 187421 0
Current children cumulated CPU time (s) 399.22
Current children cumulated vsize (KiB) 751640
[startup+462.302 s]
/proc/loadavg: 2.00 1.79 1.02 3/73 13352
/proc/meminfo: memFree=383280/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=751640 CPUtime=458.77
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 281364 0 0 0 45649 228 0 0 25 0 1 0 1982941199 769679360 146128 996147200 134512640 134990860 4294956112 18446744073709551615 134959280 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 187910 146128 186 116 0 187421 0
Current children cumulated CPU time (s) 458.77
Current children cumulated vsize (KiB) 751640
[startup+522.302 s]
/proc/loadavg: 2.00 1.83 1.08 3/73 13352
/proc/meminfo: memFree=381616/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=751640 CPUtime=518.3
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 281791 0 0 0 51602 228 0 0 25 0 1 0 1982941199 769679360 146555 996147200 134512640 134990860 4294956112 18446744073709551615 134959648 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 187910 146555 186 116 0 187421 0
Current children cumulated CPU time (s) 518.3
Current children cumulated vsize (KiB) 751640
Solver just ended. Dumping a history of the last processes samples
[startup+537.601 s]
/proc/loadavg: 2.00 1.83 1.09 3/73 13352
/proc/meminfo: memFree=381552/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=751640 CPUtime=533.5
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 281792 0 0 0 53121 229 0 0 25 0 1 0 1982941199 769679360 146556 996147200 134512640 134990860 4294956112 18446744073709551615 134957038 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 187910 146556 186 116 0 187421 0
Current children cumulated CPU time (s) 533.5
Current children cumulated vsize (KiB) 751640
[startup+550.401 s]
/proc/loadavg: 2.00 1.84 1.10 3/73 13352
/proc/meminfo: memFree=381552/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=751640 CPUtime=546.2
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 281792 0 0 0 54391 229 0 0 25 0 1 0 1982941199 769679360 146556 996147200 134512640 134990860 4294956112 18446744073709551615 134959280 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 187910 146556 186 116 0 187421 0
Current children cumulated CPU time (s) 546.2
Current children cumulated vsize (KiB) 751640
[startup+556.803 s]
/proc/loadavg: 2.00 1.84 1.11 3/73 13352
/proc/meminfo: memFree=381488/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=751640 CPUtime=552.55
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 281793 0 0 0 55026 229 0 0 25 0 1 0 1982941199 769679360 146557 996147200 134512640 134990860 4294956112 18446744073709551615 134957016 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 187910 146557 186 116 0 187421 0
Current children cumulated CPU time (s) 552.55
Current children cumulated vsize (KiB) 751640
[startup+560.006 s]
/proc/loadavg: 2.00 1.85 1.11 3/73 13352
/proc/meminfo: memFree=381488/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=751640 CPUtime=555.73
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 281793 0 0 0 55344 229 0 0 25 0 1 0 1982941199 769679360 146557 996147200 134512640 134990860 4294956112 18446744073709551615 134957169 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 187910 146557 186 116 0 187421 0
Current children cumulated CPU time (s) 555.73
Current children cumulated vsize (KiB) 751640
[startup+561.601 s]
/proc/loadavg: 2.00 1.85 1.11 3/73 13352
/proc/meminfo: memFree=381488/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=751640 CPUtime=557.31
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 281793 0 0 0 55502 229 0 0 25 0 1 0 1982941199 769679360 146557 996147200 134512640 134990860 4294956112 18446744073709551615 134957389 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 187910 146557 186 116 0 187421 0
Current children cumulated CPU time (s) 557.31
Current children cumulated vsize (KiB) 751640
[startup+563.202 s]
/proc/loadavg: 2.00 1.85 1.12 3/73 13352
/proc/meminfo: memFree=381488/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=751640 CPUtime=558.9
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 281793 0 0 0 55661 229 0 0 25 0 1 0 1982941199 769679360 146557 996147200 134512640 134990860 4294956112 18446744073709551615 134959280 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 187910 146557 186 116 0 187421 0
Current children cumulated CPU time (s) 558.9
Current children cumulated vsize (KiB) 751640
[startup+564.002 s]
/proc/loadavg: 2.00 1.85 1.12 3/73 13352
/proc/meminfo: memFree=381488/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=751640 CPUtime=559.69
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 282217 0 0 0 55740 229 0 0 25 0 1 0 1982941199 769679360 146981 996147200 134512640 134990860 4294956112 18446744073709551615 134966946 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 187910 146981 186 116 0 187421 0
Current children cumulated CPU time (s) 559.69
Current children cumulated vsize (KiB) 751640
[startup+564.202 s]
/proc/loadavg: 2.00 1.85 1.12 3/73 13352
/proc/meminfo: memFree=381488/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=751640 CPUtime=559.89
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194304 282217 0 0 0 55760 229 0 0 25 0 1 0 1982941199 769679360 146981 996147200 134512640 134990860 4294956112 18446744073709551615 134966946 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 187910 146981 186 116 0 187421 0
Current children cumulated CPU time (s) 559.89
Current children cumulated vsize (KiB) 751640
[startup+564.302 s]
/proc/loadavg: 2.00 1.85 1.12 3/73 13352
/proc/meminfo: memFree=674992/2055920 swapFree=4180688/4192956
[pid=13351] ppid=13349 vsize=0 CPUtime=559.98
/proc/13351/stat : 13351 (bprolog) R 13349 13351 12943 0 -1 4194308 282222 0 1 0 55765 233 0 0 25 0 1 0 1982941199 0 0 996147200 0 0 0 0 0 0 0 4096 2 0 0 0 17 1 0 0
/proc/13351/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 559.98
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 564.352
CPU time (s): 560.038
CPU user time (s): 557.653
CPU system time (s): 2.38464
CPU usage (%): 99.2355
Max. virtual memory (cumulated for all children) (KiB): 751640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 557.653
system time used= 2.38464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282222
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 11869
runsolver used 0.569913 second user time and 1.52177 second system time
The end
Begin job on node41 at 2008-07-03 01:01:22
IDJOB=1047352
IDBENCH=54143
IDSOLVER=347
FILE ID=node41/1047352-1215039682
PBS_JOBID= 7875093
Free space on /tmp= 66196 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/bddLarge/normalized-bdd-21-2713-15-79-30_ext.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1047352-1215039682/watcher-1047352-1215039682 -o /tmp/evaluation-result-1047352-1215039682/solver-1047352-1215039682 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1047352-1215039682 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f4b0831cfbfe50123ce0653823b7d047
RANDOM SEED=1484382318
node41.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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: 972432 kB
Buffers: 31428 kB
Cached: 176176 kB
SwapCached: 6596 kB
Active: 933972 kB
Inactive: 93568 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 972432 kB
SwapTotal: 4192956 kB
SwapFree: 4180688 kB
Dirty: 5352 kB
Writeback: 0 kB
Mapped: 827196 kB
Slab: 40008 kB
Committed_AS: 4285284 kB
PageTables: 3252 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= 66192 MiB
End job on node41 at 2008-07-03 01:10:46