Trace number 1776342

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 1026.6 283.046

General information on the benchmark

Nameindustrial/grieu/
vmpc_24.cnf
MD5SUMa69847fa52646cc8016cf4fd8e9d428a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.56
Satisfiable
(Un)Satisfiability was proved
Number of variables576
Number of clauses67872
Sum of the clauses size178056
Maximum clause length24
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 226568
Number of clauses of size 341256
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 548

Solver Data 

1026.54/283.02	c Benchmark name    : HOME/instance-1776342-1244746204.cnf
1026.54/283.02	c Thread Num        :           16
1026.54/283.02	c restarts          :           15
1026.54/283.02	c conflicts         :        80188
1026.54/283.02	c decisions         :       127459           (      451 / sec      )
1026.54/283.02	c propagations      :      8948435           (    31679 / sec      )
1026.54/283.02	c inspects          :    346836691           (  1227846 / sec      )
1026.54/283.02	c conflict literals :      4727453           (    27.22 % deleted  )
1026.54/283.02	c cpu time          :       282.48           
1026.54/283.02	s SATISFIABLE
1026.54/283.02	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 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-1776342-1244746204/watcher-1776342-1244746204 -o /tmp/evaluation-result-1776342-1244746204/solver-1776342-1244746204 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776342-1244746204.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: 15.27 14.91 12.16 2/184 31707
/proc/meminfo: memFree=19146844/36427776 swapFree=4352/7760
[pid=31707] ppid=31705 vsize=8168 CPUtime=0
/proc/31707/stat : 31707 (satake) D 31705 31707 27791 0 -1 4202496 423 0 0 0 0 0 0 0 20 0 17 0 633926794 8364032 378 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31707/statm: 2042 378 63 164 0 1877 0
[pid=31707/tid=31708] ppid=31705 vsize=8172 CPUtime=0
/proc/31707/task/31708/stat : 31708 (satake) S 31705 31707 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 633926794 8368128 379 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31707/tid=31709] ppid=31705 vsize=8172 CPUtime=0
/proc/31707/task/31709/stat : 31709 (satake) D 31705 31707 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 633926794 8368128 379 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31707/tid=31710] ppid=31705 vsize=8172 CPUtime=0
/proc/31707/task/31710/stat : 31710 (satake) D 31705 31707 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 17 0 633926794 8368128 380 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31707/tid=31711] ppid=31705 vsize=8172 CPUtime=0
/proc/31707/task/31711/stat : 31711 (satake) R 31705 31707 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 633926794 8368128 385 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31707/tid=31712] ppid=31705 vsize=8172 CPUtime=0
/proc/31707/task/31712/stat : 31712 (satake) S 31705 31707 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633926794 8368128 385 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=31707/tid=31713] ppid=31705 vsize=8172 CPUtime=0
/proc/31707/task/31713/stat : 31713 (satake) D 31705 31707 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 633926794 8368128 386 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31707/tid=31714] ppid=31705 vsize=8172 CPUtime=0
/proc/31707/task/31714/stat : 31714 (satake) R 31705 31707 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 633926794 8368128 388 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31707/tid=31715] ppid=31705 vsize=8172 CPUtime=0
/proc/31707/task/31715/stat : 31715 (satake) S 31705 31707 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633926794 8368128 388 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=31707/tid=31716] ppid=31705 vsize=8172 CPUtime=0
/proc/31707/task/31716/stat : 31716 (satake) S 31705 31707 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633926795 8368128 388 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=31707/tid=31717] ppid=31705 vsize=8172 CPUtime=0
/proc/31707/task/31717/stat : 31717 (satake) D 31705 31707 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 633926795 8368128 390 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31707/tid=31718] ppid=31705 vsize=8176 CPUtime=0
/proc/31707/task/31718/stat : 31718 (satake) D 31705 31707 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 633926795 8372224 392 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31707/tid=31719] ppid=31705 vsize=8176 CPUtime=0
/proc/31707/task/31719/stat : 31719 (satake) D 31705 31707 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 633926795 8372224 396 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31707/tid=31720] ppid=31705 vsize=8176 CPUtime=0
/proc/31707/task/31720/stat : 31720 (satake) R 31705 31707 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 17 0 633926795 8372224 398 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31707/tid=31721] ppid=31705 vsize=8176 CPUtime=0
/proc/31707/task/31721/stat : 31721 (satake) R 31705 31707 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 633926795 8372224 398 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31707/tid=31722] ppid=31705 vsize=8176 CPUtime=0
/proc/31707/task/31722/stat : 31722 (satake) R 31705 31707 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 633926795 8372224 398 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31707/tid=31723] ppid=31705 vsize=8176 CPUtime=0
/proc/31707/task/31723/stat : 31723 (satake) R 31705 31707 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 633926795 8372224 398 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0

