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: 63968 MiB (48008 MiB free)
memory of node 1: 64473 MiB (58328 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430006-1721128905/watcher-4430006-1721128905 -o /tmp/evaluation-result-4430006-1721128905/solver-4430006-1721128905 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721127569-853199 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4430006-1721128905.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=854844, runsolver pid=854841
[startup+0.100696 s]*
/proc/loadavg: 4.52 4.30 4.21 7/332 854862
/proc/meminfo: memFree=108847348/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=18975048 memory=63768 CPUtime=0.13 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 7246 0 0 0 12 1 0 0 20 0 18 0 165054313 19430449152 15942 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4743762 15942 5751 1 0 549381 0
[pid=854844/tid=854846] ppid=854841 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 1077936192 5767 0 0 0 7 1 0 0 20 0 18 0 165054313 19430449152 15942 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165054316 19430449152 15942 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=18975048 memory=13847473600877114 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 165054316 19430449152 15942 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63768 KiB
[startup+0.208239 s]*
/proc/loadavg: 4.52 4.30 4.21 9/333 854863
/proc/meminfo: memFree=108838560/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19041612 memory=72580 CPUtime=0.34 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 7962 0 0 0 32 2 0 0 20 0 19 0 165054313 19498610688 18145 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4760403 18145 5875 1 0 550134 0
[pid=854844/tid=854846] ppid=854841 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 1077936192 6135 0 0 0 17 1 0 0 20 0 19 0 165054313 19498610688 18145 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19041612 memory=3640 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165054316 19498610688 18146 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19041612 memory=15819993166120615 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 165054316 19498610688 18146 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 165054333 19498610688 18146 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72580 KiB
[startup+0.305855 s]*
/proc/loadavg: 4.52 4.30 4.21 7/333 854863
/proc/meminfo: memFree=108828704/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19041612 memory=82160 CPUtime=0.52 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 9891 0 0 0 50 2 0 0 20 0 19 0 165054313 19498610688 20540 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4760403 20540 5875 1 0 550858 0
[pid=854844/tid=854846] ppid=854841 vsize=19041612 memory=-9104416322289509052 CPUtime=0.26 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 4194368 6183 0 0 0 25 1 0 0 20 0 19 0 165054313 19498610688 20540 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165054316 19498610688 20540 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 165054316 19498610688 20540 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 165054333 19498610688 20540 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 82160 KiB
[startup+0.700774 s]
/proc/loadavg: 4.52 4.30 4.21 6/333 854863
/proc/meminfo: memFree=108796820/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19041612 memory=150280 CPUtime=1.29 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 13123 0 0 0 125 4 0 0 20 0 19 0 165054313 19498610688 37570 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4760403 37570 5875 1 0 552844 0
[pid=854844/tid=854846] ppid=854841 vsize=19041612 memory=41948 CPUtime=0.61 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 4194368 6217 0 0 0 58 3 0 0 20 0 19 0 165054313 19498610688 37570 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19041612 memory=12180 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165054316 19498610688 37570 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19041612 memory=2268 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 165054316 19498610688 37570 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19041612 memory=26024 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 165054333 19498610688 37570 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 150280 KiB
[startup+1.50078 s]
/proc/loadavg: 4.52 4.30 4.21 6/334 854864
/proc/meminfo: memFree=108730308/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19108176 memory=200424 CPUtime=2.84 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 23841 0 0 0 279 5 0 0 20 0 20 0 165054313 19566772224 50106 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4777044 50106 5906 1 0 557361 0
[pid=854844/tid=854846] ppid=854841 vsize=19108176 memory=12180 CPUtime=1.36 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 4194368 6481 0 0 0 133 3 0 0 20 0 20 0 165054313 19566772224 50106 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 50106 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 50106 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19108176 memory=26024 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165054333 19566772224 50106 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 200424 KiB
[startup+3.10579 s]
/proc/loadavg: 4.80 4.36 4.23 5/334 854864
/proc/meminfo: memFree=108488976/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19108176 memory=421280 CPUtime=5.65 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 25917 0 0 0 554 11 0 0 20 0 20 0 165054313 19566772224 105320 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4777044 105320 5906 1 0 663997 0
[pid=854844/tid=854846] ppid=854841 vsize=19108176 memory=0 CPUtime=2.89 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 4194368 6973 0 0 0 282 7 0 0 20 0 20 0 165054313 19566772224 105320 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19108176 memory=-9104416322289509052 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 105320 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19108176 memory=12180 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 105320 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165054333 19566772224 105320 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 5.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 421280 KiB
[startup+6.30077 s]
/proc/loadavg: 4.80 4.36 4.23 6/334 854864
/proc/meminfo: memFree=108344692/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19108176 memory=675588 CPUtime=8.89 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 26592 0 0 0 872 17 0 0 20 0 20 0 165054313 19566772224 168897 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4777044 168897 5906 1 0 837373 0
[pid=854844/tid=854846] ppid=854841 vsize=19108176 memory=2268 CPUtime=5.92 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 4194368 7074 0 0 0 581 11 0 0 20 0 20 0 165054313 19566772224 168897 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 168897 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19108176 memory=12180 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 168897 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165054333 19566772224 168897 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 8.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 675588 KiB
[startup+12.7003 s]
/proc/loadavg: 4.98 4.41 4.25 5/334 854866
/proc/meminfo: memFree=107546676/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19108176 memory=1361860 CPUtime=15.81 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 28494 0 0 0 1551 30 0 0 20 0 20 0 165054313 19566772224 340465 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4777044 340465 5921 1 0 837385 0
[pid=854844/tid=854846] ppid=854841 vsize=19108176 memory=12180 CPUtime=12.2 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 4194368 7868 0 0 0 1197 23 0 0 20 0 20 0 165054313 19566772224 340465 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19108176 memory=1314688 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 340465 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19108176 memory=41948 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 340465 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19108176 memory=12180 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165054333 19566772224 340465 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 15.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1361860 KiB
[startup+25.5003 s]
/proc/loadavg: 5.06 4.45 4.26 5/334 854867
/proc/meminfo: memFree=106797192/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19108176 memory=2103676 CPUtime=29.37 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 42025 0 0 0 2889 48 0 0 20 0 20 0 165054313 19566772224 525919 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4777044 525919 5921 1 0 837597 0
[pid=854844/tid=854846] ppid=854841 vsize=19108176 memory=6943526294502006880 CPUtime=24.84 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) S 854841 854844 853186 0 -1 1077936192 11723 0 0 0 2446 38 0 0 20 0 20 0 165054313 19566772224 525919 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19108176 memory=11560 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 525919 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19108176 memory=3471 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 525919 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19108176 memory=12180 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165054333 19566772224 525919 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 29.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2103676 KiB
[startup+51.1056 s]
/proc/loadavg: 4.78 4.43 4.26 5/313 854889
/proc/meminfo: memFree=117141000/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19108176 memory=2209264 CPUtime=57.58 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 59257 0 0 0 5706 52 0 0 20 0 20 0 165054313 19566772224 552316 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4777044 552316 5921 1 0 838733 0
################
# More data... #
################
/proc/meminfo: memFree=108722668/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19108176 memory=3318640 CPUtime=3189.3 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 356094 0 0 0 318729 201 0 0 20 0 20 0 165054313 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4777044 829660 5943 1 0 839692 0
[pid=854844/tid=854846] ppid=854841 vsize=19108176 memory=3318564 CPUtime=3120.12 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 4194368 145523 0 0 0 311952 60 0 0 20 0 20 0 165054313 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19108176 memory=3318640 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19108176 memory=3318640 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 3700 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19108176 memory=3318640 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165054333 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 3189.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3318640 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.16 4.18 5/331 856847
/proc/meminfo: memFree=108722304/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19108176 memory=3318640 CPUtime=3249.32 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 359763 0 0 0 324729 203 0 0 20 0 20 0 165054313 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4777044 829660 5943 1 0 839692 0
[pid=854844/tid=854846] ppid=854841 vsize=19108176 memory=3318640 CPUtime=3179.14 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 4194368 147811 0 0 0 317854 60 0 0 20 0 20 0 165054313 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19108176 memory=11560 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19108176 memory=3318640 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 3779 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19108176 memory=3318640 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165054333 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 3249.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3318640 KiB
[startup+3282.3 s]
/proc/loadavg: 4.35 4.21 4.19 7/331 856858
/proc/meminfo: memFree=108261612/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19108176 memory=3318640 CPUtime=3309.42 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 364193 0 0 0 330737 205 0 0 20 0 20 0 165054313 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4777044 829660 5943 1 0 839692 0
[pid=854844/tid=854846] ppid=854841 vsize=19108176 memory=3318640 CPUtime=3238.66 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 4194368 149972 0 0 0 323806 60 0 0 20 0 20 0 165054313 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19108176 memory=41948 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19108176 memory=12180 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 3855 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19108176 memory=11560 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165054333 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 3309.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3318640 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/331 856869
/proc/meminfo: memFree=107049004/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19108176 memory=3318640 CPUtime=3369.67 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 368371 0 0 0 336760 207 0 0 20 0 20 0 165054313 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4777044 829660 5943 1 0 839692 0
[pid=854844/tid=854846] ppid=854841 vsize=19108176 memory=3318640 CPUtime=3297.92 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 4194368 151897 0 0 0 329731 61 0 0 20 0 20 0 165054313 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19108176 memory=11560 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19108176 memory=3318640 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 3933 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19108176 memory=3318640 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165054333 19566772224 829660 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 3369.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3318640 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/331 856879
/proc/meminfo: memFree=107048076/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19108176 memory=3318660 CPUtime=3430.11 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 373003 0 0 0 342800 211 0 0 20 0 20 0 165054313 19566772224 829665 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4777044 829665 5943 1 0 839692 0
[pid=854844/tid=854846] ppid=854841 vsize=19108176 memory=3318640 CPUtime=3357.14 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 4194368 154710 0 0 0 335653 61 0 0 20 0 20 0 165054313 19566772224 829665 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19108176 memory=3318656 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829665 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19108176 memory=3318656 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 4023 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829665 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19108176 memory=3318660 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165054333 19566772224 829665 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 3430.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3318660 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.19 4.18 5/330 856890
/proc/meminfo: memFree=106924356/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19108176 memory=3318668 CPUtime=3490.5 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 377735 0 0 0 348837 213 0 0 20 0 20 0 165054313 19566772224 829667 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4777044 829667 5943 1 0 839692 0
[pid=854844/tid=854846] ppid=854841 vsize=19108176 memory=3318640 CPUtime=3416.39 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 4194368 157397 0 0 0 341578 61 0 0 20 0 20 0 165054313 19566772224 829667 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19108176 memory=3318660 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829667 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19108176 memory=3318656 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 4102 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829667 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19108176 memory=3318668 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165054333 19566772224 829667 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 3490.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3318668 KiB
[startup+3522.3 s]
/proc/loadavg: 4.38 4.25 4.20 6/334 856907
/proc/meminfo: memFree=106730540/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19108176 memory=3318668 CPUtime=3550.59 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 382375 0 0 0 354843 216 0 0 20 0 20 0 165054313 19566772224 829667 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4777044 829667 5943 1 0 839692 0
[pid=854844/tid=854846] ppid=854841 vsize=19108176 memory=3318660 CPUtime=3475.64 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 4194368 159870 0 0 0 347502 62 0 0 20 0 20 0 165054313 19566772224 829667 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19108176 memory=3318668 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829667 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19108176 memory=3318668 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 4192 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829667 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19108176 memory=3318668 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165054333 19566772224 829667 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 3550.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3318668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3571.4 s]
/proc/loadavg: 4.52 4.30 4.22 6/334 856916
/proc/meminfo: memFree=106728296/131524600 swapFree=131071996/131071996
[pid=854844] ppid=854841 vsize=19108176 memory=3318668 CPUtime=3600 cores=5,7
/proc/854844/stat : 854844 (java) S 854841 854844 853186 0 -1 1077936128 384532 0 0 0 359782 218 0 0 20 0 20 0 165054313 19566772224 829667 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
/proc/854844/statm: 4777044 829667 5943 1 0 839692 0
[pid=854844/tid=854846] ppid=854841 vsize=19108176 memory=11560 CPUtime=3524.23 cores=5,7
/proc/854844/task/854846/stat : 854846 (java) R 854841 854844 853186 0 -1 4194368 161786 0 0 0 352360 63 0 0 20 0 20 0 165054313 19566772224 829667 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854855] ppid=854841 vsize=19108176 memory=3318668 CPUtime=0 cores=5,7
/proc/854844/task/854855/stat : 854855 (Finalizer) S 854841 854844 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829667 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854862] ppid=854841 vsize=19108176 memory=19432 CPUtime=0 cores=5,7
/proc/854844/task/854862/stat : 854862 (Common-Cleaner) S 854841 854844 853186 0 -1 1077936192 4192 0 0 0 0 0 0 0 20 0 20 0 165054316 19566772224 829667 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
[pid=854844/tid=854863] ppid=854841 vsize=19108176 memory=104 CPUtime=0 cores=5,7
/proc/854844/task/854863/stat : 854863 (Timer-0) S 854841 854844 853186 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 165054333 19566772224 829667 134679101440 94521647894528 94521647898224 140722152300368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94521647906040 94521647906832 94521648287744 140722152309749 140722152309857 140722152309857 140722152316872 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3318668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3571.49 s]
# the end of solver process 854844 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.97 s, system=2.19836 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3571.49
CPU time (s): 3600.17
CPU user time (s): 3597.97
CPU system time (s): 2.19836
CPU usage (%): 100.803
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3318668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.97
system time used= 2.19836
maximum resident set size= 3320144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126421
involuntary context switches= 10248
# summary of solver processes directly reported to runsolver:
# pid: 854844
# total CPU time (s): 3600.17
# total CPU user time (s): 3597.97
# total CPU system time (s): 2.19836
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.68236 second user time and 17.3702 second system time
The end