0.00/0.00
0.00/0.02 c Computed by /tmp/evaluation/426833-1177829371/kcnfs-2004 V. 03/02/12
0.00/0.02 c Input file : '/tmp/evaluation/426833-1177829371/instance-426833-1177829371.cnf' (adding resolvants)
148.64/148.78 c [650 variables, 2769 clauses, ratio 4.26, mean occ 6, 3-SAT]
148.64/148.78 s SATISFIABLE
148.64/148.78 v 13 -275 -324 396 442
148.64/148.79 v -560 -625 363 -385 -208
148.64/148.79 v 224 108 -551 417 -204
148.64/148.79 v -21 301 -629 176 645
148.64/148.79 v -610 -649 413 628 -185
148.64/148.79 v 495 -379 336 -611 72
148.64/148.79 v 349 68 260 -125 -34
148.64/148.79 v -353 73 -6 -579 -162
148.64/148.79 v 370 -509 521 632 184
148.64/148.79 v -179 390 -397 471 570
148.64/148.79 v 42 -622 -192 590 -245
148.64/148.79 v 26 -518 233 -446 -172
148.64/148.79 v -57 542 174 -454 -300
148.64/148.79 v 398 315 -492 544 -286
148.64/148.79 v 578 11 596 153 -621
148.64/148.79 v -400 -135 371 -499 -235
148.64/148.79 v 354 -388 -167 63 -140
148.64/148.79 v -458 65 583 485 575
148.64/148.79 v -558 -382 497 -41 -573
148.64/148.79 v 565 49 -44 -581 -459
148.64/148.79 v 225 -563 91 201 -448
148.64/148.79 v -14 -214 -588 -299 294
148.64/148.79 v 56 190 43 463 92
148.64/148.79 v -9 -425 373 360 221
148.64/148.79 v 203 455 319 -145 -274
148.64/148.79 v -467 -480 -605 415 298
148.64/148.79 v -359 601 45 -71 -635
148.64/148.79 v -321 -528 472 -98 -466
148.64/148.79 v 496 332 -51 177 530
148.64/148.79 v 209 -107 322 -320 -641
148.64/148.79 v -598 -78 69 121 341
148.64/148.79 v 159 -419 -489 395 116
148.64/148.79 v 251 131 -143 317 -30
148.64/148.79 v 75 402 406 -526 -493
148.64/148.79 v -639 -561 508 503 -97
148.64/148.79 v 556 -93 447 109 -592
148.64/148.79 v 414 -53 4 -331 229
148.64/148.79 v -614 512 178 282 -205
148.64/148.79 v 562 -533 268 487 577
148.64/148.79 v -600 615 -236 313 -564
148.64/148.79 v -2 113 -483 33 620
148.64/148.79 v -520 -37 305 529 252
148.64/148.79 v -134 112 -96 40 -507
148.64/148.79 v 311 -157 -222 100 -362
148.64/148.79 v 407 -377 39 118 -84
148.64/148.79 v 141 117 146 -144 156
148.64/148.79 v -58 -216 -569 -247 62
148.64/148.79 v -552 -155 288 -323 -519
148.64/148.79 v 170 -1 -220 609 452
148.64/148.79 v -538 -105 18 55 -405
148.64/148.79 v -634 20 372 -616 343
148.64/148.79 v -241 -249 -386 -347 86
148.64/148.79 v 17 31 -250 -257 389
148.64/148.79 v 290 -265 27 -554 -124
148.64/148.79 v -160 35 -70 158 333
148.64/148.79 v 453 337 -291 226 -643
148.64/148.79 v 151 285 -276 5 10
148.64/148.79 v -165 195 -293 404 -594
148.64/148.79 v -122 -365 256 -297 586
148.64/148.79 v -342 -468 -607 -589 -348
148.64/148.79 v -647 -308 -515 -266 -246
148.64/148.79 v -595 339 644 81 626
148.64/148.79 v -602 -429 23 -89 -566
148.64/148.79 v -525 88 -369 431 15
148.64/148.79 v 387 -574 -640 -277 350
148.64/148.79 v 234 -186 -364 230 -3
148.64/148.79 v -152 -547 228 -206 289
148.64/148.79 v 646 189 -355 -312 -328
148.64/148.79 v 498 -304 -477 -24 -199
148.64/148.79 v -166 215 -130 59 516
148.64/148.79 v 352 524 -340 -248 142
148.64/148.79 v -211 401 267 -479 -358
148.64/148.79 v -218 504 -111 243 316
148.64/148.79 v -571 197 423 550 287
148.64/148.79 v -94 -67 314 28 506
148.64/148.79 v -475 531 -128 207 231
148.64/148.79 v -150 -593 -139 572 110
148.64/148.79 v 138 618 85 272 428
148.64/148.79 v -494 7 -599 -137 -375
148.64/148.79 v -432 -585 624 318 -603
148.64/148.79 v 83 -523 -642 555 -451
148.64/148.79 v 103 505 -335 -403 -623
148.64/148.79 v -200 478 420 238 163
148.64/148.79 v -416 278 -367 -502 546
148.64/148.79 v -36 -584 -132 -484 -264
148.64/148.79 v -346 280 -183 486 411
148.64/148.79 v 587 345 309 537 -136
148.64/148.79 v 61 -557 77 -361 -462
148.64/148.79 v 334 633 -460 -292 -213
148.64/148.79 v 465 -212 310 -490 604
148.64/148.79 v -240 -254 380 168 -296
148.64/148.79 v 284 8 -474 -52 -90
148.64/148.79 v -87 95 427 -127 202
148.64/148.79 v 613 147 -399 -470 -568
148.64/148.79 v 327 115 48 99 445
148.64/148.79 v -374 -510 -261 283 383
148.64/148.79 v 76 534 422 -457 -351
148.64/148.79 v 307 -444 -532 263 -187
148.64/148.79 v 19 435 -476 535 -239
148.64/148.79 v 394 237 -344 -421 -536
148.64/148.79 v -424 456 -514 539 -548
148.64/148.79 v -501 617 12 -393 188
148.64/148.79 v -281 232 -517 -408 -46
148.64/148.79 v 161 -191 -271 255 -606
148.64/148.79 v -82 -491 -376 -338 175
148.64/148.79 v 443 650 -79 -22 -104
148.64/148.79 v 591 330 -449 631 -164
148.64/148.79 v 173 -326 -540 392 -559
148.64/148.79 v 545 -500 227 -259 473
148.64/148.79 v 638 -434 527 50 522
148.64/148.79 v -481 -511 -66 -426 368
148.64/148.79 v 549 -29 181 436 -149
148.64/148.79 v -553 -210 378 441 -295
148.64/148.79 v 608 -418 430 32 193
148.64/148.79 v 74 461 148 -182 25
148.64/148.79 v -64 -464 -543 -154 270
148.64/148.79 v 273 279 -303 306 325
148.64/148.79 v 329 -356 357 381 -391
148.64/148.79 v 409 410 -412 -433 437
148.64/148.79 v 438 -439 440 -450 -469
148.64/148.79 v -482 488 513 541 -567
148.64/148.79 v 576 -580 582 597 -612
148.64/148.79 v 619 627 630 636 637
148.64/148.79 v -648 -129 16 38 -47
148.64/148.79 v 54 60 101 106 114
148.64/148.79 v 119 120 123 -126 133
148.64/148.79 v 169 171 180 194 196
148.64/148.79 v -198 -217 219 223 242
148.64/148.79 v 244 253 258 262 -269
148.64/148.79 v 302 366 384 80 0
148.64/148.79 c Computation time : 148.730 seconds
148.64/148.79 c Execution time : 148.750 seconds
148.64/148.79 c Size of search tree : 193164 nodes
148.64/148.79
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-426833-1177829371 -o ROOT/results/node13/solver-426833-1177829371 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/426833-1177829371/kcnfs-2004 /tmp/evaluation/426833-1177829371/instance-426833-1177829371.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 335
/proc/meminfo: memFree=1469056/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=16108 CPUtime=0
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 115 0 0 0 0 0 0 0 18 0 1 0 230854895 16494592 96 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134614467 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4027 96 38 107 0 3916 0
[startup+0.0407879 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 335
/proc/meminfo: memFree=1469056/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17008 CPUtime=0.03
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 412 0 0 0 3 0 0 0 18 0 1 0 230854895 17416192 392 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134578001 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4252 392 59 107 0 4141 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17008
[startup+0.1018 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 335
/proc/meminfo: memFree=1469056/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17008 CPUtime=0.09
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 414 0 0 0 9 0 0 0 18 0 1 0 230854895 17416192 394 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134544288 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4252 394 60 107 0 4141 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17008
[startup+0.301842 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 335
/proc/meminfo: memFree=1469056/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=0.29
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 424 0 0 0 29 0 0 0 19 0 1 0 230854895 17420288 404 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529156 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 404 61 107 0 4142 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17012
[startup+0.701929 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 335
/proc/meminfo: memFree=1469056/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=0.69
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 424 0 0 0 69 0 0 0 22 0 1 0 230854895 17420288 404 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528812 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 404 61 107 0 4142 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17012
[startup+1.5011 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 336
/proc/meminfo: memFree=1467576/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=1.49
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 424 0 0 0 149 0 0 0 25 0 1 0 230854895 17420288 404 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529773 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 404 61 107 0 4142 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17012
[startup+3.10245 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 336
/proc/meminfo: memFree=1467448/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=3.09
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 424 0 0 0 309 0 0 0 25 0 1 0 230854895 17420288 404 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577932 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 404 61 107 0 4142 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17012
[startup+6.30112 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 336
/proc/meminfo: memFree=1467448/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=6.29
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 424 0 0 0 629 0 0 0 25 0 1 0 230854895 17420288 404 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577592 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 404 61 107 0 4142 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17012
[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 336
/proc/meminfo: memFree=1467448/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=12.69
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 424 0 0 0 1269 0 0 0 25 0 1 0 230854895 17420288 404 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530089 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 404 61 107 0 4142 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17012
[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 336
/proc/meminfo: memFree=1467448/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=25.48
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 424 0 0 0 2548 0 0 0 25 0 1 0 230854895 17420288 404 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134533568 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 404 61 107 0 4142 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17012
[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 336
/proc/meminfo: memFree=1467448/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=51.07
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 424 0 0 0 5107 0 0 0 25 0 1 0 230854895 17420288 404 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528112 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 404 61 107 0 4142 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17012
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 336
/proc/meminfo: memFree=1467448/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=102.26
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 425 0 0 0 10226 0 0 0 25 0 1 0 230854895 17420288 405 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134566507 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 17012
Solver just ended. Dumping a history of the last processes samples
[startup+127.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 336
/proc/meminfo: memFree=1467512/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=127.84
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 425 0 0 0 12784 0 0 0 25 0 1 0 230854895 17420288 405 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531263 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 127.84
Current children cumulated vsize (KiB) 17012
[startup+140.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 336
/proc/meminfo: memFree=1467512/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=140.64
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 425 0 0 0 14064 0 0 0 25 0 1 0 230854895 17420288 405 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134566546 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 140.64
Current children cumulated vsize (KiB) 17012
[startup+143.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 336
/proc/meminfo: memFree=1467512/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=143.84
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 425 0 0 0 14384 0 0 0 25 0 1 0 230854895 17420288 405 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 143.84
Current children cumulated vsize (KiB) 17012
[startup+147.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 336
/proc/meminfo: memFree=1467512/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=147.04
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 425 0 0 0 14704 0 0 0 25 0 1 0 230854895 17420288 405 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134565756 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 147.04
Current children cumulated vsize (KiB) 17012
[startup+147.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 336
/proc/meminfo: memFree=1467512/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=147.84
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 425 0 0 0 14784 0 0 0 25 0 1 0 230854895 17420288 405 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134562736 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 147.84
Current children cumulated vsize (KiB) 17012
[startup+148.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 336
/proc/meminfo: memFree=1467512/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=148.24
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 425 0 0 0 14824 0 0 0 25 0 1 0 230854895 17420288 405 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134532953 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 148.24
Current children cumulated vsize (KiB) 17012
[startup+148.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 336
/proc/meminfo: memFree=1467512/2055920 swapFree=4159412/4192956
[pid=335] ppid=333 vsize=17012 CPUtime=148.64
/proc/335/stat : 335 (kcnfs-2004) R 333 335 31626 0 -1 0 425 0 0 0 14864 0 0 0 25 0 1 0 230854895 17420288 405 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530001 0 0 4096 0 0 0 0 17 1 0 0
/proc/335/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 148.64
Current children cumulated vsize (KiB) 17012
Child status: 10
Real time (s): 148.792
CPU time (s): 148.736
CPU user time (s): 148.729
CPU system time (s): 0.006998
CPU usage (%): 99.9627
Max. virtual memory (cumulated for all children) (KiB): 17012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 148.729
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 428
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= 228
runsolver used 0.118981 second user time and 0.315951 second system time
The end
Begin job on node13 on Sun Apr 29 06:49:31 UTC 2007
IDJOB= 426833
IDBENCH= 20013
IDSOLVER= 194
FILE ID= node13/426833-1177829371
PBS_JOBID= 4718230
Free space on /tmp= 66561 MiB
SOLVER NAME= KCNFS 2004
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v650/unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426833-1177829371/kcnfs-2004 /tmp/evaluation/426833-1177829371/instance-426833-1177829371.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-426833-1177829371 -o ROOT/results/node13/solver-426833-1177829371 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/426833-1177829371/kcnfs-2004 /tmp/evaluation/426833-1177829371/instance-426833-1177829371.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 53b587a5b98db42d3f124ef838f3e04f
RANDOM SEED= 123422981
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node13.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.259
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.259
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: 1469592 kB
Buffers: 44688 kB
Cached: 453140 kB
SwapCached: 12852 kB
Active: 340692 kB
Inactive: 180484 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1469592 kB
SwapTotal: 4192956 kB
SwapFree: 4159412 kB
Dirty: 3316 kB
Writeback: 0 kB
Mapped: 30256 kB
Slab: 50640 kB
Committed_AS: 6935100 kB
PageTables: 1872 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= 66561 MiB
End job on node13 on Sun Apr 29 06:52:00 UTC 2007