[startup+0.074342 s]
/proc/loadavg: 15.27 14.91 12.16 2/184 31707
/proc/meminfo: memFree=19146844/36427776 swapFree=4352/7760
[pid=31707] ppid=31705 vsize=25612 CPUtime=0.21
/proc/31707/stat : 31707 (satake) S 31705 31707 27791 0 -1 4202496 3925 0 0 0 3 18 0 0 20 0 17 0 633926794 26226688 3880 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31707/statm: 6403 3880 63 164 0 6238 0
[pid=31707/tid=31708] ppid=31705 vsize=25612 CPUtime=0
/proc/31707/task/31708/stat : 31708 (satake) S 31705 31707 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 633926794 26226688 3880 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31707/tid=31709] ppid=31705 vsize=25612 CPUtime=0.02
/proc/31707/task/31709/stat : 31709 (satake) S 31705 31707 27791 0 -1 4202560 283 0 0 0 0 2 0 0 20 0 17 0 633926794 26226688 3881 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=31707/tid=31710] ppid=31705 vsize=25612 CPUtime=0.02
/proc/31707/task/31710/stat : 31710 (satake) D 31705 31707 27791 0 -1 4202560 267 0 0 0 0 2 0 0 20 0 17 0 633926794 26226688 3883 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31707/tid=31711] ppid=31705 vsize=25612 CPUtime=0.02
/proc/31707/task/31711/stat : 31711 (satake) S 31705 31707 27791 0 -1 4202560 289 0 0 0 0 2 0 0 20 0 17 0 633926794 26226688 3883 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=31707/tid=31712] ppid=31705 vsize=25612 CPUtime=0
/proc/31707/task/31712/stat : 31712 (satake) D 31705 31707 27791 0 -1 4202560 161 0 0 0 0 0 0 0 20 0 17 0 633926794 26226688 3883 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31707/tid=31713] ppid=31705 vsize=25612 CPUtime=0.02
/proc/31707/task/31713/stat : 31713 (satake) D 31705 31707 27791 0 -1 4202560 274 0 0 0 0 2 0 0 20 0 17 0 633926794 26226688 3883 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31707/tid=31714] ppid=31705 vsize=25612 CPUtime=0.02
/proc/31707/task/31714/stat : 31714 (satake) D 31705 31707 27791 0 -1 4202560 306 0 0 0 0 2 0 0 20 0 17 0 633926794 26226688 3883 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31707/tid=31715] ppid=31705 vsize=26124 CPUtime=0.02
/proc/31707/task/31715/stat : 31715 (satake) S 31705 31707 27791 0 -1 4202560 286 0 0 0 0 2 0 0 20 0 17 0 633926794 26750976 3883 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=31707/tid=31716] ppid=31705 vsize=26124 CPUtime=0
/proc/31707/task/31716/stat : 31716 (satake) R 31705 31707 27791 0 -1 4202560 177 0 0 0 0 0 0 0 20 0 17 0 633926795 26750976 3884 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31707/tid=31717] ppid=31705 vsize=26124 CPUtime=0
/proc/31707/task/31717/stat : 31717 (satake) R 31705 31707 27791 0 -1 4202560 280 0 0 0 0 0 0 0 20 0 17 0 633926795 26750976 3888 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31707/tid=31718] ppid=31705 vsize=26124 CPUtime=0
/proc/31707/task/31718/stat : 31718 (satake) R 31705 31707 27791 0 -1 4202560 279 0 0 0 0 0 0 0 20 0 17 0 633926795 26750976 3889 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31707/tid=31719] ppid=31705 vsize=26124 CPUtime=0.02
/proc/31707/task/31719/stat : 31719 (satake) D 31705 31707 27791 0 -1 4202560 316 0 0 0 0 2 0 0 20 0 17 0 633926795 26750976 3889 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31707/tid=31720] ppid=31705 vsize=26124 CPUtime=0.02
/proc/31707/task/31720/stat : 31720 (satake) D 31705 31707 27791 0 -1 4202560 281 0 0 0 0 2 0 0 20 0 17 0 633926795 26750976 3890 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31707/tid=31721] ppid=31705 vsize=26124 CPUtime=0
/proc/31707/task/31721/stat : 31721 (satake) D 31705 31707 27791 0 -1 4202560 147 0 0 0 0 0 0 0 20 0 17 0 633926795 26750976 3890 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31707/tid=31722] ppid=31705 vsize=26124 CPUtime=0.02
/proc/31707/task/31722/stat : 31722 (satake) S 31705 31707 27791 0 -1 4202560 274 0 0 0 2 0 0 0 20 0 17 0 633926795 26750976 3893 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=31707/tid=31723] ppid=31705 vsize=26124 CPUtime=0
/proc/31707/task/31723/stat : 31723 (satake) D 31705 31707 27791 0 -1 4202560 181 0 0 0 0 0 0 0 20 0 17 0 633926795 26750976 3893 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 25612

