Trace number 1776297

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 772.168 163.674

General information on the benchmark

Nameindustrial/grieu/
vmpc_25.cnf
MD5SUMc5b44b10975f50cd32d40650a6a22d18
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark19.83
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of clauses76775
Sum of the clauses size201350
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 230075
Number of clauses of size 346650
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Solver Data 

772.08/163.64	c Benchmark name    : HOME/instance-1776297-1244744442.cnf
772.08/163.64	c Thread Num        :           16
772.08/163.64	c restarts          :           14
772.08/163.64	c conflicts         :        55012
772.08/163.64	c decisions         :        93414           (      573 / sec      )
772.08/163.64	c propagations      :      6161522           (    37783 / sec      )
772.08/163.64	c inspects          :    211176480           (  1294948 / sec      )
772.08/163.64	c conflict literals :      4201020           (    21.26 % deleted  )
772.08/163.64	c cpu time          :       163.08           
772.08/163.64	s SATISFIABLE
772.08/163.64	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 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-1776297-1244744442/watcher-1776297-1244744442 -o /tmp/evaluation-result-1776297-1244744442/solver-1776297-1244744442 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776297-1244744442.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: 2.07 2.09 2.03 2/184 31513
/proc/meminfo: memFree=19144604/36427776 swapFree=3652/7000
[pid=31513] ppid=31511 vsize=7740 CPUtime=0
/proc/31513/stat : 31513 (satake) S 31511 31513 27791 0 -1 4202496 497 0 0 0 0 0 0 0 20 0 17 0 633750519 7925760 452 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/31513/statm: 1935 452 63 164 0 1770 0
[pid=31513/tid=31514] ppid=31511 vsize=7740 CPUtime=0
/proc/31513/task/31514/stat : 31514 (satake) S 31511 31513 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 633750519 7925760 459 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31515] ppid=31511 vsize=7740 CPUtime=0
/proc/31513/task/31515/stat : 31515 (satake) R 31511 31513 27791 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 17 0 633750519 7925760 481 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31513/tid=31516] ppid=31511 vsize=7740 CPUtime=0
/proc/31513/task/31516/stat : 31516 (satake) R 31511 31513 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 17 0 633750519 7925760 505 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31513/tid=31517] ppid=31511 vsize=7740 CPUtime=0
/proc/31513/task/31517/stat : 31517 (satake) D 31511 31513 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 633750519 7925760 512 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31518] ppid=31511 vsize=7872 CPUtime=0
/proc/31513/task/31518/stat : 31518 (satake) R 31511 31513 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 633750519 8060928 512 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31513/tid=31519] ppid=31511 vsize=7872 CPUtime=0
/proc/31513/task/31519/stat : 31519 (satake) R 31511 31513 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 17 0 633750519 8060928 517 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31513/tid=31520] ppid=31511 vsize=7872 CPUtime=0
/proc/31513/task/31520/stat : 31520 (satake) S 31511 31513 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633750519 8060928 519 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=31513/tid=31521] ppid=31511 vsize=7872 CPUtime=0
/proc/31513/task/31521/stat : 31521 (satake) R 31511 31513 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 633750520 8060928 520 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31513/tid=31522] ppid=31511 vsize=7872 CPUtime=0
/proc/31513/task/31522/stat : 31522 (satake) S 31511 31513 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633750520 8060928 520 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=31513/tid=31523] ppid=31511 vsize=7872 CPUtime=0
/proc/31513/task/31523/stat : 31523 (satake) R 31511 31513 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 633750520 8060928 520 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31513/tid=31524] ppid=31511 vsize=7872 CPUtime=0
/proc/31513/task/31524/stat : 31524 (satake) R 31511 31513 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 633750520 8060928 523 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31525] ppid=31511 vsize=7872 CPUtime=0
/proc/31513/task/31525/stat : 31525 (satake) R 31511 31513 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 17 0 633750520 8060928 527 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31513/tid=31526] ppid=31511 vsize=7872 CPUtime=0
/proc/31513/task/31526/stat : 31526 (satake) R 31511 31513 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 633750520 8060928 547 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31513/tid=31527] ppid=31511 vsize=7872 CPUtime=0
/proc/31513/task/31527/stat : 31527 (satake) S 31511 31513 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 633750520 8060928 557 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=31513/tid=31528] ppid=31511 vsize=7872 CPUtime=0
/proc/31513/task/31528/stat : 31528 (satake) R 31511 31513 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 633750520 8060928 564 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31513/tid=31529] ppid=31511 vsize=7872 CPUtime=0
/proc/31513/task/31529/stat : 31529 (satake) R 31511 31513 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 633750520 8060928 571 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.022613 s]
/proc/loadavg: 2.07 2.09 2.03 2/184 31513
/proc/meminfo: memFree=19144604/36427776 swapFree=3652/7000
[pid=31513] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/stat : 31513 (satake) S 31511 31513 27791 0 -1 4202496 1109 0 0 0 0 0 0 0 20 0 17 0 633750519 10960896 1065 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/31513/statm: 2676 1069 63 164 0 2511 0
[pid=31513/tid=31514] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31514/stat : 31514 (satake) S 31511 31513 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 633750519 10960896 1070 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31515] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31515/stat : 31515 (satake) R 31511 31513 27791 0 -1 4202560 138 0 0 0 0 0 0 0 20 0 17 0 633750519 10960896 1070 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31513/tid=31516] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31516/stat : 31516 (satake) R 31511 31513 27791 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 17 0 633750519 10960896 1071 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31513/tid=31517] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31517/stat : 31517 (satake) R 31511 31513 27791 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 17 0 633750519 10960896 1074 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31518] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31518/stat : 31518 (satake) R 31511 31513 27791 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 17 0 633750519 10960896 1078 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31513/tid=31519] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31519/stat : 31519 (satake) R 31511 31513 27791 0 -1 4202560 98 0 0 0 0 0 0 0 20 0 17 0 633750519 10960896 1079 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31513/tid=31520] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31520/stat : 31520 (satake) R 31511 31513 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 633750519 10960896 1079 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31513/tid=31521] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31521/stat : 31521 (satake) R 31511 31513 27791 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 17 0 633750520 10960896 1081 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31513/tid=31522] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31522/stat : 31522 (satake) S 31511 31513 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633750520 10960896 1086 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=31513/tid=31523] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31523/stat : 31523 (satake) R 31511 31513 27791 0 -1 4202560 98 0 0 0 0 0 0 0 20 0 17 0 633750520 10960896 1087 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31513/tid=31524] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31524/stat : 31524 (satake) R 31511 31513 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 633750520 10960896 1087 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31525] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31525/stat : 31525 (satake) R 31511 31513 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 633750520 10960896 1089 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31513/tid=31526] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31526/stat : 31526 (satake) R 31511 31513 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 17 0 633750520 10960896 1089 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31513/tid=31527] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31527/stat : 31527 (satake) R 31511 31513 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 633750520 10960896 1091 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31513/tid=31528] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31528/stat : 31528 (satake) R 31511 31513 27791 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 17 0 633750520 10960896 1092 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31513/tid=31529] ppid=31511 vsize=10704 CPUtime=0
/proc/31513/task/31529/stat : 31529 (satake) S 31511 31513 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633750520 10960896 1094 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10704

