runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259681-1502001235/watcher-4259681-1502001235 -o /tmp/evaluation-result-4259681-1502001235/solver-4259681-1502001235 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1501998935-17393 --watchdog 300 bin/concrete HOME/instance-4259681-1502001235.xml
pid=19375
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.55 1.57 1.92 4/196 19378
/proc/meminfo: memFree=30534396/32770624 swapFree=0/305392
[pid=19378] ppid=19375 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/19378/stat : 19378 (runsolver) D 19375 19378 2450 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 2317264 24240128 108 18446744073709551615 4194304 4338465 140731841564496 140731841562136 140064017707735 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 39133184 140731841573081 140731841573455 140731841573455 140731841576906 0
/proc/19378/statm: 5918 108 54 36 0 2156 0
[startup+0.100084 s]
/proc/loadavg: 1.55 1.57 1.92 4/196 19378
/proc/meminfo: memFree=30534396/32770624 swapFree=0/305392
[pid=19378] ppid=19375 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/19378/stat : 19378 (bash) S 19375 19378 2450 0 -1 4202496 648 0 0 0 0 0 0 0 20 0 1 0 2317264 9736192 351 18446744073709551615 4194304 5098028 140722474585744 140722474583384 140242010475520 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 9 0 0 7196144 7232144 15720448 140722474586650 140722474586735 140722474586735 140722474590186 0
/proc/19378/statm: 2377 351 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200257 s]
/proc/loadavg: 1.55 1.57 1.92 4/196 19378
/proc/meminfo: memFree=30534396/32770624 swapFree=0/305392
[pid=19378] ppid=19375 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/19378/stat : 19378 (bash) S 19375 19378 2450 0 -1 4202496 890 6490 0 0 0 0 0 1 20 0 1 0 2317264 9867264 376 18446744073709551615 4194304 5098028 140722474585744 140722474579752 140242010475520 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 9 0 0 7196144 7232144 15720448 140722474586650 140722474586735 140722474586735 140722474590186 0
/proc/19378/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300334 s]
/proc/loadavg: 1.55 1.57 1.92 4/196 19378
/proc/meminfo: memFree=30534396/32770624 swapFree=0/305392
[pid=19378] ppid=19375 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/19378/stat : 19378 (java) S 19375 19378 2450 0 -1 1077944320 5516 12651 0 0 5 1 4 3 20 0 14 0 2317264 14241083392 5183 18446744073709551615 4194304 4196468 140723901122224 140723901104768 140355880500983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
/proc/19378/statm: 3476827 5183 2562 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700258 s]
/proc/loadavg: 1.55 1.57 1.92 4/196 19378
/proc/meminfo: memFree=30534396/32770624 swapFree=0/305392
[pid=19378] ppid=19375 vsize=13974784 CPUtime=0.63 cores=0,2,4,6
/proc/19378/stat : 19378 (java) S 19375 19378 2450 0 -1 1077944320 13739 12651 0 0 52 4 4 3 20 0 15 0 2317264 14310178816 14134 18446744073709551615 4194304 4196468 140723901122224 140723901104768 140355880500983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
/proc/19378/statm: 3493696 14134 3100 1 0 3482965 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 13974784
[startup+1.50055 s]
/proc/loadavg: 1.55 1.57 1.92 3/211 19441
/proc/meminfo: memFree=30434788/32770624 swapFree=0/305416
[pid=19378] ppid=19375 vsize=13985408 CPUtime=1.82 cores=0,2,4,6
/proc/19378/stat : 19378 (java) S 19375 19378 2450 0 -1 1077944320 27845 12651 0 0 167 8 4 3 20 0 15 0 2317264 14321057792 33937 18446744073709551615 4194304 4196468 140723901122224 140723901104768 140355880500983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
/proc/19378/statm: 3496352 33937 3344 1 0 3485525 0
[pid=19378/tid=19428] ppid=19375 vsize=13985408 CPUtime=1.27 cores=0,2,4,6
/proc/19378/task/19428/stat : 19428 (java) R 19375 19378 2450 0 -1 4202560 22478 12651 0 0 114 6 4 3 20 0 15 0 2317286 14321057792 33937 18446744073709551615 4194304 4196468 140723901122224 140355884722432 140355864581470 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19429] ppid=19375 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19429/stat : 19429 (java) S 19375 19378 2450 0 -1 1077944384 1 12651 0 0 0 0 4 3 20 0 15 0 2317287 14321057792 33937 18446744073709551615 4194304 4196468 140723901122224 140355841399696 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19430] ppid=19375 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19430/stat : 19430 (java) S 19375 19378 2450 0 -1 1077944384 2 12651 0 0 0 0 4 3 20 0 15 0 2317287 14321057792 33937 18446744073709551615 4194304 4196468 140723901122224 140355479989008 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19431] ppid=19375 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19431/stat : 19431 (java) S 19375 19378 2450 0 -1 1077944384 1 12651 0 0 0 0 4 3 20 0 15 0 2317287 14321057792 33937 18446744073709551615 4194304 4196468 140723901122224 140355478936720 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19432] ppid=19375 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19432/stat : 19432 (java) S 19375 19378 2450 0 -1 1077944384 2 12651 0 0 0 0 4 3 20 0 15 0 2317287 14321057792 33937 18446744073709551615 4194304 4196468 140723901122224 140355477883920 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19433] ppid=19375 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19433/stat : 19433 (java) S 19375 19378 2450 0 -1 1077944384 5 12651 0 0 0 0 4 3 20 0 15 0 2317288 14321057792 33937 18446744073709551615 4194304 4196468 140723901122224 140355358898288 140355880512130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19434] ppid=19375 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19434/stat : 19434 (java) S 19375 19378 2450 0 -1 1077944384 33 12651 0 0 0 0 4 3 20 0 15 0 2317289 14321057792 33937 18446744073709551615 4194304 4196468 140723901122224 140355357844256 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19435] ppid=19375 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19435/stat : 19435 (java) S 19375 19378 2450 0 -1 1077944384 21 12651 0 0 0 0 4 3 20 0 15 0 2317289 14321057792 33937 18446744073709551615 4194304 4196468 140723901122224 140355356791920 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19436] ppid=19375 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19436/stat : 19436 (java) S 19375 19378 2450 0 -1 1077944384 3 12651 0 0 0 0 4 3 20 0 15 0 2317292 14321057792 33937 18446744073709551615 4194304 4196468 140723901122224 140355355740240 140355880519579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19437] ppid=19375 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/19378/task/19437/stat : 19437 (java) S 19375 19378 2450 0 -1 1077944384 971 12651 0 0 13 0 4 3 20 0 15 0 2317292 14321057792 33937 18446744073709551615 4194304 4196468 140723901122224 140355354688112 140355880512130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19438] ppid=19375 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/19378/task/19438/stat : 19438 (java) S 19375 19378 2450 0 -1 1077944384 814 12651 0 0 15 0 4 3 20 0 15 0 2317292 14321057792 33937 18446744073709551615 4194304 4196468 140723901122224 140355353635312 140355880512130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19439] ppid=19375 vsize=13985408 CPUtime=0.29 cores=0,2,4,6
/proc/19378/task/19439/stat : 19439 (java) R 19375 19378 2450 0 -1 4202560 1358 12651 0 0 22 0 4 3 20 0 15 0 2317292 14321057792 33937 18446744073709551615 4194304 4196468 140723901122224 140355352583024 140355872738110 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19440] ppid=19375 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19440/stat : 19440 (java) S 19375 19378 2450 0 -1 1077944384 3 12651 0 0 0 0 4 3 20 0 15 0 2317292 14321057792 33937 18446744073709551615 4194304 4196468 140723901122224 140355351530464 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19441] ppid=19375 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19441/stat : 19441 (java) S 19375 19378 2450 0 -1 1077944384 6 12651 0 0 0 0 4 3 20 0 15 0 2317297 14321057792 33937 18446744073709551615 4194304 4196468 140723901122224 140355350477232 140355880512130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 13985408
[startup+3.10111 s]
/proc/loadavg: 1.58 1.58 1.92 4/211 19441
/proc/meminfo: memFree=30372840/32770624 swapFree=0/305416
[pid=19378] ppid=19375 vsize=13999932 CPUtime=4.83 cores=0,2,4,6
/proc/19378/stat : 19378 (java) S 19375 19378 2450 0 -1 1077944320 49593 12651 0 0 460 16 4 3 20 0 15 0 2317264 14335930368 59073 18446744073709551615 4194304 4196468 140723901122224 140723901104768 140355880500983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
/proc/19378/statm: 3499983 59073 3452 1 0 3488597 0
[pid=19378/tid=19428] ppid=19375 vsize=13999932 CPUtime=2.81 cores=0,2,4,6
/proc/19378/task/19428/stat : 19428 (java) R 19375 19378 2450 0 -1 4202560 38125 12651 0 0 264 10 4 3 20 0 15 0 2317286 14335930368 59073 18446744073709551615 4194304 4196468 140723901122224 140355884714912 140355880522909 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19429] ppid=19375 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/19378/task/19429/stat : 19429 (java) R 19375 19378 2450 0 -1 1077944384 209 12651 0 0 2 0 4 3 20 0 15 0 2317287 14335930368 59073 18446744073709551615 4194304 4196468 140723901122224 140355841399696 140355880511189 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19430] ppid=19375 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/19378/task/19430/stat : 19430 (java) S 19375 19378 2450 0 -1 1077944384 65 12651 0 0 2 0 4 3 20 0 15 0 2317287 14335930368 59073 18446744073709551615 4194304 4196468 140723901122224 140355479989008 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19431] ppid=19375 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/19378/task/19431/stat : 19431 (java) S 19375 19378 2450 0 -1 1077944384 61 12651 0 0 2 0 4 3 20 0 15 0 2317287 14335930368 59073 18446744073709551615 4194304 4196468 140723901122224 140355478936720 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19432] ppid=19375 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/19378/task/19432/stat : 19432 (java) S 19375 19378 2450 0 -1 1077944384 144 12651 0 0 2 0 4 3 20 0 15 0 2317287 14335930368 59073 18446744073709551615 4194304 4196468 140723901122224 140355477883920 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19433] ppid=19375 vsize=13999932 CPUtime=0.1 cores=0,2,4,6
/proc/19378/task/19433/stat : 19433 (java) S 19375 19378 2450 0 -1 1077944384 2397 12651 0 0 3 0 4 3 20 0 15 0 2317288 14335930368 59073 18446744073709551615 4194304 4196468 140723901122224 140355358898288 140355880512130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19434] ppid=19375 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19434/stat : 19434 (java) S 19375 19378 2450 0 -1 1077944384 54 12651 0 0 0 0 4 3 20 0 15 0 2317289 14335930368 59073 18446744073709551615 4194304 4196468 140723901122224 140355357844320 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19435] ppid=19375 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19435/stat : 19435 (java) S 19375 19378 2450 0 -1 1077944384 43 12651 0 0 0 0 4 3 20 0 15 0 2317289 14335930368 59073 18446744073709551615 4194304 4196468 140723901122224 140355356791936 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19436] ppid=19375 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19436/stat : 19436 (java) S 19375 19378 2450 0 -1 1077944384 3 12651 0 0 0 0 4 3 20 0 15 0 2317292 14335930368 59073 18446744073709551615 4194304 4196468 140723901122224 140355355740240 140355880519579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19437] ppid=19375 vsize=13999932 CPUtime=0.52 cores=0,2,4,6
/proc/19378/task/19437/stat : 19437 (java) R 19375 19378 2450 0 -1 4202560 1377 12651 0 0 45 0 4 3 20 0 15 0 2317292 14335930368 59073 18446744073709551615 4194304 4196468 140723901122224 140355354679392 140355865626838 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19438] ppid=19375 vsize=13999932 CPUtime=0.58 cores=0,2,4,6
/proc/19378/task/19438/stat : 19438 (java) R 19375 19378 2450 0 -1 4202560 1489 12651 0 0 50 1 4 3 20 0 15 0 2317292 14335930368 59073 18446744073709551615 4194304 4196468 140723901122224 140355353614768 140355859690432 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19439] ppid=19375 vsize=13999932 CPUtime=0.94 cores=0,2,4,6
/proc/19378/task/19439/stat : 19439 (java) S 19375 19378 2450 0 -1 1077944384 3464 12651 0 0 86 1 4 3 20 0 15 0 2317292 14335930368 59073 18446744073709551615 4194304 4196468 140723901122224 140355352583024 140355880512130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19440] ppid=19375 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19440/stat : 19440 (java) S 19375 19378 2450 0 -1 1077944384 3 12651 0 0 0 0 4 3 20 0 15 0 2317292 14335930368 59073 18446744073709551615 4194304 4196468 140723901122224 140355351530464 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19441] ppid=19375 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19441/stat : 19441 (java) S 19375 19378 2450 0 -1 1077944384 9 12651 0 0 0 0 4 3 20 0 15 0 2317297 14335930368 59073 18446744073709551615 4194304 4196468 140723901122224 140355350477232 140355880512130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 13999932
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19378 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.30058 s]
/proc/loadavg: 1.58 1.58 1.92 4/211 19441
/proc/meminfo: memFree=30372840/32770624 swapFree=0/305416
[pid=19378] ppid=19375 vsize=14001980 CPUtime=5.37 cores=0,2,4,6
/proc/19378/stat : 19378 (java) S 19375 19378 2450 0 -1 1077944320 51030 12651 0 0 513 17 4 3 20 0 15 0 2317264 14338027520 60364 18446744073709551615 4194304 4196468 140723901122224 140723901104768 140355880500983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
/proc/19378/statm: 3500495 60364 3454 1 0 3489109 0
[pid=19378/tid=19428] ppid=19375 vsize=14001980 CPUtime=3 cores=0,2,4,6
/proc/19378/task/19428/stat : 19428 (java) R 19375 19378 2450 0 -1 4202560 38728 12651 0 0 283 10 4 3 20 0 15 0 2317286 14338027520 60364 18446744073709551615 4194304 4196468 140723901122224 140355884728688 140355860776317 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19429] ppid=19375 vsize=14001980 CPUtime=0.09 cores=0,2,4,6
/proc/19378/task/19429/stat : 19429 (java) S 19375 19378 2450 0 -1 1077944384 209 12651 0 0 2 0 4 3 20 0 15 0 2317287 14338027520 60364 18446744073709551615 4194304 4196468 140723901122224 140355841399696 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19430] ppid=19375 vsize=14001980 CPUtime=0.09 cores=0,2,4,6
/proc/19378/task/19430/stat : 19430 (java) S 19375 19378 2450 0 -1 1077944384 65 12651 0 0 2 0 4 3 20 0 15 0 2317287 14338027520 60364 18446744073709551615 4194304 4196468 140723901122224 140355479989008 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19431] ppid=19375 vsize=14001980 CPUtime=0.09 cores=0,2,4,6
/proc/19378/task/19431/stat : 19431 (java) S 19375 19378 2450 0 -1 1077944384 61 12651 0 0 2 0 4 3 20 0 15 0 2317287 14338027520 60364 18446744073709551615 4194304 4196468 140723901122224 140355478936720 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19432] ppid=19375 vsize=14001980 CPUtime=0.09 cores=0,2,4,6
/proc/19378/task/19432/stat : 19432 (java) S 19375 19378 2450 0 -1 1077944384 144 12651 0 0 2 0 4 3 20 0 15 0 2317287 14338027520 60364 18446744073709551615 4194304 4196468 140723901122224 140355477883920 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19433] ppid=19375 vsize=14001980 CPUtime=0.1 cores=0,2,4,6
/proc/19378/task/19433/stat : 19433 (java) S 19375 19378 2450 0 -1 1077944384 2397 12651 0 0 3 0 4 3 20 0 15 0 2317288 14338027520 60364 18446744073709551615 4194304 4196468 140723901122224 140355358898288 140355880512130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19434] ppid=19375 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19434/stat : 19434 (java) S 19375 19378 2450 0 -1 1077944384 54 12651 0 0 0 0 4 3 20 0 15 0 2317289 14338027520 60364 18446744073709551615 4194304 4196468 140723901122224 140355357844320 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19435] ppid=19375 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19435/stat : 19435 (java) S 19375 19378 2450 0 -1 1077944384 43 12651 0 0 0 0 4 3 20 0 15 0 2317289 14338027520 60364 18446744073709551615 4194304 4196468 140723901122224 140355356791936 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19436] ppid=19375 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19436/stat : 19436 (java) S 19375 19378 2450 0 -1 1077944384 3 12651 0 0 0 0 4 3 20 0 15 0 2317292 14338027520 60364 18446744073709551615 4194304 4196468 140723901122224 140355355740240 140355880519579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19437] ppid=19375 vsize=14001980 CPUtime=0.66 cores=0,2,4,6
/proc/19378/task/19437/stat : 19437 (java) R 19375 19378 2450 0 -1 4202560 1702 12651 0 0 59 0 4 3 20 0 15 0 2317292 14338027520 60364 18446744073709551615 4194304 4196468 140723901122224 140355354674464 140355861266183 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19438] ppid=19375 vsize=14001980 CPUtime=0.72 cores=0,2,4,6
/proc/19378/task/19438/stat : 19438 (java) R 19375 19378 2450 0 -1 4202560 1875 12651 0 0 64 1 4 3 20 0 15 0 2317292 14338027520 60364 18446744073709551615 4194304 4196468 140723901122224 140355353615616 140355863993559 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19439] ppid=19375 vsize=14001980 CPUtime=1 cores=0,2,4,6
/proc/19378/task/19439/stat : 19439 (java) S 19375 19378 2450 0 -1 1077944384 3587 12651 0 0 92 1 4 3 20 0 15 0 2317292 14338027520 60364 18446744073709551615 4194304 4196468 140723901122224 140355352583024 140355880512130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19440] ppid=19375 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19440/stat : 19440 (java) S 19375 19378 2450 0 -1 1077944384 3 12651 0 0 0 0 4 3 20 0 15 0 2317292 14338027520 60364 18446744073709551615 4194304 4196468 140723901122224 140355351530464 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19441] ppid=19375 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19441/stat : 19441 (java) S 19375 19378 2450 0 -1 1077944384 9 12651 0 0 0 0 4 3 20 0 15 0 2317297 14338027520 60364 18446744073709551615 4194304 4196468 140723901122224 140355350477232 140355880512130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 14001980
[startup+3.70574 s]
/proc/loadavg: 1.58 1.58 1.92 5/211 19441
/proc/meminfo: memFree=30273068/32770624 swapFree=0/305416
[pid=19378] ppid=19375 vsize=14069564 CPUtime=6.64 cores=0,2,4,6
/proc/19378/stat : 19378 (java) S 19375 19378 2450 0 -1 1077944320 64252 12651 0 0 638 19 4 3 20 0 15 0 2317264 14407233536 73675 18446744073709551615 4194304 4196468 140723901122224 140723901104768 140355880500983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
/proc/19378/statm: 3517391 73675 3465 1 0 3506005 0
[pid=19378/tid=19428] ppid=19375 vsize=14069564 CPUtime=3.25 cores=0,2,4,6
/proc/19378/task/19428/stat : 19428 (java) R 19375 19378 2450 0 -1 4202560 48413 12651 0 0 306 12 4 3 20 0 15 0 2317286 14407233536 73675 18446744073709551615 4194304 4196468 140723901122224 140355884734328 140355521799136 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19429] ppid=19375 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/19378/task/19429/stat : 19429 (java) S 19375 19378 2450 0 -1 1077944384 214 12651 0 0 10 0 4 3 20 0 15 0 2317287 14407233536 73675 18446744073709551615 4194304 4196468 140723901122224 140355841399696 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19430] ppid=19375 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/19378/task/19430/stat : 19430 (java) S 19375 19378 2450 0 -1 1077944384 69 12651 0 0 11 0 4 3 20 0 15 0 2317287 14407233536 73675 18446744073709551615 4194304 4196468 140723901122224 140355479989008 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19431] ppid=19375 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/19378/task/19431/stat : 19431 (java) S 19375 19378 2450 0 -1 1077944384 79 12651 0 0 10 0 4 3 20 0 15 0 2317287 14407233536 73675 18446744073709551615 4194304 4196468 140723901122224 140355478936720 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19432] ppid=19375 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/19378/task/19432/stat : 19432 (java) S 19375 19378 2450 0 -1 1077944384 153 12651 0 0 11 0 4 3 20 0 15 0 2317287 14407233536 73675 18446744073709551615 4194304 4196468 140723901122224 140355477883920 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19433] ppid=19375 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/19378/task/19433/stat : 19433 (java) S 19375 19378 2450 0 -1 1077944384 2411 12651 0 0 10 0 4 3 20 0 15 0 2317288 14407233536 73675 18446744073709551615 4194304 4196468 140723901122224 140355358898288 140355880512130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19434] ppid=19375 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19434/stat : 19434 (java) S 19375 19378 2450 0 -1 1077944384 54 12651 0 0 0 0 4 3 20 0 15 0 2317289 14407233536 73675 18446744073709551615 4194304 4196468 140723901122224 140355357844384 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19435] ppid=19375 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19435/stat : 19435 (java) S 19375 19378 2450 0 -1 1077944384 44 12651 0 0 0 0 4 3 20 0 15 0 2317289 14407233536 73675 18446744073709551615 4194304 4196468 140723901122224 140355356791936 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19436] ppid=19375 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19436/stat : 19436 (java) S 19375 19378 2450 0 -1 1077944384 3 12651 0 0 0 0 4 3 20 0 15 0 2317292 14407233536 73675 18446744073709551615 4194304 4196468 140723901122224 140355355740240 140355880519579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19437] ppid=19375 vsize=14069564 CPUtime=0.93 cores=0,2,4,6
/proc/19378/task/19437/stat : 19437 (java) R 19375 19378 2450 0 -1 4202560 3138 12651 0 0 85 1 4 3 20 0 15 0 2317292 14407233536 73675 18446744073709551615 4194304 4196468 140723901122224 140355354667152 140355863997771 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19438] ppid=19375 vsize=14069564 CPUtime=0.97 cores=0,2,4,6
/proc/19378/task/19438/stat : 19438 (java) R 19375 19378 2450 0 -1 4202560 3664 12651 0 0 89 1 4 3 20 0 15 0 2317292 14407233536 73675 18446744073709551615 4194304 4196468 140723901122224 140355353619376 140355865609000 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19439] ppid=19375 vsize=14069564 CPUtime=1.09 cores=0,2,4,6
/proc/19378/task/19439/stat : 19439 (java) S 19375 19378 2450 0 -1 1077944384 3848 12651 0 0 101 1 4 3 20 0 15 0 2317292 14407233536 73675 18446744073709551615 4194304 4196468 140723901122224 140355352583024 140355880512130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19440] ppid=19375 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19440/stat : 19440 (java) S 19375 19378 2450 0 -1 1077944384 3 12651 0 0 0 0 4 3 20 0 15 0 2317292 14407233536 73675 18446744073709551615 4194304 4196468 140723901122224 140355351530464 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19441] ppid=19375 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19441/stat : 19441 (java) S 19375 19378 2450 0 -1 1077944384 9 12651 0 0 0 0 4 3 20 0 15 0 2317297 14407233536 73675 18446744073709551615 4194304 4196468 140723901122224 140355350477232 140355880512130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
Current children cumulated CPU time (s) 6.64
Current children cumulated vsize (KiB) 14069564
[startup+3.80059 s]
/proc/loadavg: 1.58 1.58 1.92 5/211 19441
/proc/meminfo: memFree=30273068/32770624 swapFree=0/305416
[pid=19378] ppid=19375 vsize=14137904 CPUtime=6.96 cores=0,2,4,6
/proc/19378/stat : 19378 (java) S 19375 19378 2450 0 -1 1077944320 64954 12651 0 0 670 19 4 3 20 0 14 0 2317264 14477213696 74317 18446744073709551615 4194304 4196468 140723901122224 140723901104768 140355880500983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
/proc/19378/statm: 3534476 74317 3467 1 0 3523090 0
[pid=19378/tid=19428] ppid=19375 vsize=14137904 CPUtime=3.33 cores=0,2,4,6
/proc/19378/task/19428/stat : 19428 (java) S 19375 19378 2450 0 -1 1077944384 48446 12651 0 0 314 12 4 3 20 0 14 0 2317286 14477213696 74317 18446744073709551615 4194304 4196468 140723901122224 140355884743824 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19429] ppid=19375 vsize=14137904 CPUtime=0.17 cores=0,2,4,6
/proc/19378/task/19429/stat : 19429 (java) S 19375 19378 2450 0 -1 1077944384 214 12651 0 0 10 0 4 3 20 0 14 0 2317287 14477213696 74317 18446744073709551615 4194304 4196468 140723901122224 140355841399696 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19430] ppid=19375 vsize=14137904 CPUtime=0.18 cores=0,2,4,6
/proc/19378/task/19430/stat : 19430 (java) S 19375 19378 2450 0 -1 1077944384 69 12651 0 0 11 0 4 3 20 0 14 0 2317287 14477213696 74317 18446744073709551615 4194304 4196468 140723901122224 140355479989008 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19431] ppid=19375 vsize=14137904 CPUtime=0.17 cores=0,2,4,6
/proc/19378/task/19431/stat : 19431 (java) S 19375 19378 2450 0 -1 1077944384 79 12651 0 0 10 0 4 3 20 0 14 0 2317287 14477213696 74317 18446744073709551615 4194304 4196468 140723901122224 140355478936720 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19432] ppid=19375 vsize=14137904 CPUtime=0.18 cores=0,2,4,6
/proc/19378/task/19432/stat : 19432 (java) S 19375 19378 2450 0 -1 1077944384 153 12651 0 0 11 0 4 3 20 0 14 0 2317287 14477213696 74317 18446744073709551615 4194304 4196468 140723901122224 140355477883920 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19433] ppid=19375 vsize=14137904 CPUtime=0.17 cores=0,2,4,6
/proc/19378/task/19433/stat : 19433 (java) S 19375 19378 2450 0 -1 1077944384 2411 12651 0 0 10 0 4 3 20 0 14 0 2317288 14477213696 74317 18446744073709551615 4194304 4196468 140723901122224 140355358898496 140355880512130 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19434] ppid=19375 vsize=14137904 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19434/stat : 19434 (java) S 19375 19378 2450 0 -1 1077944384 54 12651 0 0 0 0 4 3 20 0 14 0 2317289 14477213696 74317 18446744073709551615 4194304 4196468 140723901122224 140355357844384 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19435] ppid=19375 vsize=14137904 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19435/stat : 19435 (java) S 19375 19378 2450 0 -1 1077944384 44 12651 0 0 0 0 4 3 20 0 14 0 2317289 14477213696 74317 18446744073709551615 4194304 4196468 140723901122224 140355356791936 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19436] ppid=19375 vsize=14137904 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19436/stat : 19436 (java) S 19375 19378 2450 0 -1 1077944384 6 12651 0 0 0 0 4 3 20 0 14 0 2317292 14477213696 74317 18446744073709551615 4194304 4196468 140723901122224 140355355739888 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19437] ppid=19375 vsize=14137904 CPUtime=1.03 cores=0,2,4,6
/proc/19378/task/19437/stat : 19437 (java) R 19375 19378 2450 0 -1 4202560 3180 12651 0 0 95 1 4 3 20 0 14 0 2317292 14477213696 74317 18446744073709551615 4194304 4196468 140723901122224 140355354667152 140355858352682 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19438] ppid=19375 vsize=14137904 CPUtime=1.06 cores=0,2,4,6
/proc/19378/task/19438/stat : 19438 (java) R 19375 19378 2450 0 -1 4202560 4118 12651 0 0 98 1 4 3 20 0 14 0 2317292 14477213696 74317 18446744073709551615 4194304 4196468 140723901122224 140355353621336 140355862020662 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19439] ppid=19375 vsize=14137904 CPUtime=1.14 cores=0,2,4,6
/proc/19378/task/19439/stat : 19439 (java) S 19375 19378 2450 0 -1 1077944384 3988 12651 0 0 106 1 4 3 20 0 14 0 2317292 14477213696 74317 18446744073709551615 4194304 4196468 140723901122224 140355352581856 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
[pid=19378/tid=19440] ppid=19375 vsize=14137904 CPUtime=0.07 cores=0,2,4,6
/proc/19378/task/19440/stat : 19440 (java) S 19375 19378 2450 0 -1 1077944384 3 12651 0 0 0 0 4 3 20 0 14 0 2317292 14477213696 74317 18446744073709551615 4194304 4196468 140723901122224 140355351530464 140355880511189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140723901126614 140723901129399 140723901129399 140723901132751 0
Current children cumulated CPU time (s) 6.96
Current children cumulated vsize (KiB) 14137904
Child status: 0
Real time (s): 3.86746
CPU time (s): 7.06552
CPU user time (s): 6.82233
CPU system time (s): 0.243198
CPU usage (%): 182.692
Max. virtual memory (cumulated for all children) (KiB): 14137904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.82233
system time used= 0.243198
maximum resident set size= 299524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78445
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5964
involuntary context switches= 47
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020037 second user time and 0.022899 second system time
The end