Trace number 3438396

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
SArTagnan 2011-05-15 (fixed)SAT 530.355 66.4663

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v760c43649g5.cnf
MD5SUMfac733a1c5caf879cadf25b989055e5e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.13683
Satisfiable
(Un)Satisfiability was proved
Number of variables760
Number of clauses43649
Sum of the clauses size87978
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243609
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Solver Data 

530.01/66.44	
530.01/66.44	s SATISFIABLE
530.01/66.44	
530.01/66.44	v -1 -2 -3 -4 -5 -6 7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -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 -86 87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 128 -129 -130 -131 -132 -133 -134 135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 168 -169 -170 -171 -172 -173 -174 175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 312 -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 -350 -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 -394 395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 467 -468 -469 -470 -471 -472 -473 -474 -475 -476 477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 495 -496 -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 553 -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 -636 -637 -638 -639 -640 -641 -642 643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 721 -722 -723 724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 755 -756 -757 -758 -759 -760 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3438396-1306916173/watcher-3438396-1306916173 -o /tmp/evaluation-result-3438396-1306916173/solver-3438396-1306916173 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3438396-1306916173.cnf -threads=8 

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.14 8.18 8.05 1/439 28113
/proc/meminfo: memFree=32292632/32950928 swapFree=34365992/67111528
[pid=28113] ppid=28111 vsize=21172 CPUtime=0 cores=0-7
/proc/28113/stat : 28113 (SArTagnan) R 28111 28113 27737 0 -1 4202496 916 0 0 0 0 0 0 0 23 0 1 0 803216035 21680128 551 33554432000 4194304 4625164 140736932144624 18446744073709551615 235594563792 0 0 4096 2 0 0 0 17 6 0 0 0
/proc/28113/statm: 5293 568 298 106 0 796 0
[pid=28113/tid=28114] ppid=28111 vsize=97704 CPUtime=0 cores=0-7
/proc/28113/task/28114/stat : 28114 (SArTagnan) R 28111 28113 27737 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 803216036 100048896 1535 33554432000 4194304 4625164 140736932144624 18446744073709551615 47236790892460 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28115] ppid=28111 vsize=97704 CPUtime=0 cores=0-7
/proc/28113/task/28115/stat : 28115 (SArTagnan) R 28111 28113 27737 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 803216036 100048896 1535 33554432000 4194304 4625164 140736932144624 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28116] ppid=28111 vsize=97704 CPUtime=0 cores=0-7
/proc/28113/task/28116/stat : 28116 (SArTagnan) R 28111 28113 27737 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 803216036 100048896 1535 33554432000 4194304 4625164 140736932144624 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28117] ppid=28111 vsize=97704 CPUtime=0 cores=0-7
/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 803216036 100048896 1535 33554432000 4194304 4625164 140736932144624 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=97704 CPUtime=0 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 803216036 100048896 1535 33554432000 4194304 4625164 140736932144624 18446744073709551615 47236790892470 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=97704 CPUtime=0 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) R 28111 28113 27737 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 803216036 100048896 1535 33554432000 4194304 4625164 140736932144624 18446744073709551615 47236790892466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=97704 CPUtime=0 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 803216036 100048896 1535 33554432000 4194304 4625164 140736932144624 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0739689 s]
/proc/loadavg: 8.14 8.18 8.05 1/439 28113
/proc/meminfo: memFree=32292632/32950928 swapFree=34365992/67111528
[pid=28113] ppid=28111 vsize=362272 CPUtime=0.39 cores=0-7
/proc/28113/stat : 28113 (SArTagnan) R 28111 28113 27737 0 -1 4202496 4585 0 0 0 39 0 0 0 25 0 8 0 803216035 370966528 3963 33554432000 4194304 4625164 140736932144624 18446744073709551615 4363994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28113/statm: 90568 3964 351 106 0 86071 0
[pid=28113/tid=28114] ppid=28111 vsize=362272 CPUtime=0.05 cores=0-7
/proc/28113/task/28114/stat : 28114 (SArTagnan) R 28111 28113 27737 0 -1 4202560 350 0 0 0 5 0 0 0 25 0 8 0 803216036 370966528 3964 33554432000 4194304 4625164 140736932144624 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28115] ppid=28111 vsize=362272 CPUtime=0.02 cores=0-7
/proc/28113/task/28115/stat : 28115 (SArTagnan) R 28111 28113 27737 0 -1 4202560 130 0 0 0 2 0 0 0 25 0 8 0 803216036 370966528 3964 33554432000 4194304 4625164 140736932144624 18446744073709551615 235594910055 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28113/tid=28116] ppid=28111 vsize=362272 CPUtime=0.05 cores=0-7
/proc/28113/task/28116/stat : 28116 (SArTagnan) R 28111 28113 27737 0 -1 4202560 232 0 0 0 5 0 0 0 25 0 8 0 803216036 370966528 3943 33554432000 4194304 4625164 140736932144624 18446744073709551615 4334268 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28113/tid=28117] ppid=28111 vsize=362272 CPUtime=0.05 cores=0-7
/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 219 0 0 0 5 0 0 0 25 0 8 0 803216036 370966528 3943 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=427808 CPUtime=0.05 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 186 0 0 0 5 0 0 0 25 0 8 0 803216036 438075392 3943 33554432000 4194304 4625164 140736932144624 18446744073709551615 4333574 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=427808 CPUtime=0.05 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) S 28111 28113 27737 0 -1 4202560 267 0 0 0 5 0 0 0 25 0 8 0 803216036 438075392 3944 33554432000 4194304 4625164 140736932144624 18446744073709551615 235594971630 0 0 4096 2 18446604458885690560 0 0 -1 3 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=427808 CPUtime=0.02 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 135 0 0 0 2 0 0 0 25 0 8 0 803216036 438075392 3944 33554432000 4194304 4625164 140736932144624 18446744073709551615 235594533850 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 362272

