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: 63931 MiB (60975 MiB free)
  memory of node 1: 64510 MiB (63002 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441904-1721293783/watcher-4441904-1721293783 -o /tmp/evaluation-result-4441904-1721293783/solver-4441904-1721293783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721293761-975546 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4441904-1721293783.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=976534, runsolver pid=976531

[startup+0.100365 s]*
/proc/loadavg: 3.10 1.61 1.34 6/332 976552
/proc/meminfo: memFree=126911640/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=18975048 memory=63032 CPUtime=0.13 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 7209 0 0 0 11 2 0 0 20 0 18 0 181540100 19430449152 15758 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4743762 15758 5628 1 0 549334 0
[pid=976534/tid=976536] ppid=976531 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 1078198336 5740 0 0 0 7 1 0 0 20 0 18 0 181540100 19430449152 15758 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 181540103 19430449152 15758 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=18975048 memory=15824395507619580 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 181540103 19430449152 15758 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63032 KiB

[startup+0.205883 s]*
/proc/loadavg: 3.10 1.61 1.34 7/332 976552
/proc/meminfo: memFree=126877896/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=18975048 memory=97212 CPUtime=0.33 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 8173 0 0 0 30 3 0 0 20 0 18 0 181540100 19430449152 24303 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4743762 24303 5822 1 0 549927 0
[pid=976534/tid=976536] ppid=976531 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 5940 0 0 0 16 2 0 0 20 0 18 0 181540100 19430449152 24303 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=18975048 memory=15975 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 181540103 19430449152 24369 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=18975048 memory=14698495600756458 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 181540103 19430449152 24369 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 97212 KiB

[startup+0.305883 s]*
/proc/loadavg: 3.10 1.61 1.34 6/332 976552
/proc/meminfo: memFree=126839776/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=18975048 memory=134916 CPUtime=0.52 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 9177 0 0 0 49 3 0 0 20 0 18 0 181540100 19430449152 33729 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4743762 33729 5822 1 0 550580 0
[pid=976534/tid=976536] ppid=976531 vsize=18975048 memory=-9104701087177548476 CPUtime=0.27 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 5957 0 0 0 25 2 0 0 20 0 18 0 181540100 19430449152 33729 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 181540103 19430449152 33729 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 181540103 19430449152 33729 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 134916 KiB

[startup+0.704209 s]
/proc/loadavg: 3.10 1.61 1.34 7/334 976554
/proc/meminfo: memFree=126802556/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=19108176 memory=174088 CPUtime=1.27 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 12074 0 0 0 122 5 0 0 20 0 20 0 181540100 19566772224 43522 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4777044 43522 5854 1 0 553088 0
[pid=976534/tid=976536] ppid=976531 vsize=19108176 memory=5472 CPUtime=0.64 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 6005 0 0 0 61 3 0 0 20 0 20 0 181540100 19566772224 43522 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=19108176 memory=13196 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 43522 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 43522 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976554] ppid=976531 vsize=19108176 memory=117636 CPUtime=0 cores=5,7
/proc/976534/task/976554/stat : 976554 (Timer-0) S 976531 976534 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181540139 19566772224 43522 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 174088 KiB

[startup+1.50028 s]
/proc/loadavg: 3.10 1.61 1.34 6/334 976554
/proc/meminfo: memFree=126791776/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=19108176 memory=181412 CPUtime=2.62 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 18227 0 0 0 257 5 0 0 20 0 20 0 181540100 19566772224 45353 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4777044 45353 5854 1 0 554728 0
[pid=976534/tid=976536] ppid=976531 vsize=19108176 memory=13196 CPUtime=1.43 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 6523 0 0 0 140 3 0 0 20 0 20 0 181540100 19566772224 45353 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 45353 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 45353 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976554] ppid=976531 vsize=19108176 memory=280866702140688 CPUtime=0 cores=5,7
/proc/976534/task/976554/stat : 976554 (Timer-0) S 976531 976534 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181540139 19566772224 45353 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181412 KiB

