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: 63931 MiB (42363 MiB free)
  memory of node 1: 64510 MiB (51125 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442594-1721300949/watcher-4442594-1721300949 -o /tmp/evaluation-result-4442594-1721300949/solver-4442594-1721300949 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721293761-975546 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4442594-1721300949.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=981725, runsolver pid=981722
Current StackSize limit: 8192 KiB


[startup+0.100083 s]*
/proc/loadavg: 4.37 4.25 4.20 5/328 981743
/proc/meminfo: memFree=95690560/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=18975048 memory=63168 CPUtime=0.13 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 7204 0 0 0 12 1 0 0 20 0 18 0 182256745 19430449152 15792 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4743762 15792 5693 1 0 549320 0
[pid=981725/tid=981727] ppid=981722 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 5742 0 0 0 8 1 0 0 20 0 18 0 182256745 19430449152 15792 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182256748 19430449152 15792 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=18975048 memory=15824395507619580 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 182256748 19430449152 15792 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63168 KiB

[startup+0.206147 s]*
/proc/loadavg: 4.37 4.25 4.20 6/328 981743
/proc/meminfo: memFree=95673472/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=18975048 memory=82564 CPUtime=0.33 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 7913 0 0 0 31 2 0 0 20 0 18 0 182256745 19430449152 20641 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4743762 20641 5859 1 0 549775 0
[pid=981725/tid=981727] ppid=981722 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 5905 0 0 0 17 2 0 0 20 0 18 0 182256745 19430449152 20641 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=18975048 memory=15975 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182256748 19430449152 20641 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=18975048 memory=14698495600756458 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 182256748 19430449152 20641 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82564 KiB

[startup+0.312602 s]*
/proc/loadavg: 4.37 4.25 4.20 6/328 981743
/proc/meminfo: memFree=95627268/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=18975048 memory=128652 CPUtime=0.55 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 9100 0 0 0 51 4 0 0 20 0 18 0 182256745 19430449152 32163 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4743762 32163 5859 1 0 550533 0
[pid=981725/tid=981727] ppid=981722 vsize=18975048 memory=-9032922790551134908 CPUtime=0.3 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 5926 0 0 0 27 3 0 0 20 0 18 0 182256745 19430449152 32163 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182256748 19430449152 32163 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 182256748 19430449152 32163 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 128652 KiB

[startup+0.710481 s]
/proc/loadavg: 4.37 4.25 4.20 6/329 981744
/proc/meminfo: memFree=95615056/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=19041612 memory=149212 CPUtime=1.31 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 10807 0 0 0 127 4 0 0 20 0 19 0 182256745 19498610688 37303 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4760403 37303 5859 1 0 551756 0
[pid=981725/tid=981727] ppid=981722 vsize=19041612 memory=5472 CPUtime=0.69 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 5989 0 0 0 66 3 0 0 20 0 19 0 182256745 19498610688 37303 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=19041612 memory=13196 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 182256748 19498610688 37303 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 182256748 19498610688 37303 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981744] ppid=981722 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/981725/task/981744/stat : 981744 (Timer-0) S 981722 981725 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 182256778 19498610688 37303 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 149212 KiB

[startup+1.50349 s]
/proc/loadavg: 4.37 4.25 4.20 6/329 981746
/proc/meminfo: memFree=95585224/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=19108176 memory=189884 CPUtime=2.69 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 18815 0 0 0 263 6 0 0 20 0 20 0 182256745 19566772224 47471 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4777044 47471 5891 1 0 553715 0
[pid=981725/tid=981727] ppid=981722 vsize=19108176 memory=13196 CPUtime=1.46 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 6381 0 0 0 142 4 0 0 20 0 20 0 182256745 19566772224 47471 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 47471 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 47471 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981744] ppid=981722 vsize=19108176 memory=279941405123856 CPUtime=0 cores=5,7
/proc/981725/task/981744/stat : 981744 (Timer-0) S 981722 981725 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182256778 19566772224 47471 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189884 KiB

