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 (57037 MiB free)
  memory of node 1: 64473 MiB (57792 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442882-1721817186/watcher-4442882-1721817186 -o /tmp/evaluation-result-4442882-1721817186/solver-4442882-1721817186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721817186-236609 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4442882-1721817186 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4442882-1721817186.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=236657, runsolver pid=236652

[startup+0.100244 s]*
/proc/loadavg: 0.22 0.12 0.10 10/329 236741
/proc/meminfo: memFree=117433844/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=18975048 memory=58740 CPUtime=0.09 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 6744 0 0 0 8 1 0 0 20 0 18 0 18241198 19430449152 14685 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4743762 14685 5553 1 0 548933 0
[pid=236657/tid=236668] ppid=236652 vsize=18975048 memory=4026531971 CPUtime=0.06 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 5634 0 0 0 5 1 0 0 20 0 18 0 18241198 19430449152 14685 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=18975048 memory=738093 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18241202 19430449152 14685 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=18975048 memory=15261445554177769 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18241202 19430449152 14685 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58740 KiB

[startup+0.206741 s]*
/proc/loadavg: 0.22 0.12 0.10 14/329 236741
/proc/meminfo: memFree=117367540/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=18975048 memory=71428 CPUtime=0.27 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 7620 0 0 0 25 2 0 0 20 0 18 0 18241198 19430449152 17857 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4743762 17857 5832 1 0 549586 0
[pid=236657/tid=236668] ppid=236652 vsize=18975048 memory=4782652875487838339 CPUtime=0.15 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 5934 0 0 0 13 2 0 0 20 0 18 0 18241198 19430449152 17857 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=18975048 memory=738093 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18241202 19430449152 17857 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=18975048 memory=15261445554177769 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18241202 19430449152 17857 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71428 KiB

[startup+0.312742 s]*
/proc/loadavg: 0.22 0.12 0.10 15/330 236742
/proc/meminfo: memFree=117197808/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=18975048 memory=112452 CPUtime=0.49 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 9160 0 0 0 45 4 0 0 20 0 18 0 18241198 19430449152 28113 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4743762 28113 5832 1 0 550568 0
[pid=236657/tid=236668] ppid=236652 vsize=18975048 memory=-9031516493788717756 CPUtime=0.25 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 5955 0 0 0 22 3 0 0 20 0 18 0 18241198 19430449152 28625 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18241202 19430449152 28625 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18241202 19430449152 28625 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 112452 KiB

[startup+0.700757 s]
/proc/loadavg: 0.22 0.12 0.10 14/335 236747
/proc/meminfo: memFree=117041944/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=19108176 memory=186592 CPUtime=1.22 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 17296 0 0 0 116 6 0 0 20 0 20 0 18241198 19566772224 46648 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4777044 46648 5853 1 0 556340 0
[pid=236657/tid=236668] ppid=236652 vsize=19108176 memory=5520 CPUtime=0.6 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 6045 0 0 0 56 4 0 0 20 0 20 0 18241198 19566772224 46648 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=19108176 memory=13048 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 46648 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 46648 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236746] ppid=236652 vsize=19108176 memory=139767027235312 CPUtime=0 cores=0,2
/proc/236657/task/236746/stat : 236746 (Timer-0) S 236652 236657 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241243 19566772224 46648 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186592 KiB

[startup+1.50074 s]
/proc/loadavg: 0.22 0.12 0.10 10/315 236764
/proc/meminfo: memFree=117097236/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=19108176 memory=195168 CPUtime=2.81 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 25629 0 0 0 273 8 0 0 20 0 20 0 18241198 19566772224 48792 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4777044 48792 5901 1 0 557038 0
[pid=236657/tid=236668] ppid=236652 vsize=19108176 memory=13048 CPUtime=1.36 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 6293 0 0 0 131 5 0 0 20 0 20 0 18241198 19566772224 48792 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 48792 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 48792 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236746] ppid=236652 vsize=19108176 memory=4580 CPUtime=0 cores=0,2
/proc/236657/task/236746/stat : 236746 (Timer-0) S 236652 236657 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241243 19566772224 48792 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195168 KiB

