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 (59696 MiB free)
memory of node 1: 64507 MiB (53343 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544266-1753233633/watcher-4544266-1753233633 -o /tmp/evaluation-result-4544266-1753233633/solver-4544266-1753233633 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753233633-178283 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4544266-1753233633 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4544266-1753233633.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=178329, runsolver pid=178323
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.06 1.12 1.79 9/333 178410
/proc/meminfo: memFree=115672560/131250000 swapFree=33010416/33010684
[pid=178329] ppid=178323 vsize=18930384 memory=55044 CPUtime=0.1 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 6240 0 158 0 8 2 0 0 20 0 18 0 239043193 19384713216 13761 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4732596 13761 5357 1 0 547515 0
[pid=178329/tid=178335] ppid=178323 vsize=18930384 memory=4026532124 CPUtime=0.05 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 4834 0 158 0 4 1 0 0 20 0 18 0 239043196 19384713216 13761 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239043198 19384713216 13761 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239043198 19384713216 13761 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55044 KiB
[startup+0.205771 s]*
/proc/loadavg: 1.06 1.12 1.79 13/333 178410
/proc/meminfo: memFree=115600268/131250000 swapFree=33010416/33010684
[pid=178329] ppid=178323 vsize=18930384 memory=75580 CPUtime=0.29 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 6721 0 158 0 26 3 0 0 20 0 18 0 239043193 19384713216 18895 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4732596 18895 5421 1 0 547918 0
[pid=178329/tid=178335] ppid=178323 vsize=18930384 memory=4026990876 CPUtime=0.16 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 5167 0 158 0 14 2 0 0 20 0 18 0 239043196 19384713216 18895 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239043198 19384713216 18895 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239043198 19384713216 18895 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 75580 KiB
[startup+0.305608 s]*
/proc/loadavg: 1.06 1.12 1.79 11/337 178414
/proc/meminfo: memFree=115443236/131250000 swapFree=33010416/33010684
[pid=178329] ppid=178323 vsize=18996948 memory=83676 CPUtime=0.48 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 9004 0 158 0 44 4 0 0 20 0 19 0 239043193 19452874752 20919 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4749237 20919 5421 1 0 549710 0
[pid=178329/tid=178335] ppid=178323 vsize=18996948 memory=-8744696782398464700 CPUtime=0.23 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 5238 0 158 0 21 2 0 0 20 0 19 0 239043196 19452874752 20919 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 239043198 19452874752 20919 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 239043198 19452874752 20919 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178411] ppid=178323 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/178329/task/178411/stat : 178411 (Timer-0) S 178323 178329 178273 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 239043215 19452874752 20919 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83676 KiB
[startup+0.7002 s]
/proc/loadavg: 1.06 1.12 1.79 9/339 178416
/proc/meminfo: memFree=115309272/131250000 swapFree=33010416/33010684
[pid=178329] ppid=178323 vsize=19063512 memory=171840 CPUtime=1.25 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 13925 0 158 0 119 6 0 0 20 0 20 0 239043193 19521036288 42960 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4765878 42960 5453 1 0 552397 0
[pid=178329/tid=178335] ppid=178323 vsize=19063512 memory=27264 CPUtime=0.56 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 5276 0 158 0 53 3 0 0 20 0 20 0 239043196 19521036288 42960 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 42960 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 42960 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178411] ppid=178323 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/178329/task/178411/stat : 178411 (Timer-0) S 178323 178329 178273 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239043215 19521036288 42960 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171840 KiB
[startup+1.50024 s]
/proc/loadavg: 1.06 1.12 1.79 9/341 178418
/proc/meminfo: memFree=115128844/131250000 swapFree=33010416/33010684
[pid=178329] ppid=178323 vsize=19063512 memory=281324 CPUtime=2.7 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 14708 0 158 0 260 10 0 0 20 0 20 0 239043193 19521036288 70331 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4765878 70331 5453 1 0 997385 0
[pid=178329/tid=178335] ppid=178323 vsize=19063512 memory=10880 CPUtime=1.28 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 5320 0 158 0 122 6 0 0 20 0 20 0 239043196 19521036288 70331 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 70331 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 70331 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178411] ppid=178323 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/178329/task/178411/stat : 178411 (Timer-0) S 178323 178329 178273 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239043215 19521036288 70331 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 281324 KiB
[startup+3.10556 s]
/proc/loadavg: 1.69 1.26 1.83 5/341 178418
/proc/meminfo: memFree=112747508/131250000 swapFree=33010416/33010684
[pid=178329] ppid=178323 vsize=19063512 memory=836280 CPUtime=4.78 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 16004 0 158 0 454 24 0 0 20 0 20 0 239043193 19521036288 209070 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4765878 209070 5453 1 0 1580260 0
[pid=178329/tid=178335] ppid=178323 vsize=19063512 memory=10880 CPUtime=2.71 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 5559 0 158 0 256 15 0 0 20 0 20 0 239043196 19521036288 209070 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=19063512 memory=-8960869564512248508 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 209070 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 209070 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178411] ppid=178323 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/178329/task/178411/stat : 178411 (Timer-0) S 178323 178329 178273 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239043215 19521036288 209070 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 4.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 836280 KiB
[startup+6.30023 s]
/proc/loadavg: 1.69 1.26 1.83 5/341 178418
/proc/meminfo: memFree=108837552/131250000 swapFree=33010416/33010684
[pid=178329] ppid=178323 vsize=19063512 memory=1730376 CPUtime=8.7 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 17252 0 158 0 826 44 0 0 20 0 20 0 239043193 19521036288 432594 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4765878 432594 5453 1 0 1870624 0
[pid=178329/tid=178335] ppid=178323 vsize=19063512 memory=0 CPUtime=5.62 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 5826 0 158 0 534 28 0 0 20 0 20 0 239043196 19521036288 432594 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 432594 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 432594 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178411] ppid=178323 vsize=19063512 memory=355052 CPUtime=0 cores=0,2
/proc/178329/task/178411/stat : 178411 (Timer-0) S 178323 178329 178273 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239043215 19521036288 432594 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 8.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1730376 KiB
[startup+12.7002 s]
/proc/loadavg: 2.20 1.38 1.86 6/341 178418
/proc/meminfo: memFree=104142780/131250000 swapFree=33010416/33010684
[pid=178329] ppid=178323 vsize=19063512 memory=2485688 CPUtime=15.67 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 18387 0 158 0 1501 66 0 0 20 0 20 0 239043193 19521036288 621422 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4765878 621422 5453 1 0 1977160 0
[pid=178329/tid=178335] ppid=178323 vsize=19063512 memory=355052 CPUtime=11.48 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 6315 0 158 0 1104 44 0 0 20 0 20 0 239043196 19521036288 621422 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 621422 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=19063512 memory=2407760 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 621422 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178411] ppid=178323 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/178329/task/178411/stat : 178411 (Timer-0) S 178323 178329 178273 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239043215 19521036288 621422 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 15.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2485688 KiB
[startup+25.5002 s]
/proc/loadavg: 2.56 1.48 1.89 5/341 178418
/proc/meminfo: memFree=98472512/131250000 swapFree=33010416/33010684
[pid=178329] ppid=178323 vsize=19063512 memory=3433980 CPUtime=29.1 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 23794 0 158 0 2806 104 0 0 20 0 20 0 239043193 19521036288 858495 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4765878 858495 5453 1 0 1977166 0
[pid=178329/tid=178335] ppid=178323 vsize=19063512 memory=2407760 CPUtime=23.56 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 7905 0 158 0 2285 71 0 0 20 0 20 0 239043196 19521036288 858495 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 858495 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 858495 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178411] ppid=178323 vsize=19063512 memory=27264 CPUtime=0 cores=0,2
/proc/178329/task/178411/stat : 178411 (Timer-0) S 178323 178329 178273 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239043215 19521036288 858495 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 29.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3433980 KiB
[startup+51.1057 s]
/proc/loadavg: 3.46 1.78 1.98 5/342 178420
/proc/meminfo: memFree=87928144/131250000 swapFree=33010416/33010684
[pid=178329] ppid=178323 vsize=19063512 memory=5207524 CPUtime=56.15 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 33260 0 158 0 5446 169 0 0 20 0 20 0 239043193 19521036288 1301881 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4765878 1301881 5485 1 0 2154732 0
[pid=178329/tid=178335] ppid=178323 vsize=19063512 memory=4988356 CPUtime=47.74 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 11072 0 158 0 4659 115 0 0 20 0 20 0 239043196 19521036288 1301881 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
################
# More data... #
################
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068350 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=19063512 memory=16273400 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 3173 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068350 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178411] ppid=178323 vsize=19063512 memory=16273400 CPUtime=0 cores=0,2
/proc/178329/task/178411/stat : 178411 (Timer-0) S 178323 178329 178273 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239043215 19521036288 4068350 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 3197.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16273400 KiB
[startup+3102.3 s]
/proc/loadavg: 5.07 5.02 4.87 7/341 178665
/proc/meminfo: memFree=43208572/131250000 swapFree=33009904/33010684
[pid=178329] ppid=178323 vsize=19063512 memory=16273528 CPUtime=3262.93 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 1085510 0 158 0 322776 3517 0 0 20 0 20 0 239043193 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4765878 4068382 5517 1 0 4083293 0
[pid=178329/tid=178335] ppid=178323 vsize=19063512 memory=16273528 CPUtime=2959.43 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 823800 0 158 0 292646 3297 0 0 20 0 20 0 239043196 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=19063512 memory=27264 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=19063512 memory=16273528 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 3174 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178411] ppid=178323 vsize=19063512 memory=16273528 CPUtime=0 cores=0,2
/proc/178329/task/178411/stat : 178411 (Timer-0) S 178323 178329 178273 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239043215 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 3262.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16273528 KiB
[startup+3162.3 s]
/proc/loadavg: 4.62 4.90 4.83 5/344 178674
/proc/meminfo: memFree=40799800/131250000 swapFree=33009904/33010684
[pid=178329] ppid=178323 vsize=19063512 memory=16273528 CPUtime=3324.66 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 1109837 0 158 0 328898 3568 0 0 20 0 20 0 239043193 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4765878 4068382 5517 1 0 4083293 0
[pid=178329/tid=178335] ppid=178323 vsize=19063512 memory=16273528 CPUtime=3017.34 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 845645 0 158 0 298387 3347 0 0 20 0 20 0 239043196 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=19063512 memory=16273528 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=19063512 memory=16273400 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 3285 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178411] ppid=178323 vsize=19063512 memory=16273528 CPUtime=0 cores=0,2
/proc/178329/task/178411/stat : 178411 (Timer-0) S 178323 178329 178273 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239043215 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 3324.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16273528 KiB
[startup+3222.31 s]
/proc/loadavg: 4.84 4.91 4.84 5/347 178881
/proc/meminfo: memFree=38835864/131250000 swapFree=33009904/33010684
[pid=178329] ppid=178323 vsize=19063512 memory=16273528 CPUtime=3386.45 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 1133960 0 158 0 335025 3620 0 0 20 0 20 0 239043193 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4765878 4068382 5517 1 0 4083293 0
[pid=178329/tid=178335] ppid=178323 vsize=19063512 memory=16273400 CPUtime=3075.2 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) S 178323 178329 178273 0 -1 4194368 867840 0 158 0 304122 3398 0 0 20 0 20 0 239043196 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=19063512 memory=16273528 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=19063512 memory=16273528 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 3286 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178411] ppid=178323 vsize=19063512 memory=21968 CPUtime=0 cores=0,2
/proc/178329/task/178411/stat : 178411 (Timer-0) S 178323 178329 178273 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239043215 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 3386.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16273528 KiB
[startup+3282.3 s]
/proc/loadavg: 4.72 4.87 4.83 5/345 178883
/proc/meminfo: memFree=36191688/131250000 swapFree=33009904/33010684
[pid=178329] ppid=178323 vsize=19063512 memory=16273528 CPUtime=3449.49 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 1159599 0 158 0 341264 3685 0 0 20 0 20 0 239043193 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4765878 4068382 5517 1 0 4083293 0
[pid=178329/tid=178335] ppid=178323 vsize=19063512 memory=16273528 CPUtime=3131.77 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 888720 0 158 0 309715 3462 0 0 20 0 20 0 239043196 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=19063512 memory=16273528 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 3337 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178411] ppid=178323 vsize=19063512 memory=27264 CPUtime=0 cores=0,2
/proc/178329/task/178411/stat : 178411 (Timer-0) S 178323 178329 178273 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239043215 19521036288 4068382 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 3449.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16273528 KiB
[startup+3342.3 s]
/proc/loadavg: 4.76 4.86 4.83 5/345 178886
/proc/meminfo: memFree=32641856/131250000 swapFree=33009904/33010684
[pid=178329] ppid=178323 vsize=19063512 memory=16273784 CPUtime=3517.15 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 1188867 0 158 0 347953 3762 0 0 20 0 20 0 239043193 19521036288 4068446 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4765878 4068446 5517 1 0 4083375 0
[pid=178329/tid=178335] ppid=178323 vsize=19063512 memory=14720 CPUtime=3188.08 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 910494 0 158 0 315273 3535 0 0 20 0 20 0 239043196 19521036288 4068446 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=19063512 memory=-9044459746194447340 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068446 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=19063512 memory=16273784 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 3339 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068446 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178411] ppid=178323 vsize=19063512 memory=16273784 CPUtime=0 cores=0,2
/proc/178329/task/178411/stat : 178411 (Timer-0) S 178323 178329 178273 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239043215 19521036288 4068446 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 3517.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16273784 KiB
[startup+3402.3 s]
/proc/loadavg: 4.83 4.88 4.84 5/345 179019
/proc/meminfo: memFree=66251164/131250000 swapFree=33009904/33010684
[pid=178329] ppid=178323 vsize=19063512 memory=16273784 CPUtime=3580.17 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 1212566 0 158 0 354187 3830 0 0 20 0 20 0 239043193 19521036288 4068446 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4765878 4068446 5517 1 0 4083375 0
[pid=178329/tid=178335] ppid=178323 vsize=19063512 memory=16273784 CPUtime=3244.68 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 930981 0 158 0 320867 3601 0 0 20 0 20 0 239043196 19521036288 4068446 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=19063512 memory=16273784 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068446 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=19063512 memory=16273784 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 3426 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068446 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178411] ppid=178323 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/178329/task/178411/stat : 178411 (Timer-0) S 178323 178329 178273 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239043215 19521036288 4068446 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 3580.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16273784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3421.8 s]
/proc/loadavg: 4.79 4.87 4.83 5/348 179024
/proc/meminfo: memFree=64707232/131250000 swapFree=33009904/33010684
[pid=178329] ppid=178323 vsize=19063512 memory=16273784 CPUtime=3600.09 cores=0,2
/proc/178329/stat : 178329 (java) S 178323 178329 178273 0 -1 4194304 1216535 0 158 0 356156 3853 0 0 20 0 20 0 239043193 19521036288 4068446 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
/proc/178329/statm: 4765878 4068446 5517 1 0 4083376 0
[pid=178329/tid=178335] ppid=178323 vsize=19063512 memory=46464 CPUtime=3263.65 cores=0,2
/proc/178329/task/178335/stat : 178335 (java) R 178323 178329 178273 0 -1 4194368 934430 0 158 0 322741 3624 0 0 20 0 20 0 239043196 19521036288 4068446 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178362] ppid=178323 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/178329/task/178362/stat : 178362 (Finalizer) S 178323 178329 178273 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068446 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178376] ppid=178323 vsize=19063512 memory=27264 CPUtime=0 cores=0,2
/proc/178329/task/178376/stat : 178376 (Common-Cleaner) S 178323 178329 178273 0 -1 4194368 3426 0 0 0 0 0 0 0 20 0 20 0 239043198 19521036288 4068446 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
[pid=178329/tid=178411] ppid=178323 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/178329/task/178411/stat : 178411 (Timer-0) S 178323 178329 178273 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239043215 19521036288 4068446 18446744073709551615 94472002711552 94472002715248 140724071087984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94472002723064 94472002723856 94472005025792 140724071090516 140724071090660 140724071090660 140724071096264 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16273784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3421.96 s]
# the end of solver process 178329 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3561.69 s, system=38.5886 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3421.91 s]*
/proc/loadavg: 4.97 4.91 4.84 5/330 179027
/proc/meminfo: memFree=65751072/131250000 swapFree=33009904/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): 3421.96
CPU time (s): 3600.28
CPU user time (s): 3561.69
CPU system time (s): 38.5886
CPU usage (%): 105.211
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 16273784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.69
system time used= 38.5886
maximum resident set size= 16274936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1219316
page faults= 158
swaps= 0
block input operations= 8
block output operations= 91534968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135451
involuntary context switches= 22608
# summary of solver processes directly reported to runsolver:
# pid: 178329
# total CPU time (s): 3600.28
# total CPU user time (s): 3561.69
# total CPU system time (s): 38.5886
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29531 second user time and 16.4637 second system time
The end