[startup+0.106301 s]
/proc/loadavg: 15.27 14.91 12.16 2/184 31707
/proc/meminfo: memFree=19146844/36427776 swapFree=4352/7760
[pid=31707] ppid=31705 vsize=26268 CPUtime=0.4
/proc/31707/stat : 31707 (satake) S 31705 31707 27791 0 -1 4202496 4851 0 0 0 10 30 0 0 20 0 17 0 633926794 26898432 4806 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31707/statm: 6567 4810 63 164 0 6402 0
[pid=31707/tid=31708] ppid=31705 vsize=26268 CPUtime=0
/proc/31707/task/31708/stat : 31708 (satake) S 31705 31707 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 633926794 26898432 4810 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31707/tid=31709] ppid=31705 vsize=26268 CPUtime=0.02
/proc/31707/task/31709/stat : 31709 (satake) R 31705 31707 27791 0 -1 4202560 315 0 0 0 0 2 0 0 20 0 17 0 633926794 26898432 4811 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31707/tid=31710] ppid=31705 vsize=26268 CPUtime=0.02
/proc/31707/task/31710/stat : 31710 (satake) R 31705 31707 27791 0 -1 4202560 294 0 0 0 0 2 0 0 20 0 17 0 633926794 26898432 4812 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31707/tid=31711] ppid=31705 vsize=26268 CPUtime=0.02
/proc/31707/task/31711/stat : 31711 (satake) D 31705 31707 27791 0 -1 4202560 317 0 0 0 0 2 0 0 20 0 17 0 633926794 26898432 4814 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31707/tid=31712] ppid=31705 vsize=26268 CPUtime=0
/proc/31707/task/31712/stat : 31712 (satake) D 31705 31707 27791 0 -1 4202560 292 0 0 0 0 0 0 0 20 0 17 0 633926794 26898432 4814 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31707/tid=31713] ppid=31705 vsize=26268 CPUtime=0.02
/proc/31707/task/31713/stat : 31713 (satake) R 31705 31707 27791 0 -1 4202560 317 0 0 0 0 2 0 0 20 0 17 0 633926794 26898432 4814 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31707/tid=31714] ppid=31705 vsize=26268 CPUtime=0.04
/proc/31707/task/31714/stat : 31714 (satake) S 31705 31707 27791 0 -1 4202560 401 0 0 0 0 4 0 0 20 0 17 0 633926794 26898432 4814 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=31707/tid=31715] ppid=31705 vsize=26268 CPUtime=0.02
/proc/31707/task/31715/stat : 31715 (satake) S 31705 31707 27791 0 -1 4202560 326 0 0 0 0 2 0 0 20 0 17 0 633926794 26898432 4814 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=31707/tid=31716] ppid=31705 vsize=26268 CPUtime=0
/proc/31707/task/31716/stat : 31716 (satake) D 31705 31707 27791 0 -1 4202560 292 0 0 0 0 0 0 0 20 0 17 0 633926795 26898432 4815 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31707/tid=31717] ppid=31705 vsize=26268 CPUtime=0.02
/proc/31707/task/31717/stat : 31717 (satake) S 31705 31707 27791 0 -1 4202560 299 0 0 0 0 2 0 0 20 0 17 0 633926795 26898432 4818 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=31707/tid=31718] ppid=31705 vsize=26268 CPUtime=0.02
/proc/31707/task/31718/stat : 31718 (satake) R 31705 31707 27791 0 -1 4202560 307 0 0 0 2 0 0 0 20 0 17 0 633926795 26898432 4818 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31707/tid=31719] ppid=31705 vsize=26268 CPUtime=0.04
/proc/31707/task/31719/stat : 31719 (satake) R 31705 31707 27791 0 -1 4202560 394 0 0 0 0 4 0 0 20 0 17 0 633926795 26898432 4818 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31707/tid=31720] ppid=31705 vsize=26268 CPUtime=0.02
/proc/31707/task/31720/stat : 31720 (satake) D 31705 31707 27791 0 -1 4202560 305 0 0 0 0 2 0 0 20 0 17 0 633926795 26898432 4818 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31707/tid=31721] ppid=31705 vsize=26268 CPUtime=0
/proc/31707/task/31721/stat : 31721 (satake) R 31705 31707 27791 0 -1 4202560 282 0 0 0 0 0 0 0 20 0 17 0 633926795 26898432 4818 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31707/tid=31722] ppid=31705 vsize=26268 CPUtime=0.02
/proc/31707/task/31722/stat : 31722 (satake) S 31705 31707 27791 0 -1 4202560 307 0 0 0 2 0 0 0 20 0 17 0 633926795 26898432 4818 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=31707/tid=31723] ppid=31705 vsize=26268 CPUtime=0
/proc/31707/task/31723/stat : 31723 (satake) S 31705 31707 27791 0 -1 4202560 281 0 0 0 0 0 0 0 20 0 17 0 633926795 26898432 4819 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 26268

