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 (57927 MiB free)
memory of node 1: 64507 MiB (53993 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526631-1751634990/watcher-4526631-1751634990 -o /tmp/evaluation-result-4526631-1751634990/solver-4526631-1751634990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751628369-95906 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4526631-1751634990.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
Current StackSize limit: 8192 KiB
solver pid=96682, runsolver pid=96679
[startup+0.100061 s]*
/proc/loadavg: 5.03 5.17 5.00 6/336 96700
/proc/meminfo: memFree=114576272/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=18930384 memory=53240 CPUtime=0.11 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 6487 0 0 0 9 2 0 0 20 0 18 0 79179269 19384713216 13310 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4732596 13310 5325 1 0 547569 0
[pid=96682/tid=96684] ppid=96679 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 5006 0 0 0 5 1 0 0 20 0 18 0 79179270 19384713216 13310 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79179272 19384713216 13310 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=18930384 memory=59585004340264 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 79179273 19384713216 13310 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53240 KiB
[startup+0.205764 s]*
/proc/loadavg: 5.03 5.17 5.00 8/336 96700
/proc/meminfo: memFree=114568080/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=18930384 memory=64428 CPUtime=0.3 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 7125 0 0 0 27 3 0 0 20 0 18 0 79179269 19384713216 16107 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4732596 16107 5421 1 0 547996 0
[pid=96682/tid=96684] ppid=96679 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 5378 0 0 0 14 2 0 0 20 0 18 0 79179270 19384713216 16107 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=18930384 memory=19950 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79179272 19384713216 16107 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 79179273 19384713216 16107 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64428 KiB
[startup+0.30569 s]*
/proc/loadavg: 5.03 5.17 5.00 7/337 96701
/proc/meminfo: memFree=114563984/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=18996948 memory=69996 CPUtime=0.5 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 7472 0 0 0 46 4 0 0 20 0 19 0 79179269 19452874752 17499 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4749237 17499 5485 1 0 548420 0
[pid=96682/tid=96684] ppid=96679 vsize=18996948 memory=-6000919468377925222 CPUtime=0.23 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 5525 0 0 0 21 2 0 0 20 0 19 0 79179270 19452874752 17499 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79179272 19452874752 17499 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 79179273 19452874752 17499 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96701] ppid=96679 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/96682/task/96701/stat : 96701 (Timer-0) S 96679 96682 95896 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79179292 19452874752 17499 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69996 KiB
[startup+0.700235 s]
/proc/loadavg: 5.03 5.17 5.00 7/337 96701
/proc/meminfo: memFree=114534936/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=18996948 memory=133780 CPUtime=1.26 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 12479 0 0 0 121 5 0 0 20 0 19 0 79179269 19452874752 33445 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4749237 33445 5485 1 0 551979 0
[pid=96682/tid=96684] ppid=96679 vsize=18996948 memory=15232 CPUtime=0.62 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 5567 0 0 0 59 3 0 0 20 0 19 0 79179270 19452874752 33445 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79179272 19452874752 33445 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 79179273 19452874752 33445 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96701] ppid=96679 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/96682/task/96701/stat : 96701 (Timer-0) S 96679 96682 95896 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79179292 19452874752 33445 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 133780 KiB
[startup+1.50024 s]
/proc/loadavg: 5.11 5.18 5.01 7/338 96702
/proc/meminfo: memFree=114459760/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=19063512 memory=181344 CPUtime=2.84 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 18600 0 0 0 278 6 0 0 20 0 20 0 79179269 19521036288 45336 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4765878 45336 5517 1 0 553140 0
[pid=96682/tid=96684] ppid=96679 vsize=19063512 memory=10752 CPUtime=1.36 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 5906 0 0 0 133 3 0 0 20 0 20 0 79179270 19521036288 45336 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79179272 19521036288 45336 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 79179273 19521036288 45336 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96701] ppid=96679 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/96682/task/96701/stat : 96701 (Timer-0) S 96679 96682 95896 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79179292 19521036288 45336 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181344 KiB
[startup+3.10563 s]
/proc/loadavg: 5.11 5.18 5.01 7/338 96702
/proc/meminfo: memFree=114308076/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=19063512 memory=296984 CPUtime=5.86 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 24800 0 0 0 577 9 0 0 20 0 20 0 79179269 19521036288 74246 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4765878 74246 5517 1 0 661439 0
[pid=96682/tid=96684] ppid=96679 vsize=19063512 memory=10752 CPUtime=2.9 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 6391 0 0 0 285 5 0 0 20 0 20 0 79179270 19521036288 74246 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=19063512 memory=-6000919468377925222 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79179272 19521036288 74246 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 79179273 19521036288 74246 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96701] ppid=96679 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/96682/task/96701/stat : 96701 (Timer-0) S 96679 96682 95896 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79179292 19521036288 74246 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 296984 KiB
[startup+6.30021 s]
/proc/loadavg: 5.02 5.16 5.00 5/338 96702
/proc/meminfo: memFree=114032908/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=19063512 memory=538120 CPUtime=9.71 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 25067 0 0 0 956 15 0 0 20 0 20 0 79179269 19521036288 134530 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4765878 134530 5517 1 0 661451 0
[pid=96682/tid=96684] ppid=96679 vsize=19063512 memory=0 CPUtime=6.02 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 6490 0 0 0 594 8 0 0 20 0 20 0 79179270 19521036288 134530 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79179272 19521036288 134530 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 79179273 19521036288 134530 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96701] ppid=96679 vsize=19063512 memory=181472 CPUtime=0 cores=0,2
/proc/96682/task/96701/stat : 96701 (Timer-0) S 96679 96682 95896 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79179292 19521036288 134530 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 9.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 538120 KiB
[startup+12.7002 s]
/proc/loadavg: 5.18 5.19 5.02 7/338 96703
/proc/meminfo: memFree=113934644/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=19063512 memory=687640 CPUtime=16.2 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 27144 0 0 0 1601 19 0 0 20 0 20 0 79179269 19521036288 171910 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4765878 171910 5517 1 0 661452 0
[pid=96682/tid=96684] ppid=96679 vsize=19063512 memory=181472 CPUtime=12.3 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 7380 0 0 0 1221 9 0 0 20 0 20 0 79179270 19521036288 171910 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79179272 19521036288 171910 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=19063512 memory=634388 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 79179273 19521036288 171910 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96701] ppid=96679 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/96682/task/96701/stat : 96701 (Timer-0) S 96679 96682 95896 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79179292 19521036288 171910 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 16.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 687640 KiB
[startup+25.5002 s]
/proc/loadavg: 5.15 5.19 5.01 5/338 96703
/proc/meminfo: memFree=113147204/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=19063512 memory=1425180 CPUtime=29.4 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 34559 0 0 0 2907 33 0 0 20 0 20 0 79179269 19521036288 356295 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4765878 356295 5517 1 0 661472 0
[pid=96682/tid=96684] ppid=96679 vsize=19063512 memory=10752 CPUtime=24.91 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 9214 0 0 0 2472 19 0 0 20 0 20 0 79179270 19521036288 356295 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=19063512 memory=634388 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79179272 19521036288 356295 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 79179273 19521036288 356295 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96701] ppid=96679 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/96682/task/96701/stat : 96701 (Timer-0) S 96679 96682 95896 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79179292 19521036288 356295 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 29.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1425180 KiB
[startup+51.1057 s]
/proc/loadavg: 5.08 5.17 5.01 6/338 96703
/proc/meminfo: memFree=112674156/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=19063512 memory=1802468 CPUtime=55.89 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 36004 0 0 0 5548 41 0 0 20 0 20 0 79179269 19521036288 450617 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4765878 450617 5517 1 0 661474 0
[pid=96682/tid=96684] ppid=96679 vsize=19063512 memory=1802468 CPUtime=49.94 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 9699 0 0 0 4974 20 0 0 20 0 20 0 79179270 19521036288 450617 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=19063512 memory=1759340 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=115337520/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=19063512 memory=3978908 CPUtime=3139.79 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 154473 0 0 0 313493 486 0 0 20 0 20 0 79179269 19521036288 994727 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4765878 994727 5581 1 0 1006165 0
[pid=96682/tid=96684] ppid=96679 vsize=19063512 memory=-6000919468377925222 CPUtime=2703.14 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 62589 0 0 0 270234 80 0 0 20 0 20 0 79179270 19521036288 994727 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=19063512 memory=3953900 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79179272 19521036288 994727 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=19063512 memory=3978908 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 1351 0 0 0 0 0 0 0 20 0 20 0 79179273 19521036288 994727 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96701] ppid=96679 vsize=19063512 memory=3978908 CPUtime=0 cores=0,2
/proc/96682/task/96701/stat : 96701 (Timer-0) S 96679 96682 95896 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79179292 19521036288 994727 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 3139.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3978908 KiB
[startup+2802.3 s]
/proc/loadavg: 4.31 4.35 4.36 5/341 97048
/proc/meminfo: memFree=115329240/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=19063512 memory=3978908 CPUtime=3209.8 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 157049 0 0 0 320486 494 0 0 20 0 20 0 79179269 19521036288 994727 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4765878 994727 5581 1 0 1006165 0
[pid=96682/tid=96684] ppid=96679 vsize=19063512 memory=3978908 CPUtime=2762.57 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 64877 0 0 0 276176 81 0 0 20 0 20 0 79179270 19521036288 994727 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=19063512 memory=3978908 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79179272 19521036288 994727 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=19063512 memory=3978908 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 1351 0 0 0 0 0 0 0 20 0 20 0 79179273 19521036288 994727 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96701] ppid=96679 vsize=19063512 memory=3978908 CPUtime=0 cores=0,2
/proc/96682/task/96701/stat : 96701 (Timer-0) S 96679 96682 95896 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79179292 19521036288 994727 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 3209.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3978908 KiB
[startup+2862.3 s]
/proc/loadavg: 4.33 4.35 4.36 6/341 97050
/proc/meminfo: memFree=115309672/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=19063512 memory=3995696 CPUtime=3279.8 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 160113 0 0 0 327475 505 0 0 20 0 20 0 79179269 19521036288 998924 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4765878 998924 5581 1 0 1010341 0
[pid=96682/tid=96684] ppid=96679 vsize=19063512 memory=15232 CPUtime=2822.04 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 66733 0 0 0 282121 83 0 0 20 0 20 0 79179270 19521036288 998924 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=19063512 memory=3978908 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79179272 19521036288 998924 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=19063512 memory=3995696 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 1384 0 0 0 0 0 0 0 20 0 20 0 79179273 19521036288 998924 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96701] ppid=96679 vsize=19063512 memory=3995696 CPUtime=0 cores=0,2
/proc/96682/task/96701/stat : 96701 (Timer-0) S 96679 96682 95896 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79179292 19521036288 998924 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 3279.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3995696 KiB
[startup+2922.3 s]
/proc/loadavg: 4.25 4.33 4.35 5/342 97053
/proc/meminfo: memFree=115284720/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=19063512 memory=4012368 CPUtime=3346.48 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 162367 0 0 0 334134 514 0 0 20 0 20 0 79179269 19521036288 1003092 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4765878 1003092 5581 1 0 1014519 0
[pid=96682/tid=96684] ppid=96679 vsize=19063512 memory=3978908 CPUtime=2881.59 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 67537 0 0 0 288075 84 0 0 20 0 20 0 79179270 19521036288 1003092 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79179272 19521036288 1003092 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=19063512 memory=4012368 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 1437 0 0 0 0 0 0 0 20 0 20 0 79179273 19521036288 1003092 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96701] ppid=96679 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/96682/task/96701/stat : 96701 (Timer-0) S 96679 96682 95896 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79179292 19521036288 1003092 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 3346.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4012368 KiB
[startup+2982.3 s]
/proc/loadavg: 4.24 4.31 4.35 5/342 97055
/proc/meminfo: memFree=115235336/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=19063512 memory=4054244 CPUtime=3416.59 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 163994 0 0 0 341134 525 0 0 20 0 20 0 79179269 19521036288 1013561 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4765878 1013561 5581 1 0 1025000 0
[pid=96682/tid=96684] ppid=96679 vsize=19063512 memory=5632 CPUtime=2940.98 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 68877 0 0 0 294013 85 0 0 20 0 20 0 79179270 19521036288 1013561 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79179272 19521036288 1013561 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 1437 0 0 0 0 0 0 0 20 0 20 0 79179273 19521036288 1013561 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96701] ppid=96679 vsize=19063512 memory=4054244 CPUtime=0 cores=0,2
/proc/96682/task/96701/stat : 96701 (Timer-0) S 96679 96682 95896 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79179292 19521036288 1013561 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 3416.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4054244 KiB
[startup+3042.3 s]
/proc/loadavg: 4.30 4.32 4.35 5/342 97057
/proc/meminfo: memFree=115213708/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=19063512 memory=4062580 CPUtime=3486.75 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 168053 0 0 0 348138 537 0 0 20 0 20 0 79179269 19521036288 1015645 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4765878 1015645 5581 1 0 1027090 0
[pid=96682/tid=96684] ppid=96679 vsize=19063512 memory=4054244 CPUtime=3000.31 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 71432 0 0 0 299945 86 0 0 20 0 20 0 79179270 19521036288 1015645 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79179272 19521036288 1015645 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=19063512 memory=4062580 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 1514 0 0 0 0 0 0 0 20 0 20 0 79179273 19521036288 1015645 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96701] ppid=96679 vsize=19063512 memory=4062580 CPUtime=0 cores=0,2
/proc/96682/task/96701/stat : 96701 (Timer-0) S 96679 96682 95896 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79179292 19521036288 1015645 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 3486.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4062580 KiB
[startup+3102.3 s]
/proc/loadavg: 4.31 4.32 4.35 6/342 97065
/proc/meminfo: memFree=115101144/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=19063512 memory=4162628 CPUtime=3557.69 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 171291 0 0 0 355219 550 0 0 20 0 20 0 79179269 19521036288 1040657 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4765878 1040657 5581 1 0 1052152 0
[pid=96682/tid=96684] ppid=96679 vsize=19063512 memory=14720 CPUtime=3059.49 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 72853 0 0 0 305860 89 0 0 20 0 20 0 79179270 19521036288 1040657 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79179272 19521036288 1040657 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 1587 0 0 0 0 0 0 0 20 0 20 0 79179273 19521036288 1040657 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96701] ppid=96679 vsize=19063512 memory=4162628 CPUtime=0 cores=0,2
/proc/96682/task/96701/stat : 96701 (Timer-0) S 96679 96682 95896 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79179292 19521036288 1040657 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 3557.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4162628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3138 s]*
/proc/loadavg: 4.30 4.31 4.35 5/341 97066
/proc/meminfo: memFree=115072504/131250000 swapFree=33008100/33010684
[pid=96682] ppid=96679 vsize=19063512 memory=4187636 CPUtime=3600.05 cores=0,2
/proc/96682/stat : 96682 (java) S 96679 96682 95896 0 -1 4194304 171473 0 0 0 359449 556 0 0 20 0 20 0 79179269 19521036288 1046909 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
/proc/96682/statm: 4765878 1046909 5581 1 0 1058420 0
[pid=96682/tid=96684] ppid=96679 vsize=19063512 memory=-6000919506998945382 CPUtime=3094.68 cores=0,2
/proc/96682/task/96684/stat : 96684 (java) R 96679 96682 95896 0 -1 4194368 72908 0 0 0 309379 89 0 0 20 0 20 0 79179270 19521036288 1046909 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96693] ppid=96679 vsize=19063512 memory=7681912094868806789 CPUtime=0 cores=0,2
/proc/96682/task/96693/stat : 96693 (Finalizer) S 96679 96682 95896 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79179272 19521036288 1046909 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96700] ppid=96679 vsize=19063512 memory=3904683777682929605 CPUtime=0 cores=0,2
/proc/96682/task/96700/stat : 96700 (Common-Cleaner) S 96679 96682 95896 0 -1 4194368 1587 0 0 0 0 0 0 0 20 0 20 0 79179273 19521036288 1046909 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
[pid=96682/tid=96701] ppid=96679 vsize=19063512 memory=-6000919468377925222 CPUtime=0 cores=0,2
/proc/96682/task/96701/stat : 96701 (Timer-0) S 96679 96682 95896 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79179292 19521036288 1046909 18446744073709551615 94552122413056 94552122416752 140730795987648 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94552122424568 94552122425360 94552129249280 140730795993468 140730795993572 140730795993572 140730795999176 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4187636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3138.09 s]
# the end of solver process 96682 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.62 s, system=5.5823 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3138.09
CPU time (s): 3600.21
CPU user time (s): 3594.62
CPU system time (s): 5.5823
CPU usage (%): 114.726
Max. virtual memory (cumulated for all children) (KiB): 19069456
Max. memory (cumulated for all children) (KiB): 4187636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.62
system time used= 5.5823
maximum resident set size= 4188276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172907
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128528
involuntary context switches= 30164
# summary of solver processes directly reported to runsolver:
# pid: 96682
# total CPU time (s): 3600.21
# total CPU user time (s): 3594.62
# total CPU system time (s): 5.5823
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31964 second user time and 15.3545 second system time
The end