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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491223-1751383286/watcher-4491223-1751383286 -o /tmp/evaluation-result-4491223-1751383286/solver-4491223-1751383286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751379671-56038 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4491223-1751383286.opb -mem-lim=31000 

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=56650, runsolver pid=56647

[startup+0.10006 s]*
/proc/loadavg: 4.52 4.25 4.14 5/268 56651
/proc/meminfo: memFree=121503292/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=13884 memory=12800 CPUtime=0.1 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 2847 0 0 0 10 0 0 0 20 0 1 0 54006401 14217216 3200 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 3471 3200 448 484 0 2882 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13884 KiB
Current children cumulated memory: 12800 KiB

[startup+0.205658 s]*
/proc/loadavg: 4.52 4.25 4.14 5/268 56651
/proc/meminfo: memFree=121487416/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=24860 memory=23680 CPUtime=0.2 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 5574 0 0 0 20 0 0 0 20 0 1 0 54006401 25456640 5920 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 6215 5920 448 484 0 5626 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24860 KiB
Current children cumulated memory: 23680 KiB

[startup+0.30507 s]*
/proc/loadavg: 4.52 4.25 4.14 6/268 56651
/proc/meminfo: memFree=121479352/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=35392 memory=34176 CPUtime=0.3 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 8195 0 0 0 29 1 0 0 20 0 1 0 54006401 36241408 8544 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 8848 8544 448 484 0 8259 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35392 KiB
Current children cumulated memory: 34176 KiB

[startup+0.700146 s]
/proc/loadavg: 4.52 4.25 4.14 4/264 56656
/proc/meminfo: memFree=122041108/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=55892 memory=53784 CPUtime=0.69 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 13591 0 0 0 67 2 0 0 20 0 1 0 54006401 57233408 13446 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 13973 13446 448 484 0 13384 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55892 KiB
Current children cumulated memory: 53784 KiB

[startup+1.50016 s]
/proc/loadavg: 4.52 4.25 4.14 6/266 56674
/proc/meminfo: memFree=121975404/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=226460 memory=210612 CPUtime=1.47 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 33792 0 0 0 140 7 0 0 20 0 1 0 54006401 231895040 52653 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 56615 52653 448 484 0 56026 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 226460 KiB
Current children cumulated memory: 210612 KiB

[startup+3.10565 s]
/proc/loadavg: 4.52 4.25 4.14 5/268 56787
/proc/meminfo: memFree=121721660/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=343392 memory=318988 CPUtime=3.05 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 52347 0 0 0 292 13 0 0 20 0 1 0 54006401 351633408 79747 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 85848 79747 512 484 0 85259 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 343392 KiB
Current children cumulated memory: 318988 KiB

[startup+6.30016 s]
/proc/loadavg: 4.48 4.25 4.14 5/268 56787
/proc/meminfo: memFree=121541216/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=392096 memory=368464 CPUtime=6.23 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 53520 0 0 0 609 14 0 0 20 0 1 0 54006401 401506304 92116 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 98024 92116 512 484 0 97435 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 392096 KiB
Current children cumulated memory: 368464 KiB

[startup+12.7002 s]
/proc/loadavg: 4.44 4.24 4.14 5/268 56787
/proc/meminfo: memFree=121420752/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=463144 memory=425036 CPUtime=12.61 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 65015 0 0 0 1239 22 0 0 20 0 1 0 54006401 474259456 106259 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 115786 106259 512 484 0 115197 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 463144 KiB
Current children cumulated memory: 425036 KiB

[startup+25.5002 s]
/proc/loadavg: 4.27 4.21 4.13 5/268 56832
/proc/meminfo: memFree=121023772/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=424248 memory=389332 CPUtime=25.36 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 66348 0 0 0 2513 23 0 0 20 0 1 0 54006401 434429952 97333 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 106062 97333 512 484 0 105473 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 424248 KiB
Current children cumulated memory: 389332 KiB

