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 550 variables and 2343 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, 4 satisfied and 0 duplicate clauses
0.00/0.01 c preprocessing fase I completed:: there are now 549 free variables and 2339 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 184 duplicate clauses
0.00/0.01 c resolvent_look() :: found 100 resolvents
0.00/0.01 c main():: clause / variable ratio: ( 2439 / 550 ) = 4.43
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 = 549
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: 182
0.04/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: 735
0.10/0.12 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: 5795
0.90/0.91 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: 38066
6.60/6.66 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: 180326
35.39/35.45 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 |***************************************************************
c |****************************************************************| ( 5/999) NodeCount: 635901
138.39/138.49 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 |***************************************************************
c |****************************************************************| ( 6/999) NodeCount: 1723367
409.60/409.62 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 |***************************************************************
c |****************************************************************| ( 7/999) NodeCount: 3683926
942.20/942.25 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 |*****************************************
1255.02/1255.03 c |01011010010001100000100000000000000000000000000000$$$$$$$$$$$$$|
1255.02/1255.03
c |*****************************************
1255.02/1255.03 c
1255.02/1255.03 c main():: nodeCount: 4798508
1255.02/1255.03 c main():: dead ends in main: 56086
1255.02/1255.03 c main():: lookAheadCount: 320796993
1255.02/1255.03 c main():: unitResolveCount: 69259685
1255.02/1255.03 c main():: time=1255.049927
1255.02/1255.03 c main():: necessary_assignments: 1100647
1255.02/1255.03 c main():: bin_sat: 0, bin_unsat 0
1255.02/1255.03 c main():: doublelook: #: 16139492, succes #: 10375558
1255.02/1255.03 c main():: doublelook: overall 5.167 of all possible doublelooks executed
1255.02/1255.03 c main():: doublelook: succesrate: 64.287, average DL_trigger: 61.443
1255.02/1255.03 c main():: SOLUTION VERIFIED :-)
1255.02/1255.03 s SATISFIABLE
1255.02/1255.03 v 1 -2 -3 -4 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 -31 32 33 34 -35 36 37 38 -39 -40 41 42 -43 -44 -46 47 48 -50 51 -52 53 55 -56 57 58 -59 -60 -61 62 -63 64 65 -66 -67 -68 69 -70 71 72 73 -74 -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 102 103 -104 105 -106 107 108 -110 111 112 113 -114 -116 -117 -118 -119 120 -121 -122 123 124 125 126 -127 -129 130 131 -132 133 134 -135 136 137 -138 139 -140 -142 143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -156 -157 -158 -159 160 -161 162 163 164 165 -166 168 -169 170 -171 172 173 -174 175 -176 177 178 -180 -181 -182 -183 -184 185 -186 -187 -188 -189 -190 -191 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 247 -248 249 -250 -251 -254 255 -256 257 258 -259 -260 261 -262 -263 264 265 266 267 -269 -270 -271 272 273 274 276 -277 278 -279 280 -281 282 -283 284 -285 -286 -288 289 290 -291 -292 293 294 295 296 -298 299 -300 301 -302 -303 304 305 306 307 308 309 311 -312 313 315 316 -317 -318 319 -320 321 -322 -323 324 -325 326 -327 328 329 330 331 332 -333 -334 335 -336 337 338 -339 340 -341 342 343 344 -345 347 348 349 350 351 -352 353 -354 -355 -356 357 -358 -359 -360 -361 -362 363 364 365 366 367 368 -369 370 -371 -373 374 376 377 -378 -379 -380 381 -382 -383 -384 385 -386 388 389 -390 391 -392 -393 394 -395 396 397 -398 400 -401 402 403 404 -405 -407 408 -409 410 411 -412 -413 -414 415 416 417 418 419 -420 -421 -422 423 424 425 -426 427 428 429 -430 431 -432 433 -434 -435 -436 437 -438 439 -440 -441 -442 -443 444 445 446 -447 -449 450 452 453 454 -455 -456 -457 -458 459 461 462 -463 464 -465 466 -467 -468 469 470 -471 -472 473 -474 -475 476 -477 478 479 480 -481 482 483 484 485 -486 -487 -488 -489 -490 491 492 -493 -494 496 -497 -498 -499 -500 -501 -502 -503 -504 -505 506 -507 508 510 511 512 -513 -514 -515 516 517 518 -519 520 521 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 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-3152714-1301710777/watcher-3152714-1301710777 -o /tmp/evaluation-result-3152714-1301710777/solver-3152714-1301710777 -C 2400 -W 1300 -M 7680 ./march_rw HOME/instance-3152714-1301710777.cnf
running on 2 cores: 4,6
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.38 3.88 4.17 4/189 7697
/proc/meminfo: memFree=24625956/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=6852 CPUtime=0 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 302 0 0 0 0 0 0 0 22 0 1 0 361308346 7016448 245 33554432000 4194304 4300876 140735443620976 18446744073709551615 4258304 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 1713 245 136 27 0 162 0
[startup+0.04665 s]
/proc/loadavg: 3.38 3.88 4.17 4/189 7697
/proc/meminfo: memFree=24625956/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=7680 CPUtime=0.04 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 466 0 0 0 4 0 0 0 22 0 1 0 361308346 7864320 409 33554432000 4194304 4300876 140735443620976 18446744073709551615 4225155 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 1920 409 168 27 0 369 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7680
[startup+0.100618 s]
/proc/loadavg: 3.38 3.88 4.17 4/189 7697
/proc/meminfo: memFree=24625956/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=7680 CPUtime=0.1 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 480 0 0 0 10 0 0 0 23 0 1 0 361308346 7864320 423 33554432000 4194304 4300876 140735443620976 18446744073709551615 4217632 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 1920 423 168 27 0 369 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7680
[startup+0.300596 s]
/proc/loadavg: 3.38 3.88 4.17 4/189 7697
/proc/meminfo: memFree=24625956/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=7828 CPUtime=0.3 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 502 0 0 0 30 0 0 0 23 0 1 0 361308346 8015872 445 33554432000 4194304 4300876 140735443620976 18446744073709551615 4217608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 1957 445 168 27 0 406 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 7828
[startup+0.70054 s]
/proc/loadavg: 3.38 3.88 4.17 4/189 7697
/proc/meminfo: memFree=24625956/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=7828 CPUtime=0.7 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 523 0 0 0 70 0 0 0 25 0 1 0 361308346 8015872 466 33554432000 4194304 4300876 140735443620976 18446744073709551615 4214499 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 1957 466 168 27 0 406 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 7828
[startup+1.50042 s]
/proc/loadavg: 3.38 3.88 4.17 5/190 7698
/proc/meminfo: memFree=24622392/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=8132 CPUtime=1.5 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 591 0 0 0 150 0 0 0 25 0 1 0 361308346 8327168 534 33554432000 4194304 4300876 140735443620976 18446744073709551615 4214474 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 2033 534 169 27 0 482 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 8132
[startup+3.10114 s]
/proc/loadavg: 3.43 3.88 4.17 5/190 7698
/proc/meminfo: memFree=24621028/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=8520 CPUtime=3.1 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 668 0 0 0 310 0 0 0 25 0 1 0 361308346 8724480 611 33554432000 4194304 4300876 140735443620976 18446744073709551615 4217367 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 2130 611 169 27 0 579 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 8520
[startup+6.30062 s]
/proc/loadavg: 3.43 3.88 4.17 5/190 7698
/proc/meminfo: memFree=24619360/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=9088 CPUtime=6.3 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 789 0 0 0 630 0 0 0 25 0 1 0 361308346 9306112 732 33554432000 4194304 4300876 140735443620976 18446744073709551615 4214443 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 2272 732 169 27 0 721 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 9088
[startup+12.7006 s]
/proc/loadavg: 3.48 3.88 4.17 5/190 7698
/proc/meminfo: memFree=24614892/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=10748 CPUtime=12.69 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 1094 0 0 0 1269 0 0 0 25 0 1 0 361308346 11005952 1006 33554432000 4194304 4300876 140735443620976 18446744073709551615 4214496 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 2687 1006 169 27 0 1136 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10748
[startup+25.5004 s]
/proc/loadavg: 3.59 3.89 4.16 5/190 7698
/proc/meminfo: memFree=24608340/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=12408 CPUtime=25.49 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 1565 0 0 0 2549 0 0 0 25 0 1 0 361308346 12705792 1477 33554432000 4194304 4300876 140735443620976 18446744073709551615 4216837 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 3102 1477 169 27 0 1551 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12408
[startup+51.1002 s]
/proc/loadavg: 3.73 3.90 4.16 5/190 7779
/proc/meminfo: memFree=24596008/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=17736 CPUtime=51.09 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 2447 0 0 0 5109 0 0 0 25 0 1 0 361308346 18161664 2359 33554432000 4194304 4300876 140735443620976 18446744073709551615 224284321045 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 4434 2359 169 27 0 2883 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17736
[startup+102.306 s]
/proc/loadavg: 3.89 3.91 4.15 5/190 7781
/proc/meminfo: memFree=24566868/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=23652 CPUtime=102.29 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 4187 0 0 0 10229 0 0 0 25 0 1 0 361308346 24219648 4099 33554432000 4194304 4300876 140735443620976 18446744073709551615 4217627 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 5913 4099 169 27 0 4362 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 23652
[startup+162.301 s]
/proc/loadavg: 3.95 3.92 4.14 5/190 7783
/proc/meminfo: memFree=24536064/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=42404 CPUtime=162.29 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 6111 0 0 0 16228 1 0 0 25 0 1 0 361308346 43421696 6023 33554432000 4194304 4300876 140735443620976 18446744073709551615 4200316 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 10601 6023 169 27 0 9050 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 42404
[startup+222.301 s]
/proc/loadavg: 3.98 3.94 4.12 5/190 7785
/proc/meminfo: memFree=24505016/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=42404 CPUtime=222.3 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 8013 0 0 0 22228 2 0 0 25 0 1 0 361308346 43421696 7925 33554432000 4194304 4300876 140735443620976 18446744073709551615 4214400 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 10601 7925 169 27 0 9050 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 42404
[startup+282.301 s]
/proc/loadavg: 3.99 3.94 4.11 5/190 7787
/proc/meminfo: memFree=24474840/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=55500 CPUtime=282.29 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 9920 0 0 0 28227 2 0 0 25 0 1 0 361308346 56832000 9832 33554432000 4194304 4300876 140735443620976 18446744073709551615 4214438 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 13875 9832 169 27 0 12324 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 55500
[startup+342.301 s]
/proc/loadavg: 3.99 3.95 4.10 5/190 7787
/proc/meminfo: memFree=24444436/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=63632 CPUtime=342.29 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 11761 0 0 0 34227 2 0 0 25 0 1 0 361308346 65159168 11673 33554432000 4194304 4300876 140735443620976 18446744073709551615 4217448 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 15908 11673 169 27 0 14357 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 63632
[startup+402.301 s]
/proc/loadavg: 3.99 3.96 4.09 5/190 7789
/proc/meminfo: memFree=24415636/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=83276 CPUtime=402.3 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 13508 0 0 0 40227 3 0 0 25 0 1 0 361308346 85274624 13420 33554432000 4194304 4300876 140735443620976 18446744073709551615 4214333 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 20819 13420 169 27 0 19268 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 83276
[startup+462.301 s]
/proc/loadavg: 3.99 3.96 4.08 5/190 7791
/proc/meminfo: memFree=24385708/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=83276 CPUtime=462.3 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 15332 0 0 0 46227 3 0 0 25 0 1 0 361308346 85274624 15244 33554432000 4194304 4300876 140735443620976 18446744073709551615 4276846 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 20819 15244 169 27 0 19268 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 83276
[startup+522.301 s]
/proc/loadavg: 3.99 3.97 4.08 5/190 7793
/proc/meminfo: memFree=24357144/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=83408 CPUtime=522.29 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 17085 0 0 0 52226 3 0 0 25 0 1 0 361308346 85409792 16997 33554432000 4194304 4300876 140735443620976 18446744073709551615 4214407 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 20852 16997 169 27 0 19301 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 83408
[startup+582.301 s]
/proc/loadavg: 3.99 3.97 4.07 5/190 7795
/proc/meminfo: memFree=24327468/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=99676 CPUtime=582.3 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 18839 0 0 0 58226 4 0 0 25 0 1 0 361308346 102068224 18751 33554432000 4194304 4300876 140735443620976 18446744073709551615 4214430 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 24919 18751 169 27 0 23368 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 99676
[startup+642.301 s]
/proc/loadavg: 4.03 3.99 4.07 5/190 7795
/proc/meminfo: memFree=24298292/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=129144 CPUtime=642.31 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 20610 0 0 0 64226 5 0 0 25 0 1 0 361308346 132243456 20522 33554432000 4194304 4300876 140735443620976 18446744073709551615 4274442 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 32286 20522 169 27 0 30735 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 129144
[startup+702.301 s]
/proc/loadavg: 4.01 3.99 4.07 5/190 7797
/proc/meminfo: memFree=24269100/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=129144 CPUtime=702.3 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 22374 0 0 0 70225 5 0 0 25 0 1 0 361308346 132243456 22286 33554432000 4194304 4300876 140735443620976 18446744073709551615 4200323 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 32286 22286 169 27 0 30735 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 129144
[startup+762.306 s]
/proc/loadavg: 4.00 3.99 4.06 5/190 7799
/proc/meminfo: memFree=24239944/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=129144 CPUtime=762.3 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 24193 0 0 0 76225 5 0 0 25 0 1 0 361308346 132243456 24105 33554432000 4194304 4300876 140735443620976 18446744073709551615 4214443 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 32286 24105 169 27 0 30735 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 129144
[startup+822.301 s]
/proc/loadavg: 4.07 4.02 4.07 5/190 7801
/proc/meminfo: memFree=24212884/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=129144 CPUtime=822.3 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 25886 0 0 0 82225 5 0 0 25 0 1 0 361308346 132243456 25798 33554432000 4194304 4300876 140735443620976 18446744073709551615 4286099 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 32286 25798 169 27 0 30735 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 129144
[startup+882.301 s]
/proc/loadavg: 4.02 4.01 4.06 5/190 7803
/proc/meminfo: memFree=24184176/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=129144 CPUtime=882.3 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 27555 0 0 0 88224 6 0 0 25 0 1 0 361308346 132243456 27467 33554432000 4194304 4300876 140735443620976 18446744073709551615 4228257 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 32286 27467 169 27 0 30735 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 129144
[startup+942.301 s]
/proc/loadavg: 4.01 4.00 4.05 5/190 7803
/proc/meminfo: memFree=24156876/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=129144 CPUtime=942.3 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 29113 0 0 0 94224 6 0 0 25 0 1 0 361308346 132243456 29025 33554432000 4194304 4300876 140735443620976 18446744073709551615 4217564 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 32286 29025 169 27 0 30735 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 129144
[startup+1002.3 s]
/proc/loadavg: 4.04 4.01 4.05 5/190 7805
/proc/meminfo: memFree=24128960/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=173344 CPUtime=1002.31 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 30865 0 0 0 100224 7 0 0 25 0 1 0 361308346 177504256 30777 33554432000 4194304 4300876 140735443620976 18446744073709551615 4217540 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 43336 30777 169 27 0 41785 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 173344
[startup+1062.3 s]
/proc/loadavg: 4.01 4.01 4.05 5/190 7807
/proc/meminfo: memFree=24102396/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=173344 CPUtime=1062.3 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 32512 0 0 0 106223 7 0 0 25 0 1 0 361308346 177504256 32424 33554432000 4194304 4300876 140735443620976 18446744073709551615 4250768 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 43336 32424 169 27 0 41785 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 173344
[startup+1122.3 s]
/proc/loadavg: 4.00 4.00 4.04 5/190 7809
/proc/meminfo: memFree=24074588/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=173344 CPUtime=1122.3 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 34162 0 0 0 112223 7 0 0 25 0 1 0 361308346 177504256 34074 33554432000 4194304 4300876 140735443620976 18446744073709551615 4228197 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 43336 34074 169 27 0 41785 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 173344
[startup+1182.3 s]
/proc/loadavg: 4.06 4.01 4.04 5/190 7814
/proc/meminfo: memFree=24047420/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=205880 CPUtime=1182.31 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 35719 0 0 0 118223 8 0 0 25 0 1 0 361308346 210821120 35631 33554432000 4194304 4300876 140735443620976 18446744073709551615 4263825 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 51470 35631 169 27 0 49919 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 205880
[startup+1242.3 s]
/proc/loadavg: 4.06 4.03 4.04 5/190 7814
/proc/meminfo: memFree=24017844/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=205880 CPUtime=1242.3 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 37439 0 0 0 124222 8 0 0 25 0 1 0 361308346 210821120 37351 33554432000 4194304 4300876 140735443620976 18446744073709551615 4217299 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 51470 37351 169 27 0 49919 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 205880
Solver just ended. Dumping a history of the last processes samples
[startup+1247.9 s]
/proc/loadavg: 4.05 4.02 4.04 5/190 7814
/proc/meminfo: memFree=24015112/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=205880 CPUtime=1247.9 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 37583 0 0 0 124782 8 0 0 25 0 1 0 361308346 210821120 37495 33554432000 4194304 4300876 140735443620976 18446744073709551615 4217472 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 51470 37495 169 27 0 49919 0
Current children cumulated CPU time (s) 1247.9
Current children cumulated vsize (KiB) 205880
[startup+1251.1 s]
/proc/loadavg: 4.05 4.02 4.04 5/190 7814
/proc/meminfo: memFree=24013624/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=205880 CPUtime=1251.1 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 37668 0 0 0 125102 8 0 0 25 0 1 0 361308346 210821120 37580 33554432000 4194304 4300876 140735443620976 18446744073709551615 4200341 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 51470 37580 169 27 0 49919 0
Current children cumulated CPU time (s) 1251.1
Current children cumulated vsize (KiB) 205880
[startup+1252.7 s]
/proc/loadavg: 4.05 4.02 4.04 5/190 7814
/proc/meminfo: memFree=24013128/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=205880 CPUtime=1252.7 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 37716 0 0 0 125262 8 0 0 25 0 1 0 361308346 210821120 37628 33554432000 4194304 4300876 140735443620976 18446744073709551615 4214443 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 51470 37628 169 27 0 49919 0
Current children cumulated CPU time (s) 1252.7
Current children cumulated vsize (KiB) 205880
[startup+1254.3 s]
/proc/loadavg: 4.05 4.02 4.04 5/190 7814
/proc/meminfo: memFree=24011888/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=205880 CPUtime=1254.31 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 37764 0 0 0 125422 9 0 0 25 0 1 0 361308346 210821120 37676 33554432000 4194304 4300876 140735443620976 18446744073709551615 4217487 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 51470 37676 169 27 0 49919 0
Current children cumulated CPU time (s) 1254.31
Current children cumulated vsize (KiB) 205880
[startup+1254.7 s]
/proc/loadavg: 4.05 4.02 4.04 5/190 7814
/proc/meminfo: memFree=24011888/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=205880 CPUtime=1254.71 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 37776 0 0 0 125462 9 0 0 25 0 1 0 361308346 210821120 37688 33554432000 4194304 4300876 140735443620976 18446744073709551615 4228157 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 51470 37688 169 27 0 49919 0
Current children cumulated CPU time (s) 1254.71
Current children cumulated vsize (KiB) 205880
[startup+1254.9 s]
/proc/loadavg: 4.05 4.02 4.04 5/190 7814
/proc/meminfo: memFree=24011888/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=205880 CPUtime=1254.91 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 37782 0 0 0 125482 9 0 0 25 0 1 0 361308346 210821120 37694 33554432000 4194304 4300876 140735443620976 18446744073709551615 4200323 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 51470 37694 169 27 0 49919 0
Current children cumulated CPU time (s) 1254.91
Current children cumulated vsize (KiB) 205880
[startup+1255 s]
/proc/loadavg: 4.05 4.02 4.04 5/190 7816
/proc/meminfo: memFree=24011508/32951124 swapFree=67110456/67111528
[pid=7697] ppid=7695 vsize=205880 CPUtime=1255.02 cores=4,6
/proc/7697/stat : 7697 (march_rw) R 7695 7697 6645 0 -1 4202496 37786 0 0 0 125493 9 0 0 25 0 1 0 361308346 210821120 37698 33554432000 4194304 4300876 140735443620976 18446744073709551615 4217373 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7697/statm: 51470 37698 169 27 0 49919 0
Current children cumulated CPU time (s) 1255.02
Current children cumulated vsize (KiB) 205880
Child status: 10
Real time (s): 1255.04
CPU time (s): 1255.06
CPU user time (s): 1254.96
CPU system time (s): 0.097985
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 205880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1254.96
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37794
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= 4
involuntary context switches= 664
runsolver used 1.9827 second user time and 3.72843 second system time
The end
Begin job on node118 at 2011-04-02 04:19:37
IDJOB=3152714
IDBENCH=82994
IDSOLVER=1561
FILE ID=node118/3152714-1301710777
RUNJOBID= node118-1301710777-7656
PBS_JOBID= 12840835
Free space on /tmp= 71184 MiB
SOLVER NAME= march_rw 2011-03-02
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf
COMMAND LINE= ./march_rw BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3152714-1301710777/watcher-3152714-1301710777 -o /tmp/evaluation-result-3152714-1301710777/solver-3152714-1301710777 -C 2400 -W 1300 -M 7680 ./march_rw HOME/instance-3152714-1301710777.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 2ff4c014ab92fa532c070237e3ac5307
RANDOM SEED=599688172
node118.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.842
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.68
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.842
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.75
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.842
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.74
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.842
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.75
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.842
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.68
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.842
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.75
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.842
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.75
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.842
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 : 5374.59
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 24625996 kB
Buffers: 276272 kB
Cached: 7722732 kB
SwapCached: 640 kB
Active: 4769324 kB
Inactive: 3298116 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 24625996 kB
SwapTotal: 67111528 kB
SwapFree: 67110456 kB
Dirty: 248 kB
Writeback: 0 kB
AnonPages: 67124 kB
Mapped: 15092 kB
Slab: 195080 kB
PageTables: 5196 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 251784 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= 71184 MiB
End job on node118 at 2011-04-02 04:40:32