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: 64059 MiB (61958 MiB free)
  memory of node 1: 64510 MiB (57817 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456600-1721725442/watcher-4456600-1721725442 -o /tmp/evaluation-result-4456600-1721725442/solver-4456600-1721725442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721725441-83474 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4456600-1721725442.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100506 s]*
/proc/loadavg: 1.73 1.94 2.20 10/300 83783
/proc/meminfo: memFree=122300512/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=18975048 memory=55952 CPUtime=0.13 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 6441 0 0 0 9 4 0 0 20 0 18 0 8533861 19430449152 13988 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4743762 13988 5652 1 0 550803 0
[pid=83765/tid=83767] ppid=83762 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 5365 0 0 0 6 3 0 0 20 0 18 0 8533861 19430449152 13988 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=18975048 memory=707 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8533867 19430449152 13988 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=18975048 memory=16102571999761061 CPUtime=0 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8533868 19430449152 13988 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55952 KiB

[startup+0.215301 s]*
/proc/loadavg: 1.73 1.94 2.20 10/301 83784
/proc/meminfo: memFree=121870464/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=18975048 memory=65568 CPUtime=0.35 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 7346 0 0 0 30 5 0 0 20 0 18 0 8533861 19430449152 16392 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4743762 16392 5680 1 0 551540 0
[pid=83765/tid=83767] ppid=83762 vsize=18975048 memory=8026368251766898807 CPUtime=0.21 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 5882 0 0 0 17 4 0 0 20 0 18 0 8533861 19430449152 16392 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=18975048 memory=219966341515 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8533867 19430449152 16392 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=18975048 memory=35986 CPUtime=0 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8533868 19430449152 16392 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65568 KiB

[startup+0.332954 s]*
/proc/loadavg: 1.73 1.94 2.20 9/301 83784
/proc/meminfo: memFree=121495756/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=18975048 memory=77296 CPUtime=0.55 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 7619 0 0 0 49 6 0 0 20 0 18 0 8533861 19430449152 19324 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4743762 19324 5733 1 0 551730 0
[pid=83765/tid=83767] ppid=83762 vsize=18975048 memory=-6000919498459408743 CPUtime=0.31 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 6066 0 0 0 27 4 0 0 20 0 18 0 8533861 19430449152 19324 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8533867 19430449152 19324 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8533868 19430449152 19324 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 77296 KiB

[startup+0.700438 s]
/proc/loadavg: 1.73 1.94 2.20 10/301 83784
/proc/meminfo: memFree=121185828/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19041612 memory=172120 CPUtime=1.21 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 9315 0 0 0 112 9 0 0 20 0 19 0 8533861 19498610688 43030 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4760403 43030 5849 1 0 553066 0
[pid=83765/tid=83767] ppid=83762 vsize=19041612 memory=5468 CPUtime=0.62 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 6123 0 0 0 56 6 0 0 20 0 19 0 8533861 19498610688 43030 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=19041612 memory=11904 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8533867 19498610688 43030 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8533868 19498610688 43030 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 172120 KiB

[startup+1.50029 s]
/proc/loadavg: 1.73 1.94 2.20 9/300 83785
/proc/meminfo: memFree=119851508/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19041612 memory=989656 CPUtime=2.78 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 20937 0 0 0 249 29 0 0 20 0 19 0 8533861 19498610688 247414 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4760403 247414 5865 1 0 559008 0
[pid=83765/tid=83767] ppid=83762 vsize=19041612 memory=11904 CPUtime=1.38 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 6507 0 0 0 115 23 0 0 20 0 19 0 8533861 19498610688 247414 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8533867 19498610688 247414 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8533868 19498610688 247414 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 989656 KiB

[startup+3.10629 s]
/proc/loadavg: 1.73 1.94 2.20 5/324 83814
/proc/meminfo: memFree=111457348/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19041612 memory=2929324 CPUtime=4.73 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 23493 0 0 0 403 70 0 0 20 0 19 0 8533861 19498610688 732331 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4760403 732331 5881 1 0 993502 0
[pid=83765/tid=83767] ppid=83762 vsize=19041612 memory=0 CPUtime=2.88 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 7449 0 0 0 225 63 0 0 20 0 19 0 8533861 19498610688 732331 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=19041612 memory=11904 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8533867 19498610688 732331 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=19041612 memory=140649643005489 CPUtime=0 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8533868 19498610688 732331 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2929324 KiB

