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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450864-1721418516/watcher-4450864-1721418516 -o /tmp/evaluation-result-4450864-1721418516/solver-4450864-1721418516 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721410942-1024582 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4450864-1721418516.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=1029735, runsolver pid=1029732
Current StackSize limit: 8192 KiB


[startup+0.101198 s]*
/proc/loadavg: 4.10 4.16 4.16 5/329 1029753
/proc/meminfo: memFree=127195208/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=18975048 memory=63028 CPUtime=0.14 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 7217 0 0 0 12 2 0 0 20 0 18 0 194017804 19430449152 15757 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4743762 15757 5636 1 0 549335 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 1078198336 5750 0 0 0 7 1 0 0 20 0 18 0 194017805 19430449152 15757 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=18975048 memory=228556276070 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194017807 19430449152 15757 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=18975048 memory=13845278874243994 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194017808 19430449152 15757 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63028 KiB

[startup+0.206505 s]*
/proc/loadavg: 4.10 4.16 4.16 7/329 1029753
/proc/meminfo: memFree=127183260/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=18975276 memory=76248 CPUtime=0.31 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 7854 0 0 0 29 2 0 0 20 0 18 0 194017804 19430682624 19062 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4743819 19062 5879 1 0 549843 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=18975276 memory=6876556183782621315 CPUtime=0.16 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 5901 0 0 0 15 1 0 0 20 0 18 0 194017805 19430682624 19127 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=18975276 memory=1676398 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194017807 19430682624 19127 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=18975276 memory=15544020042516215 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194017808 19430682624 19079 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975276 KiB
Current children cumulated memory: 76248 KiB

[startup+0.316542 s]*
/proc/loadavg: 4.10 4.16 4.16 7/330 1029754
/proc/meminfo: memFree=127156252/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19041612 memory=102320 CPUtime=0.53 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 9178 0 0 0 50 3 0 0 20 0 19 0 194017804 19498610688 25580 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4760403 25580 5879 1 0 550955 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19041612 memory=-7164203889776093280 CPUtime=0.25 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 5983 0 0 0 23 2 0 0 20 0 19 0 194017805 19498610688 25580 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194017807 19498610688 25580 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194017808 19498610688 25580 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029754] ppid=1029732 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1029735/task/1029754/stat : 1029754 (Timer-0) S 1029732 1029735 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194017833 19498610688 25580 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 102320 KiB

[startup+0.700508 s]
/proc/loadavg: 4.10 4.16 4.16 7/330 1029754
/proc/meminfo: memFree=127155020/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19041612 memory=111524 CPUtime=1.27 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 12742 0 0 0 123 4 0 0 20 0 19 0 194017804 19498610688 27881 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4760403 27881 5895 1 0 553201 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19041612 memory=12420 CPUtime=0.61 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 5992 0 0 0 59 2 0 0 20 0 19 0 194017805 19498610688 27881 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=19041612 memory=12420 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194017807 19498610688 27881 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194017808 19498610688 27881 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029754] ppid=1029732 vsize=19041612 memory=39476 CPUtime=0 cores=0,2
/proc/1029735/task/1029754/stat : 1029754 (Timer-0) S 1029732 1029735 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194017833 19498610688 27881 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 111524 KiB

[startup+1.50051 s]
/proc/loadavg: 4.10 4.16 4.16 5/330 1029754
/proc/meminfo: memFree=127138492/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19041612 memory=127136 CPUtime=2.67 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 21143 0 0 0 262 5 0 0 20 0 19 0 194017804 19498610688 31784 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4760403 31784 5895 1 0 554979 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19041612 memory=12420 CPUtime=1.39 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 6528 0 0 0 137 2 0 0 20 0 19 0 194017805 19498610688 31784 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194017807 19498610688 31784 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194017808 19498610688 31784 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029754] ppid=1029732 vsize=19041612 memory=65 CPUtime=0 cores=0,2
/proc/1029735/task/1029754/stat : 1029754 (Timer-0) S 1029732 1029735 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194017833 19498610688 31784 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 127136 KiB

