Trace number 1776372

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
satake 2009-03-22 (16 threads)SAT 4298.54 498.399

General information on the benchmark

Nameindustrial/grieu/
vmpc_28.cnf
MD5SUM2679ca6fb11bcf9f950de09652ce7147
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark59.91
Satisfiable
(Un)Satisfiability was proved
Number of variables784
Number of clauses108080
Sum of the clauses size283220
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 242420
Number of clauses of size 365604
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 556

Solver Data 

4290.17/497.26	c Benchmark name    : HOME/instance-1776372-1244747328.cnf
4290.17/497.26	c Thread Num        :           16
4290.17/497.26	c restarts          :           17
4290.17/497.26	c conflicts         :       164596
4290.17/497.26	c decisions         :       278412           (      560 / sec      )
4290.17/497.26	c propagations      :     22341342           (    44929 / sec      )
4290.17/497.26	c inspects          :   1013159298           (  2037467 / sec      )
4290.17/497.26	c conflict literals :     13571093           (    25.65 % deleted  )
4290.17/497.26	c cpu time          :       497.26           
4290.17/497.26	s SATISFIABLE
4290.17/497.26	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 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 0

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1776372-1244747328/watcher-1776372-1244747328 -o /tmp/evaluation-result-1776372-1244747328/solver-1776372-1244747328 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776372-1244747328.cnf 16 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 13.54 13.83 12.23 2/184 31831
/proc/meminfo: memFree=19145976/36427776 swapFree=3764/7764
[pid=31831] ppid=31829 vsize=8080 CPUtime=0
/proc/31831/stat : 31831 (satake) R 31829 31831 27791 0 -1 4202496 699 0 0 0 0 0 0 0 20 0 14 0 634039185 8273920 654 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31831/statm: 2020 657 63 164 0 1855 0
[pid=31831/tid=31832] ppid=31829 vsize=8336 CPUtime=0
/proc/31831/task/31832/stat : 31832 (satake) S 31829 31831 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 14 0 634039185 8536064 662 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31833] ppid=31829 vsize=8336 CPUtime=0
/proc/31831/task/31833/stat : 31833 (satake) R 31829 31831 27791 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 14 0 634039185 8536064 664 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31831/tid=31834] ppid=31829 vsize=8336 CPUtime=0
/proc/31831/task/31834/stat : 31834 (satake) R 31829 31831 27791 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 14 0 634039185 8536064 664 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31831/tid=31835] ppid=31829 vsize=8336 CPUtime=0
/proc/31831/task/31835/stat : 31835 (satake) R 31829 31831 27791 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 14 0 634039185 8536064 667 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31836] ppid=31829 vsize=8336 CPUtime=0
/proc/31831/task/31836/stat : 31836 (satake) R 31829 31831 27791 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 14 0 634039185 8536064 670 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31837] ppid=31829 vsize=8336 CPUtime=0
/proc/31831/task/31837/stat : 31837 (satake) R 31829 31831 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 14 0 634039185 8536064 671 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31831/tid=31838] ppid=31829 vsize=8336 CPUtime=0
/proc/31831/task/31838/stat : 31838 (satake) R 31829 31831 27791 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 14 0 634039185 8536064 676 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31831/tid=31839] ppid=31829 vsize=8336 CPUtime=0
/proc/31831/task/31839/stat : 31839 (satake) R 31829 31831 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 14 0 634039185 8536064 689 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31831/tid=31840] ppid=31829 vsize=8336 CPUtime=0
/proc/31831/task/31840/stat : 31840 (satake) D 31829 31831 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 14 0 634039185 8536064 689 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31831/tid=31841] ppid=31829 vsize=8336 CPUtime=0
/proc/31831/task/31841/stat : 31841 (satake) S 31829 31831 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 14 0 634039186 8536064 689 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=31831/tid=31842] ppid=31829 vsize=8336 CPUtime=0
/proc/31831/task/31842/stat : 31842 (satake) D 31829 31831 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 14 0 634039186 8536064 689 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31831/tid=31843] ppid=31829 vsize=8592 CPUtime=0
/proc/31831/task/31843/stat : 31843 (satake) R 31829 31831 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 14 0 634039186 8798208 692 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31831/tid=31844] ppid=31829 vsize=8592 CPUtime=0
/proc/31831/task/31844/stat : 31844 (satake) S 31829 31831 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 14 0 634039186 8798208 695 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0