[startup+3.10601 s]
/proc/loadavg: 3.25 1.67 1.36 6/334 976554
/proc/meminfo: memFree=126788748/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=19108176 memory=181632 CPUtime=4.56 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 19511 0 0 0 451 5 0 0 20 0 20 0 181540100 19566772224 45408 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4777044 45408 5854 1 0 554731 0
[pid=976534/tid=976536] ppid=976531 vsize=19108176 memory=0 CPUtime=3.04 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 6872 0 0 0 301 3 0 0 20 0 20 0 181540100 19566772224 45408 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=19108176 memory=13196 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 45408 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 45408 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976554] ppid=976531 vsize=19108176 memory=11544 CPUtime=0 cores=5,7
/proc/976534/task/976554/stat : 976554 (Timer-0) S 976531 976534 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181540139 19566772224 45408 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 4.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181632 KiB

[startup+6.30027 s]
/proc/loadavg: 3.25 1.67 1.36 5/334 976554
/proc/meminfo: memFree=126771600/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=19108176 memory=194636 CPUtime=7.75 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 20624 0 0 0 769 6 0 0 20 0 20 0 181540100 19566772224 48659 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4777044 48659 5854 1 0 554731 0
[pid=976534/tid=976536] ppid=976531 vsize=19108176 memory=13196 CPUtime=6.19 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 6905 0 0 0 616 3 0 0 20 0 20 0 181540100 19566772224 48659 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 48659 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=19108176 memory=181520 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 48659 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976554] ppid=976531 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/976534/task/976554/stat : 976554 (Timer-0) S 976531 976534 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181540139 19566772224 48659 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 7.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194636 KiB

[startup+12.7003 s]
/proc/loadavg: 3.31 1.71 1.37 5/334 976556
/proc/meminfo: memFree=126758724/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=19108176 memory=194772 CPUtime=14.15 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 21487 0 0 0 1408 7 0 0 20 0 20 0 181540100 19566772224 48693 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4777044 48693 5861 1 0 554731 0
[pid=976534/tid=976536] ppid=976531 vsize=19108176 memory=0 CPUtime=12.58 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 7440 0 0 0 1255 3 0 0 20 0 20 0 181540100 19566772224 48693 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=19108176 memory=-9104701087177548476 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 48693 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=19108176 memory=2320 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 48693 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976554] ppid=976531 vsize=19108176 memory=11544 CPUtime=0 cores=5,7
/proc/976534/task/976554/stat : 976554 (Timer-0) S 976531 976534 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181540139 19566772224 48693 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 14.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194772 KiB

[startup+25.5003 s]
/proc/loadavg: 3.46 1.82 1.41 5/336 976561
/proc/meminfo: memFree=126661684/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=19108176 memory=242264 CPUtime=26.99 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 26822 0 0 0 2691 8 0 0 20 0 20 0 181540100 19566772224 60566 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4777044 60566 5877 1 0 554731 0
[pid=976534/tid=976536] ppid=976531 vsize=19108176 memory=11544 CPUtime=25.27 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 8334 0 0 0 2524 3 0 0 20 0 20 0 181540100 19566772224 60566 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=19108176 memory=11544 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 60566 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=19108176 memory=194672 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 60566 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976554] ppid=976531 vsize=19108176 memory=280866702087472 CPUtime=0 cores=5,7
/proc/976534/task/976554/stat : 976554 (Timer-0) S 976531 976534 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181540139 19566772224 60566 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 26.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 242264 KiB

[startup+51.1059 s]
/proc/loadavg: 3.80 2.03 1.50 5/336 976566
/proc/meminfo: memFree=126410820/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=19108176 memory=340672 CPUtime=52.4 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 30449 0 0 0 5228 12 0 0 20 0 20 0 181540100 19566772224 85168 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4777044 85168 5877 1 0 554731 0
[pid=976534/tid=976536] ppid=976531 vsize=19108176 memory=340672 CPUtime=50.52 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 10109 0 0 0 5048 4 0 0 20 0 20 0 181540100 19566772224 85168 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=19108176 memory=45052 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 85168 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0

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

