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: 63837 MiB (58021 MiB free)
  memory of node 1: 64465 MiB (57301 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513231-1751215450/watcher-4513231-1751215450 -o /tmp/evaluation-result-4513231-1751215450/solver-4513231-1751215450 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751208227-27395 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4513231-1751215450 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4513231-1751215450.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 FSIZE limit: 102400000 KiB
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
solver pid=28442, runsolver pid=28439
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.22 4.18 4.17 6/330 28460
/proc/meminfo: memFree=118053808/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=18930384 memory=48724 CPUtime=0.12 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 5838 0 0 0 10 2 0 0 20 0 18 0 37224339 19384713216 12181 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4732596 12181 5338 1 0 547032 0
[pid=28442/tid=28444] ppid=28439 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 4725 0 0 0 6 1 0 0 20 0 18 0 37224340 19384713216 12181 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37224344 19384713216 12181 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=18930384 memory=58494082630061 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 37224344 19384713216 12181 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48724 KiB

[startup+0.208734 s]*
/proc/loadavg: 4.22 4.18 4.17 6/330 28460
/proc/meminfo: memFree=118028288/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=18930384 memory=57760 CPUtime=0.27 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 6577 0 0 0 24 3 0 0 20 0 18 0 37224339 19384713216 14440 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4732596 14440 5338 1 0 547627 0
[pid=28442/tid=28444] ppid=28439 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 5066 0 0 0 16 1 0 0 20 0 18 0 37224340 19384713216 14440 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=18930384 memory=13926 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37224344 19384713216 14440 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 37224344 19384713216 14440 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57760 KiB

[startup+0.309046 s]*
/proc/loadavg: 4.22 4.18 4.17 7/330 28460
/proc/meminfo: memFree=118026524/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=18930384 memory=59296 CPUtime=0.43 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 6885 0 0 0 40 3 0 0 20 0 18 0 37224339 19384713216 14824 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4732596 14824 5434 1 0 547839 0
[pid=28442/tid=28444] ppid=28439 vsize=18930384 memory=-6000919468445164653 CPUtime=0.28 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 5253 0 0 0 26 2 0 0 20 0 18 0 37224340 19384713216 14824 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37224344 19384713216 14824 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 37224344 19384713216 14824 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59296 KiB

[startup+0.700244 s]
/proc/loadavg: 4.22 4.18 4.17 7/330 28460
/proc/meminfo: memFree=118007688/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=18996948 memory=96388 CPUtime=1.16 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 8918 0 0 0 110 6 0 0 20 0 19 0 37224339 19452874752 24097 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4749237 24097 5434 1 0 549412 0
[pid=28442/tid=28444] ppid=28439 vsize=18996948 memory=17280 CPUtime=0.6 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 5396 0 0 0 57 3 0 0 20 0 19 0 37224340 19452874752 24097 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37224344 19452874752 24097 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37224344 19452874752 24097 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96388 KiB

[startup+1.50024 s]
/proc/loadavg: 4.22 4.18 4.17 6/331 28461
/proc/meminfo: memFree=117970408/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=18996948 memory=162856 CPUtime=2.74 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 19786 0 0 0 265 9 0 0 20 0 19 0 37224339 19452874752 40714 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4749237 40714 5466 1 0 553516 0
[pid=28442/tid=28444] ppid=28439 vsize=18996948 memory=3200 CPUtime=1.38 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 5882 0 0 0 134 4 0 0 20 0 19 0 37224340 19452874752 40714 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37224344 19452874752 40714 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 37224344 19452874752 40714 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28461] ppid=28439 vsize=18996948 memory=14720 CPUtime=0 cores=5,7
/proc/28442/task/28461/stat : 28461 (Timer-0) S 28439 28442 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37224400 19452874752 40714 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 162856 KiB

[startup+3.10591 s]
/proc/loadavg: 4.28 4.20 4.17 6/332 28462
/proc/meminfo: memFree=117658556/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=19063512 memory=180616 CPUtime=5.91 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 24226 0 0 0 580 11 0 0 20 0 20 0 37224339 19521036288 45154 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4765878 45154 5466 1 0 554347 0
[pid=28442/tid=28444] ppid=28439 vsize=19063512 memory=14720 CPUtime=2.96 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 6915 0 0 0 291 5 0 0 20 0 20 0 37224340 19521036288 45154 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 45154 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 45154 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28461] ppid=28439 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/28442/task/28461/stat : 28461 (Timer-0) S 28439 28442 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37224400 19521036288 45154 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180616 KiB

[startup+6.30045 s]
/proc/loadavg: 4.28 4.20 4.17 5/332 28462
/proc/meminfo: memFree=117072312/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=19063512 memory=335004 CPUtime=9.56 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 28389 0 0 0 938 18 0 0 20 0 20 0 37224339 19521036288 83751 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4765878 83751 5498 1 0 554452 0
[pid=28442/tid=28444] ppid=28439 vsize=19063512 memory=0 CPUtime=6.11 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 7656 0 0 0 600 11 0 0 20 0 20 0 37224340 19521036288 83751 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 83751 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 83751 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28461] ppid=28439 vsize=19063512 memory=171056 CPUtime=0 cores=5,7
/proc/28442/task/28461/stat : 28461 (Timer-0) S 28439 28442 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37224400 19521036288 83751 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 335004 KiB