[startup+0.106545 s]
/proc/loadavg: 2.07 2.09 2.03 2/184 31513
/proc/meminfo: memFree=19144604/36427776 swapFree=3652/7000
[pid=31513] ppid=31511 vsize=29112 CPUtime=0.41
/proc/31513/stat : 31513 (satake) S 31511 31513 27791 0 -1 4202496 5202 0 0 0 7 34 0 0 20 0 17 0 633750519 29810688 5157 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/31513/statm: 7278 5158 63 164 0 7113 0
[pid=31513/tid=31514] ppid=31511 vsize=29112 CPUtime=0
/proc/31513/task/31514/stat : 31514 (satake) S 31511 31513 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 633750519 29810688 5159 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31515] ppid=31511 vsize=29112 CPUtime=0.02
/proc/31513/task/31515/stat : 31515 (satake) R 31511 31513 27791 0 -1 4202560 352 0 0 0 0 2 0 0 20 0 17 0 633750519 29810688 5159 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31513/tid=31516] ppid=31511 vsize=29112 CPUtime=0.04
/proc/31513/task/31516/stat : 31516 (satake) R 31511 31513 27791 0 -1 4202560 352 0 0 0 0 4 0 0 20 0 17 0 633750519 29810688 5163 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31513/tid=31517] ppid=31511 vsize=29112 CPUtime=0.02
/proc/31513/task/31517/stat : 31517 (satake) S 31511 31513 27791 0 -1 4202560 322 0 0 0 0 2 0 0 20 0 17 0 633750519 29810688 5164 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31518] ppid=31511 vsize=29112 CPUtime=0.02
/proc/31513/task/31518/stat : 31518 (satake) R 31511 31513 27791 0 -1 4202560 346 0 0 0 0 2 0 0 20 0 17 0 633750519 29810688 5165 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31513/tid=31519] ppid=31511 vsize=29112 CPUtime=0.02
/proc/31513/task/31519/stat : 31519 (satake) R 31511 31513 27791 0 -1 4202560 327 0 0 0 0 2 0 0 20 0 17 0 633750519 29810688 5165 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31513/tid=31520] ppid=31511 vsize=29112 CPUtime=0.02
/proc/31513/task/31520/stat : 31520 (satake) R 31511 31513 27791 0 -1 4202560 331 0 0 0 2 0 0 0 20 0 17 0 633750519 29810688 5165 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31513/tid=31521] ppid=31511 vsize=29112 CPUtime=0.04
/proc/31513/task/31521/stat : 31521 (satake) S 31511 31513 27791 0 -1 4202560 331 0 0 0 0 4 0 0 20 0 17 0 633750520 29810688 5165 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=31513/tid=31522] ppid=31511 vsize=29112 CPUtime=0.02
/proc/31513/task/31522/stat : 31522 (satake) S 31511 31513 27791 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 17 0 633750520 29810688 5165 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=31513/tid=31523] ppid=31511 vsize=29112 CPUtime=0.04
/proc/31513/task/31523/stat : 31523 (satake) D 31511 31513 27791 0 -1 4202560 361 0 0 0 0 4 0 0 20 0 17 0 633750520 29810688 5165 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31513/tid=31524] ppid=31511 vsize=29112 CPUtime=0
/proc/31513/task/31524/stat : 31524 (satake) D 31511 31513 27791 0 -1 4202560 316 0 0 0 0 0 0 0 20 0 17 0 633750520 29810688 5166 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31525] ppid=31511 vsize=29112 CPUtime=0
/proc/31513/task/31525/stat : 31525 (satake) R 31511 31513 27791 0 -1 4202560 319 0 0 0 0 0 0 0 20 0 17 0 633750520 29810688 5167 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31513/tid=31526] ppid=31511 vsize=29112 CPUtime=0.02
/proc/31513/task/31526/stat : 31526 (satake) S 31511 31513 27791 0 -1 4202560 328 0 0 0 0 2 0 0 20 0 17 0 633750520 29810688 5167 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=31513/tid=31527] ppid=31511 vsize=29112 CPUtime=0.02
/proc/31513/task/31527/stat : 31527 (satake) D 31511 31513 27791 0 -1 4202560 330 0 0 0 0 2 0 0 20 0 17 0 633750520 29810688 5168 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31513/tid=31528] ppid=31511 vsize=29112 CPUtime=0.04
/proc/31513/task/31528/stat : 31528 (satake) S 31511 31513 27791 0 -1 4202560 400 0 0 0 2 2 0 0 20 0 17 0 633750520 29810688 5168 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=31513/tid=31529] ppid=31511 vsize=29112 CPUtime=0
/proc/31513/task/31529/stat : 31529 (satake) S 31511 31513 27791 0 -1 4202560 312 0 0 0 0 0 0 0 20 0 17 0 633750520 29810688 5170 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 29112