[startup+0.077558 s]
/proc/loadavg: 13.54 13.83 12.23 2/184 31831
/proc/meminfo: memFree=19145976/36427776 swapFree=3764/7764
[pid=31831] ppid=31829 vsize=31892 CPUtime=0.35
/proc/31831/stat : 31831 (satake) S 31829 31831 27791 0 -1 4202496 5254 0 0 0 6 29 0 0 20 0 17 0 634039185 32657408 5209 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31831/statm: 7973 5214 63 164 0 7808 0
[pid=31831/tid=31832] ppid=31829 vsize=31892 CPUtime=0
/proc/31831/task/31832/stat : 31832 (satake) S 31829 31831 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634039185 32657408 5214 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31833] ppid=31829 vsize=31892 CPUtime=0.02
/proc/31831/task/31833/stat : 31833 (satake) D 31829 31831 27791 0 -1 4202560 440 0 0 0 0 2 0 0 20 0 17 0 634039185 32657408 5214 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31831/tid=31834] ppid=31829 vsize=31892 CPUtime=0.04
/proc/31831/task/31834/stat : 31834 (satake) R 31829 31831 27791 0 -1 4202560 444 0 0 0 0 4 0 0 20 0 17 0 634039185 32657408 5214 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31831/tid=31835] ppid=31829 vsize=31892 CPUtime=0.02
/proc/31831/task/31835/stat : 31835 (satake) S 31829 31831 27791 0 -1 4202560 410 0 0 0 0 2 0 0 20 0 17 0 634039185 32657408 5216 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31836] ppid=31829 vsize=31892 CPUtime=0.02
/proc/31831/task/31836/stat : 31836 (satake) S 31829 31831 27791 0 -1 4202560 417 0 0 0 0 2 0 0 20 0 17 0 634039185 32657408 5217 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=31831/tid=31837] ppid=31829 vsize=31892 CPUtime=0
/proc/31831/task/31837/stat : 31837 (satake) D 31829 31831 27791 0 -1 4202560 182 0 0 0 0 0 0 0 20 0 17 0 634039185 32657408 5218 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31831/tid=31838] ppid=31829 vsize=31892 CPUtime=0.02
/proc/31831/task/31838/stat : 31838 (satake) D 31829 31831 27791 0 -1 4202560 429 0 0 0 0 2 0 0 20 0 17 0 634039185 32657408 5218 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31831/tid=31839] ppid=31829 vsize=31892 CPUtime=0
/proc/31831/task/31839/stat : 31839 (satake) D 31829 31831 27791 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 17 0 634039185 32657408 5218 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31831/tid=31840] ppid=31829 vsize=31892 CPUtime=0
/proc/31831/task/31840/stat : 31840 (satake) R 31829 31831 27791 0 -1 4202560 321 0 0 0 0 0 0 0 20 0 17 0 634039185 32657408 5222 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31831/tid=31841] ppid=31829 vsize=31892 CPUtime=0.02
/proc/31831/task/31841/stat : 31841 (satake) R 31829 31831 27791 0 -1 4202560 359 0 0 0 0 2 0 0 20 0 17 0 634039186 32657408 5223 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31831/tid=31842] ppid=31829 vsize=31892 CPUtime=0.02
/proc/31831/task/31842/stat : 31842 (satake) R 31829 31831 27791 0 -1 4202560 434 0 0 0 0 2 0 0 20 0 17 0 634039186 32657408 5225 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31831/tid=31843] ppid=31829 vsize=31892 CPUtime=0.02
/proc/31831/task/31843/stat : 31843 (satake) D 31829 31831 27791 0 -1 4202560 416 0 0 0 2 0 0 0 20 0 17 0 634039186 32657408 5225 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31831/tid=31844] ppid=31829 vsize=31892 CPUtime=0
/proc/31831/task/31844/stat : 31844 (satake) D 31829 31831 27791 0 -1 4202560 162 0 0 0 0 0 0 0 20 0 17 0 634039186 32657408 5225 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 31892

[startup+0.1015 s]
/proc/loadavg: 13.54 13.83 12.23 2/184 31831
/proc/meminfo: memFree=19145976/36427776 swapFree=3764/7764
[pid=31831] ppid=31829 vsize=34764 CPUtime=0.45
/proc/31831/stat : 31831 (satake) S 31829 31831 27791 0 -1 4202496 6337 0 0 0 8 37 0 0 20 0 17 0 634039185 35598336 6292 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31831/statm: 8691 6292 63 164 0 8526 0
[pid=31831/tid=31832] ppid=31829 vsize=34764 CPUtime=0
/proc/31831/task/31832/stat : 31832 (satake) S 31829 31831 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634039185 35598336 6293 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31833] ppid=31829 vsize=34764 CPUtime=0.04
/proc/31831/task/31833/stat : 31833 (satake) S 31829 31831 27791 0 -1 4202560 475 0 0 0 0 4 0 0 20 0 17 0 634039185 35598336 6293 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=31831/tid=31834] ppid=31829 vsize=34764 CPUtime=0.04
/proc/31831/task/31834/stat : 31834 (satake) D 31829 31831 27791 0 -1 4202560 502 0 0 0 0 4 0 0 20 0 17 0 634039185 35598336 6293 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31831/tid=31835] ppid=31829 vsize=34764 CPUtime=0.02
/proc/31831/task/31835/stat : 31835 (satake) D 31829 31831 27791 0 -1 4202560 424 0 0 0 0 2 0 0 20 0 17 0 634039185 35598336 6293 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31836] ppid=31829 vsize=34764 CPUtime=0.02
/proc/31831/task/31836/stat : 31836 (satake) S 31829 31831 27791 0 -1 4202560 428 0 0 0 0 2 0 0 20 0 17 0 634039185 35598336 6293 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=31831/tid=31837] ppid=31829 vsize=34764 CPUtime=0
/proc/31831/task/31837/stat : 31837 (satake) R 31829 31831 27791 0 -1 4202560 352 0 0 0 0 0 0 0 20 0 17 0 634039185 35598336 6293 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31831/tid=31838] ppid=31829 vsize=34764 CPUtime=0.04
/proc/31831/task/31838/stat : 31838 (satake) D 31829 31831 27791 0 -1 4202560 475 0 0 0 2 2 0 0 20 0 17 0 634039185 35598336 6293 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31831/tid=31839] ppid=31829 vsize=34764 CPUtime=0
/proc/31831/task/31839/stat : 31839 (satake) D 31829 31831 27791 0 -1 4202560 275 0 0 0 0 0 0 0 20 0 17 0 634039185 35598336 6293 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31831/tid=31840] ppid=31829 vsize=34764 CPUtime=0.02
/proc/31831/task/31840/stat : 31840 (satake) S 31829 31831 27791 0 -1 4202560 428 0 0 0 0 2 0 0 20 0 17 0 634039185 35598336 6293 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=31831/tid=31841] ppid=31829 vsize=34764 CPUtime=0.02
/proc/31831/task/31841/stat : 31841 (satake) D 31829 31831 27791 0 -1 4202560 410 0 0 0 0 2 0 0 20 0 17 0 634039186 35598336 6293 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31831/tid=31842] ppid=31829 vsize=34764 CPUtime=0.04
/proc/31831/task/31842/stat : 31842 (satake) S 31829 31831 27791 0 -1 4202560 447 0 0 0 0 4 0 0 20 0 17 0 634039186 35598336 6293 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=31831/tid=31843] ppid=31829 vsize=34764 CPUtime=0.02
/proc/31831/task/31843/stat : 31843 (satake) D 31829 31831 27791 0 -1 4202560 443 0 0 0 2 0 0 0 20 0 17 0 634039186 35598336 6293 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31831/tid=31844] ppid=31829 vsize=34764 CPUtime=0
/proc/31831/task/31844/stat : 31844 (satake) D 31829 31831 27791 0 -1 4202560 354 0 0 0 0 0 0 0 20 0 17 0 634039186 35598336 6293 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 34764

