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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450894-1721425639/watcher-4450894-1721425639 -o /tmp/evaluation-result-4450894-1721425639/solver-4450894-1721425639 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074932 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4450894-1721425639.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
solver pid=1074981, runsolver pid=1074974
Current StackSize limit: 8192 KiB


[startup+0.102362 s]*
/proc/loadavg: 1.11 1.12 1.66 13/324 1075063
/proc/meminfo: memFree=127022248/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=18975048 memory=66872 CPUtime=0.14 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 7051 0 0 0 12 2 0 0 20 0 18 0 194732006 19430449152 16718 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4743762 16718 5710 1 0 549338 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 1078198336 5623 0 0 0 7 1 0 0 20 0 18 0 194732006 19430449152 16718 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=18975048 memory=17016 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194732009 19430449152 16718 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=18975048 memory=14971170189477532 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194732009 19430449152 16718 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66872 KiB

[startup+0.206767 s]*
/proc/loadavg: 1.11 1.12 1.66 14/325 1075064
/proc/meminfo: memFree=126948880/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=18975048 memory=82148 CPUtime=0.32 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 7965 0 0 0 30 2 0 0 20 0 18 0 194732006 19430449152 20537 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4743762 20537 5828 1 0 549857 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=18975048 memory=8603368907145347203 CPUtime=0.17 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 5809 0 0 0 16 1 0 0 20 0 18 0 194732006 19430449152 20537 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=18975048 memory=17016 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194732009 19430449152 20537 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=18975048 memory=14971170189477532 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194732009 19430449152 20537 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82148 KiB

[startup+0.306763 s]*
/proc/loadavg: 1.11 1.12 1.66 15/328 1075067
/proc/meminfo: memFree=126890868/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19041612 memory=99876 CPUtime=0.52 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 9112 0 0 0 49 3 0 0 20 0 19 0 194732006 19498610688 24969 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4760403 24969 5828 1 0 550904 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19041612 memory=-7523084485081981790 CPUtime=0.26 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 5850 0 0 0 25 1 0 0 20 0 19 0 194732006 19498610688 24969 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194732009 19498610688 24969 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194732009 19498610688 24969 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075066] ppid=1074974 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1074981/task/1075066/stat : 1075066 (Timer-0) S 1074974 1074981 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194732032 19498610688 24969 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 99876 KiB

[startup+0.702763 s]
/proc/loadavg: 1.11 1.12 1.66 10/328 1075067
/proc/meminfo: memFree=126855340/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19041612 memory=110456 CPUtime=1.28 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 11093 0 0 0 125 3 0 0 20 0 19 0 194732006 19498610688 27614 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4760403 27614 5844 1 0 552447 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19041612 memory=13116 CPUtime=0.63 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 5860 0 0 0 62 1 0 0 20 0 19 0 194732006 19498610688 27614 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=19041612 memory=13116 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194732009 19498610688 27614 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=19041612 memory=279290717725092 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194732009 19498610688 27614 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075066] ppid=1074974 vsize=19041612 memory=1900 CPUtime=0 cores=0,2
/proc/1074981/task/1075066/stat : 1075066 (Timer-0) S 1074974 1074981 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194732032 19498610688 27614 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110456 KiB

[startup+1.50077 s]
/proc/loadavg: 1.11 1.12 1.66 8/307 1075083
/proc/meminfo: memFree=126902128/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19041612 memory=128668 CPUtime=2.6 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 19614 0 0 0 256 4 0 0 20 0 19 0 194732006 19498610688 32167 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4760403 32167 5844 1 0 555432 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19041612 memory=13116 CPUtime=1.42 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 6245 0 0 0 140 2 0 0 20 0 19 0 194732006 19498610688 32167 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=19041612 memory=1900 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194732009 19498610688 32167 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194732009 19498610688 32167 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075066] ppid=1074974 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1074981/task/1075066/stat : 1075066 (Timer-0) S 1074974 1074981 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194732032 19498610688 32167 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 128668 KiB