[startup+0.306617 s]
/proc/loadavg: 2.07 2.09 2.03 2/184 31513
/proc/meminfo: memFree=19144604/36427776 swapFree=3652/7000
[pid=31513] ppid=31511 vsize=46732 CPUtime=1.32
/proc/31513/stat : 31513 (satake) S 31511 31513 27791 0 -1 4202496 9315 0 0 0 40 92 0 0 20 0 17 0 633750519 47853568 9270 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/31513/statm: 11683 9273 63 164 0 11518 0
[pid=31513/tid=31514] ppid=31511 vsize=46732 CPUtime=0
/proc/31513/task/31514/stat : 31514 (satake) S 31511 31513 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 633750519 47853568 9273 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31515] ppid=31511 vsize=46732 CPUtime=0.1
/proc/31513/task/31515/stat : 31515 (satake) R 31511 31513 27791 0 -1 4202560 677 0 0 0 4 6 0 0 20 0 17 0 633750519 47853568 9273 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31513/tid=31516] ppid=31511 vsize=46732 CPUtime=0.1
/proc/31513/task/31516/stat : 31516 (satake) D 31511 31513 27791 0 -1 4202560 595 0 0 0 0 10 0 0 20 0 17 0 633750519 47853568 9273 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31513/tid=31517] ppid=31511 vsize=46732 CPUtime=0.08
/proc/31513/task/31517/stat : 31517 (satake) R 31511 31513 27791 0 -1 4202560 559 0 0 0 4 4 0 0 20 0 17 0 633750519 47853568 9275 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31518] ppid=31511 vsize=46732 CPUtime=0.1
/proc/31513/task/31518/stat : 31518 (satake) D 31511 31513 27791 0 -1 4202560 705 0 0 0 2 8 0 0 20 0 17 0 633750519 47853568 9275 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31513/tid=31519] ppid=31511 vsize=46732 CPUtime=0.08
/proc/31513/task/31519/stat : 31519 (satake) R 31511 31513 27791 0 -1 4202560 570 0 0 0 0 8 0 0 20 0 17 0 633750519 47853568 9275 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31513/tid=31520] ppid=31511 vsize=46732 CPUtime=0.08
/proc/31513/task/31520/stat : 31520 (satake) D 31511 31513 27791 0 -1 4202560 722 0 0 0 2 6 0 0 20 0 17 0 633750519 47853568 9275 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31513/tid=31521] ppid=31511 vsize=46732 CPUtime=0.08
/proc/31513/task/31521/stat : 31521 (satake) D 31511 31513 27791 0 -1 4202560 540 0 0 0 2 6 0 0 20 0 17 0 633750520 47853568 9276 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31513/tid=31522] ppid=31511 vsize=46732 CPUtime=0.06
/proc/31513/task/31522/stat : 31522 (satake) S 31511 31513 27791 0 -1 4202560 669 0 0 0 2 4 0 0 20 0 17 0 633750520 47853568 9276 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=31513/tid=31523] ppid=31511 vsize=46732 CPUtime=0.1
/proc/31513/task/31523/stat : 31523 (satake) D 31511 31513 27791 0 -1 4202560 701 0 0 0 2 8 0 0 20 0 17 0 633750520 47853568 9276 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31513/tid=31524] ppid=31511 vsize=46732 CPUtime=0.06
/proc/31513/task/31524/stat : 31524 (satake) D 31511 31513 27791 0 -1 4202560 517 0 0 0 4 2 0 0 20 0 17 0 633750520 47853568 9276 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31525] ppid=31511 vsize=46732 CPUtime=0.06
/proc/31513/task/31525/stat : 31525 (satake) S 31511 31513 27791 0 -1 4202560 546 0 0 0 2 4 0 0 20 0 17 0 633750520 47853568 9279 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=31513/tid=31526] ppid=31511 vsize=46732 CPUtime=0.08
/proc/31513/task/31526/stat : 31526 (satake) R 31511 31513 27791 0 -1 4202560 535 0 0 0 0 8 0 0 20 0 17 0 633750520 47853568 9279 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31513/tid=31527] ppid=31511 vsize=46732 CPUtime=0.06
/proc/31513/task/31527/stat : 31527 (satake) R 31511 31513 27791 0 -1 4202560 538 0 0 0 2 4 0 0 20 0 17 0 633750520 47853568 9283 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31513/tid=31528] ppid=31511 vsize=46732 CPUtime=0.12
/proc/31513/task/31528/stat : 31528 (satake) R 31511 31513 27791 0 -1 4202560 892 0 0 0 10 2 0 0 20 0 17 0 633750520 47853568 9284 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31513/tid=31529] ppid=31511 vsize=46732 CPUtime=0.04
/proc/31513/task/31529/stat : 31529 (satake) S 31511 31513 27791 0 -1 4202560 427 0 0 0 0 4 0 0 20 0 17 0 633750520 47853568 9285 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 46732