[startup+0.305737 s]
/proc/loadavg: 13.54 13.83 12.23 2/184 31831
/proc/meminfo: memFree=19145976/36427776 swapFree=3764/7764
[pid=31831] ppid=31829 vsize=52964 CPUtime=1.33
/proc/31831/stat : 31831 (satake) S 31829 31831 27791 0 -1 4202496 10930 0 0 0 47 86 0 0 20 0 17 0 634039185 54235136 10885 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31831/statm: 13241 10885 63 164 0 13076 0
[pid=31831/tid=31832] ppid=31829 vsize=52964 CPUtime=0
/proc/31831/task/31832/stat : 31832 (satake) S 31829 31831 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634039185 54235136 10885 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31833] ppid=31829 vsize=52964 CPUtime=0.1
/proc/31831/task/31833/stat : 31833 (satake) D 31829 31831 27791 0 -1 4202560 792 0 0 0 4 6 0 0 20 0 17 0 634039185 54235136 10885 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31831/tid=31834] ppid=31829 vsize=52964 CPUtime=0.14
/proc/31831/task/31834/stat : 31834 (satake) D 31829 31831 27791 0 -1 4202560 1031 0 0 0 6 8 0 0 20 0 17 0 634039185 54235136 10885 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31831/tid=31835] ppid=31829 vsize=52964 CPUtime=0.1
/proc/31831/task/31835/stat : 31835 (satake) S 31829 31831 27791 0 -1 4202560 700 0 0 0 4 6 0 0 20 0 17 0 634039185 54235136 10885 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31836] ppid=31829 vsize=52964 CPUtime=0.08
/proc/31831/task/31836/stat : 31836 (satake) D 31829 31831 27791 0 -1 4202560 656 0 0 0 2 6 0 0 20 0 17 0 634039185 54235136 10885 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31831/tid=31837] ppid=31829 vsize=52964 CPUtime=0.06
/proc/31831/task/31837/stat : 31837 (satake) R 31829 31831 27791 0 -1 4202560 698 0 0 0 2 4 0 0 20 0 17 0 634039185 54235136 10885 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31831/tid=31838] ppid=31829 vsize=52964 CPUtime=0.1
/proc/31831/task/31838/stat : 31838 (satake) S 31829 31831 27791 0 -1 4202560 859 0 0 0 8 2 0 0 20 0 17 0 634039185 54235136 10885 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=31831/tid=31839] ppid=31829 vsize=52964 CPUtime=0.04
/proc/31831/task/31839/stat : 31839 (satake) S 31829 31831 27791 0 -1 4202560 495 0 0 0 0 4 0 0 20 0 17 0 634039185 54235136 10885 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=31831/tid=31840] ppid=31829 vsize=52964 CPUtime=0.06
/proc/31831/task/31840/stat : 31840 (satake) S 31829 31831 27791 0 -1 4202560 607 0 0 0 2 4 0 0 20 0 17 0 634039185 54235136 10885 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=31831/tid=31841] ppid=31829 vsize=52964 CPUtime=0.06
/proc/31831/task/31841/stat : 31841 (satake) S 31829 31831 27791 0 -1 4202560 642 0 0 0 0 6 0 0 20 0 17 0 634039186 54235136 10885 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=31831/tid=31842] ppid=31829 vsize=52964 CPUtime=0.08
/proc/31831/task/31842/stat : 31842 (satake) S 31829 31831 27791 0 -1 4202560 639 0 0 0 0 8 0 0 20 0 17 0 634039186 54235136 10885 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=31831/tid=31843] ppid=31829 vsize=52964 CPUtime=0.1
/proc/31831/task/31843/stat : 31843 (satake) D 31829 31831 27791 0 -1 4202560 784 0 0 0 4 6 0 0 20 0 17 0 634039186 54235136 10885 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31831/tid=31844] ppid=31829 vsize=52964 CPUtime=0.04
/proc/31831/task/31844/stat : 31844 (satake) S 31829 31831 27791 0 -1 4202560 569 0 0 0 2 2 0 0 20 0 17 0 634039186 54235136 10885 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 52964

