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 (57896 MiB free)
memory of node 1: 64507 MiB (60746 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494710-1751153667/watcher-4494710-1751153667 -o /tmp/evaluation-result-4494710-1751153667/solver-4494710-1751153667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751146186-14185 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4494710-1751153667.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16300, runsolver pid=16297
[startup+0.100092 s]*
/proc/loadavg: 4.44 4.24 4.25 7/325 16318
/proc/meminfo: memFree=121467292/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=18930384 memory=48660 CPUtime=0.14 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 5850 0 0 0 10 4 0 0 20 0 18 0 31046389 19384713216 12165 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4732596 12165 5333 1 0 547050 0
[pid=16300/tid=16302] ppid=16297 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 4709 0 0 0 6 2 0 0 20 0 18 0 31046391 19384713216 12165 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31046395 19384713216 12165 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=18930384 memory=57394571004297 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31046396 19384713216 12165 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48660 KiB
[startup+0.219309 s]*
/proc/loadavg: 4.44 4.24 4.25 6/325 16318
/proc/meminfo: memFree=121462188/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=18930384 memory=55752 CPUtime=0.32 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 6568 0 0 0 27 5 0 0 20 0 18 0 31046389 19384713216 13938 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4732596 13938 5365 1 0 547651 0
[pid=16300/tid=16302] ppid=16297 vsize=18930384 memory=4026597660 CPUtime=0.2 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 5056 0 0 0 17 3 0 0 20 0 18 0 31046391 19384713216 14471 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=18930384 memory=1707 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31046395 19384713216 14471 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=18930384 memory=56295059358712 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31046396 19384713216 14471 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55752 KiB
[startup+0.31382 s]*
/proc/loadavg: 4.44 4.24 4.25 7/325 16318
/proc/meminfo: memFree=121461180/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=18930384 memory=59036 CPUtime=0.48 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 6873 0 0 0 43 5 0 0 20 0 18 0 31046389 19384713216 14759 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4732596 14759 5365 1 0 547876 0
[pid=16300/tid=16302] ppid=16297 vsize=18930384 memory=-6000919476934567534 CPUtime=0.28 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 5239 0 0 0 25 3 0 0 20 0 18 0 31046391 19384713216 14759 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31046395 19384713216 14759 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31046396 19384713216 14759 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59036 KiB
[startup+0.700369 s]
/proc/loadavg: 4.44 4.24 4.25 8/325 16318
/proc/meminfo: memFree=121450468/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=18996948 memory=77896 CPUtime=1.19 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 7433 0 0 0 113 6 0 0 20 0 19 0 31046389 19452874752 19474 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4749237 19474 5429 1 0 548455 0
[pid=16300/tid=16302] ppid=16297 vsize=18996948 memory=17152 CPUtime=0.66 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 5472 0 0 0 62 4 0 0 20 0 19 0 31046391 19452874752 19474 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31046395 19452874752 19474 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31046396 19452874752 19474 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77896 KiB
[startup+1.50032 s]
/proc/loadavg: 4.44 4.24 4.25 7/326 16319
/proc/meminfo: memFree=121392684/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=19063512 memory=162480 CPUtime=2.75 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 15142 0 0 0 265 10 0 0 20 0 20 0 31046389 19521036288 40620 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4765878 40620 5461 1 0 550563 0
[pid=16300/tid=16302] ppid=16297 vsize=19063512 memory=3200 CPUtime=1.36 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 5860 0 0 0 131 5 0 0 20 0 20 0 31046391 19521036288 40620 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31046395 19521036288 40620 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 31046396 19521036288 40620 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16319] ppid=16297 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/16300/task/16319/stat : 16319 (Timer-0) S 16297 16300 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31046444 19521036288 40620 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 162480 KiB
[startup+3.10687 s]
/proc/loadavg: 4.44 4.24 4.25 5/327 16320
/proc/meminfo: memFree=120786224/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=19063512 memory=808464 CPUtime=5.53 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 24219 0 0 0 528 25 0 0 20 0 20 0 31046389 19521036288 202116 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4765878 202116 5461 1 0 853266 0
[pid=16300/tid=16302] ppid=16297 vsize=19063512 memory=14848 CPUtime=2.89 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 6659 0 0 0 272 17 0 0 20 0 20 0 31046391 19521036288 202116 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31046395 19521036288 202116 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 31046396 19521036288 202116 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16319] ppid=16297 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/16300/task/16319/stat : 16319 (Timer-0) S 16297 16300 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31046444 19521036288 202116 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 808464 KiB
[startup+6.30047 s]
/proc/loadavg: 4.48 4.25 4.25 5/327 16320
/proc/meminfo: memFree=119763548/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=19063512 memory=1888496 CPUtime=9.5 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 25207 0 0 0 905 45 0 0 20 0 20 0 31046389 19521036288 472124 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4765878 472124 5461 1 0 853279 0
[pid=16300/tid=16302] ppid=16297 vsize=19063512 memory=0 CPUtime=6.05 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 7504 0 0 0 568 37 0 0 20 0 20 0 31046391 19521036288 472124 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31046395 19521036288 472124 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 31046396 19521036288 472124 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16319] ppid=16297 vsize=19063512 memory=166616 CPUtime=0 cores=5,7
/proc/16300/task/16319/stat : 16319 (Timer-0) S 16297 16300 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31046444 19521036288 472124 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 9.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1888496 KiB
[startup+12.7005 s]
/proc/loadavg: 4.60 4.28 4.26 5/327 16320
/proc/meminfo: memFree=118801588/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=19063512 memory=2697012 CPUtime=16.03 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 26619 0 0 0 1540 63 0 0 20 0 20 0 31046389 19521036288 674253 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4765878 674253 5461 1 0 1014124 0
[pid=16300/tid=16302] ppid=16297 vsize=19063512 memory=166616 CPUtime=12.17 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 8440 0 0 0 1164 53 0 0 20 0 20 0 31046391 19521036288 674253 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=19063512 memory=2697012 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31046395 19521036288 674253 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 31046396 19521036288 674253 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16319] ppid=16297 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/16300/task/16319/stat : 16319 (Timer-0) S 16297 16300 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31046444 19521036288 674253 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 16.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2697012 KiB
[startup+25.5004 s]
/proc/loadavg: 4.85 4.35 4.28 6/327 16386
/proc/meminfo: memFree=121465804/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=19063512 memory=2697324 CPUtime=29.31 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 34543 0 0 0 2865 66 0 0 20 0 20 0 31046389 19521036288 674331 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4765878 674331 5461 1 0 1014136 0
[pid=16300/tid=16302] ppid=16297 vsize=19063512 memory=0 CPUtime=24.74 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 10364 0 0 0 2420 54 0 0 20 0 20 0 31046391 19521036288 674331 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31046395 19521036288 674331 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=19063512 memory=2700468 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 31046396 19521036288 674331 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16319] ppid=16297 vsize=19063512 memory=2697140 CPUtime=0 cores=5,7
/proc/16300/task/16319/stat : 16319 (Timer-0) S 16297 16300 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31046444 19521036288 674331 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 29.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2697324 KiB
[startup+51.1139 s]
/proc/loadavg: 4.90 4.40 4.30 5/327 16387
/proc/meminfo: memFree=118952476/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=19063512 memory=2697580 CPUtime=55.18 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 39870 0 0 0 5449 69 0 0 20 0 20 0 31046389 19521036288 674395 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4765878 674395 5461 1 0 1014184 0
[pid=16300/tid=16302] ppid=16297 vsize=19063512 memory=2697324 CPUtime=49.97 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 13737 0 0 0 4943 54 0 0 20 0 20 0 31046391 19521036288 674395 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=19063512 memory=2697452 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31046395 19521036288 674395 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 66 0 0 0 0 0 0 0 20 0 20 0 31046396 19521036288 674395 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 3.48 3.98 4.11 4/302 16589
/proc/meminfo: memFree=120009248/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=19063512 memory=3194268 CPUtime=3248.81 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 114329 0 0 0 324545 336 0 0 20 0 20 0 31046389 19521036288 798567 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4765878 798567 5461 1 0 1014651 0
[pid=16300/tid=16302] ppid=16297 vsize=19063512 memory=3179904 CPUtime=3182.1 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 61628 0 0 0 318113 97 0 0 20 0 20 0 31046391 19521036288 798567 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=19063512 memory=3192220 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31046395 19521036288 798567 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=19063512 memory=3194268 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 1999 0 0 0 0 0 0 0 20 0 20 0 31046396 19521036288 798567 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16319] ppid=16297 vsize=19063512 memory=3194268 CPUtime=0 cores=5,7
/proc/16300/task/16319/stat : 16319 (Timer-0) S 16297 16300 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31046444 19521036288 798567 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 3248.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3194268 KiB
[startup+3282.3 s]
/proc/loadavg: 2.99 3.76 4.02 3/277 16623
/proc/meminfo: memFree=123731144/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=19063512 memory=3200420 CPUtime=3309.65 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 114370 0 0 0 330625 340 0 0 20 0 20 0 31046389 19521036288 800105 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4765878 800105 5461 1 0 1014651 0
[pid=16300/tid=16302] ppid=16297 vsize=19063512 memory=3198372 CPUtime=3241.3 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 61654 0 0 0 324033 97 0 0 20 0 20 0 31046391 19521036288 800105 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=19063512 memory=17152 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31046395 19521036288 800105 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 1999 0 0 0 0 0 0 0 20 0 20 0 31046396 19521036288 800105 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16319] ppid=16297 vsize=19063512 memory=3200420 CPUtime=0 cores=5,7
/proc/16300/task/16319/stat : 16319 (Timer-0) S 16297 16300 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31046444 19521036288 800105 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 3309.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3200420 KiB
[startup+3342.3 s]
/proc/loadavg: 2.42 3.45 3.90 3/276 16625
/proc/meminfo: memFree=123718576/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=19063512 memory=3206564 CPUtime=3369.99 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 115223 0 0 0 336655 344 0 0 20 0 20 0 31046389 19521036288 801641 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4765878 801641 5461 1 0 1014651 0
[pid=16300/tid=16302] ppid=16297 vsize=19063512 memory=10752 CPUtime=3300.71 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 62481 0 0 0 329973 98 0 0 20 0 20 0 31046391 19521036288 801641 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=19063512 memory=3204516 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31046395 19521036288 801641 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 1999 0 0 0 0 0 0 0 20 0 20 0 31046396 19521036288 801641 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16319] ppid=16297 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/16300/task/16319/stat : 16319 (Timer-0) S 16297 16300 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31046444 19521036288 801641 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 3369.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3206564 KiB
[startup+3402.3 s]
/proc/loadavg: 2.23 3.21 3.79 3/277 16629
/proc/meminfo: memFree=123702220/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=19063512 memory=3212712 CPUtime=3430.37 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 117410 0 0 0 342688 349 0 0 20 0 20 0 31046389 19521036288 803178 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4765878 803178 5461 1 0 1014651 0
[pid=16300/tid=16302] ppid=16297 vsize=19063512 memory=17152 CPUtime=3360.11 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 63949 0 0 0 335912 99 0 0 20 0 20 0 31046391 19521036288 803178 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=19063512 memory=3212712 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31046395 19521036288 803178 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=19063512 memory=3212712 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 2081 0 0 0 0 0 0 0 20 0 20 0 31046396 19521036288 803178 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16319] ppid=16297 vsize=19063512 memory=3212712 CPUtime=0 cores=5,7
/proc/16300/task/16319/stat : 16319 (Timer-0) S 16297 16300 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31046444 19521036288 803178 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 3430.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3212712 KiB
[startup+3462.3 s]
/proc/loadavg: 2.18 3.02 3.68 3/277 16635
/proc/meminfo: memFree=123692908/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=19063512 memory=3218864 CPUtime=3490.81 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 119207 0 0 0 348727 354 0 0 20 0 20 0 31046389 19521036288 804716 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4765878 804716 5461 1 0 1014651 0
[pid=16300/tid=16302] ppid=16297 vsize=19063512 memory=17152 CPUtime=3419.62 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 65123 0 0 0 341863 99 0 0 20 0 20 0 31046391 19521036288 804716 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=19063512 memory=3218864 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31046395 19521036288 804716 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=19063512 memory=3218864 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 2139 0 0 0 0 0 0 0 20 0 20 0 31046396 19521036288 804716 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16319] ppid=16297 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/16300/task/16319/stat : 16319 (Timer-0) S 16297 16300 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31046444 19521036288 804716 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 3490.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3218864 KiB
[startup+3522.3 s]
/proc/loadavg: 2.12 2.85 3.58 3/277 16637
/proc/meminfo: memFree=123675460/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=19063512 memory=3227064 CPUtime=3551.27 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 119310 0 0 0 354768 359 0 0 20 0 20 0 31046389 19521036288 806766 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4765878 806766 5461 1 0 1014651 0
[pid=16300/tid=16302] ppid=16297 vsize=19063512 memory=3214764 CPUtime=3479.05 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 65208 0 0 0 347805 100 0 0 20 0 20 0 31046391 19521036288 806766 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31046395 19521036288 806766 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 2139 0 0 0 0 0 0 0 20 0 20 0 31046396 19521036288 806766 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16319] ppid=16297 vsize=19063512 memory=3225012 CPUtime=0 cores=5,7
/proc/16300/task/16319/stat : 16319 (Timer-0) S 16297 16300 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31046444 19521036288 806766 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 3551.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3227064 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3570.7 s]
/proc/loadavg: 2.14 2.75 3.51 3/277 16641
/proc/meminfo: memFree=123673684/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=19063512 memory=3231160 CPUtime=3600.01 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 119670 0 0 0 359640 361 0 0 20 0 20 0 31046389 19521036288 807790 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4765878 807790 5461 1 0 1014651 0
[pid=16300/tid=16302] ppid=16297 vsize=19063512 memory=3229112 CPUtime=3526.81 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 65517 0 0 0 352581 100 0 0 20 0 20 0 31046391 19521036288 807790 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=19063512 memory=3229112 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31046395 19521036288 807790 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=19063512 memory=3229112 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 2139 0 0 0 0 0 0 0 20 0 20 0 31046396 19521036288 807790 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16319] ppid=16297 vsize=19063512 memory=3227064 CPUtime=0 cores=5,7
/proc/16300/task/16319/stat : 16319 (Timer-0) S 16297 16300 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31046444 19521036288 807790 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3231160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3570.91 s]
# the end of solver process 16300 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.76 s, system=3.64342 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3570.81 s]
/proc/loadavg: 2.14 2.75 3.51 3/277 16641
/proc/meminfo: memFree=123673684/131382112 swapFree=33010684/33010684
[pid=16300] ppid=16297 vsize=19263204 memory=3231928 CPUtime=3600.21 cores=5,7
/proc/16300/stat : 16300 (java) S 16297 16300 14172 0 -1 4194304 121893 0 0 0 359659 362 0 0 20 0 21 0 31046389 19725520896 807982 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
/proc/16300/statm: 4815801 807982 5461 1 0 1015554 0
[pid=16300/tid=16302] ppid=16297 vsize=19263204 memory=245635481903 CPUtime=3526.92 cores=5,7
/proc/16300/task/16302/stat : 16302 (java) R 16297 16300 14172 0 -1 4194368 65557 0 0 0 352592 100 0 0 20 0 21 0 31046391 19725520896 807982 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16311] ppid=16297 vsize=19263204 memory=4179395666877088499 CPUtime=0 cores=5,7
/proc/16300/task/16311/stat : 16311 (Finalizer) S 16297 16300 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 31046395 19725520896 807982 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
[pid=16300/tid=16318] ppid=16297 vsize=19263204 memory=73552 CPUtime=0 cores=5,7
/proc/16300/task/16318/stat : 16318 (Common-Cleaner) S 16297 16300 14172 0 -1 4194368 2139 0 0 0 0 0 0 0 20 0 21 0 31046396 19725520896 807982 18446744073709551615 94255379410944 94255379414640 140726621339136 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94255379422456 94255379423248 94255381700608 140726621346174 140726621346278 140726621346278 140726621351880 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3231928 KiB
Child status: 143
Real time (s): 3570.91
CPU time (s): 3600.4
CPU user time (s): 3596.76
CPU system time (s): 3.64342
CPU usage (%): 100.826
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3231928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.76
system time used= 3.64342
maximum resident set size= 3232184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125249
involuntary context switches= 10085
# summary of solver processes directly reported to runsolver:
# pid: 16300
# total CPU time (s): 3600.4
# total CPU user time (s): 3596.76
# total CPU system time (s): 3.64342
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2979 second user time and 37.3119 second system time
The end