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: 63665 MiB (60933 MiB free)
  memory of node 1: 64507 MiB (56482 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4501982-1751160946/watcher-4501982-1751160946 -o /tmp/evaluation-result-4501982-1751160946/solver-4501982-1751160946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751157346-19470 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4501982-1751160946.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=20963, runsolver pid=20960

[startup+0.100063 s]*
/proc/loadavg: 4.15 4.20 4.16 5/339 20981
/proc/meminfo: memFree=120204788/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=18930384 memory=57864 CPUtime=0.12 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 6610 0 0 0 10 2 0 0 20 0 18 0 31772327 19384713216 14466 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4732596 14466 5354 1 0 547641 0
[pid=20963/tid=20965] ppid=20960 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 5103 0 0 0 7 1 0 0 20 0 18 0 31772328 19384713216 14466 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=18930384 memory=224227754321 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31772330 19384713216 14466 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=18930384 memory=58485492707711 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31772330 19384713216 14466 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57864 KiB

[startup+0.205952 s]*
/proc/loadavg: 4.15 4.20 4.16 6/339 20981
/proc/meminfo: memFree=120188972/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=18930384 memory=72896 CPUtime=0.32 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 7326 0 0 0 29 3 0 0 20 0 18 0 31772327 19384713216 18224 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4732596 18224 5418 1 0 548111 0
[pid=20963/tid=20965] ppid=20960 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 5263 0 0 0 15 2 0 0 20 0 18 0 31772328 19384713216 18224 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=18930384 memory=16195 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31772330 19384713216 18224 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31772330 19384713216 18224 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72896 KiB

[startup+0.305796 s]*
/proc/loadavg: 4.15 4.20 4.16 6/339 20981
/proc/meminfo: memFree=120152676/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=18930384 memory=108916 CPUtime=0.51 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 8473 0 0 0 47 4 0 0 20 0 18 0 31772327 19384713216 27229 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4732596 27229 5418 1 0 548882 0
[pid=20963/tid=20965] ppid=20960 vsize=18930384 memory=-6000919507049213037 CPUtime=0.26 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 5296 0 0 0 24 2 0 0 20 0 18 0 31772328 19384713216 27229 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31772330 19384713216 27229 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31772330 19384713216 27229 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 108916 KiB

[startup+0.700232 s]
/proc/loadavg: 4.30 4.23 4.17 6/340 20982
/proc/meminfo: memFree=120090608/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=19063512 memory=168648 CPUtime=1.27 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 11066 0 0 0 121 6 0 0 20 0 20 0 31772327 19521036288 42162 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4765878 42162 5482 1 0 551262 0
[pid=20963/tid=20965] ppid=20960 vsize=19063512 memory=17280 CPUtime=0.61 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 5363 0 0 0 58 3 0 0 20 0 20 0 31772328 19521036288 42162 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 42162 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 42162 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168648 KiB

[startup+1.50024 s]
/proc/loadavg: 4.30 4.23 4.17 6/341 20983
/proc/meminfo: memFree=120090384/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=19063512 memory=183348 CPUtime=2.86 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 22446 0 0 0 278 8 0 0 20 0 20 0 31772327 19521036288 45837 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4765878 45837 5482 1 0 554840 0
[pid=20963/tid=20965] ppid=20960 vsize=19063512 memory=3328 CPUtime=1.39 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 5913 0 0 0 136 3 0 0 20 0 20 0 31772328 19521036288 45837 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 45837 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 45837 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20983] ppid=20960 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/20963/task/20983/stat : 20983 (Timer-0) S 20960 20963 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31772381 19521036288 45837 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183348 KiB

[startup+3.10568 s]
/proc/loadavg: 4.30 4.23 4.17 5/341 20983
/proc/meminfo: memFree=120071272/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=19063512 memory=184108 CPUtime=5.28 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 24608 0 0 0 519 9 0 0 20 0 20 0 31772327 19521036288 46027 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4765878 46027 5514 1 0 554892 0
[pid=20963/tid=20965] ppid=20960 vsize=19063512 memory=10752 CPUtime=2.98 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 6865 0 0 0 295 3 0 0 20 0 20 0 31772328 19521036288 46027 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 46027 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 46027 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20983] ppid=20960 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/20963/task/20983/stat : 20983 (Timer-0) S 20960 20963 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31772381 19521036288 46027 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 5.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184108 KiB

[startup+6.30021 s]
/proc/loadavg: 4.36 4.24 4.17 6/341 21050
/proc/meminfo: memFree=122059240/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=19063512 memory=178580 CPUtime=8.49 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 24779 0 0 0 840 9 0 0 20 0 20 0 31772327 19521036288 44645 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4765878 44645 5514 1 0 554894 0
[pid=20963/tid=20965] ppid=20960 vsize=19063512 memory=0 CPUtime=6.16 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 6977 0 0 0 613 3 0 0 20 0 20 0 31772328 19521036288 44645 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 44645 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 44645 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20983] ppid=20960 vsize=19063512 memory=280263796089872 CPUtime=0 cores=0,2
/proc/20963/task/20983/stat : 20983 (Timer-0) S 20960 20963 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31772381 19521036288 44645 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 8.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178580 KiB