[startup+0.302356 s]
/proc/loadavg: 15.27 14.91 12.16 2/184 31707
/proc/meminfo: memFree=19146844/36427776 swapFree=4352/7760
[pid=31707] ppid=31705 vsize=45016 CPUtime=1.19
/proc/31707/stat : 31707 (satake) S 31705 31707 27791 0 -1 4202496 9052 0 0 0 48 71 0 0 20 0 17 0 633926794 46096384 8541 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31707/statm: 10998 8541 66 164 0 10833 0
[pid=31707/tid=31708] ppid=31705 vsize=43992 CPUtime=0
/proc/31707/task/31708/stat : 31708 (satake) S 31705 31707 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 633926794 45047808 8543 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31707/tid=31709] ppid=31705 vsize=43992 CPUtime=0.08
/proc/31707/task/31709/stat : 31709 (satake) R 31705 31707 27791 0 -1 4202560 653 0 0 0 2 6 0 0 20 0 17 0 633926794 45047808 8545 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31707/tid=31710] ppid=31705 vsize=43992 CPUtime=0.08
/proc/31707/task/31710/stat : 31710 (satake) D 31705 31707 27791 0 -1 4202560 503 0 0 0 0 8 0 0 20 0 17 0 633926794 45047808 8545 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31707/tid=31711] ppid=31705 vsize=43992 CPUtime=0.08
/proc/31707/task/31711/stat : 31711 (satake) S 31705 31707 27791 0 -1 4202560 564 0 0 0 0 8 0 0 20 0 17 0 633926794 45047808 8547 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=31707/tid=31712] ppid=31705 vsize=43992 CPUtime=0.04
/proc/31707/task/31712/stat : 31712 (satake) S 31705 31707 27791 0 -1 4202560 552 0 0 0 4 0 0 0 20 0 17 0 633926794 45047808 8547 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=31707/tid=31713] ppid=31705 vsize=43992 CPUtime=0.08
/proc/31707/task/31713/stat : 31713 (satake) R 31705 31707 27791 0 -1 4202560 610 0 0 0 0 8 0 0 20 0 17 0 633926794 45047808 8547 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31707/tid=31714] ppid=31705 vsize=43992 CPUtime=0.12
/proc/31707/task/31714/stat : 31714 (satake) S 31705 31707 27791 0 -1 4202560 853 0 0 0 6 6 0 0 20 0 17 0 633926794 45047808 8547 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=31707/tid=31715] ppid=31705 vsize=43992 CPUtime=0.08
/proc/31707/task/31715/stat : 31715 (satake) R 31705 31707 27791 0 -1 4202560 605 0 0 0 4 4 0 0 20 0 17 0 633926794 45047808 8548 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31707/tid=31716] ppid=31705 vsize=43992 CPUtime=0.06
/proc/31707/task/31716/stat : 31716 (satake) R 31705 31707 27791 0 -1 4202560 680 0 0 0 6 0 0 0 20 0 17 0 633926795 45047808 8548 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31707/tid=31717] ppid=31705 vsize=43992 CPUtime=0.06
/proc/31707/task/31717/stat : 31717 (satake) R 31705 31707 27791 0 -1 4202560 457 0 0 0 2 4 0 0 20 0 17 0 633926795 45047808 8549 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31707/tid=31718] ppid=31705 vsize=43992 CPUtime=0.06
/proc/31707/task/31718/stat : 31718 (satake) S 31705 31707 27791 0 -1 4202560 481 0 0 0 6 0 0 0 20 0 17 0 633926795 45047808 8550 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=31707/tid=31719] ppid=31705 vsize=43992 CPUtime=0.12
/proc/31707/task/31719/stat : 31719 (satake) R 31705 31707 27791 0 -1 4202560 895 0 0 0 6 6 0 0 20 0 17 0 633926795 45047808 8551 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134525177 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31707/tid=31720] ppid=31705 vsize=43992 CPUtime=0.06
/proc/31707/task/31720/stat : 31720 (satake) R 31705 31707 27791 0 -1 4202560 597 0 0 0 0 6 0 0 20 0 17 0 633926795 45047808 8552 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31707/tid=31721] ppid=31705 vsize=43992 CPUtime=0.04
/proc/31707/task/31721/stat : 31721 (satake) R 31705 31707 27791 0 -1 4202560 402 0 0 0 2 2 0 0 20 0 17 0 633926795 45047808 8553 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31707/tid=31722] ppid=31705 vsize=43992 CPUtime=0.08
/proc/31707/task/31722/stat : 31722 (satake) S 31705 31707 27791 0 -1 4202560 612 0 0 0 4 4 0 0 20 0 17 0 633926795 45047808 8553 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=31707/tid=31723] ppid=31705 vsize=43992 CPUtime=0.04
/proc/31707/task/31723/stat : 31723 (satake) D 31705 31707 27791 0 -1 4202560 465 0 0 0 2 2 0 0 20 0 17 0 633926795 45047808 8554 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 45016

[startup+0.706353 s]
/proc/loadavg: 15.27 14.91 12.16 2/184 31707
/proc/meminfo: memFree=19146844/36427776 swapFree=4352/7760
[pid=31707] ppid=31705 vsize=50196 CPUtime=2.82
/proc/31707/stat : 31707 (satake) S 31705 31707 27791 0 -1 4202496 13734 0 0 0 157 125 0 0 20 0 17 0 633926794 51400704 10194 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31707/statm: 12549 10194 68 164 0 12384 0
[pid=31707/tid=31708] ppid=31705 vsize=50196 CPUtime=0.12
/proc/31707/task/31708/stat : 31708 (satake) R 31705 31707 27791 0 -1 4202560 19 0 0 0 0 12 0 0 20 0 17 0 633926794 51400704 10194 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31707/tid=31709] ppid=31705 vsize=50196 CPUtime=0.22
/proc/31707/task/31709/stat : 31709 (satake) S 31705 31707 27791 0 -1 4202560 892 0 0 0 12 10 0 0 20 0 17 0 633926794 51400704 10194 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31707/tid=31710] ppid=31705 vsize=50196 CPUtime=0.16
/proc/31707/task/31710/stat : 31710 (satake) R 31705 31707 27791 0 -1 4202560 862 0 0 0 6 10 0 0 20 0 17 0 633926794 51400704 10194 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31707/tid=31711] ppid=31705 vsize=50196 CPUtime=0.22
/proc/31707/task/31711/stat : 31711 (satake) S 31705 31707 27791 0 -1 4202560 901 0 0 0 12 10 0 0 20 0 17 0 633926794 51400704 10194 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31707/tid=31712] ppid=31705 vsize=50196 CPUtime=0.14
/proc/31707/task/31712/stat : 31712 (satake) S 31705 31707 27791 0 -1 4202560 952 0 0 0 10 4 0 0 20 0 17 0 633926794 51400704 10194 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=31707/tid=31713] ppid=31705 vsize=50196 CPUtime=0.18
/proc/31707/task/31713/stat : 31713 (satake) S 31705 31707 27791 0 -1 4202560 915 0 0 0 8 10 0 0 20 0 17 0 633926794 51400704 10194 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31707/tid=31714] ppid=31705 vsize=50196 CPUtime=0.2
/proc/31707/task/31714/stat : 31714 (satake) S 31705 31707 27791 0 -1 4202560 894 0 0 0 14 6 0 0 20 0 17 0 633926794 51400704 10194 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=31707/tid=31715] ppid=31705 vsize=50196 CPUtime=0.16
/proc/31707/task/31715/stat : 31715 (satake) S 31705 31707 27791 0 -1 4202560 914 0 0 0 10 6 0 0 20 0 17 0 633926794 51400704 10194 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=31707/tid=31716] ppid=31705 vsize=50196 CPUtime=0.18
/proc/31707/task/31716/stat : 31716 (satake) S 31705 31707 27791 0 -1 4202560 1020 0 0 0 14 4 0 0 20 0 17 0 633926795 51400704 10194 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=31707/tid=31717] ppid=31705 vsize=50196 CPUtime=0.14

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

