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 (56002 MiB free)
memory of node 1: 64507 MiB (56841 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512280-1751529714/watcher-4512280-1751529714 -o /tmp/evaluation-result-4512280-1751529714/solver-4512280-1751529714 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751519881-77404 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4512280-1751529714.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
Starting watchdog thread
solver pid=78823, runsolver pid=78820
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.58 4.68 4.71 8/337 78841
/proc/meminfo: memFree=115536468/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=18930384 memory=52544 CPUtime=0.11 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 6293 0 0 0 9 2 0 0 20 0 18 0 68649148 19384713216 13136 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4732596 13136 5337 1 0 547392 0
[pid=78823/tid=78825] ppid=78820 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 4994 0 0 0 6 1 0 0 20 0 18 0 68649149 19384713216 13136 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=18930384 memory=224227754321 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68649152 19384713216 13136 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=18930384 memory=59585004335488 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68649152 19384713216 13136 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52544 KiB
[startup+0.205895 s]*
/proc/loadavg: 4.58 4.68 4.71 8/337 78841
/proc/meminfo: memFree=115529348/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=18930384 memory=62100 CPUtime=0.3 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 7084 0 0 0 27 3 0 0 20 0 18 0 68649148 19384713216 15525 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4732596 15525 5433 1 0 547971 0
[pid=78823/tid=78825] ppid=78820 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 5381 0 0 0 15 2 0 0 20 0 18 0 68649149 19384713216 15525 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=18930384 memory=16195 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68649152 19384713216 15525 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68649152 19384713216 15525 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62100 KiB
[startup+0.305868 s]*
/proc/loadavg: 4.58 4.68 4.71 7/337 78841
/proc/meminfo: memFree=115525252/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=18930384 memory=73668 CPUtime=0.49 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 7371 0 0 0 46 3 0 0 20 0 18 0 68649148 19384713216 18417 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4732596 18417 5465 1 0 548097 0
[pid=78823/tid=78825] ppid=78820 vsize=18930384 memory=-6000919507116385384 CPUtime=0.26 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) S 78820 78823 77392 0 -1 4194368 5481 0 0 0 24 2 0 0 20 0 18 0 68649149 19384713216 18417 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68649152 19384713216 18417 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68649152 19384713216 18417 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 73668 KiB
[startup+0.700542 s]
/proc/loadavg: 4.58 4.68 4.71 7/338 78842
/proc/meminfo: memFree=115514356/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=18996948 memory=97284 CPUtime=1.23 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 9513 0 0 0 119 4 0 0 20 0 19 0 68649148 19452874752 24321 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4749237 24321 5497 1 0 549475 0
[pid=78823/tid=78825] ppid=78820 vsize=18996948 memory=18688 CPUtime=0.61 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 5536 0 0 0 59 2 0 0 20 0 19 0 68649149 19452874752 24321 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68649152 19452874752 24321 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68649152 19452874752 24321 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78842] ppid=78820 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/78823/task/78842/stat : 78842 (Timer-0) S 78820 78823 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68649181 19452874752 24321 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97284 KiB
[startup+1.50023 s]
/proc/loadavg: 4.69 4.71 4.72 6/338 78842
/proc/meminfo: memFree=115469176/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=19063512 memory=178600 CPUtime=2.77 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 17237 0 0 0 270 7 0 0 20 0 20 0 68649148 19521036288 44650 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4765878 44650 5497 1 0 552441 0
[pid=78823/tid=78825] ppid=78820 vsize=19063512 memory=0 CPUtime=1.39 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 5803 0 0 0 136 3 0 0 20 0 20 0 68649149 19521036288 44650 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 44650 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 44650 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78842] ppid=78820 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/78823/task/78842/stat : 78842 (Timer-0) S 78820 78823 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68649181 19521036288 44650 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178600 KiB
[startup+3.10573 s]
/proc/loadavg: 4.69 4.71 4.72 6/339 78843
/proc/meminfo: memFree=115401952/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=19063512 memory=193520 CPUtime=5.29 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 19216 0 0 0 521 8 0 0 20 0 20 0 68649148 19521036288 48380 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4765878 48380 5497 1 0 552446 0
[pid=78823/tid=78825] ppid=78820 vsize=19063512 memory=10752 CPUtime=2.94 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 6448 0 0 0 291 3 0 0 20 0 20 0 68649149 19521036288 48380 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=19063512 memory=-6000919507116385384 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 48380 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 48380 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78842] ppid=78820 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/78823/task/78842/stat : 78842 (Timer-0) S 78820 78823 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68649181 19521036288 48380 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 5.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 193520 KiB
[startup+6.30024 s]
/proc/loadavg: 4.63 4.69 4.72 5/339 78843
/proc/meminfo: memFree=115350564/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=19063512 memory=226828 CPUtime=9.36 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 20547 0 0 0 927 9 0 0 20 0 20 0 68649148 19521036288 56707 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4765878 56707 5497 1 0 552908 0
[pid=78823/tid=78825] ppid=78820 vsize=19063512 memory=0 CPUtime=6.04 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 6502 0 0 0 600 4 0 0 20 0 20 0 68649149 19521036288 56707 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 56707 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 56707 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78842] ppid=78820 vsize=19063512 memory=178600 CPUtime=0 cores=1,3
/proc/78823/task/78842/stat : 78842 (Timer-0) S 78820 78823 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68649181 19521036288 56707 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 9.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 226828 KiB
[startup+12.7003 s]
/proc/loadavg: 4.66 4.70 4.72 5/339 78843
/proc/meminfo: memFree=114800016/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=19063512 memory=756872 CPUtime=17.06 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 27493 0 0 0 1684 22 0 0 20 0 20 0 68649148 19521036288 189218 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4765878 189218 5497 1 0 659428 0
[pid=78823/tid=78825] ppid=78820 vsize=19063512 memory=178600 CPUtime=12.3 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 7640 0 0 0 1216 14 0 0 20 0 20 0 68649149 19521036288 189218 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=19063512 memory=752648 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 189218 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 189218 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78842] ppid=78820 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/78823/task/78842/stat : 78842 (Timer-0) S 78820 78823 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68649181 19521036288 189218 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 17.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 756872 KiB
[startup+25.5003 s]
/proc/loadavg: 4.64 4.69 4.72 5/339 78843
/proc/meminfo: memFree=114072072/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=19063512 memory=1553108 CPUtime=31.38 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 49628 0 0 0 3097 41 0 0 20 0 20 0 68649148 19521036288 388277 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4765878 388277 5497 1 0 667386 0
[pid=78823/tid=78825] ppid=78820 vsize=19063512 memory=-6000919507116385384 CPUtime=24.82 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) S 78820 78823 77392 0 -1 4194368 9797 0 0 0 2456 26 0 0 20 0 20 0 68649149 19521036288 388277 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=19063512 memory=1119468 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 388277 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 388277 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78842] ppid=78820 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78823/task/78842/stat : 78842 (Timer-0) S 78820 78823 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68649181 19521036288 388277 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 31.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1553108 KiB
[startup+51.1058 s]
/proc/loadavg: 4.51 4.66 4.71 5/339 78844
/proc/meminfo: memFree=113524476/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=19063512 memory=1914656 CPUtime=59.06 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 54031 0 0 0 5855 51 0 0 20 0 20 0 68649148 19521036288 478664 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4765878 478664 5497 1 0 669119 0
[pid=78823/tid=78825] ppid=78820 vsize=19063512 memory=1842976 CPUtime=49.89 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 10637 0 0 0 4961 28 0 0 20 0 20 0 68649149 19521036288 478664 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 478664 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=19063512 memory=1842976 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=121640548/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=19063512 memory=4599364 CPUtime=3146.94 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 170519 0 0 0 314403 291 0 0 20 0 20 0 68649148 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4765878 1149841 5529 1 0 1160496 0
[pid=78823/tid=78825] ppid=78820 vsize=19063512 memory=5760 CPUtime=2963.75 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 56417 0 0 0 296304 71 0 0 20 0 20 0 68649149 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=19063512 memory=4599364 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=19063512 memory=4599364 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 958 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78842] ppid=78820 vsize=19063512 memory=4599364 CPUtime=0 cores=1,3
/proc/78823/task/78842/stat : 78842 (Timer-0) S 78820 78823 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68649181 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 3146.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4599364 KiB
[startup+3042.3 s]
/proc/loadavg: 1.18 1.84 2.30 2/265 79093
/proc/meminfo: memFree=121640392/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=19063512 memory=4599364 CPUtime=3210.64 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 172859 0 0 0 320769 295 0 0 20 0 20 0 68649148 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4765878 1149841 5529 1 0 1160496 0
[pid=78823/tid=78825] ppid=78820 vsize=19063512 memory=7584136121828810260 CPUtime=3023.4 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 57563 0 0 0 302269 71 0 0 20 0 20 0 68649149 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=19063512 memory=4599364 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=19063512 memory=4599364 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 975 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78842] ppid=78820 vsize=19063512 memory=4599364 CPUtime=0 cores=1,3
/proc/78823/task/78842/stat : 78842 (Timer-0) S 78820 78823 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68649181 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 3210.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4599364 KiB
[startup+3102.3 s]
/proc/loadavg: 1.16 1.71 2.22 2/265 79099
/proc/meminfo: memFree=121640228/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=19063512 memory=4599364 CPUtime=3274.48 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 175320 0 0 0 327149 299 0 0 20 0 20 0 68649148 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4765878 1149841 5529 1 0 1160496 0
[pid=78823/tid=78825] ppid=78820 vsize=19063512 memory=4599364 CPUtime=3083.17 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 58662 0 0 0 308246 71 0 0 20 0 20 0 68649149 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=19063512 memory=4599364 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=19063512 memory=4599364 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 975 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78842] ppid=78820 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/78823/task/78842/stat : 78842 (Timer-0) S 78820 78823 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68649181 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 3274.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4599364 KiB
[startup+3162.3 s]
/proc/loadavg: 1.14 1.61 2.15 2/264 79101
/proc/meminfo: memFree=121640036/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=19063512 memory=4599364 CPUtime=3337.43 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 176560 0 0 0 333441 302 0 0 20 0 20 0 68649148 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4765878 1149841 5529 1 0 1160496 0
[pid=78823/tid=78825] ppid=78820 vsize=19063512 memory=4599364 CPUtime=3143.07 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 59305 0 0 0 314236 71 0 0 20 0 20 0 68649149 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=19063512 memory=4599364 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=19063512 memory=4599364 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 979 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78842] ppid=78820 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/78823/task/78842/stat : 78842 (Timer-0) S 78820 78823 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68649181 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 3337.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4599364 KiB
[startup+3222.3 s]
/proc/loadavg: 1.23 1.56 2.10 2/264 79103
/proc/meminfo: memFree=121640100/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=19063512 memory=4599364 CPUtime=3401.31 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 178037 0 0 0 339824 307 0 0 20 0 20 0 68649148 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4765878 1149841 5529 1 0 1160496 0
[pid=78823/tid=78825] ppid=78820 vsize=19063512 memory=14824 CPUtime=3202.89 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 59791 0 0 0 320217 72 0 0 20 0 20 0 68649149 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=19063512 memory=4599364 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=19063512 memory=21996 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 979 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78842] ppid=78820 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/78823/task/78842/stat : 78842 (Timer-0) S 78820 78823 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68649181 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 3401.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4599364 KiB
[startup+3282.3 s]
/proc/loadavg: 1.14 1.47 2.03 2/264 79105
/proc/meminfo: memFree=121640196/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=19063512 memory=4599364 CPUtime=3465.25 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 179999 0 0 0 346214 311 0 0 20 0 20 0 68649148 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4765878 1149841 5529 1 0 1160496 0
[pid=78823/tid=78825] ppid=78820 vsize=19063512 memory=4599364 CPUtime=3262.77 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 60955 0 0 0 326205 72 0 0 20 0 20 0 68649149 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=19063512 memory=4599364 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 986 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78842] ppid=78820 vsize=19063512 memory=4599364 CPUtime=0 cores=1,3
/proc/78823/task/78842/stat : 78842 (Timer-0) S 78820 78823 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68649181 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 3465.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4599364 KiB
[startup+3342.3 s]
/proc/loadavg: 1.30 1.45 1.99 2/264 79107
/proc/meminfo: memFree=121640052/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=19063512 memory=4599364 CPUtime=3530.18 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 182097 0 0 0 352701 317 0 0 20 0 20 0 68649148 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4765878 1149841 5529 1 0 1160496 0
[pid=78823/tid=78825] ppid=78820 vsize=19063512 memory=4599364 CPUtime=3322.52 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 62078 0 0 0 332180 72 0 0 20 0 20 0 68649149 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=19063512 memory=4599364 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 986 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78842] ppid=78820 vsize=19063512 memory=4599364 CPUtime=0 cores=1,3
/proc/78823/task/78842/stat : 78842 (Timer-0) S 78820 78823 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68649181 19521036288 1149841 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 3530.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4599364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3395.8 s]
/proc/loadavg: 1.35 1.44 1.96 3/264 79108
/proc/meminfo: memFree=121640052/131249996 swapFree=33010672/33010684
[pid=78823] ppid=78820 vsize=19063512 memory=4599492 CPUtime=3600.09 cores=1,3
/proc/78823/stat : 78823 (java) S 78820 78823 77392 0 -1 4194304 185007 0 0 0 359674 335 0 0 20 0 20 0 68649148 19521036288 1149873 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
/proc/78823/statm: 4765878 1149873 5529 1 0 1160496 0
[pid=78823/tid=78825] ppid=78820 vsize=19063512 memory=10752 CPUtime=3375.11 cores=1,3
/proc/78823/task/78825/stat : 78825 (java) R 78820 78823 77392 0 -1 4194368 62794 0 0 0 337438 73 0 0 20 0 20 0 68649149 19521036288 1149873 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78834] ppid=78820 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/78823/task/78834/stat : 78834 (Finalizer) S 78820 78823 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149873 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78841] ppid=78820 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/78823/task/78841/stat : 78841 (Common-Cleaner) S 78820 78823 77392 0 -1 4194368 1032 0 0 0 0 0 0 0 20 0 20 0 68649152 19521036288 1149873 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
[pid=78823/tid=78842] ppid=78820 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/78823/task/78842/stat : 78842 (Timer-0) S 78820 78823 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68649181 19521036288 1149873 18446744073709551615 93898789453824 93898789457520 140726941207520 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93898789465336 93898789466128 93898794520576 140726941215102 140726941215206 140726941215206 140726941220808 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4599492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3395.89 s]
# the end of solver process 78823 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.85 s, system=3.37387 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3395.89
CPU time (s): 3600.22
CPU user time (s): 3596.85
CPU system time (s): 3.37387
CPU usage (%): 106.017
Max. virtual memory (cumulated for all children) (KiB): 19069904
Max. memory (cumulated for all children) (KiB): 4599492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.85
system time used= 3.37387
maximum resident set size= 4600388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186558
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147695
involuntary context switches= 22114
# summary of solver processes directly reported to runsolver:
# pid: 78823
# total CPU time (s): 3600.22
# total CPU user time (s): 3596.85
# total CPU system time (s): 3.37387
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72113 second user time and 14.8038 second system time
The end