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

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

solver pid=1078059, runsolver pid=1078056

[startup+0.100724 s]*
/proc/loadavg: 4.26 4.20 4.13 5/332 1078077
/proc/meminfo: memFree=123506060/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=18975048 memory=62980 CPUtime=0.13 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 7218 0 0 0 12 1 0 0 20 0 18 0 195135668 19430449152 15745 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4743762 15745 5631 1 0 549343 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 1078198336 5738 0 0 0 7 1 0 0 20 0 18 0 195135669 19430449152 15745 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 195135671 19430449152 15745 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=18975048 memory=13564899112540450 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 195135672 19430449152 15745 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62980 KiB

[startup+0.206529 s]*
/proc/loadavg: 4.26 4.20 4.13 6/333 1078078
/proc/meminfo: memFree=123499260/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19041612 memory=70248 CPUtime=0.33 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 9052 0 0 0 31 2 0 0 20 0 19 0 195135668 19498610688 17562 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4760403 17562 5830 1 0 550670 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19041612 memory=6876556183782621315 CPUtime=0.18 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 4194368 5927 0 0 0 17 1 0 0 20 0 19 0 195135669 19498610688 17562 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19041612 memory=17016 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195135671 19498610688 17562 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19041612 memory=14971170189477532 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 195135672 19498610688 17562 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078078] ppid=1078056 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1078059/task/1078078/stat : 1078078 (Timer-0) S 1078056 1078059 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195135682 19498610688 17562 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70248 KiB

[startup+0.328111 s]*
/proc/loadavg: 4.26 4.20 4.13 7/333 1078078
/proc/meminfo: memFree=123497916/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19041612 memory=71568 CPUtime=0.57 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 9360 0 0 0 55 2 0 0 20 0 19 0 195135668 19498610688 17892 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4760403 17892 5830 1 0 550859 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19041612 memory=-7234854108930205287 CPUtime=0.29 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 4194368 5930 0 0 0 28 1 0 0 20 0 19 0 195135669 19498610688 17892 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195135671 19498610688 17892 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 195135672 19498610688 17892 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078078] ppid=1078056 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1078059/task/1078078/stat : 1078078 (Timer-0) S 1078056 1078059 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195135682 19498610688 17892 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71568 KiB

[startup+0.700515 s]
/proc/loadavg: 4.26 4.20 4.13 6/333 1078078
/proc/meminfo: memFree=123479928/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19041612 memory=89416 CPUtime=1.27 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 13469 0 0 0 124 3 0 0 20 0 19 0 195135668 19498610688 22354 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4760403 22354 5830 1 0 553825 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19041612 memory=46816 CPUtime=0.64 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 4194368 5971 0 0 0 63 1 0 0 20 0 19 0 195135669 19498610688 22354 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19041612 memory=13116 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195135671 19498610688 22354 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19041612 memory=2212 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 195135672 19498610688 22354 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078078] ppid=1078056 vsize=19041612 memory=1900 CPUtime=0 cores=5,7
/proc/1078059/task/1078078/stat : 1078078 (Timer-0) S 1078056 1078059 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195135682 19498610688 22354 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89416 KiB

[startup+1.50051 s]
/proc/loadavg: 4.26 4.20 4.13 6/333 1078078
/proc/meminfo: memFree=123470804/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19041612 memory=96164 CPUtime=2.23 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 14027 0 0 0 220 3 0 0 20 0 19 0 195135668 19498610688 24041 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4760403 24041 5830 1 0 553827 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19041612 memory=13116 CPUtime=1.43 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 4194368 6312 0 0 0 142 1 0 0 20 0 19 0 195135669 19498610688 24041 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195135671 19498610688 24041 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19041612 memory=2212 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 195135672 19498610688 24041 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078078] ppid=1078056 vsize=19041612 memory=1900 CPUtime=0 cores=5,7
/proc/1078059/task/1078078/stat : 1078078 (Timer-0) S 1078056 1078059 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195135682 19498610688 24041 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96164 KiB

