Trace number 3322520

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
claspmt 2.0-R4095SAT 2313.88 289.785

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
32/aes_32_3_keyfind_1.cnf
MD5SUM278d646386a62d4f28f7fc390c5eab3e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark35.2686
Satisfiable
(Un)Satisfiability was proved
Number of variables708
Number of clauses2664
Sum of the clauses size8392
Maximum clause length5
Minimum clause length1
Number of clauses of size 176
Number of clauses of size 2120
Number of clauses of size 31856
Number of clauses of size 4552
Number of clauses of size 560
Number of clauses of size over 50

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...387755/instance-3322520-1304387755.cnf
0.00/0.00	c Solving...
2313.27/289.77	c Answer: 1
2313.27/289.77	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
2313.27/289.77	v 25 -26 -27 -28 -29 30 -31 32 33 34 35 36 37 38 -39 -40 -41 -42 -43 -44
2313.27/289.77	v -45 46 47 48 -49 -50 -51 -52 53 54 -55 56 -57 -58 -59 60 61 62 -63 -64
2313.27/289.77	v -65 -66 67 68 -69 70 -71 72 73 -74 -75 -76 77 78 -79 80 81 -82 83 -84 85
2313.27/289.77	v -86 -87 88 -89 90 91 -92 -93 -94 95 96 97 -98 99 -100 -101 -102 103 104
2313.27/289.77	v 105 -106 107 108 109 110 111 -112 113 114 -115 -116 -117 118 119 -120 121
2313.27/289.77	v -122 -123 124 125 -126 -127 128 129 130 131 132 133 -134 135 -136 -137
2313.27/289.77	v 138 -139 -140 -141 -142 143 -144 -145 -146 -147 148 149 150 151 152 -153
2313.27/289.77	v -154 -155 -156 -157 158 -159 -160 -161 162 -163 164 165 -166 -167 -168
2313.27/289.77	v 169 170 -171 -172 173 -174 175 176 177 178 179 -180 181 -182 183 -184 185
2313.27/289.77	v 186 187 188 -189 190 191 -192 193 194 -195 196 -197 198 199 200 201 202
2313.27/289.77	v -203 204 -205 -206 -207 -208 209 210 -211 212 213 214 -215 216 217 218
2313.27/289.77	v -219 -220 -221 -222 -223 224 -225 226 -227 -228 -229 230 -231 -232 233
2313.27/289.77	v -234 -235 236 -237 238 -239 -240 -241 242 -243 -244 245 -246 -247 248 249
2313.27/289.77	v -250 -251 -252 253 -254 -255 -256 257 -258 -259 260 261 262 -263 264 -265
2313.27/289.77	v -266 -267 -268 269 -270 -271 272 -273 274 -275 -276 -277 -278 -279 -280
2313.27/289.77	v 281 282 -283 -284 285 -286 -287 -288 289 -290 291 -292 293 -294 -295 -296
2313.27/289.77	v 297 -298 -299 -300 -301 302 -303 -304 305 306 307 -308 309 -310 -311 312
2313.27/289.77	v 313 -314 315 -316 317 -318 319 320 321 322 323 -324 325 326 -327 -328 -329
2313.27/289.77	v -330 331 332 333 334 335 336 -337 -338 -339 -340 -341 342 343 344 345 -346
2313.27/289.77	v -347 -348 349 -350 -351 352 -353 354 355 356 357 358 359 360 361 -362 363
2313.27/289.77	v 364 -365 -366 -367 368 -369 -370 371 -372 -373 374 375 -376 377 378 -379
2313.27/289.77	v 380 -381 382 -383 384 385 -386 -387 388 -389 -390 -391 -392 393 394 395
2313.27/289.77	v -396 -397 -398 -399 -400 401 -402 -403 -404 -405 -406 407 408 -409 -410
2313.27/289.77	v -411 412 413 -414 415 416 -417 -418 -419 420 421 422 -423 -424 -425 426
2313.27/289.77	v -427 428 429 430 431 432 433 -434 435 -436 -437 -438 439 440 -441 442 443
2313.27/289.77	v 444 445 446 447 -448 449 -450 -451 -452 -453 454 -455 456 -457 -458 459
2313.27/289.77	v -460 461 -462 -463 -464 465 -466 467 468 -469 -470 471 -472 -473 474 475
2313.27/289.77	v -476 477 478 479 480 481 482 483 484 -485 -486 487 488 489 -490 491 -492
2313.27/289.77	v 493 -494 495 496 497 -498 499 500 -501 502 -503 -504 -505 -506 507 508
2313.27/289.77	v -509 510 511 -512 -513 514 515 -516 -517 518 -519 520 -521 522 -523 -524
2313.27/289.77	v 525 526 527 -528 -529 -530 531 -532 533 534 -535 -536 537 538 -539 540
2313.27/289.77	v 541 -542 543 -544 -545 -546 547 -548 549 550 -551 552 553 -554 -555 556
2313.27/289.77	v -557 -558 559 -560 561 562 -563 -564 -565 -566 567 -568 569 570 -571 -572
2313.27/289.77	v -573 574 -575 576 577 578 579 580 -581 -582 -583 -584 585 586 -587 -588
2313.27/289.77	v -589 590 591 592 -593 -594 595 596 597 598 -599 600 601 602 -603 604 -605
2313.27/289.77	v 606 -607 -608 -609 -610 -611 -612 613 614 -615 616 -617 -618 -619 -620
2313.27/289.77	v -621 -622 623 -624 625 -626 -627 628 629 -630 631 632 633 634 635 -636
2313.27/289.77	v -637 638 639 640 -641 642 -643 -644 -645 646 647 -648 649 -650 -651 652
2313.27/289.77	v -653 654 -655 656 657 658 -659 -660 661 -662 -663 664 665 -666 -667 -668
2313.27/289.77	v -669 670 -671 -672 -673 -674 -675 676 -677 -678 679 -680 -681 682 -683
2313.27/289.77	v -684 -685 -686 687 688 689 -690 691 692 693 -694 695 696 -697 -698 699
2313.27/289.77	v 700 701 -702 -703 704 705 -706 -707 708 0
2313.27/289.78	s SATISFIABLE
2313.27/289.78	
2313.27/289.78	c Models        : 1+    
2313.27/289.78	c Time          : 289.771s (Solving: 289.77s 1st Model: 289.77s Unsat: 0.00s)
2313.27/289.78	c CPU Time      : 2313.860s

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-3322520-1304387755/watcher-3322520-1304387755 -o /tmp/evaluation-result-3322520-1304387755/solver-3322520-1304387755 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322520-1304387755.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.04 8.00 8.00 1/359 17445
/proc/meminfo: memFree=6904736/32951124 swapFree=61020464/67111528
[pid=17445] ppid=17443 vsize=185656 CPUtime=0.01 cores=0-7
/proc/17445/stat : 17445 (claspmt) R 17443 17445 17373 0 -1 4202496 1164 0 0 0 1 0 0 0 25 0 8 0 629006165 190111744 1052 33554432000 4194304 4964704 140735356059920 18446744073709551615 224296751797 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/17445/statm: 46414 1052 458 189 0 40763 0
[pid=17445/tid=17446] ppid=17443 vsize=185656 CPUtime=0 cores=0-7
/proc/17445/task/17446/stat : 17446 (claspmt) R 17443 17445 17373 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 8 0 629006166 190111744 1053 33554432000 4194304 4964704 140735356059920 18446744073709551615 224284586693 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17445/tid=17447] ppid=17443 vsize=185656 CPUtime=0 cores=0-7
/proc/17445/task/17447/stat : 17447 (claspmt) R 17443 17445 17373 0 -1 4202560 63 0 0 0 0 0 0 0 18 0 8 0 629006166 190111744 1053 33554432000 4194304 4964704 140735356059920 18446744073709551615 224284587041 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17445/tid=17448] ppid=17443 vsize=185656 CPUtime=0 cores=0-7
/proc/17445/task/17448/stat : 17448 (claspmt) R 17443 17445 17373 0 -1 4202560 61 0 0 0 0 0 0 0 18 0 8 0 629006166 190111744 1053 33554432000 4194304 4964704 140735356059920 18446744073709551615 4378505 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17449] ppid=17443 vsize=185656 CPUtime=0 cores=0-7
/proc/17445/task/17449/stat : 17449 (claspmt) R 17443 17445 17373 0 -1 4202560 55 0 0 0 0 0 0 0 25 0 8 0 629006166 190111744 1055 33554432000 4194304 4964704 140735356059920 18446744073709551615 224284586693 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17445/tid=17450] ppid=17443 vsize=185656 CPUtime=0 cores=0-7
/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 60 0 0 0 0 0 0 0 17 0 8 0 629006166 190111744 1055 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670354 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=185656 CPUtime=0 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) R 17443 17445 17373 0 -1 4202560 74 0 0 0 0 0 0 0 25 0 8 0 629006166 190111744 1055 33554432000 4194304 4964704 140735356059920 18446744073709551615 4661017 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=185656 CPUtime=0 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 60 0 0 0 0 0 0 0 25 0 8 0 629006166 190111744 1055 33554432000 4194304 4964704 140735356059920 18446744073709551615 224296741785 0 0 4096 18946 0 0 0 -1 0 0 0 0