[startup+51.1057 s]
/proc/loadavg: 4.17 4.19 4.13 5/268 56832
/proc/meminfo: memFree=120921048/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=424312 memory=393720 CPUtime=50.88 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 67227 0 0 0 5063 25 0 0 20 0 1 0 54006401 434495488 98430 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 106078 98430 512 484 0 105489 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 424312 KiB
Current children cumulated memory: 393720 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.18 4.12 5/268 56834
/proc/meminfo: memFree=120840880/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=436128 memory=405540 CPUtime=101.9 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 69234 0 0 0 10162 28 0 0 20 0 1 0 54006401 446595072 101385 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 109032 101385 512 484 0 108443 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 436128 KiB
Current children cumulated memory: 405540 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/266 56836
/proc/meminfo: memFree=120825152/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=436276 memory=406452 CPUtime=161.69 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 70247 0 0 0 16139 30 0 0 20 0 1 0 54006401 446746624 101613 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 109069 101613 512 484 0 108480 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 436276 KiB
Current children cumulated memory: 406452 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/264 56840
/proc/meminfo: memFree=120799840/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=440876 memory=413404 CPUtime=221.48 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 72457 0 0 0 22116 32 0 0 20 0 1 0 54006401 451457024 103351 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 110219 103351 512 484 0 109630 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 440876 KiB
Current children cumulated memory: 413404 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 4.13 4.11 5/265 56847
/proc/meminfo: memFree=120749896/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=464720 memory=426164 CPUtime=281.3 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 77660 0 0 0 28091 39 0 0 20 0 1 0 54006401 475873280 106541 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 116180 106541 512 484 0 115591 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 464720 KiB
Current children cumulated memory: 426164 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/264 56850
/proc/meminfo: memFree=120668440/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=512388 memory=483896 CPUtime=341.12 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 87495 0 0 0 34070 42 0 0 20 0 1 0 54006401 524685312 120974 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 128097 120974 512 484 0 127508 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 512388 KiB
Current children cumulated memory: 483896 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/264 56852
/proc/meminfo: memFree=120578976/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=524720 memory=488724 CPUtime=400.93 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 88159 0 0 0 40050 43 0 0 20 0 1 0 54006401 537313280 122181 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 131180 122181 512 484 0 130591 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 524720 KiB
Current children cumulated memory: 488724 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/264 56854
/proc/meminfo: memFree=120474360/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=524820 memory=489144 CPUtime=460.75 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 88689 0 0 0 46031 44 0 0 20 0 1 0 54006401 537415680 122286 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 131205 122286 512 484 0 130616 0

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

Current children cumulated memory: 764656 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 56982
/proc/meminfo: memFree=119810656/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=751476 memory=732072 CPUtime=2853.39 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 169364 0 0 0 285208 131 0 0 20 0 1 0 54006401 769511424 183018 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 187869 183018 512 484 0 187280 0
Current children cumulated CPU time: 2853.39 s
Current children cumulated vsize: 751476 KiB
Current children cumulated memory: 732072 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 56985
/proc/meminfo: memFree=119785544/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=751296 memory=731896 CPUtime=2913.22 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 169769 0 0 0 291190 132 0 0 20 0 1 0 54006401 769327104 182974 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 187824 182974 512 484 0 187235 0
Current children cumulated CPU time: 2913.22 s
Current children cumulated vsize: 751296 KiB
Current children cumulated memory: 731896 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 56987
/proc/meminfo: memFree=119808008/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=810348 memory=762268 CPUtime=2973.02 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 173841 0 0 0 297161 141 0 0 20 0 1 0 54006401 829796352 190567 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 202587 190567 512 484 0 201998 0
Current children cumulated CPU time: 2973.02 s
Current children cumulated vsize: 810348 KiB
Current children cumulated memory: 762268 KiB

