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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446554-1721339946/watcher-4446554-1721339946 -o /tmp/evaluation-result-4446554-1721339946/solver-4446554-1721339946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721339958-973414 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4446554-1721339946.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=973485, runsolver pid=973478

[startup+0.100072 s]*
/proc/loadavg: 3.64 4.05 4.13 14/313 973542
/proc/meminfo: memFree=123939356/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=18975048 memory=55728 CPUtime=0.13 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 6437 0 0 0 10 3 0 0 20 0 18 0 186150399 19430449152 13932 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4743762 13932 5644 1 0 550811 0
[pid=973485/tid=973492] ppid=973478 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 5330 0 0 0 6 3 0 0 20 0 18 0 186150400 19430449152 13932 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186150405 19430449152 13932 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=18975048 memory=15817798538627805 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186150406 19430449152 13932 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55728 KiB

[startup+0.216381 s]*
/proc/loadavg: 3.64 4.05 4.13 8/313 973542
/proc/meminfo: memFree=123911880/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=18975048 memory=58392 CPUtime=0.29 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 7087 0 0 0 25 4 0 0 20 0 18 0 186150399 19430449152 14598 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4743762 14598 5669 1 0 551321 0
[pid=973485/tid=973492] ppid=973478 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 1077936192 5646 0 0 0 15 3 0 0 20 0 18 0 186150400 19430449152 14598 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=18975048 memory=3718 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186150405 19430449152 14598 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=18975048 memory=15815599515246110 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186150406 19430449152 14598 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58392 KiB

[startup+0.315893 s]*
/proc/loadavg: 3.64 4.05 4.13 16/313 973542
/proc/meminfo: memFree=123890044/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=18975048 memory=63552 CPUtime=0.44 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 7330 0 0 0 40 4 0 0 20 0 18 0 186150399 19430449152 15888 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4743762 15888 5678 1 0 551497 0
[pid=973485/tid=973492] ppid=973478 vsize=18975048 memory=-8599173141401739964 CPUtime=0.26 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 5794 0 0 0 23 3 0 0 20 0 18 0 186150400 19430449152 15888 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186150405 19430449152 15888 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186150406 19430449152 15888 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63552 KiB

[startup+0.700874 s]
/proc/loadavg: 3.64 4.05 4.13 14/313 973542
/proc/meminfo: memFree=123811424/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=18975048 memory=104464 CPUtime=1.14 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 9221 0 0 0 108 6 0 0 20 0 18 0 186150399 19430449152 26116 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4743762 26116 5804 1 0 552724 0
[pid=973485/tid=973492] ppid=973478 vsize=18975048 memory=5476 CPUtime=0.57 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 5912 0 0 0 53 4 0 0 20 0 18 0 186150400 19430449152 26116 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=18975048 memory=12320 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186150405 19430449152 26116 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186150406 19430449152 26116 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 104464 KiB

[startup+1.50087 s]
/proc/loadavg: 3.64 4.05 4.13 14/319 973548
/proc/meminfo: memFree=123479488/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=19108176 memory=187008 CPUtime=2.72 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 18994 0 0 0 263 9 0 0 20 0 20 0 186150399 19566772224 46752 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4777044 46752 5836 1 0 557362 0
[pid=973485/tid=973492] ppid=973478 vsize=19108176 memory=12320 CPUtime=1.3 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 6151 0 0 0 124 6 0 0 20 0 20 0 186150400 19566772224 46752 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 46752 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186150406 19566772224 46752 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973548] ppid=973478 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/973485/task/973548/stat : 973548 (Timer-0) S 973478 973485 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150496 19566772224 46752 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187008 KiB

[startup+3.11453 s]
/proc/loadavg: 3.64 4.05 4.13 7/322 973557
/proc/meminfo: memFree=124298636/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=19108176 memory=189300 CPUtime=5.15 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 20167 0 0 0 505 10 0 0 20 0 20 0 186150399 19566772224 47325 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4777044 47325 5836 1 0 557707 0
[pid=973485/tid=973492] ppid=973478 vsize=19108176 memory=0 CPUtime=2.89 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 6422 0 0 0 283 6 0 0 20 0 20 0 186150400 19566772224 47325 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=19108176 memory=12720 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 47325 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186150406 19566772224 47325 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973548] ppid=973478 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/973485/task/973548/stat : 973548 (Timer-0) S 973478 973485 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150496 19566772224 47325 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 5.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189300 KiB