[startup+6.30029 s]
/proc/loadavg: 1.99 1.99 2.21 5/324 83814
/proc/meminfo: memFree=106947924/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19041612 memory=3419224 CPUtime=8 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 24313 0 0 0 719 81 0 0 20 0 19 0 8533861 19498610688 854806 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4760403 854806 5881 1 0 1118841 0
[pid=83765/tid=83767] ppid=83762 vsize=19041612 memory=164 CPUtime=5.69 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 7755 0 0 0 496 73 0 0 20 0 19 0 8533861 19498610688 854806 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=19041612 memory=1223304 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8533867 19498610688 854806 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=19041612 memory=224194199869 CPUtime=0 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8533868 19498610688 854806 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3419224 KiB

[startup+12.7004 s]
/proc/loadavg: 2.15 2.03 2.22 6/324 83815
/proc/meminfo: memFree=101915132/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19041612 memory=5765964 CPUtime=14.64 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 26863 0 0 0 1337 127 0 0 20 0 19 0 8533861 19498610688 1441491 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4760403 1441491 5881 1 0 1712095 0
[pid=83765/tid=83767] ppid=83762 vsize=19041612 memory=5761868 CPUtime=11.63 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 9261 0 0 0 1045 118 0 0 20 0 19 0 8533861 19498610688 1441491 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=19041612 memory=2929324 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8533867 19498610688 1441491 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=19041612 memory=33312 CPUtime=0 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8533868 19498610688 1441491 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 14.64 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5765964 KiB

[startup+25.5005 s]
/proc/loadavg: 2.72 2.16 2.26 5/324 83818
/proc/meminfo: memFree=101014832/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19041612 memory=5811268 CPUtime=27.86 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 28414 0 0 0 2657 129 0 0 20 0 19 0 8533861 19498610688 1452817 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4760403 1452817 5881 1 0 1712097 0
[pid=83765/tid=83767] ppid=83762 vsize=19041612 memory=5800828 CPUtime=23.76 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 10621 0 0 0 2257 119 0 0 20 0 19 0 8533861 19498610688 1452817 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=19041612 memory=5798780 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8533867 19498610688 1452817 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=19041612 memory=5792636 CPUtime=0 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8533868 19498610688 1452817 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 27.86 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5811268 KiB

[startup+51.1145 s]
/proc/loadavg: 3.36 2.35 2.32 5/326 83824
/proc/meminfo: memFree=98579836/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19041612 memory=7084604 CPUtime=53.79 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 34295 0 0 0 5221 158 0 0 20 0 19 0 8533861 19498610688 1771151 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4760403 1771151 5881 1 0 2025435 0
[pid=83765/tid=83767] ppid=83762 vsize=19041612 memory=6714892 CPUtime=47.96 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 13962 0 0 0 4653 143 0 0 20 0 19 0 8533861 19498610688 1771151 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=19041612 memory=6725308 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8533867 19498610688 1771151 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=19041612 memory=6729404 CPUtime=0 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8533868 19498610688 1771151 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 53.79 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 7084604 KiB

[startup+102.3 s]
/proc/loadavg: 3.86 2.64 2.43 5/324 83833
/proc/meminfo: memFree=97985180/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19041612 memory=7148452 CPUtime=105.49 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 42720 0 0 0 10380 169 0 0 20 0 19 0 8533861 19498610688 1787113 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4760403 1787113 5881 1 0 2025435 0
[pid=83765/tid=83767] ppid=83762 vsize=19041612 memory=-6000919498409077095 CPUtime=97.39 cores=5,7

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

/proc/meminfo: memFree=101097064/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19174740 memory=7975132 CPUtime=3293.33 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 251750 0 0 0 328818 515 0 0 20 0 21 0 8533861 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4793685 1993783 5921 1 0 2027424 0
[pid=83765/tid=83767] ppid=83762 vsize=19174740 memory=7975132 CPUtime=3242.77 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 105759 0 0 0 324092 185 0 0 20 0 21 0 8533861 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=19174740 memory=7975132 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 8533867 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=19174740 memory=16060 CPUtime=0.01 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 5992 0 0 0 0 1 0 0 20 0 21 0 8533868 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=84678] ppid=83762 vsize=19174740 memory=16060 CPUtime=0 cores=5,7
/proc/83765/task/84678/stat : 84678 (Timer-0) S 83762 83765 78798 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 21 0 8685248 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 3293.33 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7975132 KiB