[startup+0.705497 s]
/proc/loadavg: 13.54 13.83 12.23 2/184 31831
/proc/meminfo: memFree=19145976/36427776 swapFree=3764/7764
[pid=31831] ppid=31829 vsize=75144 CPUtime=3.15
/proc/31831/stat : 31831 (satake) S 31829 31831 27791 0 -1 4202496 19160 0 0 0 156 159 0 0 20 0 17 0 634039185 76947456 16131 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31831/statm: 18786 16132 68 164 0 18621 0
[pid=31831/tid=31832] ppid=31829 vsize=75144 CPUtime=0
/proc/31831/task/31832/stat : 31832 (satake) S 31829 31831 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 634039185 76947456 16132 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31833] ppid=31829 vsize=75144 CPUtime=0.22
/proc/31831/task/31833/stat : 31833 (satake) R 31829 31831 27791 0 -1 4202560 1398 0 0 0 10 12 0 0 20 0 17 0 634039185 76947456 16132 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31831/tid=31834] ppid=31829 vsize=75144 CPUtime=0.24
/proc/31831/task/31834/stat : 31834 (satake) R 31829 31831 27791 0 -1 4202560 1411 0 0 0 16 8 0 0 20 0 17 0 634039185 76947456 16132 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31831/tid=31835] ppid=31829 vsize=75144 CPUtime=0.26
/proc/31831/task/31835/stat : 31835 (satake) R 31829 31831 27791 0 -1 4202560 1340 0 0 0 16 10 0 0 20 0 17 0 634039185 76947456 16132 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134519884 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31836] ppid=31829 vsize=75144 CPUtime=0.2
/proc/31831/task/31836/stat : 31836 (satake) D 31829 31831 27791 0 -1 4202560 1307 0 0 0 6 14 0 0 20 0 17 0 634039185 76947456 16132 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31831/tid=31837] ppid=31829 vsize=75144 CPUtime=0.22
/proc/31831/task/31837/stat : 31837 (satake) R 31829 31831 27791 0 -1 4202560 1388 0 0 0 10 12 0 0 20 0 17 0 634039185 76947456 16132 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31831/tid=31838] ppid=31829 vsize=75144 CPUtime=0.24
/proc/31831/task/31838/stat : 31838 (satake) R 31829 31831 27791 0 -1 4202560 1338 0 0 0 20 4 0 0 20 0 17 0 634039185 76947456 16132 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31831/tid=31839] ppid=31829 vsize=75144 CPUtime=0.16
/proc/31831/task/31839/stat : 31839 (satake) R 31829 31831 27791 0 -1 4202560 1005 0 0 0 8 8 0 0 20 0 17 0 634039185 76947456 16132 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31831/tid=31840] ppid=31829 vsize=75144 CPUtime=0.14
/proc/31831/task/31840/stat : 31840 (satake) D 31829 31831 27791 0 -1 4202560 1008 0 0 0 8 6 0 0 20 0 17 0 634039185 76947456 16132 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31831/tid=31841] ppid=31829 vsize=75144 CPUtime=0.16
/proc/31831/task/31841/stat : 31841 (satake) D 31829 31831 27791 0 -1 4202560 1182 0 0 0 4 12 0 0 20 0 17 0 634039186 76947456 16132 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31831/tid=31842] ppid=31829 vsize=75144 CPUtime=0.2
/proc/31831/task/31842/stat : 31842 (satake) D 31829 31831 27791 0 -1 4202560 1170 0 0 0 0 20 0 0 20 0 17 0 634039186 76947456 16132 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31831/tid=31843] ppid=31829 vsize=75144 CPUtime=0.24
/proc/31831/task/31843/stat : 31843 (satake) R 31829 31831 27791 0 -1 4202560 1426 0 0 0 16 8 0 0 20 0 17 0 634039186 76947456 16132 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528549 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31831/tid=31844] ppid=31829 vsize=75144 CPUtime=0.16
/proc/31831/task/31844/stat : 31844 (satake) D 31829 31831 27791 0 -1 4202560 1143 0 0 0 6 10 0 0 20 0 17 0 634039186 76947456 16132 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 75144

[startup+1.50623 s]
/proc/loadavg: 13.54 13.83 12.23 2/201 31848
/proc/meminfo: memFree=19082816/36427776 swapFree=4020/69016
[pid=31831] ppid=31829 vsize=74804 CPUtime=5.69
/proc/31831/stat : 31831 (satake) S 31829 31831 27791 0 -1 4202496 21601 0 0 0 370 199 0 0 20 0 17 0 634039185 76599296 15961 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31831/statm: 18701 15961 68 164 0 18536 0
[pid=31831/tid=31832] ppid=31829 vsize=74804 CPUtime=0.34
/proc/31831/task/31832/stat : 31832 (satake) R 31829 31831 27791 0 -1 4202560 25 0 0 0 4 30 0 0 20 0 17 0 634039185 76599296 15961 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31833] ppid=31829 vsize=74804 CPUtime=0.36
/proc/31831/task/31833/stat : 31833 (satake) R 31829 31831 27791 0 -1 4202560 1451 0 0 0 24 12 0 0 20 0 17 0 634039185 76599296 15961 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528516 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31831/tid=31834] ppid=31829 vsize=74804 CPUtime=0.36
/proc/31831/task/31834/stat : 31834 (satake) S 31829 31831 27791 0 -1 4202560 1483 0 0 0 28 8 0 0 20 0 17 0 634039185 76599296 15961 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=31831/tid=31835] ppid=31829 vsize=74804 CPUtime=0.4
/proc/31831/task/31835/stat : 31835 (satake) S 31829 31831 27791 0 -1 4202560 1397 0 0 0 30 10 0 0 20 0 17 0 634039185 76599296 15961 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0

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