[startup+0.707224 s]
/proc/loadavg: 2.07 2.09 2.03 2/184 31513
/proc/meminfo: memFree=19144604/36427776 swapFree=3652/7000
[pid=31513] ppid=31511 vsize=52016 CPUtime=3.15
/proc/31513/stat : 31513 (satake) S 31511 31513 27791 0 -1 4202496 15315 0 0 0 184 131 0 0 20 0 17 0 633750519 53264384 11310 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/31513/statm: 13004 11310 68 164 0 12839 0
[pid=31513/tid=31514] ppid=31511 vsize=52016 CPUtime=0.1
/proc/31513/task/31514/stat : 31514 (satake) R 31511 31513 27791 0 -1 4202560 20 0 0 0 0 10 0 0 20 0 17 0 633750519 53264384 11310 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31513/tid=31515] ppid=31511 vsize=52016 CPUtime=0.22
/proc/31513/task/31515/stat : 31515 (satake) S 31511 31513 27791 0 -1 4202560 981 0 0 0 16 6 0 0 20 0 17 0 633750519 53264384 11310 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31513/tid=31516] ppid=31511 vsize=52016 CPUtime=0.22
/proc/31513/task/31516/stat : 31516 (satake) D 31511 31513 27791 0 -1 4202560 1065 0 0 0 12 10 0 0 20 0 17 0 633750519 53264384 11310 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31513/tid=31517] ppid=31511 vsize=52016 CPUtime=0.2
/proc/31513/task/31517/stat : 31517 (satake) S 31511 31513 27791 0 -1 4202560 999 0 0 0 10 10 0 0 20 0 17 0 633750519 53264384 11310 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31518] ppid=31511 vsize=52016 CPUtime=0.24
/proc/31513/task/31518/stat : 31518 (satake) S 31511 31513 27791 0 -1 4202560 1001 0 0 0 14 10 0 0 20 0 17 0 633750519 53264384 11310 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31513/tid=31519] ppid=31511 vsize=52016 CPUtime=0.2
/proc/31513/task/31519/stat : 31519 (satake) S 31511 31513 27791 0 -1 4202560 942 0 0 0 12 8 0 0 20 0 17 0 633750519 53264384 11310 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=31513/tid=31520] ppid=31511 vsize=52016 CPUtime=0.18
/proc/31513/task/31520/stat : 31520 (satake) S 31511 31513 27791 0 -1 4202560 1072 0 0 0 12 6 0 0 20 0 17 0 633750519 53264384 11310 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31513/tid=31521] ppid=31511 vsize=52016 CPUtime=0.2
/proc/31513/task/31521/stat : 31521 (satake) S 31511 31513 27791 0 -1 4202560 987 0 0 0 12 8 0 0 20 0 17 0 633750520 53264384 11310 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=31513/tid=31522] ppid=31511 vsize=52016 CPUtime=0.16
/proc/31513/task/31522/stat : 31522 (satake) S 31511 31513 27791 0 -1 4202560 1083 0 0 0 6 10 0 0 20 0 17 0 633750520 53264384 11310 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31513/tid=31523] ppid=31511 vsize=52016 CPUtime=0.22

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

Current children cumulated CPU time (s) 163.31
Current children cumulated vsize (KiB) 184560

