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 (59330 MiB free)
memory of node 1: 64465 MiB (60307 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509016-1751513919/watcher-4509016-1751513919 -o /tmp/evaluation-result-4509016-1751513919/solver-4509016-1751513919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751506741-70405 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4509016-1751513919.opb
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=71623, runsolver pid=71620
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.16 4.12 4.10 6/338 71641
/proc/meminfo: memFree=122480120/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=18930384 memory=57612 CPUtime=0.12 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 6579 0 0 0 10 2 0 0 20 0 18 0 67070375 19384713216 14403 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4732596 14403 5320 1 0 547619 0
[pid=71623/tid=71625] ppid=71620 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 5079 0 0 0 6 2 0 0 20 0 18 0 67070376 19384713216 14403 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67070378 19384713216 14403 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=18930384 memory=59585004339238 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67070378 19384713216 14403 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57612 KiB
[startup+0.20596 s]*
/proc/loadavg: 4.16 4.12 4.10 8/339 71642
/proc/meminfo: memFree=122457624/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=18996948 memory=65320 CPUtime=0.32 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 7299 0 0 0 29 3 0 0 20 0 19 0 67070375 19452874752 16330 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4749237 16330 5480 1 0 548392 0
[pid=71623/tid=71625] ppid=71620 vsize=18996948 memory=4026728732 CPUtime=0.17 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 5481 0 0 0 15 2 0 0 20 0 19 0 67070376 19452874752 16330 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=18996948 memory=2641 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67070378 19452874752 16330 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=18996948 memory=58485492679654 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67070378 19452874752 16330 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67070395 19452874752 16330 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65320 KiB
[startup+0.305719 s]*
/proc/loadavg: 4.16 4.12 4.10 8/339 71642
/proc/meminfo: memFree=122436704/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=18996948 memory=75540 CPUtime=0.51 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 7996 0 0 0 47 4 0 0 20 0 19 0 67070375 19452874752 18885 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4749237 18885 5480 1 0 548769 0
[pid=71623/tid=71625] ppid=71620 vsize=18996948 memory=-6000919507116518248 CPUtime=0.25 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 5504 0 0 0 22 3 0 0 20 0 19 0 67070376 19452874752 18885 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67070378 19452874752 18885 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67070378 19452874752 18885 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67070395 19452874752 18885 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75540 KiB
[startup+0.700253 s]
/proc/loadavg: 4.47 4.18 4.12 7/340 71643
/proc/meminfo: memFree=122354408/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=19063512 memory=171708 CPUtime=1.27 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 12857 0 0 0 120 7 0 0 20 0 20 0 67070375 19521036288 42927 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4765878 42927 5512 1 0 552348 0
[pid=71623/tid=71625] ppid=71620 vsize=19063512 memory=18688 CPUtime=0.59 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) S 71620 71623 70394 0 -1 4194368 5547 0 0 0 55 4 0 0 20 0 20 0 67070376 19521036288 42927 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 42927 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 42927 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67070395 19521036288 42927 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171708 KiB
[startup+1.50024 s]
/proc/loadavg: 4.47 4.18 4.12 7/341 71644
/proc/meminfo: memFree=122287308/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=19063512 memory=280940 CPUtime=2.85 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 18201 0 0 0 275 10 0 0 20 0 20 0 67070375 19521036288 70235 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4765878 70235 5512 1 0 556450 0
[pid=71623/tid=71625] ppid=71620 vsize=19063512 memory=0 CPUtime=1.31 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 5586 0 0 0 125 6 0 0 20 0 20 0 67070376 19521036288 70235 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 70235 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 70235 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67070395 19521036288 70235 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 280940 KiB
[startup+3.10561 s]
/proc/loadavg: 4.47 4.18 4.12 6/341 71644
/proc/meminfo: memFree=120803216/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=19063512 memory=729332 CPUtime=5.87 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 19431 0 0 0 567 20 0 0 20 0 20 0 67070375 19521036288 182333 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4765878 182333 5512 1 0 719811 0
[pid=71623/tid=71625] ppid=71620 vsize=19063512 memory=10752 CPUtime=2.81 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 5783 0 0 0 267 14 0 0 20 0 20 0 67070376 19521036288 182333 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=19063512 memory=-6000919507116518248 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 182333 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 182333 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67070395 19521036288 182333 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 5.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 729332 KiB
[startup+6.30025 s]
/proc/loadavg: 4.43 4.18 4.12 5/341 71644
/proc/meminfo: memFree=120467516/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=19063512 memory=1050996 CPUtime=9.14 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 22145 0 0 0 887 27 0 0 20 0 20 0 67070375 19521036288 262749 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4765878 262749 5512 1 0 719813 0
[pid=71623/tid=71625] ppid=71620 vsize=19063512 memory=0 CPUtime=5.92 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 6987 0 0 0 572 20 0 0 20 0 20 0 67070376 19521036288 262749 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 262749 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 262749 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=19063512 memory=280940 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67070395 19521036288 262749 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 9.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1050996 KiB
[startup+12.7002 s]
/proc/loadavg: 4.40 4.18 4.11 6/341 71644
/proc/meminfo: memFree=119803852/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=19063512 memory=1783712 CPUtime=16.81 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 36658 0 0 0 1640 41 0 0 20 0 20 0 67070375 19521036288 445928 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4765878 445928 5512 1 0 722107 0
[pid=71623/tid=71625] ppid=71620 vsize=19063512 memory=280940 CPUtime=12.18 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 8436 0 0 0 1188 30 0 0 20 0 20 0 67070376 19521036288 445928 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=19063512 memory=1503064 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 445928 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 445928 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67070395 19521036288 445928 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 16.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1783712 KiB
[startup+25.5002 s]
/proc/loadavg: 4.48 4.20 4.12 5/341 71711
/proc/meminfo: memFree=119669908/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=19063512 memory=1795540 CPUtime=29.77 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 40373 0 0 0 2934 43 0 0 20 0 20 0 67070375 19521036288 448885 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4765878 448885 5512 1 0 722107 0
[pid=71623/tid=71625] ppid=71620 vsize=19063512 memory=1503064 CPUtime=24.74 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 10267 0 0 0 2443 31 0 0 20 0 20 0 67070376 19521036288 448885 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 448885 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 448885 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67070395 19521036288 448885 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 29.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1795540 KiB
[startup+51.1058 s]
/proc/loadavg: 4.37 4.20 4.12 5/341 71711
/proc/meminfo: memFree=117326884/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=19063512 memory=1842464 CPUtime=56.11 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 56821 0 0 0 5564 47 0 0 20 0 20 0 67070375 19521036288 460616 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4765878 460616 5512 1 0 724102 0
################
# More data... #
################
/proc/meminfo: memFree=107941184/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=19063512 memory=3853140 CPUtime=3201.43 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 148389 0 0 0 319795 348 0 0 20 0 20 0 67070375 19521036288 963285 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4765878 963285 5544 1 0 978165 0
[pid=71623/tid=71625] ppid=71620 vsize=19063512 memory=3853140 CPUtime=3017.39 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 50998 0 0 0 301673 66 0 0 20 0 20 0 67070376 19521036288 963285 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 963285 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 650 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 963285 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67070395 19521036288 963285 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 3201.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3853140 KiB
[startup+3102.3 s]
/proc/loadavg: 4.53 4.48 4.40 5/340 71872
/proc/meminfo: memFree=107124568/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=19063512 memory=4612200 CPUtime=3270.36 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 153294 0 0 0 326663 373 0 0 20 0 20 0 67070375 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4765878 1153050 5544 1 0 1168253 0
[pid=71623/tid=71625] ppid=71620 vsize=19063512 memory=0 CPUtime=3076.77 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 52993 0 0 0 307596 81 0 0 20 0 20 0 67070376 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=19063512 memory=3853140 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=19063512 memory=-6000919507116518248 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 650 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=19063512 memory=4612200 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67070395 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 3270.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4612200 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.38 4.37 4/314 71908
/proc/meminfo: memFree=113849264/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=19063512 memory=4612200 CPUtime=3333.68 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 154166 0 0 0 332989 379 0 0 20 0 20 0 67070375 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4765878 1153050 5544 1 0 1168253 0
[pid=71623/tid=71625] ppid=71620 vsize=19063512 memory=3853140 CPUtime=3136.52 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 53130 0 0 0 313570 82 0 0 20 0 20 0 67070376 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=19063512 memory=4612200 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 670 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=19063512 memory=4612200 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67070395 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4612200 KiB
[startup+3222.3 s]
/proc/loadavg: 3.45 4.14 4.29 4/314 71910
/proc/meminfo: memFree=113769272/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=19063512 memory=4612200 CPUtime=3397.62 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 157319 0 0 0 339376 386 0 0 20 0 20 0 67070375 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4765878 1153050 5544 1 0 1168253 0
[pid=71623/tid=71625] ppid=71620 vsize=19063512 memory=3853140 CPUtime=3196.19 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 54826 0 0 0 319537 82 0 0 20 0 20 0 67070376 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=19063512 memory=3853140 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=19063512 memory=4612200 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 670 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=19063512 memory=4612200 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67070395 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 3397.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4612200 KiB
[startup+3282.3 s]
/proc/loadavg: 3.25 3.96 4.22 4/314 71912
/proc/meminfo: memFree=113723560/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=19063512 memory=4612200 CPUtime=3461.54 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 157933 0 0 0 345761 393 0 0 20 0 20 0 67070375 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4765878 1153050 5544 1 0 1168253 0
[pid=71623/tid=71625] ppid=71620 vsize=19063512 memory=4612200 CPUtime=3255.83 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 55229 0 0 0 325501 82 0 0 20 0 20 0 67070376 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=19063512 memory=4612200 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 674 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=19063512 memory=4612200 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67070395 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 3461.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4612200 KiB
[startup+3342.3 s]
/proc/loadavg: 3.31 3.85 4.16 4/314 71917
/proc/meminfo: memFree=113674360/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=19063512 memory=4612200 CPUtime=3528.38 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 162331 0 0 0 352435 403 0 0 20 0 20 0 67070375 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4765878 1153050 5544 1 0 1168253 0
[pid=71623/tid=71625] ppid=71620 vsize=19063512 memory=4612200 CPUtime=3315.32 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 57102 0 0 0 331449 83 0 0 20 0 20 0 67070376 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=19063512 memory=346938 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=19063512 memory=-6000919507116518248 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 674 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=19063512 memory=4612200 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67070395 19521036288 1153050 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 3528.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4612200 KiB
[startup+3402.3 s]
/proc/loadavg: 3.38 3.77 4.11 5/314 71919
/proc/meminfo: memFree=113629416/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=19063512 memory=4614292 CPUtime=3595.86 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 163087 0 0 0 359172 414 0 0 20 0 20 0 67070375 19521036288 1153573 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4765878 1153573 5544 1 0 1168253 0
[pid=71623/tid=71625] ppid=71620 vsize=19063512 memory=4612200 CPUtime=3374.77 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 57465 0 0 0 337394 83 0 0 20 0 20 0 67070376 19521036288 1153573 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 1153573 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=19063512 memory=4612200 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 689 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 1153573 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=19063512 memory=4612200 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67070395 19521036288 1153573 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 3595.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4614292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3405.4 s]
/proc/loadavg: 3.38 3.77 4.11 5/314 71919
/proc/meminfo: memFree=113629424/131249996 swapFree=33010160/33010684
[pid=71623] ppid=71620 vsize=19063512 memory=4614292 CPUtime=3600.08 cores=4,6
/proc/71623/stat : 71623 (java) S 71620 71623 70394 0 -1 4194304 163220 0 0 0 359593 415 0 0 20 0 20 0 67070375 19521036288 1153573 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
/proc/71623/statm: 4765878 1153573 5544 1 0 1168253 0
[pid=71623/tid=71625] ppid=71620 vsize=19063512 memory=4612200 CPUtime=3377.81 cores=4,6
/proc/71623/task/71625/stat : 71625 (java) R 71620 71623 70394 0 -1 4194368 57467 0 0 0 337698 83 0 0 20 0 20 0 67070376 19521036288 1153573 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71634] ppid=71620 vsize=19063512 memory=-6000919507116518248 CPUtime=0 cores=4,6
/proc/71623/task/71634/stat : 71634 (Finalizer) S 71620 71623 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 1153573 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71641] ppid=71620 vsize=19063512 memory=7220 CPUtime=0 cores=4,6
/proc/71623/task/71641/stat : 71641 (Common-Cleaner) S 71620 71623 70394 0 -1 4194368 689 0 0 0 0 0 0 0 20 0 20 0 67070378 19521036288 1153573 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
[pid=71623/tid=71642] ppid=71620 vsize=19063512 memory=5732 CPUtime=0 cores=4,6
/proc/71623/task/71642/stat : 71642 (Timer-0) S 71620 71623 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67070395 19521036288 1153573 18446744073709551615 94866911453184 94866911456880 140728172351824 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94866911464696 94866911465488 94866926858240 140728172358014 140728172358118 140728172358118 140728172363720 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4614292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3405.49 s]
# the end of solver process 71623 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.08 s, system=4.18119 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3405.49
CPU time (s): 3600.26
CPU user time (s): 3596.08
CPU system time (s): 4.18119
CPU usage (%): 105.719
Max. virtual memory (cumulated for all children) (KiB): 19069252
Max. memory (cumulated for all children) (KiB): 4614292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.08
system time used= 4.18119
maximum resident set size= 4614932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164874
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 177482
involuntary context switches= 19957
# summary of solver processes directly reported to runsolver:
# pid: 71623
# total CPU time (s): 3600.26
# total CPU user time (s): 3596.08
# total CPU system time (s): 4.18119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22489 second user time and 15.9394 second system time
The end