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 (62787 MiB free)
memory of node 1: 64507 MiB (63933 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499082-1751408127/watcher-4499082-1751408127 -o /tmp/evaluation-result-4499082-1751408127/solver-4499082-1751408127 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751408127-60101 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4499082-1751408127.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=60156, runsolver pid=60140
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.37 1.41 2.21 9/333 60226
/proc/meminfo: memFree=129660380/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=18930384 memory=57636 CPUtime=0.12 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 6554 0 0 0 10 2 0 0 20 0 18 0 56490477 19384713216 14409 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4732596 14409 5338 1 0 547603 0
[pid=60156/tid=60168] ppid=60140 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 5057 0 0 0 6 1 0 0 20 0 18 0 56490479 19384713216 14409 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56490481 19384713216 14409 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=18930384 memory=60684515966010 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 56490482 19384713216 14409 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57636 KiB
[startup+0.205667 s]*
/proc/loadavg: 0.37 1.41 2.21 13/333 60226
/proc/meminfo: memFree=129632812/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=18930384 memory=66496 CPUtime=0.32 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 7134 0 0 0 29 3 0 0 20 0 18 0 56490477 19384713216 16624 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4732596 16624 5434 1 0 548019 0
[pid=60156/tid=60168] ppid=60140 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 5279 0 0 0 14 1 0 0 20 0 18 0 56490479 19384713216 16624 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=18930384 memory=16880 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56490481 19384713216 16624 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 56490482 19384713216 16624 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66496 KiB
[startup+0.3056 s]*
/proc/loadavg: 0.37 1.41 2.21 13/336 60229
/proc/meminfo: memFree=129539488/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=18996948 memory=83496 CPUtime=0.51 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 8731 0 0 0 47 4 0 0 20 0 19 0 56490477 19452874752 20874 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4749237 20874 5466 1 0 549328 0
[pid=60156/tid=60168] ppid=60140 vsize=18996948 memory=-6000919507083291753 CPUtime=0.23 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 5401 0 0 0 21 2 0 0 20 0 19 0 56490479 19452874752 20874 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=18996948 memory=-4421386487624657761 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 56490481 19452874752 20874 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 56490482 19452874752 20874 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60227] ppid=60140 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/60156/task/60227/stat : 60227 (Timer-0) S 60140 60156 60056 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 56490506 19452874752 20874 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83496 KiB
[startup+0.700207 s]
/proc/loadavg: 0.37 1.41 2.21 11/337 60230
/proc/meminfo: memFree=129492452/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=18996948 memory=99940 CPUtime=1.27 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 12737 0 0 0 122 5 0 0 20 0 19 0 56490477 19452874752 24985 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4749237 24985 5498 1 0 551766 0
[pid=60156/tid=60168] ppid=60140 vsize=18996948 memory=17920 CPUtime=0.57 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 5446 0 0 0 55 2 0 0 20 0 19 0 56490479 19452874752 24985 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 56490481 19452874752 24985 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 56490482 19452874752 24985 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60227] ppid=60140 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/60156/task/60227/stat : 60227 (Timer-0) S 60140 60156 60056 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 56490506 19452874752 24985 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 99940 KiB
[startup+1.50023 s]
/proc/loadavg: 0.37 1.41 2.21 9/337 60230
/proc/meminfo: memFree=129436812/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=18996948 memory=122012 CPUtime=2.52 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 17471 0 0 0 246 6 0 0 20 0 19 0 56490477 19452874752 30503 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4749237 30503 5498 1 0 552039 0
[pid=60156/tid=60168] ppid=60140 vsize=18996948 memory=0 CPUtime=1.35 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 5684 0 0 0 133 2 0 0 20 0 19 0 56490479 19452874752 30503 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 56490481 19452874752 30503 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 56490482 19452874752 30503 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60227] ppid=60140 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/60156/task/60227/stat : 60227 (Timer-0) S 60140 60156 60056 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 56490506 19452874752 30503 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 122012 KiB
[startup+3.10451 s]
/proc/loadavg: 0.37 1.41 2.21 5/295 60243
/proc/meminfo: memFree=129498308/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=18996948 memory=159132 CPUtime=4.3 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 18608 0 0 0 424 6 0 0 20 0 19 0 56490477 19452874752 39783 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4749237 39783 5498 1 0 552057 0
[pid=60156/tid=60168] ppid=60140 vsize=18996948 memory=10752 CPUtime=2.96 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 6209 0 0 0 293 3 0 0 20 0 19 0 56490479 19452874752 39783 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=18996948 memory=-6000919507083291753 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 56490481 19452874752 39783 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 56490482 19452874752 39783 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60227] ppid=60140 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/60156/task/60227/stat : 60227 (Timer-0) S 60140 60156 60056 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 56490506 19452874752 39783 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 4.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 159132 KiB
[startup+6.30014 s]
/proc/loadavg: 0.66 1.45 2.22 5/293 60309
/proc/meminfo: memFree=129412516/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=19063512 memory=191292 CPUtime=7.59 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 20047 0 0 0 752 7 0 0 20 0 20 0 56490477 19521036288 47823 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4765878 47823 5498 1 0 552346 0
[pid=60156/tid=60168] ppid=60140 vsize=19063512 memory=0 CPUtime=6.1 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 6223 0 0 0 607 3 0 0 20 0 20 0 56490479 19521036288 47823 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56490481 19521036288 47823 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 56490482 19521036288 47823 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60227] ppid=60140 vsize=19063512 memory=126108 CPUtime=0 cores=5,7
/proc/60156/task/60227/stat : 60227 (Timer-0) S 60140 60156 60056 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56490506 19521036288 47823 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 7.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191292 KiB
[startup+12.7001 s]
/proc/loadavg: 0.77 1.46 2.22 4/293 60309
/proc/meminfo: memFree=129071176/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=19063512 memory=320696 CPUtime=14.09 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 21839 0 0 0 1399 10 0 0 20 0 20 0 56490477 19521036288 80174 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4765878 80174 5498 1 0 552346 0
[pid=60156/tid=60168] ppid=60140 vsize=19063512 memory=126108 CPUtime=12.38 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 6923 0 0 0 1235 3 0 0 20 0 20 0 56490479 19521036288 80174 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56490481 19521036288 80174 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 56490482 19521036288 80174 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60227] ppid=60140 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/60156/task/60227/stat : 60227 (Timer-0) S 60140 60156 60056 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56490506 19521036288 80174 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 14.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 320696 KiB
[startup+25.5002 s]
/proc/loadavg: 1.04 1.49 2.22 4/293 60309
/proc/meminfo: memFree=128385632/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=19063512 memory=511812 CPUtime=27.09 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 27202 0 0 0 2694 15 0 0 20 0 20 0 56490477 19521036288 127953 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4765878 127953 5530 1 0 552346 0
[pid=60156/tid=60168] ppid=60140 vsize=19063512 memory=0 CPUtime=24.98 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 8245 0 0 0 2495 3 0 0 20 0 20 0 56490479 19521036288 127953 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56490481 19521036288 127953 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=19063512 memory=4050197523028246818 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 56490482 19521036288 127953 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60227] ppid=60140 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/60156/task/60227/stat : 60227 (Timer-0) S 60140 60156 60056 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56490506 19521036288 127953 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 27.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 511812 KiB
[startup+51.1054 s]
/proc/loadavg: 1.51 1.56 2.22 4/293 60309
/proc/meminfo: memFree=127128728/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=19063512 memory=1010500 CPUtime=53.03 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 28490 0 0 0 5278 25 0 0 20 0 20 0 56490477 19521036288 252625 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4765878 252625 5530 1 0 552346 0
[pid=60156/tid=60168] ppid=60140 vsize=19063512 memory=819720 CPUtime=50.07 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 8286 0 0 0 5004 3 0 0 20 0 20 0 56490479 19521036288 252625 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 2.06 2.08 2.09 4/289 60475
/proc/meminfo: memFree=110532424/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=19063512 memory=7370408 CPUtime=3239.68 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 220295 0 0 0 323730 238 0 0 20 0 20 0 56490477 19521036288 1842602 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4765878 1842602 5562 1 0 2410204 0
[pid=60156/tid=60168] ppid=60140 vsize=19063512 memory=7366048 CPUtime=3193.78 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 91991 0 0 0 319321 57 0 0 20 0 20 0 56490479 19521036288 1842602 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=19063512 memory=7370408 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56490481 19521036288 1842602 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=19063512 memory=7366048 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 2046 0 0 0 0 0 0 0 20 0 20 0 56490482 19521036288 1842602 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60227] ppid=60140 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/60156/task/60227/stat : 60227 (Timer-0) S 60140 60156 60056 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56490506 19521036288 1842602 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 3239.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7370408 KiB
[startup+3282.3 s]
/proc/loadavg: 2.12 2.09 2.09 4/290 60480
/proc/meminfo: memFree=110295504/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=19063512 memory=7608920 CPUtime=3299.82 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 224048 0 0 0 329738 244 0 0 20 0 20 0 56490477 19521036288 1902230 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4765878 1902230 5562 1 0 2410204 0
[pid=60156/tid=60168] ppid=60140 vsize=19063512 memory=7608920 CPUtime=3253.32 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 94576 0 0 0 325275 57 0 0 20 0 20 0 56490479 19521036288 1902230 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=19063512 memory=129 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56490481 19521036288 1902230 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=19063512 memory=7608920 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 2046 0 0 0 0 0 0 0 20 0 20 0 56490482 19521036288 1902230 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60227] ppid=60140 vsize=19063512 memory=7608920 CPUtime=0 cores=5,7
/proc/60156/task/60227/stat : 60227 (Timer-0) S 60140 60156 60056 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56490506 19521036288 1902230 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 3299.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7608920 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.09 2.09 4/291 60483
/proc/meminfo: memFree=109957092/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=19063512 memory=7945316 CPUtime=3359.95 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 227366 0 0 0 335742 253 0 0 20 0 20 0 56490477 19521036288 1986329 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4765878 1986329 5562 1 0 2410204 0
[pid=60156/tid=60168] ppid=60140 vsize=19063512 memory=7945316 CPUtime=3312.89 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 96533 0 0 0 331231 58 0 0 20 0 20 0 56490479 19521036288 1986329 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=19063512 memory=-6000919507083291753 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56490481 19521036288 1986329 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 2121 0 0 0 0 0 0 0 20 0 20 0 56490482 19521036288 1986329 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60227] ppid=60140 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/60156/task/60227/stat : 60227 (Timer-0) S 60140 60156 60056 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56490506 19521036288 1986329 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 3359.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7945316 KiB
[startup+3402.3 s]
/proc/loadavg: 2.11 2.09 2.09 4/290 60485
/proc/meminfo: memFree=109628796/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=19063512 memory=8272996 CPUtime=3420.06 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 230265 0 0 0 341745 261 0 0 20 0 20 0 56490477 19521036288 2068249 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4765878 2068249 5562 1 0 2410204 0
[pid=60156/tid=60168] ppid=60140 vsize=19063512 memory=3328 CPUtime=3372.45 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 98698 0 0 0 337187 58 0 0 20 0 20 0 56490479 19521036288 2068249 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=19063512 memory=7945316 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56490481 19521036288 2068249 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=19063512 memory=7945316 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 2135 0 0 0 0 0 0 0 20 0 20 0 56490482 19521036288 2068249 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60227] ppid=60140 vsize=19063512 memory=7945316 CPUtime=0 cores=5,7
/proc/60156/task/60227/stat : 60227 (Timer-0) S 60140 60156 60056 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56490506 19521036288 2068249 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 3420.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8272996 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.09 2.09 4/290 60487
/proc/meminfo: memFree=109630824/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=19063512 memory=8272996 CPUtime=3479.93 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 232370 0 0 0 347729 264 0 0 20 0 20 0 56490477 19521036288 2068249 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4765878 2068249 5562 1 0 2410204 0
[pid=60156/tid=60168] ppid=60140 vsize=19063512 memory=3328 CPUtime=3432.28 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 100733 0 0 0 343170 58 0 0 20 0 20 0 56490479 19521036288 2068249 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=19063512 memory=7945316 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56490481 19521036288 2068249 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 2135 0 0 0 0 0 0 0 20 0 20 0 56490482 19521036288 2068249 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60227] ppid=60140 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/60156/task/60227/stat : 60227 (Timer-0) S 60140 60156 60056 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56490506 19521036288 2068249 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 3479.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8272996 KiB
[startup+3522.3 s]
/proc/loadavg: 2.13 2.10 2.09 4/291 60490
/proc/meminfo: memFree=109294548/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=19063512 memory=8604804 CPUtime=3540.07 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 236221 0 0 0 353734 273 0 0 20 0 20 0 56490477 19521036288 2151201 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4765878 2151201 5562 1 0 2410204 0
[pid=60156/tid=60168] ppid=60140 vsize=19063512 memory=8604804 CPUtime=3491.86 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 103514 0 0 0 349127 59 0 0 20 0 20 0 56490479 19521036288 2151201 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=19063512 memory=8272996 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56490481 19521036288 2151201 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=19063512 memory=8272996 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 2213 0 0 0 0 0 0 0 20 0 20 0 56490482 19521036288 2151201 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60227] ppid=60140 vsize=19063512 memory=8272996 CPUtime=0 cores=5,7
/proc/60156/task/60227/stat : 60227 (Timer-0) S 60140 60156 60056 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56490506 19521036288 2151201 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 3540.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8604804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3582.2 s]
/proc/loadavg: 2.00 2.08 2.08 2/266 60531
/proc/meminfo: memFree=120945832/131249996 swapFree=33010416/33010684
[pid=60156] ppid=60140 vsize=19063512 memory=8844420 CPUtime=3600.05 cores=5,7
/proc/60156/stat : 60156 (java) S 60140 60156 60056 0 -1 4194304 239897 0 0 0 359726 279 0 0 20 0 20 0 56490477 19521036288 2211105 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
/proc/60156/statm: 4765878 2211105 5562 1 0 2410204 0
[pid=60156/tid=60168] ppid=60140 vsize=19063512 memory=2688 CPUtime=3551.4 cores=5,7
/proc/60156/task/60168/stat : 60168 (java) R 60140 60156 60056 0 -1 4194368 106208 0 0 0 355081 59 0 0 20 0 20 0 56490479 19521036288 2211105 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60216] ppid=60140 vsize=19063512 memory=2432 CPUtime=0 cores=5,7
/proc/60156/task/60216/stat : 60216 (Finalizer) S 60140 60156 60056 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56490481 19521036288 2211105 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60226] ppid=60140 vsize=19063512 memory=3456 CPUtime=0 cores=5,7
/proc/60156/task/60226/stat : 60226 (Common-Cleaner) S 60140 60156 60056 0 -1 4194368 2342 0 0 0 0 0 0 0 20 0 20 0 56490482 19521036288 2211105 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
[pid=60156/tid=60227] ppid=60140 vsize=19063512 memory=1792 CPUtime=0 cores=5,7
/proc/60156/task/60227/stat : 60227 (Timer-0) S 60140 60156 60056 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56490506 19521036288 2211105 18446744073709551615 94490812248064 94490812251760 140734440294496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94490812259576 94490812260368 94490825138176 140734440298881 140734440298982 140734440298982 140734440304584 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8844420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3582.31 s]*
/proc/loadavg: 2.00 2.08 2.08 2/248 60534
/proc/meminfo: memFree=128267716/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
heavy processes:
[startup+3582.33 s]
# the end of solver process 60156 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.38 s, system=2.82713 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3582.31 s]*
/proc/loadavg: 2.00 2.08 2.08 2/248 60534
/proc/meminfo: memFree=128267716/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3582.33
CPU time (s): 3600.21
CPU user time (s): 3597.38
CPU system time (s): 2.82713
CPU usage (%): 100.499
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 8844420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.38
system time used= 2.82713
maximum resident set size= 8845188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242279
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112279
involuntary context switches= 5463
# summary of solver processes directly reported to runsolver:
# pid: 60156
# total CPU time (s): 3600.21
# total CPU user time (s): 3597.38
# total CPU system time (s): 2.82713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96972 second user time and 16.0634 second system time
The end