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 (49717 MiB free)
memory of node 1: 64507 MiB (61817 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493128-1751152876/watcher-4493128-1751152876 -o /tmp/evaluation-result-4493128-1751152876/solver-4493128-1751152876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751145706-14503 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4493128-1751152876.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15800, runsolver pid=15797
[startup+0.100061 s]*
/proc/loadavg: 4.23 4.20 4.12 5/338 15818
/proc/meminfo: memFree=114199052/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=18930384 memory=55516 CPUtime=0.12 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 6553 0 0 0 11 1 0 0 20 0 18 0 30967454 19384713216 13879 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4732596 13879 5335 1 0 547603 0
[pid=15800/tid=15802] ppid=15797 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 5054 0 0 0 6 1 0 0 20 0 18 0 30967456 19384713216 13879 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30967458 19384713216 13879 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=18930384 memory=61784027586760 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 30967458 19384713216 13879 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55516 KiB
[startup+0.205785 s]*
/proc/loadavg: 4.23 4.20 4.12 7/339 15819
/proc/meminfo: memFree=114190860/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=18996948 memory=64244 CPUtime=0.32 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 7097 0 0 0 30 2 0 0 20 0 19 0 30967454 19452874752 16061 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4749237 16061 5431 1 0 548242 0
[pid=15800/tid=15802] ppid=15797 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 5299 0 0 0 15 1 0 0 20 0 19 0 30967456 19452874752 16061 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=18996948 memory=18954 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 16061 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=18996948 memory=60684515935208 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 16061 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 30967473 19452874752 16061 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64244 KiB
[startup+0.305748 s]*
/proc/loadavg: 4.23 4.20 4.12 6/339 15819
/proc/meminfo: memFree=114187572/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=18996948 memory=68668 CPUtime=0.51 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 9766 0 0 0 49 2 0 0 20 0 19 0 30967454 19452874752 17167 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4749237 17167 5431 1 0 549417 0
[pid=15800/tid=15802] ppid=15797 vsize=18996948 memory=-6000919476934240110 CPUtime=0.26 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 5315 0 0 0 25 1 0 0 20 0 19 0 30967456 19452874752 17167 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 17167 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 17167 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 30967473 19452874752 17167 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68668 KiB
[startup+0.700253 s]
/proc/loadavg: 4.23 4.20 4.12 6/339 15819
/proc/meminfo: memFree=114182784/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=18996948 memory=77016 CPUtime=1.22 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 11144 0 0 0 119 3 0 0 20 0 19 0 30967454 19452874752 19254 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4749237 19254 5431 1 0 550287 0
[pid=15800/tid=15802] ppid=15797 vsize=18996948 memory=17536 CPUtime=0.64 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 5322 0 0 0 62 2 0 0 20 0 19 0 30967456 19452874752 19254 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=18996948 memory=10880 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 19254 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 19254 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 30967473 19452874752 19254 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77016 KiB
[startup+1.50026 s]
/proc/loadavg: 4.23 4.20 4.12 5/339 15819
/proc/meminfo: memFree=114174592/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=18996948 memory=94528 CPUtime=2.18 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 15641 0 0 0 215 3 0 0 20 0 19 0 30967454 19452874752 23632 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4749237 23632 5431 1 0 550511 0
[pid=15800/tid=15802] ppid=15797 vsize=18996948 memory=0 CPUtime=1.43 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 6334 0 0 0 141 2 0 0 20 0 19 0 30967456 19452874752 23632 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=18996948 memory=10880 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 23632 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 23632 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 30967473 19452874752 23632 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 2.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94528 KiB
[startup+3.10564 s]
/proc/loadavg: 4.21 4.19 4.12 5/339 15819
/proc/meminfo: memFree=114130908/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=18996948 memory=125424 CPUtime=3.88 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 16391 0 0 0 384 4 0 0 20 0 19 0 30967454 19452874752 31356 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4749237 31356 5431 1 0 550518 0
[pid=15800/tid=15802] ppid=15797 vsize=18996948 memory=10880 CPUtime=3.02 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 6654 0 0 0 299 3 0 0 20 0 19 0 30967456 19452874752 31356 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=18996948 memory=-6000919476934240110 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 31356 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 31356 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 30967473 19452874752 31356 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3.88 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 125424 KiB
[startup+6.30022 s]
/proc/loadavg: 4.21 4.19 4.12 5/340 15820
/proc/meminfo: memFree=114041028/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=211940 CPUtime=7.12 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 19087 0 0 0 705 7 0 0 20 0 20 0 30967454 19521036288 52985 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 52985 5495 1 0 550807 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=0 CPUtime=6.16 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 7178 0 0 0 612 4 0 0 20 0 20 0 30967456 19521036288 52985 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 52985 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 52985 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=96576 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 52985 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 7.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211940 KiB
[startup+12.7002 s]
/proc/loadavg: 4.36 4.22 4.13 5/340 15888
/proc/meminfo: memFree=121853116/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=288012 CPUtime=13.57 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 21577 0 0 0 1349 8 0 0 20 0 20 0 30967454 19521036288 72003 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 72003 5495 1 0 550807 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=96576 CPUtime=12.47 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 7752 0 0 0 1243 4 0 0 20 0 20 0 30967456 19521036288 72003 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 72003 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 72003 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=-6000919476934240110 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 72003 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 13.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 288012 KiB
[startup+25.5003 s]
/proc/loadavg: 4.36 4.23 4.13 5/340 15888
/proc/meminfo: memFree=121356256/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=439420 CPUtime=26.71 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 29100 0 0 0 2658 13 0 0 20 0 20 0 30967454 19521036288 109855 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 109855 5495 1 0 552072 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=4252 CPUtime=25.09 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 8523 0 0 0 2505 4 0 0 20 0 20 0 30967456 19521036288 109855 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=371192 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 109855 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 109855 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 109855 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 26.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 439420 KiB
[startup+51.1057 s]
/proc/loadavg: 4.30 4.22 4.14 5/340 16022
/proc/meminfo: memFree=127918360/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=679292 CPUtime=52.49 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 29836 0 0 0 5231 18 0 0 20 0 20 0 30967454 19521036288 169823 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 169823 5527 1 0 552072 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.05 4.12 4.10 5/340 16187
/proc/meminfo: memFree=93805844/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=6713720 CPUtime=3295.46 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 196346 0 0 0 329307 239 0 0 20 0 20 0 30967454 19521036288 1678430 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 1678430 5527 1 0 2164559 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=6494584 CPUtime=3255.99 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 90773 0 0 0 325552 47 0 0 20 0 20 0 30967456 19521036288 1678430 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=6494584 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1678430 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=6713720 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 1718 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1678430 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 1678430 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3295.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6713720 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/340 16193
/proc/meminfo: memFree=93080188/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=6822264 CPUtime=3355.44 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 200646 0 0 0 335300 244 0 0 20 0 20 0 30967454 19521036288 1705566 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 1705566 5527 1 0 2164559 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=0 CPUtime=3315.7 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 93792 0 0 0 331522 48 0 0 20 0 20 0 30967456 19521036288 1705566 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=1792 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1705566 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 1806 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1705566 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 1705566 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3355.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6822264 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/340 16195
/proc/meminfo: memFree=92219832/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=7186812 CPUtime=3415.61 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 203653 0 0 0 341308 253 0 0 20 0 20 0 30967454 19521036288 1796703 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 1796703 5527 1 0 2164559 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=6713720 CPUtime=3375.21 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 95298 0 0 0 337473 48 0 0 20 0 20 0 30967456 19521036288 1796703 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1796703 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=7186812 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 1896 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1796703 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=7186812 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 1796703 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3415.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7186812 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/340 16199
/proc/meminfo: memFree=91994412/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=7412096 CPUtime=3475.7 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 206912 0 0 0 347309 261 0 0 20 0 20 0 30967454 19521036288 1853024 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 1853024 5527 1 0 2164559 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=6713720 CPUtime=3434.83 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 98413 0 0 0 343435 48 0 0 20 0 20 0 30967456 19521036288 1853024 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1853024 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=7412096 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 1896 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1853024 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 1853024 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3475.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7412096 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/339 16201
/proc/meminfo: memFree=91789584/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=7520640 CPUtime=3535.67 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 211324 0 0 0 353302 265 0 0 20 0 20 0 30967454 19521036288 1880160 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 1880160 5527 1 0 2164559 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=6713720 CPUtime=3494.51 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 101508 0 0 0 349403 48 0 0 20 0 20 0 30967456 19521036288 1880160 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=7412096 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1880160 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=7412096 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 1984 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1880160 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 1880160 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3535.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7520640 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 4/315 16237
/proc/meminfo: memFree=103827372/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=7883136 CPUtime=3595.83 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 214733 0 0 0 359310 273 0 0 20 0 20 0 30967454 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 1970784 5527 1 0 2164559 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=6713720 CPUtime=3554.02 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 103392 0 0 0 355354 48 0 0 20 0 20 0 30967456 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=7520640 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=7883136 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 2071 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3595.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7883136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3586.5 s]
/proc/loadavg: 4.01 4.10 4.08 4/315 16237
/proc/meminfo: memFree=103827868/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=7883136 CPUtime=3600.03 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 214902 0 0 0 359729 274 0 0 20 0 20 0 30967454 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 1970784 5527 1 0 2164559 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=7520640 CPUtime=3558.21 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 103559 0 0 0 355773 48 0 0 20 0 20 0 30967456 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=6822264 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=6285688 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 2071 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=280091998055680 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7883136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3586.63 s]
# the end of solver process 15800 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.44 s, system=2.76718 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3586.61 s]
/proc/loadavg: 4.01 4.10 4.08 4/315 16237
/proc/meminfo: memFree=103827868/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19263204 memory=7883776 CPUtime=3600.17 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 216986 0 0 0 359743 274 0 0 20 0 15 0 30967454 19725520896 1970944 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4815801 1970944 5527 1 0 2165497 0
[pid=15800/tid=15802] ppid=15797 vsize=19263204 memory=7883136 CPUtime=3558.23 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) S 15797 15800 14490 0 -1 4194368 103676 0 0 0 355774 49 0 0 20 0 15 0 30967456 19725520896 1970944 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19263204 memory=5760 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 30967458 19725520896 1970944 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19263204 memory=-6000919476934240110 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 2071 0 0 0 0 0 0 0 20 0 15 0 30967458 19725520896 1970944 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 7883776 KiB
Child status: 143
Real time (s): 3586.63
CPU time (s): 3600.21
CPU user time (s): 3597.44
CPU system time (s): 2.76718
CPU usage (%): 100.379
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 7883776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.44
system time used= 2.76718
maximum resident set size= 7883904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217013
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110094
involuntary context switches= 6938
# summary of solver processes directly reported to runsolver:
# pid: 15800
# total CPU time (s): 3600.21
# total CPU user time (s): 3597.44
# total CPU system time (s): 2.76718
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48623 second user time and 18.6613 second system time
The end