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: 63708 MiB (56519 MiB free)
memory of node 1: 64465 MiB (60837 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509063-1751524038/watcher-4509063-1751524038 -o /tmp/evaluation-result-4509063-1751524038/solver-4509063-1751524038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751516401-68557 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509063-1751524038 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4509063-1751524038.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 FSIZE limit: 102400000 KiB
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
solver pid=70170, runsolver pid=70167
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.21 4.18 4.18 6/344 70188
/proc/meminfo: memFree=120142016/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=18930384 memory=55640 CPUtime=0.12 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 6520 0 0 0 10 2 0 0 20 0 18 0 68081265 19384713216 13910 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4732596 13910 5368 1 0 547587 0
[pid=70170/tid=70172] ppid=70167 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 5040 0 0 0 6 1 0 0 20 0 18 0 68081266 19384713216 13910 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68081269 19384713216 13910 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=18930384 memory=60684515934839 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 68081269 19384713216 13910 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55640 KiB
[startup+0.205919 s]*
/proc/loadavg: 4.21 4.18 4.18 7/344 70188
/proc/meminfo: memFree=120133556/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=18930384 memory=64320 CPUtime=0.31 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 7111 0 0 0 29 2 0 0 20 0 18 0 68081265 19384713216 16080 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4732596 16080 5432 1 0 547991 0
[pid=70170/tid=70172] ppid=70167 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 5390 0 0 0 16 1 0 0 20 0 18 0 68081266 19384713216 16080 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=18930384 memory=15987 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68081269 19384713216 16080 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 68081269 19384713216 16080 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64320 KiB
[startup+0.30579 s]*
/proc/loadavg: 4.21 4.18 4.18 7/345 70189
/proc/meminfo: memFree=120125364/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=18996948 memory=76308 CPUtime=0.5 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 7480 0 0 0 47 3 0 0 20 0 19 0 68081265 19452874752 19077 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4749237 19077 5496 1 0 548458 0
[pid=70170/tid=70172] ppid=70167 vsize=18996948 memory=-6000919476984966248 CPUtime=0.27 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 5548 0 0 0 25 2 0 0 20 0 19 0 68081266 19452874752 19077 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68081269 19452874752 19077 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 68081269 19452874752 19077 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70189] ppid=70167 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/70170/task/70189/stat : 70189 (Timer-0) S 70167 70170 68544 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68081292 19452874752 19077 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 76308 KiB
[startup+0.700239 s]
/proc/loadavg: 4.21 4.18 4.18 6/345 70189
/proc/meminfo: memFree=120094804/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=18996948 memory=138316 CPUtime=1.26 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 14665 0 0 0 121 5 0 0 20 0 19 0 68081265 19452874752 34579 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4749237 34579 5496 1 0 552530 0
[pid=70170/tid=70172] ppid=70167 vsize=18996948 memory=18688 CPUtime=0.66 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 5708 0 0 0 63 3 0 0 20 0 19 0 68081266 19452874752 34579 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68081269 19452874752 34579 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 68081269 19452874752 34579 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70189] ppid=70167 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/70170/task/70189/stat : 70189 (Timer-0) S 70167 70170 68544 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68081292 19452874752 34579 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 138316 KiB
[startup+1.50024 s]
/proc/loadavg: 4.21 4.18 4.18 6/346 70190
/proc/meminfo: memFree=120033680/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=19063512 memory=173500 CPUtime=2.84 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 20902 0 0 0 277 7 0 0 20 0 20 0 68081265 19521036288 43375 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4765878 43375 5528 1 0 553139 0
[pid=70170/tid=70172] ppid=70167 vsize=19063512 memory=10752 CPUtime=1.41 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 6212 0 0 0 138 3 0 0 20 0 20 0 68081266 19521036288 43375 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 43375 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 43375 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70189] ppid=70167 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/70170/task/70189/stat : 70189 (Timer-0) S 70167 70170 68544 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68081292 19521036288 43375 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173500 KiB
[startup+3.10574 s]
/proc/loadavg: 4.21 4.18 4.18 6/346 70190
/proc/meminfo: memFree=119933052/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=19063512 memory=317444 CPUtime=6 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 27211 0 0 0 588 12 0 0 20 0 20 0 68081265 19521036288 79361 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4765878 79361 5528 1 0 555745 0
[pid=70170/tid=70172] ppid=70167 vsize=19063512 memory=10752 CPUtime=2.98 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 7036 0 0 0 292 6 0 0 20 0 20 0 68081266 19521036288 79361 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=19063512 memory=-6000919476984966248 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 79361 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 79361 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70189] ppid=70167 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/70170/task/70189/stat : 70189 (Timer-0) S 70167 70170 68544 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68081292 19521036288 79361 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 317444 KiB
[startup+6.3002 s]
/proc/loadavg: 4.28 4.19 4.18 5/346 70190
/proc/meminfo: memFree=119803220/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=19063512 memory=452068 CPUtime=11.07 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 32683 0 0 0 1091 16 0 0 20 0 20 0 68081265 19521036288 113017 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4765878 113017 5528 1 0 557358 0
[pid=70170/tid=70172] ppid=70167 vsize=19063512 memory=0 CPUtime=6.12 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 7251 0 0 0 603 9 0 0 20 0 20 0 68081266 19521036288 113017 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 113017 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 113017 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70189] ppid=70167 vsize=19063512 memory=173628 CPUtime=0 cores=5,7
/proc/70170/task/70189/stat : 70189 (Timer-0) S 70167 70170 68544 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68081292 19521036288 113017 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 11.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 452068 KiB
[startup+12.7002 s]
/proc/loadavg: 4.33 4.20 4.19 5/346 70190
/proc/meminfo: memFree=119125796/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=19063512 memory=1190828 CPUtime=17.75 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 39337 0 0 0 1744 31 0 0 20 0 20 0 68081265 19521036288 297707 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4765878 297707 5528 1 0 557374 0
[pid=70170/tid=70172] ppid=70167 vsize=19063512 memory=173628 CPUtime=12.48 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 9436 0 0 0 1226 22 0 0 20 0 20 0 68081266 19521036288 297707 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 297707 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=19063512 memory=1049440 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 297707 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70189] ppid=70167 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/70170/task/70189/stat : 70189 (Timer-0) S 70167 70170 68544 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68081292 19521036288 297707 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 17.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1190828 KiB
[startup+25.5003 s]
/proc/loadavg: 4.33 4.21 4.19 5/344 70190
/proc/meminfo: memFree=119052604/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=19063512 memory=1197252 CPUtime=31.06 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 47443 0 0 0 3074 32 0 0 20 0 20 0 68081265 19521036288 299313 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4765878 299313 5528 1 0 557407 0
[pid=70170/tid=70172] ppid=70167 vsize=19063512 memory=10752 CPUtime=25.18 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 10675 0 0 0 2495 23 0 0 20 0 20 0 68081266 19521036288 299313 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=19063512 memory=1049440 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 299313 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 299313 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70189] ppid=70167 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/70170/task/70189/stat : 70189 (Timer-0) S 70167 70170 68544 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68081292 19521036288 299313 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 31.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1197252 KiB
[startup+51.1057 s]
/proc/loadavg: 4.29 4.21 4.19 5/344 70191
/proc/meminfo: memFree=118845088/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=19063512 memory=1363232 CPUtime=56.69 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 51805 0 0 0 5631 38 0 0 20 0 20 0 68081265 19521036288 340808 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4765878 340808 5528 1 0 557407 0
[pid=70170/tid=70172] ppid=70167 vsize=19063512 memory=14432 CPUtime=50.59 cores=5,7
################
# More data... #
################
/proc/meminfo: memFree=125974560/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=19063512 memory=2183408 CPUtime=3203.38 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 150919 0 0 0 320155 183 0 0 20 0 20 0 68081265 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4765878 545852 5528 1 0 563339 0
[pid=70170/tid=70172] ppid=70167 vsize=19063512 memory=2142704 CPUtime=3174.85 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 55015 0 0 0 317414 71 0 0 20 0 20 0 68081266 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 1657 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70189] ppid=70167 vsize=19063512 memory=-6000919476984966248 CPUtime=0 cores=5,7
/proc/70170/task/70189/stat : 70189 (Timer-0) S 70167 70170 68544 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68081292 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 3203.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183408 KiB
[startup+3282.3 s]
/proc/loadavg: 1.31 2.73 3.59 2/266 70470
/proc/meminfo: memFree=125998836/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=19063512 memory=2183408 CPUtime=3262.88 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 150961 0 0 0 326103 185 0 0 20 0 20 0 68081265 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4765878 545852 5528 1 0 563339 0
[pid=70170/tid=70172] ppid=70167 vsize=19063512 memory=2183408 CPUtime=3234.05 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 55026 0 0 0 323333 72 0 0 20 0 20 0 68081266 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=19063512 memory=2183408 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 1658 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70189] ppid=70167 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/70170/task/70189/stat : 70189 (Timer-0) S 70167 70170 68544 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68081292 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 3262.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183408 KiB
[startup+3342.3 s]
/proc/loadavg: 1.17 2.43 3.43 2/265 70472
/proc/meminfo: memFree=126002108/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=19063512 memory=2183408 CPUtime=3315.59 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 151665 0 0 0 331372 187 0 0 20 0 20 0 68081265 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4765878 545852 5528 1 0 563339 0
[pid=70170/tid=70172] ppid=70167 vsize=19063512 memory=2183408 CPUtime=3286.49 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 55674 0 0 0 328577 72 0 0 20 0 20 0 68081266 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=19063512 memory=2183408 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=19063512 memory=2183408 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 1658 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70189] ppid=70167 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/70170/task/70189/stat : 70189 (Timer-0) S 70167 70170 68544 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68081292 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 3315.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183408 KiB
[startup+3402.3 s]
/proc/loadavg: 1.13 2.18 3.28 2/265 70474
/proc/meminfo: memFree=125993636/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=19063512 memory=2183408 CPUtime=3375.52 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 154103 0 0 0 337363 189 0 0 20 0 20 0 68081265 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4765878 545852 5528 1 0 563339 0
[pid=70170/tid=70172] ppid=70167 vsize=19063512 memory=2183408 CPUtime=3346.05 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 57316 0 0 0 334532 73 0 0 20 0 20 0 68081266 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=19063512 memory=2183408 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=19063512 memory=2183408 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 1658 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70189] ppid=70167 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/70170/task/70189/stat : 70189 (Timer-0) S 70167 70170 68544 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68081292 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 3375.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183408 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.98 3.14 2/265 70477
/proc/meminfo: memFree=125993240/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=19063512 memory=2183408 CPUtime=3435.49 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 155967 0 0 0 343358 191 0 0 20 0 20 0 68081265 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4765878 545852 5528 1 0 563339 0
[pid=70170/tid=70172] ppid=70167 vsize=19063512 memory=2183408 CPUtime=3405.73 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 58526 0 0 0 340500 73 0 0 20 0 20 0 68081266 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 1718 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70189] ppid=70167 vsize=19063512 memory=2183408 CPUtime=0 cores=5,7
/proc/70170/task/70189/stat : 70189 (Timer-0) S 70167 70170 68544 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68081292 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 3435.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183408 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.81 3.01 2/265 70479
/proc/meminfo: memFree=125993160/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=19063512 memory=2183408 CPUtime=3492.83 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 156060 0 0 0 349089 194 0 0 20 0 20 0 68081265 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4765878 545852 5528 1 0 563339 0
[pid=70170/tid=70172] ppid=70167 vsize=19063512 memory=3200 CPUtime=3462.75 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 58551 0 0 0 346201 74 0 0 20 0 20 0 68081266 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=19063512 memory=2183408 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=19063512 memory=2183408 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 1747 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70189] ppid=70167 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/70170/task/70189/stat : 70189 (Timer-0) S 70167 70170 68544 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68081292 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 3492.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183408 KiB
[startup+3582.3 s]
/proc/loadavg: 1.14 1.69 2.89 2/265 70485
/proc/meminfo: memFree=125990528/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=19063512 memory=2183408 CPUtime=3552.49 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 156887 0 0 0 355053 196 0 0 20 0 20 0 68081265 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4765878 545852 5528 1 0 563339 0
[pid=70170/tid=70172] ppid=70167 vsize=19063512 memory=5148 CPUtime=3522.09 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 59313 0 0 0 352134 75 0 0 20 0 20 0 68081266 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=19063512 memory=1792 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 1747 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70189] ppid=70167 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/70170/task/70189/stat : 70189 (Timer-0) S 70167 70170 68544 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68081292 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 3552.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3630.4 s]
/proc/loadavg: 1.12 1.60 2.79 2/264 70487
/proc/meminfo: memFree=125990692/131250000 swapFree=33007332/33010684
[pid=70170] ppid=70167 vsize=19063512 memory=2183408 CPUtime=3600.05 cores=5,7
/proc/70170/stat : 70170 (java) S 70167 70170 68544 0 -1 4194304 158605 0 0 0 359808 197 0 0 20 0 20 0 68081265 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
/proc/70170/statm: 4765878 545852 5528 1 0 563339 0
[pid=70170/tid=70172] ppid=70167 vsize=19063512 memory=18688 CPUtime=3569.43 cores=5,7
/proc/70170/task/70172/stat : 70172 (java) R 70167 70170 68544 0 -1 4194368 60399 0 0 0 356868 75 0 0 20 0 20 0 68081266 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70181] ppid=70167 vsize=19063512 memory=2183408 CPUtime=0 cores=5,7
/proc/70170/task/70181/stat : 70181 (Finalizer) S 70167 70170 68544 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70188] ppid=70167 vsize=19063512 memory=19968 CPUtime=0 cores=5,7
/proc/70170/task/70188/stat : 70188 (Common-Cleaner) S 70167 70170 68544 0 -1 4194368 1829 0 0 0 0 0 0 0 20 0 20 0 68081269 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
[pid=70170/tid=70189] ppid=70167 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/70170/task/70189/stat : 70189 (Timer-0) S 70167 70170 68544 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68081292 19521036288 545852 18446744073709551615 94394626973696 94394626977392 140720468326464 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94394626985208 94394626986000 94394627686400 140720468334893 140720468335078 140720468335078 140720468340680 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3630.48 s]
# the end of solver process 70170 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.22 s, system=1.98557 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3630.48
CPU time (s): 3600.21
CPU user time (s): 3598.22
CPU system time (s): 1.98557
CPU usage (%): 99.1661
Max. virtual memory (cumulated for all children) (KiB): 19069480
Max. memory (cumulated for all children) (KiB): 2183408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.22
system time used= 1.98557
maximum resident set size= 2184432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161042
page faults= 0
swaps= 0
block input operations= 0
block output operations= 271768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128854
involuntary context switches= 12808
# summary of solver processes directly reported to runsolver:
# pid: 70170
# total CPU time (s): 3600.21
# total CPU user time (s): 3598.22
# total CPU system time (s): 1.98557
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.65209 second user time and 16.0486 second system time
The end