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 (62298 MiB free)
memory of node 1: 64507 MiB (63659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524849-1751618077/watcher-4524849-1751618077 -o /tmp/evaluation-result-4524849-1751618077/solver-4524849-1751618077 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751618077-96282 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4524849-1751618077.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=96342, runsolver pid=96328
[startup+0.10006 s]*
/proc/loadavg: 1.12 1.11 1.37 7/332 96408
/proc/meminfo: memFree=128885676/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=18930384 memory=55696 CPUtime=0.11 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 6552 0 0 0 9 2 0 0 20 0 18 0 77485602 19384713216 13924 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4732596 13924 5345 1 0 547604 0
[pid=96342/tid=96362] ppid=96328 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 5049 0 0 0 6 1 0 0 20 0 18 0 77485603 19384713216 13924 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=18930384 memory=16163 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77485606 19384713216 13924 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77485606 19384713216 13924 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55696 KiB
[startup+0.205621 s]*
/proc/loadavg: 1.12 1.11 1.37 12/333 96409
/proc/meminfo: memFree=128860968/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=18930384 memory=62804 CPUtime=0.3 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 7304 0 0 0 27 3 0 0 20 0 18 0 77485602 19384713216 15701 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4732596 15701 5473 1 0 548129 0
[pid=96342/tid=96362] ppid=96328 vsize=18930384 memory=4026794268 CPUtime=0.15 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 5410 0 0 0 14 1 0 0 20 0 18 0 77485603 19384713216 15701 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=18930384 memory=16163 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77485606 19384713216 15701 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77485606 19384713216 15701 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62804 KiB
[startup+0.305599 s]*
/proc/loadavg: 1.12 1.11 1.37 11/336 96412
/proc/meminfo: memFree=128826940/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=18996948 memory=74728 CPUtime=0.49 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 7976 0 0 0 46 3 0 0 20 0 19 0 77485602 19452874752 18682 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4749237 18682 5473 1 0 548620 0
[pid=96342/tid=96362] ppid=96328 vsize=18996948 memory=-6000919472740197990 CPUtime=0.25 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 5491 0 0 0 23 2 0 0 20 0 19 0 77485603 19452874752 18682 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77485606 19452874752 18682 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77485606 19452874752 18682 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96411] ppid=96328 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/96342/task/96411/stat : 96411 (Timer-0) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77485624 19452874752 18682 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74728 KiB
[startup+0.70033 s]
/proc/loadavg: 1.12 1.11 1.37 10/336 96412
/proc/meminfo: memFree=128627624/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=19063512 memory=167216 CPUtime=1.25 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 13024 0 0 0 118 7 0 0 20 0 20 0 77485602 19521036288 41804 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4765878 41804 5505 1 0 551270 0
[pid=96342/tid=96362] ppid=96328 vsize=19063512 memory=18816 CPUtime=0.63 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 5548 0 0 0 60 3 0 0 20 0 20 0 77485603 19521036288 41804 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 41804 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 41804 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96411] ppid=96328 vsize=19063512 memory=4740 CPUtime=0 cores=4,6
/proc/96342/task/96411/stat : 96411 (Timer-0) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485624 19521036288 41804 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 167216 KiB
[startup+1.50027 s]
/proc/loadavg: 1.12 1.11 1.37 9/340 96416
/proc/meminfo: memFree=128448696/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=19063512 memory=188332 CPUtime=2.82 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 15280 0 0 0 274 8 0 0 20 0 20 0 77485602 19521036288 47083 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4765878 47083 5537 1 0 552798 0
[pid=96342/tid=96362] ppid=96328 vsize=19063512 memory=10496 CPUtime=1.34 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 5552 0 0 0 131 3 0 0 20 0 20 0 77485603 19521036288 47083 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 47083 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 47083 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96411] ppid=96328 vsize=19063512 memory=4740 CPUtime=0 cores=4,6
/proc/96342/task/96411/stat : 96411 (Timer-0) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485624 19521036288 47083 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188332 KiB
[startup+3.10567 s]
/proc/loadavg: 1.12 1.11 1.37 7/340 96416
/proc/meminfo: memFree=126468556/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=19063512 memory=691660 CPUtime=5.85 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 21191 0 0 0 566 19 0 0 20 0 20 0 77485602 19521036288 172915 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4765878 172915 5537 1 0 848864 0
[pid=96342/tid=96362] ppid=96328 vsize=19063512 memory=10496 CPUtime=2.85 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 5789 0 0 0 273 12 0 0 20 0 20 0 77485603 19521036288 172915 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=19063512 memory=-6000919472756975206 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 172915 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 172915 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96411] ppid=96328 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/96342/task/96411/stat : 96411 (Timer-0) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485624 19521036288 172915 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 691660 KiB
[startup+6.30021 s]
/proc/loadavg: 1.43 1.18 1.39 5/340 96416
/proc/meminfo: memFree=123760588/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=19063512 memory=2061820 CPUtime=9.57 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 25135 0 0 0 910 47 0 0 20 0 20 0 77485602 19521036288 515455 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4765878 515455 5537 1 0 850327 0
[pid=96342/tid=96362] ppid=96328 vsize=19063512 memory=0 CPUtime=5.96 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 6821 0 0 0 559 37 0 0 20 0 20 0 77485603 19521036288 515455 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 515455 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 515455 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96411] ppid=96328 vsize=19063512 memory=16360 CPUtime=0 cores=4,6
/proc/96342/task/96411/stat : 96411 (Timer-0) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485624 19521036288 515455 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 9.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2061820 KiB
[startup+12.7002 s]
/proc/loadavg: 1.64 1.23 1.40 6/340 96482
/proc/meminfo: memFree=122222232/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=19063512 memory=2078284 CPUtime=16.13 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 30600 0 0 0 1563 50 0 0 20 0 20 0 77485602 19521036288 519571 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4765878 519571 5537 1 0 850327 0
[pid=96342/tid=96362] ppid=96328 vsize=19063512 memory=10496 CPUtime=12.24 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 8195 0 0 0 1185 39 0 0 20 0 20 0 77485603 19521036288 519571 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 519571 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 519571 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96411] ppid=96328 vsize=19063512 memory=710932 CPUtime=0 cores=4,6
/proc/96342/task/96411/stat : 96411 (Timer-0) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485624 19521036288 519571 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 16.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2078284 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 1.36 1.45 5/340 96482
/proc/meminfo: memFree=120086036/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=19063512 memory=2135752 CPUtime=29.05 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 34501 0 0 0 2852 53 0 0 20 0 20 0 77485602 19521036288 533938 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4765878 533938 5537 1 0 850327 0
[pid=96342/tid=96362] ppid=96328 vsize=19063512 memory=0 CPUtime=24.71 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 10777 0 0 0 2431 40 0 0 20 0 20 0 77485603 19521036288 533938 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 533938 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=19063512 memory=-6000919472756975206 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 533938 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96411] ppid=96328 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/96342/task/96411/stat : 96411 (Timer-0) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485624 19521036288 533938 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 29.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2135752 KiB
[startup+51.1057 s]
/proc/loadavg: 3.26 1.69 1.55 5/340 96483
/proc/meminfo: memFree=119630680/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=19063512 memory=2246380 CPUtime=54.77 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 39817 0 0 0 5421 56 0 0 20 0 20 0 77485602 19521036288 561595 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4765878 561595 5537 1 0 850327 0
[pid=96342/tid=96362] ppid=96328 vsize=19063512 memory=2221804 CPUtime=49.98 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 12713 0 0 0 4958 40 0 0 20 0 20 0 77485603 19521036288 561595 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=19063512 memory=2236140 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/meminfo: memFree=112275196/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=19063512 memory=3351604 CPUtime=3173.13 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 120044 0 0 0 317108 205 0 0 20 0 20 0 77485602 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4765878 837901 5537 1 0 850392 0
[pid=96342/tid=96362] ppid=96328 vsize=19063512 memory=3351476 CPUtime=3142.9 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 47406 0 0 0 314242 48 0 0 20 0 20 0 77485603 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=19063512 memory=3351476 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=19063512 memory=3351476 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 1246 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96411] ppid=96328 vsize=19063512 memory=3351604 CPUtime=0 cores=4,6
/proc/96342/task/96411/stat : 96411 (Timer-0) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485624 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 3173.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3351604 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.31 4.22 5/339 96663
/proc/meminfo: memFree=112266708/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=19063512 memory=3351604 CPUtime=3233.95 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 123910 0 0 0 323188 207 0 0 20 0 20 0 77485602 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4765878 837901 5537 1 0 850392 0
[pid=96342/tid=96362] ppid=96328 vsize=19063512 memory=3351476 CPUtime=3202.64 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 48924 0 0 0 320216 48 0 0 20 0 20 0 77485603 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=19063512 memory=3351476 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=19063512 memory=3351604 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 1293 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96411] ppid=96328 vsize=19063512 memory=3351604 CPUtime=0 cores=4,6
/proc/96342/task/96411/stat : 96411 (Timer-0) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485624 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 3233.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3351604 KiB
[startup+3282.3 s]
/proc/loadavg: 4.41 4.35 4.24 6/339 96665
/proc/meminfo: memFree=112213440/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=19063512 memory=3351604 CPUtime=3295.29 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 124117 0 0 0 329318 211 0 0 20 0 20 0 77485602 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4765878 837901 5537 1 0 850392 0
[pid=96342/tid=96362] ppid=96328 vsize=19063512 memory=3351604 CPUtime=3262.06 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 48995 0 0 0 326158 48 0 0 20 0 20 0 77485603 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=19063512 memory=16360 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 1340 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96411] ppid=96328 vsize=19063512 memory=3351604 CPUtime=0 cores=4,6
/proc/96342/task/96411/stat : 96411 (Timer-0) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485624 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 3295.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3351604 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.34 4.25 5/339 96667
/proc/meminfo: memFree=112025648/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=19063512 memory=3351604 CPUtime=3359.4 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 124889 0 0 0 335715 225 0 0 20 0 20 0 77485602 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4765878 837901 5537 1 0 850392 0
[pid=96342/tid=96362] ppid=96328 vsize=19063512 memory=21576 CPUtime=3321.19 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 49023 0 0 0 332070 49 0 0 20 0 20 0 77485603 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=19063512 memory=3351604 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 1340 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96411] ppid=96328 vsize=19063512 memory=2700 CPUtime=0 cores=4,6
/proc/96342/task/96411/stat : 96411 (Timer-0) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485624 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 3359.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3351604 KiB
[startup+3402.3 s]
/proc/loadavg: 3.68 4.17 4.19 4/315 96704
/proc/meminfo: memFree=117488552/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=19063512 memory=3351604 CPUtime=3422.34 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 128154 0 0 0 341996 238 0 0 20 0 20 0 77485602 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4765878 837901 5537 1 0 850392 0
[pid=96342/tid=96362] ppid=96328 vsize=19063512 memory=3351604 CPUtime=3380.44 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 50516 0 0 0 337993 51 0 0 20 0 20 0 77485603 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=19063512 memory=3351604 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=19063512 memory=-6000919472756975206 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 1340 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96411] ppid=96328 vsize=19063512 memory=3351604 CPUtime=0 cores=4,6
/proc/96342/task/96411/stat : 96411 (Timer-0) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485624 19521036288 837901 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 3422.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3351604 KiB
[startup+3462.3 s]
/proc/loadavg: 3.02 3.90 4.10 3/291 96745
/proc/meminfo: memFree=122125672/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=19063512 memory=3351860 CPUtime=3485.38 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 128658 0 0 0 348293 245 0 0 20 0 20 0 77485602 19521036288 837965 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4765878 837965 5537 1 0 850392 0
[pid=96342/tid=96362] ppid=96328 vsize=19063512 memory=3351860 CPUtime=3439.61 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 50538 0 0 0 343909 52 0 0 20 0 20 0 77485603 19521036288 837965 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=19063512 memory=3351604 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837965 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=19063512 memory=3351732 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 1383 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837965 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96411] ppid=96328 vsize=19063512 memory=3351860 CPUtime=0 cores=4,6
/proc/96342/task/96411/stat : 96411 (Timer-0) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485624 19521036288 837965 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 3485.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3351860 KiB
[startup+3522.3 s]
/proc/loadavg: 2.75 3.66 4.00 3/291 96747
/proc/meminfo: memFree=122125352/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=19063512 memory=3351860 CPUtime=3548.49 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 132289 0 0 0 354592 257 0 0 20 0 20 0 77485602 19521036288 837965 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4765878 837965 5537 1 0 850392 0
[pid=96342/tid=96362] ppid=96328 vsize=19063512 memory=3351860 CPUtime=3498.95 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 51991 0 0 0 349842 53 0 0 20 0 20 0 77485603 19521036288 837965 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=19063512 memory=3351860 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837965 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=19063512 memory=4740 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 1383 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837965 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96411] ppid=96328 vsize=19063512 memory=16360 CPUtime=0 cores=4,6
/proc/96342/task/96411/stat : 96411 (Timer-0) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485624 19521036288 837965 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 3548.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3351860 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3570.6 s]
/proc/loadavg: 2.14 3.37 3.88 2/266 96783
/proc/meminfo: memFree=125687028/131250000 swapFree=33010416/33010684
[pid=96342] ppid=96328 vsize=19063512 memory=3351860 CPUtime=3600 cores=4,6
/proc/96342/stat : 96342 (java) S 96328 96342 95274 0 -1 4194304 133744 0 0 0 359734 266 0 0 20 0 20 0 77485602 19521036288 837965 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
/proc/96342/statm: 4765878 837965 5537 1 0 850392 0
[pid=96342/tid=96362] ppid=96328 vsize=19063512 memory=-6000919472756975206 CPUtime=3546.58 cores=4,6
/proc/96342/task/96362/stat : 96362 (java) R 96328 96342 95274 0 -1 4194368 52638 0 0 0 354604 54 0 0 20 0 20 0 77485603 19521036288 837965 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96390] ppid=96328 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/96342/task/96390/stat : 96390 (Finalizer) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837965 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96397] ppid=96328 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/96342/task/96397/stat : 96397 (Common-Cleaner) S 96328 96342 95274 0 -1 4194368 1423 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 837965 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
[pid=96342/tid=96411] ppid=96328 vsize=19063512 memory=3104 CPUtime=0 cores=4,6
/proc/96342/task/96411/stat : 96411 (Timer-0) S 96328 96342 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485624 19521036288 837965 18446744073709551615 94139918856192 94139918859888 140734660728944 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94139918867704 94139918868496 94139938373632 140734660733308 140734660733412 140734660733412 140734660739016 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3351860 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3570.67 s]
# the end of solver process 96342 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.45 s, system=2.68206 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3570.67
CPU time (s): 3600.14
CPU user time (s): 3597.45
CPU system time (s): 2.68206
CPU usage (%): 100.825
Max. virtual memory (cumulated for all children) (KiB): 19066252
Max. memory (cumulated for all children) (KiB): 3351860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.45
system time used= 2.68206
maximum resident set size= 3352756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 212717
involuntary context switches= 12525
# summary of solver processes directly reported to runsolver:
# pid: 96342
# total CPU time (s): 3600.14
# total CPU user time (s): 3597.45
# total CPU system time (s): 2.68206
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.09024 second user time and 17.031 second system time
The end