Trace number 3211585

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT09 reference solver: march_hi hiSAT 3799.5 3799.43

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf
MD5SUM5668e95cadc5ec51544c425c57e1c075
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.029995
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

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 650 variables and 2769 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, 9 satisfied and 0 duplicate clauses
0.00/0.01	c preprocessing fase I completed:: there are now 648 free variables and 2760 clauses.
0.00/0.01	c stat :: sign balance is biased by 0.477
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 161 duplicate clauses
0.00/0.01	c resolvent_look() :: found 81 resolvents
0.00/0.01	c lessRedundantTransformation():: nothing to be done.
0.00/0.01	c transformTo3SAT():: you gave me 650 variables and 2841 clauses.
0.00/0.01	c transformTo3SAT():: by the way, the maximal clause length before transformation was 3.
0.00/0.01	c transformTo3SAT():: I will add 0 variables and 0 clauses!
0.00/0.01	c transformTo3SAT():: the transformation yielded 650 variabels and 2841 clauses.
0.00/0.01	c main():: clause / variable ratio: ( 2841 / 650 ) = 4.37
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 = 648
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: 139
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: 1120
0.19/0.22	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |****************
c |*****************
c |******************
c |********************
c |************************
c |*************************
c |**************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
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: 13485
2.59/2.64	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |********
c |*********
c |**********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 121396
26.39/26.44	c |----------------------------------------------------------------|
c |*
c |**
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 795613
191.49/191.59	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
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: 3935008
1036.31/1036.34	c |----------------------------------------------------------------|
c |*
c |**
c |***
c |****
c |*****
c |******
c |*******
c |********
c |*********
c |**********
c |***********
c |************
c |*************
c |**************
c |***************
c |****************
c |*****************
c |******************
c |*******************
c |********************
c |*********************
c |**********************
c |***********************
c |************************
c |*************************
c |**************************
c |***************************
c |****************************
c |*****************************
c |******************************
c |*******************************
c |********************************
c |*********************************
c |**********************************
c |***********************************
c |************************************
c |*************************************
c |**************************************
c |***************************************
c |****************************************
c |*****************************************
c |******************************************
c |*******************************************
c |********************************************
c |*********************************************
c |**********************************************
c |***********************************************
c |************************************************
c |*************************************************
c |**************************************************
c |***************************************************
c |****************************************************
c |*****************************************************
c |******************************************************
c |*******************************************************
c |********************************************************
c |*********************************************************
c |**********************************************************
c |***********************************************************
c |************************************************************
c |*************************************************************
c |**************************************************************
c |***************************************************************
3799.47/3799.40	c |000000001010000100000000010000000000000110000000000000000000000|
3799.47/3799.40	
c |***************************************************************
3799.47/3799.41	c
3799.47/3799.41	c main():: nodeCount: 13568076
3799.47/3799.41	c main():: dead ends in main: 113529
3799.47/3799.41	c main():: lookAheadCount: 872415124
3799.47/3799.41	c main():: unitResolveCount: 150655457
3799.47/3799.41	c main():: time=-494.917296
3799.47/3799.41	c main():: necessary_assignments: 2590326
3799.47/3799.41	c main():: bin_sat: 0, bin_unsat 0
3799.47/3799.41	c main():: doublelook: #: 34627066, succes #: 17956203
3799.47/3799.41	c main():: doublelook: overall 4.041 of all possible doublelooks executed
3799.47/3799.41	c main():: doublelook: succesrate: 51.856, average DL_trigger: 49.320
3799.47/3799.41	c main():: SOLUTION VERIFIED :-)
3799.47/3799.41	s SATISFIABLE
3799.47/3799.41	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 26 27 -28 30 -31 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 -74 -75 76 -77 -78 -79 -80 81 82 83 84 -85 -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 125 126 -127 -128 129 -130 131 132 133 134 136 -137 138 -139 140 -141 142 -143 -144 145 146 147 148 -149 150 151 152 -153 154 156 -157 -158 -159 -160 161 -162 163 -164 -166 -167 168 169 170 172 173 174 -175 -177 178 -179 180 -181 -183 184 185 186 187 -188 -189 -190 191 192 193 194 -195 -197 198 199 -200 201 202 203 -204 205 -206 207 -208 -209 -210 211 212 -213 -214 215 -216 217 -218 219 -220 -222 -223 224 225 -226 -227 228 229 -231 232 233 234 235 -236 -237 238 239 -240 241 242 -243 -245 -246 247 -248 249 -250 251 -252 -253 -254 255 256 -257 -258 -259 -260 -261 262 263 264 -265 266 267 268 -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 303 -304 -305 306 307 -308 -309 310 -311 313 314 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 -346 347 348 349 -351 -352 353 354 -355 356 357 -358 359 -360 361 362 -363 -364 365 366 367 -368 -369 370 371 372 -373 374 375 376 -377 378 -379 380 -381 382 -383 384 385 -386 387 388 -389 -390 391 -392 393 -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 -429 430 -431 -432 433 434 435 436 -437 438 439 440 441 442 444 -445 446 -448 449 450 451 -452 -454 455 456 -457 -458 -459 460 461 462 463 -464 465 466 -467 -468 -469 470 471 -472 473 -474 -475 -476 -477 478 479 -480 482 -483 484 -485 486 -487 -488 489 -490 -491 492 493 494 495 497 -498 499 500 -501 -502 -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 -554 -555 -556 557 558 -559 -560 -561 562 563 564 565 -566 -567 568 -569 -570 -571 -572 -573 -574 575 -576 -577 578 -579 580 581 -582 -583 584 585 586 587 588 589 590 591 -592 -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 630 631 -632 -633 -634 635 -637 -638 639 640 -641 -642 643 -644 645 646 -647 -648 649 -650 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3211585-1303182152/watcher-3211585-1303182152 -o /tmp/evaluation-result-3211585-1303182152/solver-3211585-1303182152 -C 5000 -W 5000 -M 15500 HOME/march_hi HOME/instance-3211585-1303182152.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.84 1.30 1.12 3/175 3000
/proc/meminfo: memFree=15249484/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=1180 CPUtime=0 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 192 0 0 0 0 0 0 0 25 0 1 0 429814856 1208320 146 33554432000 134512640 135197378 4291428784 18446744073709551615 134649136 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 295 146 65 168 0 126 0