[startup+3.10572 s]
/proc/loadavg: 4.34 4.24 4.20 5/330 981747
/proc/meminfo: memFree=95563588/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=19108176 memory=190108 CPUtime=4.4 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 19443 0 0 0 433 7 0 0 20 0 20 0 182256745 19566772224 47527 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4777044 47527 5891 1 0 553716 0
[pid=981725/tid=981727] ppid=981722 vsize=19108176 memory=0 CPUtime=3.06 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 6667 0 0 0 302 4 0 0 20 0 20 0 182256745 19566772224 47527 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=19108176 memory=13196 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 47527 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 47527 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981744] ppid=981722 vsize=19108176 memory=11544 CPUtime=0 cores=5,7
/proc/981725/task/981744/stat : 981744 (Timer-0) S 981722 981725 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182256778 19566772224 47527 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 4.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190108 KiB

[startup+6.30029 s]
/proc/loadavg: 4.34 4.24 4.20 5/330 981747
/proc/meminfo: memFree=95512580/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=19108176 memory=241284 CPUtime=7.68 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 20784 0 0 0 760 8 0 0 20 0 20 0 182256745 19566772224 60321 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4777044 60321 5891 1 0 553716 0
[pid=981725/tid=981727] ppid=981722 vsize=19108176 memory=13196 CPUtime=6.17 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 6712 0 0 0 613 4 0 0 20 0 20 0 182256745 19566772224 60321 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 60321 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=19108176 memory=189884 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 60321 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981744] ppid=981722 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/981725/task/981744/stat : 981744 (Timer-0) S 981722 981725 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182256778 19566772224 60321 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 7.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 241284 KiB

[startup+12.7003 s]
/proc/loadavg: 4.31 4.24 4.20 5/330 981748
/proc/meminfo: memFree=95362320/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=19108176 memory=390868 CPUtime=14.19 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 22933 0 0 0 1408 11 0 0 20 0 20 0 182256745 19566772224 97717 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4777044 97717 5891 1 0 553716 0
[pid=981725/tid=981727] ppid=981722 vsize=19108176 memory=0 CPUtime=12.41 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 7488 0 0 0 1237 4 0 0 20 0 20 0 182256745 19566772224 97717 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=19108176 memory=-9032922790551134908 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 97717 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=19108176 memory=2320 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 97717 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981744] ppid=981722 vsize=19108176 memory=11544 CPUtime=0 cores=5,7
/proc/981725/task/981744/stat : 981744 (Timer-0) S 981722 981725 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182256778 19566772224 97717 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 14.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 390868 KiB

[startup+25.5003 s]
/proc/loadavg: 4.38 4.26 4.20 5/330 981750
/proc/meminfo: memFree=95126136/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=19108176 memory=624560 CPUtime=27.18 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 28438 0 0 0 2703 15 0 0 20 0 20 0 182256745 19566772224 156140 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4777044 156140 5918 1 0 553732 0
[pid=981725/tid=981727] ppid=981722 vsize=19108176 memory=11544 CPUtime=24.97 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 8839 0 0 0 2493 4 0 0 20 0 20 0 182256745 19566772224 156140 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=19108176 memory=11544 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 156140 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=19108176 memory=241284 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 156140 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981744] ppid=981722 vsize=19108176 memory=279941405070640 CPUtime=0 cores=5,7
/proc/981725/task/981744/stat : 981744 (Timer-0) S 981722 981725 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182256778 19566772224 156140 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 27.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 624560 KiB

[startup+51.1058 s]
/proc/loadavg: 4.25 4.24 4.20 5/332 981759
/proc/meminfo: memFree=94426720/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=19108176 memory=1321848 CPUtime=53.23 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 32572 0 0 0 5292 31 0 0 20 0 20 0 182256745 19566772224 330462 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4777044 330462 5918 1 0 660250 0
[pid=981725/tid=981727] ppid=981722 vsize=19108176 memory=940088 CPUtime=49.95 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 10628 0 0 0 4989 6 0 0 20 0 20 0 182256745 19566772224 330462 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=19108176 memory=45052 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 330462 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0

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

