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 (45313 MiB free)
memory of node 1: 64465 MiB (42932 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541691-1753210180/watcher-4541691-1753210180 -o /tmp/evaluation-result-4541691-1753210180/solver-4541691-1753210180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1753210180-157169 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4541691-1753210180.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=157236, runsolver pid=157214
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.07 1.55 2.46 12/331 157294
/proc/meminfo: memFree=90289236/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=18930384 memory=51956 CPUtime=0.1 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 6051 0 214 0 8 2 0 0 20 0 18 0 236695601 19384713216 12989 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4732596 12989 5312 1 0 547308 0
[pid=157236/tid=157262] ppid=157214 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 4813 0 213 0 5 1 0 0 20 0 18 0 236695604 19384713216 12989 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236695606 19384713216 12989 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=18930384 memory=55186957824150 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 236695606 19384713216 12989 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51956 KiB
[startup+0.205756 s]*
/proc/loadavg: 1.07 1.55 2.46 12/331 157294
/proc/meminfo: memFree=90249412/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=18930384 memory=61716 CPUtime=0.27 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 6872 0 214 0 25 2 0 0 20 0 18 0 236695601 19384713216 15429 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4732596 15429 5408 1 0 547906 0
[pid=157236/tid=157262] ppid=157214 vsize=18930384 memory=4026990876 CPUtime=0.14 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 5123 0 213 0 13 1 0 0 20 0 18 0 236695604 19384713216 15429 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=18930384 memory=17146 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236695606 19384713216 15429 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=18930384 memory=54087446168546 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 236695606 19384713216 15429 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61716 KiB
[startup+0.305898 s]*
/proc/loadavg: 1.07 1.55 2.46 12/335 157298
/proc/meminfo: memFree=90216332/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=18996948 memory=76556 CPUtime=0.46 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 8465 0 214 0 43 3 0 0 20 0 19 0 236695601 19452874752 19139 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4749237 19139 5408 1 0 549253 0
[pid=157236/tid=157262] ppid=157214 vsize=18996948 memory=-8889094549291180732 CPUtime=0.22 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 5176 0 213 0 21 1 0 0 20 0 19 0 236695604 19452874752 19139 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236695606 19452874752 19139 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 236695606 19452874752 19139 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157297] ppid=157214 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/157236/task/157297/stat : 157297 (Timer-0) S 157214 157236 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236695627 19452874752 19139 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 76556 KiB
[startup+0.700229 s]
/proc/loadavg: 1.07 1.55 2.46 10/335 157298
/proc/meminfo: memFree=90195792/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=18996948 memory=85844 CPUtime=1.22 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 10454 0 214 0 119 3 0 0 20 0 19 0 236695601 19452874752 21461 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4749237 21461 5408 1 0 550362 0
[pid=157236/tid=157262] ppid=157214 vsize=18996948 memory=27136 CPUtime=0.6 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 5190 0 213 0 58 2 0 0 20 0 19 0 236695604 19452874752 21461 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236695606 19452874752 21461 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 236695606 19452874752 21461 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157297] ppid=157214 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/157236/task/157297/stat : 157297 (Timer-0) S 157214 157236 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236695627 19452874752 21461 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85844 KiB
[startup+1.5002 s]
/proc/loadavg: 1.07 1.55 2.46 9/335 157298
/proc/meminfo: memFree=90164108/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=18996948 memory=106736 CPUtime=2.37 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 20598 0 214 0 232 5 0 0 20 0 19 0 236695601 19452874752 26684 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4749237 26684 5408 1 0 553753 0
[pid=157236/tid=157262] ppid=157214 vsize=18996948 memory=0 CPUtime=1.39 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 6240 0 213 0 137 2 0 0 20 0 19 0 236695604 19452874752 26684 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236695606 19452874752 26684 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 236695606 19452874752 26684 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157297] ppid=157214 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/157236/task/157297/stat : 157297 (Timer-0) S 157214 157236 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236695627 19452874752 26684 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106736 KiB
[startup+3.10559 s]
/proc/loadavg: 1.30 1.59 2.47 7/335 157298
/proc/meminfo: memFree=90001308/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=18996948 memory=131320 CPUtime=4.03 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 21133 0 214 0 397 6 0 0 20 0 19 0 236695601 19452874752 32830 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4749237 32830 5408 1 0 553758 0
[pid=157236/tid=157262] ppid=157214 vsize=18996948 memory=10752 CPUtime=2.99 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 6539 0 213 0 296 3 0 0 20 0 19 0 236695604 19452874752 32830 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=18996948 memory=-8889094549291180732 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236695606 19452874752 32830 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 236695606 19452874752 32830 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157297] ppid=157214 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/157236/task/157297/stat : 157297 (Timer-0) S 157214 157236 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236695627 19452874752 32830 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 4.03 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 131320 KiB
[startup+6.30014 s]
/proc/loadavg: 1.30 1.59 2.47 6/338 157301
/proc/meminfo: memFree=89821508/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=19063512 memory=180620 CPUtime=7.33 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 24417 0 214 0 725 8 0 0 20 0 20 0 236695601 19521036288 45155 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4765878 45155 5472 1 0 554066 0
[pid=157236/tid=157262] ppid=157214 vsize=19063512 memory=0 CPUtime=6.15 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 7285 0 213 0 612 3 0 0 20 0 20 0 236695604 19521036288 45155 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 45155 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 45155 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157297] ppid=157214 vsize=19063512 memory=106736 CPUtime=0 cores=1,3
/proc/157236/task/157297/stat : 157297 (Timer-0) S 157214 157236 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695627 19521036288 45155 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 7.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180620 KiB
[startup+12.7002 s]
/proc/loadavg: 1.52 1.63 2.48 6/339 157302
/proc/meminfo: memFree=89724544/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=19063512 memory=207420 CPUtime=13.75 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 26263 0 214 0 1366 9 0 0 20 0 20 0 236695601 19521036288 51855 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4765878 51855 5472 1 0 554082 0
[pid=157236/tid=157262] ppid=157214 vsize=19063512 memory=106736 CPUtime=12.51 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 7955 0 213 0 1248 3 0 0 20 0 20 0 236695604 19521036288 51855 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 51855 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=19063512 memory=207420 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 51855 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157297] ppid=157214 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/157236/task/157297/stat : 157297 (Timer-0) S 157214 157236 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695627 19521036288 51855 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 13.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 207420 KiB
[startup+25.5002 s]
/proc/loadavg: 2.07 1.75 2.50 6/339 157302
/proc/meminfo: memFree=89390572/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=19063512 memory=261020 CPUtime=26.67 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 30479 0 214 0 2657 10 0 0 20 0 20 0 236695601 19521036288 65255 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4765878 65255 5504 1 0 554082 0
[pid=157236/tid=157262] ppid=157214 vsize=19063512 memory=0 CPUtime=25.22 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 8696 0 213 0 2519 3 0 0 20 0 20 0 236695604 19521036288 65255 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=19063512 memory=16508 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 65255 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=19063512 memory=3024 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 65255 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157297] ppid=157214 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/157236/task/157297/stat : 157297 (Timer-0) S 157214 157236 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695627 19521036288 65255 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 26.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 261020 KiB
[startup+51.1056 s]
/proc/loadavg: 2.79 1.95 2.55 6/340 157304
/proc/meminfo: memFree=88588416/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=19063512 memory=498780 CPUtime=52.43 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 31816 0 214 0 5228 15 0 0 20 0 20 0 236695601 19521036288 124695 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4765878 124695 5504 1 0 554082 0
[pid=157236/tid=157262] ppid=157214 vsize=19063512 memory=0 CPUtime=50.53 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 8732 0 213 0 5050 3 0 0 20 0 20 0 236695604 19521036288 124695 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.71 4.37 4.15 6/340 157468
/proc/meminfo: memFree=78740288/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=19063512 memory=2167284 CPUtime=3281.49 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 111442 0 214 0 328037 112 0 0 20 0 20 0 236695601 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4765878 541821 5504 1 0 557367 0
[pid=157236/tid=157262] ppid=157214 vsize=19063512 memory=2167284 CPUtime=3269.02 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 47156 0 213 0 326891 11 0 0 20 0 20 0 236695604 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=19063512 memory=16508 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=19063512 memory=-8889094549291180732 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 1483 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157297] ppid=157214 vsize=19063512 memory=16508 CPUtime=0 cores=1,3
/proc/157236/task/157297/stat : 157297 (Timer-0) S 157214 157236 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695627 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 3281.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167284 KiB
[startup+3342.3 s]
/proc/loadavg: 4.26 4.30 4.14 6/339 157470
/proc/meminfo: memFree=78670652/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=19063512 memory=2167284 CPUtime=3341.42 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 112953 0 214 0 334028 114 0 0 20 0 20 0 236695601 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4765878 541821 5504 1 0 557367 0
[pid=157236/tid=157262] ppid=157214 vsize=19063512 memory=1920 CPUtime=3328.77 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 47756 0 213 0 332866 11 0 0 20 0 20 0 236695604 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=19063512 memory=2167284 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=19063512 memory=28544 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 1554 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157297] ppid=157214 vsize=19063512 memory=2167284 CPUtime=0 cores=1,3
/proc/157236/task/157297/stat : 157297 (Timer-0) S 157214 157236 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695627 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 3341.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167284 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.27 4.14 6/338 157472
/proc/meminfo: memFree=78662844/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=19063512 memory=2167284 CPUtime=3401.28 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 112963 0 214 0 340014 114 0 0 20 0 20 0 236695601 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4765878 541821 5504 1 0 557367 0
[pid=157236/tid=157262] ppid=157214 vsize=19063512 memory=1920 CPUtime=3388.62 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 47761 0 213 0 338851 11 0 0 20 0 20 0 236695604 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=19063512 memory=2167284 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=19063512 memory=2167284 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 1554 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157297] ppid=157214 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/157236/task/157297/stat : 157297 (Timer-0) S 157214 157236 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695627 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 3401.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167284 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.23 4.14 6/338 157474
/proc/meminfo: memFree=78530832/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=19063512 memory=2167284 CPUtime=3461.16 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 113662 0 214 0 346001 115 0 0 20 0 20 0 236695601 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4765878 541821 5504 1 0 557367 0
[pid=157236/tid=157262] ppid=157214 vsize=19063512 memory=1920 CPUtime=3448.47 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 48353 0 213 0 344836 11 0 0 20 0 20 0 236695604 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=19063512 memory=2167284 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=19063512 memory=16508 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 1554 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157297] ppid=157214 vsize=19063512 memory=2167284 CPUtime=0 cores=1,3
/proc/157236/task/157297/stat : 157297 (Timer-0) S 157214 157236 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695627 19521036288 541821 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 3461.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167284 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.20 4.13 6/338 157476
/proc/meminfo: memFree=78479672/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=19063512 memory=2169408 CPUtime=3521.14 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 115568 0 214 0 351998 116 0 0 20 0 20 0 236695601 19521036288 542352 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4765878 542352 5504 1 0 557367 0
[pid=157236/tid=157262] ppid=157214 vsize=19063512 memory=16508 CPUtime=3508.2 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 49229 0 213 0 350809 11 0 0 20 0 20 0 236695604 19521036288 542352 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=19063512 memory=2167284 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 542352 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=19063512 memory=2167284 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 1631 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 542352 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157297] ppid=157214 vsize=19063512 memory=2167284 CPUtime=0 cores=1,3
/proc/157236/task/157297/stat : 157297 (Timer-0) S 157214 157236 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695627 19521036288 542352 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 3521.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.18 4.13 6/338 157478
/proc/meminfo: memFree=78239808/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=19063512 memory=2169408 CPUtime=3581.01 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 116574 0 214 0 357984 117 0 0 20 0 20 0 236695601 19521036288 542352 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4765878 542352 5504 1 0 557367 0
[pid=157236/tid=157262] ppid=157214 vsize=19063512 memory=2167284 CPUtime=3568.05 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 50082 0 213 0 356794 11 0 0 20 0 20 0 236695604 19521036288 542352 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=19063512 memory=2169408 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 542352 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=19063512 memory=2169408 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 1714 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 542352 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157297] ppid=157214 vsize=19063512 memory=2169408 CPUtime=0 cores=1,3
/proc/157236/task/157297/stat : 157297 (Timer-0) S 157214 157236 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695627 19521036288 542352 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 3581.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3601.4 s]
/proc/loadavg: 4.06 4.17 4.12 5/292 157593
/proc/meminfo: memFree=86221612/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=19063512 memory=2169408 CPUtime=3600.07 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 116971 0 214 0 359889 118 0 0 20 0 20 0 236695601 19521036288 542352 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4765878 542352 5504 1 0 557367 0
[pid=157236/tid=157262] ppid=157214 vsize=19063512 memory=-8889094549291180732 CPUtime=3587.1 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) R 157214 157236 157157 0 -1 4194368 50393 0 213 0 358699 11 0 0 20 0 20 0 236695604 19521036288 542352 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=19063512 memory=-7233201731107643516 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 542352 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=19063512 memory=6944656592455350634 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 1714 0 0 0 0 0 0 0 20 0 20 0 236695606 19521036288 542352 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157297] ppid=157214 vsize=19063512 memory=-8889094549291180732 CPUtime=0 cores=1,3
/proc/157236/task/157297/stat : 157297 (Timer-0) S 157214 157236 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695627 19521036288 542352 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2169408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3601.54 s]
# the end of solver process 157236 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3599.03 s, system=1.19946 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3601.51 s]
/proc/loadavg: 4.06 4.17 4.12 5/292 157593
/proc/meminfo: memFree=86221612/131249988 swapFree=33010160/33010684
[pid=157236] ppid=157214 vsize=19263204 memory=2170176 CPUtime=3600.2 cores=1,3
/proc/157236/stat : 157236 (java) S 157214 157236 157157 0 -1 4194304 119633 0 214 0 359902 118 0 0 20 0 15 0 236695601 19725520896 542544 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
/proc/157236/statm: 4815801 542544 5504 1 0 558307 0
[pid=157236/tid=157262] ppid=157214 vsize=19263204 memory=16508 CPUtime=3587.12 cores=1,3
/proc/157236/task/157262/stat : 157262 (java) S 157214 157236 157157 0 -1 4194368 50580 0 213 0 358701 11 0 0 20 0 15 0 236695604 19725520896 542544 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157280] ppid=157214 vsize=19263204 memory=5276 CPUtime=0 cores=1,3
/proc/157236/task/157280/stat : 157280 (Finalizer) S 157214 157236 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 236695606 19725520896 542544 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
[pid=157236/tid=157294] ppid=157214 vsize=19263204 memory=2169408 CPUtime=0 cores=1,3
/proc/157236/task/157294/stat : 157294 (Common-Cleaner) S 157214 157236 157157 0 -1 4194368 1714 0 0 0 0 0 0 0 20 0 15 0 236695606 19725520896 542544 18446744073709551615 94784566042624 94784566046320 140726511257472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94784566054136 94784566054928 94784585986048 140726511262079 140726511262180 140726511262180 140726511267784 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2170176 KiB
Child status: 143
Real time (s): 3601.54
CPU time (s): 3600.23
CPU user time (s): 3599.03
CPU system time (s): 1.19946
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2170176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.03
system time used= 1.19946
maximum resident set size= 2170432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119658
page faults= 214
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105825
involuntary context switches= 6540
# summary of solver processes directly reported to runsolver:
# pid: 157236
# total CPU time (s): 3600.23
# total CPU user time (s): 3599.03
# total CPU system time (s): 1.19946
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.835 second user time and 16.5535 second system time
The end