[pid=31831/tid=31843] ppid=31829 vsize=700444 CPUtime=269.22
/proc/31831/task/31843/stat : 31843 (satake) S 31829 31831 27791 0 -1 4202560 11630 0 0 0 26508 414 0 0 20 0 17 0 634039186 717254656 168332 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=31831/tid=31844] ppid=31829 vsize=700444 CPUtime=250.06
/proc/31831/task/31844/stat : 31844 (satake) R 31829 31831 27791 0 -1 4202560 11210 0 0 0 24636 370 0 0 20 0 17 0 634039186 717254656 168332 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528648 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31831/tid=31846] ppid=31829 vsize=700444 CPUtime=264.55
/proc/31831/task/31846/stat : 31846 (satake) R 31829 31831 27791 0 -1 4202560 12047 0 0 0 26049 406 0 0 20 0 17 0 634039186 717254656 168332 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134518208 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31831/tid=31847] ppid=31829 vsize=700444 CPUtime=274.27
/proc/31831/task/31847/stat : 31847 (satake) R 31829 31831 27791 0 -1 4202560 12058 0 0 0 27055 372 0 0 20 0 17 0 634039186 717254656 168332 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31831/tid=31848] ppid=31829 vsize=700444 CPUtime=259.29
/proc/31831/task/31848/stat : 31848 (satake) R 31829 31831 27791 0 -1 4202560 11722 0 0 0 25531 398 0 0 20 0 17 0 634039187 717254656 168332 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4173.53
Current children cumulated vsize (KiB) 700444

[startup+492.705 s]
/proc/loadavg: 12.12 11.27 11.38 16/201 31861
/proc/meminfo: memFree=18463240/36427776 swapFree=4588/689768
[pid=31831] ppid=31829 vsize=705728 CPUtime=4245.47
/proc/31831/stat : 31831 (satake) S 31829 31831 27791 0 -1 4202496 175721 0 0 0 402012 22535 0 0 20 0 17 0 634039185 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31831/statm: 176432 170081 68 164 0 176267 0
[pid=31831/tid=31832] ppid=31829 vsize=705728 CPUtime=180.31
/proc/31831/task/31832/stat : 31832 (satake) R 31829 31831 27791 0 -1 4202560 1866 0 0 0 1542 16489 0 0 20 0 17 0 634039185 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31831/tid=31833] ppid=31829 vsize=705728 CPUtime=271.92
/proc/31831/task/31833/stat : 31833 (satake) R 31829 31831 27791 0 -1 4202560 11113 0 0 0 26786 406 0 0 20 0 17 0 634039185 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528562 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31831/tid=31834] ppid=31829 vsize=705728 CPUtime=265.1
/proc/31831/task/31834/stat : 31834 (satake) R 31829 31831 27791 0 -1 4202560 12758 0 0 0 26110 400 0 0 20 0 17 0 634039185 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31831/tid=31835] ppid=31829 vsize=705728 CPUtime=285.99
/proc/31831/task/31835/stat : 31835 (satake) R 31829 31831 27791 0 -1 4202560 10744 0 0 0 28185 414 0 0 20 0 17 0 634039185 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31836] ppid=31829 vsize=705728 CPUtime=272.6
/proc/31831/task/31836/stat : 31836 (satake) D 31829 31831 27791 0 -1 4202560 12196 0 0 0 26848 412 0 0 20 0 17 0 634039185 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31831/tid=31837] ppid=31829 vsize=705728 CPUtime=264.62
/proc/31831/task/31837/stat : 31837 (satake) S 31829 31831 27791 0 -1 4202560 11520 0 0 0 26086 376 0 0 20 0 17 0 634039185 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31831/tid=31838] ppid=31829 vsize=705728 CPUtime=264.43
/proc/31831/task/31838/stat : 31838 (satake) R 31829 31831 27791 0 -1 4202560 11370 0 0 0 26027 416 0 0 20 0 17 0 634039185 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31831/tid=31839] ppid=31829 vsize=705728 CPUtime=264.65
/proc/31831/task/31839/stat : 31839 (satake) R 31829 31831 27791 0 -1 4202560 11493 0 0 0 26057 408 0 0 20 0 17 0 634039185 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31831/tid=31840] ppid=31829 vsize=705728 CPUtime=276.31
/proc/31831/task/31840/stat : 31840 (satake) R 31829 31831 27791 0 -1 4202560 10715 0 0 0 27221 410 0 0 20 0 17 0 634039185 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31831/tid=31841] ppid=31829 vsize=705728 CPUtime=272.78
/proc/31831/task/31841/stat : 31841 (satake) R 31829 31831 27791 0 -1 4202560 11417 0 0 0 26858 420 0 0 20 0 17 0 634039186 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528680 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31831/tid=31842] ppid=31829 vsize=705728 CPUtime=285.8
/proc/31831/task/31842/stat : 31842 (satake) R 31829 31831 27791 0 -1 4202560 11101 0 0 0 28188 392 0 0 20 0 17 0 634039186 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31831/tid=31843] ppid=31829 vsize=705728 CPUtime=274.09
/proc/31831/task/31843/stat : 31843 (satake) R 31829 31831 27791 0 -1 4202560 11750 0 0 0 26993 416 0 0 20 0 17 0 634039186 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528680 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31831/tid=31844] ppid=31829 vsize=705728 CPUtime=254.38
/proc/31831/task/31844/stat : 31844 (satake) R 31829 31831 27791 0 -1 4202560 11367 0 0 0 25062 376 0 0 20 0 17 0 634039186 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31831/tid=31846] ppid=31829 vsize=705728 CPUtime=269.07
/proc/31831/task/31846/stat : 31846 (satake) R 31829 31831 27791 0 -1 4202560 12176 0 0 0 26493 414 0 0 20 0 17 0 634039186 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31831/tid=31847] ppid=31829 vsize=705728 CPUtime=279.38
/proc/31831/task/31847/stat : 31847 (satake) R 31829 31831 27791 0 -1 4202560 12186 0 0 0 27562 376 0 0 20 0 17 0 634039186 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528633 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31831/tid=31848] ppid=31829 vsize=705728 CPUtime=263.9
/proc/31831/task/31848/stat : 31848 (satake) R 31829 31831 27791 0 -1 4202560 11825 0 0 0 25986 404 0 0 20 0 17 0 634039187 722665472 170081 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4245.47
Current children cumulated vsize (KiB) 705728