[startup+0.922821 s]
/proc/loadavg: 8.14 8.18 8.05 1/439 28113
/proc/meminfo: memFree=32292632/32950928 swapFree=34365992/67111528
[pid=28113] ppid=28111 vsize=441296 CPUtime=7.18 cores=0-7
/proc/28113/stat : 28113 (SArTagnan) R 28111 28113 27737 0 -1 4202496 23269 0 0 0 716 2 0 0 25 0 8 0 803216035 451887104 15796 33554432000 4194304 4625164 140736932144624 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28113/statm: 110324 15796 353 106 0 105827 0
[pid=28113/tid=28114] ppid=28111 vsize=441296 CPUtime=0.9 cores=0-7
/proc/28113/task/28114/stat : 28114 (SArTagnan) R 28111 28113 27737 0 -1 4202560 1818 0 0 0 90 0 0 0 25 0 8 0 803216036 451887104 15796 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28115] ppid=28111 vsize=441296 CPUtime=0.86 cores=0-7
/proc/28113/task/28115/stat : 28115 (SArTagnan) R 28111 28113 27737 0 -1 4202560 1694 0 0 0 86 0 0 0 25 0 8 0 803216036 451887104 15796 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28113/tid=28116] ppid=28111 vsize=441296 CPUtime=0.89 cores=0-7
/proc/28113/task/28116/stat : 28116 (SArTagnan) R 28111 28113 27737 0 -1 4202560 3734 0 0 0 89 0 0 0 19 0 8 0 803216036 451887104 15796 33554432000 4194304 4625164 140736932144624 18446744073709551615 4564989 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28113/tid=28117] ppid=28111 vsize=441296 CPUtime=0.89 cores=0-7
/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 1372 0 0 0 89 0 0 0 25 0 8 0 803216036 451887104 15796 33554432000 4194304 4625164 140736932144624 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=441296 CPUtime=0.9 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 1378 0 0 0 90 0 0 0 25 0 8 0 803216036 451887104 15796 33554432000 4194304 4625164 140736932144624 18446744073709551615 4350077 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=441296 CPUtime=0.9 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) R 28111 28113 27737 0 -1 4202560 1554 0 0 0 90 0 0 0 25 0 8 0 803216036 451887104 15796 33554432000 4194304 4625164 140736932144624 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=441296 CPUtime=0.87 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2303 0 0 0 87 0 0 0 25 0 8 0 803216036 451887104 15796 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 441296

[startup+1.00081 s]
/proc/loadavg: 8.14 8.18 8.05 1/439 28113
/proc/meminfo: memFree=32292632/32950928 swapFree=34365992/67111528
[pid=28113] ppid=28111 vsize=441296 CPUtime=7.81 cores=0-7
/proc/28113/stat : 28113 (SArTagnan) R 28111 28113 27737 0 -1 4202496 24957 0 0 0 778 3 0 0 25 0 8 0 803216035 451887104 16863 33554432000 4194304 4625164 140736932144624 18446744073709551615 4512229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28113/statm: 110324 16863 358 106 0 105827 0
[pid=28113/tid=28114] ppid=28111 vsize=441296 CPUtime=0.97 cores=0-7
/proc/28113/task/28114/stat : 28114 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2495 0 0 0 97 0 0 0 25 0 8 0 803216036 451887104 16863 33554432000 4194304 4625164 140736932144624 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28115] ppid=28111 vsize=441296 CPUtime=0.94 cores=0-7
/proc/28113/task/28115/stat : 28115 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2294 0 0 0 94 0 0 0 25 0 8 0 803216036 451887104 16863 33554432000 4194304 4625164 140736932144624 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28113/tid=28116] ppid=28111 vsize=441296 CPUtime=0.97 cores=0-7
/proc/28113/task/28116/stat : 28116 (SArTagnan) R 28111 28113 27737 0 -1 4202560 3860 0 0 0 97 0 0 0 19 0 8 0 803216036 451887104 16863 33554432000 4194304 4625164 140736932144624 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28113/tid=28117] ppid=28111 vsize=441296 CPUtime=0.97 cores=0-7
/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 1407 0 0 0 97 0 0 0 25 0 8 0 803216036 451887104 16863 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=441296 CPUtime=0.98 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 1415 0 0 0 98 0 0 0 25 0 8 0 803216036 451887104 16863 33554432000 4194304 4625164 140736932144624 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=441296 CPUtime=0.98 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) R 28111 28113 27737 0 -1 4202560 1600 0 0 0 98 0 0 0 25 0 8 0 803216036 451887104 16863 33554432000 4194304 4625164 140736932144624 18446744073709551615 4316495 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=441296 CPUtime=0.94 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2326 0 0 0 94 0 0 0 25 0 8 0 803216036 451887104 16863 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.81
Current children cumulated vsize (KiB) 441296

