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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513122-1751212014/watcher-4513122-1751212014 -o /tmp/evaluation-result-4513122-1751212014/solver-4513122-1751212014 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751208407-26870 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4513122-1751212014.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=27439, runsolver pid=27436

[startup+0.100061 s]*
/proc/loadavg: 4.08 4.09 4.03 7/336 27457
/proc/meminfo: memFree=127265696/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=18930384 memory=53300 CPUtime=0.11 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 6489 0 0 0 9 2 0 0 20 0 18 0 36879171 19384713216 13325 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4732596 13325 5331 1 0 547569 0
[pid=27439/tid=27441] ppid=27436 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 4999 0 0 0 5 1 0 0 20 0 18 0 36879173 19384713216 13325 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36879175 19384713216 13325 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=18930384 memory=60684515966010 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 36879175 19384713216 13325 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53300 KiB

[startup+0.205619 s]*
/proc/loadavg: 4.08 4.09 4.03 8/336 27457
/proc/meminfo: memFree=127247044/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=18930384 memory=66000 CPUtime=0.3 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 7001 0 0 0 28 2 0 0 20 0 18 0 36879171 19384713216 16500 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4732596 16500 5427 1 0 547887 0
[pid=27439/tid=27441] ppid=27436 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 5263 0 0 0 15 1 0 0 20 0 18 0 36879173 19384713216 16500 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=18930384 memory=16880 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36879175 19384713216 16500 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 36879175 19384713216 16500 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66000 KiB

[startup+0.305617 s]*
/proc/loadavg: 4.08 4.09 4.03 8/336 27457
/proc/meminfo: memFree=127219948/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=18930384 memory=95216 CPUtime=0.5 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 8647 0 0 0 47 3 0 0 20 0 18 0 36879171 19384713216 23804 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4732596 23804 5427 1 0 549017 0
[pid=27439/tid=27441] ppid=27436 vsize=18930384 memory=-6000919481330066797 CPUtime=0.23 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 5318 0 0 0 21 2 0 0 20 0 18 0 36879173 19384713216 23804 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36879175 19384713216 23804 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 36879175 19384713216 24347 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 95216 KiB

[startup+0.700226 s]
/proc/loadavg: 4.08 4.09 4.03 7/337 27458
/proc/meminfo: memFree=127191912/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=18996948 memory=115072 CPUtime=1.26 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 14831 0 0 0 122 4 0 0 20 0 19 0 36879171 19452874752 28768 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4749237 28768 5427 1 0 553600 0
[pid=27439/tid=27441] ppid=27436 vsize=18996948 memory=17408 CPUtime=0.6 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 5346 0 0 0 58 2 0 0 20 0 19 0 36879173 19452874752 28768 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36879175 19452874752 28768 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 36879175 19452874752 28768 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27458] ppid=27436 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/27439/task/27458/stat : 27458 (Timer-0) S 27436 27439 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36879203 19452874752 28768 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 115072 KiB

[startup+1.50022 s]
/proc/loadavg: 4.08 4.09 4.03 6/337 27458
/proc/meminfo: memFree=127171812/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=18996948 memory=123400 CPUtime=2.84 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 21325 0 0 0 279 5 0 0 20 0 19 0 36879171 19452874752 30850 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4749237 30850 5459 1 0 553948 0
[pid=27439/tid=27441] ppid=27436 vsize=18996948 memory=0 CPUtime=1.37 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 5530 0 0 0 135 2 0 0 20 0 19 0 36879173 19452874752 30850 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36879175 19452874752 30850 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 36879175 19452874752 30850 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27458] ppid=27436 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/27439/task/27458/stat : 27458 (Timer-0) S 27436 27439 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36879203 19452874752 30850 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 123400 KiB

[startup+3.10546 s]
/proc/loadavg: 4.16 4.11 4.04 5/337 27458
/proc/meminfo: memFree=127127200/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=18996948 memory=140432 CPUtime=4.85 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 23253 0 0 0 480 5 0 0 20 0 19 0 36879171 19452874752 35108 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4749237 35108 5459 1 0 554045 0
[pid=27439/tid=27441] ppid=27436 vsize=18996948 memory=10752 CPUtime=2.97 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 5975 0 0 0 295 2 0 0 20 0 19 0 36879173 19452874752 35108 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=18996948 memory=-6000919481330066797 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36879175 19452874752 35108 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 36879175 19452874752 35108 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27458] ppid=27436 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/27439/task/27458/stat : 27458 (Timer-0) S 27436 27439 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36879203 19452874752 35108 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 4.85 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 140432 KiB