[startup+0.00964901 s]
/proc/loadavg: 1.84 1.30 1.12 3/175 3000
/proc/meminfo: memFree=15249484/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=1180 CPUtime=0 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 207 0 0 0 0 0 0 0 25 0 1 0 429814856 1208320 161 33554432000 134512640 135197378 4291428784 18446744073709551615 134564902 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 295 161 80 168 0 126 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1180

[startup+0.100622 s]
/proc/loadavg: 1.84 1.30 1.12 3/175 3000
/proc/meminfo: memFree=15249484/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=2160 CPUtime=0.09 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 401 0 0 0 9 0 0 0 25 0 1 0 429814856 2211840 355 33554432000 134512640 135197378 4291428784 18446744073709551615 134548531 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 540 355 91 168 0 371 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2160

[startup+0.30063 s]
/proc/loadavg: 1.84 1.30 1.12 3/175 3000
/proc/meminfo: memFree=15249484/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=2304 CPUtime=0.29 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 420 0 0 0 29 0 0 0 25 0 1 0 429814856 2359296 374 33554432000 134512640 135197378 4291428784 18446744073709551615 134542043 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 576 374 91 168 0 407 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2304

[startup+0.700563 s]
/proc/loadavg: 1.84 1.30 1.12 3/175 3000
/proc/meminfo: memFree=15249484/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=2440 CPUtime=0.69 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 466 0 0 0 69 0 0 0 25 0 1 0 429814856 2498560 420 33554432000 134512640 135197378 4291428784 18446744073709551615 134542277 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 610 420 91 168 0 441 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2440

