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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432187-1721076819/watcher-4432187-1721076819 -o /tmp/evaluation-result-4432187-1721076819/solver-4432187-1721076819 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721073237-812193 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432187-1721076819.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=814474, runsolver pid=814471

[startup+0.100065 s]*
/proc/loadavg: 4.52 4.33 4.32 6/317 814492
/proc/meminfo: memFree=97928716/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=18975048 memory=57368 CPUtime=0.14 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 6769 0 0 0 12 2 0 0 20 0 18 0 159839036 19430449152 14342 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4743762 14342 5707 1 0 551047 0
[pid=814474/tid=814476] ppid=814471 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 5672 0 0 0 7 1 0 0 20 0 18 0 159839037 19430449152 14342 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159839040 19430449152 14342 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=18975048 memory=14698495668050282 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159839040 19430449152 14342 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57368 KiB

[startup+0.211535 s]*
/proc/loadavg: 4.52 4.33 4.32 7/317 814492
/proc/meminfo: memFree=97831432/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=18975048 memory=66144 CPUtime=0.33 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 7458 0 0 0 30 3 0 0 20 0 18 0 159839036 19430449152 16536 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4743762 16536 5721 1 0 551568 0
[pid=814474/tid=814476] ppid=814471 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 5930 0 0 0 17 1 0 0 20 0 18 0 159839037 19430449152 16536 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=18975048 memory=4674 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159839040 19430449152 16536 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159839040 19430449152 16536 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66144 KiB

[startup+0.319545 s]*
/proc/loadavg: 4.52 4.33 4.32 7/317 814492
/proc/meminfo: memFree=97799732/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=18975048 memory=71456 CPUtime=0.53 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 7609 0 0 0 50 3 0 0 20 0 18 0 159839036 19430449152 17864 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4743762 17864 5854 1 0 551673 0
[pid=814474/tid=814476] ppid=814471 vsize=18975048 memory=-9103576295472997052 CPUtime=0.26 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 5986 0 0 0 25 1 0 0 20 0 18 0 159839037 19430449152 17864 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159839040 19430449152 17864 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159839040 19430449152 17864 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71456 KiB

[startup+0.707773 s]
/proc/loadavg: 4.52 4.33 4.32 8/317 814492
/proc/meminfo: memFree=97724556/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=19041612 memory=103640 CPUtime=1.25 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 10342 0 0 0 121 4 0 0 20 0 19 0 159839036 19498610688 25910 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4760403 25910 5908 1 0 553643 0
[pid=814474/tid=814476] ppid=814471 vsize=19041612 memory=5540 CPUtime=0.6 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 6099 0 0 0 58 2 0 0 20 0 19 0 159839037 19498610688 25910 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=19041612 memory=12508 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159839040 19498610688 25910 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159839040 19498610688 25910 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 103640 KiB

[startup+1.50053 s]
/proc/loadavg: 4.52 4.33 4.32 6/318 814493
/proc/meminfo: memFree=97597812/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=19041612 memory=105468 CPUtime=2.47 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 12115 0 0 0 242 5 0 0 20 0 19 0 159839036 19498610688 26367 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4760403 26367 5908 1 0 553945 0
[pid=814474/tid=814476] ppid=814471 vsize=19041612 memory=12508 CPUtime=1.36 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 6201 0 0 0 134 2 0 0 20 0 19 0 159839037 19498610688 26367 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159839040 19498610688 26367 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159839040 19498610688 26367 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814493] ppid=814471 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/814474/task/814493/stat : 814493 (Timer-0) S 814471 814474 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159839095 19498610688 26367 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105468 KiB

[startup+3.10653 s]
/proc/loadavg: 4.52 4.33 4.32 6/316 814559
/proc/meminfo: memFree=100340616/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=19041612 memory=109840 CPUtime=4.38 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 15627 0 0 0 433 5 0 0 20 0 19 0 159839036 19498610688 27460 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4760403 27460 5908 1 0 553985 0
[pid=814474/tid=814476] ppid=814471 vsize=19041612 memory=0 CPUtime=2.95 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 7672 0 0 0 293 2 0 0 20 0 19 0 159839037 19498610688 27460 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=19041612 memory=11420 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159839040 19498610688 27460 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159839040 19498610688 27460 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814493] ppid=814471 vsize=19041612 memory=12508 CPUtime=0 cores=5,7
/proc/814474/task/814493/stat : 814493 (Timer-0) S 814471 814474 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159839095 19498610688 27460 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109840 KiB