[startup+3.10557 s]
/proc/loadavg: 4.26 4.20 4.13 5/333 1078078
/proc/meminfo: memFree=123437788/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19041612 memory=106688 CPUtime=3.94 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 17010 0 0 0 390 4 0 0 20 0 19 0 195135668 19498610688 26672 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4760403 26672 5830 1 0 553827 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19041612 memory=0 CPUtime=3.03 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 4194368 6565 0 0 0 301 2 0 0 20 0 19 0 195135669 19498610688 26672 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19041612 memory=-7234854108930205287 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195135671 19498610688 26672 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19041612 memory=13116 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 195135672 19498610688 26672 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078078] ppid=1078056 vsize=19041612 memory=2212 CPUtime=0 cores=5,7
/proc/1078059/task/1078078/stat : 1078078 (Timer-0) S 1078056 1078059 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195135682 19498610688 26672 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 3.94 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 106688 KiB

[startup+6.30027 s]
/proc/loadavg: 4.24 4.19 4.13 6/333 1078080
/proc/meminfo: memFree=123396180/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19041612 memory=119444 CPUtime=7.18 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 18077 0 0 0 714 4 0 0 20 0 19 0 195135668 19498610688 29861 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4760403 29861 5843 1 0 553829 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19041612 memory=2212 CPUtime=6.21 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 4194368 6894 0 0 0 619 2 0 0 20 0 19 0 195135669 19498610688 29861 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195135671 19498610688 29861 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19041612 memory=13116 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 195135672 19498610688 29861 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078078] ppid=1078056 vsize=19041612 memory=-2832536777585008440 CPUtime=0 cores=5,7
/proc/1078059/task/1078078/stat : 1078078 (Timer-0) S 1078056 1078059 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195135682 19498610688 29861 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 7.18 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 119444 KiB

[startup+12.7003 s]
/proc/loadavg: 4.22 4.19 4.13 6/333 1078080
/proc/meminfo: memFree=123303748/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19041612 memory=152284 CPUtime=13.56 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 19958 0 0 0 1351 5 0 0 20 0 19 0 195135668 19498610688 38071 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4760403 38071 5843 1 0 553829 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19041612 memory=13116 CPUtime=12.6 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 4194368 7742 0 0 0 1257 3 0 0 20 0 19 0 195135669 19498610688 38071 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19041612 memory=135868 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195135671 19498610688 38071 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19041612 memory=46816 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 195135672 19498610688 38071 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078078] ppid=1078056 vsize=19041612 memory=13116 CPUtime=0 cores=5,7
/proc/1078059/task/1078078/stat : 1078078 (Timer-0) S 1078056 1078059 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195135682 19498610688 38071 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 13.56 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 152284 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.18 4.12 6/334 1078465
/proc/meminfo: memFree=122974576/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19108176 memory=177600 CPUtime=26.47 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 28073 0 0 0 2640 7 0 0 20 0 20 0 195135668 19566772224 44400 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4777044 44400 5891 1 0 554134 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19108176 memory=177596 CPUtime=25.36 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 4194368 8942 0 0 0 2532 4 0 0 20 0 20 0 195135669 19566772224 44400 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195135671 19566772224 44400 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19108176 memory=13116 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 195135672 19566772224 44400 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078078] ppid=1078056 vsize=19108176 memory=11396 CPUtime=0 cores=5,7
/proc/1078059/task/1078078/stat : 1078078 (Timer-0) S 1078056 1078059 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195135682 19566772224 44400 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 26.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177600 KiB

[startup+51.1056 s]
/proc/loadavg: 4.24 4.20 4.13 6/333 1078470
/proc/meminfo: memFree=122748452/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19108176 memory=182664 CPUtime=52.08 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 31139 0 0 0 5201 7 0 0 20 0 20 0 195135668 19566772224 45666 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4777044 45666 5891 1 0 554134 0

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