[startup+1.10079 s]
/proc/loadavg: 8.14 8.18 8.05 1/439 28113
/proc/meminfo: memFree=32292632/32950928 swapFree=34365992/67111528
[pid=28113] ppid=28111 vsize=442676 CPUtime=8.6 cores=0-7
/proc/28113/stat : 28113 (SArTagnan) R 28111 28113 27737 0 -1 4202496 26985 0 0 0 857 3 0 0 25 0 8 0 803216035 453300224 18850 33554432000 4194304 4625164 140736932144624 18446744073709551615 4512869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28113/statm: 110669 18850 361 106 0 106172 0
[pid=28113/tid=28114] ppid=28111 vsize=442676 CPUtime=1.07 cores=0-7
/proc/28113/task/28114/stat : 28114 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2542 0 0 0 107 0 0 0 25 0 8 0 803216036 453300224 18850 33554432000 4194304 4625164 140736932144624 18446744073709551615 4462504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28115] ppid=28111 vsize=442676 CPUtime=1.04 cores=0-7
/proc/28113/task/28115/stat : 28115 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2350 0 0 0 104 0 0 0 25 0 8 0 803216036 453300224 18850 33554432000 4194304 4625164 140736932144624 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28113/tid=28116] ppid=28111 vsize=442676 CPUtime=1.07 cores=0-7
/proc/28113/task/28116/stat : 28116 (SArTagnan) R 28111 28113 27737 0 -1 4202560 4025 0 0 0 107 0 0 0 19 0 8 0 803216036 453300224 18850 33554432000 4194304 4625164 140736932144624 18446744073709551615 4559931 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28113/tid=28117] ppid=28111 vsize=442676 CPUtime=1.07 cores=0-7
/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2110 0 0 0 107 0 0 0 25 0 8 0 803216036 453300224 18850 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=442676 CPUtime=1.08 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 1617 0 0 0 108 0 0 0 25 0 8 0 803216036 453300224 18850 33554432000 4194304 4625164 140736932144624 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=442676 CPUtime=1.08 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) R 28111 28113 27737 0 -1 4202560 1656 0 0 0 108 0 0 0 25 0 8 0 803216036 453300224 18850 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=442676 CPUtime=1.04 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2332 0 0 0 104 0 0 0 25 0 8 0 803216036 453300224 18850 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.6
Current children cumulated vsize (KiB) 442676

[startup+1.50072 s]
/proc/loadavg: 8.14 8.18 8.05 1/439 28113
/proc/meminfo: memFree=32292632/32950928 swapFree=34365992/67111528
[pid=28113] ppid=28111 vsize=444204 CPUtime=11.81 cores=0-7
/proc/28113/stat : 28113 (SArTagnan) R 28111 28113 27737 0 -1 4202496 28877 0 0 0 1177 4 0 0 25 0 8 0 803216035 454864896 20707 33554432000 4194304 4625164 140736932144624 18446744073709551615 4512292 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28113/statm: 111051 20707 363 106 0 106554 0
[pid=28113/tid=28114] ppid=28111 vsize=444204 CPUtime=1.47 cores=0-7
/proc/28113/task/28114/stat : 28114 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2633 0 0 0 147 0 0 0 25 0 8 0 803216036 454864896 20707 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28115] ppid=28111 vsize=444204 CPUtime=1.44 cores=0-7
/proc/28113/task/28115/stat : 28115 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2577 0 0 0 144 0 0 0 25 0 8 0 803216036 454864896 20707 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28113/tid=28116] ppid=28111 vsize=444204 CPUtime=1.47 cores=0-7
/proc/28113/task/28116/stat : 28116 (SArTagnan) R 28111 28113 27737 0 -1 4202560 4211 0 0 0 147 0 0 0 20 0 8 0 803216036 454864896 20707 33554432000 4194304 4625164 140736932144624 18446744073709551615 4334473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28113/tid=28117] ppid=28111 vsize=444204 CPUtime=1.47 cores=0-7
/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2252 0 0 0 147 0 0 0 25 0 8 0 803216036 454864896 20707 33554432000 4194304 4625164 140736932144624 18446744073709551615 4469094 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=444204 CPUtime=1.48 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 1683 0 0 0 148 0 0 0 25 0 8 0 803216036 454864896 20707 33554432000 4194304 4625164 140736932144624 18446744073709551615 4348982 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=444204 CPUtime=1.48 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2382 0 0 0 148 0 0 0 25 0 8 0 803216036 454864896 20707 33554432000 4194304 4625164 140736932144624 18446744073709551615 4316714 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=444204 CPUtime=1.44 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2393 0 0 0 144 0 0 0 25 0 8 0 803216036 454864896 20707 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.81
Current children cumulated vsize (KiB) 444204

