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: 63665 MiB (62302 MiB free)
memory of node 1: 64507 MiB (63663 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524840-1751618077/watcher-4524840-1751618077 -o /tmp/evaluation-result-4524840-1751618077/solver-4524840-1751618077 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751618077-96281 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4524840-1751618077.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=96323, runsolver pid=96314
Current StackSize limit: 8192 KiB
[startup+0.100074 s]*
/proc/loadavg: 1.12 1.11 1.37 12/332 96408
/proc/meminfo: memFree=128897964/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=18930384 memory=55356 CPUtime=0.12 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 6490 0 0 0 10 2 0 0 20 0 18 0 77485598 19384713216 13839 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4732596 13839 5340 1 0 547572 0
[pid=96323/tid=96327] ppid=96314 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 4999 0 0 0 6 1 0 0 20 0 18 0 77485600 19384713216 13839 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=18930384 memory=16163 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77485602 19384713216 13839 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77485603 19384713216 13839 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55356 KiB
[startup+0.205735 s]*
/proc/loadavg: 1.12 1.11 1.37 12/332 96408
/proc/meminfo: memFree=128867080/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=18930384 memory=62492 CPUtime=0.3 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 7169 0 0 0 28 2 0 0 20 0 18 0 77485598 19384713216 15623 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4732596 15623 5436 1 0 548015 0
[pid=96323/tid=96327] ppid=96314 vsize=18930384 memory=4026794268 CPUtime=0.15 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) S 96314 96323 95274 0 -1 4194368 5403 0 0 0 14 1 0 0 20 0 18 0 77485600 19384713216 15623 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=18930384 memory=16163 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77485602 19384713216 15623 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77485603 19384713216 15623 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62492 KiB
[startup+0.30654 s]*
/proc/loadavg: 1.12 1.11 1.37 11/336 96412
/proc/meminfo: memFree=128843324/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=18996948 memory=74380 CPUtime=0.49 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 7946 0 0 0 46 3 0 0 20 0 19 0 77485598 19452874752 18595 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4749237 18595 5468 1 0 548714 0
[pid=96323/tid=96327] ppid=96314 vsize=18996948 memory=-6000919472740197990 CPUtime=0.25 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 5497 0 0 0 23 2 0 0 20 0 19 0 77485600 19452874752 18595 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77485602 19452874752 18595 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77485603 19452874752 18595 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96409] ppid=96314 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/96323/task/96409/stat : 96409 (Timer-0) S 96314 96323 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77485620 19452874752 18595 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74380 KiB
[startup+0.700232 s]
/proc/loadavg: 1.12 1.11 1.37 9/336 96412
/proc/meminfo: memFree=128672680/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=19063512 memory=166292 CPUtime=1.25 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 13115 0 0 0 120 5 0 0 20 0 20 0 77485598 19521036288 41573 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4765878 41573 5500 1 0 551085 0
[pid=96323/tid=96327] ppid=96314 vsize=19063512 memory=18816 CPUtime=0.62 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 5541 0 0 0 59 3 0 0 20 0 20 0 77485600 19521036288 41573 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485602 19521036288 41573 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77485603 19521036288 41573 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96409] ppid=96314 vsize=19063512 memory=3104 CPUtime=0 cores=0,2
/proc/96323/task/96409/stat : 96409 (Timer-0) S 96314 96323 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485620 19521036288 41573 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166292 KiB
[startup+1.50024 s]
/proc/loadavg: 1.12 1.11 1.37 10/340 96416
/proc/meminfo: memFree=128448696/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=19063512 memory=256952 CPUtime=2.8 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 16512 0 0 0 273 7 0 0 20 0 20 0 77485598 19521036288 64238 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4765878 64238 5500 1 0 553090 0
[pid=96323/tid=96327] ppid=96314 vsize=19063512 memory=10496 CPUtime=1.35 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 5579 0 0 0 130 5 0 0 20 0 20 0 77485600 19521036288 64238 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485602 19521036288 64238 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77485603 19521036288 64238 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96409] ppid=96314 vsize=19063512 memory=3104 CPUtime=0 cores=0,2
/proc/96323/task/96409/stat : 96409 (Timer-0) S 96314 96323 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485620 19521036288 64238 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 256952 KiB
[startup+3.10577 s]
/proc/loadavg: 1.12 1.11 1.37 7/340 96416
/proc/meminfo: memFree=126521296/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=19063512 memory=713996 CPUtime=5.83 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 25057 0 0 0 565 18 0 0 20 0 20 0 77485598 19521036288 178499 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4765878 178499 5500 1 0 877942 0
[pid=96323/tid=96327] ppid=96314 vsize=19063512 memory=348152 CPUtime=2.84 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 5787 0 0 0 272 12 0 0 20 0 20 0 77485600 19521036288 178499 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485602 19521036288 178499 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77485603 19521036288 178499 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96409] ppid=96314 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/96323/task/96409/stat : 96409 (Timer-0) S 96314 96323 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485620 19521036288 178499 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 713996 KiB
[startup+6.30021 s]
/proc/loadavg: 1.43 1.18 1.39 5/340 96416
/proc/meminfo: memFree=123760588/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=19063512 memory=1349408 CPUtime=9.98 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 27238 0 0 0 968 30 0 0 20 0 20 0 77485598 19521036288 337352 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4765878 337352 5500 1 0 877952 0
[pid=96323/tid=96327] ppid=96314 vsize=19063512 memory=0 CPUtime=5.97 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 6860 0 0 0 575 22 0 0 20 0 20 0 77485600 19521036288 337352 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485602 19521036288 337352 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77485603 19521036288 337352 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96409] ppid=96314 vsize=19063512 memory=16360 CPUtime=0 cores=0,2
/proc/96323/task/96409/stat : 96409 (Timer-0) S 96314 96323 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485620 19521036288 337352 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 9.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1349408 KiB
[startup+12.7002 s]
/proc/loadavg: 1.64 1.23 1.40 6/340 96482
/proc/meminfo: memFree=122246808/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=19063512 memory=2167660 CPUtime=16.5 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 31833 0 0 0 1603 47 0 0 20 0 20 0 77485598 19521036288 541915 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4765878 541915 5500 1 0 877958 0
[pid=96323/tid=96327] ppid=96314 vsize=19063512 memory=2167660 CPUtime=12.23 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 8539 0 0 0 1186 37 0 0 20 0 20 0 77485600 19521036288 541915 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=19063512 memory=2153296 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485602 19521036288 541915 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=19063512 memory=18816 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77485603 19521036288 541915 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96409] ppid=96314 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/96323/task/96409/stat : 96409 (Timer-0) S 96314 96323 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485620 19521036288 541915 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 16.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167660 KiB
[startup+25.5003 s]
/proc/loadavg: 2.16 1.36 1.45 5/340 96482
/proc/meminfo: memFree=120086036/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=19063512 memory=2208744 CPUtime=29.44 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 36018 0 0 0 2896 48 0 0 20 0 20 0 77485598 19521036288 552186 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4765878 552186 5500 1 0 877958 0
[pid=96323/tid=96327] ppid=96314 vsize=19063512 memory=2167660 CPUtime=24.69 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 9757 0 0 0 2432 37 0 0 20 0 20 0 77485600 19521036288 552186 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485602 19521036288 552186 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=19063512 memory=2190272 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77485603 19521036288 552186 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96409] ppid=96314 vsize=19063512 memory=-6000919489953621606 CPUtime=0 cores=0,2
/proc/96323/task/96409/stat : 96409 (Timer-0) S 96314 96323 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485620 19521036288 552186 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 29.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2208744 KiB
[startup+51.1057 s]
/proc/loadavg: 3.26 1.69 1.55 5/340 96483
/proc/meminfo: memFree=119630680/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=19063512 memory=2305240 CPUtime=55.22 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 42476 0 0 0 5470 52 0 0 20 0 20 0 77485598 19521036288 576310 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4765878 576310 5500 1 0 877958 0
[pid=96323/tid=96327] ppid=96314 vsize=19063512 memory=2305240 CPUtime=49.85 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 12880 0 0 0 4948 37 0 0 20 0 20 0 77485600 19521036288 576310 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=19063512 memory=2290864 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=112533840/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=19063512 memory=5384784 CPUtime=3273.93 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 171809 0 0 0 326769 624 0 0 20 0 20 0 77485598 19521036288 1346196 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4765878 1346196 5500 1 0 1358525 0
[pid=96323/tid=96327] ppid=96314 vsize=19063512 memory=5359772 CPUtime=3013.49 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 59040 0 0 0 301264 85 0 0 20 0 20 0 77485600 19521036288 1346196 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=19063512 memory=16360 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485602 19521036288 1346196 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=19063512 memory=4740 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 951 0 0 0 0 0 0 0 20 0 20 0 77485603 19521036288 1346196 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96409] ppid=96314 vsize=19063512 memory=16360 CPUtime=0 cores=0,2
/proc/96323/task/96409/stat : 96409 (Timer-0) S 96314 96323 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485620 19521036288 1346196 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5384784 KiB
[startup+3102.31 s]
/proc/loadavg: 4.27 4.33 4.22 5/339 96659
/proc/meminfo: memFree=112408456/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=19063512 memory=5384784 CPUtime=3335.47 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 175057 0 0 0 332918 629 0 0 20 0 20 0 77485598 19521036288 1346196 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4765878 1346196 5500 1 0 1358525 0
[pid=96323/tid=96327] ppid=96314 vsize=19063512 memory=5334652 CPUtime=3073.21 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 60290 0 0 0 307236 85 0 0 20 0 20 0 77485600 19521036288 1346196 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=19063512 memory=5384784 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485602 19521036288 1346196 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 989 0 0 0 0 0 0 0 20 0 20 0 77485603 19521036288 1346196 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96409] ppid=96314 vsize=19063512 memory=16360 CPUtime=0 cores=0,2
/proc/96323/task/96409/stat : 96409 (Timer-0) S 96314 96323 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485620 19521036288 1346196 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 3335.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5384784 KiB
[startup+3162.3 s]
/proc/loadavg: 4.30 4.33 4.22 6/339 96661
/proc/meminfo: memFree=112275196/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=19063512 memory=5418160 CPUtime=3398.25 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 179091 0 0 0 339189 636 0 0 20 0 20 0 77485598 19521036288 1354540 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4765878 1354540 5500 1 0 1366882 0
[pid=96323/tid=96327] ppid=96314 vsize=19063512 memory=5334652 CPUtime=3132.81 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 61805 0 0 0 313196 85 0 0 20 0 20 0 77485600 19521036288 1354540 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=19063512 memory=5384784 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485602 19521036288 1354540 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=19063512 memory=5418160 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 989 0 0 0 0 0 0 0 20 0 20 0 77485603 19521036288 1354540 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96409] ppid=96314 vsize=19063512 memory=16360 CPUtime=0 cores=0,2
/proc/96323/task/96409/stat : 96409 (Timer-0) S 96314 96323 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485620 19521036288 1354540 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 3398.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5418160 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.31 4.22 5/339 96663
/proc/meminfo: memFree=112266708/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=19063512 memory=5418160 CPUtime=3458.75 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 182216 0 0 0 345237 638 0 0 20 0 20 0 77485598 19521036288 1354540 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4765878 1354540 5500 1 0 1366882 0
[pid=96323/tid=96327] ppid=96314 vsize=19063512 memory=5384784 CPUtime=3192.62 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 62306 0 0 0 319177 85 0 0 20 0 20 0 77485600 19521036288 1354540 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=19063512 memory=5418160 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485602 19521036288 1354540 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=19063512 memory=5418160 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 1027 0 0 0 0 0 0 0 20 0 20 0 77485603 19521036288 1354540 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96409] ppid=96314 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/96323/task/96409/stat : 96409 (Timer-0) S 96314 96323 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485620 19521036288 1354540 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 3458.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5418160 KiB
[startup+3282.3 s]
/proc/loadavg: 4.41 4.35 4.24 6/339 96665
/proc/meminfo: memFree=112213440/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=19063512 memory=5426500 CPUtime=3522.59 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 185048 0 0 0 351610 649 0 0 20 0 20 0 77485598 19521036288 1356625 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4765878 1356625 5500 1 0 1368970 0
[pid=96323/tid=96327] ppid=96314 vsize=19063512 memory=5418160 CPUtime=3252.28 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 63650 0 0 0 325142 86 0 0 20 0 20 0 77485600 19521036288 1356625 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=19063512 memory=5418160 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485602 19521036288 1356625 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=19063512 memory=5418160 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 1050 0 0 0 0 0 0 0 20 0 20 0 77485603 19521036288 1356625 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96409] ppid=96314 vsize=19063512 memory=5418160 CPUtime=0 cores=0,2
/proc/96323/task/96409/stat : 96409 (Timer-0) S 96314 96323 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485620 19521036288 1356625 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 3522.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5426500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.34 4.25 5/339 96667
/proc/meminfo: memFree=112025648/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=19063512 memory=5553176 CPUtime=3590.1 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 186298 0 0 0 358341 669 0 0 20 0 20 0 77485598 19521036288 1388294 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4765878 1388294 5500 1 0 1400299 0
[pid=96323/tid=96327] ppid=96314 vsize=19063512 memory=5526764 CPUtime=3311.59 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 63978 0 0 0 331071 88 0 0 20 0 20 0 77485600 19521036288 1388294 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485602 19521036288 1388294 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=19063512 memory=5544852 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 1051 0 0 0 0 0 0 0 20 0 20 0 77485603 19521036288 1388294 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96409] ppid=96314 vsize=19063512 memory=16360 CPUtime=0 cores=0,2
/proc/96323/task/96409/stat : 96409 (Timer-0) S 96314 96323 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485620 19521036288 1388294 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 3590.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5553176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3350.9 s]
/proc/loadavg: 4.42 4.36 4.25 5/339 96667
/proc/meminfo: memFree=112009288/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=19063512 memory=5569848 CPUtime=3600.07 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 186795 0 0 0 359335 672 0 0 20 0 20 0 77485598 19521036288 1392462 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4765878 1392462 5500 1 0 1404479 0
[pid=96323/tid=96327] ppid=96314 vsize=19063512 memory=5526764 CPUtime=3320.07 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 64121 0 0 0 331919 88 0 0 20 0 20 0 77485600 19521036288 1392462 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485602 19521036288 1392462 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=19063512 memory=5544596 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 1051 0 0 0 0 0 0 0 20 0 20 0 77485603 19521036288 1392462 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96409] ppid=96314 vsize=19063512 memory=5528172 CPUtime=0 cores=0,2
/proc/96323/task/96409/stat : 96409 (Timer-0) S 96314 96323 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485620 19521036288 1392462 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5569848 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3350.98 s]
# the end of solver process 96323 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593.46 s, system=6.74808 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3350.9 s]
/proc/loadavg: 4.42 4.36 4.25 5/339 96667
/proc/meminfo: memFree=112009288/131250000 swapFree=33010416/33010684
[pid=96323] ppid=96314 vsize=19063512 memory=5569848 CPUtime=3600.07 cores=0,2
/proc/96323/stat : 96323 (java) S 96314 96323 95274 0 -1 4194304 186795 0 0 0 359335 672 0 0 20 0 20 0 77485598 19521036288 1392462 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
/proc/96323/statm: 4765878 1392462 5500 1 0 1404479 0
[pid=96323/tid=96327] ppid=96314 vsize=19063512 memory=5526764 CPUtime=3320.07 cores=0,2
/proc/96323/task/96327/stat : 96327 (java) R 96314 96323 95274 0 -1 4194368 64121 0 0 0 331919 88 0 0 20 0 20 0 77485600 19521036288 1392462 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96346] ppid=96314 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/96323/task/96346/stat : 96346 (Finalizer) S 96314 96323 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485602 19521036288 1392462 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96353] ppid=96314 vsize=19063512 memory=5544596 CPUtime=0 cores=0,2
/proc/96323/task/96353/stat : 96353 (Common-Cleaner) S 96314 96323 95274 0 -1 4194368 1051 0 0 0 0 0 0 0 20 0 20 0 77485603 19521036288 1392462 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
[pid=96323/tid=96409] ppid=96314 vsize=19063512 memory=5528172 CPUtime=0 cores=0,2
/proc/96323/task/96409/stat : 96409 (Timer-0) S 96314 96323 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485620 19521036288 1392462 18446744073709551615 94770316550144 94770316553840 140734185765280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94770316561656 94770316562448 94770317332480 140734185769340 140734185769444 140734185769444 140734185775048 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5569848 KiB
Child status: 143
Real time (s): 3350.98
CPU time (s): 3600.21
CPU user time (s): 3593.46
CPU system time (s): 6.74808
CPU usage (%): 107.438
Max. virtual memory (cumulated for all children) (KiB): 19068236
Max. memory (cumulated for all children) (KiB): 5569848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.46
system time used= 6.74808
maximum resident set size= 5570872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188366
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 224899
involuntary context switches= 43516
# summary of solver processes directly reported to runsolver:
# pid: 96323
# total CPU time (s): 3600.21
# total CPU user time (s): 3593.46
# total CPU system time (s): 6.74808
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.37669 second user time and 16.0549 second system time
The end