[startup+0.0536471 s]
/proc/loadavg: 8.04 8.00 8.00 1/359 17445
/proc/meminfo: memFree=6904736/32951124 swapFree=61020464/67111528
[pid=17445] ppid=17443 vsize=251468 CPUtime=0.97 cores=0-7
/proc/17445/stat : 17445 (claspmt) R 17443 17445 17373 0 -1 4202496 1649 0 0 0 97 0 0 0 18 0 8 0 629006165 257503232 1537 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17445/statm: 62900 1621 464 189 0 57249 0
[pid=17445/tid=17446] ppid=17443 vsize=251600 CPUtime=0.25 cores=0-7
/proc/17445/task/17446/stat : 17446 (claspmt) R 17443 17445 17373 0 -1 4202560 142 0 0 0 25 0 0 0 18 0 8 0 629006166 257638400 1710 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17445/tid=17447] ppid=17443 vsize=251732 CPUtime=0.3 cores=0-7
/proc/17445/task/17447/stat : 17447 (claspmt) R 17443 17445 17373 0 -1 4202560 188 0 0 0 30 0 0 0 18 0 8 0 629006166 257773568 1769 33554432000 4194304 4964704 140735356059920 18446744073709551615 224284593024 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17445/tid=17448] ppid=17443 vsize=251864 CPUtime=0.42 cores=0-7
/proc/17445/task/17448/stat : 17448 (claspmt) R 17443 17445 17373 0 -1 4202560 158 0 0 0 42 0 0 0 18 0 8 0 629006166 257908736 1883 33554432000 4194304 4964704 140735356059920 18446744073709551615 224285030943 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17445/tid=17449] ppid=17443 vsize=252020 CPUtime=0.51 cores=0-7
/proc/17445/task/17449/stat : 17449 (claspmt) R 17443 17445 17373 0 -1 4202560 157 0 0 0 51 0 0 0 18 0 8 0 629006166 258068480 2046 33554432000 4194304 4964704 140735356059920 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17445/tid=17450] ppid=17443 vsize=252020 CPUtime=0.53 cores=0-7
/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 163 0 0 0 53 0 0 0 18 0 8 0 629006166 258068480 2047 33554432000 4194304 4964704 140735356059920 18446744073709551615 4668632 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=252416 CPUtime=0.86 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) S 17443 17445 17373 0 -1 4202560 198 0 0 0 86 0 0 0 18 0 8 0 629006166 258473984 2375 33554432000 4194304 4964704 140735356059920 18446744073709551615 224285030894 0 0 4096 18946 18446604471117113536 0 0 -1 7 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=252564 CPUtime=1 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 261 0 0 0 100 0 0 0 19 0 8 0 629006166 258625536 2452 33554432000 4194304 4964704 140735356059920 18446744073709551615 4660837 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 251468

