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 (57133 MiB free)
memory of node 1: 64465 MiB (57955 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545316-1753238617/watcher-4545316-1753238617 -o /tmp/evaluation-result-4545316-1753238617/solver-4545316-1753238617 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753235137-181654 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4545316-1753238617.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=182021, runsolver pid=182018
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.15 4.15 4.17 5/338 182039
/proc/meminfo: memFree=117829664/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=18930384 memory=55672 CPUtime=0.12 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 6548 0 0 0 10 2 0 0 20 0 18 0 239541149 19384713216 13918 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4732596 13918 5366 1 0 547604 0
[pid=182021/tid=182023] ppid=182018 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 5042 0 0 0 6 1 0 0 20 0 18 0 239541150 19384713216 13918 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239541152 19384713216 13918 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=18930384 memory=60684515952020 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239541153 19384713216 13918 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55672 KiB
[startup+0.205754 s]*
/proc/loadavg: 4.15 4.15 4.17 7/338 182039
/proc/meminfo: memFree=117817376/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=18930384 memory=66492 CPUtime=0.3 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 7108 0 0 0 28 2 0 0 20 0 18 0 239541149 19384713216 16623 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4732596 16623 5462 1 0 547959 0
[pid=182021/tid=182023] ppid=182018 vsize=18930384 memory=4026990876 CPUtime=0.16 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 5371 0 0 0 15 1 0 0 20 0 18 0 239541150 19384713216 16623 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=18930384 memory=16898 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239541152 19384713216 16623 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239541153 19384713216 16623 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66492 KiB
[startup+0.305605 s]*
/proc/loadavg: 4.15 4.15 4.17 6/338 182039
/proc/meminfo: memFree=117791036/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=18930384 memory=103744 CPUtime=0.49 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 8667 0 0 0 46 3 0 0 20 0 18 0 239541149 19384713216 25936 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4732596 25936 5462 1 0 549016 0
[pid=182021/tid=182023] ppid=182018 vsize=18930384 memory=-8600866393587229372 CPUtime=0.25 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 5398 0 0 0 23 2 0 0 20 0 18 0 239541150 19384713216 25936 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239541152 19384713216 25936 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239541153 19384713216 25936 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 103744 KiB
[startup+0.700223 s]
/proc/loadavg: 4.15 4.15 4.17 6/339 182040
/proc/meminfo: memFree=117713212/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=18996948 memory=194456 CPUtime=1.26 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 10872 0 0 0 120 6 0 0 20 0 19 0 239541149 19452874752 48614 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4749237 48614 5494 1 0 550795 0
[pid=182021/tid=182023] ppid=182018 vsize=18996948 memory=27264 CPUtime=0.57 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 5425 0 0 0 54 3 0 0 20 0 19 0 239541150 19452874752 48614 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 239541152 19452874752 48614 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 239541153 19452874752 48614 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 194456 KiB
[startup+1.5002 s]
/proc/loadavg: 4.15 4.15 4.17 6/339 182040
/proc/meminfo: memFree=117594876/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=18996948 memory=596500 CPUtime=2.84 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 17129 0 0 0 269 15 0 0 20 0 19 0 239541149 19452874752 149125 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4749237 149125 5494 1 0 1168241 0
[pid=182021/tid=182023] ppid=182018 vsize=18996948 memory=3328 CPUtime=1.1 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 5574 0 0 0 102 8 0 0 20 0 19 0 239541150 19452874752 149125 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 239541152 19452874752 149125 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 239541153 19452874752 149125 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 596500 KiB
[startup+3.1055 s]
/proc/loadavg: 4.14 4.15 4.16 5/341 182042
/proc/meminfo: memFree=116844640/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=19130076 memory=1047504 CPUtime=5.49 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 20054 0 0 0 523 26 0 0 20 0 21 0 239541149 19589197824 261876 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4782519 261876 5494 1 0 2172280 0
[pid=182021/tid=182023] ppid=182018 vsize=19130076 memory=10752 CPUtime=2.51 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 6094 0 0 0 235 16 0 0 20 0 21 0 239541150 19589197824 261876 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=19130076 memory=0 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239541152 19589197824 261876 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=19130076 memory=5504 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 239541153 19589197824 261876 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182041] ppid=182018 vsize=19130076 memory=5276 CPUtime=0 cores=4,6
/proc/182021/task/182041/stat : 182041 (Timer-0) S 182018 182021 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239541318 19589197824 261876 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 5.49 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1047504 KiB
[startup+6.30023 s]
/proc/loadavg: 4.14 4.15 4.16 5/341 182042
/proc/meminfo: memFree=116839584/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=19130076 memory=1046212 CPUtime=9.41 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 20264 0 0 0 914 27 0 0 20 0 21 0 239541149 19589197824 261553 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4782519 261553 5494 1 0 2172362 0
[pid=182021/tid=182023] ppid=182018 vsize=19130076 memory=0 CPUtime=5.55 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 6095 0 0 0 539 16 0 0 20 0 21 0 239541150 19589197824 261553 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=19130076 memory=7100839887185286273 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239541152 19589197824 261553 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=19130076 memory=-8600866393587229372 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 239541153 19589197824 261553 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182041] ppid=182018 vsize=19130076 memory=0 CPUtime=0 cores=4,6
/proc/182021/task/182041/stat : 182041 (Timer-0) S 182018 182021 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239541318 19589197824 261553 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 9.41 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1046212 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.15 4.16 6/341 182042
/proc/meminfo: memFree=113648800/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=19130076 memory=4538416 CPUtime=16.15 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 22517 0 0 0 1521 94 0 0 20 0 21 0 239541149 19589197824 1134604 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4782519 1134604 5494 1 0 2172362 0
[pid=182021/tid=182023] ppid=182018 vsize=19130076 memory=0 CPUtime=11.94 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 8294 0 0 0 1111 83 0 0 20 0 21 0 239541150 19589197824 1134604 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=19130076 memory=4016176 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239541152 19589197824 1134604 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=19130076 memory=0 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 239541153 19589197824 1134604 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182041] ppid=182018 vsize=19130076 memory=0 CPUtime=0 cores=4,6
/proc/182021/task/182041/stat : 182041 (Timer-0) S 182018 182021 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239541318 19589197824 1134604 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 16.15 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4538416 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.14 4.16 5/341 182042
/proc/meminfo: memFree=112452768/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=19130076 memory=5427844 CPUtime=29.22 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 31707 0 0 0 2810 112 0 0 20 0 21 0 239541149 19589197824 1356961 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4782519 1356961 5526 1 0 2172456 0
[pid=182021/tid=182023] ppid=182018 vsize=19130076 memory=-8600866393587229372 CPUtime=24.59 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 10751 0 0 0 2361 98 0 0 20 0 21 0 239541150 19589197824 1356961 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=19130076 memory=3103 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239541152 19589197824 1356961 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=19130076 memory=5292508 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 239541153 19589197824 1356961 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182041] ppid=182018 vsize=19130076 memory=5292508 CPUtime=0 cores=4,6
/proc/182021/task/182041/stat : 182041 (Timer-0) S 182018 182021 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239541318 19589197824 1356961 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 29.22 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 5427844 KiB
[startup+51.1057 s]
/proc/loadavg: 4.13 4.14 4.16 6/342 182044
/proc/meminfo: memFree=112448704/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=19130076 memory=5432592 CPUtime=55.48 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 42927 0 0 0 5433 115 0 0 20 0 21 0 239541149 19589197824 1358148 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4782519 1358148 5526 1 0 2172552 0
[pid=182021/tid=182023] ppid=182018 vsize=19130076 memory=5432592 CPUtime=49.97 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 14889 0 0 0 4898 99 0 0 20 0 21 0 239541150 19589197824 1358148 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=19130076 memory=-8600866393587229372 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239541152 19589197824 1358148 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=19130076 memory=5428228 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 21 0 239541153 19589197824 1358148 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182041] ppid=182018 vsize=19130076 memory=5427716 CPUtime=0 cores=4,6
/proc/182021/task/182041/stat : 182041 (Timer-0) S 182018 182021 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239541318 19589197824 1358148 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 55.48 s
################
# More data... #
################
/proc/meminfo: memFree=101594964/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=19130076 memory=5943404 CPUtime=3203.98 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 220525 0 0 0 320122 276 0 0 20 0 21 0 239541149 19589197824 1485851 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4782519 1485851 5526 1 0 2173568 0
[pid=182021/tid=182023] ppid=182018 vsize=19130076 memory=5918816 CPUtime=3133.36 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 132850 0 0 0 313192 144 0 0 20 0 21 0 239541150 19589197824 1485851 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=19130076 memory=5941352 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239541152 19589197824 1485851 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=19130076 memory=5941352 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 2492 0 0 0 0 0 0 0 20 0 21 0 239541153 19589197824 1485851 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182041] ppid=182018 vsize=19130076 memory=5941352 CPUtime=0 cores=4,6
/proc/182021/task/182041/stat : 182041 (Timer-0) S 182018 182021 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239541318 19589197824 1485851 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 3203.98 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 5943404 KiB
[startup+3222.3 s]
/proc/loadavg: 5.04 4.72 4.49 5/343 182415
/proc/meminfo: memFree=101586768/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=19130076 memory=5949556 CPUtime=3264.76 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 222694 0 0 0 326198 278 0 0 20 0 21 0 239541149 19589197824 1487389 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4782519 1487389 5526 1 0 2173568 0
[pid=182021/tid=182023] ppid=182018 vsize=19130076 memory=14464 CPUtime=3192.87 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 133755 0 0 0 319142 145 0 0 20 0 21 0 239541150 19589197824 1487389 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=19130076 memory=5949556 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239541152 19589197824 1487389 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=19130076 memory=5949556 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 2573 0 0 0 0 0 0 0 20 0 21 0 239541153 19589197824 1487389 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182041] ppid=182018 vsize=19130076 memory=5949556 CPUtime=0 cores=4,6
/proc/182021/task/182041/stat : 182041 (Timer-0) S 182018 182021 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239541318 19589197824 1487389 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 3264.76 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 5949556 KiB
[startup+3282.3 s]
/proc/loadavg: 4.90 4.73 4.50 5/343 182417
/proc/meminfo: memFree=101578288/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=19130076 memory=5955704 CPUtime=3325.53 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 225587 0 0 0 332271 282 0 0 20 0 21 0 239541149 19589197824 1488926 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4782519 1488926 5526 1 0 2173568 0
[pid=182021/tid=182023] ppid=182018 vsize=19130076 memory=5953656 CPUtime=3252.33 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 136460 0 0 0 325088 145 0 0 20 0 21 0 239541150 19589197824 1488926 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=19130076 memory=5953656 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239541152 19589197824 1488926 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=19130076 memory=14464 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 2573 0 0 0 0 0 0 0 20 0 21 0 239541153 19589197824 1488926 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182041] ppid=182018 vsize=19130076 memory=5951608 CPUtime=0 cores=4,6
/proc/182021/task/182041/stat : 182041 (Timer-0) S 182018 182021 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239541318 19589197824 1488926 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 3325.53 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 5955704 KiB
[startup+3342.3 s]
/proc/loadavg: 4.67 4.69 4.50 5/342 182419
/proc/meminfo: memFree=101570400/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=19130076 memory=5963896 CPUtime=3386.36 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 229282 0 0 0 338352 284 0 0 20 0 21 0 239541149 19589197824 1490974 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4782519 1490974 5526 1 0 2173568 0
[pid=182021/tid=182023] ppid=182018 vsize=19130076 memory=27264 CPUtime=3311.84 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 139038 0 0 0 331038 146 0 0 20 0 21 0 239541150 19589197824 1490974 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=19130076 memory=5961848 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239541152 19589197824 1490974 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=19130076 memory=5963896 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 2619 0 0 0 0 0 0 0 20 0 21 0 239541153 19589197824 1490974 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182041] ppid=182018 vsize=19130076 memory=5959800 CPUtime=0 cores=4,6
/proc/182021/task/182041/stat : 182041 (Timer-0) S 182018 182021 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239541318 19589197824 1490974 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 3386.36 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 5963896 KiB
[startup+3402.3 s]
/proc/loadavg: 5.02 4.79 4.55 6/342 182421
/proc/meminfo: memFree=101418308/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=19130076 memory=5970084 CPUtime=3447.2 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 231355 0 0 0 344434 286 0 0 20 0 21 0 239541149 19589197824 1492521 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4782519 1492521 5526 1 0 2173576 0
[pid=182021/tid=182023] ppid=182018 vsize=19130076 memory=5961848 CPUtime=3371.34 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 139965 0 0 0 336988 146 0 0 20 0 21 0 239541150 19589197824 1492521 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=19130076 memory=5959800 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239541152 19589197824 1492521 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=19130076 memory=14464 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 2665 0 0 0 0 0 0 0 20 0 21 0 239541153 19589197824 1492521 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182041] ppid=182018 vsize=19130076 memory=10752 CPUtime=0 cores=4,6
/proc/182021/task/182041/stat : 182041 (Timer-0) S 182018 182021 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239541318 19589197824 1492521 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 3447.2 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 5970084 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.58 4.49 4/317 182457
/proc/meminfo: memFree=109843692/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=19130076 memory=5978276 CPUtime=3508.18 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 233942 0 0 0 350529 289 0 0 20 0 21 0 239541149 19589197824 1494569 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4782519 1494569 5526 1 0 2173609 0
[pid=182021/tid=182023] ppid=182018 vsize=19130076 memory=5961848 CPUtime=3430.69 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 142420 0 0 0 342922 147 0 0 20 0 21 0 239541150 19589197824 1494569 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=19130076 memory=5959800 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239541152 19589197824 1494569 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=19130076 memory=14464 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 2666 0 0 0 0 0 0 0 20 0 21 0 239541153 19589197824 1494569 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182041] ppid=182018 vsize=19130076 memory=-4421386491919427935 CPUtime=0 cores=4,6
/proc/182021/task/182041/stat : 182041 (Timer-0) S 182018 182021 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239541318 19589197824 1494569 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 3508.18 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 5978276 KiB
[startup+3522.3 s]
/proc/loadavg: 3.43 4.32 4.41 2/267 182529
/proc/meminfo: memFree=122242560/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=19130076 memory=5984520 CPUtime=3568.92 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 237807 0 0 0 356598 294 0 0 20 0 21 0 239541149 19589197824 1496130 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4782519 1496130 5526 1 0 2173609 0
[pid=182021/tid=182023] ppid=182018 vsize=19130076 memory=5276 CPUtime=3490.07 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 144929 0 0 0 348858 149 0 0 20 0 21 0 239541150 19589197824 1496130 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=19130076 memory=4480 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239541152 19589197824 1496130 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=19130076 memory=-8600866393587229372 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 2749 0 0 0 0 0 0 0 20 0 21 0 239541153 19589197824 1496130 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182041] ppid=182018 vsize=19130076 memory=5982372 CPUtime=0 cores=4,6
/proc/182021/task/182041/stat : 182041 (Timer-0) S 182018 182021 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239541318 19589197824 1496130 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 3568.92 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 5984520 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3553 s]*
/proc/loadavg: 2.52 4.01 4.30 2/267 182530
/proc/meminfo: memFree=122238464/131250000 swapFree=33009904/33010684
[pid=182021] ppid=182018 vsize=19130076 memory=5986568 CPUtime=3600.02 cores=4,6
/proc/182021/stat : 182021 (java) S 182018 182021 181643 0 -1 4194304 239892 0 0 0 359706 296 0 0 20 0 21 0 239541149 19589197824 1496642 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
/proc/182021/statm: 4782519 1496642 5526 1 0 2173609 0
[pid=182021/tid=182023] ppid=182018 vsize=19130076 memory=-8600866393587229372 CPUtime=3520.49 cores=4,6
/proc/182021/task/182023/stat : 182023 (java) R 182018 182021 181643 0 -1 4194368 145885 0 0 0 351900 149 0 0 20 0 21 0 239541150 19589197824 1496642 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182032] ppid=182018 vsize=19130076 memory=7223895395536034116 CPUtime=0 cores=4,6
/proc/182021/task/182032/stat : 182032 (Finalizer) S 182018 182021 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239541152 19589197824 1496642 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182039] ppid=182018 vsize=19130076 memory=4480 CPUtime=0 cores=4,6
/proc/182021/task/182039/stat : 182039 (Common-Cleaner) S 182018 182021 181643 0 -1 4194368 2749 0 0 0 0 0 0 0 20 0 21 0 239541153 19589197824 1496642 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
[pid=182021/tid=182041] ppid=182018 vsize=19130076 memory=1792 CPUtime=0 cores=4,6
/proc/182021/task/182041/stat : 182041 (Timer-0) S 182018 182021 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239541318 19589197824 1496642 18446744073709551615 94235611566080 94235611569776 140731809050480 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94235611577592 94235611578384 94235623387136 140731809057148 140731809057252 140731809057252 140731809062856 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 5986568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3553.11 s]
# the end of solver process 182021 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.21 s, system=2.98813 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3553.11
CPU time (s): 3600.2
CPU user time (s): 3597.21
CPU system time (s): 2.98813
CPU usage (%): 101.325
Max. virtual memory (cumulated for all children) (KiB): 19130076
Max. memory (cumulated for all children) (KiB): 5986568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.21
system time used= 2.98813
maximum resident set size= 5987592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242561
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120008
involuntary context switches= 10923
# summary of solver processes directly reported to runsolver:
# pid: 182021
# total CPU time (s): 3600.2
# total CPU user time (s): 3597.21
# total CPU system time (s): 2.98813
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.61075 second user time and 17.0364 second system time
The end