0.00/0.01 c main():: *** [ march satisfiability solver ] ***
0.00/0.01 c main():: ** Copyright (C) 2001-2009 M.J.H. Heule, J.E. van Zwieten, and M. Dufour **
0.00/0.01 c main():: * This program may be redistributed and/or modified under the terms of the GNU Gereral Public License *
0.00/0.01 c main()::
0.00/0.01 c initFormula():: searching for DIMACS p-line....
0.00/0.01 c initFormula():: the DIMACS p-line indicates a CNF of 700 variables and 2982 clauses.
0.00/0.01 c parseCNF():: parsing....
0.00/0.01 c parseCNF():: the CNF contains 0 unary clauses.
0.00/0.01 c runParser():: parsing was successful, warming up engines...
0.00/0.01 c simplify_formula():: removed 0 tautological, 44 satisfied and 0 duplicate clauses
0.00/0.01 c preprocessing fase I completed:: there are now 693 free variables and 2938 clauses.
0.00/0.01 c using 3-SAT heuristics (occurence based diff)
0.00/0.01 c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.01 c simplify_formula():: removed 0 tautological, 0 satisfied and 164 duplicate clauses
0.00/0.01 c resolvent_look() :: found 83 resolvents
0.00/0.01 c main():: clause / variable ratio: ( 3021 / 700 ) = 4.32
0.00/0.01 c longest clause has size 3
0.00/0.01 c simplify_formula():: removed 0 tautological, 0 satisfied and 0 duplicate clauses
0.00/0.01 c number of free variables = 693
0.00/0.01 c dynamic_preselect_setsize :: off
0.00/0.01 c main():: all systems go!
0.00/0.01 c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |****************************************************************| ( 0/999) NodeCount: 157
0.00/0.05 c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |****************************************
c |************************************************
c |*************************************************
c |**************************************************
c |****************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 1/999) NodeCount: 1325
0.20/0.21 c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |*****************
c |******************
c |********************
c |************************
c |*************************
c |**************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |****************************************
c |*****************************************
c |******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 2/999) NodeCount: 18189
2.79/2.86 c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 3/999) NodeCount: 182192
32.09/32.17 c |----------------------------------------------------------------|
c |*
c |**
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
c |****************************************************************| ( 4/999) NodeCount: 1316422
257.40/257.47 c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
1264.73/1264.74 c |000000000010100000000101000000000000000001000000000000000000000|
1264.73/1264.74
c |***************************************************************
1264.73/1264.74 c
1264.73/1264.74 c main():: nodeCount: 6077550
1264.73/1264.74 c main():: dead ends in main: 41641
1264.73/1264.74 c main():: lookAheadCount: 371739973
1264.73/1264.74 c main():: unitResolveCount: 59197972
1264.73/1264.74 c main():: time=1264.770020
1264.73/1264.74 c main():: necessary_assignments: 1036740
1264.73/1264.74 c main():: bin_sat: 0, bin_unsat 0
1264.73/1264.74 c main():: doublelook: #: 13256415, succes #: 5877662
1264.73/1264.74 c main():: doublelook: overall 3.617 of all possible doublelooks executed
1264.73/1264.74 c main():: doublelook: succesrate: 44.338, average DL_trigger: 60.305
1264.73/1264.74 c main():: SOLUTION VERIFIED :-)
1264.73/1264.74 s SATISFIABLE
1264.73/1264.74 v -1 2 -3 4 5 6 -7 -8 -9 10 -11 -12 13 -14 -15 16 -17 -18 19 -20 21 -22 -23 24 25 26 27 -28 29 30 32 33 -34 -35 36 38 39 -40 -41 42 43 44 45 46 -47 -48 -49 50 -51 -52 -53 -54 55 -56 57 58 -59 60 61 62 -63 64 -65 66 67 -68 69 70 -71 72 73 75 76 -77 -78 -79 -80 81 -82 83 84 -85 -86 87 -88 -89 -90 91 92 -93 -94 95 -96 97 98 99 -100 -101 102 -103 -104 -105 106 107 108 -109 110 -111 -112 113 114 115 -116 -117 118 -119 120 121 -122 123 124 -125 126 -127 128 -129 130 -131 -133 134 135 -136 -137 138 139 140 -141 142 143 144 -145 146 -147 -148 149 -150 -151 152 153 -155 156 157 -159 160 161 -162 163 -164 165 166 -167 -168 169 170 171 -172 173 -174 -175 -176 177 178 -179 180 -181 -182 -183 184 -185 -186 -187 -188 -189 -190 -192 -193 194 195 196 -197 -198 -199 -200 201 202 -203 -204 205 -206 207 -208 209 210 -211 -212 213 214 -215 216 217 -218 -219 220 -221 -222 223 224 -225 -226 227 228 229 230 -231 232 -233 -234 -235 236 237 -238 239 240 241 -243 244 245 -246 -248 -249 -250 -251 -252 253 -254 255 -256 257 -259 261 262 263 -264 265 -266 267 268 269 -270 -271 272 -273 274 275 276 277 278 -279 -280 281 -282 -283 284 285 286 -287 288 289 290 -291 292 -293 294 -295 296 297 -298 -299 -300 -301 302 -304 305 306 -307 -308 310 -311 312 -313 314 315 316 317 -318 319 -320 -321 322 -323 324 -325 -326 -327 -329 -330 331 -332 -333 -334 335 -336 337 338 339 -340 -341 342 -343 344 -345 346 -347 348 349 350 -351 -352 353 354 -355 356 357 358 -359 360 361 -362 363 -364 365 366 -367 368 370 371 372 373 -374 375 -376 377 -378 -379 380 381 382 383 384 -386 387 -389 -390 391 -392 393 -394 -395 -396 -397 -398 399 400 -401 -402 403 -404 405 406 -407 408 409 410 -411 -412 413 -414 415 -416 417 418 -419 420 421 422 423 -424 -425 426 427 -428 430 -431 432 -434 435 436 -437 438 439 440 441 442 443 -444 445 446 -447 -448 449 450 451 -452 453 -454 -455 -456 457 -458 -459 460 461 462 -463 464 -465 467 -468 -469 -470 471 -472 473 -475 -476 -477 478 479 -480 481 482 483 484 -485 486 487 488 489 -490 -491 -492 -493 494 -495 496 -497 -498 -499 -500 -501 -503 504 505 506 507 508 509 510 -511 512 -513 -514 -515 516 517 -518 -519 -520 521 -522 523 524 525 -526 527 528 -529 -530 531 -532 -533 534 535 536 537 -538 -539 540 541 542 -543 -544 -545 -546 -547 -548 -549 550 551 -552 553 -554 555 556 557 -558 -559 560 -561 -562 563 564 -565 -567 -568 569 570 -571 572 573 -575 576 577 578 -579 -580 581 -582 583 -584 585 586 587 588 -589 -590 -591 593 -594 595 -596 -597 -598 599 600 -601 602 -603 -604 -605 -606 -607 608 -609 -610 -611 612 -613 -614 615 -616 617 618 619 -620 621 -622 -623 -624 625 -626 -627 628 629 -631 632 633 634 -635 636 637 638 639 641 642 643 -644 645 646 647 648 649 -650 651 -652 -653 -654 655 -656 657 658 659 660 661 -662 663 664 665 -666 -667 -668 669 670 -671 -672 -673 -674 -675 676 677 -678 -679 -680 681 682 -683 684 685 686 -687 -688 689 690 -691 -692 -693 -694 -695 696 697 698 699 -700 0
runsolver Copyright (C) 2010 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 893)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3152798-1301711036/watcher-3152798-1301711036 -o /tmp/evaluation-result-3152798-1301711036/solver-3152798-1301711036 -C 2400 -W 1300 -M 7680 ./march_rw HOME/instance-3152798-1301711036.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.99 4.00 3.93 4/189 5880
/proc/meminfo: memFree=19215940/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=6928 CPUtime=0 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 323 0 0 0 0 0 0 0 25 0 1 0 361334212 7094272 266 33554432000 4194304 4300876 140737391717888 18446744073709551615 260023939760 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 1732 266 135 27 0 181 0
[startup+0.0600809 s]
/proc/loadavg: 3.99 4.00 3.93 4/189 5880
/proc/meminfo: memFree=19215940/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=7912 CPUtime=0.05 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 547 0 0 0 5 0 0 0 25 0 1 0 361334212 8101888 490 33554432000 4194304 4300876 140737391717888 18446744073709551615 4217639 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/5880/statm: 1978 490 168 27 0 427 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7912
[startup+0.101073 s]
/proc/loadavg: 3.99 4.00 3.93 4/189 5880
/proc/meminfo: memFree=19215940/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=8048 CPUtime=0.1 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 556 0 0 0 10 0 0 0 25 0 1 0 361334212 8241152 499 33554432000 4194304 4300876 140737391717888 18446744073709551615 4200404 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/5880/statm: 2012 499 168 27 0 461 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8048
[startup+0.301036 s]
/proc/loadavg: 3.99 4.00 3.93 4/189 5880
/proc/meminfo: memFree=19215940/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=8048 CPUtime=0.3 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 578 0 0 0 30 0 0 0 25 0 1 0 361334212 8241152 521 33554432000 4194304 4300876 140737391717888 18446744073709551615 4200288 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/5880/statm: 2012 521 168 27 0 461 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 8048
[startup+0.700963 s]
/proc/loadavg: 3.99 4.00 3.93 4/189 5880
/proc/meminfo: memFree=19215940/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=8240 CPUtime=0.7 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 614 0 0 0 70 0 0 0 25 0 1 0 361334212 8437760 557 33554432000 4194304 4300876 140737391717888 18446744073709551615 4228230 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/5880/statm: 2060 557 168 27 0 509 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 8240
[startup+1.50085 s]
/proc/loadavg: 3.99 4.00 3.93 5/190 5881
/proc/meminfo: memFree=19213708/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=8692 CPUtime=1.49 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 705 0 0 0 149 0 0 0 25 0 1 0 361334212 8900608 648 33554432000 4194304 4300876 140737391717888 18446744073709551615 4225152 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 2173 648 168 27 0 622 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8692
[startup+3.10056 s]
/proc/loadavg: 3.99 4.00 3.93 5/190 5881
/proc/meminfo: memFree=19212632/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=9072 CPUtime=3.09 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 774 0 0 0 309 0 0 0 25 0 1 0 361334212 9289728 717 33554432000 4194304 4300876 140737391717888 18446744073709551615 4288472 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 2268 717 169 27 0 717 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9072
[startup+6.30098 s]
/proc/loadavg: 3.99 4.00 3.93 5/190 5881
/proc/meminfo: memFree=19210400/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=9412 CPUtime=6.3 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 912 0 0 0 630 0 0 0 25 0 1 0 361334212 9637888 855 33554432000 4194304 4300876 140737391717888 18446744073709551615 4228257 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 2353 855 169 27 0 802 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 9412
[startup+12.7008 s]
/proc/loadavg: 3.99 4.00 3.93 5/190 5881
/proc/meminfo: memFree=19205924/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=10840 CPUtime=12.7 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 1213 0 0 0 1270 0 0 0 25 0 1 0 361334212 11100160 1121 33554432000 4194304 4300876 140737391717888 18446744073709551615 4200351 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 2710 1121 169 27 0 1159 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 10840
[startup+25.5004 s]
/proc/loadavg: 3.99 4.00 3.93 5/190 5882
/proc/meminfo: memFree=19197864/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=14636 CPUtime=25.49 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 1724 0 0 0 2549 0 0 0 25 0 1 0 361334212 14987264 1632 33554432000 4194304 4300876 140737391717888 18446744073709551615 4217487 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 3659 1632 169 27 0 2108 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14636
[startup+51.1008 s]
/proc/loadavg: 3.99 4.00 3.93 5/190 5883
/proc/meminfo: memFree=19183216/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=18580 CPUtime=51.09 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 2728 0 0 0 5109 0 0 0 25 0 1 0 361334212 19025920 2636 33554432000 4194304 4300876 140737391717888 18446744073709551615 4217310 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 4645 2636 169 27 0 3094 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18580
[startup+102.306 s]
/proc/loadavg: 3.99 4.00 3.93 5/190 5884
/proc/meminfo: memFree=19150948/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=30732 CPUtime=102.29 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 4704 0 0 0 10229 0 0 0 25 0 1 0 361334212 31469568 4612 33554432000 4194304 4300876 140737391717888 18446744073709551615 4200288 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 7683 4612 169 27 0 6132 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 30732
[startup+162.3 s]
/proc/loadavg: 3.84 3.96 3.92 4/184 5903
/proc/meminfo: memFree=19303364/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=39596 CPUtime=162.3 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 6984 0 0 0 16229 1 0 0 25 0 1 0 361334212 40546304 6892 33554432000 4194304 4300876 140737391717888 18446744073709551615 4217560 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 9899 6892 169 27 0 8348 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 39596
[startup+222.3 s]
/proc/loadavg: 3.31 3.79 3.86 4/184 5905
/proc/meminfo: memFree=19276668/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=57592 CPUtime=222.3 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 9165 0 0 0 22229 1 0 0 25 0 1 0 361334212 58974208 9073 33554432000 4194304 4300876 140737391717888 18446744073709551615 4250892 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 14398 9073 169 27 0 12847 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 57592
[startup+282.3 s]
/proc/loadavg: 3.11 3.64 3.80 4/184 5907
/proc/meminfo: memFree=19250348/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=57592 CPUtime=282.29 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 11328 0 0 0 28228 1 0 0 25 0 1 0 361334212 58974208 11236 33554432000 4194304 4300876 140737391717888 18446744073709551615 4217310 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 14398 11236 169 27 0 12847 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 57592
[startup+342.3 s]
/proc/loadavg: 3.04 3.52 3.75 4/184 5908
/proc/meminfo: memFree=19224772/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=87036 CPUtime=342.3 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 13591 0 0 0 34228 2 0 0 25 0 1 0 361334212 89124864 13499 33554432000 4194304 4300876 140737391717888 18446744073709551615 4250935 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 21759 13499 169 27 0 20208 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 87036
[startup+402.3 s]
/proc/loadavg: 3.01 3.42 3.70 4/184 5910
/proc/meminfo: memFree=19198576/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=87036 CPUtime=402.3 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 15770 0 0 0 40228 2 0 0 25 0 1 0 361334212 89124864 15678 33554432000 4194304 4300876 140737391717888 18446744073709551615 4219752 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 21759 15678 169 27 0 20208 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 87036
[startup+462.3 s]
/proc/loadavg: 3.00 3.34 3.65 4/184 5911
/proc/meminfo: memFree=19172004/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=87036 CPUtime=462.3 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 17902 0 0 0 46227 3 0 0 25 0 1 0 361334212 89124864 17810 33554432000 4194304 4300876 140737391717888 18446744073709551615 260023853956 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 21759 17810 169 27 0 20208 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 87036
[startup+522.3 s]
/proc/loadavg: 3.07 3.29 3.62 4/184 5913
/proc/meminfo: memFree=19146564/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=116636 CPUtime=522.31 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 20148 0 0 0 52227 4 0 0 25 0 1 0 361334212 119435264 20056 33554432000 4194304 4300876 140737391717888 18446744073709551615 4268530 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 29159 20056 169 27 0 27608 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 116636
[startup+582.3 s]
/proc/loadavg: 3.02 3.24 3.57 4/184 5915
/proc/meminfo: memFree=19121120/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=116636 CPUtime=582.31 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 22287 0 0 0 58227 4 0 0 25 0 1 0 361334212 119435264 22195 33554432000 4194304 4300876 140737391717888 18446744073709551615 4214343 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 29159 22195 169 27 0 27608 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 116636
[startup+642.3 s]
/proc/loadavg: 3.01 3.19 3.53 4/184 5916
/proc/meminfo: memFree=19094548/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=116636 CPUtime=642.32 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 24477 0 0 0 64227 5 0 0 25 0 1 0 361334212 119435264 24385 33554432000 4194304 4300876 140737391717888 18446744073709551615 4217462 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 29159 24385 169 27 0 27608 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 116636
[startup+702.3 s]
/proc/loadavg: 3.00 3.15 3.50 4/184 5918
/proc/meminfo: memFree=19068860/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=136236 CPUtime=702.31 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 26680 0 0 0 70225 6 0 0 25 0 1 0 361334212 139505664 26588 33554432000 4194304 4300876 140737391717888 18446744073709551615 4217725 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 34059 26588 169 27 0 32508 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 136236
[startup+762.306 s]
/proc/loadavg: 3.00 3.12 3.46 4/184 5919
/proc/meminfo: memFree=19043276/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=180436 CPUtime=762.32 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 28786 0 0 0 76226 6 0 0 25 0 1 0 361334212 184766464 28694 33554432000 4194304 4300876 140737391717888 18446744073709551615 4200277 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 45109 28694 169 27 0 43558 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 180436
[startup+822.3 s]
/proc/loadavg: 3.00 3.10 3.43 4/184 5921
/proc/meminfo: memFree=19018324/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=180436 CPUtime=822.32 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 30878 0 0 0 82225 7 0 0 25 0 1 0 361334212 184766464 30786 33554432000 4194304 4300876 140737391717888 18446744073709551615 4217632 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 45109 30786 169 27 0 43558 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 180436
[startup+882.3 s]
/proc/loadavg: 3.06 3.09 3.41 4/184 5923
/proc/meminfo: memFree=18993376/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=180436 CPUtime=882.32 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 33038 0 0 0 88225 7 0 0 25 0 1 0 361334212 184766464 32946 33554432000 4194304 4300876 140737391717888 18446744073709551615 260019791563 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 45109 32946 169 27 0 43558 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 180436
[startup+942.3 s]
/proc/loadavg: 3.02 3.07 3.38 4/184 5927
/proc/meminfo: memFree=18969472/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=180436 CPUtime=942.32 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 35176 0 0 0 94224 8 0 0 25 0 1 0 361334212 184766464 35084 33554432000 4194304 4300876 140737391717888 18446744073709551615 4250896 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 45109 35084 169 27 0 43558 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 180436
[startup+1002.3 s]
/proc/loadavg: 3.00 3.06 3.35 4/184 5929
/proc/meminfo: memFree=18944772/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=180436 CPUtime=1002.32 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 37284 0 0 0 100224 8 0 0 25 0 1 0 361334212 184766464 37192 33554432000 4194304 4300876 140737391717888 18446744073709551615 4217540 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 45109 37192 169 27 0 43558 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 180436
[startup+1062.3 s]
/proc/loadavg: 3.00 3.05 3.33 4/184 5930
/proc/meminfo: memFree=18920188/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=180436 CPUtime=1062.32 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 39453 0 0 0 106224 8 0 0 25 0 1 0 361334212 184766464 39361 33554432000 4194304 4300876 140737391717888 18446744073709551615 4200341 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 45109 39361 169 27 0 43558 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 180436
[startup+1122.3 s]
/proc/loadavg: 3.03 3.05 3.31 4/184 5932
/proc/meminfo: memFree=18894620/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=180436 CPUtime=1122.32 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 41539 0 0 0 112223 9 0 0 25 0 1 0 361334212 184766464 41447 33554432000 4194304 4300876 140737391717888 18446744073709551615 4214448 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 45109 41447 169 27 0 43558 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 180436
[startup+1182.3 s]
/proc/loadavg: 3.01 3.04 3.29 4/184 5934
/proc/meminfo: memFree=18869024/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=246736 CPUtime=1182.32 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 43595 0 0 0 118223 9 0 0 25 0 1 0 361334212 252657664 43503 33554432000 4194304 4300876 140737391717888 18446744073709551615 4200361 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 61684 43503 169 27 0 60133 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 246736
[startup+1242.3 s]
/proc/loadavg: 2.28 2.84 3.20 2/172 5971
/proc/meminfo: memFree=19234664/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=246736 CPUtime=1242.33 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 45651 0 0 0 124223 10 0 0 25 0 1 0 361334212 252657664 45559 33554432000 4194304 4300876 140737391717888 18446744073709551615 4248625 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 61684 45559 169 27 0 60133 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 246736
Solver just ended. Dumping a history of the last processes samples
[startup+1254.3 s]
/proc/loadavg: 2.08 2.78 3.18 2/172 5972
/proc/meminfo: memFree=19233212/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=285936 CPUtime=1254.33 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 46045 0 0 0 125423 10 0 0 25 0 1 0 361334212 292798464 45953 33554432000 4194304 4300876 140737391717888 18446744073709551615 260019790919 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 71484 45954 169 27 0 69933 0
Current children cumulated CPU time (s) 1254.33
Current children cumulated vsize (KiB) 285936
[startup+1260.7 s]
/proc/loadavg: 1.92 2.72 3.16 2/172 5972
/proc/meminfo: memFree=19232228/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=285936 CPUtime=1260.73 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 46258 0 0 0 126063 10 0 0 25 0 1 0 361334212 292798464 46166 33554432000 4194304 4300876 140737391717888 18446744073709551615 4217310 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 71484 46166 169 27 0 69933 0
Current children cumulated CPU time (s) 1260.73
Current children cumulated vsize (KiB) 285936
[startup+1262.3 s]
/proc/loadavg: 1.92 2.72 3.16 2/172 5972
/proc/meminfo: memFree=19232224/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=285936 CPUtime=1262.33 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 46318 0 0 0 126223 10 0 0 25 0 1 0 361334212 292798464 46226 33554432000 4194304 4300876 140737391717888 18446744073709551615 4248656 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 71484 46226 169 27 0 69933 0
Current children cumulated CPU time (s) 1262.33
Current children cumulated vsize (KiB) 285936
[startup+1263.91 s]
/proc/loadavg: 1.92 2.72 3.16 2/172 5972
/proc/meminfo: memFree=19231852/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=285936 CPUtime=1263.93 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 46379 0 0 0 126383 10 0 0 25 0 1 0 361334212 292798464 46287 33554432000 4194304 4300876 140737391717888 18446744073709551615 4217503 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 71484 46287 169 27 0 69933 0
Current children cumulated CPU time (s) 1263.93
Current children cumulated vsize (KiB) 285936
[startup+1264.3 s]
/proc/loadavg: 1.92 2.72 3.16 2/172 5972
/proc/meminfo: memFree=19231852/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=285936 CPUtime=1264.33 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 46392 0 0 0 126423 10 0 0 25 0 1 0 361334212 292798464 46300 33554432000 4194304 4300876 140737391717888 18446744073709551615 4200325 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 71484 46300 169 27 0 69933 0
Current children cumulated CPU time (s) 1264.33
Current children cumulated vsize (KiB) 285936
[startup+1264.7 s]
/proc/loadavg: 1.92 2.72 3.16 2/172 5972
/proc/meminfo: memFree=19231852/32951124 swapFree=67111528/67111528
[pid=5880] ppid=5878 vsize=285936 CPUtime=1264.73 cores=5,7
/proc/5880/stat : 5880 (march_rw) R 5878 5880 4600 0 -1 4202496 46407 0 0 0 126463 10 0 0 25 0 1 0 361334212 292798464 46315 33554432000 4194304 4300876 140737391717888 18446744073709551615 4228743 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5880/statm: 71484 46315 169 27 0 69933 0
Current children cumulated CPU time (s) 1264.73
Current children cumulated vsize (KiB) 285936
Child status: 10
Real time (s): 1264.76
CPU time (s): 1264.8
CPU user time (s): 1264.68
CPU system time (s): 0.115982
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 285936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1264.68
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46432
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= 3
involuntary context switches= 1362
runsolver used 1.74173 second user time and 4.00839 second system time
The end
Begin job on node110 at 2011-04-02 04:23:56
IDJOB=3152798
IDBENCH=83078
IDSOLVER=1561
FILE ID=node110/3152798-1301711036
RUNJOBID= node110-1301708320-4907
PBS_JOBID= 12840828
Free space on /tmp= 71120 MiB
SOLVER NAME= march_rw 2011-03-02
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf
COMMAND LINE= ./march_rw BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3152798-1301711036/watcher-3152798-1301711036 -o /tmp/evaluation-result-3152798-1301711036/solver-3152798-1301711036 -C 2400 -W 1300 -M 7680 ./march_rw HOME/instance-3152798-1301711036.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= dfb1a270a60c2005459af6275114712d
RANDOM SEED=1061071531
node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 19216204 kB
Buffers: 393600 kB
Cached: 12765368 kB
SwapCached: 0 kB
Active: 8642708 kB
Inactive: 4779596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 19216204 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 68 kB
Writeback: 0 kB
AnonPages: 263456 kB
Mapped: 15612 kB
Slab: 248764 kB
PageTables: 5888 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 469428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71120 MiB
End job on node110 at 2011-04-02 04:45:01