[startup+3.1065 s]
/proc/loadavg: 4.10 4.16 4.16 5/330 1029754
/proc/meminfo: memFree=127112440/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19041612 memory=146144 CPUtime=4.62 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 23069 0 0 0 456 6 0 0 20 0 19 0 194017804 19498610688 36536 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4760403 36536 5895 1 0 555516 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19041612 memory=0 CPUtime=2.98 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 6833 0 0 0 296 2 0 0 20 0 19 0 194017805 19498610688 36536 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194017807 19498610688 36536 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=19041612 memory=131496 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194017808 19498610688 36536 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029754] ppid=1029732 vsize=19041612 memory=12420 CPUtime=0 cores=0,2
/proc/1029735/task/1029754/stat : 1029754 (Timer-0) S 1029732 1029735 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194017833 19498610688 36536 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 4.62 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 146144 KiB

[startup+6.30051 s]
/proc/loadavg: 4.10 4.15 4.16 5/330 1029754
/proc/meminfo: memFree=127094004/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19041612 memory=168532 CPUtime=7.81 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 23257 0 0 0 774 7 0 0 20 0 19 0 194017804 19498610688 42133 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4760403 42133 5895 1 0 555516 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19041612 memory=12420 CPUtime=6.14 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 6957 0 0 0 611 3 0 0 20 0 19 0 194017805 19498610688 42133 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194017807 19498610688 42133 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=19041612 memory=7882531222908790382 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194017808 19498610688 42133 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029754] ppid=1029732 vsize=19041612 memory=5468 CPUtime=0 cores=0,2
/proc/1029735/task/1029754/stat : 1029754 (Timer-0) S 1029732 1029735 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194017833 19498610688 42133 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 7.81 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 168532 KiB

[startup+12.7005 s]
/proc/loadavg: 4.09 4.15 4.16 5/331 1029757
/proc/meminfo: memFree=127074968/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19108176 memory=183332 CPUtime=14.21 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 27207 0 0 0 1413 8 0 0 20 0 20 0 194017804 19566772224 45833 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4777044 45833 5920 1 0 555805 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19108176 memory=0 CPUtime=12.47 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 7482 0 0 0 1244 3 0 0 20 0 20 0 194017805 19566772224 45833 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=19108176 memory=183332 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194017807 19566772224 45833 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 194017808 19566772224 45833 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029754] ppid=1029732 vsize=19108176 memory=16156 CPUtime=0 cores=0,2
/proc/1029735/task/1029754/stat : 1029754 (Timer-0) S 1029732 1029735 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194017833 19566772224 45833 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 14.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183332 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.14 4.16 5/331 1029758
/proc/meminfo: memFree=127058408/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19108176 memory=183408 CPUtime=26.91 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 30574 0 0 0 2682 9 0 0 20 0 20 0 194017804 19566772224 45852 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4777044 45852 5920 1 0 555805 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19108176 memory=183332 CPUtime=25.13 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 9218 0 0 0 2510 3 0 0 20 0 20 0 194017805 19566772224 45852 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=19108176 memory=16156 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194017807 19566772224 45852 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=19108176 memory=183396 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 194017808 19566772224 45852 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029754] ppid=1029732 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/1029735/task/1029754/stat : 1029754 (Timer-0) S 1029732 1029735 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194017833 19566772224 45852 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 26.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183408 KiB

[startup+51.1059 s]
/proc/loadavg: 4.12 4.15 4.16 5/331 1029763
/proc/meminfo: memFree=126850172/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19108176 memory=228796 CPUtime=52.47 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 33777 0 0 0 5237 10 0 0 20 0 20 0 194017804 19566772224 57199 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4777044 57199 5920 1 0 555805 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19108176 memory=228796 CPUtime=50.59 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 10080 0 0 0 5056 3 0 0 20 0 20 0 194017805 19566772224 57199 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0

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

/proc/meminfo: memFree=123029440/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19108176 memory=2028404 CPUtime=3216.63 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 119578 0 0 0 321493 170 0 0 20 0 20 0 194017804 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4777044 507101 5920 1 0 557438 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19108176 memory=2028404 CPUtime=3209.41 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 56636 0 0 0 320913 28 0 0 20 0 20 0 194017805 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=19108176 memory=2028404 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194017807 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=19108176 memory=2028404 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 3933 0 0 0 0 0 0 0 20 0 20 0 194017808 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029754] ppid=1029732 vsize=19108176 memory=47456 CPUtime=0 cores=0,2
/proc/1029735/task/1029754/stat : 1029754 (Timer-0) S 1029732 1029735 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194017833 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 3216.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2028404 KiB

