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: 63837 MiB (59743 MiB free)
memory of node 1: 64465 MiB (48982 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525371-1751622844/watcher-4525371-1751622844 -o /tmp/evaluation-result-4525371-1751622844/solver-4525371-1751622844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751616394-96856 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4525371-1751622844.wbo
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=98089, runsolver pid=98086
[startup+0.10007 s]*
/proc/loadavg: 4.22 4.17 4.18 7/325 98107
/proc/meminfo: memFree=111308032/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=18930384 memory=51692 CPUtime=0.1 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 5682 0 0 0 7 3 0 0 20 0 18 0 77963565 19384713216 12923 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4732596 12923 5210 1 0 546900 0
[pid=98089/tid=98091] ppid=98086 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 4594 0 0 0 4 2 0 0 20 0 18 0 77963567 19384713216 12923 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77963572 19384713216 12923 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=18930384 memory=58494082638250 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77963573 19384713216 12923 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51692 KiB
[startup+0.217893 s]*
/proc/loadavg: 4.22 4.17 4.18 5/325 98107
/proc/meminfo: memFree=111304240/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=18930384 memory=57080 CPUtime=0.27 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 6380 0 0 0 23 4 0 0 20 0 18 0 77963565 19384713216 14270 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4732596 14270 5370 1 0 547531 0
[pid=98089/tid=98091] ppid=98086 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 4976 0 0 0 14 2 0 0 20 0 18 0 77963567 19384713216 14270 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=18930384 memory=17127 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77963572 19384713216 14270 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=18930384 memory=57394570986489 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77963573 19384713216 14270 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57080 KiB
[startup+0.313685 s]*
/proc/loadavg: 4.22 4.17 4.18 7/325 98107
/proc/meminfo: memFree=111295872/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=18930384 memory=62008 CPUtime=0.42 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 6612 0 0 0 37 5 0 0 20 0 18 0 77963565 19384713216 15502 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4732596 15502 5370 1 0 547730 0
[pid=98089/tid=98091] ppid=98086 vsize=18930384 memory=-6000919481246442598 CPUtime=0.24 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 5145 0 0 0 21 3 0 0 20 0 18 0 77963567 19384713216 15502 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77963572 19384713216 15502 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77963573 19384713216 15534 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62008 KiB
[startup+0.700621 s]
/proc/loadavg: 4.44 4.22 4.19 7/325 98107
/proc/meminfo: memFree=111295872/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=18996948 memory=74776 CPUtime=1.08 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 7115 0 0 0 102 6 0 0 20 0 19 0 77963565 19452874752 18694 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4749237 18694 5466 1 0 548405 0
[pid=98089/tid=98091] ppid=98086 vsize=18996948 memory=13952 CPUtime=0.56 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 5487 0 0 0 52 4 0 0 20 0 19 0 77963567 19452874752 18694 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=18996948 memory=11008 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77963572 19452874752 18694 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77963573 19452874752 18694 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74776 KiB
[startup+1.5003 s]
/proc/loadavg: 4.44 4.22 4.19 6/326 98108
/proc/meminfo: memFree=111249872/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=19063512 memory=174760 CPUtime=2.66 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 16123 0 0 0 255 11 0 0 20 0 20 0 77963565 19521036288 43690 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4765878 43690 5530 1 0 551987 0
[pid=98089/tid=98091] ppid=98086 vsize=19063512 memory=3328 CPUtime=1.31 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 6294 0 0 0 125 6 0 0 20 0 20 0 77963567 19521036288 43690 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77963572 19521036288 43690 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 77963573 19521036288 43690 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98108] ppid=98086 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/98089/task/98108/stat : 98108 (Timer-0) S 98086 98089 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77963618 19521036288 43690 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174760 KiB
[startup+3.10584 s]
/proc/loadavg: 4.44 4.22 4.19 6/327 98110
/proc/meminfo: memFree=110801900/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=19063512 memory=561468 CPUtime=5.84 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 20319 0 0 0 565 19 0 0 20 0 20 0 77963565 19521036288 140367 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4765878 140367 5530 1 0 669968 0
[pid=98089/tid=98091] ppid=98086 vsize=19063512 memory=14468 CPUtime=2.85 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 7218 0 0 0 273 12 0 0 20 0 20 0 77963567 19521036288 140367 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77963572 19521036288 140367 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 77963573 19521036288 140367 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98108] ppid=98086 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/98089/task/98108/stat : 98108 (Timer-0) S 98086 98089 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77963618 19521036288 140367 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 561468 KiB
[startup+6.30029 s]
/proc/loadavg: 4.57 4.25 4.20 5/327 98110
/proc/meminfo: memFree=110420588/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=19063512 memory=937960 CPUtime=10.86 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 27208 0 0 0 1057 29 0 0 20 0 20 0 77963565 19521036288 234490 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4765878 234490 5530 1 0 675328 0
[pid=98089/tid=98091] ppid=98086 vsize=19063512 memory=0 CPUtime=5.96 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 7453 0 0 0 578 18 0 0 20 0 20 0 77963567 19521036288 234490 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77963572 19521036288 234490 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 77963573 19521036288 234490 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98108] ppid=98086 vsize=19063512 memory=174760 CPUtime=0 cores=0,2
/proc/98089/task/98108/stat : 98108 (Timer-0) S 98086 98089 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77963618 19521036288 234490 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 10.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 937960 KiB
[startup+12.7004 s]
/proc/loadavg: 4.52 4.24 4.20 5/327 98110
/proc/meminfo: memFree=109682300/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=19063512 memory=1673048 CPUtime=18.36 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 28664 0 0 0 1793 43 0 0 20 0 20 0 77963565 19521036288 418262 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4765878 418262 5530 1 0 675775 0
[pid=98089/tid=98091] ppid=98086 vsize=19063512 memory=174760 CPUtime=12.15 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 8356 0 0 0 1185 30 0 0 20 0 20 0 77963567 19521036288 418262 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=19063512 memory=1673048 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77963572 19521036288 418262 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 77963573 19521036288 418262 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98108] ppid=98086 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/98089/task/98108/stat : 98108 (Timer-0) S 98086 98089 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77963618 19521036288 418262 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 18.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1673048 KiB
[startup+25.5005 s]
/proc/loadavg: 4.60 4.27 4.21 5/327 98110
/proc/meminfo: memFree=108953464/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=19063512 memory=2401872 CPUtime=31.47 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 32397 0 0 0 3087 60 0 0 20 0 20 0 77963565 19521036288 600468 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4765878 600468 5530 1 0 855424 0
[pid=98089/tid=98091] ppid=98086 vsize=19063512 memory=0 CPUtime=24.47 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 10272 0 0 0 2402 45 0 0 20 0 20 0 77963567 19521036288 600468 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77963572 19521036288 600468 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=19063512 memory=2401872 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 77963573 19521036288 600468 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98108] ppid=98086 vsize=19063512 memory=2393608 CPUtime=0 cores=0,2
/proc/98089/task/98108/stat : 98108 (Timer-0) S 98086 98089 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77963618 19521036288 600468 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 31.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2401872 KiB
[startup+51.1136 s]
/proc/loadavg: 4.41 4.26 4.21 5/327 98110
/proc/meminfo: memFree=107770036/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=19063512 memory=3588460 CPUtime=57.23 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 37831 0 0 0 5637 86 0 0 20 0 20 0 77963565 19521036288 897115 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4765878 897115 5530 1 0 1133251 0
[pid=98089/tid=98091] ppid=98086 vsize=19063512 memory=3019804 CPUtime=49.37 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 12882 0 0 0 4870 67 0 0 20 0 20 0 77963567 19521036288 897115 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=19063512 memory=12160 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77963572 19521036288 897115 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 77963573 19521036288 897115 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98108] ppid=98086 vsize=19063512 memory=1673048 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.64 4.39 4.27 5/327 98535
/proc/meminfo: memFree=109008052/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=19063512 memory=4485004 CPUtime=3222.22 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 156516 0 0 0 321791 431 0 0 20 0 20 0 77963565 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4765878 1121251 5530 1 0 1133470 0
[pid=98089/tid=98091] ppid=98086 vsize=19063512 memory=4485004 CPUtime=3127.41 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 82376 0 0 0 312662 79 0 0 20 0 20 0 77963567 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77963572 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=19063512 memory=4485004 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 1402 0 0 0 0 0 0 0 20 0 20 0 77963573 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98108] ppid=98086 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/98089/task/98108/stat : 98108 (Timer-0) S 98086 98089 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77963618 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 3222.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4485004 KiB
[startup+3222.3 s]
/proc/loadavg: 4.64 4.42 4.29 6/328 98540
/proc/meminfo: memFree=109007888/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=19063512 memory=4485004 CPUtime=3283.11 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 158638 0 0 0 327874 437 0 0 20 0 20 0 77963565 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4765878 1121251 5530 1 0 1133470 0
[pid=98089/tid=98091] ppid=98086 vsize=19063512 memory=0 CPUtime=3187.17 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 83320 0 0 0 318638 79 0 0 20 0 20 0 77963567 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=19063512 memory=4485004 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77963572 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 1403 0 0 0 0 0 0 0 20 0 20 0 77963573 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98108] ppid=98086 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/98089/task/98108/stat : 98108 (Timer-0) S 98086 98089 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77963618 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 3283.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4485004 KiB
[startup+3282.3 s]
/proc/loadavg: 4.89 4.54 4.34 5/328 98542
/proc/meminfo: memFree=109007912/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=19063512 memory=4485004 CPUtime=3344.67 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 163847 0 0 0 334022 445 0 0 20 0 20 0 77963565 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4765878 1121251 5530 1 0 1133470 0
[pid=98089/tid=98091] ppid=98086 vsize=19063512 memory=13952 CPUtime=3246.9 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 85492 0 0 0 324610 80 0 0 20 0 20 0 77963567 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=19063512 memory=13952 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77963572 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=19063512 memory=4485004 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 1409 0 0 0 0 0 0 0 20 0 20 0 77963573 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98108] ppid=98086 vsize=19063512 memory=4485004 CPUtime=0 cores=0,2
/proc/98089/task/98108/stat : 98108 (Timer-0) S 98086 98089 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77963618 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 3344.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4485004 KiB
[startup+3342.3 s]
/proc/loadavg: 4.76 4.57 4.36 5/328 98544
/proc/meminfo: memFree=109007936/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=19063512 memory=4485004 CPUtime=3412.05 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 164422 0 0 0 340740 465 0 0 20 0 20 0 77963565 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4765878 1121251 5530 1 0 1133470 0
[pid=98089/tid=98091] ppid=98086 vsize=19063512 memory=4485004 CPUtime=3306.29 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 86037 0 0 0 330549 80 0 0 20 0 20 0 77963567 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=19063512 memory=4485004 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77963572 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=19063512 memory=4485004 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 1410 0 0 0 0 0 0 0 20 0 20 0 77963573 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98108] ppid=98086 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/98089/task/98108/stat : 98108 (Timer-0) S 98086 98089 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77963618 19521036288 1121251 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 3412.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4485004 KiB
[startup+3402.3 s]
/proc/loadavg: 4.59 4.55 4.37 5/328 98547
/proc/meminfo: memFree=108979092/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=19063512 memory=4487144 CPUtime=3481.66 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 168483 0 0 0 347679 487 0 0 20 0 20 0 77963565 19521036288 1121786 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4765878 1121786 5530 1 0 1133470 0
[pid=98089/tid=98091] ppid=98086 vsize=19063512 memory=5632 CPUtime=3365.41 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 88037 0 0 0 336460 81 0 0 20 0 20 0 77963567 19521036288 1121786 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77963572 19521036288 1121786 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=19063512 memory=4487144 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 1410 0 0 0 0 0 0 0 20 0 20 0 77963573 19521036288 1121786 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98108] ppid=98086 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/98089/task/98108/stat : 98108 (Timer-0) S 98086 98089 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77963618 19521036288 1121786 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 3481.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4487144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.82 4.62 4.40 5/327 98549
/proc/meminfo: memFree=108954516/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=19063512 memory=4487272 CPUtime=3550.1 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 168566 0 0 0 354502 508 0 0 20 0 20 0 77963565 19521036288 1121818 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4765878 1121818 5530 1 0 1133470 0
[pid=98089/tid=98091] ppid=98086 vsize=19063512 memory=5632 CPUtime=3424.51 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 88056 0 0 0 342370 81 0 0 20 0 20 0 77963567 19521036288 1121818 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77963572 19521036288 1121818 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=19063512 memory=4487272 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 1440 0 0 0 0 0 0 0 20 0 20 0 77963573 19521036288 1121818 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98108] ppid=98086 vsize=19063512 memory=4487272 CPUtime=0 cores=0,2
/proc/98089/task/98108/stat : 98108 (Timer-0) S 98086 98089 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77963618 19521036288 1121818 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 3550.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4487272 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3507 s]*
/proc/loadavg: 4.76 4.64 4.42 7/327 98550
/proc/meminfo: memFree=108954516/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=19063512 memory=4487272 CPUtime=3600.18 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 170397 0 0 0 359496 522 0 0 20 0 20 0 77963565 19521036288 1121818 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4765878 1121818 5530 1 0 1133470 0
[pid=98089/tid=98091] ppid=98086 vsize=19063512 memory=-6000919485625033830 CPUtime=3468.64 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 89515 0 0 0 346782 82 0 0 20 0 20 0 77963567 19521036288 1121818 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77963572 19521036288 1121818 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=19063512 memory=4639480 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 1440 0 0 0 0 0 0 0 20 0 20 0 77963573 19521036288 1121818 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98108] ppid=98086 vsize=19063512 memory=7024 CPUtime=0 cores=0,2
/proc/98089/task/98108/stat : 98108 (Timer-0) S 98086 98089 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77963618 19521036288 1121818 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4487272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3507.19 s]
# the end of solver process 98089 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.24 s, system=5.26419 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3507.13 s]
/proc/loadavg: 4.76 4.64 4.42 7/327 98550
/proc/meminfo: memFree=108954516/131382112 swapFree=33000116/33010684
[pid=98089] ppid=98086 vsize=19263204 memory=4487912 CPUtime=3600.41 cores=0,2
/proc/98089/stat : 98089 (java) S 98086 98089 96846 0 -1 4194304 171724 0 0 0 359518 523 0 0 20 0 21 0 77963565 19725520896 1121978 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
/proc/98089/statm: 4815801 1121978 5530 1 0 1134389 0
[pid=98089/tid=98091] ppid=98086 vsize=19263204 memory=4487272 CPUtime=3468.74 cores=0,2
/proc/98089/task/98091/stat : 98091 (java) R 98086 98089 96846 0 -1 4194368 89515 0 0 0 346792 82 0 0 20 0 21 0 77963567 19725520896 1121978 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98100] ppid=98086 vsize=19263204 memory=-6000919481246442598 CPUtime=0 cores=0,2
/proc/98089/task/98100/stat : 98100 (Finalizer) S 98086 98089 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77963572 19725520896 1121978 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
[pid=98089/tid=98107] ppid=98086 vsize=19263204 memory=4487272 CPUtime=0 cores=0,2
/proc/98089/task/98107/stat : 98107 (Common-Cleaner) S 98086 98089 96846 0 -1 4194368 1440 0 0 0 0 0 0 0 20 0 21 0 77963573 19725520896 1121978 18446744073709551615 94092457848832 94092457852528 140721810867360 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94092457860344 94092457861136 94092469837824 140721810868604 140721810868708 140721810868708 140721810874312 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4487912 KiB
Child status: 143
Real time (s): 3507.19
CPU time (s): 3600.51
CPU user time (s): 3595.24
CPU system time (s): 5.26419
CPU usage (%): 102.661
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4487912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.24
system time used= 5.26419
maximum resident set size= 4487912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171964
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 177199
involuntary context switches= 18504
# summary of solver processes directly reported to runsolver:
# pid: 98089
# total CPU time (s): 3600.51
# total CPU user time (s): 3595.24
# total CPU system time (s): 5.26419
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5837 second user time and 35.7071 second system time
The end