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: 63708 MiB (50298 MiB free)
memory of node 1: 64465 MiB (58928 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489834-1751345432/watcher-4489834-1751345432 -o /tmp/evaluation-result-4489834-1751345432/solver-4489834-1751345432 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751339095-46194 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4489834-1751345432.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=47093, runsolver pid=47090
[startup+0.10006 s]*
/proc/loadavg: 4.92 4.98 4.98 7/337 47111
/proc/meminfo: memFree=111827148/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=18930384 memory=55400 CPUtime=0.12 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 6490 0 0 0 10 2 0 0 20 0 18 0 50165787 19384713216 13850 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4732596 13850 5335 1 0 547558 0
[pid=47093/tid=47095] ppid=47090 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 5004 0 0 0 6 1 0 0 20 0 18 0 50165789 19384713216 13850 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=18930384 memory=237112656212 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50165791 19384713216 13850 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=18930384 memory=60684515937227 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50165791 19384713216 13850 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55400 KiB
[startup+0.205735 s]*
/proc/loadavg: 4.92 4.98 4.98 7/337 47111
/proc/meminfo: memFree=111811836/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=18930384 memory=68232 CPUtime=0.31 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 7057 0 0 0 29 2 0 0 20 0 18 0 50165787 19384713216 17058 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4732596 17058 5431 1 0 547951 0
[pid=47093/tid=47095] ppid=47090 vsize=18930384 memory=4026663196 CPUtime=0.18 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 5326 0 0 0 16 2 0 0 20 0 18 0 50165789 19384713216 17058 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=18930384 memory=16124 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50165791 19384713216 17058 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50165791 19384713216 17058 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68232 KiB
[startup+0.30572 s]*
/proc/loadavg: 4.92 4.98 4.98 6/337 47111
/proc/meminfo: memFree=111783228/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=18930384 memory=99288 CPUtime=0.5 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 8751 0 0 0 47 3 0 0 20 0 18 0 50165787 19384713216 24822 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4732596 24822 5431 1 0 549057 0
[pid=47093/tid=47095] ppid=47090 vsize=18930384 memory=-6000919506999469419 CPUtime=0.27 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 5370 0 0 0 25 2 0 0 20 0 18 0 50165789 19384713216 24822 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50165791 19384713216 24822 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50165791 19384713216 24822 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 99288 KiB
[startup+0.700208 s]
/proc/loadavg: 4.92 4.98 4.98 6/338 47112
/proc/meminfo: memFree=111721788/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=18996948 memory=178340 CPUtime=1.27 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 11095 0 0 0 121 6 0 0 20 0 19 0 50165787 19452874752 44585 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4749237 44585 5463 1 0 550885 0
[pid=47093/tid=47095] ppid=47090 vsize=18996948 memory=17792 CPUtime=0.63 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 5401 0 0 0 60 3 0 0 20 0 19 0 50165789 19452874752 44585 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50165791 19452874752 44585 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50165791 19452874752 44585 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 178340 KiB
[startup+1.50022 s]
/proc/loadavg: 4.92 4.98 4.98 5/338 47112
/proc/meminfo: memFree=111683856/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=18996948 memory=418292 CPUtime=2.36 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 13411 0 0 0 225 11 0 0 20 0 19 0 50165787 19452874752 104573 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4749237 104573 5463 1 0 1078039 0
[pid=47093/tid=47095] ppid=47090 vsize=18996948 memory=3328 CPUtime=1.33 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 5501 0 0 0 126 7 0 0 20 0 19 0 50165789 19452874752 104573 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50165791 19452874752 104573 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50165791 19452874752 104573 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 418292 KiB
[startup+3.1056 s]
/proc/loadavg: 4.85 4.97 4.97 6/339 47113
/proc/meminfo: memFree=111445592/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=19063512 memory=438812 CPUtime=4.73 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 13903 0 0 0 460 13 0 0 20 0 20 0 50165787 19521036288 109703 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4765878 109703 5527 1 0 1078472 0
[pid=47093/tid=47095] ppid=47090 vsize=19063512 memory=10752 CPUtime=2.87 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 5639 0 0 0 279 8 0 0 20 0 20 0 50165789 19521036288 109703 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 109703 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 109703 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47113] ppid=47090 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/47093/task/47113/stat : 47113 (Timer-0) S 47090 47093 46182 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50165949 19521036288 109703 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 438812 KiB
[startup+6.30021 s]
/proc/loadavg: 4.85 4.97 4.97 5/339 47113
/proc/meminfo: memFree=110590008/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=19063512 memory=1130228 CPUtime=8.34 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 19430 0 0 0 808 26 0 0 20 0 20 0 50165787 19521036288 282557 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4765878 282557 5527 1 0 1627851 0
[pid=47093/tid=47095] ppid=47090 vsize=19063512 memory=0 CPUtime=5.91 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 6472 0 0 0 573 18 0 0 20 0 20 0 50165789 19521036288 282557 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=19063512 memory=-8412654364016274332 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 282557 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=19063512 memory=-6000919506999469419 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 282557 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47113] ppid=47090 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/47093/task/47113/stat : 47113 (Timer-0) S 47090 47093 46182 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50165949 19521036288 282557 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 8.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1130228 KiB
[startup+12.7002 s]
/proc/loadavg: 4.86 4.97 4.97 5/339 47114
/proc/meminfo: memFree=109606968/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=19063512 memory=1778932 CPUtime=15.19 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 22603 0 0 0 1482 37 0 0 20 0 20 0 50165787 19521036288 444733 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4765878 444733 5527 1 0 1627912 0
[pid=47093/tid=47095] ppid=47090 vsize=19063512 memory=0 CPUtime=11.96 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 7624 0 0 0 1173 23 0 0 20 0 20 0 50165789 19521036288 444733 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=19063512 memory=1764592 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 444733 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 444733 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47113] ppid=47090 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/47093/task/47113/stat : 47113 (Timer-0) S 47090 47093 46182 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50165949 19521036288 444733 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 15.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1778932 KiB
[startup+25.5003 s]
/proc/loadavg: 4.74 4.93 4.96 6/339 47114
/proc/meminfo: memFree=107574756/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=19063512 memory=3047508 CPUtime=28.65 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 27305 0 0 0 2801 64 0 0 20 0 20 0 50165787 19521036288 761877 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4765878 761877 5527 1 0 1627999 0
[pid=47093/tid=47095] ppid=47090 vsize=19063512 memory=-6000919506999469419 CPUtime=24.04 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 9524 0 0 0 2367 37 0 0 20 0 20 0 50165789 19521036288 761877 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=19063512 memory=3027 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 761877 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=19063512 memory=2555700 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 761877 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47113] ppid=47090 vsize=19063512 memory=2203440 CPUtime=0 cores=1,3
/proc/47093/task/47113/stat : 47113 (Timer-0) S 47090 47093 46182 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50165949 19521036288 761877 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 28.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3047508 KiB
[startup+51.1057 s]
/proc/loadavg: 4.64 4.89 4.95 5/339 47115
/proc/meminfo: memFree=104319224/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=19063512 memory=4069664 CPUtime=55.45 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 37712 0 0 0 5461 84 0 0 20 0 20 0 50165787 19521036288 1017416 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4765878 1017416 5559 1 0 1628004 0
[pid=47093/tid=47095] ppid=47090 vsize=19063512 memory=3848448 CPUtime=48.43 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 12072 0 0 0 4800 43 0 0 20 0 20 0 50165789 19521036288 1017416 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=19063512 memory=-6000919506999469419 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 1017416 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=19063512 memory=3252472 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 1017416 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47113] ppid=47090 vsize=19063512 memory=2901840 CPUtime=0 cores=1,3
/proc/47093/task/47113/stat : 47113 (Timer-0) S 47090 47093 46182 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50165949 19521036288 1017416 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 55.45 s
################
# More data... #
################
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4033455 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=19063512 memory=16133820 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 2832 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4033455 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47113] ppid=47090 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/47093/task/47113/stat : 47113 (Timer-0) S 47090 47093 46182 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50165949 19521036288 4033455 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 3163.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16133820 KiB
[startup+2982.3 s]
/proc/loadavg: 4.53 4.59 4.61 5/340 47334
/proc/meminfo: memFree=65197260/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=19063512 memory=16134076 CPUtime=3236.12 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 583856 0 0 0 323116 496 0 0 20 0 20 0 50165787 19521036288 4033519 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4765878 4033519 5559 1 0 4047271 0
[pid=47093/tid=47095] ppid=47090 vsize=19063512 memory=16134076 CPUtime=2897.77 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 368485 0 0 0 289489 288 0 0 20 0 20 0 50165789 19521036288 4033519 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4033519 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=19063512 memory=16134076 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 2875 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4033519 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47113] ppid=47090 vsize=19063512 memory=16134076 CPUtime=0 cores=1,3
/proc/47093/task/47113/stat : 47113 (Timer-0) S 47090 47093 46182 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50165949 19521036288 4033519 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 3236.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16134076 KiB
[startup+3042.3 s]
/proc/loadavg: 4.57 4.58 4.61 6/340 47402
/proc/meminfo: memFree=76881232/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=19063512 memory=16142300 CPUtime=3297.32 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 594618 0 0 0 329233 499 0 0 20 0 20 0 50165787 19521036288 4035575 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4765878 4035575 5559 1 0 4049359 0
[pid=47093/tid=47095] ppid=47090 vsize=19063512 memory=16134076 CPUtime=2956.23 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 375912 0 0 0 295334 289 0 0 20 0 20 0 50165789 19521036288 4035575 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4035575 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=19063512 memory=16142300 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 2885 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4035575 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47113] ppid=47090 vsize=19063512 memory=16142300 CPUtime=0 cores=1,3
/proc/47093/task/47113/stat : 47113 (Timer-0) S 47090 47093 46182 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50165949 19521036288 4035575 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 3297.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16142300 KiB
[startup+3102.3 s]
/proc/loadavg: 4.48 4.56 4.60 5/340 47404
/proc/meminfo: memFree=76725720/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=19063512 memory=16142556 CPUtime=3369.18 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 605221 0 0 0 336412 506 0 0 20 0 20 0 50165787 19521036288 4035639 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4765878 4035639 5559 1 0 4049407 0
[pid=47093/tid=47095] ppid=47090 vsize=19063512 memory=16142300 CPUtime=3014.94 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 382351 0 0 0 301204 290 0 0 20 0 20 0 50165789 19521036288 4035639 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=19063512 memory=16142300 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4035639 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=19063512 memory=17792 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 2887 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4035639 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47113] ppid=47090 vsize=19063512 memory=16142556 CPUtime=0 cores=1,3
/proc/47093/task/47113/stat : 47113 (Timer-0) S 47090 47093 46182 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50165949 19521036288 4035639 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 3369.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16142556 KiB
[startup+3162.3 s]
/proc/loadavg: 4.53 4.57 4.60 5/340 47406
/proc/meminfo: memFree=76562756/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=19063512 memory=16142556 CPUtime=3430.4 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 609505 0 0 0 342532 508 0 0 20 0 20 0 50165787 19521036288 4035639 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4765878 4035639 5559 1 0 4049407 0
[pid=47093/tid=47095] ppid=47090 vsize=19063512 memory=16142300 CPUtime=3073.42 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 385842 0 0 0 307052 290 0 0 20 0 20 0 50165789 19521036288 4035639 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=19063512 memory=16142556 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4035639 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=19063512 memory=16142556 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 2963 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4035639 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47113] ppid=47090 vsize=19063512 memory=-6000919472673088875 CPUtime=0 cores=1,3
/proc/47093/task/47113/stat : 47113 (Timer-0) S 47090 47093 46182 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50165949 19521036288 4035639 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 3430.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16142556 KiB
[startup+3222.3 s]
/proc/loadavg: 4.57 4.57 4.60 5/340 47408
/proc/meminfo: memFree=76546248/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=19063512 memory=16158972 CPUtime=3502.67 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 626295 0 0 0 349752 515 0 0 20 0 20 0 50165787 19521036288 4039743 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4765878 4039743 5559 1 0 4053583 0
[pid=47093/tid=47095] ppid=47090 vsize=19063512 memory=16142556 CPUtime=3131.69 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) S 47090 47093 46182 0 -1 4194368 396877 0 0 0 312877 292 0 0 20 0 20 0 50165789 19521036288 4039743 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=19063512 memory=17792 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4039743 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=19063512 memory=16158972 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 3115 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4039743 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47113] ppid=47090 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/47093/task/47113/stat : 47113 (Timer-0) S 47090 47093 46182 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50165949 19521036288 4039743 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 3502.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16158972 KiB
[startup+3282.3 s]
/proc/loadavg: 4.66 4.58 4.60 5/340 47410
/proc/meminfo: memFree=76394540/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=19063512 memory=16184316 CPUtime=3575.06 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 641217 0 0 0 356986 520 0 0 20 0 20 0 50165787 19521036288 4046079 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4765878 4046079 5559 1 0 4059848 0
[pid=47093/tid=47095] ppid=47090 vsize=19063512 memory=16183676 CPUtime=3189.79 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 405872 0 0 0 318685 294 0 0 20 0 20 0 50165789 19521036288 4046079 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=19063512 memory=16183676 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4046079 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 3115 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4046079 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47113] ppid=47090 vsize=19063512 memory=16184316 CPUtime=0 cores=1,3
/proc/47093/task/47113/stat : 47113 (Timer-0) S 47090 47093 46182 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50165949 19521036288 4046079 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 3575.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16184316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3307 s]*
/proc/loadavg: 4.56 4.56 4.59 6/340 47479
/proc/meminfo: memFree=90936908/131250000 swapFree=33010684/33010684
[pid=47093] ppid=47090 vsize=19063512 memory=16184316 CPUtime=3600.08 cores=1,3
/proc/47093/stat : 47093 (java) S 47090 47093 46182 0 -1 4194304 643702 0 0 0 359486 522 0 0 20 0 20 0 50165787 19521036288 4046079 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
/proc/47093/statm: 4765878 4046079 5559 1 0 4059848 0
[pid=47093/tid=47095] ppid=47090 vsize=19063512 memory=-6000919489886446955 CPUtime=3214.06 cores=1,3
/proc/47093/task/47095/stat : 47095 (java) R 47090 47093 46182 0 -1 4194368 407946 0 0 0 321112 294 0 0 20 0 20 0 50165789 19521036288 4046079 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47104] ppid=47090 vsize=19063512 memory=-4050210904893341586 CPUtime=0 cores=1,3
/proc/47093/task/47104/stat : 47104 (Finalizer) S 47090 47093 46182 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4046079 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47111] ppid=47090 vsize=19063512 memory=5088 CPUtime=0 cores=1,3
/proc/47093/task/47111/stat : 47111 (Common-Cleaner) S 47090 47093 46182 0 -1 4194368 3115 0 0 0 0 0 0 0 20 0 20 0 50165791 19521036288 4046079 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
[pid=47093/tid=47113] ppid=47090 vsize=19063512 memory=5056 CPUtime=0 cores=1,3
/proc/47093/task/47113/stat : 47113 (Timer-0) S 47090 47093 46182 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50165949 19521036288 4046079 18446744073709551615 94401696661504 94401696665200 140728878674832 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94401696673016 94401696673808 94401709809664 140728878680446 140728878680550 140728878680550 140728878686152 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16184316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3307.14 s]
# the end of solver process 47093 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.97 s, system=5.26514 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3307.11 s]*
/proc/loadavg: 4.56 4.56 4.59 6/322 47482
/proc/meminfo: memFree=95147104/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3307.14
CPU time (s): 3600.24
CPU user time (s): 3594.97
CPU system time (s): 5.26514
CPU usage (%): 108.862
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 16184316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.97
system time used= 5.26514
maximum resident set size= 16185212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 646120
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118249
involuntary context switches= 21646
# summary of solver processes directly reported to runsolver:
# pid: 47093
# total CPU time (s): 3600.24
# total CPU user time (s): 3594.97
# total CPU system time (s): 5.26514
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7222 second user time and 10.7349 second system time
The end