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: 63665 MiB (62290 MiB free)
memory of node 1: 64507 MiB (61170 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493524-1751153860/watcher-4493524-1751153860 -o /tmp/evaluation-result-4493524-1751153860/solver-4493524-1751153860 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751146546-14290 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4493524-1751153860.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=16074, runsolver pid=16071
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.24 4.19 4.12 5/339 16092
/proc/meminfo: memFree=126405176/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=18930384 memory=57708 CPUtime=0.13 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 6598 0 0 0 12 1 0 0 20 0 18 0 31063807 19384713216 14427 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4732596 14427 5317 1 0 547624 0
[pid=16074/tid=16076] ppid=16071 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 5101 0 0 0 7 1 0 0 20 0 18 0 31063808 19384713216 14427 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31063810 19384713216 14427 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=18930384 memory=60684515966010 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31063811 19384713216 14427 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57708 KiB
[startup+0.211543 s]*
/proc/loadavg: 4.24 4.19 4.12 6/340 16093
/proc/meminfo: memFree=126399064/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=18996948 memory=64364 CPUtime=0.34 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 7128 0 0 0 32 2 0 0 20 0 19 0 31063807 19452874752 16091 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4749237 16091 5445 1 0 548251 0
[pid=16074/tid=16076] ppid=16071 vsize=18996948 memory=4026597660 CPUtime=0.18 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 5343 0 0 0 17 1 0 0 20 0 19 0 31063808 19452874752 16091 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=18996948 memory=16880 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31063810 19452874752 16091 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=18996948 memory=59585004307431 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31063811 19452874752 16091 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31063826 19452874752 16091 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64364 KiB
[startup+0.305687 s]*
/proc/loadavg: 4.24 4.19 4.12 6/340 16093
/proc/meminfo: memFree=126394780/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=18996948 memory=68276 CPUtime=0.52 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 8859 0 0 0 50 2 0 0 20 0 19 0 31063807 19452874752 17069 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4749237 17069 5445 1 0 549153 0
[pid=16074/tid=16076] ppid=16071 vsize=18996948 memory=-6000919502738056814 CPUtime=0.27 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 5359 0 0 0 26 1 0 0 20 0 19 0 31063808 19452874752 17069 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31063810 19452874752 17069 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31063811 19452874752 17069 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31063826 19452874752 17069 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68276 KiB
[startup+0.700229 s]
/proc/loadavg: 4.24 4.19 4.12 6/340 16093
/proc/meminfo: memFree=126387472/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=18996948 memory=83356 CPUtime=1.29 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 12099 0 0 0 126 3 0 0 20 0 19 0 31063807 19452874752 20839 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4749237 20839 5445 1 0 551323 0
[pid=16074/tid=16076] ppid=16071 vsize=18996948 memory=17408 CPUtime=0.66 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 5367 0 0 0 65 1 0 0 20 0 19 0 31063808 19452874752 20839 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31063810 19452874752 20839 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31063811 19452874752 20839 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31063826 19452874752 20839 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83356 KiB
[startup+1.5002 s]
/proc/loadavg: 4.24 4.19 4.12 6/340 16093
/proc/meminfo: memFree=126382536/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=19000364 memory=102236 CPUtime=2.75 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 19563 0 0 0 271 4 0 0 20 0 19 0 31063807 19456372736 25527 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4750091 25559 5445 1 0 553373 0
[pid=16074/tid=16076] ppid=16071 vsize=19000364 memory=0 CPUtime=1.44 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 5741 0 0 0 142 2 0 0 20 0 19 0 31063808 19456372736 25559 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=19000364 memory=10752 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31063810 19456372736 25559 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=19000364 memory=3328 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31063811 19456372736 25591 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=19000364 memory=4764 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31063826 19456372736 25591 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19000364 KiB
Current children cumulated memory: 102236 KiB
[startup+3.10542 s]
/proc/loadavg: 4.24 4.19 4.12 5/340 16093
/proc/meminfo: memFree=126268320/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=18996948 memory=118524 CPUtime=4.51 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 21546 0 0 0 446 5 0 0 20 0 19 0 31063807 19452874752 29631 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4749237 29631 5445 1 0 553794 0
[pid=16074/tid=16076] ppid=16071 vsize=18996948 memory=10752 CPUtime=3.04 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 6052 0 0 0 302 2 0 0 20 0 19 0 31063808 19452874752 29631 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=18996948 memory=-6000919502738056814 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31063810 19452874752 29631 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31063811 19452874752 29631 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31063826 19452874752 29631 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 4.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 118524 KiB
[startup+6.30018 s]
/proc/loadavg: 4.22 4.19 4.12 5/340 16093
/proc/meminfo: memFree=126243744/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=18996948 memory=138196 CPUtime=7.74 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 21789 0 0 0 769 5 0 0 20 0 19 0 31063807 19452874752 34549 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4749237 34549 5445 1 0 553794 0
[pid=16074/tid=16076] ppid=16071 vsize=18996948 memory=0 CPUtime=6.22 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 6198 0 0 0 620 2 0 0 20 0 19 0 31063808 19452874752 34549 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31063810 19452874752 34549 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31063811 19452874752 34549 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=18996948 memory=104000 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31063826 19452874752 34549 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 7.74 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 138196 KiB
[startup+12.7002 s]
/proc/loadavg: 4.28 4.20 4.13 5/341 16094
/proc/meminfo: memFree=126112680/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=19063512 memory=183400 CPUtime=14.4 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 31557 0 0 0 1433 7 0 0 20 0 20 0 31063807 19521036288 45850 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4765878 45850 5477 1 0 554099 0
[pid=16074/tid=16076] ppid=16071 vsize=19063512 memory=104000 CPUtime=12.59 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 7303 0 0 0 1256 3 0 0 20 0 20 0 31063808 19521036288 45850 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=19063512 memory=183400 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31063810 19521036288 45850 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 31063811 19521036288 45850 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31063826 19521036288 45850 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 14.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183400 KiB
[startup+25.5002 s]
/proc/loadavg: 4.38 4.23 4.13 5/341 16095
/proc/meminfo: memFree=125882800/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=19063512 memory=195876 CPUtime=27.23 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 34539 0 0 0 2715 8 0 0 20 0 20 0 31063807 19521036288 48969 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4765878 48969 5477 1 0 554099 0
[pid=16074/tid=16076] ppid=16071 vsize=19063512 memory=183400 CPUtime=25.34 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 8038 0 0 0 2531 3 0 0 20 0 20 0 31063808 19521036288 48969 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31063810 19521036288 48969 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=19063512 memory=183400 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 31063811 19521036288 48969 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31063826 19521036288 48969 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 27.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 195876 KiB
[startup+51.1056 s]
/proc/loadavg: 4.25 4.21 4.13 5/342 16096
/proc/meminfo: memFree=125288008/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=19063512 memory=234936 CPUtime=52.81 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 34651 0 0 0 5272 9 0 0 20 0 20 0 31063807 19521036288 58734 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4765878 58734 5477 1 0 554099 0
[pid=16074/tid=16076] ppid=16071 vsize=19063512 memory=195876 CPUtime=50.85 cores=4,6
################
# More data... #
################
/proc/meminfo: memFree=106035148/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3278.5 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 75682 0 0 0 327738 112 0 0 20 0 20 0 31063807 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4765878 465995 5509 1 0 556678 0
[pid=16074/tid=16076] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3271.3 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 27465 0 0 0 327111 19 0 0 20 0 20 0 31063808 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31063810 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 922 0 0 0 0 0 0 0 20 0 20 0 31063811 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31063826 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 3278.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1863980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.17 4.10 5/340 16335
/proc/meminfo: memFree=105602748/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3338.35 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 76492 0 0 0 333721 114 0 0 20 0 20 0 31063807 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4765878 465995 5509 1 0 556680 0
[pid=16074/tid=16076] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3331.12 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 28106 0 0 0 333093 19 0 0 20 0 20 0 31063808 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31063810 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 959 0 0 0 0 0 0 0 20 0 20 0 31063811 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31063826 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 3338.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1863980 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/340 16336
/proc/meminfo: memFree=105121016/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3398.32 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 78057 0 0 0 339717 115 0 0 20 0 20 0 31063807 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4765878 465995 5509 1 0 556681 0
[pid=16074/tid=16076] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3390.81 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 28617 0 0 0 339062 19 0 0 20 0 20 0 31063808 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31063810 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 1012 0 0 0 0 0 0 0 20 0 20 0 31063811 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31063826 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 3398.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1863980 KiB
[startup+3462.3 s]
/proc/loadavg: 3.76 4.05 4.07 4/315 16371
/proc/meminfo: memFree=116506408/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3458.17 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 78105 0 0 0 345701 116 0 0 20 0 20 0 31063807 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4765878 465995 5509 1 0 556681 0
[pid=16074/tid=16076] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3450.64 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 28633 0 0 0 345045 19 0 0 20 0 20 0 31063808 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31063810 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 1012 0 0 0 0 0 0 0 20 0 20 0 31063811 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31063826 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 3458.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1863980 KiB
[startup+3522.3 s]
/proc/loadavg: 3.45 3.91 4.01 4/316 16374
/proc/meminfo: memFree=115915944/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3518.02 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 78543 0 0 0 351685 117 0 0 20 0 20 0 31063807 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4765878 465995 5509 1 0 556681 0
[pid=16074/tid=16076] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3510.47 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 29042 0 0 0 351028 19 0 0 20 0 20 0 31063808 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31063810 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 1012 0 0 0 0 0 0 0 20 0 20 0 31063811 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31063826 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 3518.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1863980 KiB
[startup+3582.3 s]
/proc/loadavg: 2.61 3.58 3.89 3/291 16409
/proc/meminfo: memFree=126959548/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3577.86 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 79184 0 0 0 357669 117 0 0 20 0 20 0 31063807 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4765878 465995 5509 1 0 556681 0
[pid=16074/tid=16076] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3570.29 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 29547 0 0 0 357010 19 0 0 20 0 20 0 31063808 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31063810 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 1064 0 0 0 0 0 0 0 20 0 20 0 31063811 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31063826 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 3577.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1863980 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3604.5 s]
/proc/loadavg: 2.50 3.50 3.86 3/291 16411
/proc/meminfo: memFree=126959336/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3600 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 79480 0 0 0 359883 117 0 0 20 0 20 0 31063807 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4765878 465995 5509 1 0 556681 0
[pid=16074/tid=16076] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3592.43 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 29783 0 0 0 359224 19 0 0 20 0 20 0 31063808 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31063810 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 1064 0 0 0 0 0 0 0 20 0 20 0 31063811 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31063826 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1863980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3604.6 s]
# the end of solver process 16074 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.97 s, system=1.19258 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3604.5 s]
/proc/loadavg: 2.50 3.50 3.86 3/291 16411
/proc/meminfo: memFree=126959336/131249996 swapFree=33010684/33010684
[pid=16074] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3600 cores=4,6
/proc/16074/stat : 16074 (java) S 16071 16074 14279 0 -1 4194304 79480 0 0 0 359883 117 0 0 20 0 20 0 31063807 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
/proc/16074/statm: 4765878 465995 5509 1 0 556681 0
[pid=16074/tid=16076] ppid=16071 vsize=19063512 memory=1863980 CPUtime=3592.43 cores=4,6
/proc/16074/task/16076/stat : 16076 (java) R 16071 16074 14279 0 -1 4194368 29783 0 0 0 359224 19 0 0 20 0 20 0 31063808 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16085] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16085/stat : 16085 (Finalizer) S 16071 16074 14279 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31063810 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16092] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16092/stat : 16092 (Common-Cleaner) S 16071 16074 14279 0 -1 4194368 1064 0 0 0 0 0 0 0 20 0 20 0 31063811 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
[pid=16074/tid=16093] ppid=16071 vsize=19063512 memory=1863980 CPUtime=0 cores=4,6
/proc/16074/task/16093/stat : 16093 (Timer-0) S 16071 16074 14279 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31063826 19521036288 465995 18446744073709551615 94645033091072 94645033094768 140728240184912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94645033102584 94645033103376 94645047013376 140728240191873 140728240191974 140728240191974 140728240197576 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1863980 KiB
Child status: 143
Real time (s): 3604.6
CPU time (s): 3600.17
CPU user time (s): 3598.97
CPU system time (s): 1.19258
CPU usage (%): 99.8769
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1863980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.97
system time used= 1.19258
maximum resident set size= 1864620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81429
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104021
involuntary context switches= 2769
# summary of solver processes directly reported to runsolver:
# pid: 16074
# total CPU time (s): 3600.17
# total CPU user time (s): 3598.97
# total CPU system time (s): 1.19258
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52435 second user time and 16.6589 second system time
The end