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 (62291 MiB free)
memory of node 1: 64465 MiB (63909 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512438-1751535003/watcher-4512438-1751535003 -o /tmp/evaluation-result-4512438-1751535003/solver-4512438-1751535003 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751535003-85976 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4512438-1751535003.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=86028, runsolver pid=86015
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.77 1.34 2.44 10/332 86101
/proc/meminfo: memFree=129164440/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=18930384 memory=55084 CPUtime=0.11 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 6398 0 0 0 9 2 0 0 20 0 18 0 69179085 19384713216 13771 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4732596 13771 5362 1 0 547535 0
[pid=86028/tid=86046] ppid=86015 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 4995 0 0 0 5 1 0 0 20 0 18 0 69179087 19384713216 13771 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=18930384 memory=17913 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69179090 19384713216 13771 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=18930384 memory=56286469424100 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69179090 19384713216 13771 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55084 KiB
[startup+0.205787 s]*
/proc/loadavg: 0.77 1.34 2.44 13/332 86101
/proc/meminfo: memFree=129140460/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=18930384 memory=63600 CPUtime=0.29 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 6935 0 0 0 27 2 0 0 20 0 18 0 69179085 19384713216 15900 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4732596 15900 5426 1 0 547997 0
[pid=86028/tid=86046] ppid=86015 vsize=18930384 memory=4026794268 CPUtime=0.15 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 5381 0 0 0 14 1 0 0 20 0 18 0 69179087 19384713216 15900 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=18930384 memory=17913 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69179090 19384713216 15900 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=18930384 memory=56286469424100 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69179090 19384713216 15900 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63600 KiB
[startup+0.305718 s]*
/proc/loadavg: 0.77 1.34 2.44 10/332 86101
/proc/meminfo: memFree=129024452/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=18930384 memory=92684 CPUtime=0.49 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 8500 0 0 0 45 4 0 0 20 0 18 0 69179085 19384713216 23171 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4732596 23171 5458 1 0 549092 0
[pid=86028/tid=86046] ppid=86015 vsize=18930384 memory=-6000919481363883623 CPUtime=0.24 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 5486 0 0 0 22 2 0 0 20 0 18 0 69179087 19384713216 23171 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69179090 19384713216 23171 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69179090 19384713216 23171 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 92684 KiB
[startup+0.70024 s]
/proc/loadavg: 0.77 1.34 2.44 10/336 86105
/proc/meminfo: memFree=128888156/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=19063512 memory=162292 CPUtime=1.24 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 8943 0 0 0 119 5 0 0 20 0 20 0 69179085 19521036288 40573 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4765878 40573 5522 1 0 549900 0
[pid=86028/tid=86046] ppid=86015 vsize=19063512 memory=18048 CPUtime=0.53 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 5557 0 0 0 50 3 0 0 20 0 20 0 69179087 19521036288 40573 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 40573 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 40573 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86102] ppid=86015 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/86028/task/86102/stat : 86102 (Timer-0) S 86015 86028 85963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69179117 19521036288 40573 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 162292 KiB
[startup+1.50026 s]
/proc/loadavg: 0.77 1.34 2.44 9/340 86109
/proc/meminfo: memFree=128709512/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=19063512 memory=199556 CPUtime=2.82 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 11650 0 0 0 275 7 0 0 20 0 20 0 69179085 19521036288 49889 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4765878 49889 5522 1 0 551934 0
[pid=86028/tid=86046] ppid=86015 vsize=19063512 memory=10752 CPUtime=1.26 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 5570 0 0 0 122 4 0 0 20 0 20 0 69179087 19521036288 49889 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 49889 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 49889 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86102] ppid=86015 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/86028/task/86102/stat : 86102 (Timer-0) S 86015 86028 85963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69179117 19521036288 49889 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 199556 KiB
[startup+3.10602 s]
/proc/loadavg: 1.19 1.41 2.46 9/340 86109
/proc/meminfo: memFree=127420904/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=19063512 memory=537076 CPUtime=5.05 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 12252 0 0 0 491 14 0 0 20 0 20 0 69179085 19521036288 134269 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4765878 134269 5522 1 0 700233 0
[pid=86028/tid=86046] ppid=86015 vsize=19063512 memory=10752 CPUtime=2.8 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 5710 0 0 0 270 10 0 0 20 0 20 0 69179087 19521036288 134269 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=19063512 memory=-6000919485658850919 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 134269 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 134269 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86102] ppid=86015 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/86028/task/86102/stat : 86102 (Timer-0) S 86015 86028 85963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69179117 19521036288 134269 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 5.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 537076 KiB
[startup+6.30021 s]
/proc/loadavg: 1.19 1.41 2.46 5/340 86109
/proc/meminfo: memFree=125814692/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=19063512 memory=880520 CPUtime=8.33 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 13819 0 0 0 812 21 0 0 20 0 20 0 69179085 19521036288 220130 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4765878 220130 5522 1 0 700236 0
[pid=86028/tid=86046] ppid=86015 vsize=19063512 memory=0 CPUtime=5.93 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 6928 0 0 0 577 16 0 0 20 0 20 0 69179087 19521036288 220130 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 220130 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 220130 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86102] ppid=86015 vsize=19063512 memory=224164 CPUtime=0 cores=5,7
/proc/86028/task/86102/stat : 86102 (Timer-0) S 86015 86028 85963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69179117 19521036288 220130 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 8.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 880520 KiB
[startup+12.7002 s]
/proc/loadavg: 1.41 1.46 2.47 5/341 86110
/proc/meminfo: memFree=123472236/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=19063512 memory=1390496 CPUtime=14.88 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 16756 0 0 0 1456 32 0 0 20 0 20 0 69179085 19521036288 347624 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4765878 347624 5522 1 0 700239 0
[pid=86028/tid=86046] ppid=86015 vsize=19063512 memory=224164 CPUtime=12.19 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 7429 0 0 0 1195 24 0 0 20 0 20 0 69179087 19521036288 347624 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=19063512 memory=1390496 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 347624 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 347624 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86102] ppid=86015 vsize=19063512 memory=279706255993216 CPUtime=0 cores=5,7
/proc/86028/task/86102/stat : 86102 (Timer-0) S 86015 86028 85963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69179117 19521036288 347624 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 14.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1390496 KiB
[startup+25.5002 s]
/proc/loadavg: 2.07 1.60 2.50 5/341 86110
/proc/meminfo: memFree=120591780/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=19063512 memory=1750976 CPUtime=27.86 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 19669 0 0 0 2747 39 0 0 20 0 20 0 69179085 19521036288 437744 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4765878 437744 5522 1 0 700241 0
[pid=86028/tid=86046] ppid=86015 vsize=19063512 memory=-6000919485658850919 CPUtime=24.72 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 8891 0 0 0 2443 29 0 0 20 0 20 0 69179087 19521036288 437744 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=19063512 memory=14692 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 437744 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 437744 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86102] ppid=86015 vsize=19063512 memory=150631005 CPUtime=0 cores=5,7
/proc/86028/task/86102/stat : 86102 (Timer-0) S 86015 86028 85963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69179117 19521036288 437744 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 27.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1750976 KiB
[startup+51.1059 s]
/proc/loadavg: 2.88 1.83 2.56 5/341 86111
/proc/meminfo: memFree=120340196/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=19063512 memory=1822072 CPUtime=54.29 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 32201 0 0 0 5386 43 0 0 20 0 20 0 69179085 19521036288 455518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4765878 455518 5522 1 0 703910 0
[pid=86028/tid=86046] ppid=86015 vsize=19063512 memory=902956 CPUtime=49.7 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 11635 0 0 0 4940 30 0 0 20 0 20 0 69179087 19521036288 455518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=19063512 memory=1792016 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 455518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=19063512 memory=1777628 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 693967 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=19063512 memory=14692 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 693967 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86102] ppid=86015 vsize=19063512 memory=2775868 CPUtime=0 cores=5,7
/proc/86028/task/86102/stat : 86102 (Timer-0) S 86015 86028 85963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69179117 19521036288 693967 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 3098.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2775868 KiB
[startup+2922.3 s]
/proc/loadavg: 5.01 5.02 4.76 5/340 86266
/proc/meminfo: memFree=104794348/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=19063512 memory=2775996 CPUtime=3175.95 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 135373 0 0 0 317262 333 0 0 20 0 20 0 69179085 19521036288 693999 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4765878 693999 5522 1 0 709157 0
[pid=86028/tid=86046] ppid=86015 vsize=19063512 memory=2775868 CPUtime=2886.59 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 58969 0 0 0 288619 40 0 0 20 0 20 0 69179087 19521036288 693999 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=19063512 memory=18048 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 693999 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=19063512 memory=2775996 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 693999 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86102] ppid=86015 vsize=19063512 memory=2775996 CPUtime=0 cores=5,7
/proc/86028/task/86102/stat : 86102 (Timer-0) S 86015 86028 85963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69179117 19521036288 693999 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 3175.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2775996 KiB
[startup+2982.3 s]
/proc/loadavg: 4.85 4.97 4.76 6/341 86269
/proc/meminfo: memFree=104690432/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=19063512 memory=2778072 CPUtime=3254.23 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 138385 0 0 0 325076 347 0 0 20 0 20 0 69179085 19521036288 694518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4765878 694518 5522 1 0 709157 0
[pid=86028/tid=86046] ppid=86015 vsize=19063512 memory=2778072 CPUtime=2945.83 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 60738 0 0 0 294543 40 0 0 20 0 20 0 69179087 19521036288 694518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=19063512 memory=2778072 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 694518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=19063512 memory=14692 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 1200 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 694518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86102] ppid=86015 vsize=19063512 memory=2778072 CPUtime=0 cores=5,7
/proc/86028/task/86102/stat : 86102 (Timer-0) S 86015 86028 85963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69179117 19521036288 694518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 3254.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2778072 KiB
[startup+3042.3 s]
/proc/loadavg: 4.81 4.92 4.75 5/339 86270
/proc/meminfo: memFree=104542052/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=19063512 memory=2778072 CPUtime=3330.98 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 138556 0 0 0 332738 360 0 0 20 0 20 0 69179085 19521036288 694518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4765878 694518 5522 1 0 709157 0
[pid=86028/tid=86046] ppid=86015 vsize=19063512 memory=2778072 CPUtime=3004.98 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 60801 0 0 0 300458 40 0 0 20 0 20 0 69179087 19521036288 694518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=19063512 memory=-6000919485658850919 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 694518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 1227 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 694518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86102] ppid=86015 vsize=19063512 memory=-6000919485658850919 CPUtime=0 cores=5,7
/proc/86028/task/86102/stat : 86102 (Timer-0) S 86015 86028 85963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69179117 19521036288 694518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 3330.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2778072 KiB
[startup+3102.3 s]
/proc/loadavg: 4.65 4.87 4.75 6/340 86273
/proc/meminfo: memFree=104425064/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=19063512 memory=2778072 CPUtime=3409.5 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 139307 0 0 0 340575 375 0 0 20 0 20 0 69179085 19521036288 694518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4765878 694518 5522 1 0 709157 0
[pid=86028/tid=86046] ppid=86015 vsize=19063512 memory=2778072 CPUtime=3064.17 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 61458 0 0 0 306377 40 0 0 20 0 20 0 69179087 19521036288 694518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 694518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=19063512 memory=14692 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 1227 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 694518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86102] ppid=86015 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/86028/task/86102/stat : 86102 (Timer-0) S 86015 86028 85963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69179117 19521036288 694518 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 3409.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2778072 KiB
[startup+3162.3 s]
/proc/loadavg: 5.03 4.92 4.77 7/340 86341
/proc/meminfo: memFree=108768960/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=19063512 memory=2778200 CPUtime=3487.87 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 143120 0 0 0 348395 392 0 0 20 0 20 0 69179085 19521036288 694550 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4765878 694550 5522 1 0 709180 0
[pid=86028/tid=86046] ppid=86015 vsize=19063512 memory=2778072 CPUtime=3123.24 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 63425 0 0 0 312283 41 0 0 20 0 20 0 69179087 19521036288 694550 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=19063512 memory=14692 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 694550 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=19063512 memory=2778200 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 1227 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 694550 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86102] ppid=86015 vsize=19063512 memory=2778200 CPUtime=0 cores=5,7
/proc/86028/task/86102/stat : 86102 (Timer-0) S 86015 86028 85963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69179117 19521036288 694550 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 3487.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2778200 KiB
[startup+3222.3 s]
/proc/loadavg: 4.96 4.92 4.78 5/340 86343
/proc/meminfo: memFree=108136048/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=19063512 memory=3320352 CPUtime=3565.54 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 146595 0 0 0 356136 418 0 0 20 0 20 0 69179085 19521036288 830088 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4765878 830088 5522 1 0 844957 0
[pid=86028/tid=86046] ppid=86015 vsize=19063512 memory=2778072 CPUtime=3182.43 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 65247 0 0 0 318191 52 0 0 20 0 20 0 69179087 19521036288 830088 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=19063512 memory=14692 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 830088 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=19063512 memory=2778200 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 1273 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 830088 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86102] ppid=86015 vsize=19063512 memory=2778200 CPUtime=0 cores=5,7
/proc/86028/task/86102/stat : 86102 (Timer-0) S 86015 86028 85963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69179117 19521036288 830088 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 3565.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3320352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3251 s]*
/proc/loadavg: 4.74 4.86 4.76 6/342 86349
/proc/meminfo: memFree=108055372/131249992 swapFree=33010160/33010684
[pid=86028] ppid=86015 vsize=19063512 memory=3320352 CPUtime=3600.09 cores=5,7
/proc/86028/stat : 86028 (java) S 86015 86028 85963 0 -1 4194304 146778 0 0 0 359587 422 0 0 20 0 20 0 69179085 19521036288 830088 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
/proc/86028/statm: 4765878 830088 5522 1 0 844957 0
[pid=86028/tid=86046] ppid=86015 vsize=19063512 memory=-6000919472773752423 CPUtime=3210.88 cores=5,7
/proc/86028/task/86046/stat : 86046 (java) R 86015 86028 85963 0 -1 4194368 65342 0 0 0 321036 52 0 0 20 0 20 0 69179087 19521036288 830088 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86084] ppid=86015 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/86028/task/86084/stat : 86084 (Finalizer) S 86015 86028 85963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 830088 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86099] ppid=86015 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86028/task/86099/stat : 86099 (Common-Cleaner) S 86015 86028 85963 0 -1 4194368 1299 0 0 0 0 0 0 0 20 0 20 0 69179090 19521036288 830088 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
[pid=86028/tid=86102] ppid=86015 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86028/task/86102/stat : 86102 (Timer-0) S 86015 86028 85963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69179117 19521036288 830088 18446744073709551615 94475636875264 94475636878960 140723091546704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94475636886776 94475636887568 94475658477568 140723091552638 140723091552742 140723091552742 140723091558344 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3320352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3251.12 s]
# the end of solver process 86028 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.06 s, system=4.24525 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3251.12 s]*
/proc/loadavg: 4.74 4.86 4.76 6/324 86352
/proc/meminfo: memFree=111192404/131249992 swapFree=33010160/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): 3251.12
CPU time (s): 3600.31
CPU user time (s): 3596.06
CPU system time (s): 4.24525
CPU usage (%): 110.74
Max. virtual memory (cumulated for all children) (KiB): 19069012
Max. memory (cumulated for all children) (KiB): 3320352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.06
system time used= 4.24526
maximum resident set size= 3321376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148404
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144516
involuntary context switches= 30205
# summary of solver processes directly reported to runsolver:
# pid: 86028
# total CPU time (s): 3600.31
# total CPU user time (s): 3596.06
# total CPU system time (s): 4.24525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46749 second user time and 16.0399 second system time
The end