[startup+6.30033 s]
/proc/loadavg: 3.67 4.05 4.13 6/322 973559
/proc/meminfo: memFree=124262776/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=19108176 memory=190396 CPUtime=9.48 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 22865 0 0 0 937 11 0 0 20 0 20 0 186150399 19566772224 47599 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4777044 47599 5852 1 0 557891 0
[pid=973485/tid=973492] ppid=973478 vsize=19108176 memory=0 CPUtime=6.06 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 7521 0 0 0 600 6 0 0 20 0 20 0 186150400 19566772224 47599 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 47599 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=19108176 memory=12720 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186150406 19566772224 47599 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973548] ppid=973478 vsize=19108176 memory=45680 CPUtime=0 cores=5,7
/proc/973485/task/973548/stat : 973548 (Timer-0) S 973478 973485 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150496 19566772224 47599 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 9.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190396 KiB

[startup+12.7005 s]
/proc/loadavg: 3.78 4.07 4.13 9/322 973559
/proc/meminfo: memFree=124245832/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=19108176 memory=195860 CPUtime=16.39 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 30218 0 0 0 1626 13 0 0 20 0 20 0 186150399 19566772224 48965 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4777044 48965 5868 1 0 558792 0
[pid=973485/tid=973492] ppid=973478 vsize=19108176 memory=195860 CPUtime=12.33 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 8134 0 0 0 1227 6 0 0 20 0 20 0 186150400 19566772224 48965 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=19108176 memory=126992 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 48965 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=19108176 memory=281343577843424 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 186150406 19566772224 48965 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973548] ppid=973478 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/973485/task/973548/stat : 973548 (Timer-0) S 973478 973485 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150496 19566772224 48965 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 16.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195860 KiB

[startup+25.5005 s]
/proc/loadavg: 3.91 4.08 4.14 8/321 973562
/proc/meminfo: memFree=123967788/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=19108176 memory=255488 CPUtime=29.22 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 33131 0 0 0 2907 15 0 0 20 0 20 0 186150399 19566772224 63872 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4777044 63872 5868 1 0 558796 0
[pid=973485/tid=973492] ppid=973478 vsize=19108176 memory=195860 CPUtime=24.93 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 9580 0 0 0 2486 7 0 0 20 0 20 0 186150400 19566772224 63872 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=19108176 memory=255488 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 63872 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=19108176 memory=255484 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 186150406 19566772224 63872 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973548] ppid=973478 vsize=19108176 memory=255468 CPUtime=0 cores=5,7
/proc/973485/task/973548/stat : 973548 (Timer-0) S 973478 973485 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150496 19566772224 63872 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 29.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 255488 KiB

[startup+51.114 s]
/proc/loadavg: 4.14 4.12 4.15 9/321 973565
/proc/meminfo: memFree=122972528/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=19108176 memory=491384 CPUtime=55.17 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 42034 0 0 0 5494 23 0 0 20 0 20 0 186150399 19566772224 122846 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4777044 122846 5874 1 0 558817 0
[pid=973485/tid=973492] ppid=973478 vsize=19108176 memory=491384 CPUtime=49.96 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 11801 0 0 0 4989 7 0 0 20 0 20 0 186150400 19566772224 122846 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=19108176 memory=413544 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 122846 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 186150406 19566772224 122846 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0

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