[startup+1.50043 s]
/proc/loadavg: 1.85 1.31 1.13 3/176 3001
/proc/meminfo: memFree=15248120/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=2508 CPUtime=1.49 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 495 0 0 0 149 0 0 0 25 0 1 0 429814856 2568192 449 33554432000 134512640 135197378 4291428784 18446744073709551615 134542176 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 627 449 91 168 0 458 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2508

[startup+3.10112 s]
/proc/loadavg: 1.85 1.31 1.13 3/176 3001
/proc/meminfo: memFree=15247504/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=2940 CPUtime=3.09 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 554 0 0 0 309 0 0 0 25 0 1 0 429814856 3010560 508 33554432000 134512640 135197378 4291428784 18446744073709551615 134649120 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 735 508 91 168 0 566 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2940

[startup+6.30059 s]
/proc/loadavg: 1.87 1.33 1.13 3/176 3001
/proc/meminfo: memFree=15246140/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=3656 CPUtime=6.29 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 684 0 0 0 629 0 0 0 25 0 1 0 429814856 3743744 638 33554432000 134512640 135197378 4291428784 18446744073709551615 134525312 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 914 638 91 168 0 745 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3656

[startup+12.7005 s]
/proc/loadavg: 1.88 1.34 1.13 3/176 3001
/proc/meminfo: memFree=15244668/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=4312 CPUtime=12.69 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 897 0 0 0 1269 0 0 0 25 0 1 0 429814856 4415488 851 33554432000 134512640 135197378 4291428784 18446744073709551615 134542326 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 1078 851 91 168 0 909 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 4312

[startup+25.5003 s]
/proc/loadavg: 1.89 1.36 1.14 3/176 3001
/proc/meminfo: memFree=15241444/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=6524 CPUtime=25.49 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 1304 0 0 0 2549 0 0 0 25 0 1 0 429814856 6680576 1258 33554432000 134512640 135197378 4291428784 18446744073709551615 134541897 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 1631 1258 91 168 0 1462 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6524

[startup+51.1008 s]
/proc/loadavg: 1.93 1.42 1.17 3/176 3002
/proc/meminfo: memFree=15235352/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=11420 CPUtime=51.09 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 2124 0 0 0 5108 1 0 0 25 0 1 0 429814856 11694080 2078 33554432000 134512640 135197378 4291428784 18446744073709551615 134541973 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 2855 2078 91 168 0 2686 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11420

[startup+102.306 s]
/proc/loadavg: 2.02 1.52 1.22 3/176 3003
/proc/meminfo: memFree=15222944/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=16608 CPUtime=102.29 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 3692 0 0 0 10228 1 0 0 25 0 1 0 429814856 17006592 3646 33554432000 134512640 135197378 4291428784 18446744073709551615 134552768 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 4152 3646 91 168 0 3983 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 16608

[startup+162.301 s]
/proc/loadavg: 2.01 1.61 1.26 3/176 3006
/proc/meminfo: memFree=15209668/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=24776 CPUtime=162.29 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 5498 0 0 0 16227 2 0 0 25 0 1 0 429814856 25370624 5452 33554432000 134512640 135197378 4291428784 18446744073709551615 134525324 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 6194 5452 91 168 0 6025 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24776

[startup+222.301 s]
/proc/loadavg: 2.00 1.67 1.31 3/176 3011
/proc/meminfo: memFree=15195628/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=38204 CPUtime=222.29 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 7232 0 0 0 22227 2 0 0 25 0 1 0 429814856 39120896 7186 33554432000 134512640 135197378 4291428784 18446744073709551615 134542341 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 9551 7186 91 168 0 9382 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 38204

[startup+282.301 s]
/proc/loadavg: 2.00 1.73 1.35 3/176 3013
/proc/meminfo: memFree=15182640/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=51300 CPUtime=282.29 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 8998 0 0 0 28226 3 0 0 25 0 1 0 429814856 52531200 8952 33554432000 134512640 135197378 4291428784 18446744073709551615 134539266 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 12825 8952 91 168 0 12656 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 51300