[startup+3.10044 s]
/proc/loadavg: 8.14 8.18 8.05 9/447 28121
/proc/meminfo: memFree=32181712/32950928 swapFree=34365992/67111528
[pid=28113] ppid=28111 vsize=448004 CPUtime=24.57 cores=0-7
/proc/28113/stat : 28113 (SArTagnan) R 28111 28113 27737 0 -1 4202496 43349 0 0 0 2451 6 0 0 25 0 8 0 803216035 458756096 28690 33554432000 4194304 4625164 140736932144624 18446744073709551615 4511906 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28113/statm: 112001 28690 391 106 0 107504 0
[pid=28113/tid=28114] ppid=28111 vsize=448004 CPUtime=3.07 cores=0-7
/proc/28113/task/28114/stat : 28114 (SArTagnan) R 28111 28113 27737 0 -1 4202560 4273 0 0 0 307 0 0 0 25 0 8 0 803216036 458756096 28690 33554432000 4194304 4625164 140736932144624 18446744073709551615 4352024 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28115] ppid=28111 vsize=448004 CPUtime=3.04 cores=0-7
/proc/28113/task/28115/stat : 28115 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2849 0 0 0 304 0 0 0 25 0 8 0 803216036 458756096 28690 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351798 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28113/tid=28116] ppid=28111 vsize=448004 CPUtime=3.04 cores=0-7
/proc/28113/task/28116/stat : 28116 (SArTagnan) R 28111 28113 27737 0 -1 4202560 7861 0 0 0 303 1 0 0 25 0 8 0 803216036 458756096 28690 33554432000 4194304 4625164 140736932144624 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28113/tid=28117] ppid=28111 vsize=448004 CPUtime=3.07 cores=0-7
/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 3949 0 0 0 307 0 0 0 25 0 8 0 803216036 458756096 28690 33554432000 4194304 4625164 140736932144624 18446744073709551615 4339581 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=448004 CPUtime=3.08 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2064 0 0 0 308 0 0 0 25 0 8 0 803216036 458756096 28690 33554432000 4194304 4625164 140736932144624 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=448004 CPUtime=3.07 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) R 28111 28113 27737 0 -1 4202560 3735 0 0 0 307 0 0 0 25 0 8 0 803216036 458756096 28690 33554432000 4194304 4625164 140736932144624 18446744073709551615 4464310 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=448004 CPUtime=3.04 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 3555 0 0 0 304 0 0 0 25 0 8 0 803216036 458756096 28690 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351734 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.57
Current children cumulated vsize (KiB) 448004

[startup+6.30088 s]
/proc/loadavg: 8.12 8.18 8.05 9/447 28121
/proc/meminfo: memFree=32137444/32950928 swapFree=34365992/67111528
[pid=28113] ppid=28111 vsize=473216 CPUtime=50.14 cores=0-7
/proc/28113/stat : 28113 (SArTagnan) R 28111 28113 27737 0 -1 4202496 70257 0 0 0 5003 11 0 0 25 0 8 0 803216035 484573184 39554 33554432000 4194304 4625164 140736932144624 18446744073709551615 4338055 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28113/statm: 118304 39554 447 106 0 113807 0
[pid=28113/tid=28114] ppid=28111 vsize=473216 CPUtime=6.28 cores=0-7
/proc/28113/task/28114/stat : 28114 (SArTagnan) R 28111 28113 27737 0 -1 4202560 6328 0 0 0 627 1 0 0 25 0 8 0 803216036 484573184 39554 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351984 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28115] ppid=28111 vsize=473216 CPUtime=6.24 cores=0-7
/proc/28113/task/28115/stat : 28115 (SArTagnan) R 28111 28113 27737 0 -1 4202560 2968 0 0 0 624 0 0 0 25 0 8 0 803216036 484573184 39554 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28113/tid=28116] ppid=28111 vsize=473216 CPUtime=6.21 cores=0-7
/proc/28113/task/28116/stat : 28116 (SArTagnan) R 28111 28113 27737 0 -1 4202560 18859 0 0 0 619 2 0 0 25 0 8 0 803216036 484573184 39554 33554432000 4194304 4625164 140736932144624 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28113/tid=28117] ppid=28111 vsize=473216 CPUtime=6.28 cores=0-7
/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 5751 0 0 0 627 1 0 0 25 0 8 0 803216036 484573184 39554 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=473216 CPUtime=6.27 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 3670 0 0 0 627 0 0 0 25 0 8 0 803216036 484573184 39554 33554432000 4194304 4625164 140736932144624 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=473216 CPUtime=6.27 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) R 28111 28113 27737 0 -1 4202560 6227 0 0 0 627 0 0 0 25 0 8 0 803216036 484573184 39554 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=473216 CPUtime=6.25 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 5265 0 0 0 624 1 0 0 25 0 8 0 803216036 484573184 39554 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0

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