[startup+102.314 s]
/proc/loadavg: 5.21 3.05 2.37 9/201 31530
/proc/meminfo: memFree=18875364/36427776 swapFree=4588/279752
[pid=31513] ppid=31511 vsize=281436 CPUtime=399.46
/proc/31513/stat : 31513 (satake) S 31511 31513 27791 0 -1 4202496 71678 0 0 0 35269 4677 0 0 20 0 17 0 633750519 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/31513/statm: 70359 67673 68 164 0 70194 0
[pid=31513/tid=31514] ppid=31511 vsize=281436 CPUtime=34.9
/proc/31513/task/31514/stat : 31514 (satake) D 31511 31513 27791 0 -1 4202560 769 0 0 0 414 3076 0 0 20 0 17 0 633750519 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31513/tid=31515] ppid=31511 vsize=281436 CPUtime=24.08
/proc/31513/task/31515/stat : 31515 (satake) S 31511 31513 27791 0 -1 4202560 4378 0 0 0 2316 92 0 0 20 0 17 0 633750519 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31513/tid=31516] ppid=31511 vsize=281436 CPUtime=23.3
/proc/31513/task/31516/stat : 31516 (satake) D 31511 31513 27791 0 -1 4202560 4758 0 0 0 2232 98 0 0 20 0 17 0 633750519 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31513/tid=31517] ppid=31511 vsize=281436 CPUtime=24.5
/proc/31513/task/31517/stat : 31517 (satake) D 31511 31513 27791 0 -1 4202560 4836 0 0 0 2334 116 0 0 20 0 17 0 633750519 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31518] ppid=31511 vsize=281436 CPUtime=23.74
/proc/31513/task/31518/stat : 31518 (satake) S 31511 31513 27791 0 -1 4202560 4802 0 0 0 2268 106 0 0 20 0 17 0 633750519 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=31513/tid=31519] ppid=31511 vsize=281436 CPUtime=24.76
/proc/31513/task/31519/stat : 31519 (satake) R 31511 31513 27791 0 -1 4202560 4696 0 0 0 2374 102 0 0 20 0 17 0 633750519 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134518208 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31513/tid=31520] ppid=31511 vsize=281436 CPUtime=23.52
/proc/31513/task/31520/stat : 31520 (satake) S 31511 31513 27791 0 -1 4202560 4828 0 0 0 2248 104 0 0 20 0 17 0 633750519 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31513/tid=31521] ppid=31511 vsize=281436 CPUtime=24.06
/proc/31513/task/31521/stat : 31521 (satake) S 31511 31513 27791 0 -1 4202560 4638 0 0 0 2296 110 0 0 20 0 17 0 633750520 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31513/tid=31522] ppid=31511 vsize=281436 CPUtime=25.86
/proc/31513/task/31522/stat : 31522 (satake) S 31511 31513 27791 0 -1 4202560 5203 0 0 0 2470 116 0 0 20 0 17 0 633750520 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=31513/tid=31523] ppid=31511 vsize=281436 CPUtime=24.26
/proc/31513/task/31523/stat : 31523 (satake) S 31511 31513 27791 0 -1 4202560 4447 0 0 0 2318 108 0 0 20 0 17 0 633750520 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31513/tid=31524] ppid=31511 vsize=281436 CPUtime=24.92
/proc/31513/task/31524/stat : 31524 (satake) S 31511 31513 27791 0 -1 4202560 4624 0 0 0 2388 104 0 0 20 0 17 0 633750520 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=31513/tid=31525] ppid=31511 vsize=281436 CPUtime=24.66
/proc/31513/task/31525/stat : 31525 (satake) S 31511 31513 27791 0 -1 4202560 4810 0 0 0 2358 108 0 0 20 0 17 0 633750520 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31513/tid=31526] ppid=31511 vsize=281436 CPUtime=24.42
/proc/31513/task/31526/stat : 31526 (satake) S 31511 31513 27791 0 -1 4202560 4673 0 0 0 2332 110 0 0 20 0 17 0 633750520 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=31513/tid=31527] ppid=31511 vsize=281436 CPUtime=23.42
/proc/31513/task/31527/stat : 31527 (satake) R 31511 31513 27791 0 -1 4202560 4805 0 0 0 2234 108 0 0 20 0 17 0 633750520 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31513/tid=31528] ppid=31511 vsize=281436 CPUtime=23.56
/proc/31513/task/31528/stat : 31528 (satake) R 31511 31513 27791 0 -1 4202560 4685 0 0 0 2260 96 0 0 20 0 17 0 633750520 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31513/tid=31529] ppid=31511 vsize=281436 CPUtime=25.38
/proc/31513/task/31529/stat : 31529 (satake) S 31511 31513 27791 0 -1 4202560 4602 0 0 0 2420 118 0 0 20 0 17 0 633750520 288190464 67673 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 399.46
Current children cumulated vsize (KiB) 281436