[startup+6.30053 s]
/proc/loadavg: 4.56 4.34 4.32 6/318 814629
/proc/meminfo: memFree=99721064/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=19041612 memory=124288 CPUtime=8.25 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 23030 0 0 0 817 8 0 0 20 0 19 0 159839036 19498610688 31072 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4760403 31072 5908 1 0 556607 0
[pid=814474/tid=814476] ppid=814471 vsize=19041612 memory=0 CPUtime=6.1 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 7766 0 0 0 608 2 0 0 20 0 19 0 159839037 19498610688 31072 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=19041612 memory=12508 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159839040 19498610688 31072 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=19041612 memory=11420 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159839040 19498610688 31072 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814493] ppid=814471 vsize=19041612 memory=42756 CPUtime=0 cores=5,7
/proc/814474/task/814493/stat : 814493 (Timer-0) S 814471 814474 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159839095 19498610688 31072 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 8.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 124288 KiB

[startup+12.7004 s]
/proc/loadavg: 4.67 4.37 4.33 5/318 814629
/proc/meminfo: memFree=98542136/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=19041612 memory=133968 CPUtime=15.35 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 32320 0 0 0 1525 10 0 0 20 0 19 0 159839036 19498610688 33492 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4760403 33492 5908 1 0 556869 0
[pid=814474/tid=814476] ppid=814471 vsize=19041612 memory=279866914513360 CPUtime=12.48 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 8937 0 0 0 1246 2 0 0 20 0 19 0 159839037 19498610688 33492 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159839040 19498610688 33492 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=19041612 memory=131920 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159839040 19498610688 33492 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814493] ppid=814471 vsize=19041612 memory=109840 CPUtime=0 cores=5,7
/proc/814474/task/814493/stat : 814493 (Timer-0) S 814471 814474 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159839095 19498610688 33492 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 15.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 133968 KiB

[startup+25.5005 s]
/proc/loadavg: 4.67 4.38 4.33 6/318 814631
/proc/meminfo: memFree=96089284/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=19041612 memory=141360 CPUtime=28.31 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 37994 0 0 0 2820 11 0 0 20 0 19 0 159839036 19498610688 35340 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4760403 35340 5923 1 0 556869 0
[pid=814474/tid=814476] ppid=814471 vsize=19041612 memory=0 CPUtime=25.25 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 10748 0 0 0 2522 3 0 0 20 0 19 0 159839037 19498610688 35340 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=19041612 memory=129744 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159839040 19498610688 35340 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159839040 19498610688 35340 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814493] ppid=814471 vsize=19041612 memory=124304 CPUtime=0 cores=5,7
/proc/814474/task/814493/stat : 814493 (Timer-0) S 814471 814474 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159839095 19498610688 35340 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 28.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 141360 KiB

[startup+51.1134 s]
/proc/loadavg: 4.66 4.40 4.34 5/318 814635
/proc/meminfo: memFree=91800600/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=19041612 memory=170172 CPUtime=53.96 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 42266 0 0 0 5383 13 0 0 20 0 19 0 159839036 19498610688 42543 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4760403 42543 5932 1 0 556885 0
[pid=814474/tid=814476] ppid=814471 vsize=19041612 memory=11420 CPUtime=50.79 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 12181 0 0 0 5075 4 0 0 20 0 19 0 159839037 19498610688 42543 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=19041612 memory=151688 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159839040 19498610688 42543 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=19041612 memory=133128 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159839040 19498610688 42543 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0

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