[startup+342.3 s]
/proc/loadavg: 2.00 1.78 1.38 3/176 3014
/proc/meminfo: memFree=15169108/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=51432 CPUtime=342.29 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 10757 0 0 0 34226 3 0 0 25 0 1 0 429814856 52666368 10711 33554432000 134512640 135197378 4291428784 18446744073709551615 134541254 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 12858 10711 91 168 0 12689 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 51432

[startup+402.301 s]
/proc/loadavg: 2.04 1.83 1.42 3/176 3015
/proc/meminfo: memFree=15156080/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=51432 CPUtime=402.29 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 12480 0 0 0 40226 3 0 0 25 0 1 0 429814856 52666368 12434 33554432000 134512640 135197378 4291428784 18446744073709551615 134539266 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 12858 12434 91 168 0 12689 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 51432

[startup+462.301 s]
/proc/loadavg: 2.01 1.86 1.46 3/176 3017
/proc/meminfo: memFree=15142928/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=80464 CPUtime=462.3 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 14221 0 0 0 46226 4 0 0 25 0 1 0 429814856 82395136 14175 33554432000 134512640 135197378 4291428784 18446744073709551615 134542035 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 20116 14175 91 168 0 19947 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 80464

[startup+522.301 s]
/proc/loadavg: 2.00 1.88 1.49 3/176 3019
/proc/meminfo: memFree=15130140/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=80464 CPUtime=522.3 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 15947 0 0 0 52226 4 0 0 25 0 1 0 429814856 82395136 15901 33554432000 134512640 135197378 4291428784 18446744073709551615 134542220 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 20116 15901 91 168 0 19947 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 80464

[startup+582.301 s]
/proc/loadavg: 2.00 1.90 1.52 3/176 3021
/proc/meminfo: memFree=15117108/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=80464 CPUtime=582.3 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 17622 0 0 0 58225 5 0 0 25 0 1 0 429814856 82395136 17576 33554432000 134512640 135197378 4291428784 18446744073709551615 134525423 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 20116 17576 91 168 0 19947 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 80464

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=14578236/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=451616 CPUtime=3222.35 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 89290 0 0 0 322208 27 0 0 25 0 1 0 429814856 462454784 89244 33554432000 134512640 135197378 4291428784 18446744073709551615 134542058 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 112904 89244 91 168 0 112735 0
Current children cumulated CPU time (s) 3222.35
Current children cumulated vsize (KiB) 451616

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3096
/proc/meminfo: memFree=14567432/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=451616 CPUtime=3282.36 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 90788 0 0 0 328209 27 0 0 25 0 1 0 429814856 462454784 90742 33554432000 134512640 135197378 4291428784 18446744073709551615 134572716 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 112904 90742 91 168 0 112735 0
Current children cumulated CPU time (s) 3282.36
Current children cumulated vsize (KiB) 451616

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3097
/proc/meminfo: memFree=14554880/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=451616 CPUtime=3342.35 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 92434 0 0 0 334208 27 0 0 25 0 1 0 429814856 462454784 92388 33554432000 134512640 135197378 4291428784 18446744073709551615 134542043 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 112904 92388 91 168 0 112735 0
Current children cumulated CPU time (s) 3342.35
Current children cumulated vsize (KiB) 451616

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3098
/proc/meminfo: memFree=14542100/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=451616 CPUtime=3402.36 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 94085 0 0 0 340208 28 0 0 25 0 1 0 429814856 462454784 94039 33554432000 134512640 135197378 4291428784 18446744073709551615 134552704 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 112904 94039 91 168 0 112735 0
Current children cumulated CPU time (s) 3402.36
Current children cumulated vsize (KiB) 451616

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3100
/proc/meminfo: memFree=14529812/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=451616 CPUtime=3462.36 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 95705 0 0 0 346208 28 0 0 25 0 1 0 429814856 462454784 95659 33554432000 134512640 135197378 4291428784 18446744073709551615 134541997 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 112904 95659 91 168 0 112735 0
Current children cumulated CPU time (s) 3462.36
Current children cumulated vsize (KiB) 451616

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3114
/proc/meminfo: memFree=14516976/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=451616 CPUtime=3522.36 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 97315 0 0 0 352208 28 0 0 25 0 1 0 429814856 462454784 97269 33554432000 134512640 135197378 4291428784 18446744073709551615 134611966 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 112904 97269 91 168 0 112735 0
Current children cumulated CPU time (s) 3522.36
Current children cumulated vsize (KiB) 451616

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3116
/proc/meminfo: memFree=14505048/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=600792 CPUtime=3582.35 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 98838 0 0 0 358206 29 0 0 25 0 1 0 429814856 615211008 98792 33554432000 134512640 135197378 4291428784 18446744073709551615 134542160 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 150198 98792 91 168 0 150029 0
Current children cumulated CPU time (s) 3582.35
Current children cumulated vsize (KiB) 600792