/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 1852716 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=19108176 memory=7404712 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 1341 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 1852716 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981744] ppid=981722 vsize=19108176 memory=7406764 CPUtime=0 cores=5,7
/proc/981725/task/981744/stat : 981744 (Timer-0) S 981722 981725 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182256778 19566772224 1852716 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 3234.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7410864 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/331 983794
/proc/meminfo: memFree=91804408/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=19108176 memory=7410864 CPUtime=3294.79 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 202822 0 0 0 329185 294 0 0 20 0 20 0 182256745 19566772224 1852716 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4777044 1852716 5918 1 0 2547909 0
[pid=981725/tid=981727] ppid=981722 vsize=19108176 memory=7410864 CPUtime=3250.88 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 77579 0 0 0 325037 51 0 0 20 0 20 0 182256745 19566772224 1852716 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=19108176 memory=7410864 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 1852716 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=19108176 memory=5472 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 1427 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 1852716 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981744] ppid=981722 vsize=19108176 memory=7410864 CPUtime=0 cores=5,7
/proc/981725/task/981744/stat : 981744 (Timer-0) S 981722 981725 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182256778 19566772224 1852716 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 3294.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7410864 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.17 4.18 5/331 983805
/proc/meminfo: memFree=91714092/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=19108176 memory=7410864 CPUtime=3354.79 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 205672 0 0 0 335181 298 0 0 20 0 20 0 182256745 19566772224 1852716 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4777044 1852716 5918 1 0 2547909 0
[pid=981725/tid=981727] ppid=981722 vsize=19108176 memory=7410864 CPUtime=3310.61 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 78233 0 0 0 331010 51 0 0 20 0 20 0 182256745 19566772224 1852716 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=19108176 memory=7410864 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 1852716 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=19108176 memory=45336 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 1434 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 1852716 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981744] ppid=981722 vsize=19108176 memory=7410864 CPUtime=0 cores=5,7
/proc/981725/task/981744/stat : 981744 (Timer-0) S 981722 981725 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182256778 19566772224 1852716 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 3354.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7410864 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/330 983815
/proc/meminfo: memFree=91654176/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=19108176 memory=7468216 CPUtime=3414.84 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 206896 0 0 0 341182 302 0 0 20 0 20 0 182256745 19566772224 1867054 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4777044 1867054 5918 1 0 2547909 0
[pid=981725/tid=981727] ppid=981722 vsize=19108176 memory=7410864 CPUtime=3369.95 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 79048 0 0 0 336944 51 0 0 20 0 20 0 182256745 19566772224 1867054 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=19108176 memory=45336 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 1867054 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=19108176 memory=7468216 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 1435 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 1867054 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981744] ppid=981722 vsize=19108176 memory=7468216 CPUtime=0 cores=5,7
/proc/981725/task/981744/stat : 981744 (Timer-0) S 981722 981725 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182256778 19566772224 1867054 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 3414.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7468216 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.19 4.18 5/330 983825
/proc/meminfo: memFree=91397408/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=19108176 memory=7722168 CPUtime=3474.69 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 207645 0 0 0 347159 310 0 0 20 0 20 0 182256745 19566772224 1930542 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4777044 1930542 5918 1 0 2547909 0
[pid=981725/tid=981727] ppid=981722 vsize=19108176 memory=7410864 CPUtime=3429.27 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 79658 0 0 0 342876 51 0 0 20 0 20 0 182256745 19566772224 1930542 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=19108176 memory=45336 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 1930542 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=19108176 memory=7468216 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 1435 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 1930542 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981744] ppid=981722 vsize=19108176 memory=11544 CPUtime=0 cores=5,7
/proc/981725/task/981744/stat : 981744 (Timer-0) S 981722 981725 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182256778 19566772224 1930542 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 3474.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7722168 KiB

