0.00/0.00
0.00/0.02 c Computed by /tmp/evaluation/299555-1171873877/kcnfs-2004 V. 03/02/12
0.00/0.02 c Input file : '/tmp/evaluation/299555-1171873877/instance-299555-1171873877.cnf' (adding resolvants)
148.69/148.71 c [650 variables, 2769 clauses, ratio 4.26, mean occ 6, 3-SAT]
148.69/148.71 s SATISFIABLE
148.69/148.71 v 13 -275 -324 396 442
148.69/148.71 v -560 -625 363 -385 -208
148.69/148.71 v 224 108 -551 417 -204
148.69/148.71 v -21 301 -629 176 645
148.69/148.71 v -610 -649 413 628 -185
148.69/148.71 v 495 -379 336 -611 72
148.69/148.71 v 349 68 260 -125 -34
148.69/148.71 v -353 73 -6 -579 -162
148.69/148.71 v 370 -509 521 632 184
148.69/148.71 v -179 390 -397 471 570
148.69/148.71 v 42 -622 -192 590 -245
148.69/148.71 v 26 -518 233 -446 -172
148.69/148.71 v -57 542 174 -454 -300
148.69/148.71 v 398 315 -492 544 -286
148.69/148.71 v 578 11 596 153 -621
148.69/148.71 v -400 -135 371 -499 -235
148.69/148.71 v 354 -388 -167 63 -140
148.69/148.71 v -458 65 583 485 575
148.69/148.71 v -558 -382 497 -41 -573
148.69/148.71 v 565 49 -44 -581 -459
148.69/148.71 v 225 -563 91 201 -448
148.69/148.71 v -14 -214 -588 -299 294
148.69/148.71 v 56 190 43 463 92
148.69/148.71 v -9 -425 373 360 221
148.69/148.71 v 203 455 319 -145 -274
148.69/148.71 v -467 -480 -605 415 298
148.69/148.71 v -359 601 45 -71 -635
148.69/148.71 v -321 -528 472 -98 -466
148.69/148.71 v 496 332 -51 177 530
148.69/148.71 v 209 -107 322 -320 -641
148.69/148.71 v -598 -78 69 121 341
148.69/148.71 v 159 -419 -489 395 116
148.69/148.71 v 251 131 -143 317 -30
148.69/148.71 v 75 402 406 -526 -493
148.69/148.71 v -639 -561 508 503 -97
148.69/148.71 v 556 -93 447 109 -592
148.69/148.71 v 414 -53 4 -331 229
148.69/148.71 v -614 512 178 282 -205
148.69/148.71 v 562 -533 268 487 577
148.69/148.71 v -600 615 -236 313 -564
148.69/148.71 v -2 113 -483 33 620
148.69/148.71 v -520 -37 305 529 252
148.69/148.71 v -134 112 -96 40 -507
148.69/148.71 v 311 -157 -222 100 -362
148.69/148.71 v 407 -377 39 118 -84
148.69/148.71 v 141 117 146 -144 156
148.69/148.71 v -58 -216 -569 -247 62
148.69/148.71 v -552 -155 288 -323 -519
148.69/148.71 v 170 -1 -220 609 452
148.69/148.71 v -538 -105 18 55 -405
148.69/148.71 v -634 20 372 -616 343
148.69/148.71 v -241 -249 -386 -347 86
148.69/148.71 v 17 31 -250 -257 389
148.69/148.71 v 290 -265 27 -554 -124
148.69/148.71 v -160 35 -70 158 333
148.69/148.71 v 453 337 -291 226 -643
148.69/148.71 v 151 285 -276 5 10
148.69/148.71 v -165 195 -293 404 -594
148.69/148.71 v -122 -365 256 -297 586
148.69/148.71 v -342 -468 -607 -589 -348
148.69/148.71 v -647 -308 -515 -266 -246
148.69/148.71 v -595 339 644 81 626
148.69/148.71 v -602 -429 23 -89 -566
148.69/148.71 v -525 88 -369 431 15
148.69/148.71 v 387 -574 -640 -277 350
148.69/148.71 v 234 -186 -364 230 -3
148.69/148.71 v -152 -547 228 -206 289
148.69/148.71 v 646 189 -355 -312 -328
148.69/148.71 v 498 -304 -477 -24 -199
148.69/148.71 v -166 215 -130 59 516
148.69/148.71 v 352 524 -340 -248 142
148.69/148.71 v -211 401 267 -479 -358
148.69/148.71 v -218 504 -111 243 316
148.69/148.71 v -571 197 423 550 287
148.69/148.71 v -94 -67 314 28 506
148.69/148.71 v -475 531 -128 207 231
148.69/148.71 v -150 -593 -139 572 110
148.69/148.71 v 138 618 85 272 428
148.69/148.71 v -494 7 -599 -137 -375
148.69/148.71 v -432 -585 624 318 -603
148.69/148.71 v 83 -523 -642 555 -451
148.69/148.71 v 103 505 -335 -403 -623
148.69/148.71 v -200 478 420 238 163
148.69/148.71 v -416 278 -367 -502 546
148.69/148.71 v -36 -584 -132 -484 -264
148.69/148.71 v -346 280 -183 486 411
148.69/148.71 v 587 345 309 537 -136
148.69/148.71 v 61 -557 77 -361 -462
148.69/148.71 v 334 633 -460 -292 -213
148.69/148.71 v 465 -212 310 -490 604
148.69/148.71 v -240 -254 380 168 -296
148.69/148.71 v 284 8 -474 -52 -90
148.69/148.71 v -87 95 427 -127 202
148.69/148.71 v 613 147 -399 -470 -568
148.69/148.71 v 327 115 48 99 445
148.69/148.71 v -374 -510 -261 283 383
148.69/148.71 v 76 534 422 -457 -351
148.69/148.71 v 307 -444 -532 263 -187
148.69/148.71 v 19 435 -476 535 -239
148.69/148.71 v 394 237 -344 -421 -536
148.69/148.71 v -424 456 -514 539 -548
148.69/148.71 v -501 617 12 -393 188
148.69/148.71 v -281 232 -517 -408 -46
148.69/148.71 v 161 -191 -271 255 -606
148.69/148.71 v -82 -491 -376 -338 175
148.69/148.71 v 443 650 -79 -22 -104
148.69/148.71 v 591 330 -449 631 -164
148.69/148.71 v 173 -326 -540 392 -559
148.69/148.71 v 545 -500 227 -259 473
148.69/148.71 v 638 -434 527 50 522
148.69/148.71 v -481 -511 -66 -426 368
148.69/148.71 v 549 -29 181 436 -149
148.69/148.71 v -553 -210 378 441 -295
148.69/148.71 v 608 -418 430 32 193
148.69/148.71 v 74 461 148 -182 25
148.69/148.71 v -64 -464 -543 -154 270
148.69/148.71 v 273 279 -303 306 325
148.69/148.71 v 329 -356 357 381 -391
148.69/148.71 v 409 410 -412 -433 437
148.69/148.71 v 438 -439 440 -450 -469
148.69/148.71 v -482 488 513 541 -567
148.69/148.71 v 576 -580 582 597 -612
148.69/148.71 v 619 627 630 636 637
148.69/148.71 v -648 -129 16 38 -47
148.69/148.71 v 54 60 101 106 114
148.69/148.71 v 119 120 123 -126 133
148.69/148.71 v 169 171 180 194 196
148.69/148.71 v -198 -217 219 223 242
148.69/148.71 v 244 253 258 262 -269
148.69/148.71 v 302 366 384 80 0
148.69/148.71 c Computation time : 148.710 seconds
148.69/148.71 c Execution time : 148.730 seconds
148.69/148.71 c Size of search tree : 193164 nodes
148.69/148.71
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-299555-1171873877 -o ROOT/results/node16/solver-299555-1171873877 -C 1200 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/299555-1171873877/kcnfs-2004 /tmp/evaluation/299555-1171873877/instance-299555-1171873877.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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 27805
/proc/meminfo: memFree=952528/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=16108 CPUtime=0
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 116 0 0 0 0 0 0 0 18 0 1 0 207341998 16494592 96 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134614467 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4027 96 38 107 0 3916 0
[startup+0.107356 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 27805
/proc/meminfo: memFree=952528/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17008 CPUtime=0.1
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 415 0 0 0 10 0 0 0 18 0 1 0 207341998 17416192 394 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134544920 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4252 394 60 107 0 4141 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17008
[startup+0.515309 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 27805
/proc/meminfo: memFree=952528/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=0.51
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 425 0 0 0 51 0 0 0 21 0 1 0 207341998 17420288 404 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134528557 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 404 61 107 0 4142 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 17012
[startup+1.33821 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 27806
/proc/meminfo: memFree=951048/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=1.33
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 425 0 0 0 133 0 0 0 25 0 1 0 207341998 17420288 404 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134530295 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 404 61 107 0 4142 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 17012
[startup+2.97403 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 27806
/proc/meminfo: memFree=950920/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=2.97
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 425 0 0 0 297 0 0 0 25 0 1 0 207341998 17420288 404 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134577616 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 404 61 107 0 4142 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 17012
[startup+6.25265 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 27806
/proc/meminfo: memFree=950736/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=6.25
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 425 0 0 0 625 0 0 0 25 0 1 0 207341998 17420288 404 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134577568 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 404 61 107 0 4142 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 17012
[startup+12.7049 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 27806
/proc/meminfo: memFree=950744/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=12.7
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 425 0 0 0 1270 0 0 0 25 0 1 0 207341998 17420288 404 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134528512 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 404 61 107 0 4142 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 17012
[startup+25.6064 s]
/proc/loadavg: 0.95 0.97 0.99 2/78 27806
/proc/meminfo: memFree=950808/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=25.6
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 425 0 0 0 2560 0 0 0 25 0 1 0 207341998 17420288 404 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134565810 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 404 61 107 0 4142 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 17012
[startup+51.2105 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 27806
/proc/meminfo: memFree=950808/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=51.2
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 425 0 0 0 5120 0 0 0 25 0 1 0 207341998 17420288 404 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134530806 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 404 61 107 0 4142 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 17012
[startup+102.413 s]
/proc/loadavg: 0.98 0.97 0.99 3/78 27806
/proc/meminfo: memFree=950744/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=102.4
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 426 0 0 0 10240 0 0 0 25 0 1 0 207341998 17420288 405 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134528112 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (KiB) 17012
Solver just ended. Dumping a history of the last processes samples
[startup+104.874 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 27806
/proc/meminfo: memFree=950744/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=104.86
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 426 0 0 0 10486 0 0 0 25 0 1 0 207341998 17420288 405 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134528812 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 104.86
Current children cumulated vsize (KiB) 17012
[startup+131.088 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27806
/proc/meminfo: memFree=950744/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=131.07
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 426 0 0 0 13107 0 0 0 25 0 1 0 207341998 17420288 405 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134528195 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 131.07
Current children cumulated vsize (KiB) 17012
[startup+137.642 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27806
/proc/meminfo: memFree=950744/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=137.63
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 426 0 0 0 13763 0 0 0 25 0 1 0 207341998 17420288 405 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134577585 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 137.63
Current children cumulated vsize (KiB) 17012
[startup+144.194 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27806
/proc/meminfo: memFree=950744/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=144.18
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 426 0 0 0 14418 0 0 0 25 0 1 0 207341998 17420288 405 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134531814 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 144.18
Current children cumulated vsize (KiB) 17012
[startup+145.834 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27806
/proc/meminfo: memFree=950744/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=145.82
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 426 0 0 0 14582 0 0 0 25 0 1 0 207341998 17420288 405 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134529156 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 145.82
Current children cumulated vsize (KiB) 17012
[startup+147.469 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27806
/proc/meminfo: memFree=950744/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=147.45
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 426 0 0 0 14745 0 0 0 25 0 1 0 207341998 17420288 405 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134529839 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 147.45
Current children cumulated vsize (KiB) 17012
[startup+148.291 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27806
/proc/meminfo: memFree=950744/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=148.28
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 426 0 0 0 14828 0 0 0 25 0 1 0 207341998 17420288 405 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134531271 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 148.28
Current children cumulated vsize (KiB) 17012
[startup+148.699 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27806
/proc/meminfo: memFree=950744/2055920 swapFree=4192812/4192956
[pid=27805] ppid=27803 vsize=17012 CPUtime=148.69
/proc/27805/stat : 27805 (kcnfs-2004) R 27803 27805 26970 0 -1 0 426 0 0 0 14869 0 0 0 25 0 1 0 207341998 17420288 405 18446744073709551615 134512640 134953336 4294956624 18446744073709551615 134533047 0 0 4096 0 0 0 0 17 1 0 0
/proc/27805/statm: 4253 405 61 107 0 4142 0
Current children cumulated CPU time (s) 148.69
Current children cumulated vsize (KiB) 17012
Child status: 10
Real time (s): 148.72
CPU time (s): 148.715
CPU user time (s): 148.708
CPU system time (s): 0.006998
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 17012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 148.708
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= 429
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= 7
involuntary context switches= 157
runsolver used 0.165974 second user time and 0.351946 second system time
The end
Begin job on node16 on Mon Feb 19 08:31:17 UTC 2007
IDJOB= 299555
IDBENCH= 20013
IDSOLVER= 114
FILE ID= node16/299555-1171873877
PBS_JOBID= 3839413
Free space on /tmp= 66547 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/299555-1171873877/kcnfs-2004 /tmp/evaluation/299555-1171873877/instance-299555-1171873877.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-299555-1171873877 -o ROOT/results/node16/solver-299555-1171873877 -C 1200 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/299555-1171873877/kcnfs-2004 /tmp/evaluation/299555-1171873877/instance-299555-1171873877.cnf
META MD5SUM SOLVER= 23f87ccf1c743ff5b6146b444e216cd3
MD5SUM BENCH= 53b587a5b98db42d3f124ef838f3e04f
RANDOM SEED= 696593210
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node16.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.281
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.281
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: 952936 kB
Buffers: 69256 kB
Cached: 900628 kB
SwapCached: 0 kB
Active: 354976 kB
Inactive: 668456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 952936 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3212 kB
Writeback: 0 kB
Mapped: 72424 kB
Slab: 65216 kB
Committed_AS: 937940 kB
PageTables: 1720 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= 66547 MiB
End job on node16 on Mon Feb 19 08:33:46 UTC 2007