[startup+162.304 s]
/proc/loadavg: 6.74 3.87 2.69 8/201 31530
/proc/meminfo: memFree=18806048/36427776 swapFree=4588/349024
[pid=31513] ppid=31511 vsize=354428 CPUtime=764.94
/proc/31513/stat : 31513 (satake) S 31511 31513 27791 0 -1 4202496 88702 0 0 0 68813 7681 0 0 20 0 17 0 633750519 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/31513/statm: 88607 84697 68 164 0 88442 0
[pid=31513/tid=31514] ppid=31511 vsize=354428 CPUtime=60.15
/proc/31513/task/31514/stat : 31514 (satake) D 31511 31513 27791 0 -1 4202560 1076 0 0 0 618 5397 0 0 20 0 17 0 633750519 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31513/tid=31515] ppid=31511 vsize=354428 CPUtime=45.96
/proc/31513/task/31515/stat : 31515 (satake) S 31511 31513 27791 0 -1 4202560 5391 0 0 0 4460 136 0 0 20 0 17 0 633750519 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31513/tid=31516] ppid=31511 vsize=354428 CPUtime=45.13
/proc/31513/task/31516/stat : 31516 (satake) D 31511 31513 27791 0 -1 4202560 5916 0 0 0 4379 134 0 0 20 0 17 0 633750519 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31513/tid=31517] ppid=31511 vsize=354428 CPUtime=51.03
/proc/31513/task/31517/stat : 31517 (satake) S 31511 31513 27791 0 -1 4202560 5968 0 0 0 4911 192 0 0 20 0 17 0 633750519 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31513/tid=31518] ppid=31511 vsize=354428 CPUtime=48.35
/proc/31513/task/31518/stat : 31518 (satake) S 31511 31513 27791 0 -1 4202560 5874 0 0 0 4675 160 0 0 20 0 17 0 633750519 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=31513/tid=31519] ppid=31511 vsize=354428 CPUtime=44.99
/proc/31513/task/31519/stat : 31519 (satake) S 31511 31513 27791 0 -1 4202560 5770 0 0 0 4365 134 0 0 20 0 17 0 633750519 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31520] ppid=31511 vsize=354428 CPUtime=45.52
/proc/31513/task/31520/stat : 31520 (satake) S 31511 31513 27791 0 -1 4202560 5930 0 0 0 4410 142 0 0 20 0 17 0 633750519 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31513/tid=31521] ppid=31511 vsize=354428 CPUtime=48.72
/proc/31513/task/31521/stat : 31521 (satake) R 31511 31513 27791 0 -1 4202560 5715 0 0 0 4724 148 0 0 20 0 17 0 633750520 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134528633 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31513/tid=31522] ppid=31511 vsize=354428 CPUtime=51.04
/proc/31513/task/31522/stat : 31522 (satake) S 31511 31513 27791 0 -1 4202560 6347 0 0 0 4950 154 0 0 20 0 17 0 633750520 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=31513/tid=31523] ppid=31511 vsize=354428 CPUtime=48.67
/proc/31513/task/31523/stat : 31523 (satake) S 31511 31513 27791 0 -1 4202560 5761 0 0 0 4713 154 0 0 20 0 17 0 633750520 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31513/tid=31524] ppid=31511 vsize=354428 CPUtime=44.23
/proc/31513/task/31524/stat : 31524 (satake) S 31511 31513 27791 0 -1 4202560 5668 0 0 0 4261 162 0 0 20 0 17 0 633750520 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=31513/tid=31525] ppid=31511 vsize=354428 CPUtime=45.61
/proc/31513/task/31525/stat : 31525 (satake) S 31511 31513 27791 0 -1 4202560 5860 0 0 0 4413 148 0 0 20 0 17 0 633750520 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31513/tid=31526] ppid=31511 vsize=354428 CPUtime=44.8
/proc/31513/task/31526/stat : 31526 (satake) S 31511 31513 27791 0 -1 4202560 5709 0 0 0 4320 160 0 0 20 0 17 0 633750520 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=31513/tid=31527] ppid=31511 vsize=354428 CPUtime=46.97
/proc/31513/task/31527/stat : 31527 (satake) S 31511 31513 27791 0 -1 4202560 6019 0 0 0 4541 156 0 0 20 0 17 0 633750520 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=31513/tid=31528] ppid=31511 vsize=354428 CPUtime=45.59
/proc/31513/task/31528/stat : 31528 (satake) S 31511 31513 27791 0 -1 4202560 5888 0 0 0 4421 138 0 0 20 0 17 0 633750520 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31513/tid=31529] ppid=31511 vsize=354428 CPUtime=48.1
/proc/31513/task/31529/stat : 31529 (satake) S 31511 31513 27791 0 -1 4202560 5686 0 0 0 4650 160 0 0 20 0 17 0 633750520 362934272 84697 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 764.94
Current children cumulated vsize (KiB) 354428

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

