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 (60325 MiB free)
memory of node 1: 64465 MiB (57097 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542976-1753223825/watcher-4542976-1753223825 -o /tmp/evaluation-result-4542976-1753223825/solver-4542976-1753223825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753223825-168201 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4542976-1753223825.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
Starting watchdog thread
solver pid=168250, runsolver pid=168241
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.10 1.66 2.43 1/267 168260
/proc/meminfo: memFree=120233536/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=24960 memory=2304 CPUtime=0 cores=4,6
/proc/168250/stat : 168250 (java) D 168241 168250 168190 0 -1 4194304 178 0 6 0 0 0 0 0 20 0 1 0 238060001 25559040 576 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 6240 576 544 1 0 464 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 24960 KiB
Current children cumulated memory: 2304 KiB
[startup+0.204734 s]*
/proc/loadavg: 1.10 1.66 2.43 5/267 168260
/proc/meminfo: memFree=120233536/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=91760 memory=8704 CPUtime=0 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 584 0 44 0 0 0 0 0 20 0 2 0 238060001 93962240 2176 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 22940 2176 1824 1 0 588 0
[pid=168250/tid=168264] ppid=168241 vsize=91760 memory=7589421003159109916 CPUtime=0 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) D 168241 168250 168190 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 2 0 238060022 93962240 2176 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 0 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 91760 KiB
Current children cumulated memory: 8704 KiB
[startup+0.304793 s]*
/proc/loadavg: 1.10 1.66 2.43 1/291 168284
/proc/meminfo: memFree=120232808/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=18130736 memory=20996 CPUtime=0 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 1850 0 74 0 0 0 0 0 20 0 7 0 238060001 18565873664 5249 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16784588 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4532684 5249 3232 1 0 540973 0
[pid=168250/tid=168264] ppid=168241 vsize=18130736 memory=-8672077337935520444 CPUtime=0 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) D 168241 168250 168190 0 -1 4194368 1292 0 30 0 0 0 0 0 20 0 7 0 238060022 18565873664 5249 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16784588 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 18130736 KiB
Current children cumulated memory: 20996 KiB
[startup+0.700186 s]
/proc/loadavg: 1.10 1.66 2.43 10/335 168328
/proc/meminfo: memFree=120156952/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=18996948 memory=90760 CPUtime=0.55 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 9699 0 262 0 51 4 0 0 20 0 19 0 238060001 19452874752 22690 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4749237 22690 5396 1 0 549740 0
[pid=168250/tid=168264] ppid=168241 vsize=18996948 memory=0 CPUtime=0.26 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 5316 0 218 0 24 2 0 0 20 0 19 0 238060022 19452874752 22690 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=18996948 memory=225141283 CPUtime=0 cores=4,6
/proc/168250/task/168297/stat : 168297 (Finalizer) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238060040 19452874752 22690 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168325] ppid=168241 vsize=18996948 memory=17980 CPUtime=0 cores=4,6
/proc/168250/task/168325/stat : 168325 (Common-Cleaner) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238060041 19452874752 22690 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90760 KiB
[startup+1.50024 s]
/proc/loadavg: 1.10 1.66 2.43 8/323 168345
/proc/meminfo: memFree=119825888/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=19063512 memory=283316 CPUtime=2.1 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 18465 0 262 0 201 9 0 0 20 0 20 0 238060001 19521036288 70829 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4765878 70829 5428 1 0 555756 0
[pid=168250/tid=168264] ppid=168241 vsize=19063512 memory=0 CPUtime=0.99 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 5398 0 218 0 94 5 0 0 20 0 20 0 238060022 19521036288 70829 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=19063512 memory=225141283 CPUtime=0 cores=4,6
/proc/168250/task/168297/stat : 168297 (Finalizer) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 70829 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168325] ppid=168241 vsize=19063512 memory=17980 CPUtime=0 cores=4,6
/proc/168250/task/168325/stat : 168325 (Common-Cleaner) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 70829 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168329] ppid=168241 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/168250/task/168329/stat : 168329 (Timer-0) S 168241 168250 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060057 19521036288 70829 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 2.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 283316 KiB
[startup+3.10536 s]
/proc/loadavg: 1.66 1.77 2.46 9/341 168399
/proc/meminfo: memFree=117264348/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=19063512 memory=1194968 CPUtime=4.85 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 28569 0 262 0 454 31 0 0 20 0 20 0 238060001 19521036288 298742 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4765878 298742 5428 1 0 714530 0
[pid=168250/tid=168264] ppid=168241 vsize=19063512 memory=0 CPUtime=2.55 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 7878 0 218 0 233 22 0 0 20 0 20 0 238060022 19521036288 298742 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/168250/task/168297/stat : 168297 (Finalizer) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 298742 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168325] ppid=168241 vsize=19063512 memory=225141283 CPUtime=0 cores=4,6
/proc/168250/task/168325/stat : 168325 (Common-Cleaner) S 168241 168250 168190 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 298742 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168329] ppid=168241 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/168250/task/168329/stat : 168329 (Timer-0) S 168241 168250 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060057 19521036288 298742 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 4.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1194968 KiB
[startup+6.30023 s]
/proc/loadavg: 1.66 1.77 2.46 5/343 168401
/proc/meminfo: memFree=115351340/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=19063512 memory=1779316 CPUtime=8.24 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 29224 0 262 0 781 43 0 0 20 0 20 0 238060001 19521036288 444829 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4765878 444829 5428 1 0 714543 0
[pid=168250/tid=168264] ppid=168241 vsize=19063512 memory=225141283 CPUtime=5.71 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 8174 0 218 0 537 34 0 0 20 0 20 0 238060022 19521036288 444829 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/168250/task/168297/stat : 168297 (Finalizer) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 444829 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168325] ppid=168241 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/168250/task/168325/stat : 168325 (Common-Cleaner) S 168241 168250 168190 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 444829 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168329] ppid=168241 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/168250/task/168329/stat : 168329 (Timer-0) S 168241 168250 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060057 19521036288 444829 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 8.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1779316 KiB
[startup+12.7002 s]
/proc/loadavg: 2.09 1.86 2.49 5/343 168401
/proc/meminfo: memFree=114601780/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=19063512 memory=1779316 CPUtime=14.8 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 30384 0 262 0 1437 43 0 0 20 0 20 0 238060001 19521036288 444829 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4765878 444829 5428 1 0 714545 0
[pid=168250/tid=168264] ppid=168241 vsize=19063512 memory=0 CPUtime=12.05 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 8795 0 218 0 1171 34 0 0 20 0 20 0 238060022 19521036288 444829 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=19063512 memory=12544 CPUtime=0 cores=4,6
/proc/168250/task/168297/stat : 168297 (Finalizer) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 444829 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168325] ppid=168241 vsize=19063512 memory=-9104422902163088060 CPUtime=0 cores=4,6
/proc/168250/task/168325/stat : 168325 (Common-Cleaner) S 168241 168250 168190 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 444829 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168329] ppid=168241 vsize=19063512 memory=-8599174219455832764 CPUtime=0 cores=4,6
/proc/168250/task/168329/stat : 168329 (Timer-0) S 168241 168250 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060057 19521036288 444829 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 14.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1779316 KiB
[startup+25.5002 s]
/proc/loadavg: 2.38 1.93 2.50 5/343 168401
/proc/meminfo: memFree=113934536/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=19063512 memory=1779480 CPUtime=27.78 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 38892 0 262 0 2734 44 0 0 20 0 20 0 238060001 19521036288 444870 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4765878 444870 5428 1 0 714545 0
[pid=168250/tid=168264] ppid=168241 vsize=19063512 memory=14432 CPUtime=24.65 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 10900 0 218 0 2431 34 0 0 20 0 20 0 238060022 19521036288 444870 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/168250/task/168297/stat : 168297 (Finalizer) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 444870 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168325] ppid=168241 vsize=19063512 memory=-9104422902163088060 CPUtime=0 cores=4,6
/proc/168250/task/168325/stat : 168325 (Common-Cleaner) S 168241 168250 168190 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 444870 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168329] ppid=168241 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/168250/task/168329/stat : 168329 (Timer-0) S 168241 168250 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060057 19521036288 444870 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 27.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1779480 KiB
[startup+51.1057 s]
/proc/loadavg: 3.08 2.13 2.56 5/342 168402
/proc/meminfo: memFree=113792444/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=19063512 memory=1797992 CPUtime=53.47 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 41687 0 262 0 5301 46 0 0 20 0 20 0 238060001 19521036288 449498 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4765878 449498 5428 1 0 714545 0
[pid=168250/tid=168264] ppid=168241 vsize=19063512 memory=1789768 CPUtime=49.9 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 12365 0 218 0 4956 34 0 0 20 0 20 0 238060022 19521036288 449498 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/168250/task/168297/stat : 168297 (Finalizer) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 449498 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168325] ppid=168241 vsize=19063512 memory=129 CPUtime=0 cores=4,6
/proc/168250/task/168325/stat : 168325 (Common-Cleaner) S 168241 168250 168190 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 449498 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168329] ppid=168241 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/168250/task/168329/stat : 168329 (Timer-0) S 168241 168250 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060057 19521036288 449498 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 53.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1797992 KiB
[startup+102.3 s]
/proc/loadavg: 3.70 2.46 2.65 6/341 168404
/proc/meminfo: memFree=112477268/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=19063512 memory=1831056 CPUtime=104.84 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 45111 0 262 0 10434 50 0 0 20 0 20 0 238060001 19521036288 457764 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4765878 457764 5428 1 0 714589 0
[pid=168250/tid=168264] ppid=168241 vsize=19063512 memory=1818704 CPUtime=100.51 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 14646 0 218 0 10016 35 0 0 20 0 20 0 238060022 19521036288 457764 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=19063512 memory=1783540 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/meminfo: memFree=104617524/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=19063512 memory=2299776 CPUtime=3241.9 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 110175 0 262 0 323993 197 0 0 20 0 20 0 238060001 19521036288 574944 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4765878 574944 5428 1 0 715157 0
[pid=168250/tid=168264] ppid=168241 vsize=19063512 memory=2285008 CPUtime=3189.95 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 49473 0 218 0 318930 65 0 0 20 0 20 0 238060022 19521036288 574944 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=19063512 memory=2274748 CPUtime=0 cores=4,6
/proc/168250/task/168297/stat : 168297 (Finalizer) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 574944 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168325] ppid=168241 vsize=19063512 memory=27904 CPUtime=0 cores=4,6
/proc/168250/task/168325/stat : 168325 (Common-Cleaner) S 168241 168250 168190 0 -1 4194368 1594 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 574944 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168329] ppid=168241 vsize=19063512 memory=2299648 CPUtime=0 cores=4,6
/proc/168250/task/168329/stat : 168329 (Timer-0) S 168241 168250 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060057 19521036288 574944 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 3241.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2299776 KiB
[startup+3282.3 s]
/proc/loadavg: 4.49 4.41 4.31 5/340 168779
/proc/meminfo: memFree=104604916/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=19063512 memory=2305932 CPUtime=3302.98 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 110349 0 262 0 330098 200 0 0 20 0 20 0 238060001 19521036288 576483 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4765878 576483 5428 1 0 715186 0
[pid=168250/tid=168264] ppid=168241 vsize=19063512 memory=2305932 CPUtime=3249.15 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 49502 0 218 0 324849 66 0 0 20 0 20 0 238060022 19521036288 576483 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/168250/task/168297/stat : 168297 (Finalizer) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 576483 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168325] ppid=168241 vsize=19063512 memory=2303880 CPUtime=0 cores=4,6
/proc/168250/task/168325/stat : 168325 (Common-Cleaner) S 168241 168250 168190 0 -1 4194368 1659 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 576483 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168329] ppid=168241 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/168250/task/168329/stat : 168329 (Timer-0) S 168241 168250 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060057 19521036288 576483 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 3302.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2305932 KiB
[startup+3342.3 s]
/proc/loadavg: 4.37 4.39 4.31 6/340 168848
/proc/meminfo: memFree=103786992/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=19063512 memory=2314352 CPUtime=3364.09 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 111055 0 262 0 336203 206 0 0 20 0 20 0 238060001 19521036288 578588 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4765878 578588 5428 1 0 715186 0
[pid=168250/tid=168264] ppid=168241 vsize=19063512 memory=-7160862662092545913 CPUtime=3308.41 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 50096 0 218 0 330772 69 0 0 20 0 20 0 238060022 19521036288 578588 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=19063512 memory=2312300 CPUtime=0 cores=4,6
/proc/168250/task/168297/stat : 168297 (Finalizer) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 578588 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168325] ppid=168241 vsize=19063512 memory=2312300 CPUtime=0 cores=4,6
/proc/168250/task/168325/stat : 168325 (Common-Cleaner) S 168241 168250 168190 0 -1 4194368 1659 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 578588 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168329] ppid=168241 vsize=19063512 memory=2314352 CPUtime=0 cores=4,6
/proc/168250/task/168329/stat : 168329 (Timer-0) S 168241 168250 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060057 19521036288 578588 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 3364.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2314352 KiB
[startup+3402.3 s]
/proc/loadavg: 4.50 4.43 4.33 5/342 168988
/proc/meminfo: memFree=106663636/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=19063512 memory=2320508 CPUtime=3425.23 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 112865 0 262 0 342312 211 0 0 20 0 20 0 238060001 19521036288 580127 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4765878 580127 5428 1 0 715186 0
[pid=168250/tid=168264] ppid=168241 vsize=19063512 memory=2312300 CPUtime=3367.62 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 51000 0 218 0 336690 72 0 0 20 0 20 0 238060022 19521036288 580127 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/168250/task/168297/stat : 168297 (Finalizer) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 580127 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168325] ppid=168241 vsize=19063512 memory=-9104422902163088060 CPUtime=0 cores=4,6
/proc/168250/task/168325/stat : 168325 (Common-Cleaner) S 168241 168250 168190 0 -1 4194368 1659 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 580127 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168329] ppid=168241 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/168250/task/168329/stat : 168329 (Timer-0) S 168241 168250 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060057 19521036288 580127 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 3425.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2320508 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.38 4.31 5/342 168994
/proc/meminfo: memFree=105346680/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=19063512 memory=2324612 CPUtime=3486.2 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 115120 0 262 0 348406 214 0 0 20 0 20 0 238060001 19521036288 581153 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4765878 581153 5428 1 0 715186 0
[pid=168250/tid=168264] ppid=168241 vsize=19063512 memory=2312300 CPUtime=3426.86 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 52304 0 218 0 342614 72 0 0 20 0 20 0 238060022 19521036288 581153 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/168250/task/168297/stat : 168297 (Finalizer) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 581153 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168325] ppid=168241 vsize=19063512 memory=2322560 CPUtime=0 cores=4,6
/proc/168250/task/168325/stat : 168325 (Common-Cleaner) S 168241 168250 168190 0 -1 4194368 1728 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 581153 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168329] ppid=168241 vsize=19063512 memory=2322560 CPUtime=0 cores=4,6
/proc/168250/task/168329/stat : 168329 (Timer-0) S 168241 168250 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060057 19521036288 581153 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 3486.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2324612 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.34 4.30 5/344 168998
/proc/meminfo: memFree=104687352/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=19063512 memory=2332712 CPUtime=3547.1 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 115652 0 262 0 354492 218 0 0 20 0 20 0 238060001 19521036288 583178 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4765878 583178 5428 1 0 715186 0
[pid=168250/tid=168264] ppid=168241 vsize=19063512 memory=2324612 CPUtime=3486.1 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 52548 0 218 0 348537 73 0 0 20 0 20 0 238060022 19521036288 583178 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=19063512 memory=2322560 CPUtime=0 cores=4,6
/proc/168250/task/168297/stat : 168297 (Finalizer) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 583178 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168325] ppid=168241 vsize=19063512 memory=2322560 CPUtime=0 cores=4,6
/proc/168250/task/168325/stat : 168325 (Common-Cleaner) S 168241 168250 168190 0 -1 4194368 1767 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 583178 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168329] ppid=168241 vsize=19063512 memory=2332712 CPUtime=0 cores=4,6
/proc/168250/task/168329/stat : 168329 (Timer-0) S 168241 168250 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060057 19521036288 583178 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 3547.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2332712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3574.3 s]
/proc/loadavg: 4.20 4.31 4.30 5/343 169000
/proc/meminfo: memFree=104120244/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=19063512 memory=2343872 CPUtime=3600 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 116004 0 262 0 359780 220 0 0 20 0 20 0 238060001 19521036288 585968 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4765878 585968 5428 1 0 715186 0
[pid=168250/tid=168264] ppid=168241 vsize=19063512 memory=27904 CPUtime=3537.49 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 52850 0 218 0 353676 73 0 0 20 0 20 0 238060022 19521036288 585968 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=19063512 memory=2343872 CPUtime=0 cores=4,6
/proc/168250/task/168297/stat : 168297 (Finalizer) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 585968 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168325] ppid=168241 vsize=19063512 memory=2343872 CPUtime=0 cores=4,6
/proc/168250/task/168325/stat : 168325 (Common-Cleaner) S 168241 168250 168190 0 -1 4194368 1767 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 585968 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168329] ppid=168241 vsize=19063512 memory=2343872 CPUtime=0 cores=4,6
/proc/168250/task/168329/stat : 168329 (Timer-0) S 168241 168250 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060057 19521036288 585968 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2343872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3574.4 s]
# the end of solver process 168250 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.97 s, system=2.21813 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3574.3 s]
/proc/loadavg: 4.20 4.31 4.30 5/343 169000
/proc/meminfo: memFree=104120244/131250000 swapFree=33008356/33010684
[pid=168250] ppid=168241 vsize=19063512 memory=2343872 CPUtime=3600 cores=4,6
/proc/168250/stat : 168250 (java) S 168241 168250 168190 0 -1 4194304 116004 0 262 0 359780 220 0 0 20 0 20 0 238060001 19521036288 585968 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
/proc/168250/statm: 4765878 585968 5428 1 0 715186 0
[pid=168250/tid=168264] ppid=168241 vsize=19063512 memory=27904 CPUtime=3537.49 cores=4,6
/proc/168250/task/168264/stat : 168264 (java) R 168241 168250 168190 0 -1 4194368 52850 0 218 0 353676 73 0 0 20 0 20 0 238060022 19521036288 585968 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168297] ppid=168241 vsize=19063512 memory=2343872 CPUtime=0 cores=4,6
/proc/168250/task/168297/stat : 168297 (Finalizer) S 168241 168250 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 585968 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168325] ppid=168241 vsize=19063512 memory=2343872 CPUtime=0 cores=4,6
/proc/168250/task/168325/stat : 168325 (Common-Cleaner) S 168241 168250 168190 0 -1 4194368 1767 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 585968 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
[pid=168250/tid=168329] ppid=168241 vsize=19063512 memory=2343872 CPUtime=0 cores=4,6
/proc/168250/task/168329/stat : 168329 (Timer-0) S 168241 168250 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060057 19521036288 585968 18446744073709551615 94864358412288 94864358415984 140733147207472 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864358423800 94864358424592 94864367333376 140733147216252 140733147216356 140733147216356 140733147221960 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2343872 KiB
Child status: 143
Real time (s): 3574.4
CPU time (s): 3600.18
CPU user time (s): 3597.97
CPU system time (s): 2.21813
CPU usage (%): 100.721
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2343872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.97
system time used= 2.21813
maximum resident set size= 2344896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118142
page faults= 262
swaps= 0
block input operations= 7280
block output operations= 24968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143574
involuntary context switches= 16715
# summary of solver processes directly reported to runsolver:
# pid: 168250
# total CPU time (s): 3600.18
# total CPU user time (s): 3597.97
# total CPU system time (s): 2.21813
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39682 second user time and 17.2768 second system time
The end