[startup+3282.3 s]
/proc/loadavg: 4.15 4.17 4.14 5/331 1080132
/proc/meminfo: memFree=123870696/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19108176 memory=1426856 CPUtime=3277.02 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 90639 0 0 0 327597 105 0 0 20 0 20 0 195135668 19566772224 356714 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4777044 356714 5923 1 0 554162 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19108176 memory=1406368 CPUtime=3272.55 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 4194368 41572 0 0 0 327243 12 0 0 20 0 20 0 195135669 19566772224 356714 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195135671 19566772224 356714 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19108176 memory=-7811033386257310311 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 3947 0 0 0 0 0 0 0 20 0 20 0 195135672 19566772224 356714 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078078] ppid=1078056 vsize=19108176 memory=11396 CPUtime=0 cores=5,7
/proc/1078059/task/1078078/stat : 1078078 (Timer-0) S 1078056 1078059 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195135682 19566772224 356714 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 3277.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1426856 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.17 4.14 5/333 1080146
/proc/meminfo: memFree=123543016/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19108176 memory=1473960 CPUtime=3336.88 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 91734 0 0 0 333581 107 0 0 20 0 20 0 195135668 19566772224 368490 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4777044 368490 5923 1 0 554162 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19108176 memory=47120 CPUtime=3332.38 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 4194368 42408 0 0 0 333225 13 0 0 20 0 20 0 195135669 19566772224 368490 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19108176 memory=1369504 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195135671 19566772224 368490 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19108176 memory=1471912 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 4060 0 0 0 0 0 0 0 20 0 20 0 195135672 19566772224 368490 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078078] ppid=1078056 vsize=19108176 memory=5516 CPUtime=0 cores=5,7
/proc/1078059/task/1078078/stat : 1078078 (Timer-0) S 1078056 1078059 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195135682 19566772224 368490 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 3336.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1473960 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.18 4.15 5/333 1080158
/proc/meminfo: memFree=123338504/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19108176 memory=1529260 CPUtime=3396.72 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 92882 0 0 0 339564 108 0 0 20 0 20 0 195135668 19566772224 382315 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4777044 382315 5923 1 0 554163 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19108176 memory=47120 CPUtime=3392.22 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 4194368 43255 0 0 0 339208 14 0 0 20 0 20 0 195135669 19566772224 382315 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19108176 memory=1369504 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195135671 19566772224 382315 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19108176 memory=1516972 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 4205 0 0 0 0 0 0 0 20 0 20 0 195135672 19566772224 382315 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078078] ppid=1078056 vsize=19108176 memory=1519020 CPUtime=0 cores=5,7
/proc/1078059/task/1078078/stat : 1078078 (Timer-0) S 1078056 1078059 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195135682 19566772224 382315 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 3396.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1529260 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.20 4.16 5/333 1080168
/proc/meminfo: memFree=123156892/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19108176 memory=1584612 CPUtime=3456.6 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 95693 0 0 0 345549 111 0 0 20 0 20 0 195135668 19566772224 396153 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4777044 396153 5923 1 0 554174 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19108176 memory=47120 CPUtime=3452.04 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 4194368 44310 0 0 0 345189 15 0 0 20 0 20 0 195135669 19566772224 396153 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19108176 memory=1369504 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195135671 19566772224 396153 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19108176 memory=1572324 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 4286 0 0 0 0 0 0 0 20 0 20 0 195135672 19566772224 396153 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078078] ppid=1078056 vsize=19108176 memory=1578468 CPUtime=0 cores=5,7
/proc/1078059/task/1078078/stat : 1078078 (Timer-0) S 1078056 1078059 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195135682 19566772224 396153 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 3456.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1584612 KiB

