runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62065 MiB free)
memory of node 1: 64507 MiB (59820 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520900-1751578574/watcher-4520900-1751578574 -o /tmp/evaluation-result-4520900-1751578574/solver-4520900-1751578574 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751578574-83016 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4520900-1751578574.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
Current StackSize limit: 8192 KiB
solver pid=83065, runsolver pid=83056
[startup+0.10006 s]*
/proc/loadavg: 0.83 1.74 2.29 8/334 83142
/proc/meminfo: memFree=124714476/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=18930384 memory=55352 CPUtime=0.11 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 6531 0 4 0 9 2 0 0 20 0 18 0 73535180 19384713216 13838 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4732596 13838 5328 1 0 547568 0
[pid=83065/tid=83076] ppid=83056 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 5040 0 4 0 5 1 0 0 20 0 18 0 73535183 19384713216 13838 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=18930384 memory=16880 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73535185 19384713216 13838 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 73535185 19384713216 13838 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55352 KiB
[startup+0.205178 s]*
/proc/loadavg: 0.83 1.74 2.29 14/334 83142
/proc/meminfo: memFree=124689336/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=18930384 memory=62248 CPUtime=0.3 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 7248 0 4 0 28 2 0 0 20 0 18 0 73535180 19384713216 15562 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4732596 15562 5424 1 0 548044 0
[pid=83065/tid=83076] ppid=83056 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 5439 0 4 0 14 2 0 0 20 0 18 0 73535183 19384713216 15562 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=18930384 memory=16880 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73535185 19384713216 15562 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 73535185 19384713216 15562 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62248 KiB
[startup+0.305017 s]*
/proc/loadavg: 0.83 1.74 2.29 10/336 83144
/proc/meminfo: memFree=124637792/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=18996948 memory=70704 CPUtime=0.49 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 7971 0 4 0 46 3 0 0 20 0 19 0 73535180 19452874752 17676 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4749237 17676 5456 1 0 548639 0
[pid=83065/tid=83076] ppid=83056 vsize=18996948 memory=-6000919472706840935 CPUtime=0.24 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 5542 0 4 0 22 2 0 0 20 0 19 0 73535183 19452874752 17676 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 73535185 19452874752 17676 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 73535185 19452874752 17676 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83143] ppid=83056 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/83065/task/83143/stat : 83143 (Timer-0) S 83056 83065 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 73535202 19452874752 17676 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70704 KiB
[startup+0.700202 s]
/proc/loadavg: 1.48 1.86 2.33 10/338 83146
/proc/meminfo: memFree=124536072/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=18996948 memory=164536 CPUtime=1.25 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 13018 0 4 0 120 5 0 0 20 0 19 0 73535180 19452874752 41134 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4749237 41134 5456 1 0 552508 0
[pid=83065/tid=83076] ppid=83056 vsize=18996948 memory=18688 CPUtime=0.59 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 5582 0 4 0 56 3 0 0 20 0 19 0 73535183 19452874752 41134 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 73535185 19452874752 41134 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 73535185 19452874752 41134 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83143] ppid=83056 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/83065/task/83143/stat : 83143 (Timer-0) S 83056 83065 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 73535202 19452874752 41134 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 164536 KiB
[startup+1.50021 s]
/proc/loadavg: 1.48 1.86 2.33 10/339 83147
/proc/meminfo: memFree=124402432/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=19063512 memory=198496 CPUtime=2.79 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 17368 0 4 0 273 6 0 0 20 0 20 0 73535180 19521036288 49624 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4765878 49624 5488 1 0 552808 0
[pid=83065/tid=83076] ppid=83056 vsize=19063512 memory=10752 CPUtime=1.27 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 5763 0 4 0 124 3 0 0 20 0 20 0 73535183 19521036288 49624 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 49624 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 49624 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83143] ppid=83056 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/83065/task/83143/stat : 83143 (Timer-0) S 83056 83065 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73535202 19521036288 49624 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 198496 KiB
[startup+3.10504 s]
/proc/loadavg: 1.48 1.86 2.33 6/342 83150
/proc/meminfo: memFree=123807536/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=19063512 memory=623620 CPUtime=5.12 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 22489 0 4 0 499 13 0 0 20 0 20 0 73535180 19521036288 155905 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4765878 155905 5488 1 0 1080150 0
[pid=83065/tid=83076] ppid=83056 vsize=19063512 memory=10752 CPUtime=2.78 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 6403 0 4 0 269 9 0 0 20 0 20 0 73535183 19521036288 155905 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=19063512 memory=-6000919481296775527 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 155905 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 155905 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83143] ppid=83056 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/83065/task/83143/stat : 83143 (Timer-0) S 83056 83065 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73535202 19521036288 155905 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 5.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 623620 KiB
[startup+6.30018 s]
/proc/loadavg: 1.69 1.90 2.34 7/342 83150
/proc/meminfo: memFree=123562392/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=19063512 memory=798064 CPUtime=8.53 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 22779 0 4 0 835 18 0 0 20 0 20 0 73535180 19521036288 199516 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4765878 199516 5488 1 0 1080153 0
[pid=83065/tid=83076] ppid=83056 vsize=19063512 memory=0 CPUtime=5.88 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 6562 0 4 0 576 12 0 0 20 0 20 0 73535183 19521036288 199516 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 199516 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 199516 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83143] ppid=83056 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/83065/task/83143/stat : 83143 (Timer-0) S 83056 83065 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73535202 19521036288 199516 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 8.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 798064 KiB
[startup+12.7002 s]
/proc/loadavg: 1.95 1.95 2.35 6/342 83150
/proc/meminfo: memFree=121961324/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=19063512 memory=1971764 CPUtime=15.3 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 28813 0 4 0 1488 42 0 0 20 0 20 0 73535180 19521036288 492941 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4765878 492941 5488 1 0 1080765 0
[pid=83065/tid=83076] ppid=83056 vsize=19063512 memory=10752 CPUtime=12.18 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 8235 0 4 0 1184 34 0 0 20 0 20 0 73535183 19521036288 492941 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=19063512 memory=1971764 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 492941 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 492941 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83143] ppid=83056 vsize=19063512 memory=-6000919481296775527 CPUtime=0 cores=4,6
/proc/83065/task/83143/stat : 83143 (Timer-0) S 83056 83065 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73535202 19521036288 492941 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 15.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1971764 KiB
[startup+25.5002 s]
/proc/loadavg: 2.27 2.02 2.37 6/342 83150
/proc/meminfo: memFree=120191008/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=19063512 memory=2303668 CPUtime=28.29 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 31298 0 4 0 2780 49 0 0 20 0 20 0 73535180 19521036288 575917 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4765878 575917 5488 1 0 1080767 0
[pid=83065/tid=83076] ppid=83056 vsize=19063512 memory=1971764 CPUtime=24.67 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 9273 0 4 0 2428 39 0 0 20 0 20 0 73535183 19521036288 575917 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 575917 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=19063512 memory=-6000919481296775527 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 575917 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83143] ppid=83056 vsize=19063512 memory=851312 CPUtime=0 cores=4,6
/proc/83065/task/83143/stat : 83143 (Timer-0) S 83056 83065 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73535202 19521036288 575917 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 28.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2303668 KiB
[startup+51.1051 s]
/proc/loadavg: 3.00 2.22 2.43 6/342 83151
/proc/meminfo: memFree=118581240/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=19063512 memory=2745008 CPUtime=55.17 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 51290 0 4 0 5456 61 0 0 20 0 20 0 73535180 19521036288 686252 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4765878 686252 5488 1 0 1087589 0
[pid=83065/tid=83076] ppid=83056 vsize=19063512 memory=2745008 CPUtime=49.74 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 12180 0 4 0 4929 45 0 0 20 0 20 0 73535183 19521036288 686252 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=19063512 memory=2713292 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 686252 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
################
# More data... #
################
/proc/meminfo: memFree=94542988/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3250.66 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 225563 0 4 0 324580 486 0 0 20 0 20 0 73535180 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4765878 1223197 5520 1 0 1242392 0
[pid=83065/tid=83076] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3019.1 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 74468 0 4 0 301827 83 0 0 20 0 20 0 73535183 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 1459 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83143] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83143/stat : 83143 (Timer-0) S 83056 83065 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73535202 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 3250.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4892788 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.40 4.41 5/340 83389
/proc/meminfo: memFree=94489888/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3312.07 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 229640 0 4 0 330718 489 0 0 20 0 20 0 73535180 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4765878 1223197 5520 1 0 1242392 0
[pid=83065/tid=83076] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3078.97 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 75514 0 4 0 307814 83 0 0 20 0 20 0 73535183 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=19063512 memory=-6000919481296775527 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 1507 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83143] ppid=83056 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/83065/task/83143/stat : 83143 (Timer-0) S 83056 83065 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73535202 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 3312.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4892788 KiB
[startup+3162.3 s]
/proc/loadavg: 4.25 4.39 4.40 5/340 83391
/proc/meminfo: memFree=93788808/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3372.97 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 232515 0 4 0 336806 491 0 0 20 0 20 0 73535180 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4765878 1223197 5520 1 0 1242392 0
[pid=83065/tid=83076] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3138.82 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 77153 0 4 0 313799 83 0 0 20 0 20 0 73535183 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 1507 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83143] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83143/stat : 83143 (Timer-0) S 83056 83065 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73535202 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 3372.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4892788 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.33 4.38 5/340 83396
/proc/meminfo: memFree=93760264/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3434.39 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 232749 0 4 0 342945 494 0 0 20 0 20 0 73535180 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4765878 1223197 5520 1 0 1242392 0
[pid=83065/tid=83076] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3198.69 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 77196 0 4 0 319786 83 0 0 20 0 20 0 73535183 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 1532 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83143] ppid=83056 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/83065/task/83143/stat : 83143 (Timer-0) S 83056 83065 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73535202 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 3434.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4892788 KiB
[startup+3282.3 s]
/proc/loadavg: 4.33 4.35 4.38 5/340 83402
/proc/meminfo: memFree=93736936/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3495.8 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 234364 0 4 0 349083 497 0 0 20 0 20 0 73535180 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4765878 1223197 5520 1 0 1242392 0
[pid=83065/tid=83076] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3258.55 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 77663 0 4 0 325772 83 0 0 20 0 20 0 73535183 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 1537 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83143] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83143/stat : 83143 (Timer-0) S 83056 83065 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73535202 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 3495.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4892788 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.28 4.35 5/340 83404
/proc/meminfo: memFree=93711884/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3556.69 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 236173 0 4 0 355169 500 0 0 20 0 20 0 73535180 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4765878 1223197 5520 1 0 1242392 0
[pid=83065/tid=83076] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3318.41 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 78850 0 4 0 331757 84 0 0 20 0 20 0 73535183 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 1592 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83143] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83143/stat : 83143 (Timer-0) S 83056 83065 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73535202 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 3556.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4892788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3383.7 s]
/proc/loadavg: 4.12 4.26 4.34 5/340 83405
/proc/meminfo: memFree=93691512/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3600.07 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 238586 0 4 0 359502 505 0 0 20 0 20 0 73535180 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4765878 1223197 5520 1 0 1242392 0
[pid=83065/tid=83076] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3359.65 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 80054 0 4 0 335881 84 0 0 20 0 20 0 73535183 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 1596 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83143] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83143/stat : 83143 (Timer-0) S 83056 83065 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73535202 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4892788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3383.79 s]
# the end of solver process 83065 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.16 s, system=5.07605 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3383.7 s]
/proc/loadavg: 4.12 4.26 4.34 5/340 83405
/proc/meminfo: memFree=93691512/131249996 swapFree=33010416/33010684
[pid=83065] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3600.07 cores=4,6
/proc/83065/stat : 83065 (java) S 83056 83065 83005 0 -1 4194304 238586 0 4 0 359502 505 0 0 20 0 20 0 73535180 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
/proc/83065/statm: 4765878 1223197 5520 1 0 1242392 0
[pid=83065/tid=83076] ppid=83056 vsize=19063512 memory=4892788 CPUtime=3359.65 cores=4,6
/proc/83065/task/83076/stat : 83076 (java) R 83056 83065 83005 0 -1 4194368 80054 0 4 0 335881 84 0 0 20 0 20 0 73535183 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83105] ppid=83056 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/83065/task/83105/stat : 83105 (Finalizer) S 83056 83065 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83120] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83120/stat : 83120 (Common-Cleaner) S 83056 83065 83005 0 -1 4194368 1596 0 0 0 0 0 0 0 20 0 20 0 73535185 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
[pid=83065/tid=83143] ppid=83056 vsize=19063512 memory=4892788 CPUtime=0 cores=4,6
/proc/83065/task/83143/stat : 83143 (Timer-0) S 83056 83065 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73535202 19521036288 1223197 18446744073709551615 94772129968128 94772129971824 140736959246560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94772129979640 94772129980432 94772134486016 140736959252862 140736959252966 140736959252966 140736959258568 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4892788 KiB
Child status: 143
Real time (s): 3383.79
CPU time (s): 3600.24
CPU user time (s): 3595.16
CPU system time (s): 5.07605
CPU usage (%): 106.397
Max. virtual memory (cumulated for all children) (KiB): 19069452
Max. memory (cumulated for all children) (KiB): 4892788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.16
system time used= 5.07605
maximum resident set size= 4893812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240595
page faults= 4
swaps= 0
block input operations= 0
block output operations= 19240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 185536
involuntary context switches= 21748
# summary of solver processes directly reported to runsolver:
# pid: 83065
# total CPU time (s): 3600.24
# total CPU user time (s): 3595.16
# total CPU system time (s): 5.07605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76149 second user time and 13.675 second system time
The end