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: 63837 MiB (55199 MiB free)
memory of node 1: 64465 MiB (48767 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498896-1751468723/watcher-4498896-1751468723 -o /tmp/evaluation-result-4498896-1751468723/solver-4498896-1751468723 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751465455-67539 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4498896-1751468723.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 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=67890, runsolver pid=67887
[startup+0.100073 s]*
/proc/loadavg: 4.29 4.35 4.35 5/326 67908
/proc/meminfo: memFree=106435200/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=18930384 memory=48960 CPUtime=0.11 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 5958 0 0 0 9 2 0 0 20 0 18 0 62551812 19384713216 12240 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4732596 12240 5307 1 0 547129 0
[pid=67890/tid=67892] ppid=67887 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 4801 0 0 0 6 1 0 0 20 0 18 0 62551814 19384713216 12240 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62551816 19384713216 12240 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=18930384 memory=58494082630061 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62551817 19384713216 12240 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48960 KiB
[startup+0.213641 s]*
/proc/loadavg: 4.29 4.35 4.35 7/326 67908
/proc/meminfo: memFree=106431168/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=18930384 memory=59308 CPUtime=0.31 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 6816 0 0 0 28 3 0 0 20 0 18 0 62551812 19384713216 14763 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4732596 14827 5435 1 0 547859 0
[pid=67890/tid=67892] ppid=67887 vsize=18930384 memory=4026728732 CPUtime=0.18 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 5313 0 0 0 17 1 0 0 20 0 18 0 62551814 19384713216 14827 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=18930384 memory=13926 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62551816 19384713216 14827 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=18930384 memory=57394570986489 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62551817 19384713216 14827 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59308 KiB
[startup+0.321591 s]*
/proc/loadavg: 4.29 4.35 4.35 7/326 67908
/proc/meminfo: memFree=106390208/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=18930384 memory=104696 CPUtime=0.51 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 6974 0 0 0 47 4 0 0 20 0 18 0 62551812 19384713216 26174 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4732596 26174 5435 1 0 547896 0
[pid=67890/tid=67892] ppid=67887 vsize=18930384 memory=-6000919476950951273 CPUtime=0.28 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 5383 0 0 0 26 2 0 0 20 0 18 0 62551814 19384713216 26174 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62551816 19384713216 26174 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62551817 19384713216 26174 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 104696 KiB
[startup+0.700297 s]
/proc/loadavg: 4.29 4.35 4.35 6/326 67908
/proc/meminfo: memFree=106356684/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=18996948 memory=210204 CPUtime=1.21 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 9493 0 0 0 114 7 0 0 20 0 19 0 62551812 19452874752 52551 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4749237 52551 5467 1 0 549784 0
[pid=67890/tid=67892] ppid=67887 vsize=18996948 memory=18944 CPUtime=0.63 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 5427 0 0 0 59 4 0 0 20 0 19 0 62551814 19452874752 52551 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 62551816 19452874752 52551 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 62551817 19452874752 52551 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 210204 KiB
[startup+1.50023 s]
/proc/loadavg: 4.29 4.35 4.35 5/327 67909
/proc/meminfo: memFree=106271204/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=18996948 memory=268216 CPUtime=2.24 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 9693 0 0 0 215 9 0 0 20 0 19 0 62551812 19452874752 67054 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4749237 67054 5467 1 0 549806 0
[pid=67890/tid=67892] ppid=67887 vsize=18996948 memory=3200 CPUtime=1.32 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 5466 0 0 0 127 5 0 0 20 0 19 0 62551814 19452874752 67054 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 62551816 19452874752 67054 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 62551817 19452874752 67054 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 268216 KiB
[startup+3.10559 s]
/proc/loadavg: 4.43 4.37 4.36 6/327 67909
/proc/meminfo: memFree=105755632/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=18996948 memory=843360 CPUtime=5.2 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 13400 0 0 0 499 21 0 0 20 0 19 0 62551812 19452874752 210840 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4749237 210840 5467 1 0 2036243 0
[pid=67890/tid=67892] ppid=67887 vsize=18996948 memory=11264 CPUtime=2.46 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 5749 0 0 0 235 11 0 0 20 0 19 0 62551814 19452874752 210840 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 62551816 19452874752 210840 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=18996948 memory=5632 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 62551817 19452874752 210840 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 5.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 843360 KiB
[startup+6.30035 s]
/proc/loadavg: 4.43 4.37 4.36 5/327 67909
/proc/meminfo: memFree=104189388/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=18996948 memory=3273216 CPUtime=9.44 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 15518 0 0 0 873 71 0 0 20 0 19 0 62551812 19452874752 817792 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4749237 817792 5467 1 0 2773738 0
[pid=67890/tid=67892] ppid=67887 vsize=18996948 memory=5632 CPUtime=4.83 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 6728 0 0 0 437 46 0 0 20 0 19 0 62551814 19452874752 818304 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 62551816 19452874752 818304 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=18996948 memory=-6000919476950951273 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 62551817 19452874752 818304 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 9.44 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3273216 KiB
[startup+12.7004 s]
/proc/loadavg: 4.39 4.37 4.36 5/327 67909
/proc/meminfo: memFree=101427944/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=18996948 memory=5077900 CPUtime=16.62 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 19133 0 0 0 1554 108 0 0 20 0 19 0 62551812 19452874752 1269475 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4749237 1269475 5499 1 0 3089767 0
[pid=67890/tid=67892] ppid=67887 vsize=18996948 memory=4391680 CPUtime=10.33 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 7683 0 0 0 956 77 0 0 20 0 19 0 62551814 19452874752 1269475 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=18996948 memory=18944 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 62551816 19452874752 1269475 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=18996948 memory=14720 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 62551817 19452874752 1269475 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 16.62 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 5077900 KiB
[startup+25.5003 s]
/proc/loadavg: 4.46 4.38 4.36 5/329 67911
/proc/meminfo: memFree=100180624/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=19130076 memory=6320644 CPUtime=34.19 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 34116 0 0 0 3285 134 0 0 20 0 21 0 62551812 19589197824 1580161 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4782519 1580161 5531 1 0 3464302 0
[pid=67890/tid=67892] ppid=67887 vsize=19130076 memory=6280916 CPUtime=22.28 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 11522 0 0 0 2128 100 0 0 20 0 21 0 62551814 19589197824 1580161 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=19130076 memory=-6000919476950951273 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62551816 19589197824 1580161 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=19130076 memory=6197332 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 21 0 62551817 19589197824 1580161 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67910] ppid=67887 vsize=19130076 memory=14720 CPUtime=0 cores=0,2
/proc/67890/task/67910/stat : 67910 (Timer-0) S 67887 67890 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 62553559 19589197824 1580161 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 34.19 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6320644 KiB
[startup+51.1135 s]
/proc/loadavg: 4.30 4.35 4.35 5/329 67912
/proc/meminfo: memFree=99947216/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=19130076 memory=6538164 CPUtime=61.94 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 36227 0 0 0 6053 141 0 0 20 0 21 0 62551812 19589197824 1634541 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4782519 1634541 5531 1 0 3464326 0
[pid=67890/tid=67892] ppid=67887 vsize=19130076 memory=0 CPUtime=47.07 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 12216 0 0 0 4603 104 0 0 20 0 21 0 62551814 19589197824 1634541 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=19130076 memory=6450044 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62551816 19589197824 1634541 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=19130076 memory=14720 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 21 0 62551817 19589197824 1634541 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67910] ppid=67887 vsize=19130076 memory=-6000919476950951273 CPUtime=0 cores=0,2
/proc/67890/task/67910/stat : 67910 (Timer-0) S 67887 67890 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 62553559 19589197824 1634541 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 61.94 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6538164 KiB
[startup+102.3 s]
/proc/loadavg: 4.32 4.34 4.35 5/329 67914
/proc/meminfo: memFree=97509320/131382112 swapFree=33010416/33010684
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.62 4.56 4.43 5/329 68392
/proc/meminfo: memFree=103536444/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=19130076 memory=9221520 CPUtime=3261.01 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 222226 0 0 0 325601 500 0 0 20 0 21 0 62551812 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4782519 2305380 5595 1 0 2346182 0
[pid=67890/tid=67892] ppid=67887 vsize=19130076 memory=9221520 CPUtime=3187.46 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 108791 0 0 0 318516 230 0 0 20 0 21 0 62551814 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=19130076 memory=9221520 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62551816 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=19130076 memory=5632 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 2623 0 0 0 0 0 0 0 20 0 21 0 62551817 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67910] ppid=67887 vsize=19130076 memory=9221520 CPUtime=0 cores=0,2
/proc/67890/task/67910/stat : 67910 (Timer-0) S 67887 67890 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 62553559 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 3261.01 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9221520 KiB
[startup+3282.3 s]
/proc/loadavg: 4.47 4.53 4.43 5/329 68394
/proc/meminfo: memFree=103412244/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=19130076 memory=9221520 CPUtime=3320.89 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 223689 0 0 0 331585 504 0 0 20 0 21 0 62551812 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4782519 2305380 5595 1 0 2346182 0
[pid=67890/tid=67892] ppid=67887 vsize=19130076 memory=14720 CPUtime=3247.3 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 109914 0 0 0 324499 231 0 0 20 0 21 0 62551814 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=19130076 memory=11264 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62551816 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=19130076 memory=12544 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 2701 0 0 0 0 0 0 0 20 0 21 0 62551817 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67910] ppid=67887 vsize=19130076 memory=9221520 CPUtime=0 cores=0,2
/proc/67890/task/67910/stat : 67910 (Timer-0) S 67887 67890 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 62553559 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 3320.89 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9221520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.57 4.54 4.44 5/330 68408
/proc/meminfo: memFree=103352644/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=19130076 memory=9221520 CPUtime=3380.9 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 228399 0 0 0 337582 508 0 0 20 0 21 0 62551812 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4782519 2305380 5595 1 0 2346182 0
[pid=67890/tid=67892] ppid=67887 vsize=19130076 memory=9221520 CPUtime=3307.01 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 111720 0 0 0 330470 231 0 0 20 0 21 0 62551814 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=19130076 memory=9221520 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62551816 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=19130076 memory=14720 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 2780 0 0 0 0 0 0 0 20 0 21 0 62551817 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67910] ppid=67887 vsize=19130076 memory=7024 CPUtime=0 cores=0,2
/proc/67890/task/67910/stat : 67910 (Timer-0) S 67887 67890 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 62553559 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 3380.9 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9221520 KiB
[startup+3402.3 s]
/proc/loadavg: 4.50 4.53 4.44 6/330 68410
/proc/meminfo: memFree=103190136/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=19130076 memory=9221520 CPUtime=3440.77 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 229504 0 0 0 343566 511 0 0 20 0 21 0 62551812 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4782519 2305380 5595 1 0 2346182 0
[pid=67890/tid=67892] ppid=67887 vsize=19130076 memory=9221520 CPUtime=3366.85 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 112745 0 0 0 336454 231 0 0 20 0 21 0 62551814 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=19130076 memory=9221520 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62551816 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=19130076 memory=14720 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 2830 0 0 0 0 0 0 0 20 0 21 0 62551817 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67910] ppid=67887 vsize=19130076 memory=14720 CPUtime=0 cores=0,2
/proc/67890/task/67910/stat : 67910 (Timer-0) S 67887 67890 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 62553559 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 3440.77 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9221520 KiB
[startup+3462.3 s]
/proc/loadavg: 4.53 4.54 4.45 6/330 68412
/proc/meminfo: memFree=102243728/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=19130076 memory=9221520 CPUtime=3500.66 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 230461 0 0 0 349551 515 0 0 20 0 21 0 62551812 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4782519 2305380 5595 1 0 2346182 0
[pid=67890/tid=67892] ppid=67887 vsize=19130076 memory=9221520 CPUtime=3426.69 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 113689 0 0 0 342437 232 0 0 20 0 21 0 62551814 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=19130076 memory=9221520 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62551816 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=19130076 memory=14720 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 2838 0 0 0 0 0 0 0 20 0 21 0 62551817 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67910] ppid=67887 vsize=19130076 memory=9221520 CPUtime=0 cores=0,2
/proc/67890/task/67910/stat : 67910 (Timer-0) S 67887 67890 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 62553559 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 3500.66 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9221520 KiB
[startup+3522.3 s]
/proc/loadavg: 4.44 4.52 4.45 5/330 68416
/proc/meminfo: memFree=99963004/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=19130076 memory=9221520 CPUtime=3560.66 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 236923 0 0 0 355548 518 0 0 20 0 21 0 62551812 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4782519 2305380 5595 1 0 2346182 0
[pid=67890/tid=67892] ppid=67887 vsize=19130076 memory=9221520 CPUtime=3486.41 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 116309 0 0 0 348408 233 0 0 20 0 21 0 62551814 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=19130076 memory=9221520 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62551816 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=19130076 memory=9221520 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 2970 0 0 0 0 0 0 0 20 0 21 0 62551817 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67910] ppid=67887 vsize=19130076 memory=9221520 CPUtime=0 cores=0,2
/proc/67890/task/67910/stat : 67910 (Timer-0) S 67887 67890 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 62553559 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 3560.66 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9221520 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3561.8 s]
/proc/loadavg: 4.47 4.52 4.45 5/329 68418
/proc/meminfo: memFree=99958628/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=19130076 memory=9221520 CPUtime=3600.09 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 237669 0 0 0 359489 520 0 0 20 0 21 0 62551812 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4782519 2305380 5595 1 0 2346182 0
[pid=67890/tid=67892] ppid=67887 vsize=19130076 memory=9221520 CPUtime=3525.81 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 116959 0 0 0 352348 233 0 0 20 0 21 0 62551814 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=19130076 memory=-6000919476950951273 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62551816 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=19130076 memory=4771572 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 3061 0 0 0 0 0 0 0 20 0 21 0 62551817 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67910] ppid=67887 vsize=19130076 memory=11264 CPUtime=0 cores=0,2
/proc/67890/task/67910/stat : 67910 (Timer-0) S 67887 67890 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 21 0 62553559 19589197824 2305380 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 9221520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3561.99 s]
# the end of solver process 67890 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.19 s, system=5.2473 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3561.91 s]
/proc/loadavg: 4.47 4.52 4.45 5/329 68418
/proc/meminfo: memFree=99958628/131382112 swapFree=33010416/33010684
[pid=67890] ppid=67887 vsize=19329768 memory=9222160 CPUtime=3600.3 cores=0,2
/proc/67890/stat : 67890 (java) S 67887 67890 67529 0 -1 4194304 240845 0 0 0 359509 521 0 0 20 0 22 0 62551812 19793682432 2305540 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
/proc/67890/statm: 4832442 2305540 5595 1 0 2347117 0
[pid=67890/tid=67892] ppid=67887 vsize=19329768 memory=9221520 CPUtime=3525.91 cores=0,2
/proc/67890/task/67892/stat : 67892 (java) R 67887 67890 67529 0 -1 4194368 117353 0 0 0 352358 233 0 0 20 0 22 0 62551814 19793682432 2305540 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67901] ppid=67887 vsize=19329768 memory=9221520 CPUtime=0 cores=0,2
/proc/67890/task/67901/stat : 67901 (Finalizer) S 67887 67890 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 62551816 19793682432 2305540 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
[pid=67890/tid=67908] ppid=67887 vsize=19329768 memory=11264 CPUtime=0 cores=0,2
/proc/67890/task/67908/stat : 67908 (Common-Cleaner) S 67887 67890 67529 0 -1 4194368 3061 0 0 0 0 0 0 0 20 0 22 0 62551817 19793682432 2305540 18446744073709551615 94726094336000 94726094339696 140737029745424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94726094347512 94726094348304 94726103793664 140737029753214 140737029753318 140737029753318 140737029758920 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 9222160 KiB
Child status: 143
Real time (s): 3561.99
CPU time (s): 3600.44
CPU user time (s): 3595.19
CPU system time (s): 5.2473
CPU usage (%): 101.079
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 10579488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.19
system time used= 5.2473
maximum resident set size= 10582048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114029
involuntary context switches= 12489
# summary of solver processes directly reported to runsolver:
# pid: 67890
# total CPU time (s): 3600.44
# total CPU user time (s): 3595.19
# total CPU system time (s): 5.2473
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1955 second user time and 37.446 second system time
The end