[startup+1.09178 s]
/proc/loadavg: 8.04 8.00 8.00 1/359 17445
/proc/meminfo: memFree=6904736/32951124 swapFree=61020464/67111528
[pid=17445] ppid=17443 vsize=252564 CPUtime=8.85 cores=0-7
/proc/17445/stat : 17445 (claspmt) R 17443 17445 17373 0 -1 4202496 2681 0 0 0 884 1 0 0 18 0 8 0 629006165 258625536 2569 33554432000 4194304 4964704 140735356059920 18446744073709551615 224284593024 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17445/statm: 63141 2569 464 189 0 57490 0
[pid=17445/tid=17446] ppid=17443 vsize=252564 CPUtime=1.11 cores=0-7
/proc/17445/task/17446/stat : 17446 (claspmt) R 17443 17445 17373 0 -1 4202560 274 0 0 0 111 0 0 0 19 0 8 0 629006166 258625536 2569 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669410 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17445/tid=17447] ppid=17443 vsize=252564 CPUtime=1.1 cores=0-7
/proc/17445/task/17447/stat : 17447 (claspmt) R 17443 17445 17373 0 -1 4202560 350 0 0 0 110 0 0 0 19 0 8 0 629006166 258625536 2569 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669112 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17445/tid=17448] ppid=17443 vsize=252564 CPUtime=1.09 cores=0-7
/proc/17445/task/17448/stat : 17448 (claspmt) R 17443 17445 17373 0 -1 4202560 219 0 0 0 109 0 0 0 19 0 8 0 629006166 258625536 2569 33554432000 4194304 4964704 140735356059920 18446744073709551615 224285030943 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17445/tid=17449] ppid=17443 vsize=252564 CPUtime=1.09 cores=0-7
/proc/17445/task/17449/stat : 17449 (claspmt) R 17443 17445 17373 0 -1 4202560 205 0 0 0 109 0 0 0 19 0 8 0 629006166 258625536 2569 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670258 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17445/tid=17450] ppid=17443 vsize=252564 CPUtime=1.11 cores=0-7
/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 219 0 0 0 111 0 0 0 19 0 8 0 629006166 258625536 2569 33554432000 4194304 4964704 140735356059920 18446744073709551615 224285030943 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=252564 CPUtime=1.1 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) R 17443 17445 17373 0 -1 4202560 225 0 0 0 110 0 0 0 19 0 8 0 629006166 258625536 2569 33554432000 4194304 4964704 140735356059920 18446744073709551615 4684024 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=252564 CPUtime=1.1 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 271 0 0 0 110 0 0 0 19 0 8 0 629006166 258625536 2569 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 8.85
Current children cumulated vsize (KiB) 252564

[startup+1.19689 s]
/proc/loadavg: 8.04 8.00 8.00 1/359 17445
/proc/meminfo: memFree=6904736/32951124 swapFree=61020464/67111528
[pid=17445] ppid=17443 vsize=252564 CPUtime=9.42 cores=0-7
/proc/17445/stat : 17445 (claspmt) R 17443 17445 17373 0 -1 4202496 2712 0 0 0 941 1 0 0 18 0 8 0 629006165 258625536 2600 33554432000 4194304 4964704 140735356059920 18446744073709551615 4332076 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17445/statm: 63141 2604 464 189 0 57490 0
[pid=17445/tid=17446] ppid=17443 vsize=252564 CPUtime=1.21 cores=0-7
/proc/17445/task/17446/stat : 17446 (claspmt) R 17443 17445 17373 0 -1 4202560 284 0 0 0 121 0 0 0 19 0 8 0 629006166 258625536 2604 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17445/tid=17447] ppid=17443 vsize=252564 CPUtime=1.2 cores=0-7
/proc/17445/task/17447/stat : 17447 (claspmt) R 17443 17445 17373 0 -1 4202560 353 0 0 0 120 0 0 0 19 0 8 0 629006166 258625536 2604 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17445/tid=17448] ppid=17443 vsize=252564 CPUtime=1.19 cores=0-7
/proc/17445/task/17448/stat : 17448 (claspmt) R 17443 17445 17373 0 -1 4202560 221 0 0 0 119 0 0 0 19 0 8 0 629006166 258625536 2604 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17445/tid=17449] ppid=17443 vsize=252564 CPUtime=1.19 cores=0-7
/proc/17445/task/17449/stat : 17449 (claspmt) R 17443 17445 17373 0 -1 4202560 220 0 0 0 119 0 0 0 19 0 8 0 629006166 258625536 2604 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17445/tid=17450] ppid=17443 vsize=252564 CPUtime=1.21 cores=0-7
/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 219 0 0 0 121 0 0 0 19 0 8 0 629006166 258625536 2604 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=252564 CPUtime=1.2 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) R 17443 17445 17373 0 -1 4202560 225 0 0 0 120 0 0 0 19 0 8 0 629006166 258625536 2604 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670339 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=252564 CPUtime=1.2 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 274 0 0 0 120 0 0 0 19 0 8 0 629006166 258625536 2604 33554432000 4194304 4964704 140735356059920 18446744073709551615 4365995 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 9.42
Current children cumulated vsize (KiB) 252564