[startup+3282.3 s]
/proc/loadavg: 4.17 4.28 4.45 5/318 816949
/proc/meminfo: memFree=112270632/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=19108176 memory=923488 CPUtime=3279.54 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 98059 0 0 0 327784 170 0 0 20 0 20 0 159839036 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4777044 230872 5963 1 0 557190 0
[pid=814474/tid=814476] ppid=814471 vsize=19108176 memory=923488 CPUtime=3270.74 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 34106 0 0 0 327066 8 0 0 20 0 20 0 159839037 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=19108176 memory=923488 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159839040 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=19108176 memory=923488 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 3177 0 0 0 0 0 0 0 20 0 20 0 159839040 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814493] ppid=814471 vsize=19108176 memory=923488 CPUtime=0 cores=5,7
/proc/814474/task/814493/stat : 814493 (Timer-0) S 814471 814474 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159839095 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 3279.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 923488 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.24 4.43 5/317 816960
/proc/meminfo: memFree=111987144/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=19108176 memory=923488 CPUtime=3339.4 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 98672 0 0 0 333768 172 0 0 20 0 20 0 159839036 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4777044 230872 5963 1 0 557190 0
[pid=814474/tid=814476] ppid=814471 vsize=19108176 memory=923488 CPUtime=3330.57 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 34624 0 0 0 333049 8 0 0 20 0 20 0 159839037 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=19108176 memory=923488 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159839040 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=19108176 memory=923488 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 3262 0 0 0 0 0 0 0 20 0 20 0 159839040 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814493] ppid=814471 vsize=19108176 memory=1936 CPUtime=0 cores=5,7
/proc/814474/task/814493/stat : 814493 (Timer-0) S 814471 814474 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159839095 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 3339.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 923488 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.22 4.41 5/317 816970
/proc/meminfo: memFree=111746676/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=19108176 memory=923488 CPUtime=3399.25 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 99450 0 0 0 339751 174 0 0 20 0 20 0 159839036 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4777044 230872 5963 1 0 557190 0
[pid=814474/tid=814476] ppid=814471 vsize=19108176 memory=923488 CPUtime=3390.39 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 35249 0 0 0 339031 8 0 0 20 0 20 0 159839037 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=19108176 memory=923488 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159839040 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=19108176 memory=42756 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 3324 0 0 0 0 0 0 0 20 0 20 0 159839040 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814493] ppid=814471 vsize=19108176 memory=923488 CPUtime=0 cores=5,7
/proc/814474/task/814493/stat : 814493 (Timer-0) S 814471 814474 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159839095 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 3399.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 923488 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.23 4.40 5/319 816984
/proc/meminfo: memFree=111528756/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=19108176 memory=923488 CPUtime=3459.12 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 100370 0 0 0 345736 176 0 0 20 0 20 0 159839036 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4777044 230872 5963 1 0 557190 0
[pid=814474/tid=814476] ppid=814471 vsize=19108176 memory=923488 CPUtime=3450.22 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 35698 0 0 0 345014 8 0 0 20 0 20 0 159839037 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=19108176 memory=923488 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159839040 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=19108176 memory=923488 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 3361 0 0 0 0 0 0 0 20 0 20 0 159839040 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814493] ppid=814471 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/814474/task/814493/stat : 814493 (Timer-0) S 814471 814474 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159839095 19566772224 230872 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 3459.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 923488 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.22 4.38 5/319 816995
/proc/meminfo: memFree=111138500/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=19108176 memory=980832 CPUtime=3519.02 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 101534 0 0 0 351722 180 0 0 20 0 20 0 159839036 19566772224 245208 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4777044 245208 5963 1 0 557190 0
[pid=814474/tid=814476] ppid=814471 vsize=19108176 memory=980832 CPUtime=3509.87 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 35966 0 0 0 350979 8 0 0 20 0 20 0 159839037 19566772224 245208 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=19108176 memory=980832 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159839040 19566772224 245208 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=19108176 memory=980832 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 3440 0 0 0 0 0 0 0 20 0 20 0 159839040 19566772224 245208 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814493] ppid=814471 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/814474/task/814493/stat : 814493 (Timer-0) S 814471 814474 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159839095 19566772224 245208 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 3519.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 980832 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.19 4.36 5/319 817005
/proc/meminfo: memFree=111138212/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=19108176 memory=980832 CPUtime=3578.89 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 102011 0 0 0 357707 182 0 0 20 0 20 0 159839036 19566772224 245208 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4777044 245208 5963 1 0 557190 0
[pid=814474/tid=814476] ppid=814471 vsize=19108176 memory=42756 CPUtime=3569.69 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 36288 0 0 0 356961 8 0 0 20 0 20 0 159839037 19566772224 245208 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=19108176 memory=42756 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159839040 19566772224 245208 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 3502 0 0 0 0 0 0 0 20 0 20 0 159839040 19566772224 245208 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814493] ppid=814471 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/814474/task/814493/stat : 814493 (Timer-0) S 814471 814474 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159839095 19566772224 245208 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 3578.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 980832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.5 s]
/proc/loadavg: 4.14 4.19 4.36 5/319 817008
/proc/meminfo: memFree=111138076/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=19108176 memory=980832 CPUtime=3600.04 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 102472 0 0 0 359821 183 0 0 20 0 20 0 159839036 19566772224 245208 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4777044 245208 5963 1 0 557190 0
[pid=814474/tid=814476] ppid=814471 vsize=19108176 memory=11420 CPUtime=3590.83 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) R 814471 814474 812180 0 -1 4194368 36660 0 0 0 359075 8 0 0 20 0 20 0 159839037 19566772224 245208 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=19108176 memory=32180 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159839040 19566772224 245208 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=19108176 memory=3128528 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 3580 0 0 0 0 0 0 0 20 0 20 0 159839040 19566772224 245208 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814493] ppid=814471 vsize=19108176 memory=980832 CPUtime=0 cores=5,7
/proc/814474/task/814493/stat : 814493 (Timer-0) S 814471 814474 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159839095 19566772224 245208 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 980832 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.37 s, system=1.85273 s

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