[startup+3342.3 s]
/proc/loadavg: 3.18 3.19 3.21 4/296 85624
/proc/meminfo: memFree=101096944/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19174740 memory=7975132 CPUtime=3353.16 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 252595 0 0 0 334797 519 0 0 20 0 21 0 8533861 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4793685 1993783 5921 1 0 2027424 0
[pid=83765/tid=83767] ppid=83762 vsize=19174740 memory=0 CPUtime=3302.52 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 106024 0 0 0 330067 185 0 0 20 0 21 0 8533861 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=19174740 memory=7975132 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 8533867 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=19174740 memory=19528 CPUtime=0.01 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 6138 0 0 0 0 1 0 0 20 0 21 0 8533868 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=84678] ppid=83762 vsize=19174740 memory=1992 CPUtime=0 cores=5,7
/proc/83765/task/84678/stat : 84678 (Timer-0) S 83762 83765 78798 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 21 0 8685248 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 3353.16 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7975132 KiB

[startup+3402.3 s]
/proc/loadavg: 3.14 3.17 3.20 4/296 85636
/proc/meminfo: memFree=101096488/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19174740 memory=7975132 CPUtime=3413 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 253387 0 0 0 340776 524 0 0 20 0 21 0 8533861 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4793685 1993783 5921 1 0 2027424 0
[pid=83765/tid=83767] ppid=83762 vsize=19174740 memory=7975132 CPUtime=3362.28 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 106300 0 0 0 336043 185 0 0 20 0 21 0 8533861 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=19174740 memory=1992 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 8533867 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=19174740 memory=7975132 CPUtime=0.01 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 6284 0 0 0 0 1 0 0 20 0 21 0 8533868 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=84678] ppid=83762 vsize=19174740 memory=7975132 CPUtime=0 cores=5,7
/proc/83765/task/84678/stat : 84678 (Timer-0) S 83762 83765 78798 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 21 0 8685248 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 3413 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7975132 KiB

[startup+3462.3 s]
/proc/loadavg: 3.17 3.17 3.20 4/295 85658
/proc/meminfo: memFree=101096224/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19174740 memory=7975132 CPUtime=3472.83 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 254242 0 0 0 346754 529 0 0 20 0 21 0 8533861 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4793685 1993783 5921 1 0 2027424 0
[pid=83765/tid=83767] ppid=83762 vsize=19174740 memory=7975132 CPUtime=3422.04 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 106617 0 0 0 342019 185 0 0 20 0 21 0 8533861 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=19174740 memory=1992 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 8533867 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=19174740 memory=7975132 CPUtime=0.01 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 6431 0 0 0 0 1 0 0 20 0 21 0 8533868 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=84678] ppid=83762 vsize=19174740 memory=7975132 CPUtime=0 cores=5,7
/proc/83765/task/84678/stat : 84678 (Timer-0) S 83762 83765 78798 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 21 0 8685248 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 3472.83 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7975132 KiB

[startup+3522.3 s]
/proc/loadavg: 3.35 3.20 3.20 4/295 85668
/proc/meminfo: memFree=101095928/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19174740 memory=7975132 CPUtime=3532.67 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 255121 0 0 0 352733 534 0 0 20 0 21 0 8533861 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4793685 1993783 5921 1 0 2027424 0
[pid=83765/tid=83767] ppid=83762 vsize=19174740 memory=7975132 CPUtime=3481.79 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 106911 0 0 0 347994 185 0 0 20 0 21 0 8533861 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=19174740 memory=7975132 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 8533867 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=19174740 memory=11644 CPUtime=0.01 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 6577 0 0 0 0 1 0 0 20 0 21 0 8533868 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=84678] ppid=83762 vsize=19174740 memory=11904 CPUtime=0 cores=5,7
/proc/83765/task/84678/stat : 84678 (Timer-0) S 83762 83765 78798 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 21 0 8685248 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 3532.67 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7975132 KiB

