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: 63968 MiB (59836 MiB free)
memory of node 1: 64473 MiB (58320 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457701-1721868609/watcher-4457701-1721868609 -o /tmp/evaluation-result-4457701-1721868609/solver-4457701-1721868609 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721865097-264549 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4457701-1721868609.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=266695, runsolver pid=266692
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.37 4.28 4.20 6/307 266719
/proc/meminfo: memFree=120946536/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=18975048 memory=64912 CPUtime=0.13 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 7227 0 0 0 12 1 0 0 20 0 18 0 23383790 19430449152 16228 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4743762 16228 5627 1 0 549332 0
[pid=266695/tid=266697] ppid=266692 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 5765 0 0 0 7 1 0 0 20 0 18 0 23383791 19430449152 16228 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=18975048 memory=1991471 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23383793 19430449152 16228 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=18975048 memory=15823295995971300 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23383794 19430449152 16257 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64912 KiB
[startup+0.207745 s]*
/proc/loadavg: 4.37 4.28 4.20 7/306 266726
/proc/meminfo: memFree=120939624/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19041612 memory=72676 CPUtime=0.33 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 7933 0 0 0 32 1 0 0 20 0 19 0 23383790 19498610688 18169 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4760403 18169 5864 1 0 550082 0
[pid=266695/tid=266697] ppid=266692 vsize=19041612 memory=3472328299600544061 CPUtime=0.19 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 6142 0 0 0 18 1 0 0 20 0 19 0 23383791 19498610688 18169 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19041612 memory=215671374179 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23383793 19498610688 18169 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19041612 memory=15541816726282840 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23383794 19498610688 18169 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23383808 19498610688 18169 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72676 KiB
[startup+0.315761 s]*
/proc/loadavg: 4.37 4.28 4.20 9/308 266746
/proc/meminfo: memFree=120901704/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19041612 memory=104320 CPUtime=0.54 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 9277 0 0 0 52 2 0 0 20 0 19 0 23383790 19498610688 26080 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4760403 26080 5864 1 0 550731 0
[pid=266695/tid=266697] ppid=266692 vsize=19041612 memory=-9030953543784964796 CPUtime=0.29 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 6167 0 0 0 28 1 0 0 20 0 19 0 23383791 19498610688 26080 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23383793 19498610688 26080 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23383794 19498610688 26080 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23383808 19498610688 26080 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 104320 KiB
[startup+0.700243 s]
/proc/loadavg: 4.37 4.28 4.20 9/329 266770
/proc/meminfo: memFree=120793936/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19108176 memory=178000 CPUtime=1.29 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 14277 0 0 0 124 5 0 0 20 0 20 0 23383790 19566772224 44500 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4777044 44500 5896 1 0 553938 0
[pid=266695/tid=266697] ppid=266692 vsize=19108176 memory=5552 CPUtime=0.62 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 6207 0 0 0 59 3 0 0 20 0 20 0 23383791 19566772224 44500 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23383793 19566772224 44500 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19108176 memory=353 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23383794 19566772224 44500 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23383808 19566772224 44500 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178000 KiB
[startup+1.50074 s]
/proc/loadavg: 4.37 4.28 4.20 7/330 266771
/proc/meminfo: memFree=120715552/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19108176 memory=282984 CPUtime=2.85 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 25882 0 0 0 278 7 0 0 20 0 20 0 23383790 19566772224 70746 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4777044 70746 5912 1 0 557972 0
[pid=266695/tid=266697] ppid=266692 vsize=19108176 memory=12936 CPUtime=1.37 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 6877 0 0 0 133 4 0 0 20 0 20 0 23383791 19566772224 70746 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23383793 19566772224 70746 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19108176 memory=58515557449785 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23383794 19566772224 70746 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23383808 19566772224 70746 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 282984 KiB
[startup+3.10557 s]
/proc/loadavg: 4.37 4.28 4.20 7/331 266772
/proc/meminfo: memFree=120164092/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19108176 memory=648736 CPUtime=5.03 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 27161 0 0 0 488 15 0 0 20 0 20 0 23383790 19566772224 162184 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4777044 162184 5912 1 0 687464 0
[pid=266695/tid=266697] ppid=266692 vsize=19108176 memory=0 CPUtime=2.94 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 7414 0 0 0 283 11 0 0 20 0 20 0 23383791 19566772224 162184 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23383793 19566772224 162184 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23383794 19566772224 162184 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19108176 memory=5552 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23383808 19566772224 162184 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 5.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 648736 KiB
[startup+6.30026 s]
/proc/loadavg: 4.42 4.29 4.20 5/331 266772
/proc/meminfo: memFree=119577900/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19108176 memory=871104 CPUtime=8.26 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 28231 0 0 0 806 20 0 0 20 0 20 0 23383790 19566772224 217776 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4777044 217776 5912 1 0 687475 0
[pid=266695/tid=266697] ppid=266692 vsize=19108176 memory=0 CPUtime=6.09 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 7767 0 0 0 594 15 0 0 20 0 20 0 23383791 19566772224 217776 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19108176 memory=458260 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23383793 19566772224 217776 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23383794 19566772224 217776 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23383808 19566772224 217776 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 8.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 871104 KiB
[startup+12.7003 s]
/proc/loadavg: 4.38 4.29 4.20 5/331 266774
/proc/meminfo: memFree=118997028/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19108176 memory=1262288 CPUtime=14.74 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 30191 0 0 0 1446 28 0 0 20 0 20 0 23383790 19566772224 315572 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4777044 315572 5912 1 0 687478 0
[pid=266695/tid=266697] ppid=266692 vsize=19108176 memory=1262288 CPUtime=12.46 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 8758 0 0 0 1223 23 0 0 20 0 20 0 23383791 19566772224 315572 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23383793 19566772224 315572 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23383794 19566772224 315572 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19108176 memory=1063616 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23383808 19566772224 315572 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 14.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1262288 KiB
[startup+25.5003 s]
/proc/loadavg: 4.30 4.27 4.20 5/331 266775
/proc/meminfo: memFree=117927708/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19108176 memory=1383232 CPUtime=27.53 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 33076 0 0 0 2722 31 0 0 20 0 20 0 23383790 19566772224 345808 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4777044 345808 5912 1 0 687479 0
[pid=266695/tid=266697] ppid=266692 vsize=19108176 memory=0 CPUtime=25.2 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 10681 0 0 0 2495 25 0 0 20 0 20 0 23383791 19566772224 345808 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19108176 memory=1262340 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23383793 19566772224 345808 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19108176 memory=1379136 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23383794 19566772224 345808 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19108176 memory=1845 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23383808 19566772224 345808 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 27.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1383232 KiB
[startup+51.1058 s]
/proc/loadavg: 4.42 4.30 4.21 5/334 266920
/proc/meminfo: memFree=121790232/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19108176 memory=1674076 CPUtime=53.08 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 37964 0 0 0 5269 39 0 0 20 0 20 0 23383790 19566772224 418519 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4777044 418519 5912 1 0 687480 0
################
# More data... #
################
/proc/meminfo: memFree=116320376/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19108176 memory=2053936 CPUtime=3218.41 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 176437 0 0 0 321673 168 0 0 20 0 20 0 23383790 19566772224 513484 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4777044 513484 5928 1 0 687529 0
[pid=266695/tid=266697] ppid=266692 vsize=19108176 memory=2284 CPUtime=3204.44 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 77198 0 0 0 320401 43 0 0 20 0 20 0 23383791 19566772224 513484 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19108176 memory=5552 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23383793 19566772224 513484 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19108176 memory=2051880 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 4278 0 0 0 0 0 0 0 20 0 20 0 23383794 19566772224 513484 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23383808 19566772224 513484 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 3218.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2053936 KiB
[startup+3282.3 s]
/proc/loadavg: 4.27 4.19 4.18 5/334 268752
/proc/meminfo: memFree=116301284/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19108176 memory=2062128 CPUtime=3278.31 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 177314 0 0 0 327661 170 0 0 20 0 20 0 23383790 19566772224 515532 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4777044 515532 5928 1 0 687529 0
[pid=266695/tid=266697] ppid=266692 vsize=19108176 memory=2058032 CPUtime=3264.18 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 77934 0 0 0 326375 43 0 0 20 0 20 0 23383791 19566772224 515532 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19108176 memory=2053936 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23383793 19566772224 515532 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 4318 0 0 0 0 0 0 0 20 0 20 0 23383794 19566772224 515532 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19108176 memory=2062128 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23383808 19566772224 515532 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 3278.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2062128 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/333 268764
/proc/meminfo: memFree=116294632/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19108176 memory=2064192 CPUtime=3338.26 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 179309 0 0 0 333653 173 0 0 20 0 20 0 23383790 19566772224 516048 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4777044 516048 5928 1 0 687529 0
[pid=266695/tid=266697] ppid=266692 vsize=19108176 memory=13520 CPUtime=3323.91 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 79057 0 0 0 332347 44 0 0 20 0 20 0 23383791 19566772224 516048 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19108176 memory=76160 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23383793 19566772224 516048 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19108176 memory=2064192 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 4417 0 0 0 0 0 0 0 20 0 20 0 23383794 19566772224 516048 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19108176 memory=2064192 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23383808 19566772224 516048 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 3338.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2064192 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.18 4.18 6/333 268790
/proc/meminfo: memFree=116285696/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19108176 memory=2068292 CPUtime=3398.18 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 181315 0 0 0 339643 175 0 0 20 0 20 0 23383790 19566772224 517073 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4777044 517073 5928 1 0 687529 0
[pid=266695/tid=266697] ppid=266692 vsize=19108176 memory=12936 CPUtime=3383.62 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 80121 0 0 0 338318 44 0 0 20 0 20 0 23383791 19566772224 517073 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19108176 memory=2066244 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23383793 19566772224 517073 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19108176 memory=2066244 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 4417 0 0 0 0 0 0 0 20 0 20 0 23383794 19566772224 517073 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19108176 memory=2068292 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23383808 19566772224 517073 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 3398.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2068292 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.17 4.18 5/333 268802
/proc/meminfo: memFree=116273516/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19108176 memory=2072404 CPUtime=3458.12 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 183441 0 0 0 345635 177 0 0 20 0 20 0 23383790 19566772224 518101 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4777044 518101 5928 1 0 687529 0
[pid=266695/tid=266697] ppid=266692 vsize=19108176 memory=2066244 CPUtime=3443.37 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 81418 0 0 0 344293 44 0 0 20 0 20 0 23383791 19566772224 518101 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19108176 memory=-7160861562580918649 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23383793 19566772224 518101 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19108176 memory=2072404 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 4498 0 0 0 0 0 0 0 20 0 20 0 23383794 19566772224 518101 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19108176 memory=4648 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23383808 19566772224 518101 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 3458.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2072404 KiB
[startup+3522.3 s]
/proc/loadavg: 4.32 4.20 4.19 5/333 268880
/proc/meminfo: memFree=119111084/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19108176 memory=2074456 CPUtime=3518.06 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 185757 0 0 0 351626 180 0 0 20 0 20 0 23383790 19566772224 518614 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4777044 518614 5928 1 0 687529 0
[pid=266695/tid=266697] ppid=266692 vsize=19108176 memory=2068292 CPUtime=3503.11 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 82685 0 0 0 350267 44 0 0 20 0 20 0 23383791 19566772224 518614 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19108176 memory=16120 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23383793 19566772224 518614 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19108176 memory=2074456 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 4591 0 0 0 0 0 0 0 20 0 20 0 23383794 19566772224 518614 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19108176 memory=2074456 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23383808 19566772224 518614 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 3518.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2074456 KiB
[startup+3582.3 s]
/proc/loadavg: 4.39 4.23 4.19 5/333 268890
/proc/meminfo: memFree=118047172/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19108176 memory=2078552 CPUtime=3577.99 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 186490 0 0 0 357617 182 0 0 20 0 20 0 23383790 19566772224 519638 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4777044 519638 5928 1 0 687529 0
[pid=266695/tid=266697] ppid=266692 vsize=19108176 memory=13520 CPUtime=3562.84 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 83316 0 0 0 356239 45 0 0 20 0 20 0 23383791 19566772224 519638 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19108176 memory=2078552 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23383793 19566772224 519638 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19108176 memory=39320 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 4669 0 0 0 0 0 0 0 20 0 20 0 23383794 19566772224 519638 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19108176 memory=3164 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23383808 19566772224 519638 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 3577.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2078552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3604.4 s]
/proc/loadavg: 4.28 4.21 4.19 5/333 268961
/proc/meminfo: memFree=121409776/131524600 swapFree=131056028/131071996
[pid=266695] ppid=266692 vsize=19108176 memory=2078560 CPUtime=3600.04 cores=1,3
/proc/266695/stat : 266695 (java) S 266692 266695 264537 0 -1 1077936128 188167 0 0 0 359821 183 0 0 20 0 20 0 23383790 19566772224 519640 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
/proc/266695/statm: 4777044 519640 5928 1 0 687529 0
[pid=266695/tid=266697] ppid=266692 vsize=19108176 memory=-9030953543784964796 CPUtime=3584.85 cores=1,3
/proc/266695/task/266697/stat : 266697 (java) R 266692 266695 264537 0 -1 4194368 84004 0 0 0 358440 45 0 0 20 0 20 0 23383791 19566772224 519640 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266706] ppid=266692 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/266695/task/266706/stat : 266706 (Finalizer) S 266692 266695 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23383793 19566772224 519640 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266713] ppid=266692 vsize=19108176 memory=5552 CPUtime=0 cores=1,3
/proc/266695/task/266713/stat : 266713 (Common-Cleaner) S 266692 266695 264537 0 -1 1077936192 4807 0 0 0 0 0 0 0 20 0 20 0 23383794 19566772224 519640 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
[pid=266695/tid=266721] ppid=266692 vsize=19108176 memory=16120 CPUtime=0 cores=1,3
/proc/266695/task/266721/stat : 266721 (Timer-0) S 266692 266695 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23383808 19566772224 519640 134679101440 94767373852672 94767373856368 140727858242224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94767373864184 94767373864976 94767398719488 140727858250736 140727858250849 140727858250849 140727858257864 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2078560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3604.49 s]
# the end of solver process 266695 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.37 s, system=1.84297 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3604.49
CPU time (s): 3600.21
CPU user time (s): 3598.37
CPU system time (s): 1.84297
CPU usage (%): 99.8814
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2078560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.37
system time used= 1.84297
maximum resident set size= 2080008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191065
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119249
involuntary context switches= 7131
# summary of solver processes directly reported to runsolver:
# pid: 266695
# total CPU time (s): 3600.21
# total CPU user time (s): 3598.37
# total CPU system time (s): 1.84297
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.69465 second user time and 18.0782 second system time
The end