[startup+3222.3 s]
/proc/loadavg: 4.18 4.16 4.15 10/320 975295
/proc/meminfo: memFree=103958752/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=19108176 memory=4831364 CPUtime=3241.94 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 184737 0 0 0 323911 283 0 0 20 0 20 0 186150399 19566772224 1207841 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4777044 1207841 5874 1 0 1539704 0
[pid=973485/tid=973492] ppid=973478 vsize=19108176 memory=4414964 CPUtime=3192.66 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 66354 0 0 0 319241 25 0 0 20 0 20 0 186150400 19566772224 1207841 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=19108176 memory=4414964 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 1207841 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=19108176 memory=4655064 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 1594 0 0 0 0 0 0 0 20 0 20 0 186150406 19566772224 1207841 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973548] ppid=973478 vsize=19108176 memory=4831364 CPUtime=0 cores=5,7
/proc/973485/task/973548/stat : 973548 (Timer-0) S 973478 973485 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150496 19566772224 1207841 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 3241.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4831364 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.18 4.15 7/320 975305
/proc/meminfo: memFree=103496532/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=19108176 memory=5081412 CPUtime=3302.18 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 185782 0 0 0 329929 289 0 0 20 0 20 0 186150399 19566772224 1270353 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4777044 1270353 5874 1 0 1539704 0
[pid=973485/tid=973492] ppid=973478 vsize=19108176 memory=4831364 CPUtime=3252.14 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 67089 0 0 0 325189 25 0 0 20 0 20 0 186150400 19566772224 1270353 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=19108176 memory=4831364 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 1270353 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=19108176 memory=4831364 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 1594 0 0 0 0 0 0 0 20 0 20 0 186150406 19566772224 1270353 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973548] ppid=973478 vsize=19108176 memory=12320 CPUtime=0 cores=5,7
/proc/973485/task/973548/stat : 973548 (Timer-0) S 973478 973485 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150496 19566772224 1270353 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 3302.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5081412 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.15 10/322 975411
/proc/meminfo: memFree=102732200/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=19108176 memory=5312840 CPUtime=3362.41 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 189020 0 0 0 335942 299 0 0 20 0 20 0 186150399 19566772224 1328210 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4777044 1328210 5874 1 0 1539704 0
[pid=973485/tid=973492] ppid=973478 vsize=19108176 memory=5081412 CPUtime=3311.65 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 68554 0 0 0 331139 26 0 0 20 0 20 0 186150400 19566772224 1328210 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=19108176 memory=4831364 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 1328210 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=19108176 memory=4831364 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 1681 0 0 0 0 0 0 0 20 0 20 0 186150406 19566772224 1328210 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973548] ppid=973478 vsize=19108176 memory=12720 CPUtime=0 cores=5,7
/proc/973485/task/973548/stat : 973548 (Timer-0) S 973478 973485 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150496 19566772224 1328210 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 3362.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5312840 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.19 4.16 8/317 975710
/proc/meminfo: memFree=101863504/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=19108176 memory=5474632 CPUtime=3422.58 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 190650 0 0 0 341953 305 0 0 20 0 20 0 186150399 19566772224 1368658 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4777044 1368658 5874 1 0 1539704 0
[pid=973485/tid=973492] ppid=973478 vsize=19108176 memory=5312840 CPUtime=3371.24 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 70057 0 0 0 337098 26 0 0 20 0 20 0 186150400 19566772224 1368658 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=19108176 memory=5312840 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 1368658 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=19108176 memory=5312840 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 1710 0 0 0 0 0 0 0 20 0 20 0 186150406 19566772224 1368658 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973548] ppid=973478 vsize=19108176 memory=12320 CPUtime=0 cores=5,7
/proc/973485/task/973548/stat : 973548 (Timer-0) S 973478 973485 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150496 19566772224 1368658 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 3422.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5474632 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.18 4.16 9/317 975720
/proc/meminfo: memFree=101449356/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=19108176 memory=5474632 CPUtime=3482.48 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 192996 0 0 0 347939 309 0 0 20 0 20 0 186150399 19566772224 1368658 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4777044 1368658 5874 1 0 1539704 0
[pid=973485/tid=973492] ppid=973478 vsize=19108176 memory=5312840 CPUtime=3431.09 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 72231 0 0 0 343083 26 0 0 20 0 20 0 186150400 19566772224 1368658 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=19108176 memory=5312840 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 1368658 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=19108176 memory=45680 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 1795 0 0 0 0 0 0 0 20 0 20 0 186150406 19566772224 1368658 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973548] ppid=973478 vsize=19108176 memory=5474632 CPUtime=0 cores=5,7
/proc/973485/task/973548/stat : 973548 (Timer-0) S 973478 973485 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150496 19566772224 1368658 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 3482.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5474632 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.17 4.16 8/320 975824
/proc/meminfo: memFree=100664620/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=19108176 memory=5722448 CPUtime=3542.72 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 197799 0 0 0 353955 317 0 0 20 0 20 0 186150399 19566772224 1430612 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4777044 1430612 5874 1 0 1539704 0
[pid=973485/tid=973492] ppid=973478 vsize=19108176 memory=5474632 CPUtime=3490.56 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 75332 0 0 0 349029 27 0 0 20 0 20 0 186150400 19566772224 1430612 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=19108176 memory=5476 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 1430612 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=19108176 memory=45680 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 1824 0 0 0 0 0 0 0 20 0 20 0 186150406 19566772224 1430612 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973548] ppid=973478 vsize=19108176 memory=45680 CPUtime=0 cores=5,7
/proc/973485/task/973548/stat : 973548 (Timer-0) S 973478 973485 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150496 19566772224 1430612 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 3542.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5722448 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3578.11 s]
/proc/loadavg: 4.29 4.21 4.17 8/321 975916
/proc/meminfo: memFree=99461728/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=19108176 memory=6105464 CPUtime=3600.08 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 220560 0 0 0 359678 330 0 0 20 0 20 0 186150399 19566772224 1526366 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4777044 1526366 5874 1 0 2310240 0
[pid=973485/tid=973492] ppid=973478 vsize=19108176 memory=6058360 CPUtime=3545.91 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) R 973478 973485 973401 0 -1 4194368 85785 0 0 0 354561 30 0 0 20 0 20 0 186150400 19566772224 1526366 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=19108176 memory=-8599173141401739964 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150405 19566772224 1526366 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=19108176 memory=-8599173141401739964 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 1860 0 0 0 0 0 0 0 20 0 20 0 186150406 19566772224 1526366 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973548] ppid=973478 vsize=19108176 memory=6087032 CPUtime=0 cores=5,7
/proc/973485/task/973548/stat : 973548 (Timer-0) S 973478 973485 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150496 19566772224 1526366 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6105464 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.03 s, system=3.33794 s

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