[startup+495.905 s]
/proc/loadavg: 12.11 11.29 11.38 10/201 31861
/proc/meminfo: memFree=18461204/36427776 swapFree=4588/692016
[pid=31831] ppid=31829 vsize=710376 CPUtime=4277.24
/proc/31831/stat : 31831 (satake) S 31829 31831 27791 0 -1 4202496 176481 0 0 0 405048 22676 0 0 20 0 17 0 634039185 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31831/statm: 177594 170841 68 164 0 177429 0
[pid=31831/tid=31832] ppid=31829 vsize=710376 CPUtime=181.45
/proc/31831/task/31832/stat : 31832 (satake) D 31829 31831 27791 0 -1 4202560 1882 0 0 0 1546 16599 0 0 20 0 17 0 634039185 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31831/tid=31833] ppid=31829 vsize=710376 CPUtime=274.19
/proc/31831/task/31833/stat : 31833 (satake) R 31829 31831 27791 0 -1 4202560 11162 0 0 0 27011 408 0 0 20 0 17 0 634039185 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31831/tid=31834] ppid=31829 vsize=710376 CPUtime=266.6
/proc/31831/task/31834/stat : 31834 (satake) R 31829 31831 27791 0 -1 4202560 12831 0 0 0 26258 402 0 0 20 0 17 0 634039185 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31831/tid=31835] ppid=31829 vsize=710376 CPUtime=288.04
/proc/31831/task/31835/stat : 31835 (satake) S 31829 31831 27791 0 -1 4202560 10836 0 0 0 28390 414 0 0 20 0 17 0 634039185 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31836] ppid=31829 vsize=710376 CPUtime=274.27
/proc/31831/task/31836/stat : 31836 (satake) R 31829 31831 27791 0 -1 4202560 12268 0 0 0 27013 414 0 0 20 0 17 0 634039185 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31831/tid=31837] ppid=31829 vsize=710376 CPUtime=266.48
/proc/31831/task/31837/stat : 31837 (satake) R 31829 31831 27791 0 -1 4202560 11584 0 0 0 26270 378 0 0 20 0 17 0 634039185 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31831/tid=31838] ppid=31829 vsize=710376 CPUtime=266.54
/proc/31831/task/31838/stat : 31838 (satake) S 31829 31831 27791 0 -1 4202560 11428 0 0 0 26236 418 0 0 20 0 17 0 634039185 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=31831/tid=31839] ppid=31829 vsize=710376 CPUtime=266.56
/proc/31831/task/31839/stat : 31839 (satake) S 31829 31831 27791 0 -1 4202560 11575 0 0 0 26246 410 0 0 20 0 17 0 634039185 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31831/tid=31840] ppid=31829 vsize=710376 CPUtime=278.55
/proc/31831/task/31840/stat : 31840 (satake) R 31829 31831 27791 0 -1 4202560 10728 0 0 0 27441 414 0 0 20 0 17 0 634039185 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528633 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31831/tid=31841] ppid=31829 vsize=710376 CPUtime=274.99
/proc/31831/task/31841/stat : 31841 (satake) R 31829 31831 27791 0 -1 4202560 11457 0 0 0 27077 422 0 0 20 0 17 0 634039186 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528628 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31831/tid=31842] ppid=31829 vsize=710376 CPUtime=287.94
/proc/31831/task/31842/stat : 31842 (satake) R 31829 31831 27791 0 -1 4202560 11102 0 0 0 28398 396 0 0 20 0 17 0 634039186 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31831/tid=31843] ppid=31829 vsize=710376 CPUtime=276.2
/proc/31831/task/31843/stat : 31843 (satake) S 31829 31831 27791 0 -1 4202560 11804 0 0 0 27204 416 0 0 20 0 17 0 634039186 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=31831/tid=31844] ppid=31829 vsize=710376 CPUtime=256.24
/proc/31831/task/31844/stat : 31844 (satake) S 31829 31831 27791 0 -1 4202560 11395 0 0 0 25248 376 0 0 20 0 17 0 634039186 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31831/tid=31846] ppid=31829 vsize=710376 CPUtime=271.34
/proc/31831/task/31846/stat : 31846 (satake) R 31829 31831 27791 0 -1 4202560 12211 0 0 0 26718 416 0 0 20 0 17 0 634039186 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528201 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31831/tid=31847] ppid=31829 vsize=710376 CPUtime=281.64
/proc/31831/task/31847/stat : 31847 (satake) R 31829 31831 27791 0 -1 4202560 12238 0 0 0 27782 382 0 0 20 0 17 0 634039186 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528669 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31831/tid=31848] ppid=31829 vsize=710376 CPUtime=266.05
/proc/31831/task/31848/stat : 31848 (satake) S 31829 31831 27791 0 -1 4202560 11856 0 0 0 26201 404 0 0 20 0 17 0 634039187 727425024 170841 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4277.24
Current children cumulated vsize (KiB) 710376