/proc/meminfo: memFree=103886976/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=19108176 memory=2180448 CPUtime=3220.79 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 162870 0 0 0 321910 169 0 0 20 0 20 0 181540100 19566772224 545112 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4777044 545112 5877 1 0 557874 0
[pid=976534/tid=976536] ppid=976531 vsize=19108176 memory=11544 CPUtime=3208.02 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 67644 0 0 0 320786 16 0 0 20 0 20 0 181540100 19566772224 545112 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=19108176 memory=2180448 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545112 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=19108176 memory=2180448 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 3917 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545112 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976554] ppid=976531 vsize=19108176 memory=2180448 CPUtime=0 cores=5,7
/proc/976534/task/976554/stat : 976554 (Timer-0) S 976531 976534 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181540139 19566772224 545112 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 3220.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180448 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/334 979324
/proc/meminfo: memFree=103886612/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=19108176 memory=2180448 CPUtime=3280.68 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 163934 0 0 0 327897 171 0 0 20 0 20 0 181540100 19566772224 545112 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4777044 545112 5877 1 0 557874 0
[pid=976534/tid=976536] ppid=976531 vsize=19108176 memory=45052 CPUtime=3267.87 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 68515 0 0 0 326771 16 0 0 20 0 20 0 181540100 19566772224 545112 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=19108176 memory=2180448 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545112 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=19108176 memory=2180448 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 4047 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545112 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976554] ppid=976531 vsize=19108176 memory=2180448 CPUtime=0 cores=5,7
/proc/976534/task/976554/stat : 976554 (Timer-0) S 976531 976534 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181540139 19566772224 545112 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 3280.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180448 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/331 979334
/proc/meminfo: memFree=103882012/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=19108176 memory=2180460 CPUtime=3340.71 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 165919 0 0 0 333898 173 0 0 20 0 20 0 181540100 19566772224 545115 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4777044 545115 5877 1 0 557875 0
[pid=976534/tid=976536] ppid=976531 vsize=19108176 memory=45052 CPUtime=3327.58 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 69535 0 0 0 332742 16 0 0 20 0 20 0 181540100 19566772224 545115 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=19108176 memory=2180460 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545115 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=19108176 memory=-9104701087177548476 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 4130 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545115 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976554] ppid=976531 vsize=19108176 memory=2180460 CPUtime=0 cores=5,7
/proc/976534/task/976554/stat : 976554 (Timer-0) S 976531 976534 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181540139 19566772224 545115 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 3340.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180460 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/331 979345
/proc/meminfo: memFree=103879636/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=19108176 memory=2180460 CPUtime=3400.61 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 166939 0 0 0 339886 175 0 0 20 0 20 0 181540100 19566772224 545115 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4777044 545115 5877 1 0 557875 0
[pid=976534/tid=976536] ppid=976531 vsize=19108176 memory=2180460 CPUtime=3387.45 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 70491 0 0 0 338729 16 0 0 20 0 20 0 181540100 19566772224 545115 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=19108176 memory=45052 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545115 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=19108176 memory=11544 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 4138 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545115 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976554] ppid=976531 vsize=19108176 memory=2180460 CPUtime=0 cores=5,7
/proc/976534/task/976554/stat : 976554 (Timer-0) S 976531 976534 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181540139 19566772224 545115 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 3400.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180460 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/331 979357
/proc/meminfo: memFree=103838288/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=19108176 memory=2180464 CPUtime=3460.51 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 168243 0 0 0 345874 177 0 0 20 0 20 0 181540100 19566772224 545116 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4777044 545116 5877 1 0 557876 0
[pid=976534/tid=976536] ppid=976531 vsize=19108176 memory=11544 CPUtime=3447.31 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 71512 0 0 0 344715 16 0 0 20 0 20 0 181540100 19566772224 545116 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=19108176 memory=2180460 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545116 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=19108176 memory=2180460 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 4220 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545116 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976554] ppid=976531 vsize=19108176 memory=2180464 CPUtime=0 cores=5,7
/proc/976534/task/976554/stat : 976554 (Timer-0) S 976531 976534 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181540139 19566772224 545116 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 3460.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180464 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/331 979367
/proc/meminfo: memFree=103540220/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=19108176 memory=2180488 CPUtime=3520.53 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 170170 0 0 0 351874 179 0 0 20 0 20 0 181540100 19566772224 545122 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4777044 545122 5877 1 0 557878 0
[pid=976534/tid=976536] ppid=976531 vsize=19108176 memory=11544 CPUtime=3507.02 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 72480 0 0 0 350686 16 0 0 20 0 20 0 181540100 19566772224 545122 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=19108176 memory=2180464 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545122 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=19108176 memory=2180460 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 4267 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545122 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976554] ppid=976531 vsize=19108176 memory=11544 CPUtime=0 cores=5,7
/proc/976534/task/976554/stat : 976554 (Timer-0) S 976531 976534 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181540139 19566772224 545122 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 3520.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180488 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/331 979377
/proc/meminfo: memFree=102934540/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=19108176 memory=2180488 CPUtime=3580.42 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 171066 0 0 0 357861 181 0 0 20 0 20 0 181540100 19566772224 545122 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4777044 545122 5877 1 0 557878 0
[pid=976534/tid=976536] ppid=976531 vsize=19108176 memory=2180488 CPUtime=3566.87 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 73232 0 0 0 356671 16 0 0 20 0 20 0 181540100 19566772224 545122 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=19108176 memory=2180488 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545122 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=19108176 memory=2180488 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 4348 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545122 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976554] ppid=976531 vsize=19108176 memory=90 CPUtime=0 cores=5,7
/proc/976534/task/976554/stat : 976554 (Timer-0) S 976531 976534 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181540139 19566772224 545122 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 3580.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602 s]*
/proc/loadavg: 4.11 4.13 4.09 5/331 979380
/proc/meminfo: memFree=102505604/131524600 swapFree=131071996/131071996
[pid=976534] ppid=976531 vsize=19108176 memory=2180488 CPUtime=3600.08 cores=5,7
/proc/976534/stat : 976534 (java) S 976531 976534 975533 0 -1 1077936128 171530 0 0 0 359827 181 0 0 20 0 20 0 181540100 19566772224 545122 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
/proc/976534/statm: 4777044 545122 5877 1 0 557878 0
[pid=976534/tid=976536] ppid=976531 vsize=19108176 memory=-8599736069880324796 CPUtime=3586.53 cores=5,7
/proc/976534/task/976536/stat : 976536 (java) R 976531 976534 975533 0 -1 4194368 73690 0 0 0 358637 16 0 0 20 0 20 0 181540100 19566772224 545122 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976545] ppid=976531 vsize=19108176 memory=-7088514796985279101 CPUtime=0 cores=5,7
/proc/976534/task/976545/stat : 976545 (Finalizer) S 976531 976534 975533 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545122 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976552] ppid=976531 vsize=19108176 memory=30348 CPUtime=0 cores=5,7
/proc/976534/task/976552/stat : 976552 (Common-Cleaner) S 976531 976534 975533 0 -1 1077936192 4348 0 0 0 0 0 0 0 20 0 20 0 181540103 19566772224 545122 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
[pid=976534/tid=976554] ppid=976531 vsize=19108176 memory=7540 CPUtime=0 cores=5,7
/proc/976534/task/976554/stat : 976554 (Timer-0) S 976531 976534 975533 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 181540139 19566772224 545122 134679101440 94561600385024 94561600388720 140736100190176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94561600396536 94561600397328 94561632571392 140736100197382 140736100197472 140736100197472 140736100204488 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2180488 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.39 s, system=1.83184 s

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

Child status: 143

Real time (s): 3602.1
CPU time (s): 3600.23
CPU user time (s): 3598.39
CPU system time (s): 1.83184
CPU usage (%): 99.948
Max. virtual memory (cumulated for all children) (KiB): 19109840
Max. memory (cumulated for all children) (KiB): 2180488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.39
system time used= 1.83184
maximum resident set size= 2182188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174169
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106098
involuntary context switches= 5621


# summary of solver processes directly reported to runsolver:
#   pid: 976534
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3598.39
#   total CPU system time (s): 1.83184

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.65495 second user time and 18.301 second system time

The end