[startup+1.26416 s]
/proc/loadavg: 8.04 8.00 8.00 1/359 17445
/proc/meminfo: memFree=6904736/32951124 swapFree=61020464/67111528
[pid=17445] ppid=17443 vsize=252696 CPUtime=10.44 cores=0-7
/proc/17445/stat : 17445 (claspmt) R 17443 17445 17373 0 -1 4202496 2753 0 0 0 1043 1 0 0 18 0 8 0 629006165 258760704 2641 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670241 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17445/statm: 63174 2641 464 189 0 57523 0
[pid=17445/tid=17446] ppid=17443 vsize=252696 CPUtime=1.31 cores=0-7
/proc/17445/task/17446/stat : 17446 (claspmt) R 17443 17445 17373 0 -1 4202560 288 0 0 0 131 0 0 0 19 0 8 0 629006166 258760704 2641 33554432000 4194304 4964704 140735356059920 18446744073709551615 4320905 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17445/tid=17447] ppid=17443 vsize=252696 CPUtime=1.3 cores=0-7
/proc/17445/task/17447/stat : 17447 (claspmt) R 17443 17445 17373 0 -1 4202560 360 0 0 0 130 0 0 0 19 0 8 0 629006166 258760704 2641 33554432000 4194304 4964704 140735356059920 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17445/tid=17448] ppid=17443 vsize=252696 CPUtime=1.29 cores=0-7
/proc/17445/task/17448/stat : 17448 (claspmt) R 17443 17445 17373 0 -1 4202560 228 0 0 0 129 0 0 0 19 0 8 0 629006166 258760704 2641 33554432000 4194304 4964704 140735356059920 18446744073709551615 4321061 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17445/tid=17449] ppid=17443 vsize=252696 CPUtime=1.29 cores=0-7
/proc/17445/task/17449/stat : 17449 (claspmt) R 17443 17445 17373 0 -1 4202560 224 0 0 0 129 0 0 0 19 0 8 0 629006166 258760704 2641 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17445/tid=17450] ppid=17443 vsize=252696 CPUtime=1.31 cores=0-7
/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 220 0 0 0 131 0 0 0 19 0 8 0 629006166 258760704 2641 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669296 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=252696 CPUtime=1.3 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) R 17443 17445 17373 0 -1 4202560 230 0 0 0 130 0 0 0 19 0 8 0 629006166 258760704 2641 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=252696 CPUtime=1.3 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 283 0 0 0 130 0 0 0 19 0 8 0 629006166 258760704 2641 33554432000 4194304 4964704 140735356059920 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.44
Current children cumulated vsize (KiB) 252696

[startup+1.51166 s]
/proc/loadavg: 8.04 8.00 8.00 1/359 17445
/proc/meminfo: memFree=6904736/32951124 swapFree=61020464/67111528
[pid=17445] ppid=17443 vsize=252696 CPUtime=12.04 cores=0-7
/proc/17445/stat : 17445 (claspmt) R 17443 17445 17373 0 -1 4202496 2838 0 0 0 1203 1 0 0 19 0 8 0 629006165 258760704 2726 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669480 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17445/statm: 63174 2726 464 189 0 57523 0
[pid=17445/tid=17446] ppid=17443 vsize=252696 CPUtime=1.5 cores=0-7
/proc/17445/task/17446/stat : 17446 (claspmt) R 17443 17445 17373 0 -1 4202560 305 0 0 0 150 0 0 0 20 0 8 0 629006166 258760704 2726 33554432000 4194304 4964704 140735356059920 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17445/tid=17447] ppid=17443 vsize=252696 CPUtime=1.5 cores=0-7
/proc/17445/task/17447/stat : 17447 (claspmt) R 17443 17445 17373 0 -1 4202560 375 0 0 0 150 0 0 0 20 0 8 0 629006166 258760704 2726 33554432000 4194304 4964704 140735356059920 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17445/tid=17448] ppid=17443 vsize=252696 CPUtime=1.49 cores=0-7
/proc/17445/task/17448/stat : 17448 (claspmt) R 17443 17445 17373 0 -1 4202560 244 0 0 0 149 0 0 0 20 0 8 0 629006166 258760704 2726 33554432000 4194304 4964704 140735356059920 18446744073709551615 4653558 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17445/tid=17449] ppid=17443 vsize=252696 CPUtime=1.49 cores=0-7
/proc/17445/task/17449/stat : 17449 (claspmt) R 17443 17445 17373 0 -1 4202560 234 0 0 0 149 0 0 0 20 0 8 0 629006166 258760704 2726 33554432000 4194304 4964704 140735356059920 18446744073709551615 4668686 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17445/tid=17450] ppid=17443 vsize=252696 CPUtime=1.51 cores=0-7
/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 222 0 0 0 151 0 0 0 20 0 8 0 629006166 258760704 2726 33554432000 4194304 4964704 140735356059920 18446744073709551615 4684638 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=252696 CPUtime=1.5 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) R 17443 17445 17373 0 -1 4202560 237 0 0 0 150 0 0 0 20 0 8 0 629006166 258760704 2726 33554432000 4194304 4964704 140735356059920 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=252696 CPUtime=1.5 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 290 0 0 0 150 0 0 0 20 0 8 0 629006166 258760704 2726 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.04
Current children cumulated vsize (KiB) 252696

