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: 63665 MiB (60388 MiB free)
memory of node 1: 64507 MiB (51490 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524795-1751616948/watcher-4524795-1751616948 -o /tmp/evaluation-result-4524795-1751616948/solver-4524795-1751616948 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751613340-97161 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4524795-1751616948.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=97806, runsolver pid=97803
[startup+0.10008 s]*
/proc/loadavg: 4.21 4.15 4.08 9/341 97824
/proc/meminfo: memFree=114478876/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=18930384 memory=52748 CPUtime=0.1 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 6319 0 0 0 9 1 0 0 20 0 18 0 77372700 19384713216 13187 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4732596 13187 5360 1 0 547421 0
[pid=97806/tid=97808] ppid=97803 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) D 97803 97806 96338 0 -1 4194368 4987 0 0 0 6 1 0 0 20 0 18 0 77372702 19384713216 13187 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77372704 19384713216 13187 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=18930384 memory=59585004324181 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77372704 19384713216 13187 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52748 KiB
[startup+0.207424 s]*
/proc/loadavg: 4.21 4.15 4.08 9/341 97824
/proc/meminfo: memFree=114466968/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=18930384 memory=62124 CPUtime=0.3 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 7064 0 0 0 28 2 0 0 20 0 18 0 77372700 19384713216 15531 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4732596 15531 5424 1 0 547946 0
[pid=97806/tid=97808] ppid=97803 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 5354 0 0 0 15 1 0 0 20 0 18 0 77372702 19384713216 15531 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=18930384 memory=18954 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77372704 19384713216 15531 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77372704 19384713216 15531 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62124 KiB
[startup+0.30583 s]*
/proc/loadavg: 4.21 4.15 4.08 9/342 97825
/proc/meminfo: memFree=114450396/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=18996948 memory=73976 CPUtime=0.48 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 7624 0 0 0 46 2 0 0 20 0 19 0 77372700 19452874752 18494 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4749237 18494 5488 1 0 548488 0
[pid=97806/tid=97808] ppid=97803 vsize=18996948 memory=-6000919494265038182 CPUtime=0.24 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 5485 0 0 0 23 1 0 0 20 0 19 0 77372702 19452874752 18494 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77372704 19452874752 18494 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77372704 19452874752 18494 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97825] ppid=97803 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/97806/task/97825/stat : 97825 (Timer-0) S 97803 97806 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372729 19452874752 18494 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 73976 KiB
[startup+0.700247 s]
/proc/loadavg: 4.21 4.15 4.08 8/342 97825
/proc/meminfo: memFree=114384736/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=18996948 memory=147120 CPUtime=1.24 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 12703 0 0 0 120 4 0 0 20 0 19 0 77372700 19452874752 36780 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4749237 36780 5488 1 0 551128 0
[pid=97806/tid=97808] ppid=97803 vsize=18996948 memory=18944 CPUtime=0.59 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 5547 0 0 0 57 2 0 0 20 0 19 0 77372702 19452874752 36780 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77372704 19452874752 36780 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77372704 19452874752 36780 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97825] ppid=97803 vsize=18996948 memory=4756 CPUtime=0 cores=4,6
/proc/97806/task/97825/stat : 97825 (Timer-0) S 97803 97806 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372729 19452874752 36780 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 147120 KiB
[startup+1.50025 s]
/proc/loadavg: 4.21 4.15 4.08 7/343 97826
/proc/meminfo: memFree=114104900/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=19063512 memory=188120 CPUtime=2.81 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 19679 0 0 0 274 7 0 0 20 0 20 0 77372700 19521036288 47030 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4765878 47030 5520 1 0 552691 0
[pid=97806/tid=97808] ppid=97803 vsize=19063512 memory=10752 CPUtime=1.3 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 6118 0 0 0 127 3 0 0 20 0 20 0 77372702 19521036288 47030 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 47030 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 47030 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97825] ppid=97803 vsize=19063512 memory=4756 CPUtime=0 cores=4,6
/proc/97806/task/97825/stat : 97825 (Timer-0) S 97803 97806 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372729 19521036288 47030 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188120 KiB
[startup+3.10565 s]
/proc/loadavg: 4.28 4.16 4.08 5/343 97826
/proc/meminfo: memFree=113209612/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=19063512 memory=207788 CPUtime=5.52 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 23524 0 0 0 544 8 0 0 20 0 20 0 77372700 19521036288 51947 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4765878 51947 5520 1 0 553848 0
[pid=97806/tid=97808] ppid=97803 vsize=19063512 memory=10752 CPUtime=2.85 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 6548 0 0 0 282 3 0 0 20 0 20 0 77372702 19521036288 51947 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=19063512 memory=-6000919494265038182 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 51947 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 51947 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97825] ppid=97803 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/97806/task/97825/stat : 97825 (Timer-0) S 97803 97806 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372729 19521036288 51947 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 5.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 207788 KiB
[startup+6.30021 s]
/proc/loadavg: 4.28 4.16 4.08 5/343 97826
/proc/meminfo: memFree=112210376/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=19063512 memory=253640 CPUtime=8.96 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 23945 0 0 0 887 9 0 0 20 0 20 0 77372700 19521036288 63410 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4765878 63410 5520 1 0 553854 0
[pid=97806/tid=97808] ppid=97803 vsize=19063512 memory=0 CPUtime=5.98 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 6661 0 0 0 595 3 0 0 20 0 20 0 77372702 19521036288 63410 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 63410 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 63410 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97825] ppid=97803 vsize=19063512 memory=188120 CPUtime=0 cores=4,6
/proc/97806/task/97825/stat : 97825 (Timer-0) S 97803 97806 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372729 19521036288 63410 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 8.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 253640 KiB
[startup+12.7002 s]
/proc/loadavg: 4.25 4.16 4.08 5/343 97827
/proc/meminfo: memFree=110717240/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=19063512 memory=631316 CPUtime=15.82 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 30406 0 0 0 1565 17 0 0 20 0 20 0 77372700 19521036288 157829 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4765878 157829 5520 1 0 835842 0
[pid=97806/tid=97808] ppid=97803 vsize=19063512 memory=188120 CPUtime=12.29 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 7426 0 0 0 1221 8 0 0 20 0 20 0 77372702 19521036288 157829 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 157829 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=19063512 memory=631316 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 157829 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97825] ppid=97803 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/97806/task/97825/stat : 97825 (Timer-0) S 97803 97806 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372729 19521036288 157829 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 15.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 631316 KiB
[startup+25.5002 s]
/proc/loadavg: 4.35 4.18 4.09 5/343 97827
/proc/meminfo: memFree=108722248/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=19063512 memory=2183364 CPUtime=31.27 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 54018 0 0 0 3076 51 0 0 20 0 20 0 77372700 19521036288 545841 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4765878 545841 5520 1 0 844002 0
[pid=97806/tid=97808] ppid=97803 vsize=19063512 memory=10752 CPUtime=24.91 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 10572 0 0 0 2457 34 0 0 20 0 20 0 77372702 19521036288 545841 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=19063512 memory=631316 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 545841 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 545841 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97825] ppid=97803 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/97806/task/97825/stat : 97825 (Timer-0) S 97803 97806 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372729 19521036288 545841 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 31.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183364 KiB
[startup+51.1057 s]
/proc/loadavg: 4.31 4.18 4.10 5/342 97827
/proc/meminfo: memFree=108459984/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=19063512 memory=2197968 CPUtime=57.49 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 57112 0 0 0 5697 52 0 0 20 0 20 0 77372700 19521036288 549492 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4765878 549492 5520 1 0 844019 0
[pid=97806/tid=97808] ppid=97803 vsize=19063512 memory=14844 CPUtime=50.39 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 12806 0 0 0 5005 34 0 0 20 0 20 0 77372702 19521036288 549492 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
################
# More data... #
################
[startup+2802.3 s]
/proc/loadavg: 4.38 4.67 4.78 5/341 97980
/proc/meminfo: memFree=90734700/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=19063512 memory=6855212 CPUtime=3197.25 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 266103 0 0 0 319034 691 0 0 20 0 20 0 77372700 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4765878 1713803 5520 1 0 1727829 0
[pid=97806/tid=97808] ppid=97803 vsize=19063512 memory=6855212 CPUtime=2770.99 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 101451 0 0 0 276984 115 0 0 20 0 20 0 77372702 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=19063512 memory=14844 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=19063512 memory=18944 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 1302 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97825] ppid=97803 vsize=19063512 memory=-6000919494265038182 CPUtime=0 cores=4,6
/proc/97806/task/97825/stat : 97825 (Timer-0) S 97803 97806 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372729 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 3197.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6855212 KiB
[startup+2862.3 s]
/proc/loadavg: 4.32 4.59 4.74 5/342 97983
/proc/meminfo: memFree=90734588/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=19063512 memory=6855212 CPUtime=3268.45 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 269336 0 0 0 326140 705 0 0 20 0 20 0 77372700 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4765878 1713803 5520 1 0 1727829 0
[pid=97806/tid=97808] ppid=97803 vsize=19063512 memory=6855212 CPUtime=2830.41 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 102709 0 0 0 282925 116 0 0 20 0 20 0 77372702 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=19063512 memory=18944 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=19063512 memory=14844 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 1322 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97825] ppid=97803 vsize=19063512 memory=6855212 CPUtime=0 cores=4,6
/proc/97806/task/97825/stat : 97825 (Timer-0) S 97803 97806 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372729 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 3268.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6855212 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.48 4.69 4/317 98024
/proc/meminfo: memFree=96522180/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=19063512 memory=6855212 CPUtime=3339.27 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 275188 0 0 0 333205 722 0 0 20 0 20 0 77372700 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4765878 1713803 5520 1 0 1727829 0
[pid=97806/tid=97808] ppid=97803 vsize=19063512 memory=18944 CPUtime=2889.44 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 104759 0 0 0 288827 117 0 0 20 0 20 0 77372702 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=19063512 memory=14844 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=19063512 memory=6855212 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 1338 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97825] ppid=97803 vsize=19063512 memory=6855212 CPUtime=0 cores=4,6
/proc/97806/task/97825/stat : 97825 (Timer-0) S 97803 97806 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372729 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 3339.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6855212 KiB
[startup+2982.3 s]
/proc/loadavg: 3.60 4.27 4.60 4/316 98026
/proc/meminfo: memFree=96523148/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=19063512 memory=6855212 CPUtime=3416.5 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 279466 0 0 0 340907 743 0 0 20 0 20 0 77372700 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4765878 1713803 5520 1 0 1727829 0
[pid=97806/tid=97808] ppid=97803 vsize=19063512 memory=6855212 CPUtime=2948.93 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 106091 0 0 0 294775 118 0 0 20 0 20 0 77372702 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=19063512 memory=6855212 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=19063512 memory=14844 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 1384 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97825] ppid=97803 vsize=19063512 memory=18944 CPUtime=0 cores=4,6
/proc/97806/task/97825/stat : 97825 (Timer-0) S 97803 97806 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372729 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 3416.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6855212 KiB
[startup+3042.3 s]
/proc/loadavg: 3.46 4.11 4.53 4/317 98029
/proc/meminfo: memFree=96530228/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=19063512 memory=6855212 CPUtime=3493.8 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 284201 0 0 0 348616 764 0 0 20 0 20 0 77372700 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4765878 1713803 5520 1 0 1727829 0
[pid=97806/tid=97808] ppid=97803 vsize=19063512 memory=10752 CPUtime=3008.41 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 108158 0 0 0 300723 118 0 0 20 0 20 0 77372702 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=19063512 memory=6855212 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=19063512 memory=18944 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 1384 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97825] ppid=97803 vsize=19063512 memory=6855212 CPUtime=0 cores=4,6
/proc/97806/task/97825/stat : 97825 (Timer-0) S 97803 97806 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372729 19521036288 1713803 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 3493.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6855212 KiB
[startup+3102.3 s]
/proc/loadavg: 3.35 3.96 4.45 5/317 98031
/proc/meminfo: memFree=96530364/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=19063512 memory=6855340 CPUtime=3569.76 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 288418 0 0 0 356191 785 0 0 20 0 20 0 77372700 19521036288 1713835 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4765878 1713835 5520 1 0 1727829 0
[pid=97806/tid=97808] ppid=97803 vsize=19063512 memory=6855212 CPUtime=3067.97 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 110224 0 0 0 306678 119 0 0 20 0 20 0 77372702 19521036288 1713835 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=19063512 memory=6855212 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 1713835 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=19063512 memory=18944 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 1429 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 1713835 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97825] ppid=97803 vsize=19063512 memory=6855340 CPUtime=0 cores=4,6
/proc/97806/task/97825/stat : 97825 (Timer-0) S 97803 97806 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372729 19521036288 1713835 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 3569.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6855340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3127.4 s]
/proc/loadavg: 3.29 3.90 4.41 4/317 98031
/proc/meminfo: memFree=96530364/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=19063512 memory=6855340 CPUtime=3600.09 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 288634 0 0 0 359215 794 0 0 20 0 20 0 77372700 19521036288 1713835 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4765878 1713835 5520 1 0 1727829 0
[pid=97806/tid=97808] ppid=97803 vsize=19063512 memory=18944 CPUtime=3092.76 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 110268 0 0 0 309157 119 0 0 20 0 20 0 77372702 19521036288 1713835 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 1713835 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 1449 0 0 0 0 0 0 0 20 0 20 0 77372704 19521036288 1713835 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97825] ppid=97803 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/97806/task/97825/stat : 97825 (Timer-0) S 97803 97806 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372729 19521036288 1713835 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6855340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3127.54 s]
# the end of solver process 97806 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3592.39 s, system=7.97197 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3127.5 s]
/proc/loadavg: 3.29 3.90 4.41 4/317 98031
/proc/meminfo: memFree=96530364/131249996 swapFree=33010684/33010684
[pid=97806] ppid=97803 vsize=19263204 memory=6856108 CPUtime=3600.29 cores=4,6
/proc/97806/stat : 97806 (java) S 97803 97806 96338 0 -1 4194304 290445 0 0 0 359235 794 0 0 20 0 21 0 77372700 19725520896 1714027 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
/proc/97806/statm: 4815801 1714027 5552 1 0 1728748 0
[pid=97806/tid=97808] ppid=97803 vsize=19263204 memory=6855212 CPUtime=3092.87 cores=4,6
/proc/97806/task/97808/stat : 97808 (java) R 97803 97806 96338 0 -1 4194368 110268 0 0 0 309168 119 0 0 20 0 21 0 77372702 19725520896 1714027 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97817] ppid=97803 vsize=19263204 memory=6855212 CPUtime=0 cores=4,6
/proc/97806/task/97817/stat : 97817 (Finalizer) S 97803 97806 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77372704 19725520896 1714027 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
[pid=97806/tid=97824] ppid=97803 vsize=19263204 memory=6855340 CPUtime=0 cores=4,6
/proc/97806/task/97824/stat : 97824 (Common-Cleaner) S 97803 97806 96338 0 -1 4194368 1449 0 0 0 0 0 0 0 20 0 21 0 77372704 19725520896 1714027 18446744073709551615 94593305796608 94593305800304 140724439194944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94593305808120 94593305808912 94593307774976 140724439198076 140724439198180 140724439198180 140724439203784 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6856108 KiB
Child status: 143
Real time (s): 3127.54
CPU time (s): 3600.36
CPU user time (s): 3592.39
CPU system time (s): 7.97197
CPU usage (%): 115.118
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6856108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.39
system time used= 7.97197
maximum resident set size= 6856236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290654
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 205370
involuntary context switches= 42458
# summary of solver processes directly reported to runsolver:
# pid: 97806
# total CPU time (s): 3600.36
# total CPU user time (s): 3592.39
# total CPU system time (s): 7.97197
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80899 second user time and 15.2602 second system time
The end