[startup+3.10614 s]
/proc/loadavg: 0.22 0.12 0.10 6/336 236814
/proc/meminfo: memFree=116480856/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=19108176 memory=222320 CPUtime=5.83 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 27944 0 0 0 573 10 0 0 20 0 20 0 18241198 19566772224 55580 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4777044 55580 5901 1 0 557100 0
[pid=236657/tid=236668] ppid=236652 vsize=19108176 memory=0 CPUtime=2.9 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 7409 0 0 0 284 6 0 0 20 0 20 0 18241198 19566772224 55580 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 55580 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=19108176 memory=13048 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 55580 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236746] ppid=236652 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/236657/task/236746/stat : 236746 (Timer-0) S 236652 236657 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241243 19566772224 55580 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 222320 KiB

[startup+6.30024 s]
/proc/loadavg: 0.76 0.23 0.13 5/317 236834
/proc/meminfo: memFree=116102124/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=19108176 memory=603624 CPUtime=9.26 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 28623 0 0 0 907 19 0 0 20 0 20 0 18241198 19566772224 150906 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4777044 150906 5901 1 0 663622 0
[pid=236657/tid=236668] ppid=236652 vsize=19108176 memory=0 CPUtime=5.98 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 7614 0 0 0 585 13 0 0 20 0 20 0 18241198 19566772224 150906 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=19108176 memory=13048 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 150906 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=19108176 memory=-7522837415797432224 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 150906 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236746] ppid=236652 vsize=19108176 memory=13048 CPUtime=0 cores=0,2
/proc/236657/task/236746/stat : 236746 (Timer-0) S 236652 236657 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241243 19566772224 150906 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 9.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 603624 KiB

[startup+12.7003 s]
/proc/loadavg: 1.18 0.33 0.17 5/316 236928
/proc/meminfo: memFree=114702016/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=19108176 memory=1264380 CPUtime=16.03 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 29965 0 0 0 1566 37 0 0 20 0 20 0 18241198 19566772224 316095 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4777044 316095 5901 1 0 791490 0
[pid=236657/tid=236668] ppid=236652 vsize=19108176 memory=0 CPUtime=12.14 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 8033 0 0 0 1189 25 0 0 20 0 20 0 18241198 19566772224 316095 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=19108176 memory=965044 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 316095 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=19108176 memory=1419576 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 316095 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236746] ppid=236652 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/236657/task/236746/stat : 236746 (Timer-0) S 236652 236657 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241243 19566772224 316095 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 16.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1264380 KiB

[startup+25.5003 s]
/proc/loadavg: 1.87 0.53 0.23 5/336 237090
/proc/meminfo: memFree=111663312/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=19108176 memory=2086164 CPUtime=29.16 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 38934 0 0 0 2857 59 0 0 20 0 20 0 18241198 19566772224 521541 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4777044 521541 5901 1 0 791496 0
[pid=236657/tid=236668] ppid=236652 vsize=19108176 memory=1383444 CPUtime=24.64 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 1077936192 10875 0 0 0 2420 44 0 0 20 0 20 0 18241198 19566772224 521541 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=19108176 memory=1989680 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 521541 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 521541 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236746] ppid=236652 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/236657/task/236746/stat : 236746 (Timer-0) S 236652 236657 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241243 19566772224 521541 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 29.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2086164 KiB

[startup+51.1062 s]
/proc/loadavg: 2.67 0.82 0.34 5/338 237095
/proc/meminfo: memFree=109146152/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=19108176 memory=2352988 CPUtime=54.37 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 45557 0 0 0 5354 83 0 0 20 0 20 0 18241198 19566772224 588247 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4777044 588247 5917 1 0 791497 0
[pid=236657/tid=236668] ppid=236652 vsize=19108176 memory=11684 CPUtime=48.8 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 13080 0 0 0 4817 63 0 0 20 0 20 0 18241198 19566772224 588247 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 81 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=19108176 memory=2258584 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 588247 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0

################
# More data... #
################