[startup+3578.2 s]
/proc/loadavg: 4.29 4.21 4.17 8/321 975916
/proc/meminfo: memFree=99461728/131655788 swapFree=131071996/131071996
[pid=973485] ppid=973478 vsize=19307868 memory=6116540 CPUtime=3600.23 cores=5,7
/proc/973485/stat : 973485 (java) S 973478 973485 973401 0 -1 1077936128 223620 0 0 0 359692 331 0 0 20 0 21 0 186150399 19771256832 1529135 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
/proc/973485/statm: 4826967 1529135 5904 1 0 2311145 0
[pid=973485/tid=973492] ppid=973478 vsize=19307868 memory=108 CPUtime=3545.93 cores=5,7
/proc/973485/task/973492/stat : 973492 (java) S 973478 973485 973401 0 -1 1077936192 86080 0 0 0 354563 30 0 0 20 0 21 0 186150400 19771256832 1529135 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973532] ppid=973478 vsize=19307868 memory=1900 CPUtime=0 cores=5,7
/proc/973485/task/973532/stat : 973532 (Finalizer) S 973478 973485 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 186150405 19771256832 1529135 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
[pid=973485/tid=973540] ppid=973478 vsize=19307868 memory=2276 CPUtime=0 cores=5,7
/proc/973485/task/973540/stat : 973540 (Common-Cleaner) S 973478 973485 973401 0 -1 1077936192 1860 0 0 0 0 0 0 0 20 0 21 0 186150406 19771256832 1529135 134679101440 93831470817280 93831470820976 140737239131856 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831470828792 93831470829584 93831472324608 140737239135238 140737239135328 140737239135328 140737239142344 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 6116540 KiB

Child status: 143

Real time (s): 3578.29
CPU time (s): 3600.37
CPU user time (s): 3597.03
CPU system time (s): 3.33794
CPU usage (%): 100.617
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6116540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.03
system time used= 3.33794
maximum resident set size= 6117468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224241
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109617
involuntary context switches= 3446


# summary of solver processes directly reported to runsolver:
#   pid: 973485
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3597.03
#   total CPU system time (s): 3.33794

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7174 second user time and 40.8761 second system time

The end