runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15153 MiB free)
memory of node 1: 16384 MiB (13689 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259808-1502643084/watcher-4259808-1502643084 -o /tmp/evaluation-result-4259808-1502643084/solver-4259808-1502643084 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312 bin/concrete HOME/instance-4259808-1502643084.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26230, runsolver pid=26227
[startup+0.10011 s]*
/proc/loadavg: 2.06 1.92 1.95 2/205 26263
/proc/meminfo: memFree=29534468/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=9636 memory=1512 CPUtime=0.01 cores=0,2,4,6
/proc/26230/stat : 26230 (bash) S 26227 26230 8289 0 -1 4202496 895 6489 0 0 0 0 0 1 20 0 1 0 112123587 9867264 378 18446744073709551615 4194304 5098028 140725074082448 140725074076456 140483520105472 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 7 0 0 7196144 7232144 28012544 140725074088436 140725074088521 140725074088521 140725074092010 0
/proc/26230/statm: 2409 378 297 221 0 118 0
[pid=26260] ppid=26230 vsize=9636 memory=708 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (bash) S 26230 26230 8289 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 1 0 112123597 9867264 177 18446744073709551615 4194304 5098028 140725074082448 140725074075128 140483519931004 0 65536 1 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 28012544 140725074088436 140725074088521 140725074088521 140725074092010 0
/proc/26260/statm: 2409 177 96 221 0 118 0
[pid=26261] ppid=26260 vsize=9936720 memory=16196 CPUtime=0.01 cores=0,2,4,6
/proc/26261/stat : 26261 (java) S 26260 26230 8289 0 -1 1077944320 3383 0 0 0 1 0 0 0 20 0 6 0 112123597 10175201280 4049 18446744073709551615 4194304 4196468 140720773596944 140720773579488 140206246907639 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17813504 140720773599832 140720773599846 140720773599846 140720773603279 0
/proc/26261/statm: 2484180 4049 1906 1 0 2473677 0
[pid=26261/tid=26263] ppid=26260 vsize=9936720 memory=8326441112148417179 CPUtime=0 cores=0,2,4,6
/proc/26261/task/26263/stat : 26263 (java) R 26260 26230 8289 0 -1 4202560 2117 0 0 0 0 0 0 0 20 0 6 0 112123597 10175201280 4115 18446744073709551615 4194304 4196468 140720773596944 140206251143760 140206246929565 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140720773599832 140720773599846 140720773599846 140720773603279 0
[pid=26261/tid=26264] ppid=26260 vsize=9936720 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/26261/task/26264/stat : 26264 (java) S 26260 26230 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112123598 10175201280 4115 18446744073709551615 4194304 4196468 140720773596944 140205858089488 140206246917845 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140720773599832 140720773599846 140720773599846 140720773603279 0
[pid=26261/tid=26265] ppid=26260 vsize=9936720 memory=140154482620032 CPUtime=0 cores=0,2,4,6
/proc/26261/task/26265/stat : 26265 (java) S 26260 26230 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112123598 10175201280 4115 18446744073709551615 4194304 4196468 140720773596944 140205857036944 140206246917845 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140720773599832 140720773599846 140720773599846 140720773603279 0
[pid=26261/tid=26266] ppid=26260 vsize=9936720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26261/task/26266/stat : 26266 (java) S 26260 26230 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112123598 10175201280 4115 18446744073709551615 4194304 4196468 140720773596944 140205855983888 140206246917845 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140720773599832 140720773599846 140720773599846 140720773603279 0
[pid=26261/tid=26267] ppid=26260 vsize=9936720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26261/task/26267/stat : 26267 (java) S 26260 26230 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 112123598 10175201280 4115 18446744073709551615 4194304 4196468 140720773596944 140205854931344 140206246917845 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140720773599832 140720773599846 140720773599846 140720773603279 0
[pid=26262] ppid=26260 vsize=9872 memory=972 CPUtime=0 cores=0,2,4,6
/proc/26262/stat : 26262 (awk) S 26260 26230 8289 0 -1 4202496 391 0 0 0 0 0 0 0 20 0 1 0 112123597 10108928 243 18446744073709551615 4194304 4609284 140727483056256 140727483055432 140237255707648 0 0 1 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 38096896 140727483060864 140727483060894 140727483060894 140727483064299 0
/proc/26262/statm: 2468 243 203 102 0 88 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 9965864 KiB
Current children cumulated memory: 19388 KiB
[startup+0.210635 s]*
/proc/loadavg: 2.06 1.92 1.95 3/207 26285
/proc/meminfo: memFree=29530552/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=13574488 memory=16680 CPUtime=0.1 cores=0,2,4,6
/proc/26230/stat : 26230 (java) S 26227 26230 8289 0 -1 1077944320 4942 12655 0 0 2 0 6 2 20 0 9 0 112123587 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140734015104272 140118100201207 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
/proc/26230/statm: 3393622 4170 2082 1 0 3383119 0
[pid=26230/tid=26280] ppid=26227 vsize=13574488 memory=7077796292425249400 CPUtime=0.1 cores=0,2,4,6
/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 2735 12655 0 0 2 0 6 2 20 0 9 0 112123606 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140118104442000 140118086269356 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=13574488 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 9 0 112123607 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=13574488 memory=140154482620032 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 9 0 112123607 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=13574488 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 9 0 112123607 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=13574488 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 2 12655 0 0 0 0 6 2 20 0 9 0 112123607 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=13574488 memory=140154482620032 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 2 12655 0 0 0 0 6 2 20 0 9 0 112123608 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=13574488 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 33 12655 0 0 0 0 6 2 20 0 9 0 112123609 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140117577032992 140118100211413 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=13574488 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 21 12655 0 0 0 0 6 2 20 0 9 0 112123609 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140117575980720 140118100211413 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13574488 KiB
Current children cumulated memory: 16680 KiB
[startup+0.310264 s]*
/proc/loadavg: 2.06 1.92 1.95 4/215 26293
/proc/meminfo: memFree=29517800/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=13974356 memory=33020 CPUtime=0.23 cores=0,2,4,6
/proc/26230/stat : 26230 (java) S 26227 26230 8289 0 -1 1077944320 7065 12655 0 0 14 1 6 2 20 0 15 0 112123587 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140734015104272 140118100201207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
/proc/26230/statm: 3493589 8255 2937 1 0 3482965 0
[pid=26230/tid=26280] ppid=26227 vsize=13974356 memory=7077796292425249400 CPUtime=0.18 cores=0,2,4,6
/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 3582 12655 0 0 9 1 6 2 20 0 15 0 112123606 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140118104361720 140118080476419 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=13974356 memory=664954298467758088 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123607 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=13974356 memory=280308862167376 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123607 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=13974356 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123607 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=13974356 memory=140154379563471 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 2 12655 0 0 0 0 6 2 20 0 15 0 112123607 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=13974356 memory=140154482620032 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 2 12655 0 0 0 0 6 2 20 0 15 0 112123608 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=13974356 memory=67 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 33 12655 0 0 0 0 6 2 20 0 15 0 112123609 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117577032992 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=13974356 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 21 12655 0 0 0 0 6 2 20 0 15 0 112123609 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117575980656 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26288] ppid=26227 vsize=13974356 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26288/stat : 26288 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117574928976 140118100219803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26289] ppid=26227 vsize=13974356 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26230/task/26289/stat : 26289 (java) S 26227 26230 8289 0 -1 1077944384 534 12655 0 0 1 0 6 2 20 0 15 0 112123612 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117573875824 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26290] ppid=26227 vsize=13974356 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26290/stat : 26290 (java) S 26227 26230 8289 0 -1 1077944384 217 12655 0 0 0 0 6 2 20 0 15 0 112123612 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117572823024 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26291] ppid=26227 vsize=13974356 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/26230/task/26291/stat : 26291 (java) S 26227 26230 8289 0 -1 1077944384 513 12655 0 0 3 0 6 2 20 0 15 0 112123612 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117571770736 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26292] ppid=26227 vsize=13974356 memory=140154482620032 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26292/stat : 26292 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117570718176 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26293] ppid=26227 vsize=13974356 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26293/stat : 26293 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123615 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117569665968 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13974356 KiB
Current children cumulated memory: 33020 KiB
[startup+0.700822 s]
/proc/loadavg: 2.06 1.92 1.95 3/215 26293
/proc/meminfo: memFree=29495232/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=13974784 memory=60152 CPUtime=0.73 cores=0,2,4,6
/proc/26230/stat : 26230 (java) S 26227 26230 8289 0 -1 1077944320 14058 12655 0 0 61 4 6 2 20 0 15 0 112123587 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140734015104272 140118100201207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
/proc/26230/statm: 3493696 15038 3134 1 0 3482965 0
[pid=26230/tid=26280] ppid=26227 vsize=13974784 memory=54256 CPUtime=0.55 cores=0,2,4,6
/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 10450 12655 0 0 44 3 6 2 20 0 15 0 112123606 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140118104417616 140118080477005 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123607 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=13974784 memory=170 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123607 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=13974784 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123607 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 2 12655 0 0 0 0 6 2 20 0 15 0 112123607 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 5 12655 0 0 0 0 6 2 20 0 15 0 112123608 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=13974784 memory=26 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 33 12655 0 0 0 0 6 2 20 0 15 0 112123609 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117577032992 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=13974784 memory=53296 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 21 12655 0 0 0 0 6 2 20 0 15 0 112123609 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117575980656 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26288] ppid=26227 vsize=13974784 memory=-8774313645642428999 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26288/stat : 26288 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117574928976 140118100219803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26289] ppid=26227 vsize=13974784 memory=4872558044660077418 CPUtime=0.11 cores=0,2,4,6
/proc/26230/task/26289/stat : 26289 (java) S 26227 26230 8289 0 -1 1077944384 614 12655 0 0 3 0 6 2 20 0 15 0 112123612 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117573875824 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26290] ppid=26227 vsize=13974784 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26230/task/26290/stat : 26290 (java) S 26227 26230 8289 0 -1 1077944384 224 12655 0 0 2 0 6 2 20 0 15 0 112123612 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117572823024 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26291] ppid=26227 vsize=13974784 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/26230/task/26291/stat : 26291 (java) S 26227 26230 8289 0 -1 1077944384 548 12655 0 0 10 0 6 2 20 0 15 0 112123612 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117571770736 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26292] ppid=26227 vsize=13974784 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26292/stat : 26292 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117570718176 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26293] ppid=26227 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26293/stat : 26293 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123615 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117569665968 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 60152 KiB
[startup+1.5007 s]
/proc/loadavg: 2.06 1.92 1.95 3/215 26293
/proc/meminfo: memFree=29461496/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=13985408 memory=172900 CPUtime=1.96 cores=0,2,4,6
/proc/26230/stat : 26230 (java) S 26227 26230 8289 0 -1 1077944320 29987 12655 0 0 178 10 6 2 20 0 15 0 112123587 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140734015104272 140118100201207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
/proc/26230/statm: 3496352 43225 3368 1 0 3485525 0
[pid=26230/tid=26280] ppid=26227 vsize=13985408 memory=4288 CPUtime=1.32 cores=0,2,4,6
/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 23575 12655 0 0 118 6 6 2 20 0 15 0 112123606 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140118104427600 140118084511823 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=13985408 memory=-7522837582236181595 CPUtime=0.09 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 212 12655 0 0 1 0 6 2 20 0 15 0 112123607 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=13985408 memory=6944613755495348631 CPUtime=0.09 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 47 12655 0 0 1 0 6 2 20 0 15 0 112123607 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=13985408 memory=7090185688094042478 CPUtime=0.09 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 32 12655 0 0 1 0 6 2 20 0 15 0 112123607 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=13985408 memory=7518306928696583506 CPUtime=0.09 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 55 12655 0 0 1 0 6 2 20 0 15 0 112123607 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=13985408 memory=5787213904088285286 CPUtime=0.09 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 740 12655 0 0 1 0 6 2 20 0 15 0 112123608 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=13985408 memory=4168 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 56 12655 0 0 0 0 6 2 20 0 15 0 112123609 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117577033056 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 44 12655 0 0 0 0 6 2 20 0 15 0 112123609 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117575980656 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26288] ppid=26227 vsize=13985408 memory=3756200729085419205 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26288/stat : 26288 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117574928976 140118100219803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26289] ppid=26227 vsize=13985408 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/26230/task/26289/stat : 26289 (java) S 26227 26230 8289 0 -1 1077944384 1161 12655 0 0 18 0 6 2 20 0 15 0 112123612 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117573875824 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26290] ppid=26227 vsize=13985408 memory=170 CPUtime=0.19 cores=0,2,4,6
/proc/26230/task/26290/stat : 26290 (java) S 26227 26230 8289 0 -1 1077944384 513 12655 0 0 11 0 6 2 20 0 15 0 112123612 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117572823024 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26291] ppid=26227 vsize=13985408 memory=1 CPUtime=0.31 cores=0,2,4,6
/proc/26230/task/26291/stat : 26291 (java) S 26227 26230 8289 0 -1 1077944384 1390 12655 0 0 23 0 6 2 20 0 15 0 112123612 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117571770736 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26292] ppid=26227 vsize=13985408 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26292/stat : 26292 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117570718176 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26293] ppid=26227 vsize=13985408 memory=18436 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26293/stat : 26293 (java) S 26227 26230 8289 0 -1 1077944384 5 12655 0 0 0 0 6 2 20 0 15 0 112123615 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117569665968 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 172900 KiB
[startup+3.11595 s]
################
# More data... #
################
/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 59658 12655 0 0 16051 32 6 2 20 0 15 0 112123606 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140118104435664 140117691067496 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=14071612 memory=1424300 CPUtime=0.82 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 2279 12655 0 0 68 6 6 2 20 0 15 0 112123607 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=14071612 memory=1419164 CPUtime=0.84 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 5243 12655 0 0 70 6 6 2 20 0 15 0 112123607 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=14071612 memory=1414612 CPUtime=0.83 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 2386 12655 0 0 69 6 6 2 20 0 15 0 112123607 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=14071612 memory=1427888 CPUtime=0.83 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 1201 12655 0 0 70 5 6 2 20 0 15 0 112123607 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=14071612 memory=1414612 CPUtime=0.41 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 3885 12655 0 0 29 4 6 2 20 0 15 0 112123608 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=14071612 memory=1427888 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 80 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117577033056 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=14071612 memory=1410508 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 52 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117575980672 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26288] ppid=26227 vsize=14071612 memory=1472508 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26288/stat : 26288 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117574928976 140118100219803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26289] ppid=26227 vsize=14071612 memory=6944656592455359580 CPUtime=10.01 cores=0,2,4,6
/proc/26230/task/26289/stat : 26289 (java) S 26227 26230 8289 0 -1 1077944384 23550 12655 0 0 988 5 6 2 20 0 15 0 112123612 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117573875824 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26290] ppid=26227 vsize=14071612 memory=1417688 CPUtime=9.83 cores=0,2,4,6
/proc/26230/task/26290/stat : 26290 (java) S 26227 26230 8289 0 -1 1077944384 18668 12655 0 0 970 5 6 2 20 0 15 0 112123612 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117572823024 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26291] ppid=26227 vsize=14071612 memory=1724 CPUtime=3.86 cores=0,2,4,6
/proc/26230/task/26291/stat : 26291 (java) S 26227 26230 8289 0 -1 1077944384 20864 12655 0 0 372 6 6 2 20 0 15 0 112123612 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117571770736 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26292] ppid=26227 vsize=14071612 memory=1415640 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26292/stat : 26292 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117570718176 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26293] ppid=26227 vsize=14071612 memory=1419164 CPUtime=0.16 cores=0,2,4,6
/proc/26230/task/26293/stat : 26293 (java) S 26227 26230 8289 0 -1 1077944384 125 12655 0 0 4 4 6 2 20 0 15 0 112123615 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117569665968 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 187.89 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1412556 KiB
[startup+222.301 s]
/proc/loadavg: 1.82 1.83 1.90 3/217 26442
/proc/meminfo: memFree=28002188/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=14071612 memory=1195348 CPUtime=248.94 cores=0,2,4,6
/proc/26230/stat : 26230 (java) S 26227 26230 8289 0 -1 1077944320 153378 12655 0 0 24795 91 6 2 20 0 15 0 112123587 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140734015104272 140118100201207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
/proc/26230/statm: 3517903 298837 3490 1 0 3506517 0
[pid=26230/tid=26280] ppid=26227 vsize=14071612 memory=1240820 CPUtime=220.35 cores=0,2,4,6
/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 62287 12655 0 0 21995 32 6 2 20 0 15 0 112123606 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140118104435408 140117691067499 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=14071612 memory=1231712 CPUtime=1.15 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 3137 12655 0 0 100 7 6 2 20 0 15 0 112123607 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=14071612 memory=1226584 CPUtime=1.18 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 6645 12655 0 0 103 7 6 2 20 0 15 0 112123607 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=14071612 memory=1216836 CPUtime=1.19 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 2791 12655 0 0 103 8 6 2 20 0 15 0 112123607 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=14071612 memory=1209140 CPUtime=1.18 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 2076 12655 0 0 103 7 6 2 20 0 15 0 112123607 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=14071612 memory=1196372 CPUtime=0.56 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 4402 12655 0 0 41 7 6 2 20 0 15 0 112123608 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=14071612 memory=1200976 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 85 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117577033056 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=14071612 memory=1195348 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 52 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117575980672 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26288] ppid=26227 vsize=14071612 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26288/stat : 26288 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117574928976 140118100219803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26289] ppid=26227 vsize=14071612 memory=1203540 CPUtime=10.01 cores=0,2,4,6
/proc/26230/task/26289/stat : 26289 (java) S 26227 26230 8289 0 -1 1077944384 23552 12655 0 0 988 5 6 2 20 0 15 0 112123612 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117573875824 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26290] ppid=26227 vsize=14071612 memory=9878424783013 CPUtime=9.84 cores=0,2,4,6
/proc/26230/task/26290/stat : 26290 (java) S 26227 26230 8289 0 -1 1077944384 19531 12655 0 0 971 5 6 2 20 0 15 0 112123612 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117572823024 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26291] ppid=26227 vsize=14071612 memory=1228 CPUtime=3.88 cores=0,2,4,6
/proc/26230/task/26291/stat : 26291 (java) S 26227 26230 8289 0 -1 1077944384 26480 12655 0 0 374 6 6 2 20 0 15 0 112123612 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117571770736 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26292] ppid=26227 vsize=14071612 memory=14356 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26292/stat : 26292 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117570718176 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26293] ppid=26227 vsize=14071612 memory=1196372 CPUtime=0.19 cores=0,2,4,6
/proc/26230/task/26293/stat : 26293 (java) S 26227 26230 8289 0 -1 1077944384 183 12655 0 0 5 6 6 2 20 0 15 0 112123615 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117569665968 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 248.94 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1195348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+225.301 s]
/proc/loadavg: 1.84 1.83 1.90 3/217 26442
/proc/meminfo: memFree=28016140/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=14071612 memory=1179444 CPUtime=252.02 cores=0,2,4,6
/proc/26230/stat : 26230 (java) S 26227 26230 8289 0 -1 1077944320 154717 12655 0 0 25103 91 6 2 20 0 15 0 112123587 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140734015104272 140118100201207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
/proc/26230/statm: 3517903 294861 3490 1 0 3506517 0
[pid=26230/tid=26280] ppid=26227 vsize=14071612 memory=0 CPUtime=223.32 cores=0,2,4,6
/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 62304 12655 0 0 22292 32 6 2 20 0 15 0 112123606 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118104435328 140117706349776 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=14071612 memory=1189192 CPUtime=1.17 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 3143 12655 0 0 102 7 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=14071612 memory=1209140 CPUtime=1.2 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 6648 12655 0 0 105 7 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=14071612 memory=1216836 CPUtime=1.21 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 2794 12655 0 0 105 8 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=14071612 memory=1182524 CPUtime=1.2 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 2085 12655 0 0 105 7 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=14071612 memory=1184576 CPUtime=0.57 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 4406 12655 0 0 42 7 6 2 20 0 15 0 112123608 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=14071612 memory=1181496 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 85 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117577033056 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=14071612 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 52 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117575980672 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26288] ppid=26227 vsize=14071612 memory=1231712 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26288/stat : 26288 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117574928976 140118100219803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26289] ppid=26227 vsize=14071612 memory=928 CPUtime=10.01 cores=0,2,4,6
/proc/26230/task/26289/stat : 26289 (java) S 26227 26230 8289 0 -1 1077944384 23552 12655 0 0 988 5 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117573875824 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26290] ppid=26227 vsize=14071612 memory=1620 CPUtime=9.87 cores=0,2,4,6
/proc/26230/task/26290/stat : 26290 (java) S 26227 26230 8289 0 -1 1077944384 20828 12655 0 0 974 5 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117572823024 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26291] ppid=26227 vsize=14071612 memory=1196372 CPUtime=3.88 cores=0,2,4,6
/proc/26230/task/26291/stat : 26291 (java) S 26227 26230 8289 0 -1 1077944384 26480 12655 0 0 374 6 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117571770736 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26292] ppid=26227 vsize=14071612 memory=1196372 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26292/stat : 26292 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117570718176 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26293] ppid=26227 vsize=14071612 memory=1239916 CPUtime=0.19 cores=0,2,4,6
/proc/26230/task/26293/stat : 26293 (java) S 26227 26230 8289 0 -1 1077944384 183 12655 0 0 5 6 6 2 20 0 15 0 112123615 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117569665968 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1179444 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+225.352 s]
# the end of solver process 26230 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.135 s, system=0.963911 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+225.301 s]
/proc/loadavg: 1.84 1.83 1.90 3/217 26442
/proc/meminfo: memFree=28016140/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=14071612 memory=1179444 CPUtime=252.02 cores=0,2,4,6
/proc/26230/stat : 26230 (java) S 26227 26230 8289 0 -1 1077944320 154717 12655 0 0 25103 91 6 2 20 0 15 0 112123587 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140734015104272 140118100201207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
/proc/26230/statm: 3517903 294861 3490 1 0 3506517 0
[pid=26230/tid=26280] ppid=26227 vsize=14071612 memory=0 CPUtime=223.32 cores=0,2,4,6
/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 62304 12655 0 0 22292 32 6 2 20 0 15 0 112123606 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118104435328 140117706349776 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=14071612 memory=1189192 CPUtime=1.17 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 3143 12655 0 0 102 7 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=14071612 memory=1209140 CPUtime=1.2 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 6648 12655 0 0 105 7 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=14071612 memory=1216836 CPUtime=1.21 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 2794 12655 0 0 105 8 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=14071612 memory=1182524 CPUtime=1.2 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 2085 12655 0 0 105 7 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=14071612 memory=1184576 CPUtime=0.57 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 4406 12655 0 0 42 7 6 2 20 0 15 0 112123608 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=14071612 memory=1181496 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 85 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117577033056 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=14071612 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 52 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117575980672 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26288] ppid=26227 vsize=14071612 memory=1231712 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26288/stat : 26288 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117574928976 140118100219803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26289] ppid=26227 vsize=14071612 memory=928 CPUtime=10.01 cores=0,2,4,6
/proc/26230/task/26289/stat : 26289 (java) S 26227 26230 8289 0 -1 1077944384 23552 12655 0 0 988 5 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117573875824 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26290] ppid=26227 vsize=14071612 memory=1620 CPUtime=9.87 cores=0,2,4,6
/proc/26230/task/26290/stat : 26290 (java) S 26227 26230 8289 0 -1 1077944384 20828 12655 0 0 974 5 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117572823024 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26291] ppid=26227 vsize=14071612 memory=1196372 CPUtime=3.88 cores=0,2,4,6
/proc/26230/task/26291/stat : 26291 (java) S 26227 26230 8289 0 -1 1077944384 26480 12655 0 0 374 6 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117571770736 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26292] ppid=26227 vsize=14071612 memory=1196372 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26292/stat : 26292 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117570718176 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26293] ppid=26227 vsize=14071612 memory=1239916 CPUtime=0.19 cores=0,2,4,6
/proc/26230/task/26293/stat : 26293 (java) S 26227 26230 8289 0 -1 1077944384 183 12655 0 0 5 6 6 2 20 0 15 0 112123615 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117569665968 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1179444 KiB
Child status: 143
Real time (s): 225.352
CPU time (s): 252.099
CPU user time (s): 251.135
CPU system time (s): 0.963911
CPU usage (%): 111.869
Max. virtual memory (cumulated for all children) (KiB): 14071612
Max. memory (cumulated for all children) (KiB): 1628480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.135
system time used= 0.963911
maximum resident set size= 1631532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26430
involuntary context switches= 715
# summary of solver processes directly reported to runsolver:
# pid: 26230
# total CPU time (s): 252.099
# total CPU user time (s): 251.135
# total CPU system time (s): 0.963911
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40177 second user time and 2.18687 second system time
The end