[startup+12.7004 s]
/proc/loadavg: 4.24 4.19 4.17 5/332 28462
/proc/meminfo: memFree=115989752/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=19063512 memory=1010844 CPUtime=16.15 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 33260 0 0 0 1580 35 0 0 20 0 20 0 37224339 19521036288 252711 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4765878 252711 5498 1 0 554468 0
[pid=28442/tid=28444] ppid=28439 vsize=19063512 memory=171056 CPUtime=12.49 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 9596 0 0 0 1222 27 0 0 20 0 20 0 37224340 19521036288 252711 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=19063512 memory=871580 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 252711 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 252711 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28461] ppid=28439 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/28442/task/28461/stat : 28461 (Timer-0) S 28439 28442 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37224400 19521036288 252711 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 16.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1010844 KiB

[startup+25.5005 s]
/proc/loadavg: 4.20 4.18 4.17 5/332 28462
/proc/meminfo: memFree=115440204/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=19063512 memory=1318200 CPUtime=29.16 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 36487 0 0 0 2871 45 0 0 20 0 20 0 37224339 19521036288 329550 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4765878 329550 5498 1 0 554468 0
[pid=28442/tid=28444] ppid=28439 vsize=19063512 memory=0 CPUtime=25.13 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 10496 0 0 0 2477 36 0 0 20 0 20 0 37224340 19521036288 329550 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 329550 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=19063512 memory=1318200 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 329550 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28461] ppid=28439 vsize=19063512 memory=1318200 CPUtime=0 cores=5,7
/proc/28442/task/28461/stat : 28461 (Timer-0) S 28439 28442 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37224400 19521036288 329550 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 29.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1318200 KiB

[startup+51.1136 s]
/proc/loadavg: 4.19 4.18 4.17 5/332 28462
/proc/meminfo: memFree=115232328/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=19063512 memory=1318200 CPUtime=54.6 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 37542 0 0 0 5407 53 0 0 20 0 20 0 37224339 19521036288 329550 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4765878 329550 5498 1 0 554468 0
[pid=28442/tid=28444] ppid=28439 vsize=19063512 memory=1318200 CPUtime=50.44 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 10864 0 0 0 5001 43 0 0 20 0 20 0 37224340 19521036288 329550 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=19063512 memory=12544 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 329550 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 329550 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0

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