[startup+163.103 s]
/proc/loadavg: 6.52 3.87 2.69 4/201 31530
/proc/meminfo: memFree=18805924/36427776 swapFree=4588/349052
[pid=31513] ppid=31511 vsize=354428 CPUtime=767.84
/proc/31513/stat : 31513 (satake) S 31511 31513 27791 0 -1 4202496 88723 0 0 0 69040 7744 0 0 20 0 17 0 633750519 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/31513/statm: 88607 84718 77 164 0 88442 0
[pid=31513/tid=31514] ppid=31511 vsize=354428 CPUtime=60.48
/proc/31513/task/31514/stat : 31514 (satake) R 31511 31513 27791 0 -1 4202560 1080 0 0 0 620 5428 0 0 20 0 17 0 633750519 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31513/tid=31515] ppid=31511 vsize=354428 CPUtime=46.12
/proc/31513/task/31515/stat : 31515 (satake) R 31511 31513 27791 0 -1 4202560 5391 0 0 0 4474 138 0 0 20 0 17 0 633750519 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31513/tid=31516] ppid=31511 vsize=354428 CPUtime=45.25
/proc/31513/task/31516/stat : 31516 (satake) R 31511 31513 27791 0 -1 4202560 5922 0 0 0 4391 134 0 0 20 0 17 0 633750519 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31513/tid=31517] ppid=31511 vsize=354428 CPUtime=51.28
/proc/31513/task/31517/stat : 31517 (satake) R 31511 31513 27791 0 -1 4202560 5968 0 0 0 4934 194 0 0 20 0 17 0 633750519 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31513/tid=31518] ppid=31511 vsize=354428 CPUtime=48.57
/proc/31513/task/31518/stat : 31518 (satake) R 31511 31513 27791 0 -1 4202560 5874 0 0 0 4695 162 0 0 20 0 17 0 633750519 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31513/tid=31519] ppid=31511 vsize=354428 CPUtime=45.18
/proc/31513/task/31519/stat : 31519 (satake) R 31511 31513 27791 0 -1 4202560 5770 0 0 0 4380 138 0 0 20 0 17 0 633750519 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31520] ppid=31511 vsize=354428 CPUtime=45.69
/proc/31513/task/31520/stat : 31520 (satake) R 31511 31513 27791 0 -1 4202560 5931 0 0 0 4425 144 0 0 20 0 17 0 633750519 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31513/tid=31521] ppid=31511 vsize=354428 CPUtime=48.89
/proc/31513/task/31521/stat : 31521 (satake) R 31511 31513 27791 0 -1 4202560 5715 0 0 0 4739 150 0 0 20 0 17 0 633750520 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31513/tid=31522] ppid=31511 vsize=354428 CPUtime=51.19
/proc/31513/task/31522/stat : 31522 (satake) R 31511 31513 27791 0 -1 4202560 6356 0 0 0 4963 156 0 0 20 0 17 0 633750520 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31513/tid=31523] ppid=31511 vsize=354428 CPUtime=48.85
/proc/31513/task/31523/stat : 31523 (satake) R 31511 31513 27791 0 -1 4202560 5761 0 0 0 4729 156 0 0 20 0 17 0 633750520 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31513/tid=31524] ppid=31511 vsize=354428 CPUtime=44.38
/proc/31513/task/31524/stat : 31524 (satake) R 31511 31513 27791 0 -1 4202560 5668 0 0 0 4272 166 0 0 20 0 17 0 633750520 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31513/tid=31525] ppid=31511 vsize=354428 CPUtime=45.76
/proc/31513/task/31525/stat : 31525 (satake) S 31511 31513 27791 0 -1 4202560 5860 0 0 0 4426 150 0 0 20 0 17 0 633750520 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=31513/tid=31526] ppid=31511 vsize=354428 CPUtime=44.96
/proc/31513/task/31526/stat : 31526 (satake) R 31511 31513 27791 0 -1 4202560 5710 0 0 0 4334 162 0 0 20 0 17 0 633750520 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31513/tid=31527] ppid=31511 vsize=354428 CPUtime=47.11
/proc/31513/task/31527/stat : 31527 (satake) R 31511 31513 27791 0 -1 4202560 6019 0 0 0 4553 158 0 0 20 0 17 0 633750520 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31513/tid=31528] ppid=31511 vsize=354428 CPUtime=45.77
/proc/31513/task/31528/stat : 31528 (satake) R 31511 31513 27791 0 -1 4202560 5888 0 0 0 4437 140 0 0 20 0 17 0 633750520 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31513/tid=31529] ppid=31511 vsize=354428 CPUtime=48.27
/proc/31513/task/31529/stat : 31529 (satake) R 31511 31513 27791 0 -1 4202560 5686 0 0 0 4665 162 0 0 20 0 17 0 633750520 362934272 84718 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 767.84
Current children cumulated vsize (KiB) 354428

