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: 63794 MiB (51197 MiB free)
memory of node 1: 64507 MiB (60133 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525686-1751627287/watcher-4525686-1751627287 -o /tmp/evaluation-result-4525686-1751627287/solver-4525686-1751627287 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751620354-87136 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4525686-1751627287.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=89376, runsolver pid=89373
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.16 4.19 4.18 5/324 89394
/proc/meminfo: memFree=113985924/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=18930384 memory=48508 CPUtime=0.12 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 5819 0 0 0 10 2 0 0 20 0 18 0 78407699 19384713216 12127 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4732596 12127 5336 1 0 547009 0
[pid=89376/tid=89378] ppid=89373 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) R 89373 89376 87124 0 -1 4194368 4706 0 0 0 6 1 0 0 20 0 18 0 78407701 19384713216 12127 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78407704 19384713216 12127 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=18930384 memory=61792617516369 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78407705 19384713216 12127 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48508 KiB
[startup+0.209545 s]*
/proc/loadavg: 4.16 4.19 4.18 6/324 89394
/proc/meminfo: memFree=113981576/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=18930384 memory=55512 CPUtime=0.27 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 6521 0 0 0 25 2 0 0 20 0 18 0 78407699 19384713216 13878 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4732596 13878 5368 1 0 547579 0
[pid=89376/tid=89378] ppid=89373 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) S 89373 89376 87124 0 -1 4194368 5015 0 0 0 16 1 0 0 20 0 18 0 78407701 19384713216 13878 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=18930384 memory=1593 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78407704 19384713216 13878 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=18930384 memory=60693105869820 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78407705 19384713216 13878 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55512 KiB
[startup+0.309383 s]*
/proc/loadavg: 4.16 4.19 4.18 8/324 89394
/proc/meminfo: memFree=113976724/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=18930384 memory=59040 CPUtime=0.42 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 6823 0 0 0 39 3 0 0 20 0 18 0 78407699 19384713216 14760 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4732596 14760 5432 1 0 547794 0
[pid=89376/tid=89378] ppid=89373 vsize=18930384 memory=-6000919494147924839 CPUtime=0.27 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) R 89373 89376 87124 0 -1 4194368 5217 0 0 0 25 2 0 0 20 0 18 0 78407701 19384713216 14760 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78407704 19384713216 14760 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78407705 19384713216 14760 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59040 KiB
[startup+0.700248 s]
/proc/loadavg: 4.16 4.19 4.18 6/324 89394
/proc/meminfo: memFree=113934756/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=18930384 memory=148816 CPUtime=1.14 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 8724 0 0 0 108 6 0 0 20 0 18 0 78407699 19384713216 37204 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4732596 37204 5432 1 0 549000 0
[pid=89376/tid=89378] ppid=89373 vsize=18930384 memory=18688 CPUtime=0.64 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) R 89373 89376 87124 0 -1 4194368 5395 0 0 0 60 4 0 0 20 0 18 0 78407701 19384713216 37204 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=18930384 memory=11264 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78407704 19384713216 37204 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=18930384 memory=3200 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78407705 19384713216 37204 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 148816 KiB
[startup+1.50026 s]
/proc/loadavg: 4.16 4.19 4.18 6/325 89395
/proc/meminfo: memFree=113868276/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=18996948 memory=243056 CPUtime=2.72 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 14568 0 0 0 263 9 0 0 20 0 19 0 78407699 19452874752 60764 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4749237 60764 5464 1 0 552787 0
[pid=89376/tid=89378] ppid=89373 vsize=18996948 memory=3200 CPUtime=1.31 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) R 89373 89376 87124 0 -1 4194368 5408 0 0 0 126 5 0 0 20 0 19 0 78407701 19452874752 60764 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78407704 19452874752 60764 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 78407705 19452874752 60764 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 243056 KiB
[startup+3.11142 s]
/proc/loadavg: 4.16 4.19 4.18 6/325 89395
/proc/meminfo: memFree=112872340/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=18996948 memory=1179300 CPUtime=4.8 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 16625 0 0 0 452 28 0 0 20 0 19 0 78407699 19452874752 294825 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4749237 294825 5464 1 0 2280311 0
[pid=89376/tid=89378] ppid=89373 vsize=18996948 memory=11264 CPUtime=2.4 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) R 89373 89376 87124 0 -1 4194368 5715 0 0 0 223 17 0 0 20 0 19 0 78407701 19452874752 294825 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78407704 19452874752 294825 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=18996948 memory=5632 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 78407705 19452874752 294825 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 4.8 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1179300 KiB
[startup+6.3003 s]
/proc/loadavg: 4.14 4.19 4.18 5/325 89395
/proc/meminfo: memFree=112117920/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=18996948 memory=2068860 CPUtime=8.6 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 18010 0 0 0 812 48 0 0 20 0 19 0 78407699 19452874752 517215 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4749237 517215 5464 1 0 2846487 0
[pid=89376/tid=89378] ppid=89373 vsize=18996948 memory=5632 CPUtime=4.83 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) S 89373 89376 87124 0 -1 4194368 6071 0 0 0 454 29 0 0 20 0 19 0 78407701 19452874752 517215 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78407704 19452874752 517215 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=18996948 memory=-6000919494147924839 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 78407705 19452874752 517215 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 8.6 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2068860 KiB
[startup+12.7003 s]
/proc/loadavg: 4.37 4.23 4.19 5/326 89396
/proc/meminfo: memFree=109779108/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=19063512 memory=4420592 CPUtime=18.08 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 21492 0 0 0 1709 99 0 0 20 0 20 0 78407699 19521036288 1105148 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4765878 1105148 5528 1 0 2847610 0
[pid=89376/tid=89378] ppid=89373 vsize=19063512 memory=11264 CPUtime=10.38 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) R 89373 89376 87124 0 -1 4194368 7693 0 0 0 967 71 0 0 20 0 20 0 78407701 19521036288 1105148 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78407704 19521036288 1105148 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 78407705 19521036288 1105148 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89396] ppid=89373 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/89376/task/89396/stat : 89396 (Timer-0) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 78408593 19521036288 1105148 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 18.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4420592 KiB
[startup+25.5004 s]
/proc/loadavg: 4.29 4.22 4.19 5/327 89397
/proc/meminfo: memFree=109578164/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=19130076 memory=4442288 CPUtime=31.7 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 23380 0 0 0 3068 102 0 0 20 0 21 0 78407699 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4782519 1110572 5528 1 0 2847948 0
[pid=89376/tid=89378] ppid=89373 vsize=19130076 memory=0 CPUtime=22.75 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) R 89373 89376 87124 0 -1 4194368 8050 0 0 0 2203 72 0 0 20 0 21 0 78407701 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=19130076 memory=5632 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78407704 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=19130076 memory=-6000919494147924839 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 78407705 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89396] ppid=89373 vsize=19130076 memory=288944 CPUtime=0 cores=1,3
/proc/89376/task/89396/stat : 89396 (Timer-0) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 78408593 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 31.7 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4442288 KiB
[startup+51.1135 s]
/proc/loadavg: 4.19 4.20 4.18 5/326 89398
/proc/meminfo: memFree=109578164/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=19130076 memory=4442288 CPUtime=57.27 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 23685 0 0 0 5623 104 0 0 20 0 21 0 78407699 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4782519 1110572 5528 1 0 2847948 0
[pid=89376/tid=89378] ppid=89373 vsize=19130076 memory=4442288 CPUtime=48.28 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) R 89373 89376 87124 0 -1 4194368 8230 0 0 0 4756 72 0 0 20 0 21 0 78407701 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=19130076 memory=4442288 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78407704 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=19130076 memory=18688 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 78407705 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89396] ppid=89373 vsize=19130076 memory=11264 CPUtime=0 cores=1,3
/proc/89376/task/89396/stat : 89396 (Timer-0) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 78408593 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 57.27 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4442288 KiB
[startup+102.301 s]
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.15 4.11 4.11 5/329 89761
/proc/meminfo: memFree=115950612/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=19130076 memory=4442288 CPUtime=3281.99 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 33151 0 0 0 327751 448 0 0 20 0 21 0 78407699 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4782519 1110572 5528 1 0 2847948 0
[pid=89376/tid=89378] ppid=89373 vsize=19130076 memory=4442288 CPUtime=3267.1 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) R 89373 89376 87124 0 -1 4194368 11284 0 0 0 326630 80 0 0 20 0 21 0 78407701 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=19130076 memory=14720 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78407704 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=19130076 memory=23532 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 1798 0 0 0 0 0 0 0 20 0 21 0 78407705 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89396] ppid=89373 vsize=19130076 memory=0 CPUtime=0 cores=1,3
/proc/89376/task/89396/stat : 89396 (Timer-0) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 78408593 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 3281.99 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4442288 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/329 89763
/proc/meminfo: memFree=115950628/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=19130076 memory=4442288 CPUtime=3341.86 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 33184 0 0 0 333731 455 0 0 20 0 21 0 78407699 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4782519 1110572 5528 1 0 2847948 0
[pid=89376/tid=89378] ppid=89373 vsize=19130076 memory=18688 CPUtime=3326.86 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) R 89373 89376 87124 0 -1 4194368 11308 0 0 0 332606 80 0 0 20 0 21 0 78407701 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=19130076 memory=0 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78407704 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=19130076 memory=4442288 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 1798 0 0 0 0 0 0 0 20 0 21 0 78407705 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89396] ppid=89373 vsize=19130076 memory=4442288 CPUtime=0 cores=1,3
/proc/89376/task/89396/stat : 89396 (Timer-0) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 78408593 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 3341.86 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4442288 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.12 4.11 5/329 89767
/proc/meminfo: memFree=114426272/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=19130076 memory=4442288 CPUtime=3401.74 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 33414 0 0 0 339714 460 0 0 20 0 21 0 78407699 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4782519 1110572 5528 1 0 2847948 0
[pid=89376/tid=89378] ppid=89373 vsize=19130076 memory=0 CPUtime=3386.64 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) R 89373 89376 87124 0 -1 4194368 11455 0 0 0 338583 81 0 0 20 0 21 0 78407701 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=19130076 memory=4442288 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78407704 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=19130076 memory=4442288 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 1823 0 0 0 0 0 0 0 20 0 21 0 78407705 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89396] ppid=89373 vsize=19130076 memory=4442288 CPUtime=0 cores=1,3
/proc/89376/task/89396/stat : 89396 (Timer-0) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 78408593 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 3401.74 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4442288 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.11 5/329 89769
/proc/meminfo: memFree=114419100/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=19130076 memory=4442288 CPUtime=3461.62 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 33453 0 0 0 345696 466 0 0 20 0 21 0 78407699 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4782519 1110572 5528 1 0 2847948 0
[pid=89376/tid=89378] ppid=89373 vsize=19130076 memory=0 CPUtime=3446.41 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) R 89373 89376 87124 0 -1 4194368 11478 0 0 0 344560 81 0 0 20 0 21 0 78407701 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=19130076 memory=4442288 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78407704 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=19130076 memory=4442288 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 1829 0 0 0 0 0 0 0 20 0 21 0 78407705 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89396] ppid=89373 vsize=19130076 memory=14720 CPUtime=0 cores=1,3
/proc/89376/task/89396/stat : 89396 (Timer-0) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 78408593 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 3461.62 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4442288 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/329 89771
/proc/meminfo: memFree=114418112/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=19130076 memory=4442288 CPUtime=3521.49 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 33592 0 0 0 351677 472 0 0 20 0 21 0 78407699 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4782519 1110572 5528 1 0 2847948 0
[pid=89376/tid=89378] ppid=89373 vsize=19130076 memory=4442288 CPUtime=3506.18 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) R 89373 89376 87124 0 -1 4194368 11606 0 0 0 350537 81 0 0 20 0 21 0 78407701 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=19130076 memory=4442288 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78407704 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=19130076 memory=4442288 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 1835 0 0 0 0 0 0 0 20 0 21 0 78407705 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89396] ppid=89373 vsize=19130076 memory=4442288 CPUtime=0 cores=1,3
/proc/89376/task/89396/stat : 89396 (Timer-0) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 78408593 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 3521.49 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4442288 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/328 89773
/proc/meminfo: memFree=113762516/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=19130076 memory=4442288 CPUtime=3581.38 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 33667 0 0 0 357658 480 0 0 20 0 21 0 78407699 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4782519 1110572 5528 1 0 2847948 0
[pid=89376/tid=89378] ppid=89373 vsize=19130076 memory=14720 CPUtime=3565.95 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) R 89373 89376 87124 0 -1 4194368 11609 0 0 0 356514 81 0 0 20 0 21 0 78407701 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=19130076 memory=4442288 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78407704 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=19130076 memory=14720 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 1847 0 0 0 0 0 0 0 20 0 21 0 78407705 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89396] ppid=89373 vsize=19130076 memory=4442288 CPUtime=0 cores=1,3
/proc/89376/task/89396/stat : 89396 (Timer-0) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 78408593 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 3581.38 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4442288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3601 s]*
/proc/loadavg: 4.20 4.15 4.11 5/328 89773
/proc/meminfo: memFree=113762516/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=19130076 memory=4442288 CPUtime=3600.06 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 33671 0 0 0 359524 482 0 0 20 0 21 0 78407699 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4782519 1110572 5528 1 0 2847948 0
[pid=89376/tid=89378] ppid=89373 vsize=19130076 memory=-6000919468361212775 CPUtime=3584.6 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) R 89373 89376 87124 0 -1 4194368 11610 0 0 0 358379 81 0 0 20 0 21 0 78407701 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=19130076 memory=4571608413075304089 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78407704 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=19130076 memory=14720 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 1847 0 0 0 0 0 0 0 20 0 21 0 78407705 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89396] ppid=89373 vsize=19130076 memory=18688 CPUtime=0 cores=1,3
/proc/89376/task/89396/stat : 89396 (Timer-0) S 89373 89376 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 78408593 19589197824 1110572 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4442288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3601.16 s]
# the end of solver process 89376 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.42 s, system=4.85499 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3601.12 s]
/proc/loadavg: 4.20 4.15 4.11 5/328 89773
/proc/meminfo: memFree=113762516/131382112 swapFree=33009904/33010684
[pid=89376] ppid=89373 vsize=19329768 memory=4443184 CPUtime=3600.24 cores=1,3
/proc/89376/stat : 89376 (java) S 89373 89376 87124 0 -1 4194304 37422 0 0 0 359541 483 0 0 20 0 22 0 78407699 19793682432 1110796 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
/proc/89376/statm: 4832442 1110796 5528 1 0 2848874 0
[pid=89376/tid=89378] ppid=89373 vsize=19329768 memory=4442288 CPUtime=3584.67 cores=1,3
/proc/89376/task/89378/stat : 89378 (java) S 89373 89376 87124 0 -1 4194368 11869 0 0 0 358386 81 0 0 20 0 22 0 78407701 19793682432 1110796 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89387] ppid=89373 vsize=19329768 memory=4442288 CPUtime=0 cores=1,3
/proc/89376/task/89387/stat : 89387 (Finalizer) S 89373 89376 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 78407704 19793682432 1110796 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
[pid=89376/tid=89394] ppid=89373 vsize=19329768 memory=4442288 CPUtime=0 cores=1,3
/proc/89376/task/89394/stat : 89394 (Common-Cleaner) S 89373 89376 87124 0 -1 4194368 1847 0 0 0 0 0 0 0 20 0 22 0 78407705 19793682432 1110796 18446744073709551615 94736182325248 94736182328944 140728908466944 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94736182336760 94736182337552 94736206438400 140728908474748 140728908474852 140728908474852 140728908480456 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 4443184 KiB
Child status: 143
Real time (s): 3601.16
CPU time (s): 3600.27
CPU user time (s): 3595.42
CPU system time (s): 4.85499
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 4445528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.42
system time used= 4.85499
maximum resident set size= 4445528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148370
involuntary context switches= 2747
# summary of solver processes directly reported to runsolver:
# pid: 89376
# total CPU time (s): 3600.27
# total CPU user time (s): 3595.42
# total CPU system time (s): 4.85499
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0252 second user time and 39.3997 second system time
The end