224.94/225.07 c MXC attempting /tmp/evaluation/426981-1177831332/instance-426981-1177831332.cnf
224.94/225.07 c 0 assignments made, starting to guess now
224.94/225.07 c ===================================[MXC]=====================================
224.94/225.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
224.94/225.07 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
224.94/225.07 c =============================================================================
224.94/225.07 c | 0 | 2052 6156 | 1000 0 0 nan | 0.000 % |
224.94/225.07 c | 100 | 2052 6156 | 1100 100 2007 20.1 | 0.000 % |
224.94/225.07 c | 250 | 2052 6156 | 1210 250 5082 20.3 | 0.000 % |
224.94/225.07 c | 476 | 2052 6156 | 1331 476 9404 19.8 | 0.000 % |
224.94/225.07 c | 814 | 2052 6156 | 1464 814 15020 18.5 | 0.000 % |
224.94/225.07 c | 1320 | 2052 6156 | 1610 1319 23676 17.9 | 0.000 % |
224.94/225.07 c | 2079 | 2052 6156 | 1771 1270 22193 17.5 | 0.000 % |
224.94/225.07 c | 3219 | 2052 6156 | 1948 1521 25967 17.1 | 0.000 % |
224.94/225.07 c | 4927 | 2052 6156 | 2143 1280 23814 18.6 | 0.000 % |
224.94/225.07 c | 7490 | 2052 6156 | 2357 1696 26073 15.4 | 0.000 % |
224.94/225.07 c | 11334 | 2052 6156 | 2593 2002 32670 16.3 | 0.000 % |
224.94/225.07 c | 17101 | 2052 6156 | 2853 2583 41633 16.1 | 0.000 % |
224.94/225.07 c | 25750 | 2052 6156 | 3138 2678 42253 15.8 | 0.000 % |
224.94/225.07 c | 38724 | 2052 6156 | 3452 3109 47683 15.3 | 0.000 % |
224.94/225.07 c | 58186 | 2052 6156 | 3797 1869 33938 18.2 | 0.000 % |
224.94/225.07 c | 87378 | 2052 6156 | 4177 2614 42593 16.3 | 0.000 % |
224.94/225.07 c | 131167 | 2052 6156 | 4594 2564 44436 17.3 | 0.000 % |
224.94/225.07 c | 196851 | 2052 6156 | 5054 3993 78837 19.7 | 0.000 % |
224.94/225.07 c | 295378 | 2052 6156 | 5559 4042 65489 16.2 | 0.000 % |
224.94/225.07 c | 443167 | 2052 6156 | 6115 4609 78490 17.0 | 0.000 % |
224.94/225.07 c | 664850 | 2052 6156 | 6727 3292 60438 18.4 | 0.000 % |
224.94/225.07 c | 997376 | 2052 6156 | 7400 6453 116569 18.1 | 0.000 % |
224.94/225.07 c | 1496165 | 2052 6156 | 8140 6093 120953 19.9 | 0.000 % |
224.94/225.07 c | 2244347 | 2052 6156 | 8954 5983 111337 18.6 | 0.000 % |
224.94/225.07 c 225.030s elapsed
224.94/225.07 c restarts: 23
224.94/225.07 c decisions: 3018284
224.94/225.07 c propagations: 235494103
224.94/225.07 c conflicts: 2522681
224.94/225.07 s SATISFIABLE
224.94/225.07 v -171 -414 -113 -406 -393 470 -527 -334 -225 -472 133 -336 599 525 535 441 143 -487 -213 -296 -11 316 95 -127 -82 80 602 163 -379 -507 -199 -227 103 374 505 38 -620 -283 -563 -423 256 537 -328 492 -559 117 329 211 98 341 7 420 -164 589 -22 584 456 -399 402 -466 561 -102 162 -253 -345 -318 59 434 -416 -350 -177 613 -388 254 -479 155 174 -353 400 -93 -536 491 478 -110 12 -179 -132 -184 -511 -114 194 -35 -440 502 -293 -624 140 389 -124 517 -413 618 -257 123 -583 513 327 280 482 -28 -119 141 -214 348 -522 217 58 475 -54 501 -367 45 264 285 368 483 -51 26 519 -18 166 -590 49 -480 234 -190 21 160 168 -223 -401 -208 218 -270 526 193 -72 -128 175 -355 31 569 409 180 540 500 572 34 490 -358 361 -426 -461 370 397 -568 118 -508 524 281 442 -181 -452 302 332 305 244 63 392 -571 -404 -493 407 -444 -354 -290 -268 -148 50 -187 -582 -425 -415 83 -533 66 191 195 -428 250 303 -48 -424 -6 -226 -266 380 142 62 -337 -551 -152 -239 601 -591 369 -156 122 282 -547 443 417 -429 528 -186 96 -245 221 -608 453 -134 -629 -87 185 -77 206 196 -37 484 -575 -317 481 -198 -325 391 -274 -616 258 -273 115 -228 -506 237 23 233 595 -243 149 -2 -249 -276 91 -576 263 489 286 344 -230 20 -411 176 -247 -486 -288 383 -238 550 39 -271 -403 -617 41 304 331 -73 -61 421 -275 -364 -530 -85 144 -261 -231 -17 -99 -104 307 410 549 299 170 -362 -349 147 -312 -310 -81 265 -464 586 606 539 207 371 -92 521 -357 -86 -448 469 -323 498 -529 603 19 -474 313 488 390 -129 130 76 -531 -97 564 -560 -580 -116 -523 29 241 321 -204 463 311 562 320 -504 546 105 579 -566 565 -455 -433 499 88 -47 -619 -70 235 74 -9 -71 -446 375 205 -67 -552 496 -445 -457 298 -14 366 5 542 520 -295 -1 107 -224 108 -333 592 44 451 338 -462 621 -377 -418 587 -339 -100 32 219 158 373 -267 -447 437 627 -567 -512 -79 -468 -381 578 -201 -408 622 -111 -473 68 -556 -161 -27 430 53 343 623 78 189 365 -600 -55 315 555 151 -532 614 16 -252 121 363 -558 215 625 -89 -412 125 40 534 255 -232 -272 3 -376 432 279 -210 398 209 -419 -126 -137 609 553 -384 -449 -262 541 -106 297 84 -476 -385 -554 -69 -183 -202 -330 450 405 485 -515 -538 360 -172 604 -610 510 -260 -628 65 -8 454 -543 -396 -43 15 431 494 64 -574 -459 324 -94 287 182 -259 -278 -518 -236 300 -30 212 -516 -438 216 4 -203 -577 200 269 -289 467 -251 -240 -188 477 -607 -109 -335 229 33 -242 -301 -435 -306 42 -46 -386 291 -277 -165 178 -351 626 -427 378 -139 -309 630 -548 -509 -319 -581 -120 -169 -56 -136 101 -197 -154 222 -36 -465 352 -145 -322 -326 -593 -356 308 -615 57 -248 -292 -594 138 220 -598 -596 -340 -284 -246 -159 -131 -314 -585 -359 -13 -395 -135 -611 -112 -52 -394 545 -150 -347 -495 342 439 -544 -24 -153 -471 -573 -146 -387 605 -167 -60 -503 -514 458 -372 -90 -157 -192 -382 -612 -436 -294 -597 -173 -557 -570 -10 -422 -346 -497 -460 -75 -25 -588 0
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-426981-1177831332 -o ROOT/results/node30/solver-426981-1177831332 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426981-1177831332/mxc /tmp/evaluation/426981-1177831332/instance-426981-1177831332.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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.36 1.08 1.02 3/77 5202
/proc/meminfo: memFree=1505344/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=1064 CPUtime=0
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 134 0 0 0 0 0 0 0 18 0 1 0 231048919 1089536 119 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519627 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 266 119 57 122 0 140 0
[startup+0.0599671 s]
/proc/loadavg: 1.36 1.08 1.02 3/77 5202
/proc/meminfo: memFree=1505344/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=1196 CPUtime=0.05
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 167 0 0 0 5 0 0 0 18 0 1 0 231048919 1224704 152 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 299 152 59 122 0 173 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1196
[startup+0.101969 s]
/proc/loadavg: 1.36 1.08 1.02 3/77 5202
/proc/meminfo: memFree=1505344/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=1204 CPUtime=0.09
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 189 0 0 0 9 0 0 0 18 0 1 0 231048919 1232896 172 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519229 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 301 172 67 122 0 175 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1204
[startup+0.301982 s]
/proc/loadavg: 1.36 1.08 1.02 3/77 5202
/proc/meminfo: memFree=1505344/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=1336 CPUtime=0.29
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 217 0 0 0 29 0 0 0 20 0 1 0 231048919 1368064 200 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519635 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 334 200 67 122 0 208 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1336
[startup+0.702006 s]
/proc/loadavg: 1.36 1.08 1.02 3/77 5202
/proc/meminfo: memFree=1505344/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=1468 CPUtime=0.69
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 238 0 0 0 69 0 0 0 23 0 1 0 231048919 1503232 221 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519220 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 367 221 67 122 0 241 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1468
[startup+1.50206 s]
/proc/loadavg: 1.36 1.08 1.02 2/78 5203
/proc/meminfo: memFree=1504632/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=1600 CPUtime=1.49
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 262 0 0 0 149 0 0 0 25 0 1 0 231048919 1638400 245 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134529837 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 400 245 67 122 0 274 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1600
[startup+3.10116 s]
/proc/loadavg: 1.36 1.08 1.02 2/78 5203
/proc/meminfo: memFree=1504376/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=1732 CPUtime=3.09
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 307 0 0 0 309 0 0 0 25 0 1 0 231048919 1773568 290 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134528505 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 433 290 67 122 0 307 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1732
[startup+6.30135 s]
/proc/loadavg: 1.33 1.08 1.02 2/78 5203
/proc/meminfo: memFree=1504120/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=1848 CPUtime=6.29
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 347 0 0 0 629 0 0 0 25 0 1 0 231048919 1892352 330 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519619 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 462 330 67 122 0 336 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1848
[startup+12.7017 s]
/proc/loadavg: 1.31 1.08 1.02 3/78 5203
/proc/meminfo: memFree=1503736/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=2096 CPUtime=12.69
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 408 0 0 0 1269 0 0 0 25 0 1 0 231048919 2146304 391 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 524 391 67 122 0 398 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2096
[startup+25.5015 s]
/proc/loadavg: 1.24 1.07 1.02 2/78 5203
/proc/meminfo: memFree=1503480/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=2460 CPUtime=25.49
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 481 0 0 0 2549 0 0 0 25 0 1 0 231048919 2519040 464 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519635 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 615 464 67 122 0 489 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2460
[startup+51.1011 s]
/proc/loadavg: 1.16 1.07 1.02 2/78 5203
/proc/meminfo: memFree=1503160/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=2684 CPUtime=51.08
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 556 0 0 0 5108 0 0 0 25 0 1 0 231048919 2748416 539 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530199 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 671 539 67 122 0 545 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2684
[startup+102.305 s]
/proc/loadavg: 1.07 1.05 1.01 2/78 5203
/proc/meminfo: memFree=1502648/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=3124 CPUtime=102.27
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 671 0 0 0 10227 0 0 0 25 0 1 0 231048919 3198976 654 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134528093 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 781 654 67 122 0 655 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3124
[startup+162.302 s]
/proc/loadavg: 1.02 1.04 1.01 2/78 5203
/proc/meminfo: memFree=1502328/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=3564 CPUtime=162.26
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 762 0 0 0 16225 1 0 0 25 0 1 0 231048919 3649536 745 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134547915 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 891 745 67 122 0 765 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3564
[startup+222.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 5203
/proc/meminfo: memFree=1501944/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=3860 CPUtime=222.24
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 845 0 0 0 22223 1 0 0 25 0 1 0 231048919 3952640 828 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530302 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 965 828 67 122 0 839 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 3860
Solver just ended. Dumping a history of the last processes samples
[startup+223.903 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 5203
/proc/meminfo: memFree=1501880/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=3860 CPUtime=223.84
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 845 0 0 0 22383 1 0 0 25 0 1 0 231048919 3952640 828 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134535083 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 965 828 67 122 0 839 0
Current children cumulated CPU time (s) 223.84
Current children cumulated vsize (KiB) 3860
[startup+224.702 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 5203
/proc/meminfo: memFree=1501880/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=3860 CPUtime=224.64
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 845 0 0 0 22463 1 0 0 25 0 1 0 231048919 3952640 828 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 965 828 67 122 0 839 0
Current children cumulated CPU time (s) 224.64
Current children cumulated vsize (KiB) 3860
[startup+224.902 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 5203
/proc/meminfo: memFree=1501880/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=3860 CPUtime=224.84
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 845 0 0 0 22483 1 0 0 25 0 1 0 231048919 3952640 828 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531241 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 965 828 67 122 0 839 0
Current children cumulated CPU time (s) 224.84
Current children cumulated vsize (KiB) 3860
[startup+225.002 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 5203
/proc/meminfo: memFree=1501880/2055920 swapFree=4157032/4192956
[pid=5202] ppid=5200 vsize=3860 CPUtime=224.94
/proc/5202/stat : 5202 (mxc) R 5200 5202 5037 0 -1 4194304 845 0 0 0 22493 1 0 0 25 0 1 0 231048919 3952640 828 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519229 0 0 4096 0 0 0 0 17 1 0 0
/proc/5202/statm: 965 828 67 122 0 839 0
Current children cumulated CPU time (s) 224.94
Current children cumulated vsize (KiB) 3860
Child status: 10
Real time (s): 225.073
CPU time (s): 225.01
CPU user time (s): 224.993
CPU system time (s): 0.016997
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 3860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 224.993
system time used= 0.016997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 847
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= 10
involuntary context switches= 398
runsolver used 0.140978 second user time and 0.508922 second system time
The end
Begin job on node30 on Sun Apr 29 07:22:12 UTC 2007
IDJOB= 426981
IDBENCH= 20289
IDSOLVER= 174
FILE ID= node30/426981-1177831332
PBS_JOBID= 4718296
Free space on /tmp= 66564 MiB
SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v630/unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf
COMMAND LINE= /tmp/evaluation/426981-1177831332/mxc /tmp/evaluation/426981-1177831332/instance-426981-1177831332.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-426981-1177831332 -o ROOT/results/node30/solver-426981-1177831332 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426981-1177831332/mxc /tmp/evaluation/426981-1177831332/instance-426981-1177831332.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 23ea53255de4a3778ef34ac8baaa8ebc
RANDOM SEED= 633466971
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node30.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.218
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.218
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: 1505816 kB
Buffers: 51320 kB
Cached: 407524 kB
SwapCached: 15660 kB
Active: 260992 kB
Inactive: 221236 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1505816 kB
SwapTotal: 4192956 kB
SwapFree: 4157032 kB
Dirty: 636 kB
Writeback: 0 kB
Mapped: 30080 kB
Slab: 53516 kB
Committed_AS: 3646320 kB
PageTables: 1776 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= 66564 MiB
End job on node30 on Sun Apr 29 07:25:58 UTC 2007