[startup+3.10026 s]
/proc/loadavg: 8.12 8.02 8.01 9/367 17453
/proc/meminfo: memFree=6892836/32951124 swapFree=61020464/67111528
[pid=17445] ppid=17443 vsize=253504 CPUtime=24.72 cores=0-7
/proc/17445/stat : 17445 (claspmt) R 17443 17445 17373 0 -1 4202496 3633 0 0 0 2469 3 0 0 19 0 8 0 629006165 259588096 3521 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670243 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17445/statm: 63376 3521 464 189 0 57725 0
[pid=17445/tid=17446] ppid=17443 vsize=253504 CPUtime=3.08 cores=0-7
/proc/17445/task/17446/stat : 17446 (claspmt) R 17443 17445 17373 0 -1 4202560 457 0 0 0 308 0 0 0 25 0 8 0 629006166 259588096 3521 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17445/tid=17447] ppid=17443 vsize=253504 CPUtime=3.09 cores=0-7
/proc/17445/task/17447/stat : 17447 (claspmt) R 17443 17445 17373 0 -1 4202560 562 0 0 0 309 0 0 0 25 0 8 0 629006166 259588096 3521 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17445/tid=17448] ppid=17443 vsize=253504 CPUtime=3.08 cores=0-7
/proc/17445/task/17448/stat : 17448 (claspmt) R 17443 17445 17373 0 -1 4202560 322 0 0 0 308 0 0 0 19 0 8 0 629006166 259588096 3521 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670011 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17445/tid=17449] ppid=17443 vsize=253504 CPUtime=3.08 cores=0-7
/proc/17445/task/17449/stat : 17449 (claspmt) R 17443 17445 17373 0 -1 4202560 382 0 0 0 308 0 0 0 25 0 8 0 629006166 259588096 3521 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670288 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17445/tid=17450] ppid=17443 vsize=253504 CPUtime=3.09 cores=0-7
/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 259 0 0 0 309 0 0 0 25 0 8 0 629006166 259588096 3521 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=253504 CPUtime=3.05 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) R 17443 17445 17373 0 -1 4202560 308 0 0 0 305 0 0 0 25 0 8 0 629006166 259588096 3521 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669015 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=253504 CPUtime=3.09 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 353 0 0 0 309 0 0 0 19 0 8 0 629006166 259588096 3521 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670281 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.72
Current children cumulated vsize (KiB) 253504

[startup+6.30072 s]
/proc/loadavg: 8.12 8.02 8.01 9/367 17453
/proc/meminfo: memFree=6890488/32951124 swapFree=61020464/67111528
[pid=17445] ppid=17443 vsize=254472 CPUtime=50.17 cores=0-7
/proc/17445/stat : 17445 (claspmt) R 17443 17445 17373 0 -1 4202496 4487 0 0 0 5013 4 0 0 25 0 8 0 629006165 260579328 4375 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670184 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17445/statm: 63618 4375 464 189 0 57967 0
[pid=17445/tid=17446] ppid=17443 vsize=254472 CPUtime=6.27 cores=0-7
/proc/17445/task/17446/stat : 17446 (claspmt) R 17443 17445 17373 0 -1 4202560 649 0 0 0 627 0 0 0 25 0 8 0 629006166 260579328 4375 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17445/tid=17447] ppid=17443 vsize=254472 CPUtime=6.27 cores=0-7
/proc/17445/task/17447/stat : 17447 (claspmt) R 17443 17445 17373 0 -1 4202560 706 0 0 0 627 0 0 0 18 0 8 0 629006166 260579328 4375 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17445/tid=17448] ppid=17443 vsize=254472 CPUtime=6.26 cores=0-7
/proc/17445/task/17448/stat : 17448 (claspmt) R 17443 17445 17373 0 -1 4202560 407 0 0 0 626 0 0 0 25 0 8 0 629006166 260579328 4375 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669196 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17445/tid=17449] ppid=17443 vsize=254472 CPUtime=6.26 cores=0-7
/proc/17445/task/17449/stat : 17449 (claspmt) R 17443 17445 17373 0 -1 4202560 529 0 0 0 626 0 0 0 25 0 8 0 629006166 260579328 4375 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17445/tid=17450] ppid=17443 vsize=254472 CPUtime=6.28 cores=0-7
/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 282 0 0 0 628 0 0 0 20 0 8 0 629006166 260579328 4375 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669477 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=254472 CPUtime=6.21 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) R 17443 17445 17373 0 -1 4202560 395 0 0 0 621 0 0 0 25 0 8 0 629006166 260579328 4375 33554432000 4194304 4964704 140735356059920 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=254472 CPUtime=6.27 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 451 0 0 0 627 0 0 0 25 0 8 0 629006166 260579328 4375 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0

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

/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 1012 0 0 0 22207 8 0 0 25 0 8 0 629006166 333115392 10560 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669494 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=325308 CPUtime=219.92 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) R 17443 17445 17373 0 -1 4202560 864 0 0 0 21981 11 0 0 25 0 8 0 629006166 333115392 10560 33554432000 4194304 4964704 140735356059920 18446744073709551615 4684027 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=325308 CPUtime=222.21 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 1212 0 0 0 22209 12 0 0 25 0 8 0 629006166 333115392 10560 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669377 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1775.02
Current children cumulated vsize (KiB) 325308

