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: 63708 MiB (62789 MiB free)
  memory of node 1: 64465 MiB (63937 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497946-1751270066/watcher-4497946-1751270066 -o /tmp/evaluation-result-4497946-1751270066/solver-4497946-1751270066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751270066-36243 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4497946-1751270066.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=36292, runsolver pid=36283

[startup+0.100059 s]*
/proc/loadavg: 7.12 7.89 6.98 9/332 36369
/proc/meminfo: memFree=129714856/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=18930384 memory=57696 CPUtime=0.12 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 6574 0 0 0 10 2 0 0 20 0 18 0 42684063 19384713216 14424 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4732596 14424 5354 1 0 547620 0
[pid=36292/tid=36303] ppid=36283 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 5073 0 0 0 6 1 0 0 20 0 18 0 42684064 19384713216 14424 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=18930384 memory=2621 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42684066 19384713216 14424 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=18930384 memory=55186957796323 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 42684067 19384713216 14424 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57696 KiB

[startup+0.205099 s]*
/proc/loadavg: 7.12 7.89 6.98 14/332 36369
/proc/meminfo: memFree=129668972/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=18930384 memory=68020 CPUtime=0.32 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 7039 0 0 0 29 3 0 0 20 0 18 0 42684063 19384713216 17005 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4732596 17005 5418 1 0 547888 0
[pid=36292/tid=36303] ppid=36283 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 5293 0 0 0 16 2 0 0 20 0 18 0 42684064 19384713216 17005 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=18930384 memory=2621 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42684066 19384713216 17005 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=18930384 memory=55186957796323 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 42684067 19384713216 17005 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68020 KiB

[startup+0.305018 s]*
/proc/loadavg: 7.12 7.89 6.98 11/335 36372
/proc/meminfo: memFree=129587056/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=18996948 memory=104380 CPUtime=0.51 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 9423 0 0 0 47 4 0 0 20 0 19 0 42684063 19452874752 26095 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4749237 26095 5418 1 0 549524 0
[pid=36292/tid=36303] ppid=36283 vsize=18996948 memory=-6000919489836246636 CPUtime=0.25 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 5351 0 0 0 23 2 0 0 20 0 19 0 42684064 19452874752 26095 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 42684066 19452874752 26095 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 42684067 19452874752 26095 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36372] ppid=36283 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/36292/task/36372/stat : 36372 (Timer-0) S 36283 36292 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 42684090 19452874752 26095 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104380 KiB

[startup+0.700223 s]
/proc/loadavg: 7.12 7.89 6.98 10/336 36373
/proc/meminfo: memFree=129561792/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=18996948 memory=119296 CPUtime=1.27 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 11470 0 0 0 123 4 0 0 20 0 19 0 42684063 19452874752 29824 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4749237 29824 5418 1 0 551069 0
[pid=36292/tid=36303] ppid=36283 vsize=18996948 memory=17536 CPUtime=0.61 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 5387 0 0 0 59 2 0 0 20 0 19 0 42684064 19452874752 29824 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 42684066 19452874752 29824 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 42684067 19452874752 29824 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36372] ppid=36283 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/36292/task/36372/stat : 36372 (Timer-0) S 36283 36292 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 42684090 19452874752 29824 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 119296 KiB

[startup+1.50021 s]
/proc/loadavg: 7.12 7.89 6.98 6/314 36383
/proc/meminfo: memFree=129563888/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=18996948 memory=157552 CPUtime=2.45 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 17567 0 0 0 238 7 0 0 20 0 19 0 42684063 19452874752 39388 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4749237 39388 5418 1 0 551814 0
[pid=36292/tid=36303] ppid=36283 vsize=18996948 memory=10752 CPUtime=1.39 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 6600 0 0 0 134 5 0 0 20 0 19 0 42684064 19452874752 39388 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 42684066 19452874752 39388 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 42684067 19452874752 39388 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36372] ppid=36283 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/36292/task/36372/stat : 36372 (Timer-0) S 36283 36292 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 42684090 19452874752 39388 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 157552 KiB