/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 13823 0 0 0 5205 2 0 0 25 0 8 0 803216036 766775296 102783 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=748804 CPUtime=52.07 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 18575 0 0 0 5204 3 0 0 25 0 8 0 803216036 766775296 102783 33554432000 4194304 4625164 140736932144624 18446744073709551615 4349129 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=748804 CPUtime=52.07 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) R 28111 28113 27737 0 -1 4202560 23571 0 0 0 5203 4 0 0 25 0 8 0 803216036 766775296 102783 33554432000 4194304 4625164 140736932144624 18446744073709551615 4339670 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=748804 CPUtime=52.04 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 12505 0 0 0 5202 2 0 0 25 0 8 0 803216036 766775296 102783 33554432000 4194304 4625164 140736932144624 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 415.82
Current children cumulated vsize (KiB) 748804

[startup+58.5007 s]
/proc/loadavg: 8.17 8.18 8.06 9/447 28123
/proc/meminfo: memFree=31873996/32950928 swapFree=34365992/67111528
[pid=28113] ppid=28111 vsize=748804 CPUtime=466.93 cores=0-7
/proc/28113/stat : 28113 (SArTagnan) R 28111 28113 27737 0 -1 4202496 464139 0 0 0 46612 81 0 0 25 0 8 0 803216035 766775296 106053 33554432000 4194304 4625164 140736932144624 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28113/statm: 187201 106053 608 106 0 182704 0
[pid=28113/tid=28114] ppid=28111 vsize=748804 CPUtime=58.48 cores=0-7
/proc/28113/task/28114/stat : 28114 (SArTagnan) R 28111 28113 27737 0 -1 4202560 22637 0 0 0 5844 4 0 0 25 0 8 0 803216036 766775296 106053 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28115] ppid=28111 vsize=748804 CPUtime=58.43 cores=0-7
/proc/28113/task/28115/stat : 28115 (SArTagnan) R 28111 28113 27737 0 -1 4202560 11207 0 0 0 5841 2 0 0 25 0 8 0 803216036 766775296 106053 33554432000 4194304 4625164 140736932144624 18446744073709551615 4352112 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28113/tid=28116] ppid=28111 vsize=748804 CPUtime=57.61 cores=0-7
/proc/28113/task/28116/stat : 28116 (SArTagnan) R 28111 28113 27737 0 -1 4202560 296481 0 0 0 5712 49 0 0 25 0 8 0 803216036 766775296 106053 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28113/tid=28117] ppid=28111 vsize=748804 CPUtime=58.47 cores=0-7
/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 14028 0 0 0 5845 2 0 0 25 0 8 0 803216036 766775296 106053 33554432000 4194304 4625164 140736932144624 18446744073709551615 4317995 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=748804 CPUtime=58.47 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 18827 0 0 0 5844 3 0 0 25 0 8 0 803216036 766775296 106053 33554432000 4194304 4625164 140736932144624 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=748804 CPUtime=58.47 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) R 28111 28113 27737 0 -1 4202560 24040 0 0 0 5843 4 0 0 25 0 8 0 803216036 766775296 106053 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=748804 CPUtime=58.44 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 12645 0 0 0 5842 2 0 0 25 0 8 0 803216036 766775296 106053 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 466.93
Current children cumulated vsize (KiB) 748804

[startup+61.7012 s]
/proc/loadavg: 8.15 8.17 8.06 9/447 28123
/proc/meminfo: memFree=31838528/32950928 swapFree=34365992/67111528
[pid=28113] ppid=28111 vsize=809740 CPUtime=492.48 cores=0-7
/proc/28113/stat : 28113 (SArTagnan) R 28111 28113 27737 0 -1 4202496 503215 0 0 0 49162 86 0 0 25 0 8 0 803216035 829173760 115202 33554432000 4194304 4625164 140736932144624 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28113/statm: 202435 115202 793 106 0 197938 0
[pid=28113/tid=28114] ppid=28111 vsize=809740 CPUtime=61.68 cores=0-7
/proc/28113/task/28114/stat : 28114 (SArTagnan) R 28111 28113 27737 0 -1 4202560 22803 0 0 0 6164 4 0 0 25 0 8 0 803216036 829173760 115202 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28115] ppid=28111 vsize=809740 CPUtime=61.63 cores=0-7
/proc/28113/task/28115/stat : 28115 (SArTagnan) R 28111 28113 27737 0 -1 4202560 11322 0 0 0 6161 2 0 0 25 0 8 0 803216036 829173760 115202 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28113/tid=28116] ppid=28111 vsize=809740 CPUtime=60.77 cores=0-7
/proc/28113/task/28116/stat : 28116 (SArTagnan) R 28111 28113 27737 0 -1 4202560 312394 0 0 0 6025 52 0 0 25 0 8 0 803216036 829173760 115202 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28113/tid=28117] ppid=28111 vsize=809740 CPUtime=61.67 cores=0-7
/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 14158 0 0 0 6165 2 0 0 25 0 8 0 803216036 829173760 115202 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=809740 CPUtime=61.68 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 18935 0 0 0 6164 4 0 0 25 0 8 0 803216036 829173760 115202 33554432000 4194304 4625164 140736932144624 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=809740 CPUtime=61.67 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) R 28111 28113 27737 0 -1 4202560 24225 0 0 0 6163 4 0 0 25 0 8 0 803216036 829173760 115202 33554432000 4194304 4625164 140736932144624 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=809740 CPUtime=61.64 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 12722 0 0 0 6162 2 0 0 25 0 8 0 803216036 829173760 115202 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 492.48
Current children cumulated vsize (KiB) 809740

