runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (56839 MiB free)
memory of node 1: 64507 MiB (55369 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526685-1751636407/watcher-4526685-1751636407 -o /tmp/evaluation-result-4526685-1751636407/solver-4526685-1751636407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751630095-88495 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4526685-1751636407.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
Current StackSize limit: 8192 KiB
solver pid=90719, runsolver pid=90716
[startup+0.100074 s]*
/proc/loadavg: 4.62 4.53 4.57 7/329 90737
/proc/meminfo: memFree=114886140/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=18930384 memory=48276 CPUtime=0.11 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 5743 0 0 0 8 3 0 0 20 0 18 0 79320149 19384713216 12069 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4732596 12069 5335 1 0 546955 0
[pid=90719/tid=90721] ppid=90716 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 4637 0 0 0 4 2 0 0 20 0 18 0 79320151 19384713216 12069 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79320155 19384713216 12069 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=18930384 memory=58494082626307 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 79320156 19384713216 12069 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48276 KiB
[startup+0.213968 s]*
/proc/loadavg: 4.62 4.53 4.57 6/329 90737
/proc/meminfo: memFree=114885384/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=18930384 memory=51092 CPUtime=0.26 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 6427 0 0 0 22 4 0 0 20 0 18 0 79320149 19384713216 12773 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4732596 12773 5367 1 0 547525 0
[pid=90719/tid=90721] ppid=90716 vsize=18930384 memory=4026794268 CPUtime=0.15 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) S 90716 90719 88483 0 -1 4194368 4984 0 0 0 13 2 0 0 20 0 18 0 79320151 19384713216 12773 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=18930384 memory=12896 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79320155 19384713216 12773 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 79320156 19384713216 12773 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51092 KiB
[startup+0.313768 s]*
/proc/loadavg: 4.62 4.53 4.57 7/329 90737
/proc/meminfo: memFree=114880280/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=18930384 memory=58952 CPUtime=0.42 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 6809 0 0 0 38 4 0 0 20 0 18 0 79320149 19384713216 14738 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4732596 14738 5431 1 0 547837 0
[pid=90719/tid=90721] ppid=90716 vsize=18930384 memory=-6000919481363426406 CPUtime=0.25 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 5241 0 0 0 22 3 0 0 20 0 18 0 79320151 19384713216 14770 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79320155 19384713216 14770 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 79320156 19384713216 14770 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58952 KiB
[startup+0.700322 s]
/proc/loadavg: 4.62 4.53 4.57 8/329 90737
/proc/meminfo: memFree=114846764/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=18930384 memory=121784 CPUtime=1.13 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 8613 0 0 0 107 6 0 0 20 0 18 0 79320149 19384713216 30446 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4732596 30446 5431 1 0 548977 0
[pid=90719/tid=90721] ppid=90716 vsize=18930384 memory=18560 CPUtime=0.58 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 5392 0 0 0 54 4 0 0 20 0 18 0 79320151 19384713216 30446 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=18930384 memory=11136 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79320155 19384713216 30446 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=18930384 memory=3200 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 79320156 19384713216 30446 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 121784 KiB
[startup+1.50029 s]
/proc/loadavg: 4.62 4.53 4.57 6/330 90738
/proc/meminfo: memFree=114764656/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=18996948 memory=243676 CPUtime=2.68 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 14529 0 0 0 257 11 0 0 20 0 19 0 79320149 19452874752 60919 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4749237 60919 5463 1 0 552736 0
[pid=90719/tid=90721] ppid=90716 vsize=18996948 memory=3200 CPUtime=1.17 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 5425 0 0 0 111 6 0 0 20 0 19 0 79320151 19452874752 60919 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79320155 19452874752 60919 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 79320156 19452874752 60919 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 243676 KiB
[startup+3.10594 s]
/proc/loadavg: 4.65 4.53 4.58 6/330 90738
/proc/meminfo: memFree=114099660/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=18996948 memory=881576 CPUtime=4.82 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 16613 0 0 0 457 25 0 0 20 0 19 0 79320149 19452874752 220394 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4749237 220394 5463 1 0 2311578 0
[pid=90719/tid=90721] ppid=90716 vsize=18996948 memory=11136 CPUtime=2.4 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 5618 0 0 0 226 14 0 0 20 0 19 0 79320151 19452874752 220394 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79320155 19452874752 220394 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=18996948 memory=5760 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 79320156 19452874752 220394 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 4.82 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 881576 KiB
[startup+6.30033 s]
/proc/loadavg: 4.65 4.53 4.58 8/331 90739
/proc/meminfo: memFree=113284872/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=19130076 memory=1654236 CPUtime=9.51 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 18152 0 0 0 909 42 0 0 20 0 21 0 79320149 19589197824 413559 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4782519 413559 5495 1 0 2312828 0
[pid=90719/tid=90721] ppid=90716 vsize=19130076 memory=5760 CPUtime=4.85 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 6623 0 0 0 462 23 0 0 20 0 21 0 79320151 19589197824 413559 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=19130076 memory=0 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79320155 19589197824 413559 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=19130076 memory=-6000919481363426406 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 21 0 79320156 19589197824 413559 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 9.51 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1654236 KiB
[startup+12.7005 s]
/proc/loadavg: 4.68 4.54 4.58 5/332 90740
/proc/meminfo: memFree=111684488/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=19130076 memory=3246428 CPUtime=17.4 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 20049 0 0 0 1664 76 0 0 20 0 21 0 79320149 19589197824 811607 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4782519 811607 5527 1 0 2830911 0
[pid=90719/tid=90721] ppid=90716 vsize=19130076 memory=3246428 CPUtime=10.84 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 7497 0 0 0 1030 54 0 0 20 0 21 0 79320151 19589197824 811607 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=19130076 memory=0 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79320155 19589197824 811607 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=19130076 memory=5760 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 21 0 79320156 19589197824 811607 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90740] ppid=90716 vsize=19130076 memory=922536 CPUtime=0 cores=1,3
/proc/90719/task/90740/stat : 90740 (Timer-0) S 90716 90719 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79320750 19589197824 811607 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 17.4 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3246428 KiB
[startup+25.5005 s]
/proc/loadavg: 4.67 4.55 4.58 5/333 90742
/proc/meminfo: memFree=111443848/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=19130076 memory=3572536 CPUtime=31.51 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 27080 0 0 0 3066 85 0 0 20 0 21 0 79320149 19589197824 893134 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4782519 893134 5527 1 0 2830986 0
[pid=90719/tid=90721] ppid=90716 vsize=19130076 memory=0 CPUtime=23.11 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) S 90716 90719 88483 0 -1 4194368 9204 0 0 0 2254 57 0 0 20 0 21 0 79320151 19589197824 893134 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=19130076 memory=-6000919481363426406 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79320155 19589197824 893134 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=19130076 memory=3486380 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 21 0 79320156 19589197824 893134 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90740] ppid=90716 vsize=19130076 memory=3486380 CPUtime=0 cores=1,3
/proc/90719/task/90740/stat : 90740 (Timer-0) S 90716 90719 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79320750 19589197824 893134 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 31.51 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3572536 KiB
[startup+51.1138 s]
/proc/loadavg: 4.58 4.54 4.57 5/333 90742
/proc/meminfo: memFree=111121052/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=19130076 memory=3700164 CPUtime=59.34 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 28831 0 0 0 5843 91 0 0 20 0 21 0 79320149 19589197824 925041 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4782519 925041 5527 1 0 2831090 0
[pid=90719/tid=90721] ppid=90716 vsize=19130076 memory=3691716 CPUtime=47.93 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 9599 0 0 0 4734 59 0 0 20 0 21 0 79320151 19589197824 925041 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=19130076 memory=3700164 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79320155 19589197824 925041 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=19130076 memory=3700164 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 21 0 79320156 19589197824 925041 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90740] ppid=90716 vsize=19130076 memory=3700164 CPUtime=0 cores=1,3
/proc/90719/task/90740/stat : 90740 (Timer-0) S 90716 90719 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79320750 19589197824 925041 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 59.34 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3700164 KiB
[startup+102.3 s]
################
# More data... #
################
/proc/meminfo: memFree=123997296/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=19130076 memory=3812920 CPUtime=3285.04 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 48879 0 0 0 328143 361 0 0 20 0 21 0 79320149 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4782519 953230 5527 1 0 2831106 0
[pid=90719/tid=90721] ppid=90716 vsize=19130076 memory=14304 CPUtime=3267.04 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 13825 0 0 0 326636 68 0 0 20 0 21 0 79320151 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=19130076 memory=3812920 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79320155 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=19130076 memory=-6000919481363426406 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 2333 0 0 0 0 0 0 0 20 0 21 0 79320156 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90740] ppid=90716 vsize=19130076 memory=3812920 CPUtime=0 cores=1,3
/proc/90719/task/90740/stat : 90740 (Timer-0) S 90716 90719 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79320750 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 3285.04 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3812920 KiB
[startup+3342.3 s]
/proc/loadavg: 1.37 1.90 2.32 2/252 91011
/proc/meminfo: memFree=123995920/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=19130076 memory=3812920 CPUtime=3344.85 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 48920 0 0 0 334119 366 0 0 20 0 21 0 79320149 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4782519 953230 5527 1 0 2831106 0
[pid=90719/tid=90721] ppid=90716 vsize=19130076 memory=-6000919481363426406 CPUtime=3326.77 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 13826 0 0 0 332609 68 0 0 20 0 21 0 79320151 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=19130076 memory=14304 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79320155 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=19130076 memory=3812920 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 2336 0 0 0 0 0 0 0 20 0 21 0 79320156 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90740] ppid=90716 vsize=19130076 memory=14304 CPUtime=0 cores=1,3
/proc/90719/task/90740/stat : 90740 (Timer-0) S 90716 90719 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79320750 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 3344.85 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3812920 KiB
[startup+3402.3 s]
/proc/loadavg: 1.32 1.78 2.25 2/252 91013
/proc/meminfo: memFree=123995920/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=19130076 memory=3812920 CPUtime=3404.67 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 49065 0 0 0 340096 371 0 0 20 0 21 0 79320149 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4782519 953230 5527 1 0 2831106 0
[pid=90719/tid=90721] ppid=90716 vsize=19130076 memory=-6000919481363426406 CPUtime=3386.5 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 13844 0 0 0 338582 68 0 0 20 0 21 0 79320151 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=19130076 memory=3812920 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79320155 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=19130076 memory=3812920 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 2386 0 0 0 0 0 0 0 20 0 21 0 79320156 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90740] ppid=90716 vsize=19130076 memory=-6000919481363426406 CPUtime=0 cores=1,3
/proc/90719/task/90740/stat : 90740 (Timer-0) S 90716 90719 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79320750 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 3404.67 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3812920 KiB
[startup+3462.3 s]
/proc/loadavg: 1.11 1.64 2.17 2/253 91015
/proc/meminfo: memFree=123995936/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=19130076 memory=3812920 CPUtime=3464.49 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 49204 0 0 0 346071 378 0 0 20 0 21 0 79320149 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4782519 953230 5527 1 0 2831106 0
[pid=90719/tid=90721] ppid=90716 vsize=19130076 memory=-6000919481363426406 CPUtime=3446.23 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 13956 0 0 0 344555 68 0 0 20 0 21 0 79320151 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=19130076 memory=3812920 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79320155 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=19130076 memory=-6000919481363426406 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 2387 0 0 0 0 0 0 0 20 0 21 0 79320156 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90740] ppid=90716 vsize=19130076 memory=14304 CPUtime=0 cores=1,3
/proc/90719/task/90740/stat : 90740 (Timer-0) S 90716 90719 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79320750 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 3464.49 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3812920 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.53 2.10 2/253 91020
/proc/meminfo: memFree=123996272/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=19130076 memory=3812920 CPUtime=3524.29 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 49336 0 0 0 352046 383 0 0 20 0 21 0 79320149 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4782519 953230 5527 1 0 2831106 0
[pid=90719/tid=90721] ppid=90716 vsize=19130076 memory=3812920 CPUtime=3505.95 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 13974 0 0 0 350527 68 0 0 20 0 21 0 79320151 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=19130076 memory=18560 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79320155 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=19130076 memory=5760 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 2445 0 0 0 0 0 0 0 20 0 21 0 79320156 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90740] ppid=90716 vsize=19130076 memory=-6000919481363426406 CPUtime=0 cores=1,3
/proc/90719/task/90740/stat : 90740 (Timer-0) S 90716 90719 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79320750 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 3524.29 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3812920 KiB
[startup+3582.3 s]
/proc/loadavg: 1.13 1.46 2.04 2/253 91022
/proc/meminfo: memFree=123996272/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=19130076 memory=3812920 CPUtime=3584.11 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 49396 0 0 0 358022 389 0 0 20 0 21 0 79320149 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4782519 953230 5527 1 0 2831106 0
[pid=90719/tid=90721] ppid=90716 vsize=19130076 memory=5760 CPUtime=3565.68 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 13975 0 0 0 356500 68 0 0 20 0 21 0 79320151 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=19130076 memory=3812920 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79320155 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=19130076 memory=3812920 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 2453 0 0 0 0 0 0 0 20 0 21 0 79320156 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90740] ppid=90716 vsize=19130076 memory=14304 CPUtime=0 cores=1,3
/proc/90719/task/90740/stat : 90740 (Timer-0) S 90716 90719 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79320750 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 3584.11 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3812920 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3598.3 s]
/proc/loadavg: 1.09 1.43 2.02 2/253 91023
/proc/meminfo: memFree=123996304/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=19130076 memory=3812920 CPUtime=3600.06 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 49453 0 0 0 359615 391 0 0 20 0 21 0 79320149 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4782519 953230 5527 1 0 2831106 0
[pid=90719/tid=90721] ppid=90716 vsize=19130076 memory=3812920 CPUtime=3581.6 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 14026 0 0 0 358092 68 0 0 20 0 21 0 79320151 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=19130076 memory=14304 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79320155 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=19130076 memory=3812920 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 2453 0 0 0 0 0 0 0 20 0 21 0 79320156 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90740] ppid=90716 vsize=19130076 memory=3812920 CPUtime=0 cores=1,3
/proc/90719/task/90740/stat : 90740 (Timer-0) S 90716 90719 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79320750 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3812920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3598.41 s]
# the end of solver process 90719 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.3 s, system=3.9388 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3598.3 s]
/proc/loadavg: 1.09 1.43 2.02 2/253 91023
/proc/meminfo: memFree=123996304/131382120 swapFree=33010416/33010684
[pid=90719] ppid=90716 vsize=19130076 memory=3812920 CPUtime=3600.06 cores=1,3
/proc/90719/stat : 90719 (java) S 90716 90719 88483 0 -1 4194304 49453 0 0 0 359615 391 0 0 20 0 21 0 79320149 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
/proc/90719/statm: 4782519 953230 5527 1 0 2831106 0
[pid=90719/tid=90721] ppid=90716 vsize=19130076 memory=3812920 CPUtime=3581.6 cores=1,3
/proc/90719/task/90721/stat : 90721 (java) R 90716 90719 88483 0 -1 4194368 14026 0 0 0 358092 68 0 0 20 0 21 0 79320151 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90730] ppid=90716 vsize=19130076 memory=14304 CPUtime=0 cores=1,3
/proc/90719/task/90730/stat : 90730 (Finalizer) S 90716 90719 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79320155 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90737] ppid=90716 vsize=19130076 memory=3812920 CPUtime=0 cores=1,3
/proc/90719/task/90737/stat : 90737 (Common-Cleaner) S 90716 90719 88483 0 -1 4194368 2453 0 0 0 0 0 0 0 20 0 21 0 79320156 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
[pid=90719/tid=90740] ppid=90716 vsize=19130076 memory=3812920 CPUtime=0 cores=1,3
/proc/90719/task/90740/stat : 90740 (Timer-0) S 90716 90719 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79320750 19589197824 953230 18446744073709551615 94287675125760 94287675129456 140731905481168 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94287675137272 94287675138064 94287703891968 140731905485180 140731905485284 140731905485284 140731905490888 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3812920 KiB
Child status: 143
Real time (s): 3598.41
CPU time (s): 3600.24
CPU user time (s): 3596.3
CPU system time (s): 3.9388
CPU usage (%): 100.051
Max. virtual memory (cumulated for all children) (KiB): 19130076
Max. memory (cumulated for all children) (KiB): 3812920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.3
system time used= 3.9388
maximum resident set size= 3813944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53186
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130660
involuntary context switches= 2655
# summary of solver processes directly reported to runsolver:
# pid: 90719
# total CPU time (s): 3600.24
# total CPU user time (s): 3596.3
# total CPU system time (s): 3.9388
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1917 second user time and 38.103 second system time
The end