[startup+163.505 s]
/proc/loadavg: 6.52 3.87 2.69 4/201 31530
/proc/meminfo: memFree=18805924/36427776 swapFree=4588/349052
[pid=31513] ppid=31511 vsize=348296 CPUtime=771.7
/proc/31513/stat : 31513 (satake) S 31511 31513 27791 0 -1 4202496 88723 0 0 0 69185 7985 0 0 20 0 11 0 633750519 356655104 83668 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/31513/statm: 87074 83668 77 164 0 86909 0
[pid=31513/tid=31515] ppid=31511 vsize=348296 CPUtime=46.44
/proc/31513/task/31515/stat : 31515 (satake) S 31511 31513 27791 0 -1 4202560 5391 0 0 0 4486 158 0 0 20 0 11 0 633750519 356655104 83668 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31513/tid=31516] ppid=31511 vsize=348296 CPUtime=45.55
/proc/31513/task/31516/stat : 31516 (satake) S 31511 31513 27791 0 -1 4202560 5922 0 0 0 4403 152 0 0 20 0 11 0 633750519 356655104 83668 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=31513/tid=31517] ppid=31511 vsize=348296 CPUtime=51.58
/proc/31513/task/31517/stat : 31517 (satake) R 31511 31513 27791 0 -1 4202560 5968 0 0 0 4944 214 0 0 20 0 11 0 633750519 356655104 83668 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31513/tid=31518] ppid=31511 vsize=348296 CPUtime=48.86
/proc/31513/task/31518/stat : 31518 (satake) R 31511 31513 27791 0 -1 4202560 5874 0 0 0 4706 180 0 0 20 0 11 0 633750519 356655104 83668 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31513/tid=31519] ppid=31511 vsize=348296 CPUtime=45.47
/proc/31513/task/31519/stat : 31519 (satake) R 31511 31513 27791 0 -1 4202560 5770 0 0 0 4393 154 0 0 20 0 11 0 633750519 356655104 83668 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31513/tid=31521] ppid=31511 vsize=348296 CPUtime=49.19
/proc/31513/task/31521/stat : 31521 (satake) R 31511 31513 27791 0 -1 4202560 5715 0 0 0 4749 170 0 0 20 0 11 0 633750520 356655104 83668 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31513/tid=31524] ppid=31511 vsize=348296 CPUtime=44.67
/proc/31513/task/31524/stat : 31524 (satake) S 31511 31513 27791 0 -1 4202560 5668 0 0 0 4283 184 0 0 20 0 11 0 633750520 356655104 83668 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=31513/tid=31526] ppid=31511 vsize=348296 CPUtime=45.26
/proc/31513/task/31526/stat : 31526 (satake) R 31511 31513 27791 0 -1 4202560 5710 0 0 0 4342 184 0 0 20 0 11 0 633750520 356655104 83668 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31513/tid=31527] ppid=31511 vsize=348296 CPUtime=47.42
/proc/31513/task/31527/stat : 31527 (satake) S 31511 31513 27791 0 -1 4202560 6019 0 0 0 4564 178 0 0 20 0 11 0 633750520 356655104 83668 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=31513/tid=31529] ppid=31511 vsize=348296 CPUtime=48.56
/proc/31513/task/31529/stat : 31529 (satake) S 31511 31513 27791 0 -1 4202560 5686 0 0 0 4676 180 0 0 20 0 11 0 633750520 356655104 83668 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 771.7
Current children cumulated vsize (KiB) 348296

[startup+163.604 s]
/proc/loadavg: 6.52 3.87 2.69 4/201 31530
/proc/meminfo: memFree=18805924/36427776 swapFree=4588/349052
[pid=31513] ppid=31511 vsize=314896 CPUtime=772.08
/proc/31513/stat : 31513 (satake) S 31511 31513 27791 0 -1 4202496 88723 0 0 0 69197 8011 0 0 20 0 3 0 633750519 322453504 75641 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/31513/statm: 78724 75641 77 164 0 78559 0
[pid=31513/tid=31516] ppid=31511 vsize=314896 CPUtime=45.6
/proc/31513/task/31516/stat : 31516 (satake) S 31511 31513 27791 0 -1 4202560 5922 0 0 0 4404 156 0 0 20 0 3 0 633750519 322453504 75641 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=31513/tid=31518] ppid=31511 vsize=314896 CPUtime=48.92
/proc/31513/task/31518/stat : 31518 (satake) R 31511 31513 27791 0 -1 4202560 5874 0 0 0 4708 184 0 0 20 0 3 0 633750519 322453504 75641 18446744073709551615 134512640 135180984 4289923600 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 772.08
Current children cumulated vsize (KiB) 314896

Child status: 16
Real time (s): 163.674
CPU time (s): 772.168
CPU user time (s): 691.999
CPU system time (s): 80.169
CPU usage (%): 471.771
Max. virtual memory (cumulated for all children) (KiB): 354428


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 691.999
system time used= 80.169
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88724
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= 7051651
involuntary context switches= 1388213

runsolver used 0.828051 second user time and 1.93612 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 20:20:42
IDJOB=1776297
IDBENCH=20485
IDSOLVER=631
FILE ID=xenhost3-49/1776297-1244744442
PBS_JOBID=
Free space on /tmp= 7039 MiB

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

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

MD5SUM BENCH= c5b44b10975f50cd32d40650a6a22d18
RANDOM SEED= 1904341664

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:      19145048 kB
Buffers:        432348 kB
Cached:       14101856 kB
SwapCached:          0 kB
Active:        4077116 kB
Inactive:     10464736 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1340 kB
Writeback:           0 kB
AnonPages:        7000 kB
Mapped:           2988 kB
Slab:           687580 kB
SReclaimable:   660848 kB
SUnreclaim:      26732 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29852 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 20:23:25