[startup+64.9006 s]
/proc/loadavg: 8.14 8.17 8.06 9/447 28123
/proc/meminfo: memFree=31836544/32950928 swapFree=34365992/67111528
[pid=28113] ppid=28111 vsize=809740 CPUtime=518.03 cores=0-7
/proc/28113/stat : 28113 (SArTagnan) R 28111 28113 27737 0 -1 4202496 509351 0 0 0 51716 87 0 0 25 0 8 0 803216035 829173760 115496 33554432000 4194304 4625164 140736932144624 18446744073709551615 4511892 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28113/statm: 202435 115496 762 106 0 197938 0
[pid=28113/tid=28114] ppid=28111 vsize=809740 CPUtime=64.88 cores=0-7
/proc/28113/task/28114/stat : 28114 (SArTagnan) R 28111 28113 27737 0 -1 4202560 22869 0 0 0 6484 4 0 0 25 0 8 0 803216036 829173760 115496 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28115] ppid=28111 vsize=809740 CPUtime=64.83 cores=0-7
/proc/28113/task/28115/stat : 28115 (SArTagnan) R 28111 28113 27737 0 -1 4202560 11383 0 0 0 6481 2 0 0 25 0 8 0 803216036 829173760 115496 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28113/tid=28116] ppid=28111 vsize=809740 CPUtime=63.92 cores=0-7
/proc/28113/task/28116/stat : 28116 (SArTagnan) R 28111 28113 27737 0 -1 4202560 317680 0 0 0 6339 53 0 0 25 0 8 0 803216036 829173760 115496 33554432000 4194304 4625164 140736932144624 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28113/tid=28117] ppid=28111 vsize=809740 CPUtime=64.87 cores=0-7
/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 14200 0 0 0 6485 2 0 0 25 0 8 0 803216036 829173760 115496 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=809740 CPUtime=64.88 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 19061 0 0 0 6484 4 0 0 25 0 8 0 803216036 829173760 115496 33554432000 4194304 4625164 140736932144624 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=809740 CPUtime=64.87 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) R 28111 28113 27737 0 -1 4202560 24313 0 0 0 6483 4 0 0 25 0 8 0 803216036 829173760 115496 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=809740 CPUtime=64.84 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 12776 0 0 0 6482 2 0 0 25 0 8 0 803216036 829173760 115496 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351987 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 518.03
Current children cumulated vsize (KiB) 809740

[startup+65.7005 s]
/proc/loadavg: 8.14 8.17 8.06 9/447 28123
/proc/meminfo: memFree=31836544/32950928 swapFree=34365992/67111528
[pid=28113] ppid=28111 vsize=809740 CPUtime=524.43 cores=0-7
/proc/28113/stat : 28113 (SArTagnan) R 28111 28113 27737 0 -1 4202496 514485 0 0 0 52355 88 0 0 25 0 8 0 803216035 829173760 115828 33554432000 4194304 4625164 140736932144624 18446744073709551615 4512007 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28113/statm: 202435 115828 762 106 0 197938 0
[pid=28113/tid=28114] ppid=28111 vsize=809740 CPUtime=65.68 cores=0-7
/proc/28113/task/28114/stat : 28114 (SArTagnan) R 28111 28113 27737 0 -1 4202560 22962 0 0 0 6564 4 0 0 25 0 8 0 803216036 829173760 115828 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351909 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28115] ppid=28111 vsize=809740 CPUtime=65.63 cores=0-7
/proc/28113/task/28115/stat : 28115 (SArTagnan) R 28111 28113 27737 0 -1 4202560 11410 0 0 0 6561 2 0 0 25 0 8 0 803216036 829173760 115828 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28113/tid=28116] ppid=28111 vsize=809740 CPUtime=64.72 cores=0-7
/proc/28113/task/28116/stat : 28116 (SArTagnan) R 28111 28113 27737 0 -1 4202560 322493 0 0 0 6418 54 0 0 25 0 8 0 803216036 829173760 115828 33554432000 4194304 4625164 140736932144624 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28113/tid=28117] ppid=28111 vsize=809740 CPUtime=65.67 cores=0-7
/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 14210 0 0 0 6565 2 0 0 25 0 8 0 803216036 829173760 115828 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=809740 CPUtime=65.68 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 19090 0 0 0 6564 4 0 0 25 0 8 0 803216036 829173760 115828 33554432000 4194304 4625164 140736932144624 18446744073709551615 4349061 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=809740 CPUtime=65.67 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) R 28111 28113 27737 0 -1 4202560 24346 0 0 0 6563 4 0 0 25 0 8 0 803216036 829173760 115828 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=809740 CPUtime=65.64 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 12803 0 0 0 6562 2 0 0 25 0 8 0 803216036 829173760 115828 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 524.43
Current children cumulated vsize (KiB) 809740

