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 (59899 MiB free)
memory of node 1: 64507 MiB (61703 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487350-1751324167/watcher-4487350-1751324167 -o /tmp/evaluation-result-4487350-1751324167/solver-4487350-1751324167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751317014-45974 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4487350-1751324167.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=47783, runsolver pid=47779
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 4.43 4.41 4.37 8/323 47822
/proc/meminfo: memFree=124476976/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=18930384 memory=48384 CPUtime=0.12 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 5790 0 0 0 9 3 0 0 20 0 18 0 48096427 19384713216 12096 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4732596 12096 5305 1 0 547004 0
[pid=47783/tid=47789] ppid=47779 vsize=18930384 memory=4026532124 CPUtime=0.08 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 4694 0 0 0 6 2 0 0 20 0 18 0 48096429 19384713216 12096 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=18930384 memory=1641 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 48096434 19384713216 12096 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 48096434 19384713216 12096 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48384 KiB
[startup+0.221707 s]*
/proc/loadavg: 4.43 4.41 4.37 7/323 47822
/proc/meminfo: memFree=124468352/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=18930384 memory=55496 CPUtime=0.31 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 6539 0 0 0 27 4 0 0 20 0 18 0 48096427 19384713216 13874 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4732596 13874 5337 1 0 547603 0
[pid=47783/tid=47789] ppid=47779 vsize=18930384 memory=4026663196 CPUtime=0.19 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 5061 0 0 0 17 2 0 0 20 0 18 0 48096429 19384713216 14408 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=18930384 memory=1641 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 48096434 19384713216 14408 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 48096434 19384713216 14408 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55496 KiB
[startup+0.318663 s]*
/proc/loadavg: 4.43 4.41 4.37 8/323 47822
/proc/meminfo: memFree=124459216/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=18930384 memory=58656 CPUtime=0.47 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 6827 0 0 0 43 4 0 0 20 0 18 0 48096427 19384713216 14664 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4732596 14664 5337 1 0 547811 0
[pid=47783/tid=47789] ppid=47779 vsize=18930384 memory=-6000919507015787883 CPUtime=0.28 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 5243 0 0 0 26 2 0 0 20 0 18 0 48096429 19384713216 14664 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 48096434 19384713216 14664 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 48096434 19384713216 14664 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58656 KiB
[startup+0.700327 s]
/proc/loadavg: 4.43 4.41 4.37 8/323 47822
/proc/meminfo: memFree=124453200/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=18996948 memory=71948 CPUtime=1.17 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 7536 0 0 0 112 5 0 0 20 0 19 0 48096427 19452874752 17987 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4749237 17987 5465 1 0 548470 0
[pid=47783/tid=47789] ppid=47779 vsize=18996948 memory=17664 CPUtime=0.6 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 5523 0 0 0 57 3 0 0 20 0 19 0 48096429 19452874752 17987 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 48096434 19452874752 17987 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 48096434 19452874752 17987 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71948 KiB
[startup+1.50025 s]
/proc/loadavg: 4.43 4.41 4.37 7/325 47824
/proc/meminfo: memFree=124395732/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=19063512 memory=165200 CPUtime=2.73 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 15291 0 0 0 265 8 0 0 20 0 20 0 48096427 19521036288 41300 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4765878 41300 5497 1 0 550762 0
[pid=47783/tid=47789] ppid=47779 vsize=19063512 memory=3328 CPUtime=1.27 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 6304 0 0 0 122 5 0 0 20 0 20 0 48096429 19521036288 41300 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 41300 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 41300 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47823] ppid=47779 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/47783/task/47823/stat : 47823 (Timer-0) S 47779 47783 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48096487 19521036288 41300 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 165200 KiB
[startup+3.10543 s]
/proc/loadavg: 4.56 4.44 4.37 7/327 47826
/proc/meminfo: memFree=123656088/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=19063512 memory=391244 CPUtime=5.91 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 24503 0 0 0 576 15 0 0 20 0 20 0 48096427 19521036288 97811 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4765878 97811 5497 1 0 693313 0
[pid=47783/tid=47789] ppid=47779 vsize=19063512 memory=11136 CPUtime=2.77 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 6950 0 0 0 269 8 0 0 20 0 20 0 48096429 19521036288 97811 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 97811 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 97811 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47823] ppid=47779 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/47783/task/47823/stat : 47823 (Timer-0) S 47779 47783 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48096487 19521036288 97811 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 391244 KiB
[startup+6.30043 s]
/proc/loadavg: 4.56 4.44 4.37 6/327 47826
/proc/meminfo: memFree=122097800/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=19063512 memory=1108784 CPUtime=9.61 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 25831 0 0 0 931 30 0 0 20 0 20 0 48096427 19521036288 277196 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4765878 277196 5497 1 0 1023364 0
[pid=47783/tid=47789] ppid=47779 vsize=19063512 memory=0 CPUtime=5.84 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 7368 0 0 0 563 21 0 0 20 0 20 0 48096429 19521036288 277196 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 277196 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 277196 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47823] ppid=47779 vsize=19063512 memory=165328 CPUtime=0 cores=4,6
/proc/47783/task/47823/stat : 47823 (Timer-0) S 47779 47783 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48096487 19521036288 277196 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 9.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1108784 KiB
[startup+12.7004 s]
/proc/loadavg: 4.55 4.44 4.38 5/326 47826
/proc/meminfo: memFree=120044960/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=19063512 memory=1866700 CPUtime=16.31 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 26410 0 0 0 1584 47 0 0 20 0 20 0 48096427 19521036288 466675 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4765878 466675 5497 1 0 1023378 0
[pid=47783/tid=47789] ppid=47779 vsize=19063512 memory=11136 CPUtime=11.89 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 7770 0 0 0 1155 34 0 0 20 0 20 0 48096429 19521036288 466675 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=19063512 memory=165328 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 466675 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 466675 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47823] ppid=47779 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/47783/task/47823/stat : 47823 (Timer-0) S 47779 47783 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48096487 19521036288 466675 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 16.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1866700 KiB
[startup+25.5003 s]
/proc/loadavg: 4.54 4.44 4.38 5/326 47893
/proc/meminfo: memFree=118761000/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=19063512 memory=2769748 CPUtime=29.96 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 33029 0 0 0 2930 66 0 0 20 0 20 0 48096427 19521036288 692437 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4765878 692437 5497 1 0 1226003 0
[pid=47783/tid=47789] ppid=47779 vsize=19063512 memory=0 CPUtime=24.38 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 10645 0 0 0 2386 52 0 0 20 0 20 0 48096429 19521036288 692437 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 692437 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=19063512 memory=2769748 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 692437 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47823] ppid=47779 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/47783/task/47823/stat : 47823 (Timer-0) S 47779 47783 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48096487 19521036288 692437 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 29.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2769748 KiB
[startup+51.114 s]
/proc/loadavg: 4.93 4.54 4.41 5/326 47893
/proc/meminfo: memFree=117536060/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=19063512 memory=2858256 CPUtime=56.22 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 41523 0 0 0 5551 71 0 0 20 0 20 0 48096427 19521036288 714564 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4765878 714564 5497 1 0 1226075 0
[pid=47783/tid=47789] ppid=47779 vsize=19063512 memory=0 CPUtime=49.38 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 14727 0 0 0 4884 54 0 0 20 0 20 0 48096429 19521036288 714564 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=19063512 memory=2808832 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 714564 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=19063512 memory=2808832 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 714564 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47823] ppid=47779 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/loadavg: 4.35 4.48 4.44 5/327 47930
/proc/meminfo: memFree=114050820/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=19063512 memory=3744008 CPUtime=449.78 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 93920 0 0 0 44858 120 0 0 20 0 20 0 48096427 19521036288 936002 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4765878 936002 5497 1 0 1231324 0
[pid=47783/tid=47789] ppid=47779 vsize=19063512 memory=17664 CPUtime=424.3 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 28351 0 0 0 42370 60 0 0 20 0 20 0 48096429 19521036288 936002 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 936002 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=19063512 memory=3721464 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 293 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 936002 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47823] ppid=47779 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/47783/task/47823/stat : 47823 (Timer-0) S 47779 47783 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48096487 19521036288 936002 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 449.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3744008 KiB
[startup+448 s]*
/proc/loadavg: 4.27 4.45 4.43 5/327 47931
/proc/meminfo: memFree=114042384/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=19063512 memory=3750152 CPUtime=462.63 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 94344 0 0 0 46142 121 0 0 20 0 20 0 48096427 19521036288 937538 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4765878 937538 5497 1 0 1231324 0
[pid=47783/tid=47789] ppid=47779 vsize=19063512 memory=-6000919468394571115 CPUtime=436.91 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 28765 0 0 0 43631 60 0 0 20 0 20 0 48096429 19521036288 937538 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=19063512 memory=-4050210904893539981 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 937538 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=19063512 memory=21672 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 293 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 937538 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47823] ppid=47779 vsize=19063512 memory=3750152 CPUtime=0 cores=4,6
/proc/47783/task/47823/stat : 47823 (Timer-0) S 47779 47783 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48096487 19521036288 937538 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 462.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3750152 KiB
[startup+454.4 s]
/proc/loadavg: 4.33 4.46 4.44 5/327 47932
/proc/meminfo: memFree=114038288/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=19063512 memory=3756296 CPUtime=469.08 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 94595 0 0 0 46786 122 0 0 20 0 20 0 48096427 19521036288 939074 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4765878 939074 5497 1 0 1231324 0
[pid=47783/tid=47789] ppid=47779 vsize=19063512 memory=17664 CPUtime=443.12 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 29009 0 0 0 44252 60 0 0 20 0 20 0 48096429 19521036288 939074 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 939074 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=19063512 memory=-6000919468377859435 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 293 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 939074 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47823] ppid=47779 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/47783/task/47823/stat : 47823 (Timer-0) S 47779 47783 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48096487 19521036288 939074 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 469.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3756296 KiB
[startup+457.6 s]
/proc/loadavg: 4.33 4.46 4.44 5/327 47932
/proc/meminfo: memFree=114013728/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=19063512 memory=3766536 CPUtime=472.37 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 94618 0 0 0 47115 122 0 0 20 0 20 0 48096427 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4765878 941634 5497 1 0 1231324 0
[pid=47783/tid=47789] ppid=47779 vsize=19063512 memory=3756296 CPUtime=446.19 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 29021 0 0 0 44559 60 0 0 20 0 20 0 48096429 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=19063512 memory=3756296 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 293 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47823] ppid=47779 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/47783/task/47823/stat : 47823 (Timer-0) S 47779 47783 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48096487 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 472.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3766536 KiB
[startup+459.2 s]
/proc/loadavg: 4.31 4.45 4.43 5/327 47932
/proc/meminfo: memFree=114013728/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=19063512 memory=3766536 CPUtime=473.97 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 94643 0 0 0 47275 122 0 0 20 0 20 0 48096427 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4765878 941634 5497 1 0 1231324 0
[pid=47783/tid=47789] ppid=47779 vsize=19063512 memory=-6000919468377859435 CPUtime=447.78 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 29041 0 0 0 44718 60 0 0 20 0 20 0 48096429 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=19063512 memory=4944 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=19063512 memory=6900 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 293 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47823] ppid=47779 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/47783/task/47823/stat : 47823 (Timer-0) S 47779 47783 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48096487 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 473.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3766536 KiB
[startup+460.8 s]
/proc/loadavg: 4.31 4.45 4.43 5/327 47932
/proc/meminfo: memFree=114013728/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=19063512 memory=3766536 CPUtime=475.57 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 94643 0 0 0 47435 122 0 0 20 0 20 0 48096427 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4765878 941634 5497 1 0 1231324 0
[pid=47783/tid=47789] ppid=47779 vsize=19063512 memory=11136 CPUtime=449.38 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 29041 0 0 0 44878 60 0 0 20 0 20 0 48096429 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 293 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47823] ppid=47779 vsize=19063512 memory=2273 CPUtime=0 cores=4,6
/proc/47783/task/47823/stat : 47823 (Timer-0) S 47779 47783 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48096487 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 475.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3766536 KiB
[startup+461.2 s]
/proc/loadavg: 4.31 4.45 4.43 6/327 47932
/proc/meminfo: memFree=113964576/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=19063512 memory=3766536 CPUtime=475.97 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 94644 0 0 0 47475 122 0 0 20 0 20 0 48096427 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4765878 941634 5497 1 0 1231324 0
[pid=47783/tid=47789] ppid=47779 vsize=19063512 memory=3328 CPUtime=449.78 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 29042 0 0 0 44918 60 0 0 20 0 20 0 48096429 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=19063512 memory=-6000919468377859435 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=19063512 memory=6768 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 293 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47823] ppid=47779 vsize=19063512 memory=3495296 CPUtime=0 cores=4,6
/proc/47783/task/47823/stat : 47823 (Timer-0) S 47779 47783 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48096487 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 475.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3766536 KiB
[startup+461.6 s]
/proc/loadavg: 4.31 4.45 4.43 6/327 47932
/proc/meminfo: memFree=113964576/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=19063512 memory=3766536 CPUtime=476.37 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 94646 0 0 0 47515 122 0 0 20 0 20 0 48096427 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4765878 941634 5497 1 0 1231324 0
[pid=47783/tid=47789] ppid=47779 vsize=19063512 memory=5632 CPUtime=450.18 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) R 47779 47783 45963 0 -1 4194368 29044 0 0 0 44958 60 0 0 20 0 20 0 48096429 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 293 0 0 0 0 0 0 0 20 0 20 0 48096434 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47823] ppid=47779 vsize=19063512 memory=2728 CPUtime=0 cores=4,6
/proc/47783/task/47823/stat : 47823 (Timer-0) S 47779 47783 45963 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 48096487 19521036288 941634 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 476.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3766536 KiB
[startup+461.703 s]
/proc/loadavg: 4.31 4.45 4.43 6/327 47932
/proc/meminfo: memFree=113964576/131382116 swapFree=33010684/33010684
[pid=47783] ppid=47779 vsize=19196640 memory=3766920 CPUtime=476.48 cores=4,6
/proc/47783/stat : 47783 (java) S 47779 47783 45963 0 -1 4194304 95784 0 0 0 47526 122 0 0 20 0 21 0 48096427 19657359360 941730 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
/proc/47783/statm: 4799160 941730 5529 1 0 1231964 0
[pid=47783/tid=47789] ppid=47779 vsize=19196640 memory=3614460 CPUtime=450.26 cores=4,6
/proc/47783/task/47789/stat : 47789 (java) S 47779 47783 45963 0 -1 4194368 29887 0 0 0 44966 60 0 0 20 0 21 0 48096429 19657359360 941730 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47804] ppid=47779 vsize=19196640 memory=3750152 CPUtime=0 cores=4,6
/proc/47783/task/47804/stat : 47804 (Finalizer) S 47779 47783 45963 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 48096434 19657359360 941730 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
[pid=47783/tid=47812] ppid=47779 vsize=19196640 memory=3744008 CPUtime=0 cores=4,6
/proc/47783/task/47812/stat : 47812 (Common-Cleaner) S 47779 47783 45963 0 -1 4194368 293 0 0 0 0 0 0 0 20 0 21 0 48096434 19657359360 941730 18446744073709551615 94761898000384 94761898004080 140725647967456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94761898011896 94761898012688 94761899814912 140725647976830 140725647976934 140725647976934 140725647982536 0
Current children cumulated CPU time: 476.48 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 3766920 KiB
Child status: 30
Real time (s): 461.78
CPU time (s): 476.548
CPU user time (s): 475.298
CPU system time (s): 1.25059
CPU usage (%): 103.198
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 3766920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 475.298
system time used= 1.25059
maximum resident set size= 3767304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96279
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18668
involuntary context switches= 4546
# summary of solver processes directly reported to runsolver:
# pid: 47783
# total CPU time (s): 476.548
# total CPU user time (s): 475.298
# total CPU system time (s): 1.25059
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.02962 second user time and 3.99368 second system time
The end