[startup+3.10678 s]
/proc/loadavg: 1.11 1.12 1.66 6/328 1075135
/proc/meminfo: memFree=126721604/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19041612 memory=143084 CPUtime=4.32 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 20626 0 0 0 427 5 0 0 20 0 19 0 194732006 19498610688 35771 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4760403 35771 5844 1 0 555432 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19041612 memory=0 CPUtime=3.01 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 6525 0 0 0 299 2 0 0 20 0 19 0 194732006 19498610688 35771 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=19041612 memory=13116 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194732009 19498610688 35771 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194732009 19498610688 35771 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075066] ppid=1074974 vsize=19041612 memory=11396 CPUtime=0 cores=0,2
/proc/1074981/task/1075066/stat : 1075066 (Timer-0) S 1074974 1074981 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194732032 19498610688 35771 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 143084 KiB

[startup+6.30076 s]
/proc/loadavg: 1.34 1.17 1.67 6/329 1075136
/proc/meminfo: memFree=126611464/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19041612 memory=160416 CPUtime=7.49 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 20923 0 0 0 744 5 0 0 20 0 19 0 194732006 19498610688 40104 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4760403 40104 5876 1 0 555432 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19041612 memory=13116 CPUtime=6.17 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 6634 0 0 0 615 2 0 0 20 0 19 0 194732006 19498610688 40104 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194732009 19498610688 40104 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194732009 19498610688 40104 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075066] ppid=1074974 vsize=19041612 memory=11396 CPUtime=0 cores=0,2
/proc/1074981/task/1075066/stat : 1075066 (Timer-0) S 1074974 1074981 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194732032 19498610688 40104 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 7.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 160416 KiB

[startup+12.7008 s]
/proc/loadavg: 1.55 1.21 1.69 7/332 1075140
/proc/meminfo: memFree=126543000/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19108176 memory=189652 CPUtime=13.9 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 26494 0 0 0 1384 6 0 0 20 0 20 0 194732006 19566772224 47413 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4777044 47413 5892 1 0 555721 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19108176 memory=-7523084485082047582 CPUtime=12.49 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 7612 0 0 0 1247 2 0 0 20 0 20 0 194732006 19566772224 47413 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=19108176 memory=189640 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 47413 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=19108176 memory=13116 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 47413 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075066] ppid=1074974 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1074981/task/1075066/stat : 1075066 (Timer-0) S 1074974 1074981 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732032 19566772224 47413 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 13.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189652 KiB

[startup+25.5008 s]
/proc/loadavg: 2.10 1.35 1.72 6/332 1075142
/proc/meminfo: memFree=126478804/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19108176 memory=195836 CPUtime=26.59 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 29291 0 0 0 2652 7 0 0 20 0 20 0 194732006 19566772224 48959 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4777044 48959 5892 1 0 555721 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19108176 memory=195836 CPUtime=25.15 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 8666 0 0 0 2513 2 0 0 20 0 20 0 194732006 19566772224 48959 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=19108176 memory=189652 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 48959 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 48959 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075066] ppid=1074974 vsize=19108176 memory=46816 CPUtime=0 cores=0,2
/proc/1074981/task/1075066/stat : 1075066 (Timer-0) S 1074974 1074981 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732032 19566772224 48959 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 26.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195836 KiB

[startup+51.1068 s]
/proc/loadavg: 2.80 1.58 1.79 6/332 1075145
/proc/meminfo: memFree=126154184/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19108176 memory=269952 CPUtime=51.97 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 32542 0 0 0 5188 9 0 0 20 0 20 0 194732006 19566772224 67488 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4777044 67488 5892 1 0 555721 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19108176 memory=189652 CPUtime=50.38 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 10155 0 0 0 5035 3 0 0 20 0 20 0 194732006 19566772224 67488 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0

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