[startup+3042.3 s]
/proc/loadavg: 4.41 4.16 4.11 5/263 56990
/proc/meminfo: memFree=119831756/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=758500 memory=732896 CPUtime=3032.82 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 174000 0 0 0 303140 142 0 0 20 0 1 0 54006401 776704000 183224 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 189625 183224 512 484 0 189036 0
Current children cumulated CPU time: 3032.82 s
Current children cumulated vsize: 758500 KiB
Current children cumulated memory: 732896 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/263 56992
/proc/meminfo: memFree=119823984/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=745108 memory=716224 CPUtime=3092.63 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 174827 0 0 0 309120 143 0 0 20 0 1 0 54006401 762990592 179056 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 186277 179056 512 484 0 185688 0
Current children cumulated CPU time: 3092.63 s
Current children cumulated vsize: 745108 KiB
Current children cumulated memory: 716224 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/263 56994
/proc/meminfo: memFree=119848680/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=695084 memory=675808 CPUtime=3152.45 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 175754 0 0 0 315101 144 0 0 20 0 1 0 54006401 711766016 168952 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 173771 168952 512 484 0 173182 0
Current children cumulated CPU time: 3152.45 s
Current children cumulated vsize: 695084 KiB
Current children cumulated memory: 675808 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/264 56999
/proc/meminfo: memFree=119846032/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=695824 memory=676552 CPUtime=3212.27 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 176713 0 0 0 321082 145 0 0 20 0 1 0 54006401 712523776 169138 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 173956 169138 512 484 0 173367 0
Current children cumulated CPU time: 3212.27 s
Current children cumulated vsize: 695824 KiB
Current children cumulated memory: 676552 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 57006
/proc/meminfo: memFree=119818620/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=777288 memory=735352 CPUtime=3272.09 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 178399 0 0 0 327062 147 0 0 20 0 1 0 54006401 795942912 183838 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 194322 183838 512 484 0 193733 0
Current children cumulated CPU time: 3272.09 s
Current children cumulated vsize: 777288 KiB
Current children cumulated memory: 735352 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 57008
/proc/meminfo: memFree=119843400/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=722780 memory=703376 CPUtime=3331.91 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 178780 0 0 0 333044 147 0 0 20 0 1 0 54006401 740126720 175844 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 180695 175844 512 484 0 180106 0
Current children cumulated CPU time: 3331.91 s
Current children cumulated vsize: 722780 KiB
Current children cumulated memory: 703376 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 57010
/proc/meminfo: memFree=119843424/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=722780 memory=703376 CPUtime=3391.73 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 178810 0 0 0 339026 147 0 0 20 0 1 0 54006401 740126720 175844 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 180695 175844 512 484 0 180106 0
Current children cumulated CPU time: 3391.73 s
Current children cumulated vsize: 722780 KiB
Current children cumulated memory: 703376 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 57012
/proc/meminfo: memFree=119812768/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=722272 memory=702868 CPUtime=3451.55 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 179063 0 0 0 345007 148 0 0 20 0 1 0 54006401 739606528 175717 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 180568 175717 512 484 0 179979 0
Current children cumulated CPU time: 3451.55 s
Current children cumulated vsize: 722272 KiB
Current children cumulated memory: 702868 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 57014
/proc/meminfo: memFree=119828464/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=776580 memory=738744 CPUtime=3511.38 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 179953 0 0 0 350988 150 0 0 20 0 1 0 54006401 795217920 184686 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 194145 184686 512 484 0 193556 0
Current children cumulated CPU time: 3511.38 s
Current children cumulated vsize: 776580 KiB
Current children cumulated memory: 738744 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 57017
/proc/meminfo: memFree=119811620/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=776580 memory=738744 CPUtime=3571.2 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 180176 0 0 0 356970 150 0 0 20 0 1 0 54006401 795217920 184686 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 194145 184686 512 484 0 193556 0
Current children cumulated CPU time: 3571.2 s
Current children cumulated vsize: 776580 KiB
Current children cumulated memory: 738744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.11 4.10 4.09 4/260 57049
/proc/meminfo: memFree=119970384/131250000 swapFree=33010416/33010684
[pid=56650] ppid=56647 vsize=722772 memory=703368 CPUtime=3600.02 cores=0,2
/proc/56650/stat : 56650 (uwrmaxsat) R 56647 56650 56028 0 -1 4194304 180900 0 0 0 359851 151 0 0 20 0 1 0 54006401 740118528 175842 18446744073709551615 4198400 6176925 140736782480192 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 22618112 140736782485866 140736782485993 140736782485993 140736782491595 0
/proc/56650/statm: 180693 175842 512 484 0 180104 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 722772 KiB
Current children cumulated memory: 703368 KiB

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

[startup+3611.2 s]
# the end of solver process 56650 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.51 s, system=1.51571 s

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

Child status: 10

Real time (s): 3611.2
CPU time (s): 3600.03
CPU user time (s): 3598.51
CPU system time (s): 1.51571
CPU usage (%): 99.6906
Max. virtual memory (cumulated for all children) (KiB): 987976
Max. memory (cumulated for all children) (KiB): 908144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.51
system time used= 1.51571
maximum resident set size= 908600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180905
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143
involuntary context switches= 22054


# summary of solver processes directly reported to runsolver:
#   pid: 56650
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.51
#   total CPU system time (s): 1.51571

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95263 second user time and 16.0924 second system time

The end