[startup+3522.3 s]
/proc/loadavg: 4.28 4.21 4.16 5/334 1080180
/proc/meminfo: memFree=122963068/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19108176 memory=1629668 CPUtime=3516.45 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 96474 0 0 0 351532 113 0 0 20 0 20 0 195135668 19566772224 407417 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4777044 407417 5923 1 0 554174 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19108176 memory=1578468 CPUtime=3511.87 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 4194368 44902 0 0 0 351171 16 0 0 20 0 20 0 195135669 19566772224 407417 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19108176 memory=1584612 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195135671 19566772224 407417 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19108176 memory=1566180 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 4302 0 0 0 0 0 0 0 20 0 20 0 195135672 19566772224 407417 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078078] ppid=1078056 vsize=19108176 memory=11396 CPUtime=0 cores=5,7
/proc/1078059/task/1078078/stat : 1078078 (Timer-0) S 1078056 1078059 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195135682 19566772224 407417 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 3516.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1629668 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.21 4.17 5/334 1080191
/proc/meminfo: memFree=122703096/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19108176 memory=1684964 CPUtime=3576.31 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 97488 0 0 0 357516 115 0 0 20 0 20 0 195135668 19566772224 421241 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4777044 421241 5923 1 0 554174 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19108176 memory=11396 CPUtime=3571.7 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 4194368 45810 0 0 0 357153 17 0 0 20 0 20 0 195135669 19566772224 421241 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19108176 memory=1680868 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195135671 19566772224 421241 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19108176 memory=47120 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 4398 0 0 0 0 0 0 0 20 0 20 0 195135672 19566772224 421241 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078078] ppid=1078056 vsize=19108176 memory=47120 CPUtime=0 cores=5,7
/proc/1078059/task/1078078/stat : 1078078 (Timer-0) S 1078056 1078059 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195135682 19566772224 421241 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 3576.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1684964 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.11 s]
/proc/loadavg: 4.17 4.19 4.16 5/334 1080198
/proc/meminfo: memFree=122608220/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19108176 memory=1703396 CPUtime=3600.05 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 98214 0 0 0 359889 116 0 0 20 0 20 0 195135668 19566772224 425849 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4777044 425849 5923 1 0 554174 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19108176 memory=1652196 CPUtime=3595.44 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) R 1078056 1078059 1074922 0 -1 4194368 46355 0 0 0 359526 18 0 0 20 0 20 0 195135669 19566772224 425849 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19108176 memory=1560036 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195135671 19566772224 425849 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19108176 memory=1471912 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 4398 0 0 0 0 0 0 0 20 0 20 0 195135672 19566772224 425849 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078078] ppid=1078056 vsize=19108176 memory=1697252 CPUtime=0 cores=5,7
/proc/1078059/task/1078078/stat : 1078078 (Timer-0) S 1078056 1078059 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195135682 19566772224 425849 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1703396 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.03 s, system=1.18342 s

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

[startup+3606.21 s]
/proc/loadavg: 4.17 4.19 4.16 5/334 1080198
/proc/meminfo: memFree=122608220/131524600 swapFree=131071996/131071996
[pid=1078059] ppid=1078056 vsize=19307868 memory=1712568 CPUtime=3600.2 cores=5,7
/proc/1078059/stat : 1078059 (java) S 1078056 1078059 1074922 0 -1 1077936128 101435 0 0 0 359903 117 0 0 20 0 20 0 195135668 19771256832 428142 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
/proc/1078059/statm: 4826967 428142 5919 1 0 555135 0
[pid=1078059/tid=1078061] ppid=1078056 vsize=19307868 memory=-7811033386257310311 CPUtime=3595.46 cores=5,7
/proc/1078059/task/1078061/stat : 1078061 (java) S 1078056 1078059 1074922 0 -1 1077936192 46579 0 0 0 359528 18 0 0 20 0 20 0 195135669 19771256832 428142 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078070] ppid=1078056 vsize=19307868 memory=13116 CPUtime=0 cores=5,7
/proc/1078059/task/1078070/stat : 1078070 (Finalizer) S 1078056 1078059 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195135671 19771256832 428142 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
[pid=1078059/tid=1078077] ppid=1078056 vsize=19307868 memory=5464 CPUtime=0 cores=5,7
/proc/1078059/task/1078077/stat : 1078077 (Common-Cleaner) S 1078056 1078059 1074922 0 -1 1077936192 4398 0 0 0 0 0 0 0 20 0 20 0 195135672 19771256832 428142 134679101440 94244570898432 94244570902128 140724356278224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94244570909944 94244570910736 94244574826496 140724356285445 140724356285535 140724356285535 140724356292552 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1712568 KiB

Child status: 143

Real time (s): 3606.21
CPU time (s): 3600.22
CPU user time (s): 3599.03
CPU system time (s): 1.18342
CPU usage (%): 99.8337
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1712568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.03
system time used= 1.18342
maximum resident set size= 1713372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102113
involuntary context switches= 1976


# summary of solver processes directly reported to runsolver:
#   pid: 1078059
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3599.03
#   total CPU system time (s): 1.18342

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04473 second user time and 18.9897 second system time

The end