[startup+66.1004 s]
/proc/loadavg: 8.14 8.17 8.06 9/447 28123
/proc/meminfo: memFree=31834312/32950928 swapFree=34365992/67111528
[pid=28113] ppid=28111 vsize=809740 CPUtime=527.61 cores=0-7
/proc/28113/stat : 28113 (SArTagnan) R 28111 28113 27737 0 -1 4202496 515759 0 0 0 52673 88 0 0 25 0 8 0 803216035 829173760 115966 33554432000 4194304 4625164 140736932144624 18446744073709551615 4391817 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28113/statm: 202435 115966 762 106 0 197938 0
[pid=28113/tid=28114] ppid=28111 vsize=809740 CPUtime=66.08 cores=0-7
/proc/28113/task/28114/stat : 28114 (SArTagnan) R 28111 28113 27737 0 -1 4202560 22964 0 0 0 6604 4 0 0 25 0 8 0 803216036 829173760 115966 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28115] ppid=28111 vsize=809740 CPUtime=66.03 cores=0-7
/proc/28113/task/28115/stat : 28115 (SArTagnan) R 28111 28113 27737 0 -1 4202560 11414 0 0 0 6601 2 0 0 25 0 8 0 803216036 829173760 115966 33554432000 4194304 4625164 140736932144624 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28113/tid=28116] ppid=28111 vsize=809740 CPUtime=65.1 cores=0-7
/proc/28113/task/28116/stat : 28116 (SArTagnan) R 28111 28113 27737 0 -1 4202560 323637 0 0 0 6456 54 0 0 25 0 8 0 803216036 829173760 115966 33554432000 4194304 4625164 140736932144624 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28113/tid=28117] ppid=28111 vsize=809740 CPUtime=66.07 cores=0-7
/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 14221 0 0 0 6605 2 0 0 25 0 8 0 803216036 829173760 115966 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=809740 CPUtime=66.08 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 19108 0 0 0 6604 4 0 0 25 0 8 0 803216036 829173760 115966 33554432000 4194304 4625164 140736932144624 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=809740 CPUtime=66.07 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) R 28111 28113 27737 0 -1 4202560 24358 0 0 0 6603 4 0 0 25 0 8 0 803216036 829173760 115966 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=809740 CPUtime=66.03 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 12807 0 0 0 6601 2 0 0 25 0 8 0 803216036 829173760 115966 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 527.61
Current children cumulated vsize (KiB) 809740

[startup+66.3003 s]
/proc/loadavg: 8.14 8.17 8.06 9/447 28123
/proc/meminfo: memFree=31834312/32950928 swapFree=34365992/67111528
[pid=28113] ppid=28111 vsize=809740 CPUtime=529.2 cores=0-7
/proc/28113/stat : 28113 (SArTagnan) R 28111 28113 27737 0 -1 4202496 518060 0 0 0 52832 88 0 0 25 0 8 0 803216035 829173760 117517 33554432000 4194304 4625164 140736932144624 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28113/statm: 202435 117517 763 106 0 197938 0
[pid=28113/tid=28114] ppid=28111 vsize=809740 CPUtime=66.28 cores=0-7
/proc/28113/task/28114/stat : 28114 (SArTagnan) R 28111 28113 27737 0 -1 4202560 22984 0 0 0 6624 4 0 0 25 0 8 0 803216036 829173760 117517 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28115] ppid=28111 vsize=809740 CPUtime=66.23 cores=0-7
/proc/28113/task/28115/stat : 28115 (SArTagnan) R 28111 28113 27737 0 -1 4202560 11447 0 0 0 6621 2 0 0 25 0 8 0 803216036 829173760 117517 33554432000 4194304 4625164 140736932144624 18446744073709551615 4352002 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28113/tid=28116] ppid=28111 vsize=809740 CPUtime=65.3 cores=0-7
/proc/28113/task/28116/stat : 28116 (SArTagnan) R 28111 28113 27737 0 -1 4202560 325510 0 0 0 6476 54 0 0 25 0 8 0 803216036 829173760 117517 33554432000 4194304 4625164 140736932144624 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28113/tid=28117] ppid=28111 vsize=809740 CPUtime=66.27 cores=0-7
/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 14270 0 0 0 6624 3 0 0 25 0 8 0 803216036 829173760 117517 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=809740 CPUtime=66.28 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 19117 0 0 0 6624 4 0 0 25 0 8 0 803216036 829173760 117517 33554432000 4194304 4625164 140736932144624 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=809740 CPUtime=66.27 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) R 28111 28113 27737 0 -1 4202560 24425 0 0 0 6623 4 0 0 25 0 8 0 803216036 829173760 117517 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=809740 CPUtime=66.23 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 12830 0 0 0 6621 2 0 0 25 0 8 0 803216036 829173760 117517 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 529.2
Current children cumulated vsize (KiB) 809740

