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 (62637 MiB free)
memory of node 1: 64507 MiB (60323 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522375-1751600965/watcher-4522375-1751600965 -o /tmp/evaluation-result-4522375-1751600965/solver-4522375-1751600965 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751600965-89874 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4522375-1751600965 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4522375-1751600965.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
solver pid=89919, runsolver pid=89911
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 0.48 0.98 1.67 7/313 89975
/proc/meminfo: memFree=125848592/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=18930384 memory=55640 CPUtime=0.12 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 6550 0 0 0 10 2 0 0 20 0 18 0 75774291 19384713216 13910 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4732596 13910 5342 1 0 547588 0
[pid=89919/tid=89929] ppid=89911 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 5045 0 0 0 6 1 0 0 20 0 18 0 75774293 19384713216 13910 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=18930384 memory=16198 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75774295 19384713216 13910 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75774295 19384713216 13910 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55640 KiB
[startup+0.205661 s]*
/proc/loadavg: 0.48 0.98 1.67 10/312 89976
/proc/meminfo: memFree=125832384/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=18930384 memory=61360 CPUtime=0.24 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 6900 0 0 0 22 2 0 0 20 0 18 0 75774291 19384713216 15340 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4732596 15340 5438 1 0 547820 0
[pid=89919/tid=89929] ppid=89911 vsize=18930384 memory=4026816283 CPUtime=0.13 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 5243 0 0 0 12 1 0 0 20 0 18 0 75774293 19384713216 15340 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=18930384 memory=211342852430 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75774295 19384713216 15340 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=18930384 memory=56286469452157 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75774295 19384713216 15340 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61360 KiB
[startup+0.306123 s]*
/proc/loadavg: 0.48 0.98 1.67 11/334 90003
/proc/meminfo: memFree=125779308/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=18930384 memory=83628 CPUtime=0.43 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 9035 0 0 0 39 4 0 0 20 0 18 0 75774291 19384713216 20907 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4732596 20907 5438 1 0 549248 0
[pid=89919/tid=89929] ppid=89911 vsize=18930384 memory=-6000919502720688999 CPUtime=0.2 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 5287 0 0 0 18 2 0 0 20 0 18 0 75774293 19384713216 20907 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75774295 19384713216 20907 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75774295 19384713216 20907 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 83628 KiB
[startup+0.700194 s]
/proc/loadavg: 0.48 0.98 1.67 10/337 90006
/proc/meminfo: memFree=125561624/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=18996948 memory=159748 CPUtime=1.19 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 15707 0 0 0 112 7 0 0 20 0 19 0 75774291 19452874752 39937 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4749237 39937 5470 1 0 552997 0
[pid=89919/tid=89929] ppid=89911 vsize=18996948 memory=18688 CPUtime=0.5 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 5463 0 0 0 47 3 0 0 20 0 19 0 75774293 19452874752 39937 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75774295 19452874752 39937 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75774295 19452874752 39937 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=90005] ppid=89911 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/89919/task/90005/stat : 90005 (Timer-0) S 89911 89919 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75774338 19452874752 39937 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 159748 KiB
[startup+1.50019 s]
/proc/loadavg: 0.48 0.98 1.67 9/340 90009
/proc/meminfo: memFree=124570044/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=19063512 memory=177188 CPUtime=2.78 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 20698 0 0 0 270 8 0 0 20 0 20 0 75774291 19521036288 44297 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4765878 44297 5534 1 0 553566 0
[pid=89919/tid=89929] ppid=89911 vsize=19063512 memory=0 CPUtime=1.26 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 5830 0 0 0 122 4 0 0 20 0 20 0 75774293 19521036288 44297 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 44297 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 44297 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=90005] ppid=89911 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/89919/task/90005/stat : 90005 (Timer-0) S 89911 89919 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75774338 19521036288 44297 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177188 KiB
[startup+3.10552 s]
/proc/loadavg: 0.48 0.98 1.67 6/340 90009
/proc/meminfo: memFree=121361668/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=19063512 memory=186228 CPUtime=5.25 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 23936 0 0 0 516 9 0 0 20 0 20 0 75774291 19521036288 46557 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4765878 46557 5534 1 0 553574 0
[pid=89919/tid=89929] ppid=89911 vsize=19063512 memory=10752 CPUtime=2.8 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 6199 0 0 0 276 4 0 0 20 0 20 0 75774293 19521036288 46557 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=19063512 memory=-6000919502838129511 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 46557 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 46557 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=90005] ppid=89911 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/89919/task/90005/stat : 90005 (Timer-0) S 89911 89919 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75774338 19521036288 46557 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 5.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186228 KiB
[startup+6.30026 s]
/proc/loadavg: 1.00 1.08 1.70 3/342 90012
/proc/meminfo: memFree=120941392/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=19063512 memory=201928 CPUtime=7.92 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 27498 0 0 0 782 10 0 0 20 0 20 0 75774291 19521036288 50482 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4765878 50482 5534 1 0 554285 0
[pid=89919/tid=89929] ppid=89911 vsize=19063512 memory=0 CPUtime=5.04 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) D 89911 89919 89864 0 -1 4194368 6855 0 0 0 499 5 0 0 20 0 20 0 75774293 19521036288 50482 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 50482 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 50482 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=90005] ppid=89911 vsize=19063512 memory=177188 CPUtime=0 cores=0,2
/proc/89919/task/90005/stat : 90005 (Timer-0) S 89911 89919 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75774338 19521036288 50482 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 7.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 201928 KiB
[startup+12.7002 s]
/proc/loadavg: 1.24 1.13 1.71 5/343 90013
/proc/meminfo: memFree=119408072/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=19063512 memory=378152 CPUtime=12.3 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 27761 0 0 0 1215 15 0 0 20 0 20 0 75774291 19521036288 94538 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4765878 94538 5534 1 0 554285 0
[pid=89919/tid=89929] ppid=89911 vsize=19063512 memory=177188 CPUtime=9.14 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 7022 0 0 0 905 9 0 0 20 0 20 0 75774293 19521036288 94538 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 94538 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 94538 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=90005] ppid=89911 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/89919/task/90005/stat : 90005 (Timer-0) S 89911 89919 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75774338 19521036288 94538 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 378152 KiB
[startup+25.5002 s]
/proc/loadavg: 1.99 1.30 1.76 5/343 90013
/proc/meminfo: memFree=117638492/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=19063512 memory=495052 CPUtime=25.17 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 33387 0 0 0 2498 19 0 0 20 0 20 0 75774291 19521036288 123763 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4765878 123763 5534 1 0 554285 0
[pid=89919/tid=89929] ppid=89911 vsize=19063512 memory=0 CPUtime=21.83 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 8720 0 0 0 2171 12 0 0 20 0 20 0 75774293 19521036288 123763 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 123763 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 123763 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=90005] ppid=89911 vsize=19063512 memory=495052 CPUtime=0 cores=0,2
/proc/89919/task/90005/stat : 90005 (Timer-0) S 89911 89919 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75774338 19521036288 123763 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 495052 KiB
[startup+51.1057 s]
/proc/loadavg: 2.87 1.57 1.84 5/345 90082
/proc/meminfo: memFree=110526572/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=19063512 memory=966308 CPUtime=50.41 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 36948 0 0 0 5006 35 0 0 20 0 20 0 75774291 19521036288 241577 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4765878 241577 5566 1 0 554285 0
[pid=89919/tid=89929] ppid=89911 vsize=19063512 memory=794276 CPUtime=46.94 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 10006 0 0 0 4669 25 0 0 20 0 20 0 75774293 19521036288 241577 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=19063512 memory=-6000919502838129511 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 241577 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
################
# More data... #
################
[startup+3342.3 s]
/proc/loadavg: 4.31 4.33 4.18 5/345 90263
/proc/meminfo: memFree=62475852/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=19063512 memory=2170004 CPUtime=3222.78 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 102511 0 0 0 321783 495 0 0 20 0 20 0 75774291 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4765878 542501 5566 1 0 555660 0
[pid=89919/tid=89929] ppid=89911 vsize=19063512 memory=2170004 CPUtime=3209.04 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 42168 0 0 0 320514 390 0 0 20 0 20 0 75774293 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=19063512 memory=2170004 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 1633 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=90005] ppid=89911 vsize=19063512 memory=2170004 CPUtime=0 cores=0,2
/proc/89919/task/90005/stat : 90005 (Timer-0) S 89911 89919 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75774338 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 3222.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170004 KiB
[startup+3402.3 s]
/proc/loadavg: 4.35 4.34 4.19 5/345 90267
/proc/meminfo: memFree=62294152/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=19063512 memory=2170004 CPUtime=3282.64 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 102597 0 0 0 327761 503 0 0 20 0 20 0 75774291 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4765878 542501 5566 1 0 555660 0
[pid=89919/tid=89929] ppid=89911 vsize=19063512 memory=2170004 CPUtime=3268.75 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 42187 0 0 0 326478 397 0 0 20 0 20 0 75774293 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=19063512 memory=2170004 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 1633 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=90005] ppid=89911 vsize=19063512 memory=2170004 CPUtime=0 cores=0,2
/proc/89919/task/90005/stat : 90005 (Timer-0) S 89911 89919 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75774338 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 3282.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170004 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.31 4.19 5/344 90269
/proc/meminfo: memFree=61082112/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=19063512 memory=2170004 CPUtime=3337.98 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 103170 0 0 0 333287 511 0 0 20 0 20 0 75774291 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4765878 542501 5566 1 0 555660 0
[pid=89919/tid=89929] ppid=89911 vsize=19063512 memory=2170004 CPUtime=3323.89 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 42665 0 0 0 331985 404 0 0 20 0 20 0 75774293 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 1633 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=90005] ppid=89911 vsize=19063512 memory=2170004 CPUtime=0 cores=0,2
/proc/89919/task/90005/stat : 90005 (Timer-0) S 89911 89919 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75774338 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 3337.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170004 KiB
[startup+3522.3 s]
/proc/loadavg: 4.28 4.30 4.19 5/343 90271
/proc/meminfo: memFree=58906524/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=19063512 memory=2170004 CPUtime=3394.01 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 104863 0 0 0 338883 518 0 0 20 0 20 0 75774291 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4765878 542501 5566 1 0 555660 0
[pid=89919/tid=89929] ppid=89911 vsize=19063512 memory=2170004 CPUtime=3379.82 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 43848 0 0 0 337572 410 0 0 20 0 20 0 75774293 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=19063512 memory=2170004 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 1742 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=90005] ppid=89911 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/89919/task/90005/stat : 90005 (Timer-0) S 89911 89919 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75774338 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 3394.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170004 KiB
[startup+3582.3 s]
/proc/loadavg: 4.31 4.30 4.19 5/343 90340
/proc/meminfo: memFree=79392980/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=19063512 memory=2170004 CPUtime=3448.68 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 106094 0 0 0 344340 528 0 0 20 0 20 0 75774291 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4765878 542501 5566 1 0 555660 0
[pid=89919/tid=89929] ppid=89911 vsize=19063512 memory=2170004 CPUtime=3434.36 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 44566 0 0 0 343017 419 0 0 20 0 20 0 75774293 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=19063512 memory=2170004 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 1852 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=90005] ppid=89911 vsize=19063512 memory=2170004 CPUtime=0 cores=0,2
/proc/89919/task/90005/stat : 90005 (Timer-0) S 89911 89919 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75774338 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 3448.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170004 KiB
[startup+3642.3 s]
/proc/loadavg: 4.32 4.31 4.20 5/344 90409
/proc/meminfo: memFree=106161656/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=19063512 memory=2170004 CPUtime=3508.55 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 106290 0 0 0 350321 534 0 0 20 0 20 0 75774291 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4765878 542501 5566 1 0 555660 0
[pid=89919/tid=89929] ppid=89911 vsize=19063512 memory=2170004 CPUtime=3494.04 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 44715 0 0 0 348980 424 0 0 20 0 20 0 75774293 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=19063512 memory=2170004 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 1852 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=90005] ppid=89911 vsize=19063512 memory=2170004 CPUtime=0 cores=0,2
/proc/89919/task/90005/stat : 90005 (Timer-0) S 89911 89919 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75774338 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 3508.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170004 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.16 4.26 4.19 5/344 90412
/proc/meminfo: memFree=105153480/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=19063512 memory=2170004 CPUtime=3566.11 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 106852 0 0 0 356070 541 0 0 20 0 20 0 75774291 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4765878 542501 5566 1 0 555660 0
[pid=89919/tid=89929] ppid=89911 vsize=19063512 memory=2764 CPUtime=3551.49 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 45223 0 0 0 354720 429 0 0 20 0 20 0 75774293 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=19063512 memory=21996 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=19063512 memory=4480 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 1852 0 0 0 0 0 0 0 20 0 20 0 75774295 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=90005] ppid=89911 vsize=19063512 memory=-6000919485541215334 CPUtime=0 cores=0,2
/proc/89919/task/90005/stat : 90005 (Timer-0) S 89911 89919 89864 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75774338 19521036288 542501 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 3566.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3700.16 s]
# the end of solver process 89919 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3560.93 s, system=5.43238 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3700.11 s]
/proc/loadavg: 4.16 4.26 4.19 5/344 90412
/proc/meminfo: memFree=105153480/131249996 swapFree=33010672/33010684
[pid=89919] ppid=89911 vsize=19263204 memory=2171028 CPUtime=3566.32 cores=0,2
/proc/89919/stat : 89919 (java) S 89911 89919 89864 0 -1 4194304 109241 0 0 0 356090 542 0 0 20 0 21 0 75774291 19725520896 542757 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
/proc/89919/statm: 4815801 542757 5598 1 0 556648 0
[pid=89919/tid=89929] ppid=89911 vsize=19263204 memory=2170004 CPUtime=3551.6 cores=0,2
/proc/89919/task/89929/stat : 89929 (java) R 89911 89919 89864 0 -1 4194368 45316 0 0 0 354730 430 0 0 20 0 21 0 75774293 19725520896 542757 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89958] ppid=89911 vsize=19263204 memory=5760 CPUtime=0 cores=0,2
/proc/89919/task/89958/stat : 89958 (Finalizer) S 89911 89919 89864 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 75774295 19725520896 542757 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
[pid=89919/tid=89975] ppid=89911 vsize=19263204 memory=-6000919485541215334 CPUtime=0 cores=0,2
/proc/89919/task/89975/stat : 89975 (Common-Cleaner) S 89911 89919 89864 0 -1 4194368 1852 0 0 0 0 0 0 0 20 0 21 0 75774295 19725520896 542757 18446744073709551615 94758635597824 94758635601520 140726570751936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94758635609336 94758635610128 94758657961984 140726570756400 140726570756582 140726570756582 140726570762184 0
Current children cumulated CPU time: 3566.32 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2171028 KiB
Child status: 143
Real time (s): 3700.16
CPU time (s): 3566.36
CPU user time (s): 3560.93
CPU system time (s): 5.43238
CPU usage (%): 96.3839
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2171028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.93
system time used= 5.43238
maximum resident set size= 2171156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6962896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116139
involuntary context switches= 9441
# summary of solver processes directly reported to runsolver:
# pid: 89919
# total CPU time (s): 3566.36
# total CPU user time (s): 3560.93
# total CPU system time (s): 5.43238
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3871 second user time and 14.6993 second system time
The end