[pid=31707/tid=31719] ppid=31705 vsize=267044 CPUtime=29.98
/proc/31707/task/31719/stat : 31719 (satake) R 31705 31707 27791 0 -1 4202560 4488 0 0 0 2782 216 0 0 20 0 17 0 633926795 273453056 63713 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31707/tid=31720] ppid=31705 vsize=267044 CPUtime=37.05
/proc/31707/task/31720/stat : 31720 (satake) R 31705 31707 27791 0 -1 4202560 4361 0 0 0 3515 190 0 0 20 0 17 0 633926795 273453056 63713 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31707/tid=31721] ppid=31705 vsize=267044 CPUtime=31.56
/proc/31707/task/31721/stat : 31721 (satake) S 31705 31707 27791 0 -1 4202560 4241 0 0 0 2936 220 0 0 20 0 17 0 633926795 273453056 63713 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31707/tid=31722] ppid=31705 vsize=267044 CPUtime=30.18
/proc/31707/task/31722/stat : 31722 (satake) S 31705 31707 27791 0 -1 4202560 4192 0 0 0 2808 210 0 0 20 0 17 0 633926795 273453056 63713 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=31707/tid=31723] ppid=31705 vsize=267044 CPUtime=34.92
/proc/31707/task/31723/stat : 31723 (satake) S 31705 31707 27791 0 -1 4202560 4248 0 0 0 3304 188 0 0 20 0 17 0 633926795 273453056 63713 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 552.4
Current children cumulated vsize (KiB) 267044

[startup+222.305 s]
/proc/loadavg: 5.55 9.62 10.58 8/201 31724
/proc/meminfo: memFree=18867196/36427776 swapFree=4588/288496
[pid=31707] ppid=31705 vsize=295496 CPUtime=817.21
/proc/31707/stat : 31707 (satake) S 31705 31707 27791 0 -1 4202496 73444 0 0 0 70817 10904 0 0 20 0 17 0 633926794 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31707/statm: 73874 69904 68 164 0 73709 0
[pid=31707/tid=31708] ppid=31705 vsize=295496 CPUtime=82.69
/proc/31707/task/31708/stat : 31708 (satake) R 31705 31707 27791 0 -1 4202560 1547 0 0 0 980 7289 0 0 20 0 17 0 633926794 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31707/tid=31709] ppid=31705 vsize=295496 CPUtime=42.12
/proc/31707/task/31709/stat : 31709 (satake) S 31705 31707 27791 0 -1 4202560 4678 0 0 0 3996 216 0 0 20 0 17 0 633926794 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31707/tid=31710] ppid=31705 vsize=295496 CPUtime=54.24
/proc/31707/task/31710/stat : 31710 (satake) S 31705 31707 27791 0 -1 4202560 4585 0 0 0 5204 220 0 0 20 0 17 0 633926794 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=31707/tid=31711] ppid=31705 vsize=295496 CPUtime=47.77
/proc/31707/task/31711/stat : 31711 (satake) S 31705 31707 27791 0 -1 4202560 4748 0 0 0 4563 214 0 0 20 0 17 0 633926794 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31707/tid=31712] ppid=31705 vsize=295496 CPUtime=53.56
/proc/31707/task/31712/stat : 31712 (satake) R 31705 31707 27791 0 -1 4202560 5102 0 0 0 5120 236 0 0 20 0 17 0 633926794 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134520022 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31707/tid=31713] ppid=31705 vsize=295496 CPUtime=46.3
/proc/31707/task/31713/stat : 31713 (satake) S 31705 31707 27791 0 -1 4202560 4771 0 0 0 4410 220 0 0 20 0 17 0 633926794 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31707/tid=31714] ppid=31705 vsize=295496 CPUtime=40.93
/proc/31707/task/31714/stat : 31714 (satake) R 31705 31707 27791 0 -1 4202560 4631 0 0 0 3857 236 0 0 20 0 17 0 633926794 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31707/tid=31715] ppid=31705 vsize=295496 CPUtime=51.7
/proc/31707/task/31715/stat : 31715 (satake) S 31705 31707 27791 0 -1 4202560 4975 0 0 0 4932 238 0 0 20 0 17 0 633926794 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31707/tid=31716] ppid=31705 vsize=295496 CPUtime=48.85
/proc/31707/task/31716/stat : 31716 (satake) S 31705 31707 27791 0 -1 4202560 4773 0 0 0 4653 232 0 0 20 0 17 0 633926795 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=31707/tid=31717] ppid=31705 vsize=295496 CPUtime=50.42
/proc/31707/task/31717/stat : 31717 (satake) R 31705 31707 27791 0 -1 4202560 4912 0 0 0 4806 236 0 0 20 0 17 0 633926795 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31707/tid=31718] ppid=31705 vsize=295496 CPUtime=49.76
/proc/31707/task/31718/stat : 31718 (satake) S 31705 31707 27791 0 -1 4202560 4844 0 0 0 4716 260 0 0 20 0 17 0 633926795 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=31707/tid=31719] ppid=31705 vsize=295496 CPUtime=43.87
/proc/31707/task/31719/stat : 31719 (satake) S 31705 31707 27791 0 -1 4202560 4890 0 0 0 4119 268 0 0 20 0 17 0 633926795 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31707/tid=31720] ppid=31705 vsize=295496 CPUtime=54.47
/proc/31707/task/31720/stat : 31720 (satake) S 31705 31707 27791 0 -1 4202560 4854 0 0 0 5203 244 0 0 20 0 17 0 633926795 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=31707/tid=31721] ppid=31705 vsize=295496 CPUtime=49.78
/proc/31707/task/31721/stat : 31721 (satake) R 31705 31707 27791 0 -1 4202560 4739 0 0 0 4704 274 0 0 20 0 17 0 633926795 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31707/tid=31722] ppid=31705 vsize=295496 CPUtime=47.72
/proc/31707/task/31722/stat : 31722 (satake) S 31705 31707 27791 0 -1 4202560 4478 0 0 0 4516 256 0 0 20 0 17 0 633926795 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=31707/tid=31723] ppid=31705 vsize=295496 CPUtime=52.92
/proc/31707/task/31723/stat : 31723 (satake) D 31705 31707 27791 0 -1 4202560 4793 0 0 0 5034 258 0 0 20 0 17 0 633926795 302587904 69904 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 817.21
Current children cumulated vsize (KiB) 295496