[startup+497.505 s]
/proc/loadavg: 12.11 11.29 11.38 12/201 31861
/proc/meminfo: memFree=18459096/36427776 swapFree=4588/694204
[pid=31831] ppid=31829 vsize=709732 CPUtime=4293.76
/proc/31831/stat : 31831 (satake) S 31829 31831 27791 0 -1 4202496 176811 0 0 0 406558 22818 0 0 20 0 15 0 634039185 726765568 170812 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31831/statm: 177433 170812 77 164 0 177268 0
[pid=31831/tid=31833] ppid=31829 vsize=709732 CPUtime=275.23
/proc/31831/task/31833/stat : 31833 (satake) R 31829 31831 27791 0 -1 4202560 11185 0 0 0 27101 422 0 0 20 0 15 0 634039185 726765568 170812 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31831/tid=31834] ppid=31829 vsize=709732 CPUtime=267.63
/proc/31831/task/31834/stat : 31834 (satake) S 31829 31831 27791 0 -1 4202560 12861 0 0 0 26355 408 0 0 20 0 15 0 634039185 726765568 170812 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=31831/tid=31835] ppid=31829 vsize=709732 CPUtime=288.93
/proc/31831/task/31835/stat : 31835 (satake) R 31829 31831 27791 0 -1 4202560 10851 0 0 0 28477 416 0 0 20 0 15 0 634039185 726765568 170812 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31836] ppid=31829 vsize=709732 CPUtime=275.25
/proc/31831/task/31836/stat : 31836 (satake) R 31829 31831 27791 0 -1 4202560 12308 0 0 0 27107 418 0 0 20 0 15 0 634039185 726765568 170812 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31831/tid=31837] ppid=31829 vsize=709732 CPUtime=267.59
/proc/31831/task/31837/stat : 31837 (satake) R 31829 31831 27791 0 -1 4202560 11607 0 0 0 26377 382 0 0 20 0 15 0 634039185 726765568 170812 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31831/tid=31838] ppid=31829 vsize=709732 CPUtime=267.52
/proc/31831/task/31838/stat : 31838 (satake) R 31829 31831 27791 0 -1 4202560 11465 0 0 0 26324 428 0 0 20 0 15 0 634039185 726765568 170812 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31831/tid=31839] ppid=31829 vsize=709732 CPUtime=267.43
/proc/31831/task/31839/stat : 31839 (satake) R 31829 31831 27791 0 -1 4202560 11608 0 0 0 26321 422 0 0 20 0 15 0 634039185 726765568 170812 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31831/tid=31840] ppid=31829 vsize=709732 CPUtime=279.73
/proc/31831/task/31840/stat : 31840 (satake) R 31829 31831 27791 0 -1 4202560 10729 0 0 0 27559 414 0 0 20 0 15 0 634039185 726765568 170812 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31831/tid=31841] ppid=31829 vsize=709732 CPUtime=276.28
/proc/31831/task/31841/stat : 31841 (satake) R 31829 31831 27791 0 -1 4202560 11481 0 0 0 27204 424 0 0 20 0 15 0 634039186 726765568 170812 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31831/tid=31842] ppid=31829 vsize=709732 CPUtime=289.23
/proc/31831/task/31842/stat : 31842 (satake) R 31829 31831 27791 0 -1 4202560 11102 0 0 0 28525 398 0 0 20 0 15 0 634039186 726765568 170812 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31831/tid=31843] ppid=31829 vsize=709732 CPUtime=277.2
/proc/31831/task/31843/stat : 31843 (satake) R 31829 31831 27791 0 -1 4202560 11833 0 0 0 27294 426 0 0 20 0 15 0 634039186 726765568 170812 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31831/tid=31844] ppid=31829 vsize=709732 CPUtime=257.28
/proc/31831/task/31844/stat : 31844 (satake) R 31829 31831 27791 0 -1 4202560 11431 0 0 0 25344 384 0 0 20 0 15 0 634039186 726765568 170812 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31831/tid=31846] ppid=31829 vsize=709732 CPUtime=272.38
/proc/31831/task/31846/stat : 31846 (satake) R 31829 31831 27791 0 -1 4202560 12242 0 0 0 26814 424 0 0 20 0 15 0 634039186 726765568 170812 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31831/tid=31848] ppid=31829 vsize=709732 CPUtime=267.2
/proc/31831/task/31848/stat : 31848 (satake) R 31829 31831 27791 0 -1 4202560 11859 0 0 0 26312 408 0 0 20 0 15 0 634039187 726765568 170812 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4293.76
Current children cumulated vsize (KiB) 709732