[startup+3642.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3117
/proc/meminfo: memFree=14492760/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=600792 CPUtime=3642.36 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 100419 0 0 0 364205 31 0 0 25 0 1 0 429814856 615211008 100373 33554432000 134512640 135197378 4291428784 18446744073709551615 134539276 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 150198 100373 91 168 0 150029 0
Current children cumulated CPU time (s) 3642.36
Current children cumulated vsize (KiB) 600792

[startup+3702.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3119
/proc/meminfo: memFree=14481348/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=600792 CPUtime=3702.36 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 101998 0 0 0 370205 31 0 0 25 0 1 0 429814856 615211008 101952 33554432000 134512640 135197378 4291428784 18446744073709551615 134539269 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 150198 101952 91 168 0 150029 0
Current children cumulated CPU time (s) 3702.36
Current children cumulated vsize (KiB) 600792

[startup+3762.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3121
/proc/meminfo: memFree=14469672/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=600792 CPUtime=3762.36 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 103508 0 0 0 376205 31 0 0 25 0 1 0 429814856 615211008 103462 33554432000 134512640 135197378 4291428784 18446744073709551615 134542043 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 150198 103462 91 168 0 150029 0
Current children cumulated CPU time (s) 3762.36
Current children cumulated vsize (KiB) 600792

Solver just ended. Dumping a history of the last processes samples

[startup+3763.11 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3121
/proc/meminfo: memFree=14469424/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=600792 CPUtime=3763.17 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 103530 0 0 0 376286 31 0 0 25 0 1 0 429814856 615211008 103484 33554432000 134512640 135197378 4291428784 18446744073709551615 134552735 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 150198 103484 91 168 0 150029 0
Current children cumulated CPU time (s) 3763.17
Current children cumulated vsize (KiB) 600792

[startup+3775.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3121
/proc/meminfo: memFree=14467068/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=600792 CPUtime=3775.96 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 103873 0 0 0 377565 31 0 0 25 0 1 0 429814856 615211008 103827 33554432000 134512640 135197378 4291428784 18446744073709551615 134593935 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 150198 103827 91 168 0 150029 0
Current children cumulated CPU time (s) 3775.96
Current children cumulated vsize (KiB) 600792

[startup+3788.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3122
/proc/meminfo: memFree=14464452/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=600792 CPUtime=3788.76 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 104206 0 0 0 378845 31 0 0 25 0 1 0 429814856 615211008 104160 33554432000 134512640 135197378 4291428784 18446744073709551615 134552722 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 150198 104160 91 168 0 150029 0
Current children cumulated CPU time (s) 3788.76
Current children cumulated vsize (KiB) 600792

[startup+3795.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3122
/proc/meminfo: memFree=14463212/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=600792 CPUtime=3795.16 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 104387 0 0 0 379485 31 0 0 25 0 1 0 429814856 615211008 104341 33554432000 134512640 135197378 4291428784 18446744073709551615 134525416 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 150198 104341 91 168 0 150029 0
Current children cumulated CPU time (s) 3795.16
Current children cumulated vsize (KiB) 600792

[startup+3796.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3122
/proc/meminfo: memFree=14462964/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=600792 CPUtime=3796.76 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 104429 0 0 0 379645 31 0 0 25 0 1 0 429814856 615211008 104383 33554432000 134512640 135197378 4291428784 18446744073709551615 134552743 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 150198 104383 91 168 0 150029 0
Current children cumulated CPU time (s) 3796.76
Current children cumulated vsize (KiB) 600792

[startup+3798.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3124
/proc/meminfo: memFree=14462712/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=600792 CPUtime=3798.37 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 104475 0 0 0 379806 31 0 0 25 0 1 0 429814856 615211008 104429 33554432000 134512640 135197378 4291428784 18446744073709551615 134552490 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 150198 104429 91 168 0 150029 0
Current children cumulated CPU time (s) 3798.37
Current children cumulated vsize (KiB) 600792

[startup+3799.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3124
/proc/meminfo: memFree=14462712/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=600792 CPUtime=3799.16 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 104497 0 0 0 379885 31 0 0 25 0 1 0 429814856 615211008 104451 33554432000 134512640 135197378 4291428784 18446744073709551615 134570748 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 150198 104451 91 168 0 150029 0
Current children cumulated CPU time (s) 3799.16
Current children cumulated vsize (KiB) 600792

[startup+3799.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3124
/proc/meminfo: memFree=14462464/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=600792 CPUtime=3799.36 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 104503 0 0 0 379905 31 0 0 25 0 1 0 429814856 615211008 104457 33554432000 134512640 135197378 4291428784 18446744073709551615 134542196 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 150198 104457 91 168 0 150029 0
Current children cumulated CPU time (s) 3799.36
Current children cumulated vsize (KiB) 600792

[startup+3799.41 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 3124
/proc/meminfo: memFree=14462464/32951132 swapFree=67111528/67111528
[pid=3000] ppid=2998 vsize=600792 CPUtime=3799.47 cores=0,2,4,6
/proc/3000/stat : 3000 (march_hi) R 2998 3000 2826 0 -1 4202496 104506 0 0 0 379916 31 0 0 25 0 1 0 429814856 615211008 104460 33554432000 134512640 135197378 4291428784 18446744073709551615 134542050 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3000/statm: 150198 104460 91 168 0 150029 0
Current children cumulated CPU time (s) 3799.47
Current children cumulated vsize (KiB) 600792

Child status: 10
Real time (s): 3799.43
CPU time (s): 3799.5
CPU user time (s): 3799.16
CPU system time (s): 0.338948
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 600792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3799.16
system time used= 0.338948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104523
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 4637

runsolver used 5.52516 second user time and 11.7532 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-19 05:02:32
IDJOB=3211585
IDBENCH=83045
IDSOLVER=1627
FILE ID=node131/3211585-1303182152
RUNJOBID= node131-1303182030-2844
PBS_JOBID= 13021071
Free space on /tmp= 73628 MiB

SOLVER NAME= SAT09 reference solver: march_hi hi
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf
COMMAND LINE= HOME/march_hi BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3211585-1303182152/watcher-3211585-1303182152 -o /tmp/evaluation-result-3211585-1303182152/solver-3211585-1303182152 -C 5000 -W 5000 -M 15500  HOME/march_hi HOME/instance-3211585-1303182152.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 5668e95cadc5ec51544c425c57e1c075
RANDOM SEED=528828991

node131.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.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.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.83
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.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.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.77
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.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.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.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.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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      15249656 kB
Buffers:        519828 kB
Cached:       16784424 kB
SwapCached:          0 kB
Active:        7539276 kB
Inactive:      9841428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      15249656 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             824 kB
Writeback:           0 kB
AnonPages:       75920 kB
Mapped:          15668 kB
Slab:           259336 kB
PageTables:       4372 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   222616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73624 MiB
End job on node131 at 2011-04-19 06:05:52