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 (13266 MiB free)
memory of node 1: 16384 MiB (14239 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298714-1532774532/watcher-4298714-1532774532 -o /tmp/evaluation-result-4298714-1532774532/solver-4298714-1532774532 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532774532-6236 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298714-1532774532.xml --timelimit 2520
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=6274, runsolver pid=6271
[startup+0.100067 s]*
/proc/loadavg: 1.08 1.34 1.40 4/220 6295
/proc/meminfo: memFree=28140056/32770624 swapFree=67108744/67108860
[pid=6274] ppid=6271 vsize=10661056 memory=27532 CPUtime=0.12 cores=1,3,5,7
/proc/6274/stat : 6274 (java) S 6271 6274 6204 0 -1 1077944320 5289 0 0 0 11 1 0 0 20 0 15 0 95016398 10916921344 6883 33554432000 4194304 4196468 140734267009888 140734266992432 140354763136759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
/proc/6274/statm: 2665264 6883 2860 1 0 2627263 0
[pid=6274/tid=6276] ppid=6271 vsize=10661056 memory=-8825469167275439296 CPUtime=0.09 cores=1,3,5,7
/proc/6274/task/6276/stat : 6276 (java) R 6271 6274 6204 0 -1 4202560 3164 0 0 0 9 0 0 0 20 0 15 0 95016399 10916921344 6883 33554432000 4194304 4196468 140734267009888 140354767364864 140354763148694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6277] ppid=6271 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6277/stat : 6277 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016400 10916921344 6883 33554432000 4194304 4196468 140734267009888 140354370005904 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6278] ppid=6271 vsize=10661056 memory=140324311217792 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6278/stat : 6278 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016400 10916921344 6883 33554432000 4194304 4196468 140734267009888 140354368953104 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6279] ppid=6271 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6279/stat : 6279 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016400 10916921344 6883 33554432000 4194304 4196468 140734267009888 140354367900816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6280] ppid=6271 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6280/stat : 6280 (java) S 6271 6274 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95016400 10916921344 6883 33554432000 4194304 4196468 140734267009888 140354366848016 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6287] ppid=6271 vsize=10661056 memory=140324311217792 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6287/stat : 6287 (java) S 6271 6274 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95016401 10916921344 6883 33554432000 4194304 4196468 140734267009888 140354255747184 140354763147906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6288] ppid=6271 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6288/stat : 6288 (java) S 6271 6274 6204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95016402 10916921344 6883 33554432000 4194304 4196468 140734267009888 140354254693152 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6289] ppid=6271 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6289/stat : 6289 (java) S 6271 6274 6204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95016402 10916921344 6883 33554432000 4194304 4196468 140734267009888 140354253640816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6290] ppid=6271 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6290/stat : 6290 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916921344 6883 33554432000 4194304 4196468 140734267009888 140354252589136 140354763155355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6291] ppid=6271 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6291/stat : 6291 (java) S 6271 6274 6204 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 95016404 10916921344 6883 33554432000 4194304 4196468 140734267009888 140354251537008 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6292] ppid=6271 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6292/stat : 6292 (java) S 6271 6274 6204 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 95016404 10916921344 6883 33554432000 4194304 4196468 140734267009888 140354250484208 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6293] ppid=6271 vsize=10661056 memory=140324311217792 CPUtime=0.02 cores=1,3,5,7
/proc/6274/task/6293/stat : 6293 (java) R 6271 6274 6204 0 -1 4202560 326 0 0 0 2 0 0 0 20 0 15 0 95016404 10916921344 6883 33554432000 4194304 4196468 140734267009888 140354249431920 140354747319904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6294] ppid=6271 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6294/stat : 6294 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916921344 6883 33554432000 4194304 4196468 140734267009888 140354248379360 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6295] ppid=6271 vsize=10661056 memory=140324311217792 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6295/stat : 6295 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016405 10916921344 6883 33554432000 4194304 4196468 140734267009888 140354247326128 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27532 KiB
[startup+0.210768 s]*
/proc/loadavg: 1.08 1.34 1.40 7/220 6295
/proc/meminfo: memFree=28113532/32770624 swapFree=67108744/67108860
[pid=6274] ppid=6271 vsize=10661056 memory=40524 CPUtime=0.34 cores=1,3,5,7
/proc/6274/stat : 6274 (java) S 6271 6274 6204 0 -1 1077944320 8179 0 0 0 32 2 0 0 20 0 15 0 95016398 10916921344 10131 33554432000 4194304 4196468 140734267009888 140734266992432 140354763136759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
/proc/6274/statm: 2665264 10131 2986 1 0 2627263 0
[pid=6274/tid=6276] ppid=6271 vsize=10661056 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/6274/task/6276/stat : 6276 (java) R 6271 6274 6204 0 -1 1077944384 5118 0 0 0 18 1 0 0 20 0 15 0 95016399 10916921344 10131 33554432000 4194304 4196468 140734267009888 140354767374720 140354763146965 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6277] ppid=6271 vsize=10661056 memory=364 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6277/stat : 6277 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016400 10916921344 10131 33554432000 4194304 4196468 140734267009888 140354370005904 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6278] ppid=6271 vsize=10661056 memory=140324311224318 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6278/stat : 6278 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016400 10916921344 10131 33554432000 4194304 4196468 140734267009888 140354368953104 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6279] ppid=6271 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6279/stat : 6279 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016400 10916921344 10131 33554432000 4194304 4196468 140734267009888 140354367900816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6280] ppid=6271 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6280/stat : 6280 (java) S 6271 6274 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95016400 10916921344 10131 33554432000 4194304 4196468 140734267009888 140354366848016 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6287] ppid=6271 vsize=10661056 memory=140324311217792 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6287/stat : 6287 (java) S 6271 6274 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95016401 10916921344 10131 33554432000 4194304 4196468 140734267009888 140354255747184 140354763147906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6288] ppid=6271 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6288/stat : 6288 (java) S 6271 6274 6204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95016402 10916921344 10131 33554432000 4194304 4196468 140734267009888 140354254693152 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6289] ppid=6271 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6289/stat : 6289 (java) S 6271 6274 6204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95016402 10916921344 10131 33554432000 4194304 4196468 140734267009888 140354253640816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6290] ppid=6271 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6290/stat : 6290 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916921344 10131 33554432000 4194304 4196468 140734267009888 140354252589136 140354763155355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6291] ppid=6271 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6274/task/6291/stat : 6291 (java) S 6271 6274 6204 0 -1 1077944384 494 0 0 0 2 0 0 0 20 0 15 0 95016404 10916921344 10131 33554432000 4194304 4196468 140734267009888 140354251537008 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6292] ppid=6271 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6274/task/6292/stat : 6292 (java) S 6271 6274 6204 0 -1 1077944384 338 0 0 0 2 0 0 0 20 0 15 0 95016404 10916921344 10131 33554432000 4194304 4196468 140734267009888 140354250484208 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6293] ppid=6271 vsize=10661056 memory=140324311217792 CPUtime=0.08 cores=1,3,5,7
/proc/6274/task/6293/stat : 6293 (java) R 6271 6274 6204 0 -1 4202560 861 0 0 0 8 0 0 0 20 0 15 0 95016404 10916921344 10131 33554432000 4194304 4196468 140734267009888 140354249427872 140354742060656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6294] ppid=6271 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6294/stat : 6294 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916921344 10131 33554432000 4194304 4196468 140734267009888 140354248379360 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6295] ppid=6271 vsize=10661056 memory=140324311217792 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6295/stat : 6295 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016405 10916921344 10131 33554432000 4194304 4196468 140734267009888 140354247326128 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40524 KiB
[startup+0.320244 s]*
/proc/loadavg: 1.08 1.34 1.40 8/220 6295
/proc/meminfo: memFree=28093740/32770624 swapFree=67108744/67108860
[pid=6274] ppid=6271 vsize=10661132 memory=52908 CPUtime=0.72 cores=1,3,5,7
/proc/6274/stat : 6274 (java) S 6271 6274 6204 0 -1 1077944320 10356 0 0 0 70 2 0 0 20 0 15 0 95016398 10916999168 13227 33554432000 4194304 4196468 140734267009888 140734266992432 140354763136759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
/proc/6274/statm: 2665283 13227 3070 1 0 2627263 0
[pid=6274/tid=6276] ppid=6271 vsize=10661132 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/6274/task/6276/stat : 6276 (java) R 6271 6274 6204 0 -1 4202560 5436 0 0 0 29 1 0 0 20 0 15 0 95016399 10916999168 13227 33554432000 4194304 4196468 140734267009888 140354767373024 140354380660804 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6277] ppid=6271 vsize=10661132 memory=4294980952 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6277/stat : 6277 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016400 10916999168 13227 33554432000 4194304 4196468 140734267009888 140354370005904 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6278] ppid=6271 vsize=10661132 memory=140324311783538 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6278/stat : 6278 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016400 10916999168 13227 33554432000 4194304 4196468 140734267009888 140354368953104 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6279] ppid=6271 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6279/stat : 6279 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016400 10916999168 13227 33554432000 4194304 4196468 140734267009888 140354367900816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6280] ppid=6271 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6280/stat : 6280 (java) S 6271 6274 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95016400 10916999168 13227 33554432000 4194304 4196468 140734267009888 140354366848016 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6287] ppid=6271 vsize=10661132 memory=140324311217792 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6287/stat : 6287 (java) S 6271 6274 6204 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95016401 10916999168 13227 33554432000 4194304 4196468 140734267009888 140354255747184 140354763147906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6288] ppid=6271 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6288/stat : 6288 (java) S 6271 6274 6204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95016402 10916999168 13227 33554432000 4194304 4196468 140734267009888 140354254693152 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6289] ppid=6271 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6289/stat : 6289 (java) S 6271 6274 6204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95016402 10916999168 13227 33554432000 4194304 4196468 140734267009888 140354253640816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6290] ppid=6271 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6290/stat : 6290 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916999168 13227 33554432000 4194304 4196468 140734267009888 140354252589136 140354763155355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6291] ppid=6271 vsize=10661132 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6274/task/6291/stat : 6291 (java) R 6271 6274 6204 0 -1 4202560 1310 0 0 0 12 0 0 0 20 0 15 0 95016404 10916999168 13227 33554432000 4194304 4196468 140734267009888 140354251523792 140354763148694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6292] ppid=6271 vsize=10661132 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/6274/task/6292/stat : 6292 (java) R 6271 6274 6204 0 -1 4202560 831 0 0 0 12 0 0 0 20 0 15 0 95016404 10916999168 13227 33554432000 4194304 4196468 140734267009888 140354250471056 140354763158106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6293] ppid=6271 vsize=10661132 memory=140324311217792 CPUtime=0.16 cores=1,3,5,7
/proc/6274/task/6293/stat : 6293 (java) R 6271 6274 6204 0 -1 4202560 1420 0 0 0 16 0 0 0 20 0 15 0 95016404 10916999168 13227 33554432000 4194304 4196468 140734267009888 140354249427680 140354763158106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6294] ppid=6271 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6294/stat : 6294 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916999168 13227 33554432000 4194304 4196468 140734267009888 140354248379360 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6295] ppid=6271 vsize=10661132 memory=140324311217792 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6295/stat : 6295 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016405 10916999168 13227 33554432000 4194304 4196468 140734267009888 140354247326128 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
Current children cumulated CPU time: 0.72 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 52908 KiB
[startup+0.700687 s]
/proc/loadavg: 1.08 1.34 1.40 7/220 6295
/proc/meminfo: memFree=28038760/32770624 swapFree=67108744/67108860
[pid=6274] ppid=6271 vsize=10661132 memory=107576 CPUtime=1.9 cores=1,3,5,7
/proc/6274/stat : 6274 (java) S 6271 6274 6204 0 -1 1077944320 11816 0 0 0 186 4 0 0 20 0 15 0 95016398 10916999168 26894 33554432000 4194304 4196468 140734267009888 140734266992432 140354763136759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
/proc/6274/statm: 2665283 26894 3106 1 0 2627263 0
[pid=6274/tid=6276] ppid=6271 vsize=10661132 memory=1236 CPUtime=0.67 cores=1,3,5,7
/proc/6274/task/6276/stat : 6276 (java) R 6271 6274 6204 0 -1 4202560 5784 0 0 0 64 3 0 0 20 0 15 0 95016399 10916999168 26894 33554432000 4194304 4196468 140734267009888 140354767372096 140354744700319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6277] ppid=6271 vsize=10661132 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6277/stat : 6277 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016400 10916999168 26894 33554432000 4194304 4196468 140734267009888 140354370005904 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6278] ppid=6271 vsize=10661132 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6278/stat : 6278 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016400 10916999168 26894 33554432000 4194304 4196468 140734267009888 140354368953104 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6279] ppid=6271 vsize=10661132 memory=644 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6279/stat : 6279 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016400 10916999168 26894 33554432000 4194304 4196468 140734267009888 140354367900816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6280] ppid=6271 vsize=10661132 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6280/stat : 6280 (java) S 6271 6274 6204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95016400 10916999168 26894 33554432000 4194304 4196468 140734267009888 140354366848016 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6287] ppid=6271 vsize=10661132 memory=956 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6287/stat : 6287 (java) S 6271 6274 6204 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95016401 10916999168 26894 33554432000 4194304 4196468 140734267009888 140354255747184 140354763147906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6288] ppid=6271 vsize=10661132 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6288/stat : 6288 (java) S 6271 6274 6204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95016402 10916999168 26894 33554432000 4194304 4196468 140734267009888 140354254693152 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6289] ppid=6271 vsize=10661132 memory=928 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6289/stat : 6289 (java) S 6271 6274 6204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95016402 10916999168 26894 33554432000 4194304 4196468 140734267009888 140354253640816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6290] ppid=6271 vsize=10661132 memory=6153431502485415525 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6290/stat : 6290 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916999168 26894 33554432000 4194304 4196468 140734267009888 140354252589136 140354763155355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6291] ppid=6271 vsize=10661132 memory=6081108994580048232 CPUtime=0.43 cores=1,3,5,7
/proc/6274/task/6291/stat : 6291 (java) R 6271 6274 6204 0 -1 4202560 1430 0 0 0 43 0 0 0 20 0 15 0 95016404 10916999168 26894 33554432000 4194304 4196468 140734267009888 140354251537008 140354746547765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6292] ppid=6271 vsize=10661132 memory=6154282490091891024 CPUtime=0.41 cores=1,3,5,7
/proc/6274/task/6292/stat : 6292 (java) R 6271 6274 6204 0 -1 4202560 1373 0 0 0 41 0 0 0 20 0 15 0 95016404 10916999168 26894 33554432000 4194304 4196468 140734267009888 140354250469520 140354749151076 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6293] ppid=6271 vsize=10661132 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/6274/task/6293/stat : 6293 (java) R 6271 6274 6204 0 -1 4202560 1858 0 0 0 36 0 0 0 20 0 15 0 95016404 10916999168 26894 33554432000 4194304 4196468 140734267009888 140354249428856 140354742097598 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6294] ppid=6271 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6294/stat : 6294 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916999168 26894 33554432000 4194304 4196468 140734267009888 140354248379360 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6295] ppid=6271 vsize=10661132 memory=10588 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6295/stat : 6295 (java) S 6271 6274 6204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95016405 10916999168 26894 33554432000 4194304 4196468 140734267009888 140354247326128 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 107576 KiB
[startup+1.50079 s]
/proc/loadavg: 1.08 1.34 1.40 7/220 6295
/proc/meminfo: memFree=27837216/32770624 swapFree=67108744/67108860
[pid=6274] ppid=6271 vsize=10661132 memory=215148 CPUtime=4.16 cores=1,3,5,7
/proc/6274/stat : 6274 (java) S 6271 6274 6204 0 -1 1077944320 16377 0 0 0 407 9 0 0 20 0 15 0 95016398 10916999168 53787 33554432000 4194304 4196468 140734267009888 140734266992432 140354763136759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
/proc/6274/statm: 2665283 53787 3148 1 0 2627263 0
[pid=6274/tid=6276] ppid=6271 vsize=10661132 memory=213668 CPUtime=1.45 cores=1,3,5,7
/proc/6274/task/6276/stat : 6276 (java) R 6271 6274 6204 0 -1 4202560 5911 0 0 0 141 4 0 0 20 0 15 0 95016399 10916999168 53787 33554432000 4194304 4196468 140734267009888 140354767376048 140354742190999 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6277] ppid=6271 vsize=10661132 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6277/stat : 6277 (java) S 6271 6274 6204 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 95016400 10916999168 53787 33554432000 4194304 4196468 140734267009888 140354370005904 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6278] ppid=6271 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6278/stat : 6278 (java) S 6271 6274 6204 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 95016400 10916999168 53787 33554432000 4194304 4196468 140734267009888 140354368953104 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6279] ppid=6271 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6279/stat : 6279 (java) S 6271 6274 6204 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 95016400 10916999168 53787 33554432000 4194304 4196468 140734267009888 140354367900816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6280] ppid=6271 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6280/stat : 6280 (java) S 6271 6274 6204 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 95016400 10916999168 53787 33554432000 4194304 4196468 140734267009888 140354366848016 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6287] ppid=6271 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6287/stat : 6287 (java) S 6271 6274 6204 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95016401 10916999168 53787 33554432000 4194304 4196468 140734267009888 140354255747184 140354763147906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
################
# More data... #
################
/proc/6274/task/6276/stat : 6276 (java) R 6271 6274 6204 0 -1 4202560 17355 0 0 0 236434 56 0 0 20 0 15 0 95016399 10916999168 101239 33554432000 4194304 4196468 140734267009888 140354767376176 140354386597919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6277] ppid=6271 vsize=10661132 memory=405472 CPUtime=16.21 cores=1,3,5,7
/proc/6274/task/6277/stat : 6277 (java) S 6271 6274 6204 0 -1 1077944384 15542 0 0 0 1608 13 0 0 20 0 15 0 95016400 10916999168 101239 33554432000 4194304 4196468 140734267009888 140354370005904 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6278] ppid=6271 vsize=10661132 memory=405472 CPUtime=16.19 cores=1,3,5,7
/proc/6274/task/6278/stat : 6278 (java) S 6271 6274 6204 0 -1 1077944384 14732 0 0 0 1606 13 0 0 20 0 15 0 95016400 10916999168 101239 33554432000 4194304 4196468 140734267009888 140354368953104 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6279] ppid=6271 vsize=10661132 memory=403424 CPUtime=16.18 cores=1,3,5,7
/proc/6274/task/6279/stat : 6279 (java) S 6271 6274 6204 0 -1 1077944384 16992 0 0 0 1607 11 0 0 20 0 15 0 95016400 10916999168 101239 33554432000 4194304 4196468 140734267009888 140354367900816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6280] ppid=6271 vsize=10661132 memory=404956 CPUtime=16.2 cores=1,3,5,7
/proc/6274/task/6280/stat : 6280 (java) S 6271 6274 6204 0 -1 1077944384 16951 0 0 0 1609 11 0 0 20 0 15 0 95016400 10916999168 101239 33554432000 4194304 4196468 140734267009888 140354366848016 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6287] ppid=6271 vsize=10661132 memory=404956 CPUtime=0.54 cores=1,3,5,7
/proc/6274/task/6287/stat : 6287 (java) S 6271 6274 6204 0 -1 1077944384 7035 0 0 0 46 8 0 0 20 0 15 0 95016401 10916999168 101239 33554432000 4194304 4196468 140734267009888 140354255747184 140354763147906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6288] ppid=6271 vsize=10661132 memory=404956 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6288/stat : 6288 (java) S 6271 6274 6204 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 95016402 10916999168 101239 33554432000 4194304 4196468 140734267009888 140354254693216 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6289] ppid=6271 vsize=10661132 memory=405472 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6289/stat : 6289 (java) S 6271 6274 6204 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 95016402 10916999168 101239 33554432000 4194304 4196468 140734267009888 140354253640816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6290] ppid=6271 vsize=10661132 memory=404956 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6290/stat : 6290 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916999168 101239 33554432000 4194304 4196468 140734267009888 140354252589136 140354763155355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6291] ppid=6271 vsize=10661132 memory=405472 CPUtime=1.67 cores=1,3,5,7
/proc/6274/task/6291/stat : 6291 (java) S 6271 6274 6204 0 -1 1077944384 10649 0 0 0 165 2 0 0 20 0 15 0 95016404 10916999168 101239 33554432000 4194304 4196468 140734267009888 140354251537008 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6292] ppid=6271 vsize=10661132 memory=405472 CPUtime=1.62 cores=1,3,5,7
/proc/6274/task/6292/stat : 6292 (java) S 6271 6274 6204 0 -1 1077944384 7867 0 0 0 161 1 0 0 20 0 15 0 95016404 10916999168 101239 33554432000 4194304 4196468 140734267009888 140354250484208 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6293] ppid=6271 vsize=10661132 memory=404956 CPUtime=0.5 cores=1,3,5,7
/proc/6274/task/6293/stat : 6293 (java) S 6271 6274 6204 0 -1 1077944384 5175 0 0 0 50 0 0 0 20 0 15 0 95016404 10916999168 101239 33554432000 4194304 4196468 140734267009888 140354249431920 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6294] ppid=6271 vsize=10661132 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6294/stat : 6294 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916999168 101239 33554432000 4194304 4196468 140734267009888 140354248379360 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6295] ppid=6271 vsize=10661132 memory=404956 CPUtime=0.55 cores=1,3,5,7
/proc/6274/task/6295/stat : 6295 (java) S 6271 6274 6204 0 -1 1077944384 1532 0 0 0 22 33 0 0 20 0 15 0 95016405 10916999168 101239 33554432000 4194304 4196468 140734267009888 140354247326128 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
Current children cumulated CPU time: 2434.64 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 404956 KiB
[startup+2442.3 s]
/proc/loadavg: 1.59 1.57 1.53 3/219 6396
/proc/meminfo: memFree=27449248/32770624 swapFree=67108744/67108860
[pid=6274] ppid=6271 vsize=10661132 memory=413144 CPUtime=2496.12 cores=1,3,5,7
/proc/6274/stat : 6274 (java) S 6271 6274 6204 0 -1 1077944320 117948 0 0 0 249469 143 0 0 20 0 15 0 95016398 10916999168 103286 33554432000 4194304 4196468 140734267009888 140734266992432 140354763136759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
/proc/6274/statm: 2665283 103286 3162 1 0 2627263 0
[pid=6274/tid=6276] ppid=6271 vsize=10661132 memory=413144 CPUtime=2424.37 cores=1,3,5,7
/proc/6274/task/6276/stat : 6276 (java) R 6271 6274 6204 0 -1 4202560 17537 0 0 0 242380 57 0 0 20 0 15 0 95016399 10916999168 103286 33554432000 4194304 4196468 140734267009888 140354767377664 140354386597276 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6277] ppid=6271 vsize=10661132 memory=411096 CPUtime=16.69 cores=1,3,5,7
/proc/6274/task/6277/stat : 6277 (java) S 6271 6274 6204 0 -1 1077944384 16146 0 0 0 1656 13 0 0 20 0 15 0 95016400 10916999168 103286 33554432000 4194304 4196468 140734267009888 140354370005904 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6278] ppid=6271 vsize=10661132 memory=404956 CPUtime=16.69 cores=1,3,5,7
/proc/6274/task/6278/stat : 6278 (java) S 6271 6274 6204 0 -1 1077944384 15279 0 0 0 1656 13 0 0 20 0 15 0 95016400 10916999168 103286 33554432000 4194304 4196468 140734267009888 140354368953104 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6279] ppid=6271 vsize=10661132 memory=411096 CPUtime=16.68 cores=1,3,5,7
/proc/6274/task/6279/stat : 6279 (java) S 6271 6274 6204 0 -1 1077944384 17503 0 0 0 1657 11 0 0 20 0 15 0 95016400 10916999168 103286 33554432000 4194304 4196468 140734267009888 140354367900816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6280] ppid=6271 vsize=10661132 memory=54047868465446 CPUtime=16.69 cores=1,3,5,7
/proc/6274/task/6280/stat : 6280 (java) S 6271 6274 6204 0 -1 1077944384 17622 0 0 0 1658 11 0 0 20 0 15 0 95016400 10916999168 103286 33554432000 4194304 4196468 140734267009888 140354366848016 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6287] ppid=6271 vsize=10661132 memory=411096 CPUtime=0.55 cores=1,3,5,7
/proc/6274/task/6287/stat : 6287 (java) S 6271 6274 6204 0 -1 1077944384 7218 0 0 0 47 8 0 0 20 0 15 0 95016401 10916999168 103286 33554432000 4194304 4196468 140734267009888 140354255747184 140354763147906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6288] ppid=6271 vsize=10661132 memory=411096 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6288/stat : 6288 (java) S 6271 6274 6204 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 95016402 10916999168 103286 33554432000 4194304 4196468 140734267009888 140354254693216 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6289] ppid=6271 vsize=10661132 memory=413144 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6289/stat : 6289 (java) S 6271 6274 6204 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 95016402 10916999168 103286 33554432000 4194304 4196468 140734267009888 140354253640816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6290] ppid=6271 vsize=10661132 memory=6154279273330009698 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6290/stat : 6290 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916999168 103286 33554432000 4194304 4196468 140734267009888 140354252589136 140354763155355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6291] ppid=6271 vsize=10661132 memory=413144 CPUtime=1.67 cores=1,3,5,7
/proc/6274/task/6291/stat : 6291 (java) S 6271 6274 6204 0 -1 1077944384 10651 0 0 0 165 2 0 0 20 0 15 0 95016404 10916999168 103286 33554432000 4194304 4196468 140734267009888 140354251537008 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6292] ppid=6271 vsize=10661132 memory=413144 CPUtime=1.62 cores=1,3,5,7
/proc/6274/task/6292/stat : 6292 (java) S 6271 6274 6204 0 -1 1077944384 7871 0 0 0 161 1 0 0 20 0 15 0 95016404 10916999168 103286 33554432000 4194304 4196468 140734267009888 140354250484208 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6293] ppid=6271 vsize=10661132 memory=413144 CPUtime=0.5 cores=1,3,5,7
/proc/6274/task/6293/stat : 6293 (java) S 6271 6274 6204 0 -1 1077944384 5177 0 0 0 50 0 0 0 20 0 15 0 95016404 10916999168 103286 33554432000 4194304 4196468 140734267009888 140354249431920 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6294] ppid=6271 vsize=10661132 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6294/stat : 6294 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916999168 103286 33554432000 4194304 4196468 140734267009888 140354248379360 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6295] ppid=6271 vsize=10661132 memory=644 CPUtime=0.56 cores=1,3,5,7
/proc/6274/task/6295/stat : 6295 (java) S 6271 6274 6204 0 -1 1077944384 1548 0 0 0 23 33 0 0 20 0 15 0 95016405 10916999168 103286 33554432000 4194304 4196468 140734267009888 140354247326128 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
Current children cumulated CPU time: 2496.12 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 413144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2465.7 s]
/proc/loadavg: 1.50 1.55 1.52 3/218 6397
/proc/meminfo: memFree=27441128/32770624 swapFree=67108744/67108860
[pid=6274] ppid=6271 vsize=10661132 memory=417240 CPUtime=2520.07 cores=1,3,5,7
/proc/6274/stat : 6274 (java) S 6271 6274 6204 0 -1 1077944320 119935 0 0 0 251863 144 0 0 20 0 15 0 95016398 10916999168 104310 33554432000 4194304 4196468 140734267009888 140734266992432 140354763136759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
/proc/6274/statm: 2665283 104310 3162 1 0 2627263 0
[pid=6274/tid=6276] ppid=6271 vsize=10661132 memory=417240 CPUtime=2447.56 cores=1,3,5,7
/proc/6274/task/6276/stat : 6276 (java) R 6271 6274 6204 0 -1 4202560 17959 0 0 0 244698 58 0 0 20 0 15 0 95016399 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354767377664 140354386597881 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6277] ppid=6271 vsize=10661132 memory=417240 CPUtime=16.88 cores=1,3,5,7
/proc/6274/task/6277/stat : 6277 (java) S 6271 6274 6204 0 -1 1077944384 16158 0 0 0 1675 13 0 0 20 0 15 0 95016400 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354370005904 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6278] ppid=6271 vsize=10661132 memory=251194 CPUtime=16.87 cores=1,3,5,7
/proc/6274/task/6278/stat : 6278 (java) S 6271 6274 6204 0 -1 1077944384 15651 0 0 0 1674 13 0 0 20 0 15 0 95016400 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354368953104 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6279] ppid=6271 vsize=10661132 memory=417240 CPUtime=16.85 cores=1,3,5,7
/proc/6274/task/6279/stat : 6279 (java) S 6271 6274 6204 0 -1 1077944384 18021 0 0 0 1674 11 0 0 20 0 15 0 95016400 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354367900816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6280] ppid=6271 vsize=10661132 memory=413144 CPUtime=16.89 cores=1,3,5,7
/proc/6274/task/6280/stat : 6280 (java) S 6271 6274 6204 0 -1 1077944384 18094 0 0 0 1677 12 0 0 20 0 15 0 95016400 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354366848016 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6287] ppid=6271 vsize=10661132 memory=411096 CPUtime=0.56 cores=1,3,5,7
/proc/6274/task/6287/stat : 6287 (java) S 6271 6274 6204 0 -1 1077944384 7389 0 0 0 48 8 0 0 20 0 15 0 95016401 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354255747184 140354763147906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6288] ppid=6271 vsize=10661132 memory=417240 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6288/stat : 6288 (java) S 6271 6274 6204 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 95016402 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354254693216 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6289] ppid=6271 vsize=10661132 memory=417240 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6289/stat : 6289 (java) S 6271 6274 6204 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 95016402 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354253640816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6290] ppid=6271 vsize=10661132 memory=417240 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6290/stat : 6290 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354252589136 140354763155355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6291] ppid=6271 vsize=10661132 memory=796 CPUtime=1.67 cores=1,3,5,7
/proc/6274/task/6291/stat : 6291 (java) S 6271 6274 6204 0 -1 1077944384 10653 0 0 0 165 2 0 0 20 0 15 0 95016404 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354251537008 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6292] ppid=6271 vsize=10661132 memory=0 CPUtime=1.62 cores=1,3,5,7
/proc/6274/task/6292/stat : 6292 (java) S 6271 6274 6204 0 -1 1077944384 7873 0 0 0 161 1 0 0 20 0 15 0 95016404 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354250484208 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6293] ppid=6271 vsize=10661132 memory=140324311220129 CPUtime=0.5 cores=1,3,5,7
/proc/6274/task/6293/stat : 6293 (java) S 6271 6274 6204 0 -1 1077944384 5179 0 0 0 50 0 0 0 20 0 15 0 95016404 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354249431920 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6294] ppid=6271 vsize=10661132 memory=417240 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6294/stat : 6294 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354248379360 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6295] ppid=6271 vsize=10661132 memory=417240 CPUtime=0.57 cores=1,3,5,7
/proc/6274/task/6295/stat : 6295 (java) S 6271 6274 6204 0 -1 1077944384 1562 0 0 0 23 34 0 0 20 0 15 0 95016405 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354247326128 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 417240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2465.72 s]
# the end of solver process 6274 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.65 s, system=1.45122 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2465.7 s]
/proc/loadavg: 1.50 1.55 1.52 3/218 6397
/proc/meminfo: memFree=27441128/32770624 swapFree=67108744/67108860
[pid=6274] ppid=6271 vsize=10661132 memory=417240 CPUtime=2520.07 cores=1,3,5,7
/proc/6274/stat : 6274 (java) S 6271 6274 6204 0 -1 1077944320 119935 0 0 0 251863 144 0 0 20 0 15 0 95016398 10916999168 104310 33554432000 4194304 4196468 140734267009888 140734266992432 140354763136759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
/proc/6274/statm: 2665283 104310 3162 1 0 2627263 0
[pid=6274/tid=6276] ppid=6271 vsize=10661132 memory=417240 CPUtime=2447.56 cores=1,3,5,7
/proc/6274/task/6276/stat : 6276 (java) R 6271 6274 6204 0 -1 4202560 17959 0 0 0 244698 58 0 0 20 0 15 0 95016399 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354767377664 140354386597881 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6277] ppid=6271 vsize=10661132 memory=417240 CPUtime=16.88 cores=1,3,5,7
/proc/6274/task/6277/stat : 6277 (java) S 6271 6274 6204 0 -1 1077944384 16158 0 0 0 1675 13 0 0 20 0 15 0 95016400 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354370005904 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6278] ppid=6271 vsize=10661132 memory=251194 CPUtime=16.87 cores=1,3,5,7
/proc/6274/task/6278/stat : 6278 (java) S 6271 6274 6204 0 -1 1077944384 15651 0 0 0 1674 13 0 0 20 0 15 0 95016400 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354368953104 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6279] ppid=6271 vsize=10661132 memory=417240 CPUtime=16.85 cores=1,3,5,7
/proc/6274/task/6279/stat : 6279 (java) S 6271 6274 6204 0 -1 1077944384 18021 0 0 0 1674 11 0 0 20 0 15 0 95016400 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354367900816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6280] ppid=6271 vsize=10661132 memory=413144 CPUtime=16.89 cores=1,3,5,7
/proc/6274/task/6280/stat : 6280 (java) S 6271 6274 6204 0 -1 1077944384 18094 0 0 0 1677 12 0 0 20 0 15 0 95016400 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354366848016 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6287] ppid=6271 vsize=10661132 memory=411096 CPUtime=0.56 cores=1,3,5,7
/proc/6274/task/6287/stat : 6287 (java) S 6271 6274 6204 0 -1 1077944384 7389 0 0 0 48 8 0 0 20 0 15 0 95016401 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354255747184 140354763147906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6288] ppid=6271 vsize=10661132 memory=417240 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6288/stat : 6288 (java) S 6271 6274 6204 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 95016402 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354254693216 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6289] ppid=6271 vsize=10661132 memory=417240 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6289/stat : 6289 (java) S 6271 6274 6204 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 95016402 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354253640816 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6290] ppid=6271 vsize=10661132 memory=417240 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6290/stat : 6290 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354252589136 140354763155355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6291] ppid=6271 vsize=10661132 memory=796 CPUtime=1.67 cores=1,3,5,7
/proc/6274/task/6291/stat : 6291 (java) S 6271 6274 6204 0 -1 1077944384 10653 0 0 0 165 2 0 0 20 0 15 0 95016404 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354251537008 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6292] ppid=6271 vsize=10661132 memory=0 CPUtime=1.62 cores=1,3,5,7
/proc/6274/task/6292/stat : 6292 (java) S 6271 6274 6204 0 -1 1077944384 7873 0 0 0 161 1 0 0 20 0 15 0 95016404 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354250484208 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6293] ppid=6271 vsize=10661132 memory=140324311220129 CPUtime=0.5 cores=1,3,5,7
/proc/6274/task/6293/stat : 6293 (java) S 6271 6274 6204 0 -1 1077944384 5179 0 0 0 50 0 0 0 20 0 15 0 95016404 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354249431920 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6294] ppid=6271 vsize=10661132 memory=417240 CPUtime=0 cores=1,3,5,7
/proc/6274/task/6294/stat : 6294 (java) S 6271 6274 6204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95016404 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354248379360 140354763146965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
[pid=6274/tid=6295] ppid=6271 vsize=10661132 memory=417240 CPUtime=0.57 cores=1,3,5,7
/proc/6274/task/6295/stat : 6295 (java) S 6271 6274 6204 0 -1 1077944384 1562 0 0 0 23 34 0 0 20 0 15 0 95016405 10916999168 104310 33554432000 4194304 4196468 140734267009888 140354247326128 140354763147906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7806976 140734267012252 140734267012361 140734267012361 140734267015119 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 417240 KiB
Child status: 143
Real time (s): 2465.72
CPU time (s): 2520.1
CPU user time (s): 2518.65
CPU system time (s): 1.45122
CPU usage (%): 102.205
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 417240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.65
system time used= 1.45122
maximum resident set size= 417696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120262
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68418
involuntary context switches= 3785
# summary of solver processes directly reported to runsolver:
# pid: 6274
# total CPU time (s): 2520.1
# total CPU user time (s): 2518.65
# total CPU system time (s): 1.45122
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2054 second user time and 21.4212 second system time
The end