[startup+3.105 s]
/proc/loadavg: 7.12 7.89 6.98 7/338 36440
/proc/meminfo: memFree=129208736/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=19063512 memory=209492 CPUtime=4.16 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 18937 0 0 0 407 9 0 0 20 0 20 0 42684063 19521036288 52373 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4765878 52373 5450 1 0 552108 0
[pid=36292/tid=36303] ppid=36283 vsize=19063512 memory=10752 CPUtime=2.92 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 6921 0 0 0 287 5 0 0 20 0 20 0 42684064 19521036288 52373 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=19063512 memory=-6000919494131213932 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684066 19521036288 52373 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 42684067 19521036288 52373 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36372] ppid=36283 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/36292/task/36372/stat : 36372 (Timer-0) S 36283 36292 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684090 19521036288 52373 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 209492 KiB

[startup+6.30024 s]
/proc/loadavg: 6.95 7.85 6.97 6/340 36442
/proc/meminfo: memFree=128815820/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=19063512 memory=424840 CPUtime=7.54 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 20010 0 0 0 742 12 0 0 20 0 20 0 42684063 19521036288 106210 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4765878 106210 5482 1 0 552108 0
[pid=36292/tid=36303] ppid=36283 vsize=19063512 memory=0 CPUtime=5.92 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 7039 0 0 0 587 5 0 0 20 0 20 0 42684064 19521036288 106210 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684066 19521036288 106210 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 42684067 19521036288 106210 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36372] ppid=36283 vsize=19063512 memory=163696 CPUtime=0 cores=4,6
/proc/36292/task/36372/stat : 36372 (Timer-0) S 36283 36292 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684090 19521036288 106210 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 7.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 424840 KiB

[startup+12.7002 s]
/proc/loadavg: 6.72 7.78 6.96 6/340 36442
/proc/meminfo: memFree=127915908/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=19063512 memory=704732 CPUtime=14.07 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 22986 0 0 0 1389 18 0 0 20 0 20 0 42684063 19521036288 176183 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4765878 176183 5482 1 0 685782 0
[pid=36292/tid=36303] ppid=36283 vsize=19063512 memory=163696 CPUtime=12.17 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 7917 0 0 0 1209 8 0 0 20 0 20 0 42684064 19521036288 176183 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=19063512 memory=536680 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684066 19521036288 176183 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 42684067 19521036288 176183 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36372] ppid=36283 vsize=19063512 memory=704732 CPUtime=0 cores=4,6
/proc/36292/task/36372/stat : 36372 (Timer-0) S 36283 36292 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684090 19521036288 176183 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 14.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 704732 KiB

[startup+25.5002 s]
/proc/loadavg: 6.19 7.61 6.91 6/340 36442
/proc/meminfo: memFree=126579368/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=19063512 memory=1016100 CPUtime=27.19 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 27370 0 0 0 2695 24 0 0 20 0 20 0 42684063 19521036288 254025 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4765878 254025 5482 1 0 685783 0
[pid=36292/tid=36303] ppid=36283 vsize=19063512 memory=917756 CPUtime=24.69 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 8662 0 0 0 2461 8 0 0 20 0 20 0 42684064 19521036288 254025 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=19063512 memory=-6000919472773686892 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684066 19521036288 254025 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=19063512 memory=-6000919494131213932 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 42684067 19521036288 254025 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36372] ppid=36283 vsize=19063512 memory=163696 CPUtime=0 cores=4,6
/proc/36292/task/36372/stat : 36372 (Timer-0) S 36283 36292 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684090 19521036288 254025 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 27.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1016100 KiB

[startup+51.1056 s]
/proc/loadavg: 5.52 7.34 6.84 7/340 36443
/proc/meminfo: memFree=123587076/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=19063512 memory=1711740 CPUtime=53.64 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 36833 0 0 0 5324 40 0 0 20 0 20 0 42684063 19521036288 427935 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4765878 427935 5482 1 0 686700 0
[pid=36292/tid=36303] ppid=36283 vsize=19063512 memory=163696 CPUtime=49.64 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 10151 0 0 0 4956 8 0 0 20 0 20 0 42684064 19521036288 427935 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0

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

