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 (62856 MiB free)
memory of node 1: 64507 MiB (62495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490432-1751360763/watcher-4490432-1751360763 -o /tmp/evaluation-result-4490432-1751360763/solver-4490432-1751360763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751360763-55281 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4490432-1751360763.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=55353, runsolver pid=55330
[startup+0.10006 s]*
/proc/loadavg: 0.64 1.06 1.96 12/334 55406
/proc/meminfo: memFree=128314268/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=18930384 memory=53080 CPUtime=0.1 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 6401 0 108 0 8 2 0 0 20 0 18 0 51754244 19384713216 13270 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4732596 13270 5328 1 0 547514 0
[pid=55353/tid=55374] ppid=55330 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 4919 0 108 0 5 1 0 0 20 0 18 0 51754246 19384713216 13270 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=18930384 memory=237112656212 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51754248 19384713216 13270 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=18930384 memory=58485492706614 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51754249 19384713216 13270 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53080 KiB
[startup+0.204999 s]*
/proc/loadavg: 0.64 1.06 1.96 12/336 55408
/proc/meminfo: memFree=128293464/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=18930384 memory=62672 CPUtime=0.29 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 7165 0 108 0 27 2 0 0 20 0 18 0 51754244 19384713216 15668 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4732596 15668 5456 1 0 548062 0
[pid=55353/tid=55374] ppid=55330 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 5371 0 108 0 14 1 0 0 20 0 18 0 51754246 19384713216 15668 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=18930384 memory=18949 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51754248 19384713216 15668 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51754249 19384713216 15668 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62672 KiB
[startup+0.305953 s]*
/proc/loadavg: 0.64 1.06 1.96 10/338 55410
/proc/meminfo: memFree=128219120/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=18997472 memory=74860 CPUtime=0.48 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 9432 0 108 0 45 3 0 0 20 0 19 0 51754244 19453411328 18715 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4749368 18715 5456 1 0 549207 0
[pid=55353/tid=55374] ppid=55330 vsize=18997472 memory=-6000919507099936618 CPUtime=0.23 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 5424 0 108 0 21 2 0 0 20 0 19 0 51754246 19453411328 18715 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=18997472 memory=0 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51754248 19453411328 18715 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=18997472 memory=0 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 51754249 19453411328 18715 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55409] ppid=55330 vsize=18997472 memory=0 CPUtime=0 cores=5,7
/proc/55353/task/55409/stat : 55409 (Timer-0) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51754266 19453411328 18715 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18997472 KiB
Current children cumulated memory: 74860 KiB
[startup+0.700197 s]
/proc/loadavg: 0.64 1.06 1.96 12/339 55411
/proc/meminfo: memFree=127983896/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=19063512 memory=161232 CPUtime=1.24 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 11053 0 108 0 119 5 0 0 20 0 20 0 51754244 19521036288 40308 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4765878 40308 5488 1 0 550383 0
[pid=55353/tid=55374] ppid=55330 vsize=19063512 memory=18304 CPUtime=0.58 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 5476 0 108 0 55 3 0 0 20 0 20 0 51754246 19521036288 40308 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 40308 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 40308 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55409] ppid=55330 vsize=19063512 memory=4756 CPUtime=0 cores=5,7
/proc/55353/task/55409/stat : 55409 (Timer-0) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 40308 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 161232 KiB
[startup+1.50025 s]
/proc/loadavg: 0.64 1.06 1.96 11/342 55414
/proc/meminfo: memFree=127766888/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=19063512 memory=279496 CPUtime=2.82 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 18805 0 108 0 273 9 0 0 20 0 20 0 51754244 19521036288 69874 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4765878 69874 5488 1 0 552639 0
[pid=55353/tid=55374] ppid=55330 vsize=19063512 memory=0 CPUtime=1.32 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 5816 0 108 0 126 6 0 0 20 0 20 0 51754246 19521036288 69874 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 69874 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 69874 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55409] ppid=55330 vsize=19063512 memory=4756 CPUtime=0 cores=5,7
/proc/55353/task/55409/stat : 55409 (Timer-0) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 69874 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 279496 KiB
[startup+3.10501 s]
/proc/loadavg: 1.23 1.17 2.00 8/342 55414
/proc/meminfo: memFree=125218584/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=19063512 memory=821076 CPUtime=5.81 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 31504 0 108 0 558 23 0 0 20 0 20 0 51754244 19521036288 205269 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4765878 205269 5488 1 0 702591 0
[pid=55353/tid=55374] ppid=55330 vsize=19063512 memory=10752 CPUtime=2.83 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 7274 0 108 0 267 16 0 0 20 0 20 0 51754246 19521036288 205269 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=19063512 memory=-6000919507099936618 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 205269 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 205269 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55409] ppid=55330 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/55353/task/55409/stat : 55409 (Timer-0) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 205269 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 5.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 821076 KiB
[startup+6.30016 s]
/proc/loadavg: 1.23 1.17 2.00 7/342 55414
/proc/meminfo: memFree=122011072/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=19063512 memory=1704264 CPUtime=9.81 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 32654 0 108 0 941 40 0 0 20 0 20 0 51754244 19521036288 426066 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4765878 426066 5488 1 0 702606 0
[pid=55353/tid=55374] ppid=55330 vsize=19063512 memory=0 CPUtime=5.96 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 8195 0 108 0 565 31 0 0 20 0 20 0 51754246 19521036288 426066 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 426066 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 426066 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55409] ppid=55330 vsize=19063512 memory=332832 CPUtime=0 cores=5,7
/proc/55353/task/55409/stat : 55409 (Timer-0) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 426066 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 9.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1704264 KiB
[startup+12.7002 s]
/proc/loadavg: 1.66 1.27 2.02 6/342 55414
/proc/meminfo: memFree=121834992/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=19063512 memory=1718636 CPUtime=16.29 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 35795 0 108 0 1588 41 0 0 20 0 20 0 51754244 19521036288 429659 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4765878 429659 5488 1 0 702606 0
[pid=55353/tid=55374] ppid=55330 vsize=19063512 memory=332832 CPUtime=12.25 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 9131 0 108 0 1194 31 0 0 20 0 20 0 51754246 19521036288 429659 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=19063512 memory=1712488 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 429659 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 429659 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55409] ppid=55330 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/55353/task/55409/stat : 55409 (Timer-0) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 429659 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 16.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1718636 KiB
[startup+25.5002 s]
/proc/loadavg: 2.02 1.36 2.04 6/342 55414
/proc/meminfo: memFree=121741740/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=19063512 memory=1751572 CPUtime=29.3 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 42895 0 108 0 2887 43 0 0 20 0 20 0 51754244 19521036288 437893 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4765878 437893 5488 1 0 702606 0
[pid=55353/tid=55374] ppid=55330 vsize=19063512 memory=1745420 CPUtime=24.82 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 11265 0 108 0 2450 32 0 0 20 0 20 0 51754246 19521036288 437893 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=19063512 memory=16912 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 437893 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=19063512 memory=-6000919507099936618 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 437893 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55409] ppid=55330 vsize=19063512 memory=16912 CPUtime=0 cores=5,7
/proc/55353/task/55409/stat : 55409 (Timer-0) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 437893 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 29.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1751572 KiB
[startup+51.1052 s]
/proc/loadavg: 2.98 1.64 2.11 6/344 55417
/proc/meminfo: memFree=121480208/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=19063512 memory=1841852 CPUtime=55.24 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 49034 0 108 0 5477 47 0 0 20 0 20 0 51754244 19521036288 460463 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4765878 460463 5488 1 0 702606 0
[pid=55353/tid=55374] ppid=55330 vsize=19063512 memory=1796712 CPUtime=50.06 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 12708 0 108 0 4974 32 0 0 20 0 20 0 51754246 19521036288 460463 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
################
# More data... #
################
/proc/meminfo: memFree=115730992/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=19063512 memory=2770140 CPUtime=3184.14 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 123999 0 108 0 318185 229 0 0 20 0 20 0 51754244 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4765878 692535 5488 1 0 702706 0
[pid=55353/tid=55374] ppid=55330 vsize=19063512 memory=2770140 CPUtime=3141.67 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 44150 0 108 0 314127 40 0 0 20 0 20 0 51754246 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=19063512 memory=2770140 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=19063512 memory=2770140 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 1543 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55409] ppid=55330 vsize=19063512 memory=16912 CPUtime=0 cores=5,7
/proc/55353/task/55409/stat : 55409 (Timer-0) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 3184.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2770140 KiB
[startup+3222.3 s]
/proc/loadavg: 4.62 4.50 4.34 7/343 55606
/proc/meminfo: memFree=115720564/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=19063512 memory=2770140 CPUtime=3249.39 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 127159 0 108 0 324698 241 0 0 20 0 20 0 51754244 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4765878 692535 5488 1 0 702706 0
[pid=55353/tid=55374] ppid=55330 vsize=19063512 memory=2770140 CPUtime=3201.01 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 45443 0 108 0 320061 40 0 0 20 0 20 0 51754246 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=19063512 memory=2770140 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=19063512 memory=18304 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 1575 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55409] ppid=55330 vsize=19063512 memory=2770140 CPUtime=0 cores=5,7
/proc/55353/task/55409/stat : 55409 (Timer-0) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 3249.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2770140 KiB
[startup+3282.3 s]
/proc/loadavg: 4.50 4.51 4.35 7/341 55675
/proc/meminfo: memFree=116172764/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=19063512 memory=2770140 CPUtime=3313.92 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 127246 0 108 0 331139 253 0 0 20 0 20 0 51754244 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4765878 692535 5488 1 0 702706 0
[pid=55353/tid=55374] ppid=55330 vsize=19063512 memory=18304 CPUtime=3260.38 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 45473 0 108 0 325997 41 0 0 20 0 20 0 51754246 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=19063512 memory=2770140 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=19063512 memory=2770140 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 1575 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55409] ppid=55330 vsize=19063512 memory=2770140 CPUtime=0 cores=5,7
/proc/55353/task/55409/stat : 55409 (Timer-0) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 3313.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2770140 KiB
[startup+3342.3 s]
/proc/loadavg: 4.29 4.45 4.34 6/341 55688
/proc/meminfo: memFree=116139152/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=19063512 memory=2770140 CPUtime=3377.97 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 128534 0 108 0 337536 261 0 0 20 0 20 0 51754244 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4765878 692535 5488 1 0 702706 0
[pid=55353/tid=55374] ppid=55330 vsize=19063512 memory=16912 CPUtime=3319.84 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 46296 0 108 0 331943 41 0 0 20 0 20 0 51754246 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=19063512 memory=2770140 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=19063512 memory=2770140 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 1575 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55409] ppid=55330 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/55353/task/55409/stat : 55409 (Timer-0) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 3377.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2770140 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.38 4.32 6/339 55690
/proc/meminfo: memFree=116110656/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=19063512 memory=2770140 CPUtime=3442.38 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 131141 0 108 0 343966 272 0 0 20 0 20 0 51754244 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4765878 692535 5488 1 0 702706 0
[pid=55353/tid=55374] ppid=55330 vsize=19063512 memory=2770140 CPUtime=3379.25 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 47133 0 108 0 337884 41 0 0 20 0 20 0 51754246 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=19063512 memory=2770140 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 1600 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55409] ppid=55330 vsize=19063512 memory=2770140 CPUtime=0 cores=5,7
/proc/55353/task/55409/stat : 55409 (Timer-0) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 3442.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2770140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.35 4.32 6/340 55693
/proc/meminfo: memFree=116093816/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=19063512 memory=2770140 CPUtime=3506.06 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 131223 0 108 0 350325 281 0 0 20 0 20 0 51754244 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4765878 692535 5488 1 0 702706 0
[pid=55353/tid=55374] ppid=55330 vsize=19063512 memory=5632 CPUtime=3438.76 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 47151 0 108 0 343835 41 0 0 20 0 20 0 51754246 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=19063512 memory=2770140 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=19063512 memory=2770140 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 1601 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55409] ppid=55330 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/55353/task/55409/stat : 55409 (Timer-0) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 3506.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2770140 KiB
[startup+3522.3 s]
/proc/loadavg: 4.35 4.36 4.32 8/341 55763
/proc/meminfo: memFree=119944240/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=19063512 memory=2770140 CPUtime=3569.79 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 131712 0 108 0 356689 290 0 0 20 0 20 0 51754244 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4765878 692535 5488 1 0 702706 0
[pid=55353/tid=55374] ppid=55330 vsize=19063512 memory=2770140 CPUtime=3498.3 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 47205 0 108 0 349789 41 0 0 20 0 20 0 51754246 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=19063512 memory=2770140 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=19063512 memory=16912 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 1601 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55409] ppid=55330 vsize=19063512 memory=2770140 CPUtime=0 cores=5,7
/proc/55353/task/55409/stat : 55409 (Timer-0) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 3569.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2770140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3550 s]*
/proc/loadavg: 4.35 4.37 4.32 5/341 55764
/proc/meminfo: memFree=119882180/131249996 swapFree=33010684/33010684
[pid=55353] ppid=55330 vsize=19063512 memory=2770140 CPUtime=3600.08 cores=5,7
/proc/55353/stat : 55353 (java) S 55330 55353 55268 0 -1 4194304 132317 0 108 0 359713 295 0 0 20 0 20 0 51754244 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
/proc/55353/statm: 4765878 692535 5488 1 0 702706 0
[pid=55353/tid=55374] ppid=55330 vsize=19063512 memory=-6000919472739936106 CPUtime=3525.71 cores=5,7
/proc/55353/task/55374/stat : 55374 (java) R 55330 55353 55268 0 -1 4194368 47548 0 108 0 352530 41 0 0 20 0 20 0 51754246 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55391] ppid=55330 vsize=19063512 memory=4571604002143891100 CPUtime=0 cores=5,7
/proc/55353/task/55391/stat : 55391 (Finalizer) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55406] ppid=55330 vsize=19063512 memory=6896 CPUtime=0 cores=5,7
/proc/55353/task/55406/stat : 55406 (Common-Cleaner) S 55330 55353 55268 0 -1 4194368 1601 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
[pid=55353/tid=55409] ppid=55330 vsize=19063512 memory=2575452 CPUtime=0 cores=5,7
/proc/55353/task/55409/stat : 55409 (Timer-0) S 55330 55353 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 692535 18446744073709551615 94561673187328 94561673191024 140727378936880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94561673198840 94561673199632 94561675386880 140727378938238 140727378938342 140727378938342 140727378943944 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2770140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3550.1 s]
# the end of solver process 55353 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.28 s, system=2.97216 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3550.1
CPU time (s): 3600.26
CPU user time (s): 3597.28
CPU system time (s): 2.97216
CPU usage (%): 101.413
Max. virtual memory (cumulated for all children) (KiB): 19066356
Max. memory (cumulated for all children) (KiB): 2770140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.28
system time used= 2.97216
maximum resident set size= 2771164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133875
page faults= 108
swaps= 0
block input operations= 0
block output operations= 18424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 207555
involuntary context switches= 13828
# summary of solver processes directly reported to runsolver:
# pid: 55353
# total CPU time (s): 3600.26
# total CPU user time (s): 3597.28
# total CPU system time (s): 2.97216
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72947 second user time and 13.9414 second system time
The end