[startup+3282.3 s]
/proc/loadavg: 3.34 3.89 4.02 3/281 1031605
/proc/meminfo: memFree=125086788/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19108176 memory=2028404 CPUtime=3276.47 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 120584 0 0 0 327474 173 0 0 20 0 20 0 194017804 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4777044 507101 5920 1 0 557438 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19108176 memory=2028404 CPUtime=3269.22 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 57425 0 0 0 326893 29 0 0 20 0 20 0 194017805 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=19108176 memory=2028404 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194017807 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=19108176 memory=16156 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 4018 0 0 0 0 0 0 0 20 0 20 0 194017808 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029754] ppid=1029732 vsize=19108176 memory=1984 CPUtime=0 cores=0,2
/proc/1029735/task/1029754/stat : 1029754 (Timer-0) S 1029732 1029735 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194017833 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 3276.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2028404 KiB

[startup+3342.3 s]
/proc/loadavg: 2.55 3.56 3.90 3/281 1031616
/proc/meminfo: memFree=125086516/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19108176 memory=2028404 CPUtime=3336.3 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 121666 0 0 0 333454 176 0 0 20 0 20 0 194017804 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4777044 507101 5920 1 0 557438 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19108176 memory=2028404 CPUtime=3329.01 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 58289 0 0 0 332872 29 0 0 20 0 20 0 194017805 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194017807 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=19108176 memory=-7164203889776093280 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 4103 0 0 0 0 0 0 0 20 0 20 0 194017808 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029754] ppid=1029732 vsize=19108176 memory=2800 CPUtime=0 cores=0,2
/proc/1029735/task/1029754/stat : 1029754 (Timer-0) S 1029732 1029735 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194017833 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 3336.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2028404 KiB

[startup+3402.3 s]
/proc/loadavg: 2.25 3.29 3.78 3/279 1031627
/proc/meminfo: memFree=125085968/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19108176 memory=2028404 CPUtime=3396.12 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 122698 0 0 0 339434 178 0 0 20 0 20 0 194017804 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4777044 507101 5920 1 0 557438 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19108176 memory=2028404 CPUtime=3388.81 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 59079 0 0 0 338851 30 0 0 20 0 20 0 194017805 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=19108176 memory=164 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194017807 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=19108176 memory=2248 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 4188 0 0 0 0 0 0 0 20 0 20 0 194017808 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029754] ppid=1029732 vsize=19108176 memory=2028404 CPUtime=0 cores=0,2
/proc/1029735/task/1029754/stat : 1029754 (Timer-0) S 1029732 1029735 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194017833 19566772224 507101 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 3396.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2028404 KiB

[startup+3462.3 s]
/proc/loadavg: 1.81 2.99 3.64 2/253 1031670
/proc/meminfo: memFree=127200008/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19108176 memory=2050936 CPUtime=3456.06 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 124639 0 0 0 345425 181 0 0 20 0 20 0 194017804 19566772224 512734 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4777044 512734 5920 1 0 557438 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19108176 memory=2028404 CPUtime=3448.5 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 59792 0 0 0 344820 30 0 0 20 0 20 0 194017805 19566772224 512734 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=19108176 memory=2050936 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194017807 19566772224 512734 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 4308 0 0 0 0 0 0 0 20 0 20 0 194017808 19566772224 512734 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029754] ppid=1029732 vsize=19108176 memory=2028404 CPUtime=0 cores=0,2
/proc/1029735/task/1029754/stat : 1029754 (Timer-0) S 1029732 1029735 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194017833 19566772224 512734 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 3456.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2050936 KiB