[startup+12.7002 s]
/proc/loadavg: 4.33 4.23 4.17 5/341 21050
/proc/meminfo: memFree=122047396/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=19063512 memory=186928 CPUtime=14.98 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 29965 0 0 0 1488 10 0 0 20 0 20 0 31772327 19521036288 46732 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4765878 46732 5514 1 0 554894 0
[pid=20963/tid=20965] ppid=20960 vsize=19063512 memory=10752 CPUtime=12.53 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 7894 0 0 0 1250 3 0 0 20 0 20 0 31772328 19521036288 46732 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=19063512 memory=186928 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 46732 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 46732 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20983] ppid=20960 vsize=19063512 memory=184236 CPUtime=0 cores=0,2
/proc/20963/task/20983/stat : 20983 (Timer-0) S 20960 20963 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31772381 19521036288 46732 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 14.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186928 KiB

[startup+25.5002 s]
/proc/loadavg: 4.28 4.23 4.17 5/341 21050
/proc/meminfo: memFree=121966036/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=19063512 memory=187056 CPUtime=27.81 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 33257 0 0 0 2770 11 0 0 20 0 20 0 31772327 19521036288 46764 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4765878 46764 5514 1 0 554894 0
[pid=20963/tid=20965] ppid=20960 vsize=19063512 memory=-6000919477052140397 CPUtime=25.3 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 8715 0 0 0 2526 4 0 0 20 0 20 0 31772328 19521036288 46764 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=19063512 memory=186928 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 46764 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=19063512 memory=184236 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 46764 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20983] ppid=20960 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/20963/task/20983/stat : 20983 (Timer-0) S 20960 20963 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31772381 19521036288 46764 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 27.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187056 KiB

[startup+51.1057 s]
/proc/loadavg: 4.24 4.22 4.17 5/341 21050
/proc/meminfo: memFree=121942296/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=19063512 memory=199392 CPUtime=53.37 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 34430 0 0 0 5325 12 0 0 20 0 20 0 31772327 19521036288 49848 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4765878 49848 5514 1 0 554894 0
[pid=20963/tid=20965] ppid=20960 vsize=19063512 memory=186928 CPUtime=50.81 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 8768 0 0 0 5077 4 0 0 20 0 20 0 31772328 19521036288 49848 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 49848 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=19063512 memory=199392 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 49848 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20983] ppid=20960 vsize=19063512 memory=14824 CPUtime=0 cores=0,2

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

/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=19063512 memory=1796428 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 800 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20983] ppid=20960 vsize=19063512 memory=1796428 CPUtime=0 cores=0,2
/proc/20963/task/20983/stat : 20983 (Timer-0) S 20960 20963 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31772381 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 3218.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1796428 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/342 21752
/proc/meminfo: memFree=123997224/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=19063512 memory=1796428 CPUtime=3278.53 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 71784 0 0 0 327734 119 0 0 20 0 20 0 31772327 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4765878 449107 5546 1 0 557855 0
[pid=20963/tid=20965] ppid=20960 vsize=19063512 memory=-6000919507049213037 CPUtime=3272.25 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 26222 0 0 0 327207 18 0 0 20 0 20 0 31772328 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=19063512 memory=1796428 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=19063512 memory=1796428 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 800 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20983] ppid=20960 vsize=19063512 memory=2736 CPUtime=0 cores=0,2
/proc/20963/task/20983/stat : 20983 (Timer-0) S 20960 20963 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31772381 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 3278.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1796428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/341 21754
/proc/meminfo: memFree=123964608/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=19063512 memory=1796428 CPUtime=3338.37 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 72186 0 0 0 333716 121 0 0 20 0 20 0 31772327 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4765878 449107 5546 1 0 557856 0
[pid=20963/tid=20965] ppid=20960 vsize=19063512 memory=1796428 CPUtime=3332.08 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 26597 0 0 0 333190 18 0 0 20 0 20 0 31772328 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=19063512 memory=1796428 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 800 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20983] ppid=20960 vsize=19063512 memory=1796428 CPUtime=0 cores=0,2
/proc/20963/task/20983/stat : 20983 (Timer-0) S 20960 20963 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31772381 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 3338.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1796428 KiB

