runsolver version 3.4.2 (svn: 4680) 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: 63708 MiB (60708 MiB free)
memory of node 1: 64465 MiB (61428 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488594-1751322737/watcher-4488594-1751322737 -o /tmp/evaluation-result-4488594-1751322737/solver-4488594-1751322737 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751315455-42172 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4488594-1751322737.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=44455, runsolver pid=44451
[startup+0.100058 s]*
/proc/loadavg: 4.21 4.13 4.10 5/338 44473
/proc/meminfo: memFree=124981560/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=18930384 memory=57872 CPUtime=0.13 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 6613 0 0 0 11 2 0 0 20 0 18 0 47951268 19384713216 14468 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4732596 14468 5341 1 0 547642 0
[pid=44455/tid=44457] ppid=44451 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 5106 0 0 0 7 1 0 0 20 0 18 0 47951269 19384713216 14468 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47951271 19384713216 14468 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=18930384 memory=55186957824150 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47951272 19384713216 14468 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57872 KiB
[startup+0.205604 s]*
/proc/loadavg: 4.21 4.13 4.10 6/338 44473
/proc/meminfo: memFree=124977640/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=18930384 memory=68076 CPUtime=0.32 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 7014 0 0 0 29 3 0 0 20 0 18 0 47951268 19384713216 17019 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4732596 17019 5437 1 0 547891 0
[pid=44455/tid=44457] ppid=44451 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 5259 0 0 0 14 1 0 0 20 0 18 0 47951269 19384713216 17019 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=18930384 memory=17146 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47951271 19384713216 17019 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=18930384 memory=54087446168546 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47951272 19384713216 17019 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68076 KiB
[startup+0.305535 s]*
/proc/loadavg: 4.21 4.13 4.10 6/339 44474
/proc/meminfo: memFree=124970268/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=18996948 memory=77032 CPUtime=0.49 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 9372 0 0 0 46 3 0 0 20 0 19 0 47951268 19452874752 19258 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4749237 19258 5469 1 0 549762 0
[pid=44455/tid=44457] ppid=44451 vsize=18996948 memory=-6000919502771349611 CPUtime=0.22 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 5391 0 0 0 20 2 0 0 20 0 19 0 47951269 19452874752 19258 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47951271 19452874752 19258 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47951272 19452874752 19258 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44474] ppid=44451 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/44455/task/44474/stat : 44474 (Timer-0) S 44451 44455 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47951293 19452874752 19258 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77032 KiB
[startup+0.700203 s]
/proc/loadavg: 4.21 4.13 4.10 6/339 44474
/proc/meminfo: memFree=124967496/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=18996948 memory=102244 CPUtime=1.26 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 10226 0 0 0 122 4 0 0 20 0 19 0 47951268 19452874752 25561 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4749237 25561 5469 1 0 550310 0
[pid=44455/tid=44457] ppid=44451 vsize=18996948 memory=18176 CPUtime=0.58 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 5409 0 0 0 55 3 0 0 20 0 19 0 47951269 19452874752 25561 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47951271 19452874752 25561 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47951272 19452874752 25561 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44474] ppid=44451 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/44455/task/44474/stat : 44474 (Timer-0) S 44451 44455 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47951293 19452874752 25561 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 102244 KiB
[startup+1.5002 s]
/proc/loadavg: 4.21 4.13 4.10 6/339 44474
/proc/meminfo: memFree=124839764/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=19063512 memory=238484 CPUtime=2.24 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 10723 0 0 0 217 7 0 0 20 0 20 0 47951268 19521036288 59621 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4765878 59621 5533 1 0 550648 0
[pid=44455/tid=44457] ppid=44451 vsize=19063512 memory=10752 CPUtime=1.31 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 5472 0 0 0 127 4 0 0 20 0 20 0 47951269 19521036288 59621 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47951271 19521036288 59621 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 47951272 19521036288 59621 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44474] ppid=44451 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/44455/task/44474/stat : 44474 (Timer-0) S 44451 44455 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47951293 19521036288 59621 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 238484 KiB
[startup+3.10489 s]
/proc/loadavg: 4.21 4.13 4.10 7/340 44475
/proc/meminfo: memFree=124343644/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=19063512 memory=395788 CPUtime=4.18 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 14711 0 0 0 408 10 0 0 20 0 20 0 47951268 19521036288 98947 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4765878 98947 5533 1 0 550917 0
[pid=44455/tid=44457] ppid=44451 vsize=19063512 memory=10752 CPUtime=2.76 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 5853 0 0 0 272 4 0 0 20 0 20 0 47951269 19521036288 98947 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=19063512 memory=-6000919502771349611 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47951271 19521036288 98947 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 47951272 19521036288 98947 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44474] ppid=44451 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/44455/task/44474/stat : 44474 (Timer-0) S 44451 44455 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47951293 19521036288 98947 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 395788 KiB
[startup+6.30019 s]
/proc/loadavg: 4.20 4.13 4.10 6/340 44475
/proc/meminfo: memFree=123639740/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=19063512 memory=910208 CPUtime=7.66 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 16884 0 0 0 745 21 0 0 20 0 20 0 47951268 19521036288 227552 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4765878 227552 5533 1 0 995838 0
[pid=44455/tid=44457] ppid=44451 vsize=19063512 memory=0 CPUtime=5.67 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 6468 0 0 0 559 8 0 0 20 0 20 0 47951269 19521036288 227552 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47951271 19521036288 227552 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 47951272 19521036288 227552 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44474] ppid=44451 vsize=19063512 memory=238740 CPUtime=0 cores=0,2
/proc/44455/task/44474/stat : 44474 (Timer-0) S 44451 44455 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47951293 19521036288 227552 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 7.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 910208 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.12 4.10 6/340 44475
/proc/meminfo: memFree=122474976/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=19063512 memory=1410644 CPUtime=14.43 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 18657 0 0 0 1412 31 0 0 20 0 20 0 47951268 19521036288 352661 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4765878 352661 5533 1 0 1282025 0
[pid=44455/tid=44457] ppid=44451 vsize=19063512 memory=238740 CPUtime=11.62 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 6625 0 0 0 1154 8 0 0 20 0 20 0 47951269 19521036288 352661 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47951271 19521036288 352661 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=19063512 memory=1221588 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 47951272 19521036288 352661 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44474] ppid=44451 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/44455/task/44474/stat : 44474 (Timer-0) S 44451 44455 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47951293 19521036288 352661 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 14.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1410644 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.13 4.10 6/340 44475
/proc/meminfo: memFree=119841248/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=19063512 memory=2521056 CPUtime=27.95 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 24870 0 0 0 2741 54 0 0 20 0 20 0 47951268 19521036288 630264 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4765878 630264 5533 1 0 1395640 0
[pid=44455/tid=44457] ppid=44451 vsize=19063512 memory=10752 CPUtime=23.68 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 7966 0 0 0 2354 14 0 0 20 0 20 0 47951269 19521036288 630264 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=19063512 memory=1221588 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47951271 19521036288 630264 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 47951272 19521036288 630264 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44474] ppid=44451 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/44455/task/44474/stat : 44474 (Timer-0) S 44451 44455 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47951293 19521036288 630264 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 27.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2521056 KiB
[startup+51.1049 s]
/proc/loadavg: 4.26 4.15 4.11 6/340 44476
/proc/meminfo: memFree=117477828/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=19063512 memory=3684908 CPUtime=55.39 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 41273 0 0 0 5460 79 0 0 20 0 20 0 47951268 19521036288 921227 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4765878 921227 5565 1 0 1396169 0
[pid=44455/tid=44457] ppid=44451 vsize=19063512 memory=3678724 CPUtime=48.02 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 9477 0 0 0 4785 17 0 0 20 0 20 0 47951269 19521036288 921227 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
################
# More data... #
################
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47951271 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=19063512 memory=14481732 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 2793 0 0 0 0 0 0 0 20 0 20 0 47951272 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44474] ppid=44451 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/44455/task/44474/stat : 44474 (Timer-0) S 44451 44455 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47951293 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 3174.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14481732 KiB
[startup+3162.3 s]
/proc/loadavg: 4.24 4.23 4.20 5/338 44770
/proc/meminfo: memFree=69965432/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=19063512 memory=14481732 CPUtime=3235.2 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 466502 0 0 0 323081 439 0 0 20 0 20 0 47951268 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4765878 3620433 5565 1 0 4083226 0
[pid=44455/tid=44457] ppid=44451 vsize=19063512 memory=14848 CPUtime=3094.86 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 172309 0 0 0 309385 101 0 0 20 0 20 0 47951269 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47951271 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=19063512 memory=-6000919502771349611 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 2794 0 0 0 0 0 0 0 20 0 20 0 47951272 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44474] ppid=44451 vsize=19063512 memory=14481732 CPUtime=0 cores=0,2
/proc/44455/task/44474/stat : 44474 (Timer-0) S 44451 44455 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47951293 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 3235.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14481732 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.20 4.19 5/338 44772
/proc/meminfo: memFree=69965360/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=19063512 memory=14481732 CPUtime=3295.4 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 472493 0 0 0 329099 441 0 0 20 0 20 0 47951268 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4765878 3620433 5565 1 0 4083226 0
[pid=44455/tid=44457] ppid=44451 vsize=19063512 memory=5276 CPUtime=3154.36 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 175350 0 0 0 315334 102 0 0 20 0 20 0 47951269 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47951271 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=19063512 memory=14481732 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 2837 0 0 0 0 0 0 0 20 0 20 0 47951272 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44474] ppid=44451 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/44455/task/44474/stat : 44474 (Timer-0) S 44451 44455 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47951293 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 3295.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14481732 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/338 44774
/proc/meminfo: memFree=69965888/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=19063512 memory=14481732 CPUtime=3356.36 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 479979 0 0 0 335192 444 0 0 20 0 20 0 47951268 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4765878 3620433 5565 1 0 4083226 0
[pid=44455/tid=44457] ppid=44451 vsize=19063512 memory=14481732 CPUtime=3213.1 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 179870 0 0 0 321208 102 0 0 20 0 20 0 47951269 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=19063512 memory=14481732 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47951271 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 2928 0 0 0 0 0 0 0 20 0 20 0 47951272 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44474] ppid=44451 vsize=19063512 memory=14481732 CPUtime=0 cores=0,2
/proc/44455/task/44474/stat : 44474 (Timer-0) S 44451 44455 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47951293 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 3356.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14481732 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/339 44779
/proc/meminfo: memFree=69961176/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=19063512 memory=14481732 CPUtime=3417.25 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 485612 0 0 0 341279 446 0 0 20 0 20 0 47951268 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4765878 3620433 5565 1 0 4083226 0
[pid=44455/tid=44457] ppid=44451 vsize=19063512 memory=14481732 CPUtime=3271.91 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 182630 0 0 0 327088 103 0 0 20 0 20 0 47951269 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47951271 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=19063512 memory=18176 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 2967 0 0 0 0 0 0 0 20 0 20 0 47951272 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44474] ppid=44451 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/44455/task/44474/stat : 44474 (Timer-0) S 44451 44455 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47951293 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 3417.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14481732 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.18 4.18 5/339 44781
/proc/meminfo: memFree=69961472/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=19063512 memory=14481732 CPUtime=3477.81 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 490512 0 0 0 347333 448 0 0 20 0 20 0 47951268 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4765878 3620433 5565 1 0 4083238 0
[pid=44455/tid=44457] ppid=44451 vsize=19063512 memory=14481732 CPUtime=3331.01 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 186761 0 0 0 332998 103 0 0 20 0 20 0 47951269 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47951271 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=19063512 memory=18176 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 3007 0 0 0 0 0 0 0 20 0 20 0 47951272 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44474] ppid=44451 vsize=19063512 memory=14481732 CPUtime=0 cores=0,2
/proc/44455/task/44474/stat : 44474 (Timer-0) S 44451 44455 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47951293 19521036288 3620433 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 3477.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14481732 KiB
[startup+3462.3 s]
/proc/loadavg: 4.34 4.22 4.19 5/340 44788
/proc/meminfo: memFree=69959344/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=19063512 memory=14484292 CPUtime=3544.1 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 517251 0 0 0 353956 454 0 0 20 0 20 0 47951268 19521036288 3621073 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4765878 3621073 5565 1 0 4083774 0
[pid=44455/tid=44457] ppid=44451 vsize=19063512 memory=14848 CPUtime=3389.97 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 193696 0 0 0 338894 103 0 0 20 0 20 0 47951269 19521036288 3621073 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=19063512 memory=18176 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47951271 19521036288 3621073 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 3020 0 0 0 0 0 0 0 20 0 20 0 47951272 19521036288 3621073 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44474] ppid=44451 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/44455/task/44474/stat : 44474 (Timer-0) S 44451 44455 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47951293 19521036288 3621073 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 3544.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14484292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3517.8 s]
/proc/loadavg: 3.97 4.16 4.17 5/315 44824
/proc/meminfo: memFree=85260392/131249988 swapFree=33010684/33010684
[pid=44455] ppid=44451 vsize=19063512 memory=14484292 CPUtime=3600.02 cores=0,2
/proc/44455/stat : 44455 (java) S 44451 44455 42162 0 -1 4194304 523151 0 0 0 359545 457 0 0 20 0 20 0 47951268 19521036288 3621073 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
/proc/44455/statm: 4765878 3621073 5565 1 0 4083774 0
[pid=44455/tid=44457] ppid=44451 vsize=19063512 memory=21872 CPUtime=3444.76 cores=0,2
/proc/44455/task/44457/stat : 44457 (java) R 44451 44455 42162 0 -1 4194368 196757 0 0 0 344372 104 0 0 20 0 20 0 47951269 19521036288 3621073 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44466] ppid=44451 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/44455/task/44466/stat : 44466 (Finalizer) S 44451 44455 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47951271 19521036288 3621073 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44473] ppid=44451 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/44455/task/44473/stat : 44473 (Common-Cleaner) S 44451 44455 42162 0 -1 4194368 3153 0 0 0 0 0 0 0 20 0 20 0 47951272 19521036288 3621073 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
[pid=44455/tid=44474] ppid=44451 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/44455/task/44474/stat : 44474 (Timer-0) S 44451 44455 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47951293 19521036288 3621073 18446744073709551615 94299958169600 94299958173296 140730670643536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94299958181112 94299958181904 94299978403840 140730670651777 140730670651878 140730670651878 140730670657480 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14484292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3518.02 s]
# the end of solver process 44455 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.79 s, system=4.61971 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3518 s]*
/proc/loadavg: 3.97 4.16 4.17 4/297 44827
/proc/meminfo: memFree=95727160/131249988 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3518.02
CPU time (s): 3600.41
CPU user time (s): 3595.79
CPU system time (s): 4.61971
CPU usage (%): 102.342
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 14485188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.79
system time used= 4.61971
maximum resident set size= 14485444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 527062
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113845
involuntary context switches= 10544
# summary of solver processes directly reported to runsolver:
# pid: 44455
# total CPU time (s): 3600.41
# total CPU user time (s): 3595.79
# total CPU system time (s): 4.61971
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16083 second user time and 17.6105 second system time
The end