[startup+3582.3 s]
/proc/loadavg: 3.58 3.30 3.23 4/293 85679
/proc/meminfo: memFree=101095664/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19174740 memory=7975132 CPUtime=3592.51 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 255954 0 0 0 358712 539 0 0 20 0 21 0 8533861 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4793685 1993783 5921 1 0 2027424 0
[pid=83765/tid=83767] ppid=83762 vsize=19174740 memory=7975132 CPUtime=3541.55 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 107159 0 0 0 353970 185 0 0 20 0 21 0 8533861 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=19174740 memory=7975132 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 8533867 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=19174740 memory=33312 CPUtime=0.01 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 6723 0 0 0 0 1 0 0 20 0 21 0 8533868 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=84678] ppid=83762 vsize=19174740 memory=11644 CPUtime=0 cores=5,7
/proc/83765/task/84678/stat : 84678 (Timer-0) S 83762 83765 78798 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 21 0 8685248 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 3592.51 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7975132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3589.9 s]
/proc/loadavg: 3.53 3.30 3.23 4/293 85679
/proc/meminfo: memFree=101095648/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19174740 memory=7975132 CPUtime=3600.08 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 256005 0 0 0 359469 539 0 0 20 0 21 0 8533861 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4793685 1993783 5921 1 0 2027424 0
[pid=83765/tid=83767] ppid=83762 vsize=19174740 memory=33312 CPUtime=3549.12 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 107210 0 0 0 354727 185 0 0 20 0 21 0 8533861 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=19174740 memory=11904 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 8533867 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=19174740 memory=7975132 CPUtime=0.01 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 6723 0 0 0 0 1 0 0 20 0 21 0 8533868 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=84678] ppid=83762 vsize=19174740 memory=3272 CPUtime=0 cores=5,7
/proc/83765/task/84678/stat : 84678 (Timer-0) S 83762 83765 78798 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 21 0 8685248 19634933760 1993783 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7975132 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.04 s, system=5.44021 s

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

[startup+3590 s]*
/proc/loadavg: 3.57 3.31 3.24 6/271 85695
/proc/meminfo: memFree=107837548/131655788 swapFree=131071996/131071996
[pid=83765] ppid=83762 vsize=19374432 memory=7975828 CPUtime=3600.29 cores=5,7
/proc/83765/stat : 83765 (java) S 83762 83765 78798 0 -1 1077936128 259197 0 0 0 359489 540 0 0 20 0 22 0 8533861 19839418368 1993957 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
/proc/83765/statm: 4843608 1993957 5920 1 0 2028311 0
[pid=83765/tid=83767] ppid=83762 vsize=19374432 memory=-6000919498442828135 CPUtime=3549.24 cores=5,7
/proc/83765/task/83767/stat : 83767 (java) R 83762 83765 78798 0 -1 4194368 107210 0 0 0 354739 185 0 0 20 0 22 0 8533861 19839418368 1993957 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83776] ppid=83762 vsize=19374432 memory=11520 CPUtime=0 cores=5,7
/proc/83765/task/83776/stat : 83776 (Finalizer) S 83762 83765 78798 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 8533867 19839418368 1993957 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=83783] ppid=83762 vsize=19374432 memory=11320 CPUtime=0.01 cores=5,7
/proc/83765/task/83783/stat : 83783 (Common-Cleaner) S 83762 83765 78798 0 -1 1077936192 6723 0 0 0 0 1 0 0 20 0 22 0 8533868 19839418368 1993957 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
[pid=83765/tid=85689] ppid=83762 vsize=19374432 memory=11520 CPUtime=0.02 cores=5,7
/proc/83765/task/85689/stat : 85689 (Thread-0) R 83762 83765 78798 0 -1 4194368 518 0 0 0 2 0 0 0 20 0 22 0 8892852 19839418368 1993957 134679101440 94553993658368 94553993662064 140722622366832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94553993669880 94553993670672 94554007375872 140722622374900 140722622375008 140722622375008 140722622382024 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 7975828 KiB

Child status: 143

Real time (s): 3590.12
CPU time (s): 3600.48
CPU user time (s): 3595.04
CPU system time (s): 5.44021
CPU usage (%): 100.288
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 7975828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.04
system time used= 5.4402
maximum resident set size= 7977128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259826
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 226966
involuntary context switches= 8258


# summary of solver processes directly reported to runsolver:
#   pid: 83765
#   total CPU time (s): 3600.48
#   total CPU user time (s): 3595.04
#   total CPU system time (s): 5.44021

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5243 second user time and 39.0295 second system time

The end