runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-300040-1171880978 -o ROOT/results/node42/solver-300040-1171880978 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/300040-1171880978/mxc /tmp/evaluation/300040-1171880978/instance-300040-1171880978.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/64 18407
/proc/meminfo: memFree=382616/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=1064 CPUtime=0
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 119 0 0 0 0 0 0 0 18 0 1 0 208053867 1089536 103 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134535046 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 266 103 57 122 0 140 0
[startup+0.107483 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18407
/proc/meminfo: memFree=382616/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=1204 CPUtime=0.1
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 188 0 0 0 10 0 0 0 18 0 1 0 208053867 1232896 170 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 301 170 67 122 0 175 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1204
[startup+0.515559 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18407
/proc/meminfo: memFree=382616/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=1336 CPUtime=0.51
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 228 0 0 0 51 0 0 0 21 0 1 0 208053867 1368064 210 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 334 210 67 122 0 208 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 1336
[startup+1.33572 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 18408
/proc/meminfo: memFree=381840/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=1468 CPUtime=1.33
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 258 0 0 0 133 0 0 0 25 0 1 0 208053867 1503232 240 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519232 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 367 240 67 122 0 241 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 1468
[startup+2.97303 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 18408
/proc/meminfo: memFree=381648/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=1588 CPUtime=2.97
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 287 0 0 0 297 0 0 0 25 0 1 0 208053867 1626112 269 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 397 269 67 122 0 271 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 1588
[startup+6.24965 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 18408
/proc/meminfo: memFree=381392/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=1868 CPUtime=6.24
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 336 0 0 0 624 0 0 0 25 0 1 0 208053867 1912832 318 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519297 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 467 318 67 122 0 341 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 1868
[startup+12.7049 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 18408
/proc/meminfo: memFree=381080/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=2116 CPUtime=12.69
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 397 0 0 0 1269 0 0 0 25 0 1 0 208053867 2166784 379 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 529 379 67 122 0 403 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2116
[startup+25.5063 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 18408
/proc/meminfo: memFree=380824/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=2348 CPUtime=25.49
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 464 0 0 0 2549 0 0 0 25 0 1 0 208053867 2404352 446 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134534799 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 587 446 67 122 0 461 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2348
[startup+51.1122 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 18408
/proc/meminfo: memFree=380440/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=2684 CPUtime=51.08
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 556 0 0 0 5108 0 0 0 25 0 1 0 208053867 2748416 538 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519927 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 671 538 67 122 0 545 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2684
[startup+102.32 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 18408
/proc/meminfo: memFree=379992/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=3124 CPUtime=102.27
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 662 0 0 0 10227 0 0 0 25 0 1 0 208053867 3198976 644 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519890 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 781 644 67 122 0 655 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3124
[startup+162.336 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18408
/proc/meminfo: memFree=379608/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=3548 CPUtime=162.27
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 759 0 0 0 16227 0 0 0 25 0 1 0 208053867 3633152 741 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134534259 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 887 741 67 122 0 761 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 3548
[startup+222.353 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18408
/proc/meminfo: memFree=379352/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=3732 CPUtime=222.26
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 804 0 0 0 22226 0 0 0 25 0 1 0 208053867 3821568 786 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134528451 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 933 786 67 122 0 807 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 3732
[startup+282.369 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18408
/proc/meminfo: memFree=379032/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=3972 CPUtime=282.26
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 874 0 0 0 28226 0 0 0 25 0 1 0 208053867 4067328 856 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519232 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 993 856 67 122 0 867 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 3972
[startup+342.385 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18408
/proc/meminfo: memFree=378968/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=4148 CPUtime=342.25
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 914 0 0 0 34225 0 0 0 25 0 1 0 208053867 4247552 896 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519261 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1037 896 67 122 0 911 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 4148
[startup+402.406 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18408
/proc/meminfo: memFree=378776/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=4224 CPUtime=402.25
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 944 0 0 0 40225 0 0 0 25 0 1 0 208053867 4325376 926 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134530040 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1056 926 67 122 0 930 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 4224
[startup+462.421 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18408
/proc/meminfo: memFree=378520/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=4464 CPUtime=462.25
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 999 0 0 0 46225 0 0 0 25 0 1 0 208053867 4571136 981 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1116 981 67 122 0 990 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 4464
[startup+522.436 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 18408
/proc/meminfo: memFree=378456/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=4664 CPUtime=522.25
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 1042 0 0 0 52224 1 0 0 25 0 1 0 208053867 4775936 1024 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1166 1024 67 122 0 1040 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 4664
[startup+582.454 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18408
/proc/meminfo: memFree=378264/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=4752 CPUtime=582.25
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 1069 0 0 0 58224 1 0 0 25 0 1 0 208053867 4866048 1051 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134530870 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1188 1051 67 122 0 1062 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 4752
[startup+642.476 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18410
/proc/meminfo: memFree=378200/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=4864 CPUtime=642.25
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 1087 0 0 0 64224 1 0 0 25 0 1 0 208053867 4980736 1069 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519311 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1216 1069 67 122 0 1090 0
Current children cumulated CPU time (s) 642.25
Current children cumulated vsize (KiB) 4864
[startup+702.488 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18410
/proc/meminfo: memFree=378008/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=5056 CPUtime=702.24
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 1139 0 0 0 70223 1 0 0 25 0 1 0 208053867 5177344 1121 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519927 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1264 1121 67 122 0 1138 0
Current children cumulated CPU time (s) 702.24
Current children cumulated vsize (KiB) 5056
[startup+762.504 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18410
/proc/meminfo: memFree=377944/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=5152 CPUtime=762.23
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 1163 0 0 0 76222 1 0 0 25 0 1 0 208053867 5275648 1145 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519605 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1288 1145 67 122 0 1162 0
Current children cumulated CPU time (s) 762.23
Current children cumulated vsize (KiB) 5152
[startup+822.523 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18410
/proc/meminfo: memFree=377880/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=5252 CPUtime=822.23
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 1189 0 0 0 82222 1 0 0 25 0 1 0 208053867 5378048 1171 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134529715 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1313 1171 67 122 0 1187 0
Current children cumulated CPU time (s) 822.23
Current children cumulated vsize (KiB) 5252
[startup+882.542 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18410
/proc/meminfo: memFree=377816/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=5252 CPUtime=882.22
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 1201 0 0 0 88221 1 0 0 25 0 1 0 208053867 5378048 1183 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519992 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1313 1183 67 122 0 1187 0
Current children cumulated CPU time (s) 882.22
Current children cumulated vsize (KiB) 5252
[startup+942.558 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18410
/proc/meminfo: memFree=377688/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=5324 CPUtime=942.22
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 1217 0 0 0 94221 1 0 0 25 0 1 0 208053867 5451776 1199 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1331 1199 67 122 0 1205 0
Current children cumulated CPU time (s) 942.22
Current children cumulated vsize (KiB) 5324
[startup+1002.57 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18410
/proc/meminfo: memFree=377688/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=5324 CPUtime=1002.21
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 1217 0 0 0 100220 1 0 0 25 0 1 0 208053867 5451776 1199 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519927 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1331 1199 67 122 0 1205 0
Current children cumulated CPU time (s) 1002.21
Current children cumulated vsize (KiB) 5324
[startup+1062.59 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18410
/proc/meminfo: memFree=377432/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=5652 CPUtime=1062.22
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 1286 0 0 0 106220 2 0 0 25 0 1 0 208053867 5787648 1268 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519311 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1413 1268 67 122 0 1287 0
Current children cumulated CPU time (s) 1062.22
Current children cumulated vsize (KiB) 5652
[startup+1122.61 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18410
/proc/meminfo: memFree=377304/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=5744 CPUtime=1122.21
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 1312 0 0 0 112219 2 0 0 25 0 1 0 208053867 5881856 1294 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134535377 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1436 1294 67 122 0 1310 0
Current children cumulated CPU time (s) 1122.21
Current children cumulated vsize (KiB) 5744
[startup+1182.63 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18410
/proc/meminfo: memFree=377304/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=5692 CPUtime=1182.21
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 1312 0 0 0 118219 2 0 0 25 0 1 0 208053867 5828608 1294 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519605 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1423 1294 67 122 0 1297 0
Current children cumulated CPU time (s) 1182.21
Current children cumulated vsize (KiB) 5692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.45 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18410
/proc/meminfo: memFree=377304/2055920 swapFree=4183424/4192956
[pid=18407] ppid=18405 vsize=5764 CPUtime=1200.03
/proc/18407/stat : 18407 (mxc) R 18405 18407 18350 0 -1 4194304 1323 0 0 0 120001 2 0 0 25 0 1 0 208053867 5902336 1305 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519229 0 0 4096 0 0 0 0 17 1 0 0
/proc/18407/statm: 1441 1305 67 122 0 1315 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 5764
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.45
CPU time (s): 1200.04
CPU user time (s): 1200.01
CPU system time (s): 0.023996
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 5804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.01
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1323
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= 1769
runsolver used 0.730888 second user time and 2.47862 second system time
The end
Begin job on node42 on Mon Feb 19 10:29:38 UTC 2007
IDJOB= 300040
IDBENCH= 20025
IDSOLVER= 107
FILE ID= node42/300040-1171880978
PBS_JOBID= 3839793
Free space on /tmp= 66563 MiB
SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v400/unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/300040-1171880978/mxc /tmp/evaluation/300040-1171880978/instance-300040-1171880978.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-300040-1171880978 -o ROOT/results/node42/solver-300040-1171880978 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/300040-1171880978/mxc /tmp/evaluation/300040-1171880978/instance-300040-1171880978.cnf
META MD5SUM SOLVER= fd459248d3e92e664505cc2f0f683bf4
MD5SUM BENCH= 9b938d3ce8a45ac3fb47963c51fbe49e
RANDOM SEED= 573959610
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node42.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.261
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.261
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: 383024 kB
Buffers: 53768 kB
Cached: 1491708 kB
SwapCached: 3904 kB
Active: 839100 kB
Inactive: 716168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 383024 kB
SwapTotal: 4192956 kB
SwapFree: 4183424 kB
Dirty: 764 kB
Writeback: 0 kB
Mapped: 15148 kB
Slab: 103708 kB
Committed_AS: 802084 kB
PageTables: 1408 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= 66563 MiB
End job on node42 on Mon Feb 19 10:49:41 UTC 2007