[startup+282.301 s]
/proc/loadavg: 8.03 8.05 8.01 9/367 17459
/proc/meminfo: memFree=6862620/32951124 swapFree=61020464/67111528
[pid=17445] ppid=17443 vsize=325736 CPUtime=2254.18 cores=0-7
/proc/17445/stat : 17445 (claspmt) R 17443 17445 17373 0 -1 4202496 11181 0 0 0 225317 101 0 0 18 0 8 0 629006165 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4364587 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17445/statm: 81434 11069 464 189 0 75783 0
[pid=17445/tid=17446] ppid=17443 vsize=325736 CPUtime=282.14 cores=0-7
/proc/17445/task/17446/stat : 17446 (claspmt) R 17443 17445 17373 0 -1 4202560 2526 0 0 0 28198 16 0 0 25 0 8 0 629006166 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669337 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17445/tid=17447] ppid=17443 vsize=325736 CPUtime=282.21 cores=0-7
/proc/17445/task/17447/stat : 17447 (claspmt) R 17443 17445 17373 0 -1 4202560 1581 0 0 0 28212 9 0 0 25 0 8 0 629006166 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17445/tid=17448] ppid=17443 vsize=325736 CPUtime=282.18 cores=0-7
/proc/17445/task/17448/stat : 17448 (claspmt) R 17443 17445 17373 0 -1 4202560 952 0 0 0 28208 10 0 0 25 0 8 0 629006166 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4668721 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17445/tid=17449] ppid=17443 vsize=325736 CPUtime=281.17 cores=0-7
/proc/17445/task/17449/stat : 17449 (claspmt) R 17443 17445 17373 0 -1 4202560 1295 0 0 0 28106 11 0 0 25 0 8 0 629006166 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17445/tid=17450] ppid=17443 vsize=325736 CPUtime=282.11 cores=0-7
/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 1046 0 0 0 28201 10 0 0 18 0 8 0 629006166 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=325736 CPUtime=279.91 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) R 17443 17445 17373 0 -1 4202560 945 0 0 0 27977 14 0 0 25 0 8 0 629006166 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=325736 CPUtime=282.2 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 1270 0 0 0 28205 15 0 0 25 0 8 0 629006166 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2254.18
Current children cumulated vsize (KiB) 325736

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

[startup+282.501 s]
/proc/loadavg: 8.03 8.05 8.01 9/367 17459
/proc/meminfo: memFree=6862620/32951124 swapFree=61020464/67111528
[pid=17445] ppid=17443 vsize=325736 CPUtime=2255.87 cores=0-7
/proc/17445/stat : 17445 (claspmt) R 17443 17445 17373 0 -1 4202496 11181 0 0 0 225486 101 0 0 18 0 8 0 629006165 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17445/statm: 81434 11069 464 189 0 75783 0
[pid=17445/tid=17446] ppid=17443 vsize=325736 CPUtime=282.35 cores=0-7
/proc/17445/task/17446/stat : 17446 (claspmt) R 17443 17445 17373 0 -1 4202560 2526 0 0 0 28219 16 0 0 25 0 8 0 629006166 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670241 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17445/tid=17447] ppid=17443 vsize=325736 CPUtime=282.42 cores=0-7
/proc/17445/task/17447/stat : 17447 (claspmt) R 17443 17445 17373 0 -1 4202560 1581 0 0 0 28233 9 0 0 25 0 8 0 629006166 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4363070 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17445/tid=17448] ppid=17443 vsize=325736 CPUtime=282.39 cores=0-7
/proc/17445/task/17448/stat : 17448 (claspmt) R 17443 17445 17373 0 -1 4202560 952 0 0 0 28229 10 0 0 25 0 8 0 629006166 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4668618 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17445/tid=17449] ppid=17443 vsize=325736 CPUtime=281.37 cores=0-7
/proc/17445/task/17449/stat : 17449 (claspmt) R 17443 17445 17373 0 -1 4202560 1295 0 0 0 28126 11 0 0 25 0 8 0 629006166 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17445/tid=17450] ppid=17443 vsize=325736 CPUtime=282.32 cores=0-7
/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 1046 0 0 0 28222 10 0 0 18 0 8 0 629006166 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670450 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=325736 CPUtime=280.12 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) R 17443 17445 17373 0 -1 4202560 945 0 0 0 27998 14 0 0 25 0 8 0 629006166 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=325736 CPUtime=282.41 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 1270 0 0 0 28226 15 0 0 25 0 8 0 629006166 333553664 11069 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2255.87
Current children cumulated vsize (KiB) 325736

[startup+285.701 s]
/proc/loadavg: 8.03 8.05 8.01 9/367 17461
/proc/meminfo: memFree=6862496/32951124 swapFree=61020464/67111528
[pid=17445] ppid=17443 vsize=325736 CPUtime=2281.34 cores=0-7
/proc/17445/stat : 17445 (claspmt) R 17443 17445 17373 0 -1 4202496 11194 0 0 0 228031 103 0 0 25 0 8 0 629006165 333553664 11082 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669477 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17445/statm: 81434 11082 464 189 0 75783 0
[pid=17445/tid=17446] ppid=17443 vsize=325736 CPUtime=285.54 cores=0-7
/proc/17445/task/17446/stat : 17446 (claspmt) R 17443 17445 17373 0 -1 4202560 2526 0 0 0 28538 16 0 0 25 0 8 0 629006166 333553664 11082 33554432000 4194304 4964704 140735356059920 18446744073709551615 4321065 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17445/tid=17447] ppid=17443 vsize=325736 CPUtime=285.61 cores=0-7
/proc/17445/task/17447/stat : 17447 (claspmt) R 17443 17445 17373 0 -1 4202560 1588 0 0 0 28552 9 0 0 25 0 8 0 629006166 333553664 11082 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17445/tid=17448] ppid=17443 vsize=325736 CPUtime=285.58 cores=0-7
/proc/17445/task/17448/stat : 17448 (claspmt) R 17443 17445 17373 0 -1 4202560 958 0 0 0 28548 10 0 0 25 0 8 0 629006166 333553664 11082 33554432000 4194304 4964704 140735356059920 18446744073709551615 4660059 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17445/tid=17449] ppid=17443 vsize=325736 CPUtime=284.54 cores=0-7
/proc/17445/task/17449/stat : 17449 (claspmt) R 17443 17445 17373 0 -1 4202560 1295 0 0 0 28442 12 0 0 25 0 8 0 629006166 333553664 11082 33554432000 4194304 4964704 140735356059920 18446744073709551615 4362383 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17445/tid=17450] ppid=17443 vsize=325736 CPUtime=285.5 cores=0-7
/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 1046 0 0 0 28540 10 0 0 25 0 8 0 629006166 333553664 11082 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=325736 CPUtime=283.31 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) R 17443 17445 17373 0 -1 4202560 945 0 0 0 28317 14 0 0 25 0 8 0 629006166 333553664 11082 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=325736 CPUtime=285.59 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 1270 0 0 0 28544 15 0 0 25 0 8 0 629006166 333553664 11082 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2281.34
Current children cumulated vsize (KiB) 325736