[startup+6.30022 s]
/proc/loadavg: 4.16 4.11 4.04 5/337 27458
/proc/meminfo: memFree=127061768/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=18996948 memory=163812 CPUtime=8.05 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 23416 0 0 0 799 6 0 0 20 0 19 0 36879171 19452874752 40953 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4749237 40953 5491 1 0 554045 0
[pid=27439/tid=27441] ppid=27436 vsize=18996948 memory=0 CPUtime=6.16 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 6097 0 0 0 613 3 0 0 20 0 19 0 36879173 19452874752 40953 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36879175 19452874752 40953 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 36879175 19452874752 40953 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27458] ppid=27436 vsize=18996948 memory=125460 CPUtime=0 cores=0,2
/proc/27439/task/27458/stat : 27458 (Timer-0) S 27436 27439 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36879203 19452874752 40953 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 8.05 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 163812 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.12 4.04 5/340 27461
/proc/meminfo: memFree=126988048/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=19063512 memory=180592 CPUtime=14.5 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 27382 0 0 0 1443 7 0 0 20 0 20 0 36879171 19521036288 45148 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4765878 45148 5491 1 0 554334 0
[pid=27439/tid=27441] ppid=27436 vsize=19063512 memory=125460 CPUtime=12.52 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 6694 0 0 0 1249 3 0 0 20 0 20 0 36879173 19521036288 45148 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=19063512 memory=180592 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 45148 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 45148 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27458] ppid=27436 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/27439/task/27458/stat : 27458 (Timer-0) S 27436 27439 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879203 19521036288 45148 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 14.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180592 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.12 4.04 5/339 27461
/proc/meminfo: memFree=126963480/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=19063512 memory=186836 CPUtime=27.26 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 30111 0 0 0 2719 7 0 0 20 0 20 0 36879171 19521036288 46709 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4765878 46709 5491 1 0 554334 0
[pid=27439/tid=27441] ppid=27436 vsize=19063512 memory=-6000919481330066797 CPUtime=25.27 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 7710 0 0 0 2524 3 0 0 20 0 20 0 36879173 19521036288 46709 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=19063512 memory=186836 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 46709 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 46709 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27458] ppid=27436 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27439/task/27458/stat : 27458 (Timer-0) S 27436 27439 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879203 19521036288 46709 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 27.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186836 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.11 4.04 5/339 27461
/proc/meminfo: memFree=126856756/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=19063512 memory=252556 CPUtime=52.88 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 31417 0 0 0 5278 10 0 0 20 0 20 0 36879171 19521036288 63139 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4765878 63139 5491 1 0 554334 0
[pid=27439/tid=27441] ppid=27436 vsize=19063512 memory=213636 CPUtime=50.74 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 7915 0 0 0 5071 3 0 0 20 0 20 0 36879173 19521036288 63139 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 63139 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0

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