/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684066 19521036288 1857747 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=19063512 memory=7430988 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 2172 0 0 0 0 0 0 0 20 0 20 0 42684067 19521036288 1857747 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36372] ppid=36283 vsize=19063512 memory=7430988 CPUtime=0 cores=4,6
/proc/36292/task/36372/stat : 36372 (Timer-0) S 36283 36292 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684090 19521036288 1857747 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 3184.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7430988 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.10 4.19 7/340 36735
/proc/meminfo: memFree=111089748/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=19063512 memory=7775052 CPUtime=3244.9 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 178365 0 0 0 324218 272 0 0 20 0 20 0 42684063 19521036288 1943763 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4765878 1943763 5482 1 0 2163158 0
[pid=36292/tid=36303] ppid=36283 vsize=19063512 memory=17536 CPUtime=3192.68 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 85135 0 0 0 319216 52 0 0 20 0 20 0 42684064 19521036288 1943763 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684066 19521036288 1943763 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=19063512 memory=7430988 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 2293 0 0 0 0 0 0 0 20 0 20 0 42684067 19521036288 1943763 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36372] ppid=36283 vsize=19063512 memory=7775052 CPUtime=0 cores=4,6
/proc/36292/task/36372/stat : 36372 (Timer-0) S 36283 36292 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684090 19521036288 1943763 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 3244.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7775052 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.18 6/339 36737
/proc/meminfo: memFree=110032800/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=19063512 memory=7951180 CPUtime=3304.96 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 180261 0 0 0 330219 277 0 0 20 0 20 0 42684063 19521036288 1987795 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4765878 1987795 5482 1 0 2163158 0
[pid=36292/tid=36303] ppid=36283 vsize=19063512 memory=7775052 CPUtime=3252.36 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 86854 0 0 0 325184 52 0 0 20 0 20 0 42684064 19521036288 1987795 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=19063512 memory=7775052 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684066 19521036288 1987795 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=19063512 memory=7775052 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 2369 0 0 0 0 0 0 0 20 0 20 0 42684067 19521036288 1987795 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36372] ppid=36283 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/36292/task/36372/stat : 36372 (Timer-0) S 36283 36292 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684090 19521036288 1987795 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 3304.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7951180 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.18 6/339 36739
/proc/meminfo: memFree=109856172/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=19063512 memory=7951180 CPUtime=3364.83 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 182360 0 0 0 336205 278 0 0 20 0 20 0 42684063 19521036288 1987795 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4765878 1987795 5482 1 0 2163158 0
[pid=36292/tid=36303] ppid=36283 vsize=19063512 memory=2688 CPUtime=3312.21 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 88811 0 0 0 331169 52 0 0 20 0 20 0 42684064 19521036288 1987795 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=19063512 memory=7951180 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684066 19521036288 1987795 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 2485 0 0 0 0 0 0 0 20 0 20 0 42684067 19521036288 1987795 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36372] ppid=36283 vsize=19063512 memory=7951180 CPUtime=0 cores=4,6
/proc/36292/task/36372/stat : 36372 (Timer-0) S 36283 36292 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684090 19521036288 1987795 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 3364.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7951180 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.13 4.18 6/338 36741
/proc/meminfo: memFree=108966800/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=19063512 memory=8817728 CPUtime=3426.86 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 193119 0 0 0 342389 297 0 0 20 0 20 0 42684063 19521036288 2204432 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4765878 2204432 5482 1 0 2460594 0
[pid=36292/tid=36303] ppid=36283 vsize=19063512 memory=7951180 CPUtime=3371.59 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 92966 0 0 0 337098 61 0 0 20 0 20 0 42684064 19521036288 2204432 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684066 19521036288 2204432 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=19063512 memory=8817728 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 2486 0 0 0 0 0 0 0 20 0 20 0 42684067 19521036288 2204432 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36372] ppid=36283 vsize=19063512 memory=8817728 CPUtime=0 cores=4,6
/proc/36292/task/36372/stat : 36372 (Timer-0) S 36283 36292 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684090 19521036288 2204432 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 3426.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8817728 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.17 6/338 36743
/proc/meminfo: memFree=107468984/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=19063512 memory=8817728 CPUtime=3486.74 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 195270 0 0 0 348375 299 0 0 20 0 20 0 42684063 19521036288 2204432 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4765878 2204432 5482 1 0 2460594 0
[pid=36292/tid=36303] ppid=36283 vsize=19063512 memory=7951180 CPUtime=3431.44 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 95010 0 0 0 343083 61 0 0 20 0 20 0 42684064 19521036288 2204432 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=19063512 memory=8817728 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684066 19521036288 2204432 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=19063512 memory=8817728 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 2526 0 0 0 0 0 0 0 20 0 20 0 42684067 19521036288 2204432 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36372] ppid=36283 vsize=19063512 memory=7523107499628123499 CPUtime=0 cores=4,6
/proc/36292/task/36372/stat : 36372 (Timer-0) S 36283 36292 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684090 19521036288 2204432 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 3486.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8817728 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.17 6/339 36746
/proc/meminfo: memFree=107325520/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=19063512 memory=8883268 CPUtime=3546.95 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 198841 0 0 0 354393 302 0 0 20 0 20 0 42684063 19521036288 2220817 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4765878 2220817 5482 1 0 2460594 0
[pid=36292/tid=36303] ppid=36283 vsize=19063512 memory=8817728 CPUtime=3490.97 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 97147 0 0 0 349036 61 0 0 20 0 20 0 42684064 19521036288 2220817 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=19063512 memory=8817728 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684066 19521036288 2220817 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=19063512 memory=8883268 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 2535 0 0 0 0 0 0 0 20 0 20 0 42684067 19521036288 2220817 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36372] ppid=36283 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/36292/task/36372/stat : 36372 (Timer-0) S 36283 36292 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684090 19521036288 2220817 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 3546.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8883268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3575.2 s]
/proc/loadavg: 4.16 4.13 4.18 6/339 36748
/proc/meminfo: memFree=107186536/131249996 swapFree=33010684/33010684
[pid=36292] ppid=36283 vsize=19063512 memory=8883268 CPUtime=3600.05 cores=4,6
/proc/36292/stat : 36292 (java) S 36283 36292 35566 0 -1 4194304 201733 0 0 0 359701 304 0 0 20 0 20 0 42684063 19521036288 2220817 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
/proc/36292/statm: 4765878 2220817 5482 1 0 2460594 0
[pid=36292/tid=36303] ppid=36283 vsize=19063512 memory=14848 CPUtime=3543.43 cores=4,6
/proc/36292/task/36303/stat : 36303 (java) R 36283 36292 35566 0 -1 4194368 98678 0 0 0 354281 62 0 0 20 0 20 0 42684064 19521036288 2220817 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36323] ppid=36283 vsize=19063512 memory=8883268 CPUtime=0 cores=4,6
/proc/36292/task/36323/stat : 36323 (Finalizer) S 36283 36292 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684066 19521036288 2220817 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36347] ppid=36283 vsize=19063512 memory=8883268 CPUtime=0 cores=4,6
/proc/36292/task/36347/stat : 36347 (Common-Cleaner) S 36283 36292 35566 0 -1 4194368 2559 0 0 0 0 0 0 0 20 0 20 0 42684067 19521036288 2220817 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
[pid=36292/tid=36372] ppid=36283 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/36292/task/36372/stat : 36372 (Timer-0) S 36283 36292 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684090 19521036288 2220817 18446744073709551615 94297447116800 94297447120496 140720610760432 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94297447128312 94297447129104 94297475067904 140720610769281 140720610769382 140720610769382 140720610774984 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8883268 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.16 s, system=3.07558 s

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

[startup+3575.31 s]*
/proc/loadavg: 4.16 4.13 4.18 5/321 36751
/proc/meminfo: memFree=108243304/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): 3575.35
CPU time (s): 3600.23
CPU user time (s): 3597.16
CPU system time (s): 3.07558
CPU usage (%): 100.696
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 8883268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.16
system time used= 3.07558
maximum resident set size= 8884292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203815
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111462
involuntary context switches= 7469


# summary of solver processes directly reported to runsolver:
#   pid: 36292
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3597.16
#   total CPU system time (s): 3.07558

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45568 second user time and 16.7528 second system time

The end