[startup+287.301 s]
/proc/loadavg: 8.03 8.05 8.01 9/367 17461
/proc/meminfo: memFree=6862496/32951124 swapFree=61020464/67111528
[pid=17445] ppid=17443 vsize=325736 CPUtime=2294.1 cores=0-7
/proc/17445/stat : 17445 (claspmt) R 17443 17445 17373 0 -1 4202496 11208 0 0 0 229307 103 0 0 18 0 8 0 629006165 333553664 11096 33554432000 4194304 4964704 140735356059920 18446744073709551615 4362279 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17445/statm: 81434 11096 464 189 0 75783 0
[pid=17445/tid=17446] ppid=17443 vsize=325736 CPUtime=287.14 cores=0-7
/proc/17445/task/17446/stat : 17446 (claspmt) R 17443 17445 17373 0 -1 4202560 2526 0 0 0 28698 16 0 0 25 0 8 0 629006166 333553664 11096 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17445/tid=17447] ppid=17443 vsize=325736 CPUtime=287.21 cores=0-7
/proc/17445/task/17447/stat : 17447 (claspmt) R 17443 17445 17373 0 -1 4202560 1602 0 0 0 28712 9 0 0 25 0 8 0 629006166 333553664 11096 33554432000 4194304 4964704 140735356059920 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17445/tid=17448] ppid=17443 vsize=325736 CPUtime=287.18 cores=0-7
/proc/17445/task/17448/stat : 17448 (claspmt) R 17443 17445 17373 0 -1 4202560 958 0 0 0 28708 10 0 0 25 0 8 0 629006166 333553664 11096 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17445/tid=17449] ppid=17443 vsize=325736 CPUtime=286.11 cores=0-7
/proc/17445/task/17449/stat : 17449 (claspmt) R 17443 17445 17373 0 -1 4202560 1295 0 0 0 28599 12 0 0 25 0 8 0 629006166 333553664 11096 33554432000 4194304 4964704 140735356059920 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17445/tid=17450] ppid=17443 vsize=325736 CPUtime=287.11 cores=0-7
/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 1046 0 0 0 28700 11 0 0 25 0 8 0 629006166 333553664 11096 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=325736 CPUtime=284.91 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) R 17443 17445 17373 0 -1 4202560 945 0 0 0 28477 14 0 0 25 0 8 0 629006166 333553664 11096 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=325736 CPUtime=287.19 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 1270 0 0 0 28704 15 0 0 25 0 8 0 629006166 333553664 11096 33554432000 4194304 4964704 140735356059920 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2294.1
Current children cumulated vsize (KiB) 325736

[startup+288.901 s]
/proc/loadavg: 8.03 8.05 8.01 9/367 17461
/proc/meminfo: memFree=6862368/32951124 swapFree=61020464/67111528
[pid=17445] ppid=17443 vsize=325736 CPUtime=2306.88 cores=0-7
/proc/17445/stat : 17445 (claspmt) R 17443 17445 17373 0 -1 4202496 11214 0 0 0 230585 103 0 0 20 0 8 0 629006165 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17445/statm: 81434 11102 464 189 0 75783 0
[pid=17445/tid=17446] ppid=17443 vsize=325736 CPUtime=288.74 cores=0-7
/proc/17445/task/17446/stat : 17446 (claspmt) R 17443 17445 17373 0 -1 4202560 2526 0 0 0 28858 16 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4380234 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17445/tid=17447] ppid=17443 vsize=325736 CPUtime=288.81 cores=0-7
/proc/17445/task/17447/stat : 17447 (claspmt) R 17443 17445 17373 0 -1 4202560 1602 0 0 0 28872 9 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17445/tid=17448] ppid=17443 vsize=325736 CPUtime=288.78 cores=0-7
/proc/17445/task/17448/stat : 17448 (claspmt) R 17443 17445 17373 0 -1 4202560 958 0 0 0 28868 10 0 0 20 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4668871 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17445/tid=17449] ppid=17443 vsize=325736 CPUtime=287.7 cores=0-7
/proc/17445/task/17449/stat : 17449 (claspmt) R 17443 17445 17373 0 -1 4202560 1301 0 0 0 28758 12 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17445/tid=17450] ppid=17443 vsize=325736 CPUtime=288.71 cores=0-7
/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 1046 0 0 0 28860 11 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669427 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=325736 CPUtime=286.51 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) R 17443 17445 17373 0 -1 4202560 945 0 0 0 28637 14 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=325736 CPUtime=288.79 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 1270 0 0 0 28864 15 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2306.88
Current children cumulated vsize (KiB) 325736

