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 (60919 MiB free)
memory of node 1: 64465 MiB (61439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543719-1753231309/watcher-4543719-1753231309 -o /tmp/evaluation-result-4543719-1753231309/solver-4543719-1753231309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753224118-216817 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4543719-1753231309.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
Current StackSize limit: 8192 KiB
solver pid=217828, runsolver pid=217825
[startup+0.10006 s]*
/proc/loadavg: 4.11 4.11 4.09 6/338 217846
/proc/meminfo: memFree=125274268/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=18930384 memory=57732 CPUtime=0.12 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 6570 0 0 0 10 2 0 0 20 0 18 0 238809663 19384713216 14433 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4732596 14433 5340 1 0 547619 0
[pid=217828/tid=217830] ppid=217825 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 5064 0 0 0 6 1 0 0 20 0 18 0 238809664 19384713216 14433 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238809666 19384713216 14433 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=18930384 memory=57385981077077 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238809667 19384713216 14433 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57732 KiB
[startup+0.206113 s]*
/proc/loadavg: 4.11 4.11 4.09 6/338 217846
/proc/meminfo: memFree=125225164/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=18930384 memory=133528 CPUtime=0.32 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 7033 0 0 0 28 4 0 0 20 0 18 0 238809663 19384713216 33382 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4732596 33382 5436 1 0 547890 0
[pid=217828/tid=217830] ppid=217825 vsize=18930384 memory=4027056412 CPUtime=0.17 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 5293 0 0 0 15 2 0 0 20 0 18 0 238809664 19384713216 33894 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=18930384 memory=17913 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238809666 19384713216 33894 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=18930384 memory=56286469424100 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238809667 19384713216 33894 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 133528 KiB
[startup+0.306884 s]*
/proc/loadavg: 4.11 4.11 4.09 7/339 217847
/proc/meminfo: memFree=125167632/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=18996948 memory=177208 CPUtime=0.5 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 8653 0 0 0 46 4 0 0 20 0 19 0 238809663 19452874752 44302 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4749237 44302 5468 1 0 549176 0
[pid=217828/tid=217830] ppid=217825 vsize=18996948 memory=-8816748883273818812 CPUtime=0.24 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 5301 0 0 0 21 3 0 0 20 0 19 0 238809664 19452874752 44302 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238809666 19452874752 44302 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238809667 19452874752 44302 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 177208 KiB
[startup+0.700218 s]
/proc/loadavg: 4.11 4.11 4.09 5/339 217847
/proc/meminfo: memFree=124567096/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=18996948 memory=1470344 CPUtime=1.22 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 11109 0 0 0 92 30 0 0 20 0 19 0 238809663 19452874752 367074 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4749237 367586 5468 1 0 994652 0
[pid=217828/tid=217830] ppid=217825 vsize=18996948 memory=22272 CPUtime=0.61 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 5932 0 0 0 33 28 0 0 20 0 19 0 238809664 19452874752 367586 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238809666 19452874752 367586 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238809667 19452874752 367586 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1470344 KiB
[startup+1.50022 s]
/proc/loadavg: 4.27 4.14 4.10 6/318 217850
/proc/meminfo: memFree=125151852/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=18996948 memory=2331124 CPUtime=2.56 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 15270 0 0 0 209 47 0 0 20 0 19 0 238809663 19452874752 582781 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4749237 582781 5500 1 0 1621917 0
[pid=217828/tid=217830] ppid=217825 vsize=18996948 memory=3200 CPUtime=1.27 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 6361 0 0 0 83 44 0 0 20 0 19 0 238809664 19452874752 582781 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238809666 19452874752 582781 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238809667 19452874752 582781 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2331124 KiB
[startup+3.10583 s]
/proc/loadavg: 4.27 4.14 4.10 7/340 217915
/proc/meminfo: memFree=123084752/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=19063512 memory=3139476 CPUtime=4.74 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 16543 0 0 0 410 64 0 0 20 0 20 0 238809663 19521036288 784869 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4765878 784869 5500 1 0 2311645 0
[pid=217828/tid=217830] ppid=217825 vsize=19063512 memory=10752 CPUtime=2.7 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 6694 0 0 0 214 56 0 0 20 0 20 0 238809664 19521036288 784869 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809666 19521036288 784869 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238809667 19521036288 784869 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217886] ppid=217825 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/217828/task/217886/stat : 217886 (Timer-0) S 217825 217828 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809881 19521036288 784869 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 4.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3139476 KiB
[startup+6.30016 s]
/proc/loadavg: 4.24 4.14 4.10 5/340 217915
/proc/meminfo: memFree=123019616/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=19063512 memory=3170480 CPUtime=7.97 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 16573 0 0 0 733 64 0 0 20 0 20 0 238809663 19521036288 792620 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4765878 792620 5500 1 0 2311645 0
[pid=217828/tid=217830] ppid=217825 vsize=19063512 memory=0 CPUtime=5.89 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 6710 0 0 0 532 57 0 0 20 0 20 0 238809664 19521036288 792620 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809666 19521036288 792620 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=19063512 memory=-8816748883273818812 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238809667 19521036288 792620 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217886] ppid=217825 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/217828/task/217886/stat : 217886 (Timer-0) S 217825 217828 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809881 19521036288 792620 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3170480 KiB
[startup+12.7002 s]
/proc/loadavg: 4.22 4.14 4.10 5/340 217982
/proc/meminfo: memFree=121541196/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=19063512 memory=3230428 CPUtime=14.56 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 18079 0 0 0 1390 66 0 0 20 0 20 0 238809663 19521036288 807607 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4765878 807607 5532 1 0 2312114 0
[pid=217828/tid=217830] ppid=217825 vsize=19063512 memory=0 CPUtime=12.25 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 6777 0 0 0 1167 58 0 0 20 0 20 0 238809664 19521036288 807607 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809666 19521036288 807607 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238809667 19521036288 807607 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217886] ppid=217825 vsize=19063512 memory=3222236 CPUtime=0 cores=1,3
/proc/217828/task/217886/stat : 217886 (Timer-0) S 217825 217828 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809881 19521036288 807607 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 14.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3230428 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.13 4.10 5/340 217983
/proc/meminfo: memFree=121082320/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=19063512 memory=3347164 CPUtime=27.34 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 19077 0 0 0 2666 68 0 0 20 0 20 0 238809663 19521036288 836791 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4765878 836791 5532 1 0 2312114 0
[pid=217828/tid=217830] ppid=217825 vsize=19063512 memory=3172528 CPUtime=25.02 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 7243 0 0 0 2442 60 0 0 20 0 20 0 238809664 19521036288 836791 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=19063512 memory=2724448 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809666 19521036288 836791 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=19063512 memory=3246812 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238809667 19521036288 836791 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217886] ppid=217825 vsize=19063512 memory=14692 CPUtime=0 cores=1,3
/proc/217828/task/217886/stat : 217886 (Timer-0) S 217825 217828 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809881 19521036288 836791 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 27.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3347164 KiB
[startup+51.106 s]
/proc/loadavg: 4.17 4.13 4.10 5/340 217983
/proc/meminfo: memFree=120463572/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=19063512 memory=3562204 CPUtime=52.91 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 22384 0 0 0 5217 74 0 0 20 0 20 0 238809663 19521036288 890551 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4765878 890551 5532 1 0 2312114 0
[pid=217828/tid=217830] ppid=217825 vsize=19063512 memory=3519196 CPUtime=50.55 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 8900 0 0 0 4990 65 0 0 20 0 20 0 238809664 19521036288 890551 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809666 19521036288 890551 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=19063512 memory=3525340 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238809667 19521036288 890551 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217886] ppid=217825 vsize=19063512 memory=3484380 CPUtime=0 cores=1,3
/proc/217828/task/217886/stat : 217886 (Timer-0) S 217825 217828 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809881 19521036288 890551 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
################
# More data... #
################
/proc/meminfo: memFree=106394280/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=19063512 memory=7534080 CPUtime=3232.41 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 222815 0 0 0 322983 258 0 0 20 0 20 0 238809663 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4765878 1883520 5532 1 0 2313718 0
[pid=217828/tid=217830] ppid=217825 vsize=19063512 memory=7534080 CPUtime=3202.71 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 96988 0 0 0 320183 88 0 0 20 0 20 0 238809664 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=19063512 memory=7534080 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809666 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=19063512 memory=7534080 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 3161 0 0 0 0 0 0 0 20 0 20 0 238809667 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217886] ppid=217825 vsize=19063512 memory=-8816748883273818812 CPUtime=0 cores=1,3
/proc/217828/task/217886/stat : 217886 (Timer-0) S 217825 217828 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809881 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 3232.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7534080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/341 218160
/proc/meminfo: memFree=106369472/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=19063512 memory=7534080 CPUtime=3292.6 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 225806 0 0 0 329000 260 0 0 20 0 20 0 238809663 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4765878 1883520 5532 1 0 2313718 0
[pid=217828/tid=217830] ppid=217825 vsize=19063512 memory=7534080 CPUtime=3262.24 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 97490 0 0 0 326136 88 0 0 20 0 20 0 238809664 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=19063512 memory=7534080 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809666 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=19063512 memory=14692 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 3203 0 0 0 0 0 0 0 20 0 20 0 238809667 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217886] ppid=217825 vsize=19063512 memory=-8816748883273818812 CPUtime=0 cores=1,3
/proc/217828/task/217886/stat : 217886 (Timer-0) S 217825 217828 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809881 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 3292.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7534080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.15 4.11 5/340 218162
/proc/meminfo: memFree=106369804/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=19063512 memory=7534080 CPUtime=3352.47 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 228635 0 0 0 334985 262 0 0 20 0 20 0 238809663 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4765878 1883520 5532 1 0 2313718 0
[pid=217828/tid=217830] ppid=217825 vsize=19063512 memory=22272 CPUtime=3322.09 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 100159 0 0 0 332120 89 0 0 20 0 20 0 238809664 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=19063512 memory=14692 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809666 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=19063512 memory=7534080 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 3204 0 0 0 0 0 0 0 20 0 20 0 238809667 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217886] ppid=217825 vsize=19063512 memory=7534080 CPUtime=0 cores=1,3
/proc/217828/task/217886/stat : 217886 (Timer-0) S 217825 217828 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809881 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 3352.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7534080 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/340 218163
/proc/meminfo: memFree=106368916/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=19063512 memory=7534080 CPUtime=3412.58 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 232414 0 0 0 340994 264 0 0 20 0 20 0 238809663 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4765878 1883520 5532 1 0 2313718 0
[pid=217828/tid=217830] ppid=217825 vsize=19063512 memory=22272 CPUtime=3381.71 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 101464 0 0 0 338082 89 0 0 20 0 20 0 238809664 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=19063512 memory=7534080 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809666 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=19063512 memory=7534080 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 3237 0 0 0 0 0 0 0 20 0 20 0 238809667 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217886] ppid=217825 vsize=19063512 memory=7534080 CPUtime=0 cores=1,3
/proc/217828/task/217886/stat : 217886 (Timer-0) S 217825 217828 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809881 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 3412.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7534080 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/341 218166
/proc/meminfo: memFree=106368804/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=19063512 memory=7534080 CPUtime=3472.78 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 236754 0 0 0 347013 265 0 0 20 0 20 0 238809663 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4765878 1883520 5532 1 0 2313718 0
[pid=217828/tid=217830] ppid=217825 vsize=19063512 memory=7534080 CPUtime=3441.23 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 103315 0 0 0 344034 89 0 0 20 0 20 0 238809664 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809666 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=19063512 memory=7534080 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 3324 0 0 0 0 0 0 0 20 0 20 0 238809667 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217886] ppid=217825 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/217828/task/217886/stat : 217886 (Timer-0) S 217825 217828 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809881 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 3472.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7534080 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/341 218168
/proc/meminfo: memFree=106370056/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=19063512 memory=7534080 CPUtime=3532.88 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 241774 0 0 0 353021 267 0 0 20 0 20 0 238809663 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4765878 1883520 5532 1 0 2313718 0
[pid=217828/tid=217830] ppid=217825 vsize=19063512 memory=22272 CPUtime=3500.84 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 105719 0 0 0 349994 90 0 0 20 0 20 0 238809664 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=19063512 memory=7534080 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809666 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=19063512 memory=21484 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 3415 0 0 0 0 0 0 0 20 0 20 0 238809667 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217886] ppid=217825 vsize=19063512 memory=7534080 CPUtime=0 cores=1,3
/proc/217828/task/217886/stat : 217886 (Timer-0) S 217825 217828 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809881 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 3532.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7534080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/341 218170
/proc/meminfo: memFree=106369436/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=19063512 memory=7534080 CPUtime=3592.75 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 243257 0 0 0 359006 269 0 0 20 0 20 0 238809663 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4765878 1883520 5532 1 0 2313718 0
[pid=217828/tid=217830] ppid=217825 vsize=19063512 memory=7534080 CPUtime=3560.69 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 107088 0 0 0 355979 90 0 0 20 0 20 0 238809664 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=19063512 memory=7534080 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809666 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=19063512 memory=14692 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 3502 0 0 0 0 0 0 0 20 0 20 0 238809667 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217886] ppid=217825 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/217828/task/217886/stat : 217886 (Timer-0) S 217825 217828 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809881 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 3592.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7534080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3589.6 s]
/proc/loadavg: 4.08 4.11 4.09 4/316 218205
/proc/meminfo: memFree=114193912/131249992 swapFree=33003724/33010684
[pid=217828] ppid=217825 vsize=19063512 memory=7534080 CPUtime=3600.04 cores=1,3
/proc/217828/stat : 217828 (java) S 217825 217828 216805 0 -1 4194304 243443 0 0 0 359735 269 0 0 20 0 20 0 238809663 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
/proc/217828/statm: 4765878 1883520 5532 1 0 2313718 0
[pid=217828/tid=217830] ppid=217825 vsize=19063512 memory=22272 CPUtime=3567.98 cores=1,3
/proc/217828/task/217830/stat : 217830 (java) R 217825 217828 216805 0 -1 4194368 107271 0 0 0 356708 90 0 0 20 0 20 0 238809664 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217839] ppid=217825 vsize=19063512 memory=-8816748883273818812 CPUtime=0 cores=1,3
/proc/217828/task/217839/stat : 217839 (Finalizer) S 217825 217828 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238809666 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217846] ppid=217825 vsize=19063512 memory=21484 CPUtime=0 cores=1,3
/proc/217828/task/217846/stat : 217846 (Common-Cleaner) S 217825 217828 216805 0 -1 4194368 3502 0 0 0 0 0 0 0 20 0 20 0 238809667 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
[pid=217828/tid=217886] ppid=217825 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/217828/task/217886/stat : 217886 (Timer-0) S 217825 217828 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238809881 19521036288 1883520 18446744073709551615 94844428095488 94844428099184 140723286459136 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94844428107000 94844428107792 94844431224832 140723286460799 140723286460900 140723286460900 140723286466504 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7534080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3589.7 s]
# the end of solver process 217828 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.46 s, system=2.72504 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3589.7
CPU time (s): 3600.18
CPU user time (s): 3597.46
CPU system time (s): 2.72504
CPU usage (%): 100.292
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 7534080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.46
system time used= 2.72504
maximum resident set size= 7535104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246309
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127262
involuntary context switches= 6585
# summary of solver processes directly reported to runsolver:
# pid: 217828
# total CPU time (s): 3600.18
# total CPU user time (s): 3597.46
# total CPU system time (s): 2.72504
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4067 second user time and 14.7983 second system time
The end