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 (63086 MiB free)
memory of node 1: 64507 MiB (64063 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495106-1751159266/watcher-4495106-1751159266 -o /tmp/evaluation-result-4495106-1751159266/solver-4495106-1751159266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751159266-16595 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4495106-1751159266.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=16648, runsolver pid=16635
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.60 0.96 1.42 9/334 16721
/proc/meminfo: memFree=130108268/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=18930384 memory=49980 CPUtime=0.09 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 6219 0 0 0 8 1 0 0 20 0 18 0 31604398 19384713216 12495 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4732596 12495 5329 1 0 547309 0
[pid=16648/tid=16667] ppid=16635 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 5012 0 0 0 5 1 0 0 20 0 18 0 31604401 19384713216 12495 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=18930384 memory=16880 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31604403 19384713216 12495 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31604404 19384713216 12495 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49980 KiB
[startup+0.205923 s]*
/proc/loadavg: 0.60 0.96 1.42 14/336 16723
/proc/meminfo: memFree=130070952/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=18930384 memory=60096 CPUtime=0.28 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 7136 0 0 0 26 2 0 0 20 0 18 0 31604398 19384713216 15024 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4732596 15024 5425 1 0 547992 0
[pid=16648/tid=16667] ppid=16635 vsize=18930384 memory=4026597660 CPUtime=0.15 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 5408 0 0 0 14 1 0 0 20 0 18 0 31604401 19384713216 15024 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=18930384 memory=16880 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31604403 19384713216 15024 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31604404 19384713216 15024 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60096 KiB
[startup+0.305881 s]*
/proc/loadavg: 0.60 0.96 1.42 11/338 16725
/proc/meminfo: memFree=130021424/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=18996948 memory=71816 CPUtime=0.47 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 8799 0 0 0 45 2 0 0 20 0 19 0 31604398 19452874752 17954 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4749237 17954 5425 1 0 549060 0
[pid=16648/tid=16667] ppid=16635 vsize=18996948 memory=-6000919477034968686 CPUtime=0.23 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 5503 0 0 0 22 1 0 0 20 0 19 0 31604401 19452874752 17986 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31604403 19452874752 17986 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31604404 19452874752 17986 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16725] ppid=16635 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/16648/task/16725/stat : 16725 (Timer-0) S 16635 16648 16583 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31604425 19452874752 17986 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71816 KiB
[startup+0.700248 s]
/proc/loadavg: 0.60 0.96 1.42 9/338 16725
/proc/meminfo: memFree=129777244/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19063512 memory=163768 CPUtime=1.23 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 11202 0 0 0 118 5 0 0 20 0 20 0 31604398 19521036288 40942 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4765878 40942 5489 1 0 550417 0
[pid=16648/tid=16667] ppid=16635 vsize=19063512 memory=10752 CPUtime=0.56 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 5547 0 0 0 53 3 0 0 20 0 20 0 31604401 19521036288 40942 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31604403 19521036288 40942 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31604404 19521036288 40942 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16725] ppid=16635 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/16648/task/16725/stat : 16725 (Timer-0) S 16635 16648 16583 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31604425 19521036288 40942 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 163768 KiB
[startup+1.50025 s]
/proc/loadavg: 0.60 0.96 1.42 9/342 16729
/proc/meminfo: memFree=129620332/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19063512 memory=330076 CPUtime=2.81 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 19334 0 0 0 272 9 0 0 20 0 20 0 31604398 19521036288 82519 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4765878 82519 5489 1 0 552922 0
[pid=16648/tid=16667] ppid=16635 vsize=19063512 memory=4764 CPUtime=1.31 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 5904 0 0 0 125 6 0 0 20 0 20 0 31604401 19521036288 82519 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31604403 19521036288 82519 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31604404 19521036288 82519 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16725] ppid=16635 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/16648/task/16725/stat : 16725 (Timer-0) S 16635 16648 16583 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31604425 19521036288 82519 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 330076 KiB
[startup+3.10573 s]
/proc/loadavg: 0.60 0.96 1.42 7/342 16729
/proc/meminfo: memFree=125331564/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19063512 memory=914624 CPUtime=5.79 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 28151 0 0 0 556 23 0 0 20 0 20 0 31604398 19521036288 228656 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4765878 228656 5489 1 0 683697 0
[pid=16648/tid=16667] ppid=16635 vsize=19063512 memory=10752 CPUtime=2.85 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 6774 0 0 0 267 18 0 0 20 0 20 0 31604401 19521036288 228656 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=19063512 memory=337680 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31604403 19521036288 228656 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31604404 19521036288 228656 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16725] ppid=16635 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/16648/task/16725/stat : 16725 (Timer-0) S 16635 16648 16583 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31604425 19521036288 228656 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 5.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 914624 KiB
[startup+6.30021 s]
/proc/loadavg: 1.03 1.04 1.45 5/342 16729
/proc/meminfo: memFree=123324596/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19063512 memory=1631588 CPUtime=9.47 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 29081 0 0 0 909 38 0 0 20 0 20 0 31604398 19521036288 407897 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4765878 407897 5489 1 0 683709 0
[pid=16648/tid=16667] ppid=16635 vsize=19063512 memory=0 CPUtime=5.99 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 7548 0 0 0 568 31 0 0 20 0 20 0 31604401 19521036288 407897 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31604403 19521036288 407897 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31604404 19521036288 407897 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16725] ppid=16635 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/16648/task/16725/stat : 16725 (Timer-0) S 16635 16648 16583 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31604425 19521036288 407897 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 9.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1631588 KiB
[startup+12.7002 s]
/proc/loadavg: 1.27 1.09 1.46 5/342 16729
/proc/meminfo: memFree=123168972/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19063512 memory=1639892 CPUtime=16.02 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 29618 0 0 0 1563 39 0 0 20 0 20 0 31604398 19521036288 409973 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4765878 409973 5489 1 0 683709 0
[pid=16648/tid=16667] ppid=16635 vsize=19063512 memory=3328 CPUtime=12.3 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 8023 0 0 0 1198 32 0 0 20 0 20 0 31604401 19521036288 409973 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=19063512 memory=1637844 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31604403 19521036288 409973 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=19063512 memory=1637844 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31604404 19521036288 409973 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16725] ppid=16635 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/16648/task/16725/stat : 16725 (Timer-0) S 16635 16648 16583 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31604425 19521036288 409973 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 16.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1639892 KiB
[startup+25.5002 s]
/proc/loadavg: 1.88 1.23 1.50 6/342 16730
/proc/meminfo: memFree=123042496/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19063512 memory=1658652 CPUtime=29.3 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 37265 0 0 0 2889 41 0 0 20 0 20 0 31604398 19521036288 414663 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4765878 414663 5489 1 0 683757 0
[pid=16648/tid=16667] ppid=16635 vsize=19063512 memory=0 CPUtime=24.89 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 10706 0 0 0 2457 32 0 0 20 0 20 0 31604401 19521036288 414663 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31604403 19521036288 414663 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=19063512 memory=-6000919485624903278 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 31604404 19521036288 414663 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16725] ppid=16635 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/16648/task/16725/stat : 16725 (Timer-0) S 16635 16648 16583 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31604425 19521036288 414663 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 29.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1658652 KiB
[startup+51.1059 s]
/proc/loadavg: 2.67 1.47 1.57 5/342 16730
/proc/meminfo: memFree=122816456/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19063512 memory=1687528 CPUtime=55.21 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 42778 0 0 0 5479 42 0 0 20 0 20 0 31604398 19521036288 421882 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4765878 421882 5489 1 0 683757 0
[pid=16648/tid=16667] ppid=16635 vsize=19063512 memory=0 CPUtime=50.1 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 12772 0 0 0 4978 32 0 0 20 0 20 0 31604401 19521036288 421882 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
################
# More data... #
################
/proc/loadavg: 2.67 1.47 1.57 5/342 16730
/proc/meminfo: memFree=122816456/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19063512 memory=1687528 CPUtime=55.3 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 42807 0 0 0 5488 42 0 0 20 0 20 0 31604398 19521036288 421882 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4765878 421882 5489 1 0 683757 0
[pid=16648/tid=16667] ppid=16635 vsize=19063512 memory=1677260 CPUtime=50.19 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 12801 0 0 0 4987 32 0 0 20 0 20 0 31604401 19521036288 421882 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31604403 19521036288 421882 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=19063512 memory=1675200 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 31604404 19521036288 421882 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16725] ppid=16635 vsize=19063512 memory=1669024 CPUtime=0 cores=1,3
/proc/16648/task/16725/stat : 16725 (Timer-0) S 16635 16648 16583 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31604425 19521036288 421882 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 55.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1687528 KiB
[startup+64.0002 s]*
/proc/loadavg: 2.88 1.55 1.60 5/342 16731
/proc/meminfo: memFree=122783352/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19063512 memory=1704012 CPUtime=68.24 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 46199 0 0 0 6780 44 0 0 20 0 20 0 31604398 19521036288 426003 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4765878 426003 5489 1 0 683757 0
[pid=16648/tid=16667] ppid=16635 vsize=19063512 memory=-6000919477034968686 CPUtime=62.85 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 13941 0 0 0 6252 33 0 0 20 0 20 0 31604401 19521036288 426003 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=19063512 memory=1729176 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31604403 19521036288 426003 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=19063512 memory=1704012 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 31604404 19521036288 426003 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16725] ppid=16635 vsize=19063512 memory=1980548 CPUtime=0 cores=1,3
/proc/16648/task/16725/stat : 16725 (Timer-0) S 16635 16648 16583 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31604425 19521036288 426003 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 68.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1704012 KiB
[startup+76.8002 s]
/proc/loadavg: 3.12 1.68 1.64 5/342 16731
/proc/meminfo: memFree=122739216/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19063512 memory=1718348 CPUtime=81.11 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 46293 0 0 0 8066 45 0 0 20 0 20 0 31604398 19521036288 429587 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4765878 429587 5489 1 0 683757 0
[pid=16648/tid=16667] ppid=16635 vsize=19063512 memory=164 CPUtime=75.51 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 13984 0 0 0 7518 33 0 0 20 0 20 0 31604401 19521036288 429587 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=19063512 memory=1695752 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31604403 19521036288 429587 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 31604404 19521036288 429587 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16725] ppid=16635 vsize=19063512 memory=129 CPUtime=0 cores=1,3
/proc/16648/task/16725/stat : 16725 (Timer-0) S 16635 16648 16583 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31604425 19521036288 429587 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 81.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1718348 KiB
[startup+80.0002 s]*
/proc/loadavg: 3.20 1.71 1.65 5/342 16731
/proc/meminfo: memFree=122722848/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19063512 memory=1720396 CPUtime=84.33 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 46370 0 0 0 8388 45 0 0 20 0 20 0 31604398 19521036288 430099 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4765878 430099 5489 1 0 683757 0
[pid=16648/tid=16667] ppid=16635 vsize=19063512 memory=-6000919477034968686 CPUtime=78.68 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 13985 0 0 0 7835 33 0 0 20 0 20 0 31604401 19521036288 430099 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31604403 19521036288 430099 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 110 0 0 0 0 0 0 0 20 0 20 0 31604404 19521036288 430099 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16725] ppid=16635 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/16648/task/16725/stat : 16725 (Timer-0) S 16635 16648 16583 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31604425 19521036288 430099 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 84.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1720396 KiB
[startup+81.6002 s]
/proc/loadavg: 3.20 1.71 1.65 5/342 16731
/proc/meminfo: memFree=122722848/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19063512 memory=1720396 CPUtime=85.92 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 46370 0 0 0 8547 45 0 0 20 0 20 0 31604398 19521036288 430099 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4765878 430099 5489 1 0 683757 0
[pid=16648/tid=16667] ppid=16635 vsize=19063512 memory=5632 CPUtime=80.27 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 13985 0 0 0 7994 33 0 0 20 0 20 0 31604401 19521036288 430099 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=19063512 memory=1720396 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31604403 19521036288 430099 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 110 0 0 0 0 0 0 0 20 0 20 0 31604404 19521036288 430099 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16725] ppid=16635 vsize=19063512 memory=-6000919477034968686 CPUtime=0 cores=1,3
/proc/16648/task/16725/stat : 16725 (Timer-0) S 16635 16648 16583 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31604425 19521036288 430099 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 85.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1720396 KiB
[startup+83.2002 s]
/proc/loadavg: 3.20 1.71 1.65 5/342 16731
/proc/meminfo: memFree=122722848/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19063512 memory=1722444 CPUtime=87.54 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 46394 0 0 0 8709 45 0 0 20 0 20 0 31604398 19521036288 430611 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4765878 430611 5489 1 0 683757 0
[pid=16648/tid=16667] ppid=16635 vsize=19063512 memory=1718348 CPUtime=81.84 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 14003 0 0 0 8151 33 0 0 20 0 20 0 31604401 19521036288 430611 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=19063512 memory=19712 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31604403 19521036288 430611 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 110 0 0 0 0 0 0 0 20 0 20 0 31604404 19521036288 430611 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16725] ppid=16635 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/16648/task/16725/stat : 16725 (Timer-0) S 16635 16648 16583 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31604425 19521036288 430611 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 87.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1722444 KiB
[startup+84.0002 s]*
/proc/loadavg: 3.20 1.71 1.65 5/342 16731
/proc/meminfo: memFree=122710560/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19063512 memory=1722444 CPUtime=88.34 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 46395 0 0 0 8789 45 0 0 20 0 20 0 31604398 19521036288 430611 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4765878 430611 5489 1 0 683757 0
[pid=16648/tid=16667] ppid=16635 vsize=19063512 memory=-6000919477034968686 CPUtime=82.65 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 14004 0 0 0 8232 33 0 0 20 0 20 0 31604401 19521036288 430611 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=19063512 memory=7668627846316905061 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31604403 19521036288 430611 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=19063512 memory=7883948506549938788 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 110 0 0 0 0 0 0 0 20 0 20 0 31604404 19521036288 430611 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16725] ppid=16635 vsize=19063512 memory=7882822619545560168 CPUtime=0 cores=1,3
/proc/16648/task/16725/stat : 16725 (Timer-0) S 16635 16648 16583 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31604425 19521036288 430611 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 88.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1722444 KiB
[startup+84.4002 s]
/proc/loadavg: 3.20 1.71 1.65 5/342 16731
/proc/meminfo: memFree=122710560/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19063512 memory=1722444 CPUtime=88.75 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 46417 0 0 0 8829 46 0 0 20 0 20 0 31604398 19521036288 430611 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4765878 430611 5489 1 0 683757 0
[pid=16648/tid=16667] ppid=16635 vsize=19063512 memory=17408 CPUtime=83.04 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) R 16635 16648 16583 0 -1 4194368 14013 0 0 0 8271 33 0 0 20 0 20 0 31604401 19521036288 430611 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31604403 19521036288 430611 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 110 0 0 0 0 0 0 0 20 0 20 0 31604404 19521036288 430611 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16725] ppid=16635 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/16648/task/16725/stat : 16725 (Timer-0) S 16635 16648 16583 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31604425 19521036288 430611 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 88.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1722444 KiB
[startup+84.5002 s]
/proc/loadavg: 3.20 1.71 1.65 5/342 16731
/proc/meminfo: memFree=122710560/131249996 swapFree=33010684/33010684
[pid=16648] ppid=16635 vsize=19196640 memory=1722956 CPUtime=88.86 cores=1,3
/proc/16648/stat : 16648 (java) S 16635 16648 16583 0 -1 4194304 48493 0 0 0 8840 46 0 0 20 0 20 0 31604398 19657359360 430739 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
/proc/16648/statm: 4799160 430739 5489 1 0 684379 0
[pid=16648/tid=16667] ppid=16635 vsize=19196640 memory=1704012 CPUtime=83.12 cores=1,3
/proc/16648/task/16667/stat : 16667 (java) S 16635 16648 16583 0 -1 4194368 15411 0 0 0 8279 33 0 0 20 0 20 0 31604401 19657359360 430739 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16708] ppid=16635 vsize=19196640 memory=1710156 CPUtime=0 cores=1,3
/proc/16648/task/16708/stat : 16708 (Finalizer) S 16635 16648 16583 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31604403 19657359360 430739 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
[pid=16648/tid=16721] ppid=16635 vsize=19196640 memory=3472328295419954373 CPUtime=0 cores=1,3
/proc/16648/task/16721/stat : 16721 (Common-Cleaner) S 16635 16648 16583 0 -1 4194368 110 0 0 0 0 0 0 0 20 0 20 0 31604404 19657359360 430739 18446744073709551615 94450366177280 94450366180976 140723487912624 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94450366188792 94450366189584 94450389102592 140723487914366 140723487914470 140723487914470 140723487920072 0
Current children cumulated CPU time: 88.86 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1722956 KiB
Child status: 20
Real time (s): 84.5379
CPU time (s): 88.8831
CPU user time (s): 88.4137
CPU system time (s): 0.469318
CPU usage (%): 105.14
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 1722956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.4137
system time used= 0.469318
maximum resident set size= 1723084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48749
page faults= 0
swaps= 0
block input operations= 0
block output operations= 544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5698
involuntary context switches= 1875
# summary of solver processes directly reported to runsolver:
# pid: 16648
# total CPU time (s): 88.8831
# total CPU user time (s): 88.4137
# total CPU system time (s): 0.469318
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.192895 second user time and 0.473526 second system time
The end