[startup+282.305 s]
/proc/loadavg: 5.00 8.73 10.21 4/201 31724
/proc/meminfo: memFree=18851696/36427776 swapFree=4588/303800
[pid=31707] ppid=31705 vsize=314972 CPUtime=1022.04
/proc/31707/stat : 31707 (satake) S 31705 31707 27791 0 -1 4202496 77129 0 0 0 88114 14090 0 0 20 0 17 0 633926794 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31707/statm: 78743 73589 68 164 0 78578 0
[pid=31707/tid=31708] ppid=31705 vsize=314972 CPUtime=106.84
/proc/31707/task/31708/stat : 31708 (satake) R 31705 31707 27791 0 -1 4202560 1844 0 0 0 1280 9404 0 0 20 0 17 0 633926794 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31707/tid=31709] ppid=31705 vsize=314972 CPUtime=52.31
/proc/31707/task/31709/stat : 31709 (satake) S 31705 31707 27791 0 -1 4202560 4849 0 0 0 4949 282 0 0 20 0 17 0 633926794 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31707/tid=31710] ppid=31705 vsize=314972 CPUtime=65.75
/proc/31707/task/31710/stat : 31710 (satake) S 31705 31707 27791 0 -1 4202560 4790 0 0 0 6283 292 0 0 20 0 17 0 633926794 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=31707/tid=31711] ppid=31705 vsize=314972 CPUtime=61.84
/proc/31707/task/31711/stat : 31711 (satake) S 31705 31707 27791 0 -1 4202560 4947 0 0 0 5902 282 0 0 20 0 17 0 633926794 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31707/tid=31712] ppid=31705 vsize=314972 CPUtime=67.59
/proc/31707/task/31712/stat : 31712 (satake) S 31705 31707 27791 0 -1 4202560 5431 0 0 0 6457 302 0 0 20 0 17 0 633926794 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=31707/tid=31713] ppid=31705 vsize=314972 CPUtime=57.42
/proc/31707/task/31713/stat : 31713 (satake) S 31705 31707 27791 0 -1 4202560 4971 0 0 0 5448 294 0 0 20 0 17 0 633926794 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31707/tid=31714] ppid=31705 vsize=314972 CPUtime=51.19
/proc/31707/task/31714/stat : 31714 (satake) S 31705 31707 27791 0 -1 4202560 4843 0 0 0 4817 302 0 0 20 0 17 0 633926794 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=31707/tid=31715] ppid=31705 vsize=314972 CPUtime=62.15
/proc/31707/task/31715/stat : 31715 (satake) S 31705 31707 27791 0 -1 4202560 5222 0 0 0 5917 298 0 0 20 0 17 0 633926794 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31707/tid=31716] ppid=31705 vsize=314972 CPUtime=61.31
/proc/31707/task/31716/stat : 31716 (satake) S 31705 31707 27791 0 -1 4202560 5033 0 0 0 5831 300 0 0 20 0 17 0 633926795 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31707/tid=31717] ppid=31705 vsize=314972 CPUtime=62.2
/proc/31707/task/31717/stat : 31717 (satake) S 31705 31707 27791 0 -1 4202560 5098 0 0 0 5912 308 0 0 20 0 17 0 633926795 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31707/tid=31718] ppid=31705 vsize=314972 CPUtime=61.07
/proc/31707/task/31718/stat : 31718 (satake) S 31705 31707 27791 0 -1 4202560 5044 0 0 0 5775 332 0 0 20 0 17 0 633926795 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=31707/tid=31719] ppid=31705 vsize=314972 CPUtime=53.88
/proc/31707/task/31719/stat : 31719 (satake) S 31705 31707 27791 0 -1 4202560 5095 0 0 0 5032 356 0 0 20 0 17 0 633926795 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31707/tid=31720] ppid=31705 vsize=314972 CPUtime=68.32
/proc/31707/task/31720/stat : 31720 (satake) S 31705 31707 27791 0 -1 4202560 5071 0 0 0 6514 318 0 0 20 0 17 0 633926795 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=31707/tid=31721] ppid=31705 vsize=314972 CPUtime=63.09
/proc/31707/task/31721/stat : 31721 (satake) S 31705 31707 27791 0 -1 4202560 4989 0 0 0 5963 346 0 0 20 0 17 0 633926795 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=31707/tid=31722] ppid=31705 vsize=314972 CPUtime=61.58
/proc/31707/task/31722/stat : 31722 (satake) R 31705 31707 27791 0 -1 4202560 4692 0 0 0 5820 338 0 0 20 0 17 0 633926795 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31707/tid=31723] ppid=31705 vsize=314972 CPUtime=65.38
/proc/31707/task/31723/stat : 31723 (satake) S 31705 31707 27791 0 -1 4202560 5086 0 0 0 6210 328 0 0 20 0 17 0 633926795 322531328 73589 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1022.04
Current children cumulated vsize (KiB) 314972

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

