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 (49520 MiB free)
memory of node 1: 64507 MiB (57417 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515208-1751236661/watcher-4515208-1751236661 -o /tmp/evaluation-result-4515208-1751236661/solver-4515208-1751236661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751227848-32848 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4515208-1751236661.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=34167, runsolver pid=34164
[startup+0.100078 s]*
/proc/loadavg: 4.66 4.62 4.48 7/323 34185
/proc/meminfo: memFree=109488160/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=18930384 memory=48364 CPUtime=0.12 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 5773 0 0 0 9 3 0 0 20 0 18 0 39345884 19384713216 12091 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4732596 12091 5314 1 0 546985 0
[pid=34167/tid=34169] ppid=34164 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 4680 0 0 0 6 2 0 0 20 0 18 0 39345886 19384713216 12091 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39345890 19384713216 12091 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=18930384 memory=59593594258114 CPUtime=0 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 39345891 19384713216 12091 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48364 KiB
[startup+0.215518 s]*
/proc/loadavg: 4.66 4.62 4.48 7/323 34185
/proc/meminfo: memFree=109484064/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=18930384 memory=55304 CPUtime=0.3 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 6469 0 0 0 26 4 0 0 20 0 18 0 39345884 19384713216 13826 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4732596 13826 5346 1 0 547555 0
[pid=34167/tid=34169] ppid=34164 vsize=18930384 memory=4026597660 CPUtime=0.19 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 5007 0 0 0 17 2 0 0 20 0 18 0 39345886 19384713216 13826 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=18930384 memory=16142 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39345890 19384713216 13826 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=18930384 memory=58494082614266 CPUtime=0 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 39345891 19384713216 13826 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55304 KiB
[startup+0.313648 s]*
/proc/loadavg: 4.66 4.62 4.48 7/323 34185
/proc/meminfo: memFree=109479716/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=18930384 memory=58456 CPUtime=0.46 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 6760 0 0 0 42 4 0 0 20 0 18 0 39345884 19384713216 14614 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4732596 14614 5346 1 0 547774 0
[pid=34167/tid=34169] ppid=34164 vsize=18930384 memory=-6000919489869867116 CPUtime=0.28 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 5203 0 0 0 26 2 0 0 20 0 18 0 39345886 19384713216 14614 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39345890 19384713216 14614 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 39345891 19384713216 14614 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58456 KiB
[startup+0.701511 s]
/proc/loadavg: 4.66 4.62 4.48 6/323 34185
/proc/meminfo: memFree=109471524/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=18930384 memory=99296 CPUtime=1.18 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 8721 0 0 0 112 6 0 0 20 0 18 0 39345884 19384713216 24824 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4732596 24824 5442 1 0 549036 0
[pid=34167/tid=34169] ppid=34164 vsize=18930384 memory=17536 CPUtime=0.65 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 5373 0 0 0 62 3 0 0 20 0 18 0 39345886 19384713216 24824 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=18930384 memory=10624 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39345890 19384713216 24824 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=18930384 memory=3200 CPUtime=0 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 39345891 19384713216 24824 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 99296 KiB
[startup+1.50214 s]
/proc/loadavg: 4.66 4.62 4.48 6/323 34185
/proc/meminfo: memFree=109378012/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=19063512 memory=193944 CPUtime=2.73 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 16758 0 0 0 262 11 0 0 20 0 20 0 39345884 19521036288 48486 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4765878 48486 5474 1 0 552007 0
[pid=34167/tid=34169] ppid=34164 vsize=19063512 memory=3200 CPUtime=1.32 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 6669 0 0 0 127 5 0 0 20 0 20 0 39345886 19521036288 48486 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39345890 19521036288 48486 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 39345891 19521036288 48486 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 193944 KiB
[startup+3.1134 s]
/proc/loadavg: 4.66 4.62 4.48 5/325 34187
/proc/meminfo: memFree=109347324/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=19063512 memory=194072 CPUtime=4.41 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 17093 0 0 0 430 11 0 0 20 0 20 0 39345884 19521036288 48518 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4765878 48518 5474 1 0 552014 0
[pid=34167/tid=34169] ppid=34164 vsize=19063512 memory=10624 CPUtime=2.92 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 6765 0 0 0 287 5 0 0 20 0 20 0 39345886 19521036288 48518 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39345890 19521036288 48518 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 39345891 19521036288 48518 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34187] ppid=34164 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/34167/task/34187/stat : 34187 (Timer-0) S 34164 34167 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39346023 19521036288 48518 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 4.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 194072 KiB
[startup+6.30037 s]
/proc/loadavg: 4.61 4.61 4.48 6/325 34187
/proc/meminfo: memFree=109347576/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=19063512 memory=188920 CPUtime=7.59 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 17238 0 0 0 748 11 0 0 20 0 20 0 39345884 19521036288 47230 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4765878 47230 5474 1 0 552014 0
[pid=34167/tid=34169] ppid=34164 vsize=19063512 memory=0 CPUtime=6.1 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 6797 0 0 0 605 5 0 0 20 0 20 0 39345886 19521036288 47230 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=19063512 memory=4283932234721037686 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39345890 19521036288 47230 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=19063512 memory=-6000919489869867116 CPUtime=0 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 39345891 19521036288 47230 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34187] ppid=34164 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/34167/task/34187/stat : 34187 (Timer-0) S 34164 34167 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39346023 19521036288 47230 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 7.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188920 KiB
[startup+12.7004 s]
/proc/loadavg: 4.64 4.62 4.48 5/325 34187
/proc/meminfo: memFree=109343496/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=19063512 memory=190968 CPUtime=14.66 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 21695 0 0 0 1453 13 0 0 20 0 20 0 39345884 19521036288 47742 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4765878 47742 5474 1 0 552030 0
[pid=34167/tid=34169] ppid=34164 vsize=19063512 memory=0 CPUtime=12.46 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 7349 0 0 0 1241 5 0 0 20 0 20 0 39345886 19521036288 47742 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=19063512 memory=189944 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39345890 19521036288 47742 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 39345891 19521036288 47742 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34187] ppid=34164 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/34167/task/34187/stat : 34187 (Timer-0) S 34164 34167 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39346023 19521036288 47742 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 14.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190968 KiB
[startup+25.5004 s]
/proc/loadavg: 4.66 4.62 4.48 6/325 34187
/proc/meminfo: memFree=109344504/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=19063512 memory=191096 CPUtime=27.63 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 23077 0 0 0 2748 15 0 0 20 0 20 0 39345884 19521036288 47774 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4765878 47774 5474 1 0 552030 0
[pid=34167/tid=34169] ppid=34164 vsize=19063512 memory=-6000919489869867116 CPUtime=25.23 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 7869 0 0 0 2517 6 0 0 20 0 20 0 39345886 19521036288 47774 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=19063512 memory=3197 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39345890 19521036288 47774 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=19063512 memory=190968 CPUtime=0 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 39345891 19521036288 47774 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34187] ppid=34164 vsize=19063512 memory=190968 CPUtime=0 cores=1,3
/proc/34167/task/34187/stat : 34187 (Timer-0) S 34164 34167 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39346023 19521036288 47774 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 27.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191096 KiB
[startup+51.1134 s]
/proc/loadavg: 4.56 4.60 4.48 5/325 34188
/proc/meminfo: memFree=109322032/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=19063512 memory=213920 CPUtime=54.14 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 28107 0 0 0 5394 20 0 0 20 0 20 0 39345884 19521036288 53480 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4765878 53480 5474 1 0 552762 0
[pid=34167/tid=34169] ppid=34164 vsize=19063512 memory=216340 CPUtime=50.73 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 8485 0 0 0 5067 6 0 0 20 0 20 0 39345886 19521036288 53480 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=19063512 memory=-6000919489869867116 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39345890 19521036288 53480 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=19063512 memory=209696 CPUtime=0 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 39345891 19521036288 53480 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34187] ppid=34164 vsize=19063512 memory=191096 CPUtime=0 cores=1,3
/proc/34167/task/34187/stat : 34187 (Timer-0) S 34164 34167 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39346023 19521036288 53480 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 54.14 s
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 1.12 1.13 1.69 2/252 34457
/proc/meminfo: memFree=119869076/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=19130076 memory=3603208 CPUtime=3256.66 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 121240 0 1 0 325370 296 0 0 20 0 21 0 39345884 19589197824 900802 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4782519 900802 5538 1 0 915225 0
[pid=34167/tid=34169] ppid=34164 vsize=19130076 memory=3494664 CPUtime=3205.75 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 37207 0 0 0 320512 63 0 0 20 0 21 0 39345886 19589197824 900802 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=19130076 memory=3104352 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39345890 19589197824 900802 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=19130076 memory=14560 CPUtime=0.01 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 2161 0 0 0 0 1 0 0 20 0 21 0 39345891 19589197824 900802 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34187] ppid=34164 vsize=19130076 memory=3191560 CPUtime=0 cores=1,3
/proc/34167/task/34187/stat : 34187 (Timer-0) S 34164 34167 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39346023 19589197824 900802 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 3256.66 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3603208 KiB
[startup+3282.3 s]
/proc/loadavg: 1.09 1.12 1.65 2/252 34463
/proc/meminfo: memFree=119869328/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=19130076 memory=3605256 CPUtime=3316.53 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 123415 0 1 0 331353 300 0 0 20 0 21 0 39345884 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4782519 901314 5538 1 0 915226 0
[pid=34167/tid=34169] ppid=34164 vsize=19130076 memory=3605256 CPUtime=3265.58 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 38385 0 0 0 326494 64 0 0 20 0 21 0 39345886 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=19130076 memory=3605256 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39345890 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=19130076 memory=5888 CPUtime=0.01 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 2162 0 0 0 0 1 0 0 20 0 21 0 39345891 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34187] ppid=34164 vsize=19130076 memory=3605256 CPUtime=0 cores=1,3
/proc/34167/task/34187/stat : 34187 (Timer-0) S 34164 34167 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39346023 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 3316.53 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3605256 KiB
[startup+3342.3 s]
/proc/loadavg: 1.15 1.13 1.62 2/252 34465
/proc/meminfo: memFree=119869580/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=19130076 memory=3605256 CPUtime=3376.39 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 124779 0 1 0 337336 303 0 0 20 0 21 0 39345884 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4782519 901314 5538 1 0 915226 0
[pid=34167/tid=34169] ppid=34164 vsize=19130076 memory=17536 CPUtime=3325.41 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 39672 0 0 0 332477 64 0 0 20 0 21 0 39345886 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=19130076 memory=3605256 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39345890 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=19130076 memory=3605256 CPUtime=0.01 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 2203 0 0 0 0 1 0 0 20 0 21 0 39345891 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34187] ppid=34164 vsize=19130076 memory=17536 CPUtime=0 cores=1,3
/proc/34167/task/34187/stat : 34187 (Timer-0) S 34164 34167 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39346023 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 3376.39 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3605256 KiB
[startup+3402.3 s]
/proc/loadavg: 1.11 1.12 1.59 3/253 34468
/proc/meminfo: memFree=119869612/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=19130076 memory=3605256 CPUtime=3436.26 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 125242 0 1 0 343321 305 0 0 20 0 21 0 39345884 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4782519 901314 5538 1 0 915226 0
[pid=34167/tid=34169] ppid=34164 vsize=19130076 memory=3605256 CPUtime=3385.24 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 40128 0 0 0 338460 64 0 0 20 0 21 0 39345886 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=19130076 memory=3605256 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39345890 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=19130076 memory=3605256 CPUtime=0.01 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 2204 0 0 0 0 1 0 0 20 0 21 0 39345891 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34187] ppid=34164 vsize=19130076 memory=17536 CPUtime=0 cores=1,3
/proc/34167/task/34187/stat : 34187 (Timer-0) S 34164 34167 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39346023 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 3436.26 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3605256 KiB
[startup+3462.3 s]
/proc/loadavg: 1.08 1.11 1.55 2/253 34470
/proc/meminfo: memFree=119869612/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=19130076 memory=3605256 CPUtime=3496.12 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 125665 0 1 0 349305 307 0 0 20 0 21 0 39345884 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4782519 901314 5538 1 0 915226 0
[pid=34167/tid=34169] ppid=34164 vsize=19130076 memory=3605256 CPUtime=3445.07 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 40394 0 0 0 344443 64 0 0 20 0 21 0 39345886 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=19130076 memory=14560 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39345890 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=19130076 memory=3605256 CPUtime=0.01 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 2325 0 0 0 0 1 0 0 20 0 21 0 39345891 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34187] ppid=34164 vsize=19130076 memory=3605256 CPUtime=0 cores=1,3
/proc/34167/task/34187/stat : 34187 (Timer-0) S 34164 34167 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39346023 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 3496.12 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3605256 KiB
[startup+3522.3 s]
/proc/loadavg: 1.13 1.12 1.52 2/253 34472
/proc/meminfo: memFree=119871084/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=19130076 memory=3605256 CPUtime=3555.98 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 126071 0 1 0 355289 309 0 0 20 0 21 0 39345884 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4782519 901314 5538 1 0 915226 0
[pid=34167/tid=34169] ppid=34164 vsize=19130076 memory=3605256 CPUtime=3504.9 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 40794 0 0 0 350426 64 0 0 20 0 21 0 39345886 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=19130076 memory=3605256 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39345890 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=19130076 memory=3605256 CPUtime=0.01 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 2325 0 0 0 0 1 0 0 20 0 21 0 39345891 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34187] ppid=34164 vsize=19130076 memory=14560 CPUtime=0 cores=1,3
/proc/34167/task/34187/stat : 34187 (Timer-0) S 34164 34167 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39346023 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 3555.98 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3605256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3566.5 s]
/proc/loadavg: 1.13 1.11 1.50 2/253 34473
/proc/meminfo: memFree=119871084/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=19130076 memory=3605256 CPUtime=3600.08 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 127008 0 1 0 359697 311 0 0 20 0 21 0 39345884 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4782519 901314 5538 1 0 915226 0
[pid=34167/tid=34169] ppid=34164 vsize=19130076 memory=3605256 CPUtime=3548.98 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 41598 0 0 0 354834 64 0 0 20 0 21 0 39345886 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=19130076 memory=3605256 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39345890 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=19130076 memory=12416 CPUtime=0.01 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 2432 0 0 0 0 1 0 0 20 0 21 0 39345891 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34187] ppid=34164 vsize=19130076 memory=3605256 CPUtime=0 cores=1,3
/proc/34167/task/34187/stat : 34187 (Timer-0) S 34164 34167 32836 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39346023 19589197824 901314 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3605256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3566.68 s]
# the end of solver process 34167 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.27 s, system=3.13759 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3566.6 s]
/proc/loadavg: 1.13 1.11 1.50 2/253 34473
/proc/meminfo: memFree=119871084/131382112 swapFree=33010684/33010684
[pid=34167] ppid=34164 vsize=19329768 memory=3605768 CPUtime=3600.29 cores=1,3
/proc/34167/stat : 34167 (java) S 34164 34167 32836 0 -1 4194304 129100 0 1 0 359717 312 0 0 20 0 22 0 39345884 19793682432 901442 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
/proc/34167/statm: 4832442 901442 5538 1 0 916145 0
[pid=34167/tid=34169] ppid=34164 vsize=19329768 memory=1920 CPUtime=3549.09 cores=1,3
/proc/34167/task/34169/stat : 34169 (java) R 34164 34167 32836 0 -1 4194368 41598 0 0 0 354845 64 0 0 20 0 22 0 39345886 19793682432 901442 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34178] ppid=34164 vsize=19329768 memory=5888 CPUtime=0 cores=1,3
/proc/34167/task/34178/stat : 34178 (Finalizer) S 34164 34167 32836 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 39345890 19793682432 901442 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
[pid=34167/tid=34185] ppid=34164 vsize=19329768 memory=10624 CPUtime=0.01 cores=1,3
/proc/34167/task/34185/stat : 34185 (Common-Cleaner) S 34164 34167 32836 0 -1 4194368 2432 0 0 0 0 1 0 0 20 0 22 0 39345891 19793682432 901442 18446744073709551615 94319330586624 94319330590320 140720699164464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94319330598136 94319330598928 94319361056768 140720699169150 140720699169254 140720699169254 140720699174856 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 3605768 KiB
Child status: 143
Real time (s): 3566.68
CPU time (s): 3600.41
CPU user time (s): 3597.27
CPU system time (s): 3.13759
CPU usage (%): 100.946
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 3605768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.27
system time used= 3.13759
maximum resident set size= 3606024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129464
page faults= 1
swaps= 0
block input operations= 0
block output operations= 5864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115850
involuntary context switches= 5367
# summary of solver processes directly reported to runsolver:
# pid: 34167
# total CPU time (s): 3600.41
# total CPU user time (s): 3597.27
# total CPU system time (s): 3.13759
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7271 second user time and 34.7506 second system time
The end