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 (55643 MiB free)
memory of node 1: 64507 MiB (52097 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524768-1751616931/watcher-4524768-1751616931 -o /tmp/evaluation-result-4524768-1751616931/solver-4524768-1751616931 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751613340-97162 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4524768-1751616931.wbo
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
solver pid=97604, runsolver pid=97601
Current StackSize limit: 8192 KiB
[startup+0.100026 s]*
/proc/loadavg: 4.10 4.12 4.07 6/340 97622
/proc/meminfo: memFree=110323308/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=18930384 memory=53280 CPUtime=0.11 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 6454 0 0 0 9 2 0 0 20 0 18 0 77370964 19384713216 13320 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4732596 13320 5369 1 0 547559 0
[pid=97604/tid=97606] ppid=97601 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 4991 0 0 0 6 1 0 0 20 0 18 0 77370965 19384713216 13320 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77370968 19384713216 13320 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=18930384 memory=59585004324181 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77370968 19384713216 13320 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53280 KiB
[startup+0.205833 s]*
/proc/loadavg: 4.17 4.14 4.07 7/340 97622
/proc/meminfo: memFree=110318368/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=18930384 memory=62060 CPUtime=0.3 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 7049 0 0 0 27 3 0 0 20 0 18 0 77370964 19384713216 15515 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4732596 15515 5433 1 0 547944 0
[pid=97604/tid=97606] ppid=97601 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 5353 0 0 0 15 1 0 0 20 0 18 0 77370965 19384713216 15515 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=18930384 memory=18954 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77370968 19384713216 15515 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77370968 19384713216 15515 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62060 KiB
[startup+0.305785 s]*
/proc/loadavg: 4.17 4.14 4.07 8/341 97623
/proc/meminfo: memFree=110309168/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=18996948 memory=71596 CPUtime=0.47 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 7366 0 0 0 44 3 0 0 20 0 19 0 77370964 19452874752 17899 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4749237 17899 5465 1 0 548413 0
[pid=97604/tid=97606] ppid=97601 vsize=18996948 memory=-6000919502855103846 CPUtime=0.25 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 5475 0 0 0 23 2 0 0 20 0 19 0 77370965 19452874752 17899 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77370968 19452874752 17899 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77370968 19452874752 17899 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97623] ppid=97601 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/97604/task/97623/stat : 97623 (java) R 97601 97604 96338 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 19 0 77370994 19452874752 17899 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71596 KiB
[startup+0.700252 s]
/proc/loadavg: 4.17 4.14 4.07 6/341 97623
/proc/meminfo: memFree=110272368/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=19063512 memory=169316 CPUtime=1.22 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 12811 0 0 0 116 6 0 0 20 0 20 0 77370964 19521036288 42329 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4765878 42329 5497 1 0 551266 0
[pid=97604/tid=97606] ppid=97601 vsize=19063512 memory=18944 CPUtime=0.6 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 5575 0 0 0 57 3 0 0 20 0 20 0 77370965 19521036288 42329 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 42329 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 42329 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97623] ppid=97601 vsize=19063512 memory=4756 CPUtime=0 cores=1,3
/proc/97604/task/97623/stat : 97623 (Timer-0) S 97601 97604 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77370994 19521036288 42329 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169316 KiB
[startup+1.50027 s]
/proc/loadavg: 4.17 4.14 4.07 6/342 97624
/proc/meminfo: memFree=110203432/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=19063512 memory=181780 CPUtime=2.8 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 17800 0 0 0 273 7 0 0 20 0 20 0 77370964 19521036288 45445 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4765878 45445 5497 1 0 552149 0
[pid=97604/tid=97606] ppid=97601 vsize=19063512 memory=10752 CPUtime=1.33 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 6106 0 0 0 130 3 0 0 20 0 20 0 77370965 19521036288 45445 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 45445 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 45445 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97623] ppid=97601 vsize=19063512 memory=4756 CPUtime=0 cores=1,3
/proc/97604/task/97623/stat : 97623 (Timer-0) S 97601 97604 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77370994 19521036288 45445 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181780 KiB
[startup+3.10571 s]
/proc/loadavg: 4.17 4.14 4.07 7/342 97624
/proc/meminfo: memFree=109994840/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=19063512 memory=386036 CPUtime=5.97 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 27335 0 0 0 584 13 0 0 20 0 20 0 77370964 19521036288 96509 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4765878 96509 5497 1 0 663742 0
[pid=97604/tid=97606] ppid=97601 vsize=19063512 memory=10752 CPUtime=2.86 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 6651 0 0 0 280 6 0 0 20 0 20 0 77370965 19521036288 96509 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=19063512 memory=-6000919502855103846 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 96509 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 96509 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97623] ppid=97601 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/97604/task/97623/stat : 97623 (Timer-0) S 97601 97604 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77370994 19521036288 96509 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 386036 KiB
[startup+6.30022 s]
/proc/loadavg: 4.16 4.13 4.07 5/342 97624
/proc/meminfo: memFree=109831000/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=19063512 memory=564068 CPUtime=9.55 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 27667 0 0 0 937 18 0 0 20 0 20 0 77370964 19521036288 141017 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4765878 141017 5497 1 0 663745 0
[pid=97604/tid=97606] ppid=97601 vsize=19063512 memory=0 CPUtime=5.98 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 6825 0 0 0 589 9 0 0 20 0 20 0 77370965 19521036288 141017 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 141017 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 141017 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97623] ppid=97601 vsize=19063512 memory=182804 CPUtime=0 cores=1,3
/proc/97604/task/97623/stat : 97623 (Timer-0) S 97601 97604 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77370994 19521036288 141017 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 564068 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.07 5/342 97624
/proc/meminfo: memFree=109256552/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=19063512 memory=1214416 CPUtime=16.33 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 29166 0 0 0 1602 31 0 0 20 0 20 0 77370964 19521036288 303604 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4765878 303604 5497 1 0 960371 0
[pid=97604/tid=97606] ppid=97601 vsize=19063512 memory=182804 CPUtime=12.28 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 7405 0 0 0 1208 20 0 0 20 0 20 0 77370965 19521036288 303604 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 303604 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=19063512 memory=1052508 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 303604 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97623] ppid=97601 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/97604/task/97623/stat : 97623 (Timer-0) S 97601 97604 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77370994 19521036288 303604 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 16.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1214416 KiB
[startup+25.5002 s]
/proc/loadavg: 4.28 4.16 4.08 5/343 97826
/proc/meminfo: memFree=111476008/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=19063512 memory=2464216 CPUtime=33.17 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 55264 0 0 0 3257 60 0 0 20 0 20 0 77370964 19521036288 616054 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4765878 616054 5497 1 0 967112 0
[pid=97604/tid=97606] ppid=97601 vsize=19063512 memory=10752 CPUtime=24.77 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 10690 0 0 0 2438 39 0 0 20 0 20 0 77370965 19521036288 616054 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=19063512 memory=1052508 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 616054 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=19063512 memory=2027864 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 616054 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97623] ppid=97601 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/97604/task/97623/stat : 97623 (Timer-0) S 97601 97604 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77370994 19521036288 616054 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 33.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2464216 KiB
[startup+51.1056 s]
/proc/loadavg: 4.29 4.18 4.09 5/342 97827
/proc/meminfo: memFree=108591048/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=19063512 memory=2533956 CPUtime=59.09 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 63219 0 0 0 5846 63 0 0 20 0 20 0 77370964 19521036288 633489 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4765878 633489 5497 1 0 967130 0
[pid=97604/tid=97606] ppid=97601 vsize=19063512 memory=2533956 CPUtime=49.96 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 12533 0 0 0 4956 40 0 0 20 0 20 0 77370965 19521036288 633489 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=19063512 memory=0 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=113120472/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=19063512 memory=3738772 CPUtime=3227.81 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 149226 0 0 0 322603 178 0 0 20 0 20 0 77370964 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4765878 934693 5497 1 0 967178 0
[pid=97604/tid=97606] ppid=97601 vsize=19063512 memory=3738772 CPUtime=3207.83 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 59401 0 0 0 320735 48 0 0 20 0 20 0 77370965 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=19063512 memory=3738772 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=19063512 memory=3738772 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 1662 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97623] ppid=97601 vsize=19063512 memory=14844 CPUtime=0 cores=1,3
/proc/97604/task/97623/stat : 97623 (Timer-0) S 97601 97604 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77370994 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 3227.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3738772 KiB
[startup+3282.3 s]
/proc/loadavg: 1.36 2.91 3.97 2/266 98103
/proc/meminfo: memFree=113122832/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=19063512 memory=3738772 CPUtime=3287.74 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 149343 0 0 0 328596 178 0 0 20 0 20 0 77370964 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4765878 934693 5497 1 0 967178 0
[pid=97604/tid=97606] ppid=97601 vsize=19063512 memory=3738772 CPUtime=3267.75 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 59442 0 0 0 326727 48 0 0 20 0 20 0 77370965 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=19063512 memory=3738772 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=19063512 memory=3738772 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 1673 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97623] ppid=97601 vsize=19063512 memory=3738772 CPUtime=0 cores=1,3
/proc/97604/task/97623/stat : 97623 (Timer-0) S 97601 97604 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77370994 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 3287.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3738772 KiB
[startup+3342.3 s]
/proc/loadavg: 1.24 2.59 3.79 2/266 98107
/proc/meminfo: memFree=113122832/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=19063512 memory=3738772 CPUtime=3347.68 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 149392 0 0 0 334589 179 0 0 20 0 20 0 77370964 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4765878 934693 5497 1 0 967178 0
[pid=97604/tid=97606] ppid=97601 vsize=19063512 memory=7512641477744303636 CPUtime=3327.67 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 59451 0 0 0 332719 48 0 0 20 0 20 0 77370965 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=19063512 memory=3738772 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=19063512 memory=14844 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 1677 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97623] ppid=97601 vsize=19063512 memory=14844 CPUtime=0 cores=1,3
/proc/97604/task/97623/stat : 97623 (Timer-0) S 97601 97604 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77370994 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 3347.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3738772 KiB
[startup+3402.3 s]
/proc/loadavg: 1.09 2.30 3.62 2/265 98112
/proc/meminfo: memFree=113122848/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=19063512 memory=3738772 CPUtime=3407.63 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 151314 0 0 0 340583 180 0 0 20 0 20 0 77370964 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4765878 934693 5497 1 0 967178 0
[pid=97604/tid=97606] ppid=97601 vsize=19063512 memory=3738772 CPUtime=3387.57 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 61190 0 0 0 338709 48 0 0 20 0 20 0 77370965 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=19063512 memory=18944 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 1677 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97623] ppid=97601 vsize=19063512 memory=-6000919502855103846 CPUtime=0 cores=1,3
/proc/97604/task/97623/stat : 97623 (Timer-0) S 97601 97604 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77370994 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 3407.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3738772 KiB
[startup+3462.3 s]
/proc/loadavg: 1.15 2.09 3.46 2/265 98114
/proc/meminfo: memFree=113123208/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=19063512 memory=3738772 CPUtime=3467.83 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 151481 0 0 0 346601 182 0 0 20 0 20 0 77370964 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4765878 934693 5497 1 0 967178 0
[pid=97604/tid=97606] ppid=97601 vsize=19063512 memory=18944 CPUtime=3446.91 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 61201 0 0 0 344643 48 0 0 20 0 20 0 77370965 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=19063512 memory=18944 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 1691 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97623] ppid=97601 vsize=19063512 memory=3738772 CPUtime=0 cores=1,3
/proc/97604/task/97623/stat : 97623 (Timer-0) S 97601 97604 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77370994 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 3467.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3738772 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 1.91 3.31 2/265 98116
/proc/meminfo: memFree=113123240/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=19063512 memory=3738772 CPUtime=3527.81 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 152941 0 0 0 352598 183 0 0 20 0 20 0 77370964 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4765878 934693 5497 1 0 967178 0
[pid=97604/tid=97606] ppid=97601 vsize=19063512 memory=10112 CPUtime=3506.79 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 62269 0 0 0 350631 48 0 0 20 0 20 0 77370965 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=19063512 memory=14844 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=19063512 memory=18944 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 1691 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97623] ppid=97601 vsize=19063512 memory=14844 CPUtime=0 cores=1,3
/proc/97604/task/97623/stat : 97623 (Timer-0) S 97601 97604 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77370994 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 3527.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3738772 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.75 3.17 2/266 98124
/proc/meminfo: memFree=113128032/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=19063512 memory=3738772 CPUtime=3587.78 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 153101 0 0 0 358595 183 0 0 20 0 20 0 77370964 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4765878 934693 5497 1 0 967178 0
[pid=97604/tid=97606] ppid=97601 vsize=19063512 memory=3738772 CPUtime=3566.67 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 62289 0 0 0 356619 48 0 0 20 0 20 0 77370965 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=19063512 memory=3738772 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 1744 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97623] ppid=97601 vsize=19063512 memory=3738772 CPUtime=0 cores=1,3
/proc/97604/task/97623/stat : 97623 (Timer-0) S 97601 97604 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77370994 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 3587.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3738772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3594.6 s]
/proc/loadavg: 1.07 1.73 3.14 2/266 98126
/proc/meminfo: memFree=113127900/131249996 swapFree=33010684/33010684
[pid=97604] ppid=97601 vsize=19063512 memory=3738772 CPUtime=3600.07 cores=1,3
/proc/97604/stat : 97604 (java) S 97601 97604 96338 0 -1 4194304 153115 0 0 0 359824 183 0 0 20 0 20 0 77370964 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
/proc/97604/statm: 4765878 934693 5497 1 0 967178 0
[pid=97604/tid=97606] ppid=97601 vsize=19063512 memory=-6000919502855103846 CPUtime=3578.94 cores=1,3
/proc/97604/task/97606/stat : 97606 (java) R 97601 97604 96338 0 -1 4194368 62292 0 0 0 357846 48 0 0 20 0 20 0 77370965 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97615] ppid=97601 vsize=19063512 memory=21952 CPUtime=0 cores=1,3
/proc/97604/task/97615/stat : 97615 (Finalizer) S 97601 97604 96338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97622] ppid=97601 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/97604/task/97622/stat : 97622 (Common-Cleaner) S 97601 97604 96338 0 -1 4194368 1744 0 0 0 0 0 0 0 20 0 20 0 77370968 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
[pid=97604/tid=97623] ppid=97601 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/97604/task/97623/stat : 97623 (Timer-0) S 97601 97604 96338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77370994 19521036288 934693 18446744073709551615 94169006227456 94169006231152 140734322240256 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94169006238968 94169006239760 94169017356288 140734322248060 140734322248164 140734322248164 140734322253768 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3738772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3594.67 s]
# the end of solver process 97604 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.36 s, system=1.85165 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3594.67
CPU time (s): 3600.21
CPU user time (s): 3598.36
CPU system time (s): 1.85165
CPU usage (%): 100.154
Max. virtual memory (cumulated for all children) (KiB): 19070368
Max. memory (cumulated for all children) (KiB): 3738772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.36
system time used= 1.85165
maximum resident set size= 3740180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155782
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142338
involuntary context switches= 6133
# summary of solver processes directly reported to runsolver:
# pid: 97604
# total CPU time (s): 3600.21
# total CPU user time (s): 3598.36
# total CPU system time (s): 1.85165
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97325 second user time and 16.7069 second system time
The end