[startup+66.4013 s]
/proc/loadavg: 8.14 8.17 8.06 9/447 28123
/proc/meminfo: memFree=31834312/32950928 swapFree=34365992/67111528
[pid=28113] ppid=28111 vsize=809740 CPUtime=530.01 cores=0-7
/proc/28113/stat : 28113 (SArTagnan) R 28111 28113 27737 0 -1 4202496 519488 0 0 0 52913 88 0 0 25 0 8 0 803216035 829173760 117008 33554432000 4194304 4625164 140736932144624 18446744073709551615 4511936 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28113/statm: 202435 117008 762 106 0 197938 0
[pid=28113/tid=28114] ppid=28111 vsize=809740 CPUtime=66.38 cores=0-7
/proc/28113/task/28114/stat : 28114 (SArTagnan) R 28111 28113 27737 0 -1 4202560 23004 0 0 0 6634 4 0 0 25 0 8 0 803216036 829173760 117008 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28113/tid=28115] ppid=28111 vsize=809740 CPUtime=66.33 cores=0-7
/proc/28113/task/28115/stat : 28115 (SArTagnan) R 28111 28113 27737 0 -1 4202560 11448 0 0 0 6631 2 0 0 25 0 8 0 803216036 829173760 117008 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351989 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28113/tid=28116] ppid=28111 vsize=809740 CPUtime=65.4 cores=0-7
/proc/28113/task/28116/stat : 28116 (SArTagnan) R 28111 28113 27737 0 -1 4202560 326888 0 0 0 6486 54 0 0 25 0 8 0 803216036 829173760 117008 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28113/tid=28117] ppid=28111 vsize=809740 CPUtime=66.38 cores=0-7
/proc/28113/task/28117/stat : 28117 (SArTagnan) R 28111 28113 27737 0 -1 4202560 14274 0 0 0 6635 3 0 0 25 0 8 0 803216036 829173760 117008 33554432000 4194304 4625164 140736932144624 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28113/tid=28118] ppid=28111 vsize=809740 CPUtime=66.38 cores=0-7
/proc/28113/task/28118/stat : 28118 (SArTagnan) R 28111 28113 27737 0 -1 4202560 19117 0 0 0 6634 4 0 0 25 0 8 0 803216036 829173760 117008 33554432000 4194304 4625164 140736932144624 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28113/tid=28119] ppid=28111 vsize=809740 CPUtime=66.37 cores=0-7
/proc/28113/task/28119/stat : 28119 (SArTagnan) R 28111 28113 27737 0 -1 4202560 24428 0 0 0 6633 4 0 0 25 0 8 0 803216036 829173760 117008 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28113/tid=28120] ppid=28111 vsize=809740 CPUtime=66.33 cores=0-7
/proc/28113/task/28120/stat : 28120 (SArTagnan) R 28111 28113 27737 0 -1 4202560 12830 0 0 0 6631 2 0 0 25 0 8 0 803216036 829173760 117008 33554432000 4194304 4625164 140736932144624 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 530.01
Current children cumulated vsize (KiB) 809740

Child status: 10
Real time (s): 66.4663
CPU time (s): 530.355
CPU user time (s): 529.439
CPU system time (s): 0.91586
CPU usage (%): 797.931
Max. virtual memory (cumulated for all children) (KiB): 809740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 529.44
system time used= 0.91586
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519719
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= 2031
involuntary context switches= 2168

runsolver used 0.285956 second user time and 0.702893 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-01 10:16:13
IDJOB=3438396
IDBENCH=71286
IDSOLVER=1936
FILE ID=node120/3438396-1306916173
RUNJOBID= node120-1306911050-27751
PBS_JOBID= 13488507
Free space on /tmp= 73932 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g5.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438396-1306916173/watcher-3438396-1306916173 -o /tmp/evaluation-result-3438396-1306916173/solver-3438396-1306916173 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3438396-1306916173.cnf -threads=8

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

MD5SUM BENCH= fac733a1c5caf879cadf25b989055e5e
RANDOM SEED=1988537354

node120.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.809
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.61
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.809
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	: 5226.07
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.809
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.82
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.809
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.809
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.78
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.809
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.809
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.82
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.809
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32292912 kB
Buffers:        147164 kB
Cached:         196484 kB
SwapCached:      12852 kB
Active:         128932 kB
Inactive:       234128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32292912 kB
SwapTotal:    67111528 kB
SwapFree:     34365992 kB
Dirty:            2172 kB
Writeback:           0 kB
AnonPages:       17040 kB
Mapped:           8832 kB
Slab:           130960 kB
PageTables:      91664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 105371448 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= 73932 MiB
End job on node120 at 2011-06-01 10:17:19