[startup+3603.6 s]
/proc/loadavg: 4.14 4.19 4.36 5/319 817008
/proc/meminfo: memFree=111138076/131655788 swapFree=131071996/131071996
[pid=814474] ppid=814471 vsize=19307868 memory=981728 CPUtime=3600.21 cores=5,7
/proc/814474/stat : 814474 (java) S 814471 814474 812180 0 -1 1077936128 105686 0 0 0 359837 184 0 0 20 0 20 0 159839036 19771256832 245432 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
/proc/814474/statm: 4826967 245432 5962 1 0 558100 0
[pid=814474/tid=814476] ppid=814471 vsize=19307868 memory=4528 CPUtime=3590.85 cores=5,7
/proc/814474/task/814476/stat : 814476 (java) S 814471 814474 812180 0 -1 1077936192 36853 0 0 0 359077 8 0 0 20 0 20 0 159839037 19771256832 245432 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814485] ppid=814471 vsize=19307868 memory=24505 CPUtime=0 cores=5,7
/proc/814474/task/814485/stat : 814485 (Finalizer) S 814471 814474 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159839040 19771256832 245432 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
[pid=814474/tid=814492] ppid=814471 vsize=19307868 memory=980832 CPUtime=0 cores=5,7
/proc/814474/task/814492/stat : 814492 (Common-Cleaner) S 814471 814474 812180 0 -1 1077936192 3580 0 0 0 0 0 0 0 20 0 20 0 159839040 19771256832 245432 134679101440 94765467435008 94765467438704 140723341158832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94765467446520 94765467447312 94765472280576 140723341161479 140723341161569 140723341161569 140723341168584 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 981728 KiB

Child status: 143

Real time (s): 3603.63
CPU time (s): 3600.22
CPU user time (s): 3598.37
CPU system time (s): 1.85273
CPU usage (%): 99.9056
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 981728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.37
system time used= 1.85273
maximum resident set size= 982432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105758
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104194
involuntary context switches= 1884


# summary of solver processes directly reported to runsolver:
#   pid: 814474
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3598.37
#   total CPU system time (s): 1.85273

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.4528 second user time and 33.5254 second system time

The end