[startup+3522.3 s]
/proc/loadavg: 1.30 2.62 3.48 2/253 1031680
/proc/meminfo: memFree=127199508/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19108176 memory=2050940 CPUtime=3515.94 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 126003 0 0 0 351410 184 0 0 20 0 20 0 194017804 19566772224 512735 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4777044 512735 5920 1 0 557438 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19108176 memory=2050936 CPUtime=3508.34 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 60382 0 0 0 350804 30 0 0 20 0 20 0 194017805 19566772224 512735 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=19108176 memory=47456 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194017807 19566772224 512735 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=19108176 memory=2050936 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 4354 0 0 0 0 0 0 0 20 0 20 0 194017808 19566772224 512735 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029754] ppid=1029732 vsize=19108176 memory=2050940 CPUtime=0 cores=0,2
/proc/1029735/task/1029754/stat : 1029754 (Timer-0) S 1029732 1029735 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194017833 19566772224 512735 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 3515.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2050940 KiB

[startup+3582.3 s]
/proc/loadavg: 1.15 2.34 3.32 2/253 1031691
/proc/meminfo: memFree=127198960/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19108176 memory=2050940 CPUtime=3575.8 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 127185 0 0 0 357395 185 0 0 20 0 20 0 194017804 19566772224 512735 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4777044 512735 5920 1 0 557438 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19108176 memory=12420 CPUtime=3568.17 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 61168 0 0 0 356787 30 0 0 20 0 20 0 194017805 19566772224 512735 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=19108176 memory=47456 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194017807 19566772224 512735 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 4431 0 0 0 0 0 0 0 20 0 20 0 194017808 19566772224 512735 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029754] ppid=1029732 vsize=19108176 memory=2050940 CPUtime=0 cores=0,2
/proc/1029735/task/1029754/stat : 1029754 (Timer-0) S 1029732 1029735 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194017833 19566772224 512735 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 3575.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2050940 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.6 s]
/proc/loadavg: 1.15 2.24 3.27 2/253 1031694
/proc/meminfo: memFree=127198752/131524600 swapFree=131071996/131071996
[pid=1029735] ppid=1029732 vsize=19108176 memory=2050940 CPUtime=3600.05 cores=0,2
/proc/1029735/stat : 1029735 (java) S 1029732 1029735 1024572 0 -1 1077936128 127606 0 0 0 359819 186 0 0 20 0 20 0 194017804 19566772224 512735 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
/proc/1029735/statm: 4777044 512735 5920 1 0 557438 0
[pid=1029735/tid=1029737] ppid=1029732 vsize=19108176 memory=2050940 CPUtime=3592.42 cores=0,2
/proc/1029735/task/1029737/stat : 1029737 (java) R 1029732 1029735 1024572 0 -1 4194368 61575 0 0 0 359211 31 0 0 20 0 20 0 194017805 19566772224 512735 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029746] ppid=1029732 vsize=19108176 memory=2050940 CPUtime=0 cores=0,2
/proc/1029735/task/1029746/stat : 1029746 (Finalizer) S 1029732 1029735 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194017807 19566772224 512735 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029753] ppid=1029732 vsize=19108176 memory=28564 CPUtime=0 cores=0,2
/proc/1029735/task/1029753/stat : 1029753 (Common-Cleaner) S 1029732 1029735 1024572 0 -1 1077936192 4431 0 0 0 0 0 0 0 20 0 20 0 194017808 19566772224 512735 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
[pid=1029735/tid=1029754] ppid=1029732 vsize=19108176 memory=-7164203889776093280 CPUtime=0 cores=0,2
/proc/1029735/task/1029754/stat : 1029754 (Timer-0) S 1029732 1029735 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194017833 19566772224 512735 134679101440 94196420771840 94196420775536 140722403376672 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94196420783352 94196420784144 94196443021312 140722403378181 140722403378271 140722403378271 140722403385288 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2050940 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.33 s, system=1.87447 s

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

Child status: 143

Real time (s): 3606.7
CPU time (s): 3600.2
CPU user time (s): 3598.33
CPU system time (s): 1.87447
CPU usage (%): 99.8199
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2050940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.33
system time used= 1.87447
maximum resident set size= 2052872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102439
involuntary context switches= 25588


# summary of solver processes directly reported to runsolver:
#   pid: 1029735
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3598.33
#   total CPU system time (s): 1.87447

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76774 second user time and 19.8599 second system time

The end