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: 63794 MiB (62703 MiB free)
memory of node 1: 64507 MiB (63043 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521362-1751584695/watcher-4521362-1751584695 -o /tmp/evaluation-result-4521362-1751584695/solver-4521362-1751584695 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751584695-83034 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4521362-1751584695.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=83079, runsolver pid=83071
Current StackSize limit: 8192 KiB
[startup+0.100074 s]*
/proc/loadavg: 2.36 3.79 4.05 11/304 83146
/proc/meminfo: memFree=128720800/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=18930344 memory=45592 CPUtime=0.09 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 5443 0 24 0 5 4 0 0 20 0 18 0 74148408 19384672256 11398 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4732586 11398 4920 1 0 546706 0
[pid=83079/tid=83089] ppid=83071 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 4556 0 23 0 3 3 0 0 20 0 18 0 74148412 19384672256 11398 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=18930344 memory=1593 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74148417 19384672256 11398 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=18930344 memory=60693105869820 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 74148418 19384672256 11398 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45592 KiB
[startup+0.214696 s]*
/proc/loadavg: 2.36 3.79 4.05 9/319 83161
/proc/meminfo: memFree=128690596/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=18930384 memory=51724 CPUtime=0.26 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 6123 0 24 0 21 5 0 0 20 0 18 0 74148408 19384713216 12931 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4732596 12931 5336 1 0 547231 0
[pid=83079/tid=83089] ppid=83071 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 4960 0 23 0 13 3 0 0 20 0 18 0 74148412 19384713216 12931 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=18930384 memory=1593 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74148417 19384713216 12931 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=18930384 memory=60693105869820 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 74148418 19384713216 12931 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51724 KiB
[startup+0.314452 s]*
/proc/loadavg: 2.36 3.79 4.05 7/319 83161
/proc/meminfo: memFree=128665928/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=18930384 memory=58096 CPUtime=0.42 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 6657 0 24 0 36 6 0 0 20 0 18 0 74148408 19384713216 14524 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4732596 14524 5336 1 0 547682 0
[pid=83079/tid=83089] ppid=83071 vsize=18930384 memory=-6000919502704503143 CPUtime=0.26 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 5132 0 23 0 22 4 0 0 20 0 18 0 74148412 19384713216 14524 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74148417 19384713216 14524 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 74148418 19384713216 14524 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58096 KiB
[startup+0.700342 s]
/proc/loadavg: 2.36 3.79 4.05 14/319 83161
/proc/meminfo: memFree=128656728/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=18930384 memory=87044 CPUtime=1.12 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 8610 0 24 0 103 9 0 0 20 0 18 0 74148408 19384713216 21761 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4732596 21761 5464 1 0 549004 0
[pid=83079/tid=83089] ppid=83071 vsize=18930384 memory=18688 CPUtime=0.58 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 5352 0 23 0 53 5 0 0 20 0 18 0 74148412 19384713216 21761 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=18930384 memory=11264 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74148417 19384713216 21761 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 74148418 19384713216 21761 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 87044 KiB
[startup+1.5003 s]
/proc/loadavg: 2.36 3.79 4.05 9/322 83164
/proc/meminfo: memFree=128495240/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=18996948 memory=97212 CPUtime=2.7 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 14547 0 24 0 259 11 0 0 20 0 19 0 74148408 19452874752 24303 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4749237 24303 5464 1 0 551082 0
[pid=83079/tid=83089] ppid=83071 vsize=18996948 memory=3200 CPUtime=1.28 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 5534 0 23 0 123 5 0 0 20 0 19 0 74148412 19452874752 24303 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74148417 19452874752 24303 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 74148418 19452874752 24303 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83163] ppid=83071 vsize=18996948 memory=14720 CPUtime=0 cores=0,2
/proc/83079/task/83163/stat : 83163 (Timer-0) S 83071 83079 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 74148480 19452874752 24303 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97212 KiB
[startup+3.10748 s]
/proc/loadavg: 2.36 3.79 4.05 5/325 83167
/proc/meminfo: memFree=128134564/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=18996948 memory=110788 CPUtime=5.19 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 18096 0 24 0 507 12 0 0 20 0 19 0 74148408 19452874752 27697 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4749237 27697 5464 1 0 552293 0
[pid=83079/tid=83089] ppid=83071 vsize=18996948 memory=14720 CPUtime=2.86 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 6758 0 23 0 281 5 0 0 20 0 19 0 74148412 19452874752 27697 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74148417 19452874752 27697 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 74148418 19452874752 27697 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83163] ppid=83071 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/83079/task/83163/stat : 83163 (Timer-0) S 83071 83079 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 74148480 19452874752 27697 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 5.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 110788 KiB
[startup+6.30045 s]
/proc/loadavg: 2.65 3.82 4.07 5/325 83167
/proc/meminfo: memFree=127755716/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=18996948 memory=120240 CPUtime=8.83 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 19066 0 24 0 870 13 0 0 20 0 19 0 74148408 19452874752 30060 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4749237 30060 5464 1 0 552294 0
[pid=83079/tid=83089] ppid=83071 vsize=18996948 memory=0 CPUtime=6.05 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 7224 0 23 0 599 6 0 0 20 0 19 0 74148412 19452874752 30060 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74148417 19452874752 30060 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 74148418 19452874752 30060 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83163] ppid=83071 vsize=18996948 memory=281081047880608 CPUtime=0 cores=0,2
/proc/83079/task/83163/stat : 83163 (Timer-0) S 83071 83079 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 74148480 19452874752 30060 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 8.83 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 120240 KiB
[startup+12.7004 s]
/proc/loadavg: 2.76 3.83 4.06 7/325 83167
/proc/meminfo: memFree=126885516/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=18996948 memory=150448 CPUtime=15.39 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 23663 0 24 0 1526 13 0 0 20 0 19 0 74148408 19452874752 37612 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4749237 37612 5464 1 0 552294 0
[pid=83079/tid=83089] ppid=83071 vsize=18996948 memory=0 CPUtime=12.43 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 8063 0 23 0 1237 6 0 0 20 0 19 0 74148412 19452874752 37612 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=18996948 memory=14720 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 74148417 19452874752 37612 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=18996948 memory=146352 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 74148418 19452874752 37612 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83163] ppid=83071 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/83079/task/83163/stat : 83163 (Timer-0) S 83071 83079 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 74148480 19452874752 37612 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 15.39 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150448 KiB
[startup+25.5005 s]
/proc/loadavg: 3.03 3.84 4.06 6/326 83168
/proc/meminfo: memFree=124471600/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=19063512 memory=174160 CPUtime=28.74 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 28477 0 24 0 2858 16 0 0 20 0 20 0 74148408 19521036288 43540 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4765878 43540 5496 1 0 552583 0
[pid=83079/tid=83089] ppid=83071 vsize=19063512 memory=174160 CPUtime=25.14 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 8581 0 23 0 2508 6 0 0 20 0 20 0 74148412 19521036288 43540 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=19063512 memory=108736 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 43540 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=19063512 memory=174160 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 43540 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83163] ppid=83071 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/83079/task/83163/stat : 83163 (Timer-0) S 83071 83079 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148480 19521036288 43540 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 28.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174160 KiB
[startup+51.1134 s]
/proc/loadavg: 3.49 3.88 4.07 6/327 83234
/proc/meminfo: memFree=117404632/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=19063512 memory=181124 CPUtime=54.76 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 30569 0 24 0 5457 19 0 0 20 0 20 0 74148408 19521036288 45281 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4765878 45281 5496 1 0 552583 0
[pid=83079/tid=83089] ppid=83071 vsize=19063512 memory=183252 CPUtime=50.68 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 8902 0 23 0 5061 7 0 0 20 0 20 0 74148412 19521036288 45281 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=19063512 memory=181124 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 45281 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=19063512 memory=181112 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 45281 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83163] ppid=83071 vsize=19063512 memory=27162 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.73 4.75 4.76 6/326 83526
/proc/meminfo: memFree=100595080/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=19063512 memory=1139500 CPUtime=3279.33 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 48931 0 24 0 327710 223 0 0 20 0 20 0 74148408 19521036288 284875 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4765878 284875 5528 1 0 552669 0
[pid=83079/tid=83089] ppid=83071 vsize=19063512 memory=14720 CPUtime=3269.36 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 18787 0 23 0 326928 8 0 0 20 0 20 0 74148412 19521036288 284875 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 284875 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 797 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 284875 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83163] ppid=83071 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/83079/task/83163/stat : 83163 (Timer-0) S 83071 83079 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148480 19521036288 284875 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 3279.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1139500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.77 4.76 4.76 8/326 83528
/proc/meminfo: memFree=98956756/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=19063512 memory=1144620 CPUtime=3339.93 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 51994 0 24 0 333766 227 0 0 20 0 20 0 74148408 19521036288 286155 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4765878 286155 5528 1 0 553725 0
[pid=83079/tid=83089] ppid=83071 vsize=19063512 memory=1144620 CPUtime=3329.2 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 18827 0 23 0 332912 8 0 0 20 0 20 0 74148412 19521036288 286155 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=19063512 memory=3456 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 286155 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=19063512 memory=1144620 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 797 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 286155 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83163] ppid=83071 vsize=19063512 memory=1144620 CPUtime=0 cores=0,2
/proc/83079/task/83163/stat : 83163 (Timer-0) S 83071 83079 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148480 19521036288 286155 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 3339.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1144620 KiB
[startup+3402.3 s]
/proc/loadavg: 4.74 4.74 4.75 6/326 83530
/proc/meminfo: memFree=98227076/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=19063512 memory=1144620 CPUtime=3399.78 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 52094 0 24 0 339748 230 0 0 20 0 20 0 74148408 19521036288 286155 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4765878 286155 5528 1 0 553725 0
[pid=83079/tid=83089] ppid=83071 vsize=19063512 memory=1144620 CPUtime=3389.01 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 18922 0 23 0 338893 8 0 0 20 0 20 0 74148412 19521036288 286155 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=19063512 memory=3456 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 286155 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=19063512 memory=1144620 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 797 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 286155 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83163] ppid=83071 vsize=19063512 memory=1144620 CPUtime=0 cores=0,2
/proc/83079/task/83163/stat : 83163 (Timer-0) S 83071 83079 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148480 19521036288 286155 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 3399.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1144620 KiB
[startup+3462.3 s]
/proc/loadavg: 4.73 4.74 4.75 5/326 83535
/proc/meminfo: memFree=98021140/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=19063512 memory=1144684 CPUtime=3460.15 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 54608 0 24 0 345782 233 0 0 20 0 20 0 74148408 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4765878 286171 5528 1 0 554433 0
[pid=83079/tid=83089] ppid=83071 vsize=19063512 memory=1144620 CPUtime=3448.82 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 19253 0 23 0 344874 8 0 0 20 0 20 0 74148412 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=19063512 memory=3456 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=19063512 memory=1144684 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 797 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83163] ppid=83071 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/83079/task/83163/stat : 83163 (Timer-0) S 83071 83079 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148480 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 3460.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1144684 KiB
[startup+3522.3 s]
/proc/loadavg: 4.55 4.70 4.73 6/326 83537
/proc/meminfo: memFree=96284144/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=19063512 memory=1144684 CPUtime=3520 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 55055 0 24 0 351764 236 0 0 20 0 20 0 74148408 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4765878 286171 5528 1 0 554433 0
[pid=83079/tid=83089] ppid=83071 vsize=19063512 memory=1144684 CPUtime=3508.62 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 19577 0 23 0 350854 8 0 0 20 0 20 0 74148412 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=19063512 memory=1144684 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=19063512 memory=1144684 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 910 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83163] ppid=83071 vsize=19063512 memory=-6000919502738057575 CPUtime=0 cores=0,2
/proc/83079/task/83163/stat : 83163 (Timer-0) S 83071 83079 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148480 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 3520 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1144684 KiB
[startup+3582.3 s]
/proc/loadavg: 4.84 4.75 4.75 8/324 83604
/proc/meminfo: memFree=100781288/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=19063512 memory=1144684 CPUtime=3579.89 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 55638 0 24 0 357749 240 0 0 20 0 20 0 74148408 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4765878 286171 5528 1 0 554433 0
[pid=83079/tid=83089] ppid=83071 vsize=19063512 memory=18688 CPUtime=3568.42 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 19881 0 23 0 356834 8 0 0 20 0 20 0 74148412 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=19063512 memory=23532 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 1009 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83163] ppid=83071 vsize=19063512 memory=1144684 CPUtime=0 cores=0,2
/proc/83079/task/83163/stat : 83163 (Timer-0) S 83071 83079 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148480 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 3579.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1144684 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3602.5 s]
/proc/loadavg: 4.75 4.74 4.74 5/326 83606
/proc/meminfo: memFree=98278560/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=19063512 memory=1144684 CPUtime=3600.03 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 55642 0 24 0 359762 241 0 0 20 0 20 0 74148408 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4765878 286171 5528 1 0 554433 0
[pid=83079/tid=83089] ppid=83071 vsize=19063512 memory=1056852 CPUtime=3588.55 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 19882 0 23 0 358847 8 0 0 20 0 20 0 74148412 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=19063512 memory=1056852 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148417 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=19063512 memory=1139500 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 1009 0 0 0 0 0 0 0 20 0 20 0 74148418 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83163] ppid=83071 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/83079/task/83163/stat : 83163 (Timer-0) S 83071 83079 83023 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 74148480 19521036288 286171 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1144684 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3602.63 s]
# the end of solver process 83079 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.85 s, system=2.43094 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3602.6 s]
/proc/loadavg: 4.75 4.74 4.74 5/326 83606
/proc/meminfo: memFree=98278560/131382112 swapFree=33009904/33010684
[pid=83079] ppid=83071 vsize=19263204 memory=1145836 CPUtime=3600.24 cores=0,2
/proc/83079/stat : 83079 (java) S 83071 83079 83023 0 -1 4194304 57934 0 24 0 359782 242 0 0 20 0 21 0 74148408 19725520896 286459 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
/proc/83079/statm: 4815801 286459 5560 1 0 555368 0
[pid=83079/tid=83089] ppid=83071 vsize=19263204 memory=16494924 CPUtime=3588.63 cores=0,2
/proc/83079/task/83089/stat : 83089 (java) R 83071 83079 83023 0 -1 4194368 19977 0 23 0 358855 8 0 0 20 0 21 0 74148412 19725520896 286459 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83120] ppid=83071 vsize=19263204 memory=-6000919502738057575 CPUtime=0 cores=0,2
/proc/83079/task/83120/stat : 83120 (Finalizer) S 83071 83079 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 74148417 19725520896 286459 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
[pid=83079/tid=83145] ppid=83071 vsize=19263204 memory=6656 CPUtime=0 cores=0,2
/proc/83079/task/83145/stat : 83145 (Common-Cleaner) S 83071 83079 83023 0 -1 4194368 1009 0 0 0 0 0 0 0 20 0 21 0 74148418 19725520896 286459 18446744073709551615 94368961998848 94368962002544 140726924586032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368962010360 94368962011152 94368978317312 140726924593537 140726924593638 140726924593638 140726924599240 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1145836 KiB
Child status: 143
Real time (s): 3602.63
CPU time (s): 3600.29
CPU user time (s): 3597.85
CPU system time (s): 2.43094
CPU usage (%): 99.9348
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1151628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.86
system time used= 2.43094
maximum resident set size= 1152044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58230
page faults= 24
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105087
involuntary context switches= 10032
# summary of solver processes directly reported to runsolver:
# pid: 83079
# total CPU time (s): 3600.29
# total CPU user time (s): 3597.85
# total CPU system time (s): 2.43094
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.3336 second user time and 33.3796 second system time
The end