[startup+3402.3 s]
/proc/loadavg: 4.47 4.27 4.18 5/342 21761
/proc/meminfo: memFree=123657268/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=19063512 memory=1796428 CPUtime=3398.22 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 73213 0 0 0 339699 123 0 0 20 0 20 0 31772327 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4765878 449107 5546 1 0 557857 0
[pid=20963/tid=20965] ppid=20960 vsize=19063512 memory=1796428 CPUtime=3391.91 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 27538 0 0 0 339172 19 0 0 20 0 20 0 31772328 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=19063512 memory=1796428 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=19063512 memory=1796428 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 828 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20983] ppid=20960 vsize=19063512 memory=4380 CPUtime=0 cores=0,2
/proc/20963/task/20983/stat : 20983 (Timer-0) S 20960 20963 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31772381 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 3398.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1796428 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.23 4.17 5/342 21765
/proc/meminfo: memFree=123656708/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=19063512 memory=1796428 CPUtime=3458.06 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 74048 0 0 0 345683 123 0 0 20 0 20 0 31772327 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4765878 449107 5546 1 0 557858 0
[pid=20963/tid=20965] ppid=20960 vsize=19063512 memory=1796428 CPUtime=3451.73 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 28313 0 0 0 345154 19 0 0 20 0 20 0 31772328 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=19063512 memory=1796428 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 828 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20983] ppid=20960 vsize=19063512 memory=1796428 CPUtime=0 cores=0,2
/proc/20963/task/20983/stat : 20983 (Timer-0) S 20960 20963 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31772381 19521036288 449107 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 3458.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1796428 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.20 4.17 5/342 21767
/proc/meminfo: memFree=123544664/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=19063512 memory=1872292 CPUtime=3518.03 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 74592 0 0 0 351678 125 0 0 20 0 20 0 31772327 19521036288 468073 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4765878 468073 5546 1 0 557858 0
[pid=20963/tid=20965] ppid=20960 vsize=19063512 memory=1796428 CPUtime=3511.46 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 28403 0 0 0 351127 19 0 0 20 0 20 0 31772328 19521036288 468073 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=19063512 memory=1796428 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 468073 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=19063512 memory=1872292 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 839 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 468073 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20983] ppid=20960 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/20963/task/20983/stat : 20983 (Timer-0) S 20960 20963 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31772381 19521036288 468073 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 3518.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1872292 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/340 21770
/proc/meminfo: memFree=123474164/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=19063512 memory=1872292 CPUtime=3577.9 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 74716 0 0 0 357663 127 0 0 20 0 20 0 31772327 19521036288 468073 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4765878 468073 5546 1 0 557858 0
[pid=20963/tid=20965] ppid=20960 vsize=19063512 memory=17280 CPUtime=3571.3 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 28487 0 0 0 357111 19 0 0 20 0 20 0 31772328 19521036288 468073 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=19063512 memory=1872292 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 468073 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=19063512 memory=-6000919507049213037 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 839 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 468073 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20983] ppid=20960 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/20963/task/20983/stat : 20983 (Timer-0) S 20960 20963 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31772381 19521036288 468073 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 3577.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1872292 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.5 s]
/proc/loadavg: 4.11 4.18 4.16 5/340 21771
/proc/meminfo: memFree=123347228/131249996 swapFree=33010684/33010684
[pid=20963] ppid=20960 vsize=19063512 memory=1872292 CPUtime=3600.04 cores=0,2
/proc/20963/stat : 20963 (java) S 20960 20963 19460 0 -1 4194304 74873 0 0 0 359877 127 0 0 20 0 20 0 31772327 19521036288 468073 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
/proc/20963/statm: 4765878 468073 5546 1 0 557858 0
[pid=20963/tid=20965] ppid=20960 vsize=19063512 memory=1872292 CPUtime=3593.44 cores=0,2
/proc/20963/task/20965/stat : 20965 (java) R 20960 20963 19460 0 -1 4194368 28631 0 0 0 359325 19 0 0 20 0 20 0 31772328 19521036288 468073 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20974] ppid=20960 vsize=19063512 memory=1872292 CPUtime=0 cores=0,2
/proc/20963/task/20974/stat : 20974 (Finalizer) S 20960 20963 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 468073 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20981] ppid=20960 vsize=19063512 memory=1872292 CPUtime=0 cores=0,2
/proc/20963/task/20981/stat : 20981 (Common-Cleaner) S 20960 20963 19460 0 -1 4194368 839 0 0 0 0 0 0 0 20 0 20 0 31772330 19521036288 468073 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
[pid=20963/tid=20983] ppid=20960 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/20963/task/20983/stat : 20983 (Timer-0) S 20960 20963 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31772381 19521036288 468073 18446744073709551615 94640350904320 94640350908016 140734419005936 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94640350915832 94640350916624 94640356069376 140734419011969 140734419012070 140734419012070 140734419017672 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1872292 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.91 s, system=1.29092 s

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

[startup+3604.61 s]*
/proc/loadavg: 4.11 4.18 4.16 5/319 21774
/proc/meminfo: memFree=125175988/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3604.63
CPU time (s): 3600.2
CPU user time (s): 3598.91
CPU system time (s): 1.29092
CPU usage (%): 99.8771
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1872292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.91
system time used= 1.29092
maximum resident set size= 1873188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76490
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109217
involuntary context switches= 5950


# summary of solver processes directly reported to runsolver:
#   pid: 20963
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3598.91
#   total CPU system time (s): 1.29092

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62827 second user time and 17.2889 second system time

The end