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: 63794 MiB (55346 MiB free)
memory of node 1: 64507 MiB (42032 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509203-1751519572/watcher-4509203-1751519572 -o /tmp/evaluation-result-4509203-1751519572/solver-4509203-1751519572 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751516281-73980 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509203-1751519572 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509203-1751519572.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 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=75009, runsolver pid=75006
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.80 4.55 4.79 6/338 75027
/proc/meminfo: memFree=99690984/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=18930384 memory=49860 CPUtime=0.14 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 6156 0 0 0 11 3 0 0 20 0 18 0 67636128 19384713216 12465 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4732596 12465 5330 1 0 547259 0
[pid=75009/tid=75011] ppid=75006 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 4980 0 0 0 5 1 0 0 20 0 18 0 67636130 19384713216 12465 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67636132 19384713216 12465 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=18930384 memory=61792617516369 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67636133 19384713216 12465 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49860 KiB
[startup+0.205991 s]*
/proc/loadavg: 4.80 4.55 4.79 7/338 75027
/proc/meminfo: memFree=99677184/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=18930384 memory=63136 CPUtime=0.32 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 6827 0 0 0 29 3 0 0 20 0 18 0 67636128 19384713216 15784 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4732596 15784 5394 1 0 547829 0
[pid=75009/tid=75011] ppid=75006 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 5310 0 0 0 13 2 0 0 20 0 18 0 67636130 19384713216 15784 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=18930384 memory=1593 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67636132 19384713216 15784 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=18930384 memory=60693105869820 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67636133 19384713216 15784 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63136 KiB
[startup+0.30591 s]*
/proc/loadavg: 4.80 4.55 4.79 6/338 75027
/proc/meminfo: memFree=99655760/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=18930384 memory=83776 CPUtime=0.49 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 8182 0 0 0 45 4 0 0 20 0 18 0 67636128 19384713216 20944 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4732596 20944 5426 1 0 548340 0
[pid=75009/tid=75011] ppid=75006 vsize=18930384 memory=-6000919481380661096 CPUtime=0.22 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 5319 0 0 0 20 2 0 0 20 0 18 0 67636130 19384713216 20944 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67636132 19384713216 20944 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67636133 19384713216 20944 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 83776 KiB
[startup+0.700228 s]
/proc/loadavg: 4.80 4.55 4.79 6/339 75028
/proc/meminfo: memFree=99570564/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=18996948 memory=180800 CPUtime=1.25 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 9453 0 0 0 118 7 0 0 20 0 19 0 67636128 19452874752 45200 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4749237 45200 5458 1 0 549361 0
[pid=75009/tid=75011] ppid=75006 vsize=18996948 memory=18560 CPUtime=0.55 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 5358 0 0 0 52 3 0 0 20 0 19 0 67636130 19452874752 45200 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67636132 19452874752 45200 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67636133 19452874752 45200 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 180800 KiB
[startup+1.50023 s]
/proc/loadavg: 4.80 4.55 4.79 7/339 75028
/proc/meminfo: memFree=99545992/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=461108 CPUtime=2.73 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 11980 0 0 0 261 12 0 0 20 0 20 0 67636128 19521036288 115277 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 115277 5522 1 0 1289670 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=3200 CPUtime=1.1 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 5634 0 0 0 103 7 0 0 20 0 20 0 67636130 19521036288 115277 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 115277 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 115277 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 461108 KiB
[startup+3.10568 s]
/proc/loadavg: 4.80 4.55 4.79 6/340 75029
/proc/meminfo: memFree=99206420/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=527392 CPUtime=5.91 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 15079 0 0 0 574 17 0 0 20 0 20 0 67636128 19521036288 131848 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 131848 5522 1 0 1291559 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=11264 CPUtime=2.57 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 5680 0 0 0 248 9 0 0 20 0 20 0 67636130 19521036288 131848 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 131848 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 131848 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 131848 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 527392 KiB
[startup+6.30023 s]
/proc/loadavg: 4.74 4.54 4.78 5/340 75029
/proc/meminfo: memFree=98554636/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=1250836 CPUtime=10.57 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 16978 0 0 0 1018 39 0 0 20 0 20 0 67636128 19521036288 312709 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 312709 5554 1 0 2081173 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=0 CPUtime=5.39 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 5912 0 0 0 517 22 0 0 20 0 20 0 67636130 19521036288 312709 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=4283932234721037686 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 312709 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=-6000919481380661096 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 312709 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 312709 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 10.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1250836 KiB
[startup+12.7004 s]
/proc/loadavg: 4.76 4.55 4.79 5/340 75029
/proc/meminfo: memFree=96234476/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=2980972 CPUtime=18.33 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 18933 0 0 0 1746 87 0 0 20 0 20 0 67636128 19521036288 745243 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 745243 5554 1 0 2277544 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=0 CPUtime=11.13 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 6697 0 0 0 1051 62 0 0 20 0 20 0 67636130 19521036288 745243 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=2862188 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 745243 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 745243 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 745243 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 18.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2980972 KiB
[startup+25.5005 s]
/proc/loadavg: 4.59 4.52 4.77 5/340 75029
/proc/meminfo: memFree=95092448/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=3960120 CPUtime=32.04 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 24514 0 0 0 3081 123 0 0 20 0 20 0 67636128 19521036288 990030 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 990030 5554 1 0 2434466 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=-6000919481380661096 CPUtime=22.99 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 9088 0 0 0 2208 91 0 0 20 0 20 0 67636130 19521036288 990030 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=3199 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 990030 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=3267876 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 990030 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=3225460 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 990030 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 32.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3960120 KiB
[startup+51.114 s]
/proc/loadavg: 4.39 4.48 4.75 6/340 75029
/proc/meminfo: memFree=92110288/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=5892328 CPUtime=58.67 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 31136 0 0 0 5677 190 0 0 20 0 20 0 67636128 19521036288 1473082 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 1473082 5554 1 0 2743628 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=5892328 CPUtime=46.35 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 12397 0 0 0 4495 140 0 0 20 0 20 0 67636130 19521036288 1473082 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=-6000919481380661096 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 1473082 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=4242784 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 1473082 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=3960120 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 1473082 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
################
# More data... #
################
[pid=75009] ppid=75006 vsize=19063512 memory=13997048 CPUtime=3329.33 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 414579 0 0 0 329165 3768 0 0 20 0 20 0 67636128 19521036288 3499262 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 3499262 5554 1 0 3593799 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=16273320 CPUtime=2967.72 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 217035 0 0 0 293416 3356 0 0 20 0 20 0 67636130 19521036288 3499262 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 3499262 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=13813876 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 2539 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 3499262 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=13813876 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 3499262 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 3329.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13997048 KiB
[startup+3222.3 s]
/proc/loadavg: 4.24 4.31 4.37 6/334 75413
/proc/meminfo: memFree=11126884/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=14915992 CPUtime=3392.58 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 499421 0 0 0 335397 3861 0 0 20 0 20 0 67636128 19521036288 3728998 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 3728998 5554 1 0 3752487 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=12713900 CPUtime=3023.73 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 295535 0 0 0 298931 3442 0 0 20 0 20 0 67636130 19521036288 3728998 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=14298104 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 3728998 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=14683928 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 2595 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 3728998 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=14915992 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 3728998 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14915992 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.28 4.36 5/334 75415
/proc/meminfo: memFree=6006256/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=15266584 CPUtime=3456.29 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 1098425 0 0 0 341648 3981 0 0 20 0 20 0 67636128 19521036288 3816646 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 3816646 5554 1 0 3840183 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=15266584 CPUtime=3079.52 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 840733 0 0 0 304400 3552 0 0 20 0 20 0 67636130 19521036288 3816646 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=18560 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 3816646 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 2654 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 3816646 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 3816646 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 3456.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15266584 KiB
[startup+3342.3 s]
/proc/loadavg: 4.39 4.31 4.37 5/334 75421
/proc/meminfo: memFree=3682856/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=15685144 CPUtime=3519.68 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 1207101 0 0 0 347889 4079 0 0 20 0 20 0 67636128 19521036288 3921286 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 3921286 5554 1 0 3946671 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=15266584 CPUtime=3135.24 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 948135 0 0 0 309879 3645 0 0 20 0 20 0 67636130 19521036288 3921286 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=15570200 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 3921286 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=15570200 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 2713 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 3921286 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=15685144 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 3921286 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 3519.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15685144 KiB
[startup+3402.3 s]
/proc/loadavg: 4.41 4.33 4.37 5/334 75423
/proc/meminfo: memFree=1664104/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=15849368 CPUtime=3582.9 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 1805782 0 0 0 354096 4194 0 0 20 0 20 0 67636128 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 3962342 5554 1 0 3988431 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=18560 CPUtime=3191.44 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 1509906 0 0 0 315389 3755 0 0 20 0 20 0 67636130 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=15791896 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=15791896 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 2772 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=15791896 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 3582.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15849368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3418.7 s]
/proc/loadavg: 4.47 4.35 4.37 5/334 75424
/proc/meminfo: memFree=1452952/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=15849368 CPUtime=3600.03 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 2433404 0 0 0 355757 4246 0 0 20 0 20 0 67636128 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 3962342 5554 1 0 3988431 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=15791896 CPUtime=3207 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 2107613 0 0 0 316897 3803 0 0 20 0 20 0 67636130 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=15791896 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=15849368 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 2772 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15849368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3429.05 s]
# the end of solver process 75009 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3557.82 s, system=44.0358 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3419.2 s]
/proc/loadavg: 4.47 4.35 4.37 7/316 75427
/proc/meminfo: memFree=17227288/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3420 s]*
/proc/loadavg: 4.51 4.36 4.37 7/316 75427
/proc/meminfo: memFree=17145952/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3420.4 s]
/proc/loadavg: 4.51 4.36 4.37 7/316 75427
/proc/meminfo: memFree=17145952/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3420.6 s]
/proc/loadavg: 4.51 4.36 4.37 7/316 75427
/proc/meminfo: memFree=17145952/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3420.7 s]
/proc/loadavg: 4.51 4.36 4.37 7/316 75427
/proc/meminfo: memFree=17145952/131382112 swapFree=33009904/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): 3429.05
CPU time (s): 3601.86
CPU user time (s): 3557.82
CPU system time (s): 44.0358
CPU usage (%): 105.04
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 16273320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.82
system time used= 44.0358
maximum resident set size= 16273320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2435786
page faults= 0
swaps= 0
block input operations= 8
block output operations= 70226968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 351127
involuntary context switches= 24614
# summary of solver processes directly reported to runsolver:
# pid: 75009
# total CPU time (s): 3601.86
# total CPU user time (s): 3557.82
# total CPU system time (s): 44.0358
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.77 second user time and 33.1226 second system time
The end