/proc/meminfo: memFree=120135564/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19108176 memory=2172596 CPUtime=3213.76 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 116495 0 0 0 321226 150 0 0 20 0 20 0 194732006 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4777044 543149 5892 1 0 557640 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19108176 memory=16236 CPUtime=3206.93 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 54076 0 0 0 320666 27 0 0 20 0 20 0 194732006 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=19108176 memory=13116 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=19108176 memory=2172596 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 3836 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075066] ppid=1074974 vsize=19108176 memory=2172596 CPUtime=0 cores=0,2
/proc/1074981/task/1075066/stat : 1075066 (Timer-0) S 1074974 1074981 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732032 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 3213.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172596 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.13 4.05 5/334 1077600
/proc/meminfo: memFree=119871828/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19108176 memory=2172596 CPUtime=3273.59 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 117594 0 0 0 327207 152 0 0 20 0 20 0 194732006 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4777044 543149 5892 1 0 557640 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19108176 memory=2172596 CPUtime=3266.74 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 54951 0 0 0 326646 28 0 0 20 0 20 0 194732006 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=19108176 memory=-7523084485082047582 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=19108176 memory=2172596 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 3941 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075066] ppid=1074974 vsize=19108176 memory=2172596 CPUtime=0 cores=0,2
/proc/1074981/task/1075066/stat : 1075066 (Timer-0) S 1074974 1074981 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732032 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 3273.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172596 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.05 5/334 1077611
/proc/meminfo: memFree=119610736/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19108176 memory=2172596 CPUtime=3333.4 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 118685 0 0 0 333187 153 0 0 20 0 20 0 194732006 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4777044 543149 5892 1 0 557640 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19108176 memory=11396 CPUtime=3326.53 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 55878 0 0 0 332625 28 0 0 20 0 20 0 194732006 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=19108176 memory=2172596 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=19108176 memory=-7523084485082047582 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 4042 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075066] ppid=1074974 vsize=19108176 memory=2172596 CPUtime=0 cores=0,2
/proc/1074981/task/1075066/stat : 1075066 (Timer-0) S 1074974 1074981 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732032 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172596 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.15 4.06 5/334 1077624
/proc/meminfo: memFree=119416448/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19108176 memory=2172596 CPUtime=3393.24 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 119765 0 0 0 339169 155 0 0 20 0 20 0 194732006 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4777044 543149 5892 1 0 557640 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19108176 memory=-7523084485082047582 CPUtime=3386.33 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 56800 0 0 0 338605 28 0 0 20 0 20 0 194732006 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=19108176 memory=46816 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=19108176 memory=2172596 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 4136 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075066] ppid=1074974 vsize=19108176 memory=32136 CPUtime=0 cores=0,2
/proc/1074981/task/1075066/stat : 1075066 (Timer-0) S 1074974 1074981 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732032 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 3393.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172596 KiB

[startup+3462.3 s]
/proc/loadavg: 4.56 4.29 4.12 5/334 1077634
/proc/meminfo: memFree=119281560/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19108176 memory=2172596 CPUtime=3453.05 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 120920 0 0 0 345149 156 0 0 20 0 20 0 194732006 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4777044 543149 5892 1 0 557640 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19108176 memory=-7523084485082047582 CPUtime=3446.12 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 57790 0 0 0 344584 28 0 0 20 0 20 0 194732006 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=19108176 memory=46816 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=19108176 memory=2172596 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 4237 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075066] ppid=1074974 vsize=19108176 memory=97 CPUtime=0 cores=0,2
/proc/1074981/task/1075066/stat : 1075066 (Timer-0) S 1074974 1074981 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732032 19566772224 543149 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172596 KiB