[startup+3522.3 s]
/proc/loadavg: 4.50 4.28 4.21 5/330 983836
/proc/meminfo: memFree=90884176/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=19108176 memory=8234168 CPUtime=3534.81 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 211525 0 0 0 353159 322 0 0 20 0 20 0 182256745 19566772224 2058542 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4777044 2058542 5918 1 0 2547909 0
[pid=981725/tid=981727] ppid=981722 vsize=19108176 memory=7804088 CPUtime=3488.37 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 80895 0 0 0 348786 51 0 0 20 0 20 0 182256745 19566772224 2058542 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=19108176 memory=7804088 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 2058542 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=19108176 memory=2320 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 1523 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 2058542 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981744] ppid=981722 vsize=19108176 memory=11544 CPUtime=0 cores=5,7
/proc/981725/task/981744/stat : 981744 (Timer-0) S 981722 981725 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182256778 19566772224 2058542 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 3534.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8234168 KiB

[startup+3582.3 s]
/proc/loadavg: 4.35 4.27 4.21 5/330 983846
/proc/meminfo: memFree=90481196/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=19108176 memory=8514744 CPUtime=3594.92 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 212749 0 0 0 359162 330 0 0 20 0 20 0 182256745 19566772224 2128686 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4777044 2128686 5918 1 0 2547909 0
[pid=981725/tid=981727] ppid=981722 vsize=19108176 memory=8234168 CPUtime=3547.92 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 81911 0 0 0 354740 52 0 0 20 0 20 0 182256745 19566772224 2128686 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=19108176 memory=45336 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 2128686 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=19108176 memory=8445112 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 1553 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 2128686 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981744] ppid=981722 vsize=19108176 memory=11544 CPUtime=0 cores=5,7
/proc/981725/task/981744/stat : 981744 (Timer-0) S 981722 981725 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182256778 19566772224 2128686 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 3594.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8514744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3587.4 s]
/proc/loadavg: 4.32 4.27 4.21 5/330 983846
/proc/meminfo: memFree=90442216/131524600 swapFree=131071996/131071996
[pid=981725] ppid=981722 vsize=19108176 memory=8514744 CPUtime=3600.01 cores=5,7
/proc/981725/stat : 981725 (java) S 981722 981725 975533 0 -1 1077936128 212753 0 0 0 359671 330 0 0 20 0 20 0 182256745 19566772224 2128686 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
/proc/981725/statm: 4777044 2128686 5918 1 0 2547909 0
[pid=981725/tid=981727] ppid=981722 vsize=19108176 memory=32196 CPUtime=3553.01 cores=5,7
/proc/981725/task/981727/stat : 981727 (java) R 981722 981725 975533 0 -1 4194368 81913 0 0 0 355249 52 0 0 20 0 20 0 182256745 19566772224 2128686 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981736] ppid=981722 vsize=19108176 memory=1812 CPUtime=0 cores=5,7
/proc/981725/task/981736/stat : 981736 (Finalizer) S 981722 981725 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 2128686 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981743] ppid=981722 vsize=19108176 memory=2244 CPUtime=0 cores=5,7
/proc/981725/task/981743/stat : 981743 (Common-Cleaner) S 981722 981725 975533 0 -1 1077936192 1553 0 0 0 0 0 0 0 20 0 20 0 182256748 19566772224 2128686 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
[pid=981725/tid=981744] ppid=981722 vsize=19108176 memory=-9032922790551134908 CPUtime=0 cores=5,7
/proc/981725/task/981744/stat : 981744 (Timer-0) S 981722 981725 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182256778 19566772224 2128686 134679101440 94018491248640 94018491252336 140728092930448 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94018491260152 94018491260944 94018519404544 140728092939270 140728092939360 140728092939360 140728092946376 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8514744 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.86 s, system=3.33121 s

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

[startup+3587.51 s]*
/proc/loadavg: 4.32 4.27 4.21 5/312 983849
/proc/meminfo: memFree=98717460/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3587.52
CPU time (s): 3600.19
CPU user time (s): 3596.86
CPU system time (s): 3.33121
CPU usage (%): 100.353
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 8514744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.86
system time used= 3.33121
maximum resident set size= 8516512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215803
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109704
involuntary context switches= 9798


# summary of solver processes directly reported to runsolver:
#   pid: 981725
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3596.86
#   total CPU system time (s): 3.33121

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33817 second user time and 18.9982 second system time

The end