0.00/0.00 c CirCUs release 2.0 (compiled 25-Mar-09 at 4:46 PM)
0.00/0.00 c Eliminate time : 0
272.40/272.54 c CNF read time : 0
272.40/272.54 c CNF solve time : 272.44
272.40/272.54 c Memory usage : 15.2148 MB
272.40/272.54 c Restart : 936
272.40/272.54 c Decisions : random(15824), heuristic(882627), history(0/0)
272.40/272.54 c Implications : 41462143
272.40/272.54 c Forced Restart : 0
272.40/272.54 c Polarity Change : 480
272.40/272.54 c Learned clasues : 28628 out of 758077
272.40/272.54 c Learned literals : 501319 out of 14420296
272.40/272.54 c Number of first UIP : 189779 out of 758077
272.40/272.54 c Number of simplify : 0
272.40/272.54 c Number of continuous distill : 377
272.40/272.54 c Average depth of OTS : 6
272.40/272.54 c Average depth of additional conflict : 20
272.40/272.54 c Saved conflict clasues : 127
272.40/272.54 c Saved conflict literals : 2207
272.40/272.54 c Additional conflict clauses : 24656
272.40/272.54 c Additional conflict literals : 342172
272.40/272.54 c Additional conflict analysis : 122267
272.40/272.54 s SATISFIABLE
272.40/272.54 v -1 2 3 4 5 -6 7 8 9 -10
272.40/272.54 v 11 -12 -13 -14 -15 16 -17 18 19 -20
272.40/272.54 v -21 -22 -23 24 25 26 27 28 29 30
272.40/272.54 v 31 32 -33 -34 35 -36 37 38 39 -40
272.40/272.54 v 41 42 -43 -44 -45 46 -47 -48 49 -50
272.40/272.54 v 51 -52 -53 -54 -55 56 57 -58 -59 -60
272.40/272.54 v 61 -62 -63 64 65 -66 67 -68 -69 -70
272.40/272.54 v -71 -72 -73 -74 -75 76 77 -78 -79 -80
272.40/272.54 v 81 -82 -83 84 -85 -86 -87 88 89 90
272.40/272.54 v -91 -92 -93 94 95 96 97 98 -99 -100
272.40/272.54 v 101 102 -103 -104 -105 -106 -107 108 109 -110
272.40/272.54 v 111 -112 -113 114 -115 116 -117 118 119 -120
272.40/272.54 v 121 -122 123 124 -125 126 -127 128 129 -130
272.40/272.54 v -131 -132 133 -134 135 -136 137 -138 -139 140
272.40/272.54 v -141 -142 143 -144 145 -146 147 148 -149 -150
272.40/272.54 v 151 152 -153 154 155 156 157 158 159 160
272.40/272.54 v -161 162 -163 164 165 166 -167 -168 -169 -170
272.40/272.54 v -171 172 173 174 175 176 -177 -178 179 -180
272.40/272.54 v 181 -182 -183 184 -185 -186 187 188 -189 190
272.40/272.54 v 191 -192 193 -194 195 -196 197 198 -199 200
272.40/272.54 v 201 202 -203 204 -205 206 207 -208 -209 210
272.40/272.54 v -211 -212 213 214 -215 216 217 -218 219 -220
272.40/272.54 v 221 -222 -223 -224 225 226 227 -228 -229 -230
272.40/272.54 v -231 -232 -233 -234 -235 236 237 238 239 -240
272.40/272.54 v -241 -242 243 244 -245 -246 -247 -248 249 -250
272.40/272.54 v -251 -252 -253 -254 255 -256 -257 -258 259 -260
272.40/272.54 v 261 -262 263 -264 265 266 -267 -268 -269 -270
272.40/272.54 v -271 272 273 -274 -275 -276 277 278 -279 -280
272.40/272.54 v -281 -282 -283 -284 -285 286 287 288 -289 -290
272.40/272.54 v -291 -292 293 294 -295 296 -297 -298 299 -300
272.40/272.54 v -301 -302 -303 -304 -305 306 307 -308 309 -310
272.40/272.54 v 311 312 -313 -314 -315 -316 317 318 319 320
272.40/272.54 v 321 -322 -323 324 325 326 327 328 329 -330
272.40/272.54 v -331 -332 -333 -334 335 -336 -337 -338 -339 -340
272.40/272.54 v -341 342 -343 344 345 -346 347 348 -349 -350
272.40/272.54 v -351 -352 353 354 -355 356 357 -358 -359 360
272.40/272.54 v 0
runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1524629-1238598929/watcher-1524629-1238598929 -o /tmp/evaluation-result-1524629-1238598929/solver-1524629-1238598929 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/CirCUs HOME/instance-1524629-1238598929.cnf -t 1200
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): 1800 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: 1.00 1.00 1.11 2/64 29967
/proc/meminfo: memFree=1298072/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=1312 CPUtime=0
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 134 0 0 0 0 0 0 0 20 0 1 120000 898484386 1343488 119 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 328 119 70 173 0 153 0
[startup+0.101299 s]
/proc/loadavg: 1.00 1.00 1.11 2/64 29967
/proc/meminfo: memFree=1298072/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=1572 CPUtime=0.09
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 220 0 0 0 9 0 0 0 20 0 1 120000 898484386 1609728 204 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 393 204 89 173 0 218 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1572
[startup+0.201313 s]
/proc/loadavg: 1.00 1.00 1.11 2/64 29967
/proc/meminfo: memFree=1298072/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=1572 CPUtime=0.19
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 243 0 0 0 19 0 0 0 21 0 1 120000 898484386 1609728 227 1992294400 134512640 135224549 4294956208 18446744073709551615 134632717 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 393 227 89 173 0 218 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1572
[startup+0.301327 s]
/proc/loadavg: 1.00 1.00 1.11 2/64 29967
/proc/meminfo: memFree=1298072/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=1704 CPUtime=0.29
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 264 0 0 0 29 0 0 0 22 0 1 120000 898484386 1744896 248 1992294400 134512640 135224549 4294956208 18446744073709551615 134595315 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 426 248 89 173 0 251 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1704
[startup+0.701387 s]
/proc/loadavg: 1.00 1.00 1.11 2/64 29967
/proc/meminfo: memFree=1298072/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=1968 CPUtime=0.69
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 329 0 0 0 69 0 0 0 25 0 1 120000 898484386 2015232 313 1992294400 134512640 135224549 4294956208 18446744073709551615 134595533 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 492 313 89 173 0 317 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1968
[startup+1.5015 s]
/proc/loadavg: 1.00 1.00 1.11 2/65 29968
/proc/meminfo: memFree=1296976/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=2232 CPUtime=1.49
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 398 0 0 0 149 0 0 0 25 0 1 120000 898484386 2285568 382 1992294400 134512640 135224549 4294956208 18446744073709551615 134595360 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 558 382 89 173 0 383 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2232
[startup+3.10174 s]
/proc/loadavg: 1.00 1.00 1.11 2/65 29968
/proc/meminfo: memFree=1296336/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=2908 CPUtime=3.09
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 545 0 0 0 309 0 0 0 25 0 1 120000 898484386 2977792 529 1992294400 134512640 135224549 4294956208 18446744073709551615 134595612 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 727 529 89 173 0 552 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2908
[startup+6.30121 s]
/proc/loadavg: 1.00 1.00 1.11 2/65 29968
/proc/meminfo: memFree=1295376/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=3700 CPUtime=6.29
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 768 0 0 0 629 0 0 0 25 0 1 120000 898484386 3788800 752 1992294400 134512640 135224549 4294956208 18446744073709551615 134595405 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 925 752 89 173 0 750 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3700
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.11 2/65 29968
/proc/meminfo: memFree=1294096/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=4900 CPUtime=12.68
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 1033 0 0 0 1268 0 0 0 25 0 1 120000 898484386 5017600 1017 1992294400 134512640 135224549 4294956208 18446744073709551615 134595571 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 1225 1017 89 173 0 1050 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 4900
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.11 2/65 29968
/proc/meminfo: memFree=1292752/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=6348 CPUtime=25.48
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 1421 0 0 0 2547 1 0 0 25 0 1 120000 898484386 6500352 1372 1992294400 134512640 135224549 4294956208 18446744073709551615 134631395 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 1587 1372 89 173 0 1412 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 6348
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.10 2/65 29968
/proc/meminfo: memFree=1290960/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=8100 CPUtime=51.07
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 1865 0 0 0 5106 1 0 0 25 0 1 120000 898484386 8294400 1816 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 2025 1816 89 173 0 1850 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8100
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 29968
/proc/meminfo: memFree=1288848/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=10272 CPUtime=102.26
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 2383 0 0 0 10224 2 0 0 25 0 1 120000 898484386 10518528 2334 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 2568 2334 89 173 0 2393 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 10272
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.08 2/65 29968
/proc/meminfo: memFree=1287120/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=12352 CPUtime=162.24
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 2885 0 0 0 16221 3 0 0 25 0 1 120000 898484386 12648448 2771 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 3088 2771 89 173 0 2913 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 12352
[startup+222.306 s]
/proc/loadavg: 1.06 1.01 1.08 2/65 29968
/proc/meminfo: memFree=1285008/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=14288 CPUtime=222.23
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 3397 0 0 0 22219 4 0 0 25 0 1 120000 898484386 14630912 3283 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 3572 3283 89 173 0 3397 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 14288
Solver just ended. Dumping a history of the last processes samples
[startup+230.401 s]
/proc/loadavg: 1.05 1.01 1.08 2/65 29968
/proc/meminfo: memFree=1285008/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=14288 CPUtime=230.32
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 3397 0 0 0 23028 4 0 0 25 0 1 120000 898484386 14630912 3283 1992294400 134512640 135224549 4294956208 18446744073709551615 134632717 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 3572 3283 89 173 0 3397 0
Current children cumulated CPU time (s) 230.32
Current children cumulated vsize (KiB) 14288
[startup+256.002 s]
/proc/loadavg: 1.03 1.01 1.08 2/65 29968
/proc/meminfo: memFree=1284944/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=14624 CPUtime=255.91
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 3448 0 0 0 25587 4 0 0 25 0 1 120000 898484386 14974976 3334 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 3656 3334 89 173 0 3481 0
Current children cumulated CPU time (s) 255.91
Current children cumulated vsize (KiB) 14624
[startup+262.402 s]
/proc/loadavg: 1.03 1.01 1.08 2/65 29968
/proc/meminfo: memFree=1284688/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=14784 CPUtime=262.31
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 3491 0 0 0 26227 4 0 0 25 0 1 120000 898484386 15138816 3377 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 3696 3377 89 173 0 3521 0
Current children cumulated CPU time (s) 262.31
Current children cumulated vsize (KiB) 14784
[startup+268.802 s]
/proc/loadavg: 1.02 1.01 1.08 2/65 29968
/proc/meminfo: memFree=1283920/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=15444 CPUtime=268.7
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 3681 0 0 0 26866 4 0 0 25 0 1 120000 898484386 15814656 3567 1992294400 134512640 135224549 4294956208 18446744073709551615 134595530 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 3861 3567 89 173 0 3686 0
Current children cumulated CPU time (s) 268.7
Current children cumulated vsize (KiB) 15444
[startup+270.402 s]
/proc/loadavg: 1.02 1.01 1.08 2/65 29968
/proc/meminfo: memFree=1283792/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=15576 CPUtime=270.3
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 3703 0 0 0 27026 4 0 0 25 0 1 120000 898484386 15949824 3589 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 3894 3589 89 173 0 3719 0
Current children cumulated CPU time (s) 270.3
Current children cumulated vsize (KiB) 15576
[startup+271.201 s]
/proc/loadavg: 1.02 1.01 1.08 2/65 29968
/proc/meminfo: memFree=1283792/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=15576 CPUtime=271.1
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 3703 0 0 0 27106 4 0 0 25 0 1 120000 898484386 15949824 3589 1992294400 134512640 135224549 4294956208 18446744073709551615 134585017 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 3894 3589 89 173 0 3719 0
Current children cumulated CPU time (s) 271.1
Current children cumulated vsize (KiB) 15576
[startup+272.001 s]
/proc/loadavg: 1.02 1.01 1.08 2/65 29968
/proc/meminfo: memFree=1283792/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=15576 CPUtime=271.9
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 3703 0 0 0 27186 4 0 0 25 0 1 120000 898484386 15949824 3589 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 3894 3589 89 173 0 3719 0
Current children cumulated CPU time (s) 271.9
Current children cumulated vsize (KiB) 15576
[startup+272.401 s]
/proc/loadavg: 1.02 1.01 1.08 2/65 29968
/proc/meminfo: memFree=1283792/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=15576 CPUtime=272.3
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 3703 0 0 0 27226 4 0 0 25 0 1 120000 898484386 15949824 3589 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 3894 3589 89 173 0 3719 0
Current children cumulated CPU time (s) 272.3
Current children cumulated vsize (KiB) 15576
[startup+272.501 s]
/proc/loadavg: 1.02 1.01 1.08 2/65 29968
/proc/meminfo: memFree=1283792/2055920 swapFree=4178260/4192956
[pid=29967] ppid=29965 vsize=15576 CPUtime=272.4
/proc/29967/stat : 29967 (CirCUs) R 29965 29967 29063 0 -1 4194304 3703 0 0 0 27236 4 0 0 25 0 1 120000 898484386 15949824 3589 1992294400 134512640 135224549 4294956208 18446744073709551615 134632717 0 0 4096 8192 0 0 0 17 1 0 0
/proc/29967/statm: 3894 3589 89 173 0 3719 0
Current children cumulated CPU time (s) 272.4
Current children cumulated vsize (KiB) 15576
Child status: 0
Real time (s): 272.548
CPU time (s): 272.458
CPU user time (s): 272.408
CPU system time (s): 0.049992
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 15576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 272.408
system time used= 0.049992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3708
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= 1
involuntary context switches= 264
runsolver used 0.212967 second user time and 0.561914 second system time
The end
Begin job on node39 at 2009-04-01 17:15:29
IDJOB=1524629
IDBENCH=70744
IDSOLVER=544
FILE ID=node39/1524629-1238598929
PBS_JOBID= 9068318
Free space on /tmp= 66252 MiB
SOLVER NAME= CircUs 2009-03-23
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/360/unif-k3-r4.25-v360-c1530-S1826927554-087.cnf
COMMAND LINE= HOME/CirCUs BENCHNAME -t TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1524629-1238598929/watcher-1524629-1238598929 -o /tmp/evaluation-result-1524629-1238598929/solver-1524629-1238598929 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/CirCUs HOME/instance-1524629-1238598929.cnf -t 1200
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0b7c656709bcc63999a07f86368ab57c
RANDOM SEED=1021201734
node39.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.285
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.285
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: 1298488 kB
Buffers: 98636 kB
Cached: 559596 kB
SwapCached: 8168 kB
Active: 231824 kB
Inactive: 436364 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1298488 kB
SwapTotal: 4192956 kB
SwapFree: 4178260 kB
Dirty: 1080 kB
Writeback: 0 kB
Mapped: 16740 kB
Slab: 75536 kB
Committed_AS: 2516816 kB
PageTables: 1188 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= 66252 MiB
End job on node39 at 2009-04-01 17:20:02