[startup+3522.3 s]
/proc/loadavg: 4.52 4.32 4.14 5/331 1077710
/proc/meminfo: memFree=120841104/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19108176 memory=2172600 CPUtime=3512.88 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 122165 0 0 0 351130 158 0 0 20 0 20 0 194732006 19566772224 543150 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4777044 543150 5892 1 0 557640 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19108176 memory=2172600 CPUtime=3505.92 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 58867 0 0 0 350564 28 0 0 20 0 20 0 194732006 19566772224 543150 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=19108176 memory=2172600 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543150 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=19108176 memory=46816 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 4338 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543150 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075066] ppid=1074974 vsize=19108176 memory=2172600 CPUtime=0 cores=0,2
/proc/1074981/task/1075066/stat : 1075066 (Timer-0) S 1074974 1074981 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732032 19566772224 543150 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172600 KiB

[startup+3582.3 s]
/proc/loadavg: 4.29 4.29 4.14 5/331 1077721
/proc/meminfo: memFree=120675368/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19108176 memory=2172600 CPUtime=3572.71 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 123539 0 0 0 357111 160 0 0 20 0 20 0 194732006 19566772224 543150 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4777044 543150 5892 1 0 557640 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19108176 memory=0 CPUtime=3565.71 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 59974 0 0 0 356543 28 0 0 20 0 20 0 194732006 19566772224 543150 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=19108176 memory=2091136 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543150 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 4439 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543150 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075066] ppid=1074974 vsize=19108176 memory=11396 CPUtime=0 cores=0,2
/proc/1074981/task/1075066/stat : 1075066 (Timer-0) S 1074974 1074981 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732032 19566772224 543150 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.18 4.26 4.13 5/330 1077792
/proc/meminfo: memFree=122555676/131524600 swapFree=131071996/131071996
[pid=1074981] ppid=1074974 vsize=19108176 memory=2172600 CPUtime=3600.05 cores=0,2
/proc/1074981/stat : 1074981 (java) S 1074974 1074981 1074922 0 -1 1077936128 124414 0 0 0 359844 161 0 0 20 0 20 0 194732006 19566772224 543150 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
/proc/1074981/statm: 4777044 543150 5892 1 0 557640 0
[pid=1074981/tid=1074996] ppid=1074974 vsize=19108176 memory=13116 CPUtime=3592.8 cores=0,2
/proc/1074981/task/1074996/stat : 1074996 (java) R 1074974 1074981 1074922 0 -1 4194368 60180 0 0 0 359252 28 0 0 20 0 20 0 194732006 19566772224 543150 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075030] ppid=1074974 vsize=19108176 memory=5464 CPUtime=0 cores=0,2
/proc/1074981/task/1075030/stat : 1075030 (Finalizer) S 1074974 1074981 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543150 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075061] ppid=1074974 vsize=19108176 memory=2172600 CPUtime=0 cores=0,2
/proc/1074981/task/1075061/stat : 1075061 (Common-Cleaner) S 1074974 1074981 1074922 0 -1 1077936192 4500 0 0 0 0 0 0 0 20 0 20 0 194732009 19566772224 543150 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
[pid=1074981/tid=1075066] ppid=1074974 vsize=19108176 memory=16236 CPUtime=0 cores=0,2
/proc/1074981/task/1075066/stat : 1075066 (Timer-0) S 1074974 1074981 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732032 19566772224 543150 134679101440 94463139774464 94463139778160 140722792403744 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94463139785976 94463139786768 94463149625344 140722792412165 140722792412255 140722792412255 140722792419272 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172600 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.56 s, system=1.62364 s

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

Child status: 143

Real time (s): 3609.69
CPU time (s): 3600.18
CPU user time (s): 3598.56
CPU system time (s): 1.62364
CPU usage (%): 99.7366
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2172600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.56
system time used= 1.62365
maximum resident set size= 2173588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102738
involuntary context switches= 27810


# summary of solver processes directly reported to runsolver:
#   pid: 1074981
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.56
#   total CPU system time (s): 1.62364

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.61365 second user time and 19.6302 second system time

The end