[startup+282.719 s]
/proc/loadavg: 5.00 8.73 10.21 14/200 31724
/proc/meminfo: memFree=18851696/36427776 swapFree=4624/303892
[pid=31707] ppid=31705 vsize=311688 CPUtime=1025.27
/proc/31707/stat : 31707 (satake) S 31705 31707 27791 0 -1 4202496 77142 0 0 0 88265 14262 0 0 20 0 16 0 633926794 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31707/statm: 77922 73207 77 164 0 77757 0
[pid=31707/tid=31709] ppid=31705 vsize=311688 CPUtime=52.49
/proc/31707/task/31709/stat : 31709 (satake) S 31705 31707 27791 0 -1 4202560 4849 0 0 0 4955 294 0 0 20 0 16 0 633926794 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=31707/tid=31710] ppid=31705 vsize=311688 CPUtime=65.99
/proc/31707/task/31710/stat : 31710 (satake) S 31705 31707 27791 0 -1 4202560 4790 0 0 0 6293 306 0 0 20 0 16 0 633926794 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=31707/tid=31711] ppid=31705 vsize=311688 CPUtime=62.17
/proc/31707/task/31711/stat : 31711 (satake) S 31705 31707 27791 0 -1 4202560 4947 0 0 0 5921 296 0 0 20 0 16 0 633926794 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=31707/tid=31712] ppid=31705 vsize=311688 CPUtime=67.78
/proc/31707/task/31712/stat : 31712 (satake) S 31705 31707 27791 0 -1 4202560 5440 0 0 0 6464 314 0 0 20 0 16 0 633926794 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=31707/tid=31713] ppid=31705 vsize=311688 CPUtime=57.63
/proc/31707/task/31713/stat : 31713 (satake) S 31705 31707 27791 0 -1 4202560 4971 0 0 0 5455 308 0 0 20 0 16 0 633926794 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=31707/tid=31714] ppid=31705 vsize=311688 CPUtime=51.37
/proc/31707/task/31714/stat : 31714 (satake) R 31705 31707 27791 0 -1 4202560 4843 0 0 0 4823 314 0 0 20 0 16 0 633926794 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31707/tid=31715] ppid=31705 vsize=311688 CPUtime=62.36
/proc/31707/task/31715/stat : 31715 (satake) R 31705 31707 27791 0 -1 4202560 5224 0 0 0 5930 306 0 0 20 0 16 0 633926794 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31707/tid=31716] ppid=31705 vsize=311688 CPUtime=61.51
/proc/31707/task/31716/stat : 31716 (satake) R 31705 31707 27791 0 -1 4202560 5033 0 0 0 5841 310 0 0 20 0 16 0 633926795 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134666377 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31707/tid=31717] ppid=31705 vsize=311688 CPUtime=62.45
/proc/31707/task/31717/stat : 31717 (satake) S 31705 31707 27791 0 -1 4202560 5098 0 0 0 5925 320 0 0 20 0 16 0 633926795 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=31707/tid=31718] ppid=31705 vsize=311688 CPUtime=61.24
/proc/31707/task/31718/stat : 31718 (satake) S 31705 31707 27791 0 -1 4202560 5044 0 0 0 5780 344 0 0 20 0 16 0 633926795 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=31707/tid=31719] ppid=31705 vsize=311688 CPUtime=54.05
/proc/31707/task/31719/stat : 31719 (satake) R 31705 31707 27791 0 -1 4202560 5095 0 0 0 5047 358 0 0 20 0 16 0 633926795 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31707/tid=31720] ppid=31705 vsize=311688 CPUtime=68.59
/proc/31707/task/31720/stat : 31720 (satake) R 31705 31707 27791 0 -1 4202560 5072 0 0 0 6529 330 0 0 20 0 16 0 633926795 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31707/tid=31721] ppid=31705 vsize=311688 CPUtime=63.33
/proc/31707/task/31721/stat : 31721 (satake) R 31705 31707 27791 0 -1 4202560 4989 0 0 0 5977 356 0 0 20 0 16 0 633926795 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31707/tid=31722] ppid=31705 vsize=311688 CPUtime=61.76
/proc/31707/task/31722/stat : 31722 (satake) R 31705 31707 27791 0 -1 4202560 4692 0 0 0 5826 350 0 0 20 0 16 0 633926795 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31707/tid=31723] ppid=31705 vsize=311688 CPUtime=65.48
/proc/31707/task/31723/stat : 31723 (satake) S 31705 31707 27791 0 -1 4202560 5086 0 0 0 6212 336 0 0 20 0 16 0 633926795 319168512 73207 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1025.27
Current children cumulated vsize (KiB) 311688