[startup+3222.3 s]
/proc/loadavg: 4.32 4.31 4.18 5/336 238712
/proc/meminfo: memFree=64758260/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=19108176 memory=3139028 CPUtime=3241.7 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 306555 0 0 0 322609 1561 0 0 20 0 20 0 18241198 19566772224 784757 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4777044 784757 5929 1 0 795238 0
[pid=236657/tid=236668] ppid=236652 vsize=19108176 memory=-9032079443742139068 CPUtime=3093.53 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 102178 0 0 0 307973 1380 0 0 20 0 20 0 18241198 19566772224 784757 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5573 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=19108176 memory=3139028 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 784757 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=19108176 memory=3139028 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 1441 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 784757 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236746] ppid=236652 vsize=19108176 memory=3139028 CPUtime=0 cores=0,2
/proc/236657/task/236746/stat : 236746 (Timer-0) S 236652 236657 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241243 19566772224 784757 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 3241.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3139028 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.28 4.18 5/335 238722
/proc/meminfo: memFree=63969784/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=19108176 memory=3139056 CPUtime=3302.95 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 307376 0 0 0 328707 1588 0 0 20 0 20 0 18241198 19566772224 784764 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4777044 784764 5929 1 0 795259 0
[pid=236657/tid=236668] ppid=236652 vsize=19108176 memory=3139028 CPUtime=3151.95 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 102878 0 0 0 313791 1404 0 0 20 0 20 0 18241198 19566772224 784764 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 5605 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=19108176 memory=5520 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 784764 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=19108176 memory=1908 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 1441 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 784764 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236746] ppid=236652 vsize=19108176 memory=3139056 CPUtime=0 cores=0,2
/proc/236657/task/236746/stat : 236746 (Timer-0) S 236652 236657 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241243 19566772224 784764 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 3302.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3139056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.26 4.18 5/336 238902
/proc/meminfo: memFree=63195392/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=19108176 memory=3139104 CPUtime=3363.75 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 311797 0 0 0 334760 1615 0 0 20 0 20 0 18241198 19566772224 784776 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4777044 784776 5929 1 0 795259 0
[pid=236657/tid=236668] ppid=236652 vsize=19108176 memory=3139060 CPUtime=3210.42 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 104006 0 0 0 319615 1427 0 0 20 0 20 0 18241198 19566772224 784776 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 5646 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=19108176 memory=73976 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 784776 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=19108176 memory=73976 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 1529 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 784776 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236746] ppid=236652 vsize=19108176 memory=3139060 CPUtime=0 cores=0,2
/proc/236657/task/236746/stat : 236746 (Timer-0) S 236652 236657 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241243 19566772224 784776 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 3363.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3139104 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.22 4.17 6/337 238914
/proc/meminfo: memFree=62381224/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=19108176 memory=3139104 CPUtime=3424.51 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 312554 0 0 0 340812 1639 0 0 20 0 20 0 18241198 19566772224 784776 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4777044 784776 5929 1 0 795259 0
[pid=236657/tid=236668] ppid=236652 vsize=19108176 memory=3139060 CPUtime=3268.62 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 104612 0 0 0 325413 1449 0 0 20 0 20 0 18241198 19566772224 784776 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5679 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=19108176 memory=3139060 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 784776 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=19108176 memory=3139056 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 1543 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 784776 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236746] ppid=236652 vsize=19108176 memory=3139104 CPUtime=0 cores=0,2
/proc/236657/task/236746/stat : 236746 (Timer-0) S 236652 236657 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241243 19566772224 784776 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 3424.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3139104 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.21 4.17 5/342 238985
/proc/meminfo: memFree=61610588/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=19108176 memory=3139108 CPUtime=3484.27 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 313659 0 0 0 346764 1663 0 0 20 0 20 0 18241198 19566772224 784777 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4777044 784777 5929 1 0 795290 0
[pid=236657/tid=236668] ppid=236652 vsize=19108176 memory=3139060 CPUtime=3326.81 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 105427 0 0 0 331210 1471 0 0 20 0 20 0 18241198 19566772224 784777 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5745 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=19108176 memory=3139060 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 784777 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=19108176 memory=3139056 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 1543 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 784777 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236746] ppid=236652 vsize=19108176 memory=3139108 CPUtime=0 cores=0,2
/proc/236657/task/236746/stat : 236746 (Timer-0) S 236652 236657 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241243 19566772224 784777 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 3484.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3139108 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.20 4.17 5/342 238995
/proc/meminfo: memFree=60869344/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=19108176 memory=3139220 CPUtime=3545.28 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 317637 0 0 0 352845 1683 0 0 20 0 20 0 18241198 19566772224 784805 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4777044 784805 5929 1 0 795290 0
[pid=236657/tid=236668] ppid=236652 vsize=19108176 memory=3139108 CPUtime=3385.61 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 106461 0 0 0 337072 1489 0 0 20 0 20 0 18241198 19566772224 784805 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5758 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=19108176 memory=3139220 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 784805 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=19108176 memory=73976 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 1593 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 784805 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236746] ppid=236652 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/236657/task/236746/stat : 236746 (Timer-0) S 236652 236657 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241243 19566772224 784805 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 3545.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3139220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3575.9 s]
/proc/loadavg: 4.20 4.21 4.18 5/342 239007
/proc/meminfo: memFree=60247056/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=19108176 memory=3139224 CPUtime=3600.01 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 318314 0 0 0 358298 1703 0 0 20 0 20 0 18241198 19566772224 784806 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4777044 784806 5929 1 0 795290 0
[pid=236657/tid=236668] ppid=236652 vsize=19108176 memory=39748 CPUtime=3437.87 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 106906 0 0 0 342280 1507 0 0 20 0 20 0 18241198 19566772224 784806 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5787 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=19108176 memory=11684 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 784806 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 1593 0 0 0 0 0 0 0 20 0 20 0 18241202 19566772224 784806 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236746] ppid=236652 vsize=19108176 memory=3139224 CPUtime=0 cores=0,2
/proc/236657/task/236746/stat : 236746 (Timer-0) S 236652 236657 236599 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241243 19566772224 784806 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3139224 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3576.03 s]
# the end of solver process 236657 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3583.1 s, system=17.0573 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3576 s]*
/proc/loadavg: 4.27 4.23 4.18 5/337 239010
/proc/meminfo: memFree=60228808/131524600 swapFree=131071216/131071996
[pid=236657] ppid=236652 vsize=19307868 memory=3139840 CPUtime=3600.13 cores=0,2
/proc/236657/stat : 236657 (java) S 236652 236657 236599 0 -1 1077936128 319783 0 0 0 358309 1704 0 0 20 0 15 0 18241198 19771256832 784960 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
/proc/236657/statm: 4826967 784960 5925 1 0 796196 0
[pid=236657/tid=236668] ppid=236652 vsize=19307868 memory=5160 CPUtime=3437.89 cores=0,2
/proc/236657/task/236668/stat : 236668 (java) R 236652 236657 236599 0 -1 4194368 107072 0 0 0 342281 1508 0 0 20 0 15 0 18241198 19771256832 784960 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 5795 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236705] ppid=236652 vsize=19307868 memory=-4421386517638570852 CPUtime=0 cores=0,2
/proc/236657/task/236705/stat : 236705 (Finalizer) S 236652 236657 236599 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 18241202 19771256832 784960 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
[pid=236657/tid=236730] ppid=236652 vsize=19307868 memory=19492 CPUtime=0 cores=0,2
/proc/236657/task/236730/stat : 236730 (Common-Cleaner) S 236652 236657 236599 0 -1 1077936192 1593 0 0 0 0 0 0 0 20 0 15 0 18241202 19771256832 784960 134679101440 94692408692736 94692408696432 140733259332688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692408704248 94692408705040 94692440412160 140733259338667 140733259338849 140733259338849 140733259345864 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3139840 KiB

Child status: 143

Real time (s): 3576.03
CPU time (s): 3600.15
CPU user time (s): 3583.1
CPU system time (s): 17.0573
CPU usage (%): 100.675
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3139840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.1
system time used= 17.0573
maximum resident set size= 3140812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 319831
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33229456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128456
involuntary context switches= 38997


# summary of solver processes directly reported to runsolver:
#   pid: 236657
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3583.1
#   total CPU system time (s): 17.0573

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15233 second user time and 19.4806 second system time

The end