/proc/meminfo: memFree=121785632/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=19063512 memory=2037140 CPUtime=3218.16 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 77734 0 0 0 321715 101 0 0 20 0 20 0 36879171 19521036288 509285 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4765878 509285 5491 1 0 557616 0
[pid=27439/tid=27441] ppid=27436 vsize=19063512 memory=2037140 CPUtime=3211.33 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 31801 0 0 0 321120 13 0 0 20 0 20 0 36879173 19521036288 509285 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=19063512 memory=2037140 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 509285 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 1027 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 509285 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27458] ppid=27436 vsize=19063512 memory=2037140 CPUtime=0 cores=0,2
/proc/27439/task/27458/stat : 27458 (Timer-0) S 27436 27439 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879203 19521036288 509285 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 3218.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2037140 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/341 27759
/proc/meminfo: memFree=121612612/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=19063512 memory=2037140 CPUtime=3278 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 78686 0 0 0 327698 102 0 0 20 0 20 0 36879171 19521036288 509285 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4765878 509285 5491 1 0 557616 0
[pid=27439/tid=27441] ppid=27436 vsize=19063512 memory=2037140 CPUtime=3271.14 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 32646 0 0 0 327101 13 0 0 20 0 20 0 36879173 19521036288 509285 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=19063512 memory=2037140 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 509285 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=19063512 memory=2037140 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 1027 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 509285 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27458] ppid=27436 vsize=19063512 memory=2037140 CPUtime=0 cores=0,2
/proc/27439/task/27458/stat : 27458 (Timer-0) S 27436 27439 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879203 19521036288 509285 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 3278 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2037140 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/338 27767
/proc/meminfo: memFree=121611824/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=19063512 memory=2037140 CPUtime=3337.83 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 78891 0 0 0 333680 103 0 0 20 0 20 0 36879171 19521036288 509285 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4765878 509285 5491 1 0 557616 0
[pid=27439/tid=27441] ppid=27436 vsize=19063512 memory=2037140 CPUtime=3330.96 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 32764 0 0 0 333083 13 0 0 20 0 20 0 36879173 19521036288 509285 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 509285 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 509285 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27458] ppid=27436 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/27439/task/27458/stat : 27458 (Timer-0) S 27436 27439 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879203 19521036288 509285 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 3337.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2037140 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/338 27769
/proc/meminfo: memFree=121504192/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=19063512 memory=2145812 CPUtime=3397.81 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 80158 0 0 0 339675 106 0 0 20 0 20 0 36879171 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4765878 536453 5491 1 0 557616 0
[pid=27439/tid=27441] ppid=27436 vsize=19063512 memory=14384 CPUtime=3390.64 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 33068 0 0 0 339051 13 0 0 20 0 20 0 36879173 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 1108 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27458] ppid=27436 vsize=19063512 memory=2145812 CPUtime=0 cores=0,2
/proc/27439/task/27458/stat : 27458 (Timer-0) S 27436 27439 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879203 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 3397.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2145812 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/338 27771
/proc/meminfo: memFree=121504320/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=19063512 memory=2145812 CPUtime=3457.68 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 81212 0 0 0 345660 108 0 0 20 0 20 0 36879171 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4765878 536453 5491 1 0 557616 0
[pid=27439/tid=27441] ppid=27436 vsize=19063512 memory=2145812 CPUtime=3450.47 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 33684 0 0 0 345034 13 0 0 20 0 20 0 36879173 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=19063512 memory=2145812 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=19063512 memory=2145812 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 1235 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27458] ppid=27436 vsize=19063512 memory=2145812 CPUtime=0 cores=0,2
/proc/27439/task/27458/stat : 27458 (Timer-0) S 27436 27439 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879203 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 3457.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2145812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/338 27773
/proc/meminfo: memFree=121279168/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=19063512 memory=2145812 CPUtime=3517.53 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 81818 0 0 0 351644 109 0 0 20 0 20 0 36879171 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4765878 536453 5491 1 0 557616 0
[pid=27439/tid=27441] ppid=27436 vsize=19063512 memory=2145812 CPUtime=3510.3 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 34079 0 0 0 351017 13 0 0 20 0 20 0 36879173 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=19063512 memory=4380 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=19063512 memory=2145812 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 1365 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27458] ppid=27436 vsize=19063512 memory=-6000919481330066797 CPUtime=0 cores=0,2
/proc/27439/task/27458/stat : 27458 (Timer-0) S 27436 27439 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879203 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 3517.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2145812 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/338 27775
/proc/meminfo: memFree=121274952/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=19063512 memory=2145812 CPUtime=3577.39 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 82247 0 0 0 357628 111 0 0 20 0 20 0 36879171 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4765878 536453 5491 1 0 557616 0
[pid=27439/tid=27441] ppid=27436 vsize=19063512 memory=3328 CPUtime=3570.14 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 34503 0 0 0 357001 13 0 0 20 0 20 0 36879173 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=19063512 memory=2145812 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 1365 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27458] ppid=27436 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/27439/task/27458/stat : 27458 (Timer-0) S 27436 27439 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879203 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 3577.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2145812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605 s]*
/proc/loadavg: 4.10 4.10 4.09 4/315 27787
/proc/meminfo: memFree=123323880/131249996 swapFree=33010684/33010684
[pid=27439] ppid=27436 vsize=19063512 memory=2145812 CPUtime=3600.04 cores=0,2
/proc/27439/stat : 27439 (java) S 27436 27439 26860 0 -1 4194304 82819 0 0 0 359893 111 0 0 20 0 20 0 36879171 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
/proc/27439/statm: 4765878 536453 5491 1 0 557616 0
[pid=27439/tid=27441] ppid=27436 vsize=19063512 memory=-6000919502737532525 CPUtime=3592.78 cores=0,2
/proc/27439/task/27441/stat : 27441 (java) R 27436 27439 26860 0 -1 4194368 35001 0 0 0 359265 13 0 0 20 0 20 0 36879173 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27450] ppid=27436 vsize=19063512 memory=5036 CPUtime=0 cores=0,2
/proc/27439/task/27450/stat : 27450 (Finalizer) S 27436 27439 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27457] ppid=27436 vsize=19063512 memory=5060 CPUtime=0 cores=0,2
/proc/27439/task/27457/stat : 27457 (Common-Cleaner) S 27436 27439 26860 0 -1 4194368 1365 0 0 0 0 0 0 0 20 0 20 0 36879175 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
[pid=27439/tid=27458] ppid=27436 vsize=19063512 memory=6892 CPUtime=0 cores=0,2
/proc/27439/task/27458/stat : 27458 (Timer-0) S 27436 27439 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879203 19521036288 536453 18446744073709551615 94428066168832 94428066172528 140730744896864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94428066180344 94428066181136 94428076965888 140730744904065 140730744904166 140730744904166 140730744909768 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2145812 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.05 s, system=1.12868 s

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

Child status: 143

Real time (s): 3605.1
CPU time (s): 3600.18
CPU user time (s): 3599.05
CPU system time (s): 1.12868
CPU usage (%): 99.8634
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2145812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.05
system time used= 1.12868
maximum resident set size= 2147092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85536
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103615
involuntary context switches= 9521


# summary of solver processes directly reported to runsolver:
#   pid: 27439
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3599.05
#   total CPU system time (s): 1.12868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.69217 second user time and 16.8607 second system time

The end