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: 63794 MiB (63084 MiB free)
memory of node 1: 64507 MiB (63538 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507164-1751186374/watcher-4507164-1751186374 -o /tmp/evaluation-result-4507164-1751186374/solver-4507164-1751186374 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751182786-24217 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4507164-1751186374.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=24724, runsolver pid=24721
[startup+0.100069 s]*
/proc/loadavg: 4.12 4.12 4.09 7/301 24742
/proc/meminfo: memFree=129637224/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=18930384 memory=48480 CPUtime=0.12 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 5797 0 0 0 9 3 0 0 20 0 18 0 34317193 19384713216 12120 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4732596 12120 5332 1 0 547011 0
[pid=24724/tid=24726] ppid=24721 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 4645 0 0 0 5 2 0 0 20 0 18 0 34317195 19384713216 12120 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=18930384 memory=16142 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34317200 19384713216 12120 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 34317201 19384713216 12120 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48480 KiB
[startup+0.213308 s]*
/proc/loadavg: 4.12 4.12 4.09 6/301 24742
/proc/meminfo: memFree=129637480/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=18930384 memory=51168 CPUtime=0.27 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 6440 0 0 0 23 4 0 0 20 0 18 0 34317193 19384713216 12792 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4732596 12792 5364 1 0 547514 0
[pid=24724/tid=24726] ppid=24721 vsize=18930384 memory=4026597495 CPUtime=0.16 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 4976 0 0 0 13 3 0 0 20 0 18 0 34317195 19384713216 12792 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=18930384 memory=215637835243 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34317200 19384713216 12792 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=18930384 memory=18050 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 34317201 19384713216 12792 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51168 KiB
[startup+0.313142 s]*
/proc/loadavg: 4.12 4.12 4.09 7/301 24742
/proc/meminfo: memFree=129637480/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=18930384 memory=58768 CPUtime=0.42 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 6731 0 0 0 38 4 0 0 20 0 18 0 34317193 19384713216 14692 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4732596 14692 5428 1 0 547732 0
[pid=24724/tid=24726] ppid=24721 vsize=18930384 memory=-6000919502821484653 CPUtime=0.25 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 5160 0 0 0 22 3 0 0 20 0 18 0 34317195 19384713216 14692 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34317200 19384713216 14692 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 34317201 19384713216 14692 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58768 KiB
[startup+0.700398 s]
/proc/loadavg: 4.12 4.12 4.09 7/303 24748
/proc/meminfo: memFree=129623492/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=18930384 memory=91312 CPUtime=1.13 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 8669 0 0 0 106 7 0 0 20 0 18 0 34317193 19384713216 22828 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4732596 22828 5428 1 0 549109 0
[pid=24724/tid=24726] ppid=24721 vsize=18930384 memory=17152 CPUtime=0.58 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 5277 0 0 0 54 4 0 0 20 0 18 0 34317195 19384713216 22828 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=18930384 memory=10624 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34317200 19384713216 22828 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 34317201 19384713216 22828 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 91312 KiB
[startup+1.50025 s]
/proc/loadavg: 4.12 4.12 4.09 5/304 24775
/proc/meminfo: memFree=129533548/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=19063512 memory=167468 CPUtime=2.71 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 12509 0 0 0 260 11 0 0 20 0 20 0 34317193 19521036288 41867 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4765878 41867 5492 1 0 550457 0
[pid=24724/tid=24726] ppid=24721 vsize=19063512 memory=3200 CPUtime=1.34 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 5568 0 0 0 128 6 0 0 20 0 20 0 34317195 19521036288 41867 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34317200 19521036288 41867 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34317201 19521036288 41867 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 167468 KiB
[startup+3.10556 s]
/proc/loadavg: 4.35 4.17 4.11 7/326 24800
/proc/meminfo: memFree=129385272/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=19063512 memory=169004 CPUtime=4.9 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 13649 0 0 0 479 11 0 0 20 0 20 0 34317193 19521036288 42251 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4765878 42251 5492 1 0 550692 0
[pid=24724/tid=24726] ppid=24721 vsize=19063512 memory=10624 CPUtime=2.92 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 5819 0 0 0 286 6 0 0 20 0 20 0 34317195 19521036288 42251 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34317200 19521036288 42251 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34317201 19521036288 42251 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24777] ppid=24721 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/24724/task/24777/stat : 24777 (Timer-0) S 24721 24724 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34317298 19521036288 42251 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 4.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169004 KiB
[startup+6.30044 s]
/proc/loadavg: 4.35 4.17 4.11 5/326 24801
/proc/meminfo: memFree=129340148/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=19063512 memory=181768 CPUtime=8.83 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 24259 0 0 0 869 14 0 0 20 0 20 0 34317193 19521036288 45442 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4765878 45442 5492 1 0 554006 0
[pid=24724/tid=24726] ppid=24721 vsize=19063512 memory=0 CPUtime=6.09 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 7365 0 0 0 603 6 0 0 20 0 20 0 34317195 19521036288 45442 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34317200 19521036288 45442 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34317201 19521036288 45442 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24777] ppid=24721 vsize=19063512 memory=-6000919502821484653 CPUtime=0 cores=0,2
/proc/24724/task/24777/stat : 24777 (Timer-0) S 24721 24724 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34317298 19521036288 45442 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 8.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181768 KiB
[startup+12.7004 s]
/proc/loadavg: 4.37 4.18 4.11 5/326 24801
/proc/meminfo: memFree=129307852/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=19063512 memory=194184 CPUtime=16.37 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 34220 0 0 0 1620 17 0 0 20 0 20 0 34317193 19521036288 48546 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4765878 48546 5524 1 0 554388 0
[pid=24724/tid=24726] ppid=24721 vsize=19063512 memory=10624 CPUtime=12.38 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 8158 0 0 0 1232 6 0 0 20 0 20 0 34317195 19521036288 48546 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=19063512 memory=-6000919502821484653 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34317200 19521036288 48546 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 34317201 19521036288 48546 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24777] ppid=24721 vsize=19063512 memory=-6000919502821484653 CPUtime=0 cores=0,2
/proc/24724/task/24777/stat : 24777 (Timer-0) S 24721 24724 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34317298 19521036288 48546 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 16.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 194184 KiB
[startup+25.5005 s]
/proc/loadavg: 4.39 4.19 4.11 5/326 24801
/proc/meminfo: memFree=129250004/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=19063512 memory=191404 CPUtime=29.66 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 37065 0 0 0 2948 18 0 0 20 0 20 0 34317193 19521036288 47851 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4765878 47851 5524 1 0 555096 0
[pid=24724/tid=24726] ppid=24721 vsize=19063512 memory=197504 CPUtime=25.14 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 8848 0 0 0 2508 6 0 0 20 0 20 0 34317195 19521036288 47851 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=19063512 memory=197504 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34317200 19521036288 47851 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 34317201 19521036288 47851 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24777] ppid=24721 vsize=19063512 memory=191404 CPUtime=0 cores=0,2
/proc/24724/task/24777/stat : 24777 (Timer-0) S 24721 24724 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34317298 19521036288 47851 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 29.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191404 KiB
[startup+51.1131 s]
/proc/loadavg: 4.26 4.17 4.11 5/326 24801
/proc/meminfo: memFree=128845004/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=19063512 memory=298472 CPUtime=55.41 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 38464 0 0 0 5518 23 0 0 20 0 20 0 34317193 19521036288 74618 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4765878 74618 5524 1 0 555107 0
[pid=24724/tid=24726] ppid=24721 vsize=19063512 memory=226420 CPUtime=50.35 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 8899 0 0 0 5029 6 0 0 20 0 20 0 34317195 19521036288 74618 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=19063512 memory=-6000919502821484653 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34317200 19521036288 74618 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=19063512 memory=230752 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 34317201 19521036288 74618 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24777] ppid=24721 vsize=19063512 memory=197504 CPUtime=0 cores=0,2
/proc/24724/task/24777/stat : 24777 (Timer-0) S 24721 24724 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34317298 19521036288 74618 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 55.41 s
################
# More data... #
################
/proc/meminfo: memFree=112883896/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=19063512 memory=4445832 CPUtime=3357.01 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 124276 0 0 0 335395 306 0 0 20 0 20 0 34317193 19521036288 1111458 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4765878 1111458 5524 1 0 1511323 0
[pid=24724/tid=24726] ppid=24721 vsize=19063512 memory=3200 CPUtime=3317.73 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 53376 0 0 0 331752 21 0 0 20 0 20 0 34317195 19521036288 1111458 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34317200 19521036288 1111458 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=19063512 memory=4445832 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 476 0 0 0 0 0 0 0 20 0 20 0 34317201 19521036288 1111458 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24777] ppid=24721 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/24724/task/24777/stat : 24777 (Timer-0) S 24721 24724 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34317298 19521036288 1111458 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 3357.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4445832 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.14 5/325 24985
/proc/meminfo: memFree=112548124/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=19063512 memory=4445832 CPUtime=3416.88 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 125800 0 0 0 341379 309 0 0 20 0 20 0 34317193 19521036288 1111458 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4765878 1111458 5524 1 0 1511323 0
[pid=24724/tid=24726] ppid=24721 vsize=19063512 memory=3200 CPUtime=3377.55 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 54824 0 0 0 337734 21 0 0 20 0 20 0 34317195 19521036288 1111458 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=19063512 memory=4367232 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34317200 19521036288 1111458 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 483 0 0 0 0 0 0 0 20 0 20 0 34317201 19521036288 1111458 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24777] ppid=24721 vsize=19063512 memory=-6000919502821484653 CPUtime=0 cores=0,2
/proc/24724/task/24777/stat : 24777 (Timer-0) S 24721 24724 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34317298 19521036288 1111458 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 3416.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4445832 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/326 24988
/proc/meminfo: memFree=112214308/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=19063512 memory=4446472 CPUtime=3477.25 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 126988 0 0 0 347413 312 0 0 20 0 20 0 34317193 19521036288 1111618 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4765878 1111618 5524 1 0 1511489 0
[pid=24724/tid=24726] ppid=24721 vsize=19063512 memory=3200 CPUtime=3437.09 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 54955 0 0 0 343688 21 0 0 20 0 20 0 34317195 19521036288 1111618 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=19063512 memory=4367232 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34317200 19521036288 1111618 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=19063512 memory=4446472 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 498 0 0 0 0 0 0 0 20 0 20 0 34317201 19521036288 1111618 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24777] ppid=24721 vsize=19063512 memory=4446472 CPUtime=0 cores=0,2
/proc/24724/task/24777/stat : 24777 (Timer-0) S 24721 24724 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34317298 19521036288 1111618 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 3477.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4446472 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/326 24990
/proc/meminfo: memFree=111976000/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=19063512 memory=4446984 CPUtime=3537.57 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 128889 0 0 0 353442 315 0 0 20 0 20 0 34317193 19521036288 1111746 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4765878 1111746 5524 1 0 1511629 0
[pid=24724/tid=24726] ppid=24721 vsize=19063512 memory=4446472 CPUtime=3496.65 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 56511 0 0 0 349643 22 0 0 20 0 20 0 34317195 19521036288 1111746 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=19063512 memory=4446472 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34317200 19521036288 1111746 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=19063512 memory=17152 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 498 0 0 0 0 0 0 0 20 0 20 0 34317201 19521036288 1111746 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24777] ppid=24721 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/24724/task/24777/stat : 24777 (Timer-0) S 24721 24724 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34317298 19521036288 1111746 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 3537.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4446984 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.12 4.13 5/326 24994
/proc/meminfo: memFree=111982180/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=19063512 memory=4446984 CPUtime=3597.45 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 130642 0 0 0 359426 319 0 0 20 0 20 0 34317193 19521036288 1111746 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4765878 1111746 5524 1 0 1511629 0
[pid=24724/tid=24726] ppid=24721 vsize=19063512 memory=4446984 CPUtime=3556.48 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 58144 0 0 0 355626 22 0 0 20 0 20 0 34317195 19521036288 1111746 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=19063512 memory=4446984 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34317200 19521036288 1111746 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 530 0 0 0 0 0 0 0 20 0 20 0 34317201 19521036288 1111746 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24777] ppid=24721 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/24724/task/24777/stat : 24777 (Timer-0) S 24721 24724 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34317298 19521036288 1111746 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 3597.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4446984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3584.9 s]
/proc/loadavg: 4.16 4.12 4.13 4/280 25035
/proc/meminfo: memFree=121535532/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=19063512 memory=4446984 CPUtime=3600.05 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 130647 0 0 0 359686 319 0 0 20 0 20 0 34317193 19521036288 1111746 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4765878 1111746 5524 1 0 1511629 0
[pid=24724/tid=24726] ppid=24721 vsize=19063512 memory=17152 CPUtime=3559.07 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) R 24721 24724 24204 0 -1 4194368 58149 0 0 0 355885 22 0 0 20 0 20 0 34317195 19521036288 1111746 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=19063512 memory=4446472 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34317200 19521036288 1111746 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=19063512 memory=4445832 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 530 0 0 0 0 0 0 0 20 0 20 0 34317201 19521036288 1111746 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24777] ppid=24721 vsize=19063512 memory=3958984 CPUtime=0 cores=0,2
/proc/24724/task/24777/stat : 24777 (Timer-0) S 24721 24724 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34317298 19521036288 1111746 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4446984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3585.16 s]
# the end of solver process 24724 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.14 s, system=3.2171 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3585.01 s]*
/proc/loadavg: 4.16 4.12 4.13 5/304 25105
/proc/meminfo: memFree=121480296/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=19263204 memory=4448136 CPUtime=3600.19 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 132312 0 0 0 359700 319 0 0 20 0 21 0 34317193 19725520896 1112034 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4815801 1112034 5556 1 0 1512611 0
[pid=24724/tid=24726] ppid=24721 vsize=19263204 memory=8039887049847964578 CPUtime=3559.09 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) S 24721 24724 24204 0 -1 4194368 58423 0 0 0 355887 22 0 0 20 0 21 0 34317195 19725520896 1112034 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=19263204 memory=-6786428918777463953 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 34317200 19725520896 1112034 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=19263204 memory=-6810951722503841587 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 530 0 0 0 0 0 0 0 20 0 21 0 34317201 19725520896 1112034 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=25098] ppid=24721 vsize=19263204 memory=7741289189334831474 CPUtime=0.07 cores=0,2
/proc/24724/task/25098/stat : 25098 (Thread-0) R 24721 24724 24204 0 -1 4194368 220 0 0 0 7 0 0 0 20 0 21 0 34675685 19725520896 1112034 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4448136 KiB
[startup+3585.11 s]
/proc/loadavg: 4.16 4.12 4.13 5/304 25105
/proc/meminfo: memFree=121480296/131382112 swapFree=33010684/33010684
[pid=24724] ppid=24721 vsize=19263204 memory=4448136 CPUtime=3600.3 cores=0,2
/proc/24724/stat : 24724 (java) S 24721 24724 24204 0 -1 4194304 132327 0 0 0 359711 319 0 0 20 0 21 0 34317193 19725520896 1112034 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
/proc/24724/statm: 4815801 1112034 5556 1 0 1512618 0
[pid=24724/tid=24726] ppid=24721 vsize=19263204 memory=17152 CPUtime=3559.09 cores=0,2
/proc/24724/task/24726/stat : 24726 (java) S 24721 24724 24204 0 -1 4194368 58423 0 0 0 355887 22 0 0 20 0 21 0 34317195 19725520896 1112034 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24735] ppid=24721 vsize=19263204 memory=4446472 CPUtime=0 cores=0,2
/proc/24724/task/24735/stat : 24735 (Finalizer) S 24721 24724 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 34317200 19725520896 1112034 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=24742] ppid=24721 vsize=19263204 memory=4445832 CPUtime=0 cores=0,2
/proc/24724/task/24742/stat : 24742 (Common-Cleaner) S 24721 24724 24204 0 -1 4194368 530 0 0 0 0 0 0 0 20 0 21 0 34317201 19725520896 1112034 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
[pid=24724/tid=25098] ppid=24721 vsize=19263204 memory=3958984 CPUtime=0.17 cores=0,2
/proc/24724/task/25098/stat : 25098 (Thread-0) R 24721 24724 24204 0 -1 4194368 226 0 0 0 17 0 0 0 20 0 21 0 34675685 19725520896 1112034 18446744073709551615 94625898795008 94625898798704 140727613856560 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94625898806520 94625898807312 94625919963136 140727613864321 140727613864422 140727613864422 140727613870024 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4448136 KiB
Child status: 143
Real time (s): 3585.16
CPU time (s): 3600.36
CPU user time (s): 3597.14
CPU system time (s): 3.2171
CPU usage (%): 100.424
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4448136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.14
system time used= 3.2171
maximum resident set size= 4448264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109263
involuntary context switches= 10287
# summary of solver processes directly reported to runsolver:
# pid: 24724
# total CPU time (s): 3600.36
# total CPU user time (s): 3597.14
# total CPU system time (s): 3.2171
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0054 second user time and 38.9923 second system time
The end