[startup+497.901 s]
/proc/loadavg: 12.11 11.29 11.38 12/201 31861
/proc/meminfo: memFree=18459096/36427776 swapFree=4588/694204
[pid=31831] ppid=31829 vsize=703292 CPUtime=4296.8
/proc/31831/stat : 31831 (satake) S 31829 31831 27791 0 -1 4202496 176811 0 0 0 406705 22975 0 0 20 0 10 0 634039185 720171008 169496 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31831/statm: 175823 169496 77 164 0 175658 0
[pid=31831/tid=31835] ppid=31829 vsize=703292 CPUtime=289.24
/proc/31831/task/31835/stat : 31835 (satake) R 31829 31831 27791 0 -1 4202560 10851 0 0 0 28498 426 0 0 20 0 10 0 634039185 720171008 169496 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31831/tid=31836] ppid=31829 vsize=703292 CPUtime=275.48
/proc/31831/task/31836/stat : 31836 (satake) R 31829 31831 27791 0 -1 4202560 12308 0 0 0 27114 434 0 0 20 0 10 0 634039185 720171008 169496 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31831/tid=31837] ppid=31829 vsize=703292 CPUtime=267.82
/proc/31831/task/31837/stat : 31837 (satake) R 31829 31831 27791 0 -1 4202560 11607 0 0 0 26388 394 0 0 20 0 10 0 634039185 720171008 169496 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31831/tid=31839] ppid=31829 vsize=703292 CPUtime=267.69
/proc/31831/task/31839/stat : 31839 (satake) R 31829 31831 27791 0 -1 4202560 11608 0 0 0 26333 436 0 0 20 0 10 0 634039185 720171008 169496 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31831/tid=31840] ppid=31829 vsize=703292 CPUtime=279.96
/proc/31831/task/31840/stat : 31840 (satake) R 31829 31831 27791 0 -1 4202560 10729 0 0 0 27572 424 0 0 20 0 10 0 634039185 720171008 169496 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31831/tid=31841] ppid=31829 vsize=703292 CPUtime=276.52
/proc/31831/task/31841/stat : 31841 (satake) R 31829 31831 27791 0 -1 4202560 11481 0 0 0 27216 436 0 0 20 0 10 0 634039186 720171008 169496 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31831/tid=31842] ppid=31829 vsize=703292 CPUtime=289.49
/proc/31831/task/31842/stat : 31842 (satake) R 31829 31831 27791 0 -1 4202560 11102 0 0 0 28539 410 0 0 20 0 10 0 634039186 720171008 169496 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31831/tid=31844] ppid=31829 vsize=703292 CPUtime=257.52
/proc/31831/task/31844/stat : 31844 (satake) R 31829 31831 27791 0 -1 4202560 11431 0 0 0 25354 398 0 0 20 0 10 0 634039186 720171008 169496 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31831/tid=31848] ppid=31829 vsize=703292 CPUtime=267.4
/proc/31831/task/31848/stat : 31848 (satake) R 31829 31831 27791 0 -1 4202560 11859 0 0 0 26322 418 0 0 20 0 10 0 634039187 720171008 169496 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4296.8
Current children cumulated vsize (KiB) 703292

[startup+498.313 s]
/proc/loadavg: 12.11 11.29 11.38 5/189 31861
/proc/meminfo: memFree=18485228/36427776 swapFree=4588/662444
[pid=31831] ppid=31829 vsize=558324 CPUtime=4298.46
/proc/31831/stat : 31831 (satake) S 31829 31831 27791 0 -1 4202496 176811 0 0 0 406783 23063 0 0 20 0 2 0 634039185 571723776 135497 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31831/statm: 139581 135497 77 164 0 139416 0
[pid=31831/tid=31842] ppid=31829 vsize=558324 CPUtime=289.83
/proc/31831/task/31842/stat : 31842 (satake) R 31829 31831 27791 0 -1 4202560 11102 0 0 0 28555 428 0 0 20 0 2 0 634039186 571723776 135497 18446744073709551615 134512640 135180984 4294569600 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 4298.46
Current children cumulated vsize (KiB) 558324

Child status: 16
Real time (s): 498.399
CPU time (s): 4298.54
CPU user time (s): 4067.83
CPU system time (s): 230.71
CPU usage (%): 862.47
Max. virtual memory (cumulated for all children) (KiB): 711664


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4067.83
system time used= 230.71
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176812
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= 21661579
involuntary context switches= 420868

runsolver used 2.15213 second user time and 6.86843 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 21:08:48
IDJOB=1776372
IDBENCH=20492
IDSOLVER=631
FILE ID=xenhost3-49/1776372-1244747328
PBS_JOBID=
Free space on /tmp= 7038 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/grieu/vmpc_28.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776372-1244747328/watcher-1776372-1244747328 -o /tmp/evaluation-result-1776372-1244747328/solver-1776372-1244747328 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776372-1244747328.cnf 16 10000

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16

MD5SUM BENCH= 2679ca6fb11bcf9f950de09652ce7147
RANDOM SEED= 1084097769

Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 8
initial apicid	: 8
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 24
initial apicid	: 24
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 10
initial apicid	: 10
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 26
initial apicid	: 26
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 9
initial apicid	: 9
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 25
initial apicid	: 25
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 11
initial apicid	: 11
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 27
initial apicid	: 27
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:     36427776 kB
MemFree:      19145976 kB
Buffers:        432368 kB
Cached:       14102872 kB
SwapCached:          0 kB
Active:        4077520 kB
Inactive:     10465500 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2032 kB
Writeback:           0 kB
AnonPages:        7764 kB
Mapped:           3100 kB
Slab:           687540 kB
SReclaimable:   660860 kB
SUnreclaim:      26680 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7038 MiB
End job on xenhost3-49 at 2009-06-11 21:17:07