[startup+289.301 s]
/proc/loadavg: 8.03 8.05 8.01 9/367 17461
/proc/meminfo: memFree=6862368/32951124 swapFree=61020464/67111528
[pid=17445] ppid=17443 vsize=325736 CPUtime=2310.07 cores=0-7
/proc/17445/stat : 17445 (claspmt) R 17443 17445 17373 0 -1 4202496 11214 0 0 0 230904 103 0 0 21 0 8 0 629006165 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669296 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17445/statm: 81434 11102 464 189 0 75783 0
[pid=17445/tid=17446] ppid=17443 vsize=325736 CPUtime=289.14 cores=0-7
/proc/17445/task/17446/stat : 17446 (claspmt) R 17443 17445 17373 0 -1 4202560 2526 0 0 0 28898 16 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17445/tid=17447] ppid=17443 vsize=325736 CPUtime=289.21 cores=0-7
/proc/17445/task/17447/stat : 17447 (claspmt) R 17443 17445 17373 0 -1 4202560 1602 0 0 0 28911 10 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17445/tid=17448] ppid=17443 vsize=325736 CPUtime=289.18 cores=0-7
/proc/17445/task/17448/stat : 17448 (claspmt) R 17443 17445 17373 0 -1 4202560 958 0 0 0 28908 10 0 0 21 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17445/tid=17449] ppid=17443 vsize=325736 CPUtime=288.09 cores=0-7
/proc/17445/task/17449/stat : 17449 (claspmt) R 17443 17445 17373 0 -1 4202560 1301 0 0 0 28797 12 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17445/tid=17450] ppid=17443 vsize=325736 CPUtime=289.11 cores=0-7
/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 1046 0 0 0 28900 11 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670202 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=325736 CPUtime=286.91 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) R 17443 17445 17373 0 -1 4202560 945 0 0 0 28677 14 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4627524 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=325736 CPUtime=289.19 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 1270 0 0 0 28904 15 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4366214 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2310.07
Current children cumulated vsize (KiB) 325736

[startup+289.7 s]
/proc/loadavg: 8.03 8.05 8.01 9/367 17461
/proc/meminfo: memFree=6862368/32951124 swapFree=61020464/67111528
[pid=17445] ppid=17443 vsize=325736 CPUtime=2313.27 cores=0-7
/proc/17445/stat : 17445 (claspmt) R 17443 17445 17373 0 -1 4202496 11214 0 0 0 231224 103 0 0 22 0 8 0 629006165 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4653264 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17445/statm: 81434 11102 464 189 0 75783 0
[pid=17445/tid=17446] ppid=17443 vsize=325736 CPUtime=289.54 cores=0-7
/proc/17445/task/17446/stat : 17446 (claspmt) R 17443 17445 17373 0 -1 4202560 2526 0 0 0 28938 16 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17445/tid=17447] ppid=17443 vsize=325736 CPUtime=289.61 cores=0-7
/proc/17445/task/17447/stat : 17447 (claspmt) R 17443 17445 17373 0 -1 4202560 1602 0 0 0 28951 10 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4669429 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17445/tid=17448] ppid=17443 vsize=325736 CPUtime=289.57 cores=0-7
/proc/17445/task/17448/stat : 17448 (claspmt) R 17443 17445 17373 0 -1 4202560 958 0 0 0 28947 10 0 0 22 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4660059 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17445/tid=17449] ppid=17443 vsize=325736 CPUtime=288.49 cores=0-7
/proc/17445/task/17449/stat : 17449 (claspmt) R 17443 17445 17373 0 -1 4202560 1301 0 0 0 28837 12 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17445/tid=17450] ppid=17443 vsize=325736 CPUtime=289.51 cores=0-7
/proc/17445/task/17450/stat : 17450 (claspmt) R 17443 17445 17373 0 -1 4202560 1046 0 0 0 28940 11 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4320864 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17445/tid=17451] ppid=17443 vsize=325736 CPUtime=287.31 cores=0-7
/proc/17445/task/17451/stat : 17451 (claspmt) R 17443 17445 17373 0 -1 4202560 945 0 0 0 28717 14 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4631352 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17445/tid=17452] ppid=17443 vsize=325736 CPUtime=289.58 cores=0-7
/proc/17445/task/17452/stat : 17452 (claspmt) R 17443 17445 17373 0 -1 4202560 1270 0 0 0 28943 15 0 0 25 0 8 0 629006166 333553664 11102 33554432000 4194304 4964704 140735356059920 18446744073709551615 4320984 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2313.27
Current children cumulated vsize (KiB) 325736

Child status: 10
Real time (s): 289.785
CPU time (s): 2313.88
CPU user time (s): 2312.84
CPU system time (s): 1.04284
CPU usage (%): 798.482
Max. virtual memory (cumulated for all children) (KiB): 325736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2312.84
system time used= 1.04284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11226
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= 136474
involuntary context switches= 10628

runsolver used 1.01484 second user time and 2.40463 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-03 03:55:55
IDJOB=3322520
IDBENCH=83432
IDSOLVER=1711
FILE ID=node118/3322520-1304387755
RUNJOBID= node118-1304387360-17387
PBS_JOBID= 13181815
Free space on /tmp= 73240 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_3_keyfind_1.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3322520-1304387755/watcher-3322520-1304387755 -o /tmp/evaluation-result-3322520-1304387755/solver-3322520-1304387755 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322520-1304387755.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 278d646386a62d4f28f7fc390c5eab3e
RANDOM SEED=641608416

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:       6905140 kB
Buffers:         31336 kB
Cached:         181688 kB
SwapCached:      96828 kB
Active:       12758392 kB
Inactive:     13050684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       6905140 kB
SwapTotal:    67111528 kB
SwapFree:     61020464 kB
Dirty:             804 kB
Writeback:           0 kB
AnonPages:    25510536 kB
Mapped:          17656 kB
Slab:            79396 kB
PageTables:      89780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 88624360 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= 73240 MiB
End job on node118 at 2011-05-03 04:00:45