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 (62838 MiB free)
memory of node 1: 64507 MiB (60404 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512306-1751533144/watcher-4512306-1751533144 -o /tmp/evaluation-result-4512306-1751533144/solver-4512306-1751533144 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751533144-79162 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4512306-1751533144.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=79210, runsolver pid=79197
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 0.80 1.29 1.89 7/323 79277
/proc/meminfo: memFree=126112628/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=18930384 memory=55428 CPUtime=0.11 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 6490 0 0 0 9 2 0 0 20 0 18 0 68992144 19384713216 13857 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4732596 13857 5349 1 0 547569 0
[pid=79210/tid=79225] ppid=79197 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) S 79197 79210 79150 0 -1 4194368 5000 0 0 0 6 1 0 0 20 0 18 0 68992146 19384713216 13857 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=18930384 memory=16198 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68992148 19384713216 13857 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 68992149 19384713216 13857 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55428 KiB
[startup+0.205701 s]*
/proc/loadavg: 0.80 1.29 1.89 12/333 79287
/proc/meminfo: memFree=126072104/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=18930384 memory=64380 CPUtime=0.3 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 7114 0 0 0 27 3 0 0 20 0 18 0 68992144 19384713216 16095 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4732596 16095 5445 1 0 547975 0
[pid=79210/tid=79225] ppid=79197 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 5381 0 0 0 15 2 0 0 20 0 18 0 68992146 19384713216 16095 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=18930384 memory=16198 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68992148 19384713216 16095 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 68992149 19384713216 16095 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64380 KiB
[startup+0.305312 s]*
/proc/loadavg: 0.80 1.29 1.89 12/335 79289
/proc/meminfo: memFree=126006760/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=18996948 memory=70864 CPUtime=0.48 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 7900 0 0 0 45 3 0 0 20 0 19 0 68992144 19452874752 17716 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4749237 17716 5477 1 0 548658 0
[pid=79210/tid=79225] ppid=79197 vsize=18996948 memory=-6000919481279865704 CPUtime=0.25 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 5509 0 0 0 23 2 0 0 20 0 19 0 68992146 19452874752 17716 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68992148 19452874752 17716 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 68992149 19452874752 17716 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79288] ppid=79197 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/79210/task/79288/stat : 79288 (Timer-0) S 79197 79210 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68992168 19452874752 17716 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70864 KiB
[startup+0.700228 s]
/proc/loadavg: 0.80 1.29 1.89 10/337 79291
/proc/meminfo: memFree=125774816/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=19063512 memory=170220 CPUtime=1.24 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 12945 0 0 0 119 5 0 0 20 0 20 0 68992144 19521036288 42555 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4765878 42555 5509 1 0 552011 0
[pid=79210/tid=79225] ppid=79197 vsize=19063512 memory=18688 CPUtime=0.6 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 5550 0 0 0 57 3 0 0 20 0 20 0 68992146 19521036288 42555 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 42555 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68992149 19521036288 42555 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79288] ppid=79197 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/79210/task/79288/stat : 79288 (Timer-0) S 79197 79210 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992168 19521036288 42555 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170220 KiB
[startup+1.50022 s]
/proc/loadavg: 0.80 1.29 1.89 11/340 79294
/proc/meminfo: memFree=125608336/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=19063512 memory=182116 CPUtime=2.83 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 17134 0 0 0 276 7 0 0 20 0 20 0 68992144 19521036288 45529 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4765878 45529 5509 1 0 552286 0
[pid=79210/tid=79225] ppid=79197 vsize=19063512 memory=10752 CPUtime=1.34 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 6086 0 0 0 131 3 0 0 20 0 20 0 68992146 19521036288 45529 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 45529 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68992149 19521036288 45529 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79288] ppid=79197 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/79210/task/79288/stat : 79288 (Timer-0) S 79197 79210 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992168 19521036288 45529 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182116 KiB
[startup+3.10554 s]
/proc/loadavg: 1.54 1.44 1.93 8/341 79295
/proc/meminfo: memFree=124686736/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=19063512 memory=514192 CPUtime=4.83 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 19371 0 0 0 472 11 0 0 20 0 20 0 68992144 19521036288 128548 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4765878 128548 5509 1 0 759075 0
[pid=79210/tid=79225] ppid=79197 vsize=19063512 memory=10752 CPUtime=2.89 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 6650 0 0 0 282 7 0 0 20 0 20 0 68992146 19521036288 128548 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=19063512 memory=-6000919476934632296 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 128548 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68992149 19521036288 128548 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79288] ppid=79197 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/79210/task/79288/stat : 79288 (Timer-0) S 79197 79210 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992168 19521036288 128548 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 4.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 514192 KiB
[startup+6.30023 s]
/proc/loadavg: 1.54 1.44 1.93 6/341 79295
/proc/meminfo: memFree=123031780/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=19063512 memory=1075840 CPUtime=9.13 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 36338 0 0 0 891 22 0 0 20 0 20 0 68992144 19521036288 268960 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4765878 268960 5509 1 0 900898 0
[pid=79210/tid=79225] ppid=79197 vsize=19063512 memory=0 CPUtime=5.98 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 7509 0 0 0 583 15 0 0 20 0 20 0 68992146 19521036288 268960 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 268960 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68992149 19521036288 268960 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79288] ppid=79197 vsize=19063512 memory=182116 CPUtime=0 cores=1,3
/proc/79210/task/79288/stat : 79288 (Timer-0) S 79197 79210 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992168 19521036288 268960 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 9.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1075840 KiB
[startup+12.7003 s]
/proc/loadavg: 2.23 1.59 1.98 5/341 79295
/proc/meminfo: memFree=121592872/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=19063512 memory=1557676 CPUtime=15.97 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 37124 0 0 0 1565 32 0 0 20 0 20 0 68992144 19521036288 389419 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4765878 389419 5509 1 0 900903 0
[pid=79210/tid=79225] ppid=79197 vsize=19063512 memory=182116 CPUtime=12.29 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 8106 0 0 0 1207 22 0 0 20 0 20 0 68992146 19521036288 389419 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 389419 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68992149 19521036288 389419 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79288] ppid=79197 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/79210/task/79288/stat : 79288 (Timer-0) S 79197 79210 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992168 19521036288 389419 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 15.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1557676 KiB
[startup+25.5002 s]
/proc/loadavg: 2.50 1.67 2.00 5/341 79295
/proc/meminfo: memFree=119565776/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=19063512 memory=2276956 CPUtime=29.59 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 47725 0 0 0 2912 47 0 0 20 0 20 0 68992144 19521036288 569239 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4765878 569239 5509 1 0 900908 0
[pid=79210/tid=79225] ppid=79197 vsize=19063512 memory=5760 CPUtime=24.84 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 10659 0 0 0 2452 32 0 0 20 0 20 0 68992146 19521036288 569239 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=19063512 memory=2242088 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 569239 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68992149 19521036288 569239 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79288] ppid=79197 vsize=19063512 memory=-6000919476934632296 CPUtime=0 cores=1,3
/proc/79210/task/79288/stat : 79288 (Timer-0) S 79197 79210 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992168 19521036288 569239 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 29.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2276956 KiB
[startup+51.1058 s]
/proc/loadavg: 3.16 1.89 2.06 5/341 79295
/proc/meminfo: memFree=117271904/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=19063512 memory=2410148 CPUtime=55.75 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 52373 0 0 0 5524 51 0 0 20 0 20 0 68992144 19521036288 602537 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4765878 602537 5509 1 0 900908 0
[pid=79210/tid=79225] ppid=79197 vsize=19063512 memory=-6000919476934632296 CPUtime=49.77 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 12989 0 0 0 4945 32 0 0 20 0 20 0 68992146 19521036288 602537 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=19063512 memory=2387600 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=113958424/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=19063512 memory=3491212 CPUtime=3227.88 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 119627 0 0 0 322624 164 0 0 20 0 20 0 68992144 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4765878 872803 5509 1 0 900940 0
[pid=79210/tid=79225] ppid=79197 vsize=19063512 memory=3491212 CPUtime=3205.14 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 50216 0 0 0 320476 38 0 0 20 0 20 0 68992146 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=19063512 memory=3491212 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=19063512 memory=3491212 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 1890 0 0 0 0 0 0 0 20 0 20 0 68992149 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79288] ppid=79197 vsize=19063512 memory=3491212 CPUtime=0 cores=1,3
/proc/79210/task/79288/stat : 79288 (Timer-0) S 79197 79210 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992168 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 3227.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3491212 KiB
[startup+3282.3 s]
/proc/loadavg: 4.55 4.62 4.60 6/338 79611
/proc/meminfo: memFree=113761472/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=19063512 memory=3491212 CPUtime=3287.88 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 119838 0 0 0 328621 167 0 0 20 0 20 0 68992144 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4765878 872803 5509 1 0 900940 0
[pid=79210/tid=79225] ppid=79197 vsize=19063512 memory=14824 CPUtime=3264.75 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 50278 0 0 0 326437 38 0 0 20 0 20 0 68992146 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=19063512 memory=3491212 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=19063512 memory=3491212 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 1966 0 0 0 0 0 0 0 20 0 20 0 68992149 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79288] ppid=79197 vsize=19063512 memory=3491212 CPUtime=0 cores=1,3
/proc/79210/task/79288/stat : 79288 (Timer-0) S 79197 79210 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992168 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 3287.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3491212 KiB
[startup+3342.3 s]
/proc/loadavg: 4.60 4.62 4.60 5/340 79684
/proc/meminfo: memFree=115818552/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=19063512 memory=3491212 CPUtime=3347.78 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 120341 0 0 0 334609 169 0 0 20 0 20 0 68992144 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4765878 872803 5509 1 0 900940 0
[pid=79210/tid=79225] ppid=79197 vsize=19063512 memory=1920 CPUtime=3324.58 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 50552 0 0 0 332420 38 0 0 20 0 20 0 68992146 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=19063512 memory=3491212 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=19063512 memory=3491212 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 1966 0 0 0 0 0 0 0 20 0 20 0 68992149 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79288] ppid=79197 vsize=19063512 memory=3491212 CPUtime=0 cores=1,3
/proc/79210/task/79288/stat : 79288 (Timer-0) S 79197 79210 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992168 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 3347.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3491212 KiB
[startup+3402.3 s]
/proc/loadavg: 4.50 4.59 4.59 5/342 79692
/proc/meminfo: memFree=114082304/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=19063512 memory=3491212 CPUtime=3407.75 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 122878 0 0 0 340604 171 0 0 20 0 20 0 68992144 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4765878 872803 5509 1 0 900940 0
[pid=79210/tid=79225] ppid=79197 vsize=19063512 memory=3491212 CPUtime=3384.27 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 51971 0 0 0 338389 38 0 0 20 0 20 0 68992146 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=19063512 memory=3491212 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 1967 0 0 0 0 0 0 0 20 0 20 0 68992149 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79288] ppid=79197 vsize=19063512 memory=3491212 CPUtime=0 cores=1,3
/proc/79210/task/79288/stat : 79288 (Timer-0) S 79197 79210 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992168 19521036288 872803 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 3407.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3491212 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.50 4.56 5/342 79694
/proc/meminfo: memFree=113739008/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=19063512 memory=3545108 CPUtime=3468.37 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 134666 0 0 0 346661 176 0 0 20 0 20 0 68992144 19521036288 886277 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4765878 886277 5509 1 0 901119 0
[pid=79210/tid=79225] ppid=79197 vsize=19063512 memory=3491212 CPUtime=3443.99 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 53451 0 0 0 344360 39 0 0 20 0 20 0 68992146 19521036288 886277 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 886277 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=19063512 memory=3545108 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 2049 0 0 0 0 0 0 0 20 0 20 0 68992149 19521036288 886277 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79288] ppid=79197 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/79210/task/79288/stat : 79288 (Timer-0) S 79197 79210 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992168 19521036288 886277 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 3468.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3545108 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.42 4.53 5/342 79696
/proc/meminfo: memFree=113529136/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=19063512 memory=3545236 CPUtime=3528.44 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 134969 0 0 0 352667 177 0 0 20 0 20 0 68992144 19521036288 886309 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4765878 886309 5509 1 0 901119 0
[pid=79210/tid=79225] ppid=79197 vsize=19063512 memory=3545108 CPUtime=3503.65 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 53516 0 0 0 350326 39 0 0 20 0 20 0 68992146 19521036288 886309 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 886309 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=19063512 memory=3545236 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 2118 0 0 0 0 0 0 0 20 0 20 0 68992149 19521036288 886309 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79288] ppid=79197 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/79210/task/79288/stat : 79288 (Timer-0) S 79197 79210 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992168 19521036288 886309 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 3528.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3545236 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.39 4.51 5/342 79698
/proc/meminfo: memFree=113388308/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=19063512 memory=3545236 CPUtime=3588.36 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 135920 0 0 0 358657 179 0 0 20 0 20 0 68992144 19521036288 886309 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4765878 886309 5509 1 0 901119 0
[pid=79210/tid=79225] ppid=79197 vsize=19063512 memory=10752 CPUtime=3563.46 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 53958 0 0 0 356307 39 0 0 20 0 20 0 68992146 19521036288 886309 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=19063512 memory=3545236 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 886309 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 2118 0 0 0 0 0 0 0 20 0 20 0 68992149 19521036288 886309 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79288] ppid=79197 vsize=19063512 memory=3545236 CPUtime=0 cores=1,3
/proc/79210/task/79288/stat : 79288 (Timer-0) S 79197 79210 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992168 19521036288 886309 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 3588.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3545236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3594 s]*
/proc/loadavg: 4.19 4.37 4.50 5/342 79698
/proc/meminfo: memFree=113376028/131249996 swapFree=33010672/33010684
[pid=79210] ppid=79197 vsize=19063512 memory=3545236 CPUtime=3600.04 cores=1,3
/proc/79210/stat : 79210 (java) S 79197 79210 79150 0 -1 4194304 136382 0 0 0 359825 179 0 0 20 0 20 0 68992144 19521036288 886309 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
/proc/79210/statm: 4765878 886309 5509 1 0 901119 0
[pid=79210/tid=79225] ppid=79197 vsize=19063512 memory=-6000919502754440040 CPUtime=3575.14 cores=1,3
/proc/79210/task/79225/stat : 79225 (java) R 79197 79210 79150 0 -1 4194368 54335 0 0 0 357475 39 0 0 20 0 20 0 68992146 19521036288 886309 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79257] ppid=79197 vsize=19063512 memory=2432 CPUtime=0 cores=1,3
/proc/79210/task/79257/stat : 79257 (Finalizer) S 79197 79210 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 886309 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79265] ppid=79197 vsize=19063512 memory=3456 CPUtime=0 cores=1,3
/proc/79210/task/79265/stat : 79265 (Common-Cleaner) S 79197 79210 79150 0 -1 4194368 2200 0 0 0 0 0 0 0 20 0 20 0 68992149 19521036288 886309 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
[pid=79210/tid=79288] ppid=79197 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/79210/task/79288/stat : 79288 (Timer-0) S 79197 79210 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992168 19521036288 886309 18446744073709551615 94226489597952 94226489601648 140729934145344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94226489609464 94226489610256 94226513768448 140729934150014 140729934150118 140729934150118 140729934155720 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3545236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3594.09 s]
# the end of solver process 79210 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.38 s, system=1.81343 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3594.09
CPU time (s): 3600.2
CPU user time (s): 3598.38
CPU system time (s): 1.81343
CPU usage (%): 100.17
Max. virtual memory (cumulated for all children) (KiB): 19069316
Max. memory (cumulated for all children) (KiB): 3545236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.38
system time used= 1.81343
maximum resident set size= 3546388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139228
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158300
involuntary context switches= 8470
# summary of solver processes directly reported to runsolver:
# pid: 79210
# total CPU time (s): 3600.2
# total CPU user time (s): 3598.38
# total CPU system time (s): 1.81343
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29277 second user time and 16.0275 second system time
The end