[startup+3282.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/332 28840
/proc/meminfo: memFree=104024108/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=19063512 memory=2167264 CPUtime=3276.78 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 104118 0 0 0 326815 863 0 0 20 0 20 0 37224339 19521036288 541816 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4765878 541816 5530 1 0 554851 0
[pid=28442/tid=28444] ppid=28439 vsize=19063512 memory=-6000919468445164653 CPUtime=3245.79 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 42664 0 0 0 323906 673 0 0 20 0 20 0 37224340 19521036288 541816 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 541816 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=19063512 memory=2167264 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 1921 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 541816 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28461] ppid=28439 vsize=19063512 memory=17512 CPUtime=0 cores=5,7
/proc/28442/task/28461/stat : 28461 (Timer-0) S 28439 28442 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37224400 19521036288 541816 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 3276.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167264 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/332 28843
/proc/meminfo: memFree=103671988/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=19063512 memory=2167264 CPUtime=3336.69 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 104444 0 0 0 332792 877 0 0 20 0 20 0 37224339 19521036288 541816 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4765878 541816 5530 1 0 554851 0
[pid=28442/tid=28444] ppid=28439 vsize=19063512 memory=2167264 CPUtime=3305.4 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 42980 0 0 0 329856 684 0 0 20 0 20 0 37224340 19521036288 541816 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=19063512 memory=2167264 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 541816 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=19063512 memory=2167264 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 1921 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 541816 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28461] ppid=28439 vsize=19063512 memory=2167264 CPUtime=0 cores=5,7
/proc/28442/task/28461/stat : 28461 (Timer-0) S 28439 28442 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37224400 19521036288 541816 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 3336.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167264 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.18 4.18 5/333 28846
/proc/meminfo: memFree=103324164/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=19063512 memory=2167264 CPUtime=3395.21 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 106384 0 0 0 338631 890 0 0 20 0 20 0 37224339 19521036288 541816 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4765878 541816 5530 1 0 554851 0
[pid=28442/tid=28444] ppid=28439 vsize=19063512 memory=2167264 CPUtime=3363.4 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 43733 0 0 0 335646 694 0 0 20 0 20 0 37224340 19521036288 541816 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 541816 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=19063512 memory=17280 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 1921 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 541816 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28461] ppid=28439 vsize=19063512 memory=2167264 CPUtime=0 cores=5,7
/proc/28442/task/28461/stat : 28461 (Timer-0) S 28439 28442 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37224400 19521036288 541816 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 3395.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167264 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.19 4.18 5/332 28848
/proc/meminfo: memFree=102980976/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=19063512 memory=2167904 CPUtime=3455.31 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 110159 0 0 0 344627 904 0 0 20 0 20 0 37224339 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4765878 541976 5530 1 0 554973 0
[pid=28442/tid=28444] ppid=28439 vsize=19063512 memory=2167904 CPUtime=3422.73 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 45332 0 0 0 341569 704 0 0 20 0 20 0 37224340 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=19063512 memory=2167264 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 1950 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28461] ppid=28439 vsize=19063512 memory=6772 CPUtime=0 cores=5,7
/proc/28442/task/28461/stat : 28461 (Timer-0) S 28439 28442 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37224400 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 3455.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167904 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/332 28854
/proc/meminfo: memFree=102648116/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=19063512 memory=2167904 CPUtime=3515.26 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 111068 0 0 0 350608 918 0 0 20 0 20 0 37224339 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4765878 541976 5530 1 0 554973 0
[pid=28442/tid=28444] ppid=28439 vsize=19063512 memory=2167904 CPUtime=3482.11 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 45565 0 0 0 347497 714 0 0 20 0 20 0 37224340 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=19063512 memory=2167904 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 2024 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28461] ppid=28439 vsize=19063512 memory=2167904 CPUtime=0 cores=5,7
/proc/28442/task/28461/stat : 28461 (Timer-0) S 28439 28442 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37224400 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 3515.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167904 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.18 4.18 6/332 28856
/proc/meminfo: memFree=102299320/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=19063512 memory=2167904 CPUtime=3575.2 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 111231 0 0 0 356589 931 0 0 20 0 20 0 37224339 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4765878 541976 5530 1 0 554973 0
[pid=28442/tid=28444] ppid=28439 vsize=19063512 memory=4252 CPUtime=3541.48 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 45701 0 0 0 353423 725 0 0 20 0 20 0 37224340 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=19063512 memory=2167904 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=19063512 memory=2167904 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 2024 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28461] ppid=28439 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/28442/task/28461/stat : 28461 (Timer-0) S 28439 28442 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37224400 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 3575.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.11 s]
/proc/loadavg: 4.20 4.18 4.18 4/307 28890
/proc/meminfo: memFree=109567984/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=19063512 memory=2167904 CPUtime=3600.02 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 111357 0 0 0 359064 938 0 0 20 0 20 0 37224339 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4765878 541976 5530 1 0 554973 0
[pid=28442/tid=28444] ppid=28439 vsize=19063512 memory=2167904 CPUtime=3565.9 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) R 28439 28442 27382 0 -1 4194368 45779 0 0 0 355860 730 0 0 20 0 20 0 37224340 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=19063512 memory=-6000919468445164653 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 2024 0 0 0 0 0 0 0 20 0 20 0 37224344 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28461] ppid=28439 vsize=19063512 memory=2167904 CPUtime=0 cores=5,7
/proc/28442/task/28461/stat : 28461 (Timer-0) S 28439 28442 27382 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37224400 19521036288 541976 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167904 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.87 s, system=9.40388 s

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

[startup+3607.2 s]
/proc/loadavg: 4.20 4.18 4.18 4/307 28890
/proc/meminfo: memFree=109567984/131382112 swapFree=33010684/33010684
[pid=28442] ppid=28439 vsize=19263204 memory=2168800 CPUtime=3600.16 cores=5,7
/proc/28442/stat : 28442 (java) S 28439 28442 27382 0 -1 4194304 114094 0 0 0 359077 939 0 0 20 0 21 0 37224339 19725520896 542200 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
/proc/28442/statm: 4815801 542200 5562 1 0 555938 0
[pid=28442/tid=28444] ppid=28439 vsize=19263204 memory=17280 CPUtime=3565.92 cores=5,7
/proc/28442/task/28444/stat : 28444 (java) S 28439 28442 27382 0 -1 4194368 46204 0 0 0 355862 730 0 0 20 0 21 0 37224340 19725520896 542200 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28453] ppid=28439 vsize=19263204 memory=11264 CPUtime=0 cores=5,7
/proc/28442/task/28453/stat : 28453 (Finalizer) S 28439 28442 27382 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 37224344 19725520896 542200 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
[pid=28442/tid=28460] ppid=28439 vsize=19263204 memory=3200 CPUtime=0 cores=5,7
/proc/28442/task/28460/stat : 28460 (Common-Cleaner) S 28439 28442 27382 0 -1 4194368 2024 0 0 0 0 0 0 0 20 0 21 0 37224344 19725520896 542200 18446744073709551615 94639565922304 94639565926000 140737425753952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94639565933816 94639565934608 94639573106688 140737425758512 140737425758694 140737425758694 140737425764296 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2168800 KiB

Child status: 143

Real time (s): 3607.31
CPU time (s): 3600.27
CPU user time (s): 3590.87
CPU system time (s): 9.40388
CPU usage (%): 99.8049
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2168800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.87
system time used= 9.40388
maximum resident set size= 2168928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10578728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114425
involuntary context switches= 12553


# summary of solver processes directly reported to runsolver:
#   pid: 28442
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3590.87
#   total CPU system time (s): 9.40388

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7139 second user time and 37.5423 second system time

The end