[startup+282.905 s]
/proc/loadavg: 5.00 8.73 10.21 14/200 31724
/proc/meminfo: memFree=18851696/36427776 swapFree=4624/303892
[pid=31707] ppid=31705 vsize=305880 CPUtime=1026.23
/proc/31707/stat : 31707 (satake) S 31705 31707 27791 0 -1 4202496 77142 0 0 0 88301 14322 0 0 20 0 8 0 633926794 313221120 72244 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31707/statm: 76470 72244 77 164 0 76305 0
[pid=31707/tid=31709] ppid=31705 vsize=305880 CPUtime=52.59
/proc/31707/task/31709/stat : 31709 (satake) R 31705 31707 27791 0 -1 4202560 4849 0 0 0 4959 300 0 0 20 0 8 0 633926794 313221120 72244 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31707/tid=31710] ppid=31705 vsize=305880 CPUtime=66.08
/proc/31707/task/31710/stat : 31710 (satake) S 31705 31707 27791 0 -1 4202560 4790 0 0 0 6294 314 0 0 20 0 8 0 633926794 313221120 72244 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=31707/tid=31711] ppid=31705 vsize=305880 CPUtime=62.26
/proc/31707/task/31711/stat : 31711 (satake) R 31705 31707 27791 0 -1 4202560 4947 0 0 0 5922 304 0 0 20 0 8 0 633926794 313221120 72244 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31707/tid=31715] ppid=31705 vsize=305880 CPUtime=62.45
/proc/31707/task/31715/stat : 31715 (satake) R 31705 31707 27791 0 -1 4202560 5224 0 0 0 5933 312 0 0 20 0 8 0 633926794 313221120 72244 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31707/tid=31717] ppid=31705 vsize=305880 CPUtime=62.56
/proc/31707/task/31717/stat : 31717 (satake) S 31705 31707 27791 0 -1 4202560 5098 0 0 0 5930 326 0 0 20 0 8 0 633926795 313221120 72244 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=31707/tid=31722] ppid=31705 vsize=305880 CPUtime=61.84
/proc/31707/task/31722/stat : 31722 (satake) R 31705 31707 27791 0 -1 4202560 4692 0 0 0 5828 356 0 0 20 0 8 0 633926795 313221120 72244 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31707/tid=31723] ppid=31705 vsize=305880 CPUtime=65.58
/proc/31707/task/31723/stat : 31723 (satake) R 31705 31707 27791 0 -1 4202560 5086 0 0 0 6216 342 0 0 20 0 8 0 633926795 313221120 72244 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1026.23
Current children cumulated vsize (KiB) 305880

[startup+283.001 s]
/proc/loadavg: 5.00 8.73 10.21 14/200 31724
/proc/meminfo: memFree=18851696/36427776 swapFree=4624/303892
[pid=31707] ppid=31705 vsize=220168 CPUtime=1026.54
/proc/31707/stat : 31707 (satake) S 31705 31707 27791 0 -1 4202496 77142 0 0 0 88315 14339 0 0 20 0 2 0 633926794 225452032 52665 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/31707/statm: 55042 52417 77 164 0 54877 0
[pid=31707/tid=31710] ppid=31705 vsize=220168 CPUtime=66.14
/proc/31707/task/31710/stat : 31710 (satake) R 31705 31707 27791 0 -1 4202560 4790 0 0 0 6296 318 0 0 20 0 2 0 633926794 225452032 52417 18446744073709551615 134512640 135180984 4294401632 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1026.54
Current children cumulated vsize (KiB) 220168

Child status: 16
Real time (s): 283.046
CPU time (s): 1026.6
CPU user time (s): 883.159
CPU system time (s): 143.437
CPU usage (%): 362.696
Max. virtual memory (cumulated for all children) (KiB): 314972


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 883.159
system time used= 143.437
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77143
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= 13096184
involuntary context switches= 1825375

runsolver used 0.928058 second user time and 3.80024 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 20:50:04
IDJOB=1776342
IDBENCH=20489
IDSOLVER=631
FILE ID=xenhost3-49/1776342-1244746204
PBS_JOBID=
Free space on /tmp= 7039 MiB

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

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

MD5SUM BENCH= a69847fa52646cc8016cf4fd8e9d428a
RANDOM SEED= 568667350

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:      19146844 kB
Buffers:        432368 kB
Cached:       14101656 kB
SwapCached:          0 kB
Active:        4076932 kB
Inactive:     10465456 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1356 kB
Writeback:           0 kB
AnonPages:        7760 kB
Mapped:           3688 kB
Slab:           687600 kB
SReclaimable:   660856 kB
SUnreclaim:      26744 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:54:48